You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
jones_topology demos: a bench header is glued into a 51,780-char comment line, and an invariant and two bench lines are discarded #5733
t27c parse-complete (master 8fdf715) reports two Jones-topology demo specs with broken block structure:
spec
tokens discarded
lines
specs/demos/jones_topology_decision_gate.t27
62
313-320, 325-326, 329-333
specs/demos/jones_topology_filter.t27
16
308-312
What is broken:
A whole bench is missing. Line 324 of jones_topology_decision_gate.t27 is a 51,780-character banner comment, and the header bench jones_signature_throughput is glued to its end (after a stray 14). The header is inside the comment, so the bench does not exist and its measure/target lines (325-326) are discarded.
Invariant cosine_similarity_bounds builds its two structures as a six-line array literal (when structures = [ ..., ... ]) that the clause parser cannot read; it is counted as discarded and t27c gen emits // invariant: cosine_similarity_bounds NOT CHECKED -- body was not lowered (T43) next to it.
Two bench measure: lines are split over several lines (decision_gate_TH_02_throughput, signatures_match_computation). The bench prose form is one line everywhere else in both files; the continuation lines are discarded.
docs/reports/suite_expectations.json (the two parse-no-discard entries)
User Scenarios & Testing
Givenspecs/demos/jones_topology_decision_gate.t27, Whent27c gen emits Zig, Then it contains fn bench_jones_signature_throughput and no NOT CHECKED marker.
Given invariant cosine_similarity_bounds, When it is lowered, Then it binds the standard structure and its inversion and asserts sim >= -1.0 and sim <= 1.0 on their cosine similarity.
Requirements
FR-001: The glued bench header must be restored on its own line, and the banner line must match the section's opening banner.
FR-002: cosine_similarity_bounds must compare the same two structures (standard, inverted standard) with the same assertion, using clause bindings the parser reads.
FR-003: Multi-line measure: prose must be one line, with the same text.
FR-004: The seals of both specs must be regenerated with the t27c built from the PR's own tree, and both parse-no-discard ledger entries removed.
Activity
Merge master into fix/demos-jones-broken-blocks
specs/demos: restore the jones_signature_throughput bench and make tw…
Merge master into fix/demos-jones-broken-blocks