tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero by gHashTag · Pull Request #2159 · gHashTag/t27

gHashTag · 2026-08-14T19:26:38Z

What this establishes

Two measurement tools were unrecoverable, and the recovery attempt is documented rather than asserted. scripts/tri_loop/cost.py and diffbin.py were written, used to produce the "634 specs, 0 regressions" figure quoted in #2151, and never committed to any branch; the working copy was later re-cloned. All six routes named in the order were checked:

route	result
dangling git objects	one `git stash` WIP commit, holding only `triage.py`
reflog	records the clone at `b9287250` -- that is the loss, not the content
shell history	no `.bash_history` or `.zsh_history` exists
CI artifacts	`fpga-synthesis`, `fpga-verilog`, `wp18-conformance-report` only
PR and issue comments	no comment carries the source of either script
session snapshot	prose describing the scripts, not the scripts

So both are reimplemented from a written contract. That is the stronger outcome, because recalling what the old one roughly did would have reproduced its defect.

The old aggregate was wrong, and the same corpus now says so. Re-run over the identical 634 specs with the identical two binaries (/tmp/t27c.base and /tmp/t27c.fixed, both of which survived):

    616  unchanged
     13  field-loss
      1  strict-improvement
      4  malformed-input-tradeoff
      0  unknown

Previously: "0 regressions". specs/tri/agent/handoff.t27 goes from 35 parsed fields to 12. Verified by hand on specs/tri/crypto/sha256.t27, where base yields state and count and the candidate yields only state, having absorbed count : u64 into its type text.

The finding that decides #2151, and it is a favourable one. All 17 files whose field sets moved are inside the damaged set from #2154 -- 13 of 13 field-loss and 4 of 4 malformed-input-tradeoff. Not one well-formed spec changed behaviour, which is what 0 unknown is carrying. The recovery change is therefore safe on clean input and its entire cost is confined to files that are themselves corrupt. That reorders the queue: repair #2154 first and the field-loss question largely dissolves, because the inputs producing it stop existing.

The contract, and why each clause is there

tri diffbin -- five categories matched in order: unchanged, field-loss, strict-improvement, malformed-input-tradeoff, unknown. field-loss is tested before strict-improvement, so a change that removes a phantom and also drops a declared field is a loss, not an improvement. Exit status is driven by field-loss and unknown counts, never by a summary verdict.

The discrimination the old tool lacked: a removed field is a phantom only if its type text in the base was EMPTY. That is the signature of an identifier lifted out of a type-argument list and promoted to a field. A removed field with a non-empty base type was declared by the author, and its removal is a loss. Counting fields cannot tell the two apart, which is how the old aggregate missed them.

Second correction: only an ExprIdentifier whose parent is a StructDecl counts as a field. t27c parse prints that kind for every identifier in the tree including function bodies, so matching on kind alone would count expression operands as struct fields.

