Skip to content

specs/demos: restore the jones_signature_throughput bench and make two broken blocks readable - #5734

Merged
dmitrii-f-t27 merged 2 commits into
masterfrom
fix/demos-jones-broken-blocks
Oct 3, 2026
Merged

dmitrii-f-t27 merged 2 commits into
masterfrom
fix/demos-jones-broken-blocks

Conversation

@dmitrii-f-t27

Copy link
Copy Markdown
Collaborator

Closes #5733

Two Jones-topology demo specs had broken block structure that the parser silently discarded.

  • jones_topology_decision_gate.t27 line 324 was a 51,780-character banner comment with 14 bench jones_signature_throughput glued to its end, so that bench did not exist. The banner now matches the section's opening line, and the header is on its own line: t27c gen emits fn bench_jones_signature_throughput (0 -> 1).
  • Invariant cosine_similarity_bounds built its operands as a six-line array literal. It now binds s0 = standard_structure(), s1 = invert_structure(s0) and asserts the same sim >= -1.0 and sim <= 1.0. The NOT CHECKED marker in the Zig output goes 1 -> 0.
  • Two multi-line bench measure: lines are joined into one line each, text unchanged.
  • parse-complete --show: decision_gate 62 -> nothing discarded; filter 16 -> nothing discarded.
  • Typecheck unchanged (OK, 5 and 3 warnings). Zig ast-check: the same 6 and 1 pre-existing errors before and after; test-report BLOCKED on both before and after for the same reasons.
  • The four seals regenerated with the t27c built from this tree; --verify reports all hashes MATCH.
  • Both parse-no-discard entries removed from docs/reports/suite_expectations.json; local t27c suite --ratchet --corpus-only: RATCHET CLEAN.

🤖 Generated with Claude Code

…o broken blocks readable (#5733)

decision_gate line 324 was a 51,780-char banner comment with the header
'bench jones_signature_throughput' glued to its end, so the bench did not
exist. cosine_similarity_bounds built its operands as a multi-line array
literal the clause parser discards; it now binds s0/s1 and asserts the same
bound. Two multi-line bench measure: lines are joined into one. Seals
regenerated with this tree's t27c; both parse-no-discard ledger entries
are removed.

Closes #5733

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 3, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-03 10:18:09 UTC

Summary

Status Count
Total Open PRs 43
PRs with Failing Checks 37
PRs with All Checks Green 6
READY 1
FAILING 37
PENDING 0
NO CHECKS YET 0

These columns do not partition: 1 + 37 + 0 + 0 = 38, and there are 43 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=b45a356c2eb6 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@github-actions

github-actions Bot commented Oct 3, 2026

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@github-actions

github-actions Bot commented Oct 3, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-03 10:52:07 UTC

Summary

Status Count
Total Open PRs 40
PRs with Failing Checks 36
PRs with All Checks Green 4
READY 1
FAILING 36
PENDING 0
NO CHECKS YET 0

These columns do not partition: 1 + 36 + 0 + 0 = 37, and there are 40 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=b45a356c2eb6 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@github-actions

github-actions Bot commented Oct 3, 2026

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@dmitrii-f-t27
dmitrii-f-t27 merged commit dfcfeae into master Oct 3, 2026
35 of 36 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

jones_topology demos: a bench header is glued into a 51,780-char comment line, and an invariant and two bench lines are discarded

1 participant