tri cost -- per stratum: n, median, p95, min-max ms/KB, coefficient of variation. Alpha only at n >= 8, printed beside its r2 and the KB range it was fitted over. No cross-family alpha is printed at all. Not printed-with-a-caveat: not printed. A single exponent across these strata is a metric of corpus composition rather than of the parser (#2133), and a number gets quoted while its caveat does not travel with it. Measured on specs/tri, alpha was withheld for 12 of 13 strata for insufficient n, and the one printed (utils, 0.14) carries r2 0.50 over a 2.2-3.0 KB range -- a slope through a cloud, which the output says.

Build profile is labelled, so a debug millisecond cannot be quoted as a release one.

tri damage -- classifies the corrupt annotations of #2154 by shape and repairs nothing: 125 lines, 65 files, 15 distinct shapes, one emitted fixture per shape. Repair can then be a reviewable diff of a stated size per class instead of one sweep over 125 lines.

Its first draft reported 429 damaged lines. 230 of those were target : < 5000ns -- a legitimate less-than bound, not an unbalanced bracket; 17 were match arms, 10 were multi-line array literals, 6 were function signatures the field regex should never have matched. So the headline measured the regex, not the corpus. The fix was deleting the two bad signals, not tuning a threshold until the number looked right. Two survive: [[], which the language has no syntax for, and an odd ". r#" is excluded after reading the three lines it flagged.

This also revises the previous loop's figure upward from 115 lines / 63 files, because the older pattern missed the [?[] and [std.StringHashMap(...)" shapes.

scripts/ci/loop-tools-tracked.sh -- fails when a required tool is missing, when it exists but git does not track it, when anything under scripts/tri_loop/ is untracked, or when the generic dispatch line is gone. Verified to fail in exactly the pre-loss state (FAIL, four untracked files) and to pass after the commit. A check only verified in its passing state is decoration.

Its own check 4 was wrong in its first draft: it grepped scripts/tri for each command name, and tri triage passed only because the word appears in a comment. A check that detects its own documentation is worth nothing, so it now verifies the dispatch line and the resolved target file.

Dispatcher defect fixed. scripts/tri looked for a built t27c and exited before dispatching loop helpers. tri triage and tri damage read the tracker and the spec text and never touch the compiler, yet a machine with no build could not run them. Loop dispatch now precedes the binary lookup, and the new workflow job runs with no compiler present to keep it that way.

What this does NOT establish

Nothing here says the parser: nesting decides the separator, never the terminator (#2127) #2151 parser change is correct. It says the change alters no well-formed spec in this corpus, and that its 13 field losses are confined to corrupt input. Whether losing those fields is acceptable is a language decision about what malformed input should mean, and it is not made here
tri damage does not bound the damage. It checks two textual signals on lines that look like field declarations. Damage that yields a balanced, quote-even, plausible-looking wrong type is invisible to it, and nothing in the output limits how much of that there is
63 of 150 files under specs/tri` failed to parse during the cost run and were excluded. That is a large exclusion and it is consistent with the NOPARSE population claimed in Corpus census W737-W739: the defect population is 168, not 490 — and what is still open #2152; it is recorded, not explained
The surviving binaries are untracked artefacts in /tmp. The differential is reproducible today and not reproducible after a sandbox reset. Rebuilding both from source is the remaining step to make this number durable
loop-tools-tracked.sh does not make a tool correct, and does not prevent a tracked file being deleted in a later commit. It closes the one hole that swallowed these two files: work existing only outside version control
No merge is proposed for parser: nesting decides the separator, never the terminator (#2127) #2151 or tri triage: five ordered classes, and blocked is tested before actionable (#2156) #2157 by this PR

Reproduce

./scripts/tri damage specs
./scripts/tri diffbin /tmp/t27c.base /tmp/t27c.fixed specs --jsonl /tmp/d.jsonl
./scripts/tri cost /tmp/t27c.fixed specs/tri --repeat 1 --min-kb 2
bash scripts/ci/loop-tools-tracked.sh

github-actions · 2026-08-14T19:26:57Z

PR Dashboard

Generated at: 2026-08-14 19:26:54 UTC

tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero #2159 tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero | Created: 2026-08-14 | Updated: 2026-08-14 | 13 failing / 17 total
tri triage: five ordered classes, and blocked is tested before actionable (#2156) #2157 tri triage: five ordered classes, and blocked is tested before actionable (#2156) | Created: 2026-08-14 | Updated: 2026-08-14 | 0 failing / 17 total
parser: nesting decides the separator, never the terminator (#2127) #2151 parser: nesting decides the separator, never the terminator (#2127) | Created: 2026-08-14 | Updated: 2026-08-14 | 2 failing / 26 total
Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-11 | 5 failing / 26 total
chore(deps)(deps): bump clap from 4.6.1 to 4.6.6 #2066 chore(deps)(deps): bump clap from 4.6.1 to 4.6.6 | Created: 2026-08-10 | Updated: 2026-08-10 | 2 failing / 25 total
chore(deps)(deps): bump tokio-stream from 0.1.18 to 0.1.19 #2065 chore(deps)(deps): bump tokio-stream from 0.1.18 to 0.1.19 | Created: 2026-08-10 | Updated: 2026-08-10 | 2 failing / 25 total
chore(deps)(deps): bump ignore from 0.4.28 to 0.4.33 #2064 chore(deps)(deps): bump ignore from 0.4.28 to 0.4.33 | Created: 2026-08-10 | Updated: 2026-08-10 | 2 failing / 25 total
chore(deps)(deps): bump serde_json from 1.0.150 to 1.0.151 #2063 chore(deps)(deps): bump serde_json from 1.0.150 to 1.0.151 | Created: 2026-08-10 | Updated: 2026-08-10 | 2 failing / 25 total
chore(deps)(deps): bump tokio from 1.52.1 to 1.53.1 #2062 chore(deps)(deps): bump tokio from 1.52.1 to 1.53.1 | Created: 2026-08-10 | Updated: 2026-08-10 | 2 failing / 25 total
feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1900 feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
chore: civilian mesh positioning — drop drone wording (bpsk.t27) #1874 chore: civilian mesh positioning — drop drone wording (bpsk.t27) | Created: 2026-08-07 | Updated: 2026-08-07 | 2 failing / 25 total
feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1858 feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1856 feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1854 feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1852 feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1850 feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1847 feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1844 feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1842 feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total
feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total

Summary

Status	Count
Total Open PRs	22
PRs with Failing Checks	8
PRs with All Checks Green	14
READY	6
FAILING	8
PENDING	0

Seal Status

⚠️ STALE -- sha256(compiler.rs)=cd2822f290eb != 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 · 2026-08-14T19:27:02Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

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

`tri diffbin` reported five categories, and the first one carried two different statements at once: "both binaries parsed and the field sets are identical", and "neither binary parsed the file". Both incremented the same counter. Same binaries, same 150-file slice, two versions of the same tool [measured]: five categories: 150 unchanged, 0 field-loss, 0 unknown -- total agreement six categories: 59 unchanged, 91 not-evaluated (both-error) -- coverage 39.3% Nothing about the compilers changed between those two lines. The first line is the shape that had been quoted in pull requests. Over the 634-spec library the split was 330 measured against 286 unmeasured: a 52 % base printed as 100 %. What changes: * six mutually exclusive categories, with the partition ASSERTED at runtime rather than claimed in a docstring * every not-evaluated row carries a reason code -- both-error, base-timeout, candidate-timeout, environment-failure, excluded-source-loss, or a named other. "No verdict" for six reasons is six facts, and only some of them are about the compiler. An uncoded not-evaluated is a hard error, exit 2. * no PASS while any unknown remains, whatever the other counts say * coverage printed on every run, and required in the same sentence as any "no regressions" claim. A caveat in a neighbouring paragraph does not travel with the number; readers quote numbers, not paragraphs. * --exclude-status takes a corpus-status JSON and holds out unrecoverable-source-loss files under their own code. It REFUSES to run if the list selects nothing, because a silently empty exclusion produces a report claiming files were held out when none were. Full corpus, single completed run, uniform 12 s threshold, 1089 files [measured]: 524 unchanged/ok, 343 unchanged/fail, 0 regressions, 1 strict-improvement, 221 not-evaluated (195 both-timeout, 26 candidate-timeout). Coverage 868/1089 = 79.7 %. The 26 ok->timeout files are the threshold, not a slowdown. Timed directly, three runs each way: median candidate/base ratio 1.010, min 0.985, max 1.026, on files taking 10.8-11.7 s against a 12 s wall [measured]. A 1-3 % jitter moves them across it. Also: R15 and R16 added to docs/loop/LOOP-RULES.md and resealed; corpus-parse, corpus-status, diffmodes and loop-rules registered in loop-tools-tracked.sh, which fails on an untracked tool -- the exact state that already destroyed two of these scripts and every number they had produced. Overlap disclosed: cost.py, diffbin.py, damage*.py, triage.py and loop-tools-tracked.sh also appear in the branches behind #2159 and #2161. They are included here because a measurement fix must not sit in a deferred branch while its output is being quoted. Whichever lands first, the other needs a rebase; the diffbin.py here supersedes both. Not claimed: that coverage improved. It did not. Coverage rises only by repairing files or excluding them with a status -- never by recategorising them.

github-actions · 2026-08-19T21:11:36Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

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

github-actions · 2026-08-19T21:11:46Z

PR Dashboard

Generated at: 2026-08-19 21:11:41 UTC

feat(tri): tri fleet — is the hardware this plan assumes actually attached? #2250 feat(tri): tri fleet — is the hardware this plan assumes actually attached? | Created: 2026-08-19 | Updated: 2026-08-19 | 2 failing / 3 total
[GOLD-RING] fix(rust-emitter): an enum member is a path, not a field access #2247 [GOLD-RING] fix(rust-emitter): an enum member is a path, not a field access | Created: 2026-08-19 | Updated: 2026-08-19 | 23 failing / 29 total
fix(ci): auto-merge-ready-prs.yml has not parsed since 2026-07-07 #2246 fix(ci): auto-merge-ready-prs.yml has not parsed since 2026-07-07 | Created: 2026-08-19 | Updated: 2026-08-19 | 2 failing / 23 total
feat(tri): local wave commands that work without a built compiler #2244 feat(tri): local wave commands that work without a built compiler | Created: 2026-08-19 | Updated: 2026-08-19 | 2 failing / 19 total
loop: the differential tool counted unmeasured files as agreement #2170 loop: the differential tool counted unmeasured files as agreement | Created: 2026-08-14 | Updated: 2026-08-19 | 5 failing / 19 total
ci: eleven merge-critical gates were silent on stacked PRs #2169 ci: eleven merge-critical gates were silent on stacked PRs | Created: 2026-08-14 | Updated: 2026-08-14 | 5 failing / 30 total
bootstrap: accept pub const Name(T) = struct as a parameterised type declaration #2168 bootstrap: accept pub const Name(T) = struct as a parameterised type declaration | Created: 2026-08-14 | Updated: 2026-08-15 | 3 failing / 26 total
corpus: freeze the damage, patch one class at a time, and say where one rule stops #2161 corpus: freeze the damage, patch one class at a time, and say where one rule stops | Created: 2026-08-14 | Updated: 2026-08-19 | 0 failing / 9 total
tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero #2159 tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero | Created: 2026-08-14 | Updated: 2026-08-19 | 17 failing / 27 total
tri triage: five ordered classes, and blocked is tested before actionable (#2156) #2157 tri triage: five ordered classes, and blocked is tested before actionable (#2156) | Created: 2026-08-14 | Updated: 2026-08-14 | 0 failing / 17 total
parser: nesting decides the separator, never the terminator (#2127) #2151 parser: nesting decides the separator, never the terminator (#2127) | Created: 2026-08-14 | Updated: 2026-08-14 | 2 failing / 26 total
Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-11 | 5 failing / 26 total
feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1900 feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
chore: civilian mesh positioning — drop drone wording (bpsk.t27) #1874 chore: civilian mesh positioning — drop drone wording (bpsk.t27) | Created: 2026-08-07 | Updated: 2026-08-07 | 2 failing / 25 total
feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1858 feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1856 feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1854 feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1852 feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1850 feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1847 feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1844 feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1842 feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total
feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total

Summary

Status	Count
Total Open PRs	25
PRs with Failing Checks	10
PRs with All Checks Green	15
READY	7
FAILING	10
PENDING	0

Seal Status

⚠️ STALE -- sha256(compiler.rs)=375b2f88cc2f != 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).

`tri diffbin` reported five categories, and the first one carried two different statements at once: "both binaries parsed and the field sets are identical", and "neither binary parsed the file". Both incremented the same counter. Same binaries, same 150-file slice, two versions of the same tool [measured]: five categories: 150 unchanged, 0 field-loss, 0 unknown -- total agreement six categories: 59 unchanged, 91 not-evaluated (both-error) -- coverage 39.3% Nothing about the compilers changed between those two lines. The first line is the shape that had been quoted in pull requests. Over the 634-spec library the split was 330 measured against 286 unmeasured: a 52 % base printed as 100 %. What changes: * six mutually exclusive categories, with the partition ASSERTED at runtime rather than claimed in a docstring * every not-evaluated row carries a reason code -- both-error, base-timeout, candidate-timeout, environment-failure, excluded-source-loss, or a named other. "No verdict" for six reasons is six facts, and only some of them are about the compiler. An uncoded not-evaluated is a hard error, exit 2. * no PASS while any unknown remains, whatever the other counts say * coverage printed on every run, and required in the same sentence as any "no regressions" claim. A caveat in a neighbouring paragraph does not travel with the number; readers quote numbers, not paragraphs. * --exclude-status takes a corpus-status JSON and holds out unrecoverable-source-loss files under their own code. It REFUSES to run if the list selects nothing, because a silently empty exclusion produces a report claiming files were held out when none were. Full corpus, single completed run, uniform 12 s threshold, 1089 files [measured]: 524 unchanged/ok, 343 unchanged/fail, 0 regressions, 1 strict-improvement, 221 not-evaluated (195 both-timeout, 26 candidate-timeout). Coverage 868/1089 = 79.7 %. The 26 ok->timeout files are the threshold, not a slowdown. Timed directly, three runs each way: median candidate/base ratio 1.010, min 0.985, max 1.026, on files taking 10.8-11.7 s against a 12 s wall [measured]. A 1-3 % jitter moves them across it. Also: R15 and R16 added to docs/loop/LOOP-RULES.md and resealed; corpus-parse, corpus-status, diffmodes and loop-rules registered in loop-tools-tracked.sh, which fails on an untracked tool -- the exact state that already destroyed two of these scripts and every number they had produced. Overlap disclosed: cost.py, diffbin.py, damage*.py, triage.py and loop-tools-tracked.sh also appear in the branches behind #2159 and #2161. They are included here because a measurement fix must not sit in a deferred branch while its output is being quoted. Whichever lands first, the other needs a rebase; the diffbin.py here supersedes both. Not claimed: that coverage improved. It did not. Coverage rises only by repairing files or excluding them with a status -- never by recategorising them.

github-actions · 2026-08-19T21:15:16Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

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

`tri diffbin` reported five categories, and the first one carried two different statements at once: "both binaries parsed and the field sets are identical", and "neither binary parsed the file". Both incremented the same counter. Same binaries, same 150-file slice, two versions of the same tool [measured]: five categories: 150 unchanged, 0 field-loss, 0 unknown -- total agreement six categories: 59 unchanged, 91 not-evaluated (both-error) -- coverage 39.3% Nothing about the compilers changed between those two lines. The first line is the shape that had been quoted in pull requests. Over the 634-spec library the split was 330 measured against 286 unmeasured: a 52 % base printed as 100 %. What changes: * six mutually exclusive categories, with the partition ASSERTED at runtime rather than claimed in a docstring * every not-evaluated row carries a reason code -- both-error, base-timeout, candidate-timeout, environment-failure, excluded-source-loss, or a named other. "No verdict" for six reasons is six facts, and only some of them are about the compiler. An uncoded not-evaluated is a hard error, exit 2. * no PASS while any unknown remains, whatever the other counts say * coverage printed on every run, and required in the same sentence as any "no regressions" claim. A caveat in a neighbouring paragraph does not travel with the number; readers quote numbers, not paragraphs. * --exclude-status takes a corpus-status JSON and holds out unrecoverable-source-loss files under their own code. It REFUSES to run if the list selects nothing, because a silently empty exclusion produces a report claiming files were held out when none were. Full corpus, single completed run, uniform 12 s threshold, 1089 files [measured]: 524 unchanged/ok, 343 unchanged/fail, 0 regressions, 1 strict-improvement, 221 not-evaluated (195 both-timeout, 26 candidate-timeout). Coverage 868/1089 = 79.7 %. The 26 ok->timeout files are the threshold, not a slowdown. Timed directly, three runs each way: median candidate/base ratio 1.010, min 0.985, max 1.026, on files taking 10.8-11.7 s against a 12 s wall [measured]. A 1-3 % jitter moves them across it. Also: R15 and R16 added to docs/loop/LOOP-RULES.md and resealed; corpus-parse, corpus-status, diffmodes and loop-rules registered in loop-tools-tracked.sh, which fails on an untracked tool -- the exact state that already destroyed two of these scripts and every number they had produced. Overlap disclosed: cost.py, diffbin.py, damage*.py, triage.py and loop-tools-tracked.sh also appear in the branches behind #2159 and #2161. They are included here because a measurement fix must not sit in a deferred branch while its output is being quoted. Whichever lands first, the other needs a rebase; the diffbin.py here supersedes both. Not claimed: that coverage improved. It did not. Coverage rises only by repairing files or excluding them with a status -- never by recategorising them.

github-actions · 2026-08-19T21:17:13Z

PR Dashboard

Generated at: 2026-08-19 21:17:11 UTC

feat(tri): tri fleet — is the hardware this plan assumes actually attached? #2250 feat(tri): tri fleet — is the hardware this plan assumes actually attached? | Created: 2026-08-19 | Updated: 2026-08-19 | 0 failing / 3 total
[GOLD-RING] fix(rust-emitter): an enum member is a path, not a field access #2247 [GOLD-RING] fix(rust-emitter): an enum member is a path, not a field access | Created: 2026-08-19 | Updated: 2026-08-19 | 23 failing / 29 total
fix(ci): auto-merge-ready-prs.yml has not parsed since 2026-07-07 #2246 fix(ci): auto-merge-ready-prs.yml has not parsed since 2026-07-07 | Created: 2026-08-19 | Updated: 2026-08-19 | 2 failing / 23 total
feat(tri): local wave commands that work without a built compiler #2244 feat(tri): local wave commands that work without a built compiler | Created: 2026-08-19 | Updated: 2026-08-19 | 2 failing / 19 total
ci: eleven merge-critical gates were silent on stacked PRs #2169 ci: eleven merge-critical gates were silent on stacked PRs | Created: 2026-08-14 | Updated: 2026-08-14 | 5 failing / 30 total
bootstrap: accept pub const Name(T) = struct as a parameterised type declaration #2168 bootstrap: accept pub const Name(T) = struct as a parameterised type declaration | Created: 2026-08-14 | Updated: 2026-08-15 | 3 failing / 26 total
corpus: freeze the damage, patch one class at a time, and say where one rule stops #2161 corpus: freeze the damage, patch one class at a time, and say where one rule stops | Created: 2026-08-14 | Updated: 2026-08-19 | 0 failing / 9 total
tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero #2159 tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero | Created: 2026-08-14 | Updated: 2026-08-19 | 14 failing / 21 total
tri triage: five ordered classes, and blocked is tested before actionable (#2156) #2157 tri triage: five ordered classes, and blocked is tested before actionable (#2156) | Created: 2026-08-14 | Updated: 2026-08-14 | 0 failing / 17 total
parser: nesting decides the separator, never the terminator (#2127) #2151 parser: nesting decides the separator, never the terminator (#2127) | Created: 2026-08-14 | Updated: 2026-08-14 | 2 failing / 26 total
Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-11 | 5 failing / 26 total
feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1900 feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
chore: civilian mesh positioning — drop drone wording (bpsk.t27) #1874 chore: civilian mesh positioning — drop drone wording (bpsk.t27) | Created: 2026-08-07 | Updated: 2026-08-07 | 2 failing / 25 total
feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1858 feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1856 feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1854 feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1852 feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1850 feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1847 feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1844 feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1842 feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total
feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total

Summary

Status	Count
Total Open PRs	24
PRs with Failing Checks	8
PRs with All Checks Green	16
READY	8
FAILING	8
PENDING	0

Seal Status

⚠️ STALE -- sha256(compiler.rs)=375b2f88cc2f != 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 · 2026-08-20T00:40:37Z

PR Dashboard

Generated at: 2026-08-20 00:40:35 UTC

fix(tri): restore the verify-lean phase master lost (Closes #2268) #2273 fix(tri): restore the verify-lean phase master lost (Closes #2268) | Created: 2026-08-20 | Updated: 2026-08-20 | 5 failing / 34 total
feat(tri): landed --file asserts a path, not only content (Closes #2269) #2270 feat(tri): landed --file asserts a path, not only content (Closes #2269) | Created: 2026-08-19 | Updated: 2026-08-19 | 6 failing / 30 total
ci: eleven merge-critical gates were silent on stacked PRs #2169 ci: eleven merge-critical gates were silent on stacked PRs | Created: 2026-08-14 | Updated: 2026-08-14 | 5 failing / 30 total
corpus: freeze the damage, patch one class at a time, and say where one rule stops #2161 corpus: freeze the damage, patch one class at a time, and say where one rule stops | Created: 2026-08-14 | Updated: 2026-08-20 | 0 failing / 9 total
tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero #2159 tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero | Created: 2026-08-14 | Updated: 2026-08-20 | 19 failing / 21 total
tri triage: five ordered classes, and blocked is tested before actionable (#2156) #2157 tri triage: five ordered classes, and blocked is tested before actionable (#2156) | Created: 2026-08-14 | Updated: 2026-08-14 | 0 failing / 17 total
parser: nesting decides the separator, never the terminator (#2127) #2151 parser: nesting decides the separator, never the terminator (#2127) | Created: 2026-08-14 | Updated: 2026-08-14 | 2 failing / 26 total
Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-11 | 5 failing / 26 total
feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1900 feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
chore: civilian mesh positioning — drop drone wording (bpsk.t27) #1874 chore: civilian mesh positioning — drop drone wording (bpsk.t27) | Created: 2026-08-07 | Updated: 2026-08-07 | 2 failing / 25 total
feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1858 feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1856 feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1854 feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1852 feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1850 feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1847 feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1844 feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1842 feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total
feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total

Summary

Status	Count
Total Open PRs	21
PRs with Failing Checks	6
PRs with All Checks Green	15
READY	7
FAILING	6
PENDING	0

Seal Status

⚠️ STALE -- sha256(compiler.rs)=cbbfac87dff3 != 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 · 2026-08-20T00:40:37Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

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

Closes #2158) Two measurement tools were lost and every number they had produced became unreproducible with them. cost.py and diffbin.py were written, quoted in #2151, and never committed; the working copy was later re-cloned. Six recovery routes came back empty -- dangling objects held only a git stash WIP with triage.py, the reflog records the clone rather than the content, shell history is absent, CI artifacts hold only FPGA outputs, no PR or issue comment carries the source, and the session snapshot preserved prose about the scripts instead of the scripts. So these are reimplementations from a written contract. Recalling what the old ones roughly did would have reproduced the old one's defect. That defect was the specification for the new one. It reported "0 regressions" over 634 specs while files were losing declared struct fields, because a per-file judgement had relabelled the loss as an acceptable trade and the aggregate then printed the judgement as if it were a measurement. No differential result may be called "0 regressions" unless the metric actually checks the claimed class of loss. diffbin now assigns five ordered categories -- unchanged, field-loss, strict-improvement, malformed-input-tradeoff, unknown -- with field-loss tested before strict-improvement, so removing a phantom while dropping a declared field is a loss and not an improvement. Phantom and declared are told apart by a stated rule: a removed field is a phantom only if its base type text was empty. Only an ExprIdentifier whose parent is a StructDecl counts, so identifiers in function bodies stay out of the totals. Re-measured on the same 634 specs and the same two binaries: 616 unchanged, 13 field-loss, 1 strict-improvement, 4 malformed-input-tradeoff, 0 unknown. handoff.t27 goes from 35 parsed fields to 12. All 17 files that moved are inside the damaged set and no well-formed spec changed at all, which is what 0 unknown is carrying. cost reports per stratum with n, median, p95, min-max ms/KB and coefficient of variation, alpha only at n >= 8 with its r2 and KB range, and no cross-family alpha at all: that number is a metric of corpus composition rather than of the parser (#2133), and a printed number gets quoted while its caveat does not travel with it. damage classifies the corrupt annotations by shape rather than repairing them (#2154): 125 lines, 65 files, 15 shapes, one fixture each. The first draft reported 429, of which 230 were the legitimate bound `target : < 5000ns`, so the fix was deleting two bad signals rather than tuning a threshold. loop-tools-tracked.sh fails when a loop tool is missing, untracked, or unrouted, and was verified to fail in exactly the pre-loss state. The dispatcher no longer looks for a built compiler before running helpers that never use one.

github-actions · 2026-08-20T00:42:46Z

PR Dashboard

Generated at: 2026-08-20 00:42:44 UTC

fix(tri): restore the verify-lean phase master lost (Closes #2268) #2273 fix(tri): restore the verify-lean phase master lost (Closes #2268) | Created: 2026-08-20 | Updated: 2026-08-20 | 5 failing / 34 total
feat(tri): landed --file asserts a path, not only content (Closes #2269) #2270 feat(tri): landed --file asserts a path, not only content (Closes #2269) | Created: 2026-08-19 | Updated: 2026-08-19 | 6 failing / 30 total
ci: eleven merge-critical gates were silent on stacked PRs #2169 ci: eleven merge-critical gates were silent on stacked PRs | Created: 2026-08-14 | Updated: 2026-08-14 | 5 failing / 30 total
corpus: freeze the damage, patch one class at a time, and say where one rule stops #2161 corpus: freeze the damage, patch one class at a time, and say where one rule stops | Created: 2026-08-14 | Updated: 2026-08-20 | 0 failing / 9 total
tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero #2159 tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero | Created: 2026-08-14 | Updated: 2026-08-20 | 17 failing / 21 total
tri triage: five ordered classes, and blocked is tested before actionable (#2156) #2157 tri triage: five ordered classes, and blocked is tested before actionable (#2156) | Created: 2026-08-14 | Updated: 2026-08-14 | 0 failing / 17 total
parser: nesting decides the separator, never the terminator (#2127) #2151 parser: nesting decides the separator, never the terminator (#2127) | Created: 2026-08-14 | Updated: 2026-08-14 | 2 failing / 26 total
Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-11 | 5 failing / 26 total
feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1900 feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
chore: civilian mesh positioning — drop drone wording (bpsk.t27) #1874 chore: civilian mesh positioning — drop drone wording (bpsk.t27) | Created: 2026-08-07 | Updated: 2026-08-07 | 2 failing / 25 total
feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1858 feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1856 feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1854 feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1852 feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1850 feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1847 feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1844 feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1842 feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total
feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total

Summary

Status	Count
Total Open PRs	21
PRs with Failing Checks	6
PRs with All Checks Green	15
READY	7
FAILING	6
PENDING	0

Seal Status

⚠️ STALE -- sha256(compiler.rs)=cbbfac87dff3 != 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 · 2026-08-20T00:43:59Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

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

gHashTag mentioned this pull request Aug 14, 2026

corpus: freeze the damage, patch one class at a time, and say where one rule stops #2161

Closed

This was referenced Aug 14, 2026

bootstrap: accept pub const Name(T) = struct as a parameterised type declaration #2168

Merged

ci: eleven merge-critical gates were silent on stacked PRs #2169

Merged

This was referenced Aug 14, 2026

loop: the differential tool counted unmeasured files as agreement #2170

Merged

ci: stop interpolating untrusted event data into shell, and seal evidential binaries #2172

Merged

github-actions Bot mentioned this pull request Aug 19, 2026

fix(ci): auto-merge-ready-prs.yml has not parsed since 2026-07-07 #2246

Closed

gHashTag force-pushed the w699-restore-loop-tools branch from 6cff8f5 to 5da9ab1 Compare August 19, 2026 21:07

gHashTag force-pushed the w699-restore-loop-tools branch from 5da9ab1 to c426e79 Compare August 19, 2026 21:13

gHashTag force-pushed the w699-restore-loop-tools branch from c426e79 to 0d5998f Compare August 20, 2026 00:40

gHashTag force-pushed the w699-restore-loop-tools branch from 0d5998f to 8631f8e Compare August 20, 2026 00:42

gHashTag merged commit 99e9098 into master Aug 20, 2026
23 of 27 checks passed

Navigation Menu

tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero - #2159

tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero#2159
gHashTag merged 1 commit into
masterfrom
w699-restore-loop-tools

gHashTag commented Aug 14, 2026

Uh oh!

github-actions Bot commented Aug 14, 2026

Uh oh!

github-actions Bot commented Aug 14, 2026

Uh oh!

github-actions Bot commented Aug 19, 2026

Uh oh!

github-actions Bot commented Aug 19, 2026

Uh oh!

github-actions Bot commented Aug 19, 2026

Uh oh!

github-actions Bot commented Aug 19, 2026

Uh oh!

github-actions Bot commented Aug 20, 2026

Uh oh!

github-actions Bot commented Aug 20, 2026

Uh oh!

github-actions Bot commented Aug 20, 2026

Uh oh!

github-actions Bot commented Aug 20, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Aug 14, 2026

What this establishes

The contract, and why each clause is there

What this does NOT establish

Reproduce

Uh oh!

github-actions Bot commented Aug 14, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Aug 14, 2026

Uh oh!

github-actions Bot commented Aug 19, 2026

Uh oh!

github-actions Bot commented Aug 19, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Aug 19, 2026

Uh oh!

github-actions Bot commented Aug 19, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Aug 20, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Aug 20, 2026

Uh oh!

github-actions Bot commented Aug 20, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Aug 20, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant