fix(verilog): break and continue were no-ops; lower them to guard flags

.claude/skills/ci-gates/SKILL.md

@@ -11245,3 +11245,88 @@ so a genuinely RED mutant -- where the total splits across `passed` and
 count has to add up every bucket the count can land in**, which is the
 parts-sum-to-the-whole rule from the other side. Total = passed + failed;
 compare that.
+
+## 441. Your new marker is only yours if the BASE count is zero
+
+I added a comment the emitter prints where a `break` cannot be lowered, then
+counted it in the regenerated corpus to see how often that happens:
+
+```
+files with NOT LOWERED      535
+```
+
+535 of 581 -- for a change that alters **7** files. Two measurements of the same
+run, flatly contradicting each other.
+
+The emitter already prints `// NOT LOWERED BY THIS BACKEND`, for something
+unrelated, in 535 files. My marker fired **zero** times. The grep was not wrong
+about anything; it answered the question I asked, and I had asked for a phrase
+that was not mine.
+
+**The control for "my change introduced N of these" is the count on the BASE.**
+It costs one more grep and it is the only thing that distinguishes a marker from
+a substring of somebody else's sentence. A base count of zero is what earns the
+word "mine".
+
+The same rule survives into the instrument: `tri jumps census` keys its refusal
+count on `t27#2988:` -- the issue number -- and not on the English, precisely
+because the English collides. A marker you intend to count later should carry
+something no prose would contain.
+
+## 442. A two-part construct needs its two parts asserted as a pair
+
+A guard flag is a `reg` the loop declares and an assignment the `break` writes.
+I had five tests on the lowering, killed five mutants with them, added a sixth
+test that counted declarations -- *"only the inner loop owns a flag"* -- and
+then ran the mutant that binds `break` to the OUTERMOST enclosing loop instead
+of the innermost.
+
+It **survived**. Of course it did: the declarations are emitted by the loop and
+the mutation is in the jump, so exactly one flag is still declared per loop that
+needs one. Every count is satisfied. What breaks is the *pairing* -- the flag is
+declared, cleared, and never set, and the `break` prints the "no guard flag in
+this scope" refusal for a scope that has one.
+
+The assertion that kills it is one line and does not count anything:
+
+```rust
+assert_eq!(declared_ids, ids_that_are_written_with(" = 1'b1;"));
+```
+
+**Where a construct has two halves that must name each other -- declare/use,
+open/close, charge/refund, allocate/free -- assert the CORRESPONDENCE.** A count
+of either half is satisfied by every mutant that keeps the arithmetic and breaks
+the binding, and those are the interesting ones. This repository already learned
+the same shape in money: a refund equal to the *tariff* passes every total, and
+only reconciling against the *actual charge* finds the divergence.
+
+## 443. When only the bytes moved, only the moved bytes need the expensive ruler
+
+The change regenerates 581 Verilog files and **7** of them differ. The question
+was whether it costs anything under `yosys` -- a ruler slow enough that nobody
+runs it over the corpus casually.
+
+574 files are byte-identical, and `yosys read_verilog` is a deterministic
+function of the bytes, so their verdicts cannot move. Running the ruler on 7
+files answers the question for 581: **+2 pass, 0 lost**.
+
+Two conditions make this legitimate, and both need saying out loud rather than
+assuming:
+
+* the ruler is **per-file** (no whole-corpus state, no ordering effect), and
+* the byte comparison covered the **whole population**, not a sample.
+
+Say which one you did. A bare "+2 under yosys" and "yosys, on the 7 files that
+changed, +2 with no losses; the other 574 are byte-identical" are the same fact,
+but only the second one survives a reader asking how long that took -- and only
+the second one refuses to be read as a whole-corpus absolute that was never
+taken.
+
+And carry the population to EVERY consumer, not just the one you were looking at.
+I had "7 generated files differ" and still shipped without a reseal, because I
+never asked what 7 files are in the units the seal gate counts. They are **19
+seal files** -- specs here are twinned, several `.trinity/seals/*.json` per spec
+-- and `coverage` said so on the first CI round. The rule "the reseal belongs in
+the same commit" is already written down three times on this page; what was
+missing this time was not the rule but the arithmetic that connects a delta in
+one unit to a gate that counts in another.

.trinity/seals/AspSolver.json

@@ -1,7 +1,7 @@
 {
   "gen_hash_c": "sha256:6853fa2f0ade52dabfe66d11846ce96374ef244b644ef8bf1a49b5ded8c53d6b",
   "gen_hash_rust": "sha256:55933339b5fe7bf29aca7771520157d43d838784b249e3518dbeaa84a5ad89b6",
-  "gen_hash_verilog": "sha256:4a3aac88230f26e414bd206d0168d8063b891db31ae52d7ed63c02186a0d6944",
+  "gen_hash_verilog": "sha256:ab0ce745df6cc1f1e0227ac10fb13fc07517ddac3b15065d04240d86b1232615",
   "gen_hash_zig": "sha256:eceaded4f26af6e30cd424ffcc9318a85eaf61562f0c1de85d85260f4c45437f",
   "module": "AspSolver",
   "ring": 12,

.trinity/seals/BaseTypes.json

@@ -2,7 +2,7 @@
   "conformance_hash": "sha256:3b60977a2e6ef7a89d9c0e7ae9c8a64cd928a2bdc65d0fd46b57baebd0e9ad39",
   "gen_hash_c": "sha256:cd2ad734d4c56c11d76f00941351fbb1b7afbe3c31672171d1831d8b6edc92aa",
   "gen_hash_rust": "sha256:fbcebfa1583296107b8765cc921b3d459d2c90b2e00303f930d243313f4aa20f",
-  "gen_hash_verilog": "sha256:d8d7c843ee5f2ce5883920ed6fdc87998a332b3a3e481dbdccaeb4ce1dd278c6",
+  "gen_hash_verilog": "sha256:fb66d07df7fad1fd638df94287b7d44457cac0d32729f93d54e88bee7b902f94",
   "gen_hash_zig": "sha256:0286c2d52b3521ae781dab3c27e977bdef20c218bca8ff4d81af17cb525a5b71",
   "module": "BaseTypes",
   "ring": 25,

.trinity/seals/Lexing.json

@@ -1,7 +1,7 @@
 {
   "gen_hash_c": "sha256:d54d21bda496461e70febcf8855037a45164dc0a2212cc71411580a23d4da74f",
   "gen_hash_rust": "sha256:6a0e73f0d133ae0a90cf5b68b139de266a5d32b6fb2dafe1df7e62047cff6ad7",
-  "gen_hash_verilog": "sha256:88761f053fa391f6d6f86fa180b7011c0e6f82547d8dd32cab658fe4f54d7f84",
+  "gen_hash_verilog": "sha256:5807318b282900d93a6563366b253d985000e27818282d4253c1d24c0167f6a6",
   "gen_hash_zig": "sha256:7da42e5e458cb1a4fe300a2001f5edeb792cc9ff8278efd87ab589562ebbb2ee",
   "module": "Lexing",
   "ring": 12,

.trinity/seals/MAC_Testbench.json

@@ -1,7 +1,7 @@
 {
   "gen_hash_c": "sha256:33cf769212351db3c992bd82921dd80b938755b6da543061eaa4e7c39b552add",
   "gen_hash_rust": "sha256:e8bc2d3de487ecbc6d2d0c43767dcb87c4fee84004d2dafb973f55e6f8e009d2",
-  "gen_hash_verilog": "sha256:85a771ac9b82d59dc7ffd9e310e7cbddc5566a0e82357d93d299aa38725b16d6",
+  "gen_hash_verilog": "sha256:9cab81dcdc6b62afe3b481d26ee1ea47ab2c776af8358624acdb6a0433f29e09",
   "gen_hash_zig": "sha256:8928e5f9b62c3721e845fdc7acef8d518e8ea0c343572ca3e5a38303b5e1cffb",
   "module": "MAC_Testbench",
   "ring": 12,

.trinity/seals/PhiUniversalAttractor.json

@@ -1,7 +1,7 @@
 {
   "gen_hash_c": "sha256:f87af83c0ff6c847d32612b230569d4c0035683bb05e56f51a180d2f11570eed",
   "gen_hash_rust": "sha256:f70dfdf4a3fe4e99053c462a0fba0b1be779ae2a7d9d269818c7ca4c1246851c",
-  "gen_hash_verilog": "sha256:1c50cc362846e4d205dbc32445535b01ec463b50d96dc061eb8039974f8e6ba1",
+  "gen_hash_verilog": "sha256:57cc672e29d6b8b23a4b66343155520fe6d890ffb46c38ec621e66ca6d857a5b",
   "gen_hash_zig": "sha256:dbba7f928af7d8a9672028e095e782314e7bccd0a5cee09290c602384d3ee036",
   "module": "PhiUniversalAttractor",
   "ring": 12,

.trinity/seals/SacredAttention.json

@@ -1,7 +1,7 @@
 {
   "gen_hash_c": "sha256:f4454df1de407b648599bab4486b3a2161b55cb98e8bf08c3dccce823ebfd3ac",
   "gen_hash_rust": "sha256:f2d59715911ebcf18c9614c38e5822ebd4929b151a6b0f869945a552e4de89d5",
-  "gen_hash_verilog": "sha256:19e519134c8b225290175e4723a340a2ffde8b3e5fd392192b91c6d0c1676248",
+  "gen_hash_verilog": "sha256:f10591dc966a8ac3535e358d35427cb7b03128d6095bad3d76f51b5ca8514f2f",
   "gen_hash_zig": "sha256:04869b3b6648bcb78f992e671734c17295760ccce99c82281f6969a55ff4a5b9",
   "module": "SacredAttention",
   "ring": 12,

.trinity/seals/ar_AspSolver.json

@@ -1,7 +1,7 @@
 {
   "gen_hash_c": "sha256:6853fa2f0ade52dabfe66d11846ce96374ef244b644ef8bf1a49b5ded8c53d6b",
   "gen_hash_rust": "sha256:55933339b5fe7bf29aca7771520157d43d838784b249e3518dbeaa84a5ad89b6",
-  "gen_hash_verilog": "sha256:4a3aac88230f26e414bd206d0168d8063b891db31ae52d7ed63c02186a0d6944",
+  "gen_hash_verilog": "sha256:ab0ce745df6cc1f1e0227ac10fb13fc07517ddac3b15065d04240d86b1232615",
   "gen_hash_zig": "sha256:eceaded4f26af6e30cd424ffcc9318a85eaf61562f0c1de85d85260f4c45437f",
   "module": "AspSolver",
   "ring": 12,

.trinity/seals/ar_asp_solver.json

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:6853fa2f0ade52dabfe66d11846ce96374ef244b644ef8bf1a49b5ded8c53d6b",
   "gen_hash_rust": "sha256:55933339b5fe7bf29aca7771520157d43d838784b249e3518dbeaa84a5ad89b6",
-  "gen_hash_verilog": "sha256:4a3aac88230f26e414bd206d0168d8063b891db31ae52d7ed63c02186a0d6944",
+  "gen_hash_verilog": "sha256:ab0ce745df6cc1f1e0227ac10fb13fc07517ddac3b15065d04240d86b1232615",
   "gen_hash_zig": "sha256:eceaded4f26af6e30cd424ffcc9318a85eaf61562f0c1de85d85260f4c45437f",
   "module": "asp_solver",
   "ring": 12,
-  "sealed_at": "2026-08-30T18:16:28Z",
+  "sealed_at": "2026-09-03T10:13:51Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:eca06ff812c61e2693f706b7389c71dcd769c30dfbb2cfb958e0416a5118b404",
   "spec_path": "specs/ar/asp_solver.t27"

.trinity/seals/asp_solver.json

@@ -1,7 +1,7 @@
 {
   "gen_hash_c": "sha256:6853fa2f0ade52dabfe66d11846ce96374ef244b644ef8bf1a49b5ded8c53d6b",
   "gen_hash_rust": "sha256:55933339b5fe7bf29aca7771520157d43d838784b249e3518dbeaa84a5ad89b6",
-  "gen_hash_verilog": "sha256:4a3aac88230f26e414bd206d0168d8063b891db31ae52d7ed63c02186a0d6944",
+  "gen_hash_verilog": "sha256:ab0ce745df6cc1f1e0227ac10fb13fc07517ddac3b15065d04240d86b1232615",
   "gen_hash_zig": "sha256:eceaded4f26af6e30cd424ffcc9318a85eaf61562f0c1de85d85260f4c45437f",
   "module": "asp_solver",
   "ring": 12,

.trinity/seals/base_tritype-base.json

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:cd2ad734d4c56c11d76f00941351fbb1b7afbe3c31672171d1831d8b6edc92aa",
   "gen_hash_rust": "sha256:fbcebfa1583296107b8765cc921b3d459d2c90b2e00303f930d243313f4aa20f",
-  "gen_hash_verilog": "sha256:d8d7c843ee5f2ce5883920ed6fdc87998a332b3a3e481dbdccaeb4ce1dd278c6",
+  "gen_hash_verilog": "sha256:fb66d07df7fad1fd638df94287b7d44457cac0d32729f93d54e88bee7b902f94",
   "gen_hash_zig": "sha256:0286c2d52b3521ae781dab3c27e977bdef20c218bca8ff4d81af17cb525a5b71",
   "module": "tritype-base",
   "ring": 12,
-  "sealed_at": "2026-09-03T07:22:13Z",
+  "sealed_at": "2026-09-03T10:13:51Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:12d9ca3f44b081970a88c4d24c10ee9dbf36eb614cf18404ff571475552c10db",
   "spec_path": "specs/base/types.t27"

.trinity/seals/cli_gen_commands.json

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:dd4db6dff0df04da9fbb36636078a2fc5083b33f34c6e1f1a7ec14fb574b8c41",
   "gen_hash_rust": "sha256:78df35165688d2fa0c365f459dce87e18600316530a24526ac175b587d5c67eb",
-  "gen_hash_verilog": "sha256:f01c4379a2a5ecb08570d34f9a10090380f2be767568a7e81d2c5835ad7181c0",
+  "gen_hash_verilog": "sha256:9438160852d64b29290d043b8901105bae4848dd9275bd4e34f558e06d70c985",
   "gen_hash_zig": "sha256:7b6328077fae13ac3d8cdd17bc883c31b8e9ba99cd56daf86957f330338db7f2",
   "module": "gen_commands",
   "ring": 12,
-  "sealed_at": "2026-08-30T19:43:01Z",
+  "sealed_at": "2026-09-03T10:13:51Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:4dd1bf05316f1a0ed952457e8fbbe7e03c51d51b2891c1dfe603db0425b4f2a3",
   "spec_path": "compiler/cli/gen.t27"

.trinity/seals/compiler_Lexing.json

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:d54d21bda496461e70febcf8855037a45164dc0a2212cc71411580a23d4da74f",
   "gen_hash_rust": "sha256:6a0e73f0d133ae0a90cf5b68b139de266a5d32b6fb2dafe1df7e62047cff6ad7",
-  "gen_hash_verilog": "sha256:88761f053fa391f6d6f86fa180b7011c0e6f82547d8dd32cab658fe4f54d7f84",
+  "gen_hash_verilog": "sha256:5807318b282900d93a6563366b253d985000e27818282d4253c1d24c0167f6a6",
   "gen_hash_zig": "sha256:7da42e5e458cb1a4fe300a2001f5edeb792cc9ff8278efd87ab589562ebbb2ee",
   "module": "Lexing",
   "ring": 12,
-  "sealed_at": "2026-08-30T18:16:28Z",
+  "sealed_at": "2026-09-03T10:13:51Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:4bc5143fba34174835090dd6b44f8b82feeb5462e3c52407d60d85efb3d6988a",
   "spec_path": "specs/compiler/lexer.t27"

.trinity/seals/gen_commands.json

@@ -1,7 +1,7 @@
 {
   "gen_hash_c": "sha256:dd4db6dff0df04da9fbb36636078a2fc5083b33f34c6e1f1a7ec14fb574b8c41",
   "gen_hash_rust": "sha256:78df35165688d2fa0c365f459dce87e18600316530a24526ac175b587d5c67eb",
-  "gen_hash_verilog": "sha256:f01c4379a2a5ecb08570d34f9a10090380f2be767568a7e81d2c5835ad7181c0",
+  "gen_hash_verilog": "sha256:9438160852d64b29290d043b8901105bae4848dd9275bd4e34f558e06d70c985",
   "gen_hash_zig": "sha256:7b6328077fae13ac3d8cdd17bc883c31b8e9ba99cd56daf86957f330338db7f2",
   "module": "gen_commands",
   "ring": 12,

.trinity/seals/math_PhiUniversalAttractor.json

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:f87af83c0ff6c847d32612b230569d4c0035683bb05e56f51a180d2f11570eed",
   "gen_hash_rust": "sha256:f70dfdf4a3fe4e99053c462a0fba0b1be779ae2a7d9d269818c7ca4c1246851c",
-  "gen_hash_verilog": "sha256:1c50cc362846e4d205dbc32445535b01ec463b50d96dc061eb8039974f8e6ba1",
+  "gen_hash_verilog": "sha256:57cc672e29d6b8b23a4b66343155520fe6d890ffb46c38ec621e66ca6d857a5b",
   "gen_hash_zig": "sha256:dbba7f928af7d8a9672028e095e782314e7bccd0a5cee09290c602384d3ee036",
   "module": "PhiUniversalAttractor",
   "ring": 12,
-  "sealed_at": "2026-08-30T21:18:16Z",
+  "sealed_at": "2026-09-03T10:13:51Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:3a5a1d0bf24c0a354559c859ce379e3fa65b8aad313da8627e341daa273d4adf",
   "spec_path": "specs/math/phi_universal_attractor.t27"

.trinity/seals/nn_SacredAttention.json

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:f4454df1de407b648599bab4486b3a2161b55cb98e8bf08c3dccce823ebfd3ac",
   "gen_hash_rust": "sha256:f2d59715911ebcf18c9614c38e5822ebd4929b151a6b0f869945a552e4de89d5",
-  "gen_hash_verilog": "sha256:19e519134c8b225290175e4723a340a2ffde8b3e5fd392192b91c6d0c1676248",
+  "gen_hash_verilog": "sha256:f10591dc966a8ac3535e358d35427cb7b03128d6095bad3d76f51b5ca8514f2f",
   "gen_hash_zig": "sha256:04869b3b6648bcb78f992e671734c17295760ccce99c82281f6969a55ff4a5b9",
   "module": "SacredAttention",
   "ring": 12,
-  "sealed_at": "2026-08-30T21:18:16Z",
+  "sealed_at": "2026-09-03T10:13:51Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:9d16a7efd14f69af62f5d85612ed1c99f0caf6dda097f403eda5c4f865fdf125",
   "spec_path": "specs/nn/attention.t27"

.trinity/seals/sync-schema.json

@@ -1,7 +1,7 @@
 {
   "gen_hash_c": "sha256:139f23c2090f084346521cfe837e4ffa8d37f08b3e842d4716fbdb3190091cc0",
   "gen_hash_rust": "sha256:8738a44fa55571fa8453b760e3e32aa6c79313f43a95f627cb5696bcd58ce19e",
-  "gen_hash_verilog": "sha256:f7fd8fe95e20ee934f3827616c8a04dda78dab92848cac2ee3a587b54f3c4822",
+  "gen_hash_verilog": "sha256:0c5b53a94b6fc4cd73c9da958ac20aa162c1490b095e695a63b1c4d236d78085",
   "gen_hash_zig": "sha256:48dd28714d3e6c9c8218f67b308c5bffcdd7c264da631e7b33d1844c86ca1ccc",
   "module": "sync-schema",
   "ring": 12,

.trinity/seals/sync_sync-schema.json

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:139f23c2090f084346521cfe837e4ffa8d37f08b3e842d4716fbdb3190091cc0",
   "gen_hash_rust": "sha256:8738a44fa55571fa8453b760e3e32aa6c79313f43a95f627cb5696bcd58ce19e",
-  "gen_hash_verilog": "sha256:f7fd8fe95e20ee934f3827616c8a04dda78dab92848cac2ee3a587b54f3c4822",
+  "gen_hash_verilog": "sha256:0c5b53a94b6fc4cd73c9da958ac20aa162c1490b095e695a63b1c4d236d78085",
   "gen_hash_zig": "sha256:48dd28714d3e6c9c8218f67b308c5bffcdd7c264da631e7b33d1844c86ca1ccc",
   "module": "sync-schema",
   "ring": 12,
-  "sealed_at": "2026-09-03T07:22:13Z",
+  "sealed_at": "2026-09-03T10:13:51Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:553424a2c0d86517157fb167bbc0664b24a5073e93e5b86e8a91cefd6cc9b07b",
   "spec_path": "specs/sync/schema.t27"

.trinity/seals/testbench_MAC_Testbench.json

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:33cf769212351db3c992bd82921dd80b938755b6da543061eaa4e7c39b552add",
   "gen_hash_rust": "sha256:e8bc2d3de487ecbc6d2d0c43767dcb87c4fee84004d2dafb973f55e6f8e009d2",
-  "gen_hash_verilog": "sha256:85a771ac9b82d59dc7ffd9e310e7cbddc5566a0e82357d93d299aa38725b16d6",
+  "gen_hash_verilog": "sha256:9cab81dcdc6b62afe3b481d26ee1ea47ab2c776af8358624acdb6a0433f29e09",
   "gen_hash_zig": "sha256:8928e5f9b62c3721e845fdc7acef8d518e8ea0c343572ca3e5a38303b5e1cffb",
   "module": "MAC_Testbench",
   "ring": 12,
-  "sealed_at": "2026-08-30T19:43:01Z",
+  "sealed_at": "2026-09-03T10:13:51Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:af060b6e5cdb2ffe1de0a47995b2c621139367174cf85237d8217aa929af10f7",
   "spec_path": "specs/fpga/testbench/mac_tb.t27"

.trinity/seals/tritype-base.json

@@ -1,7 +1,7 @@
 {
   "gen_hash_c": "sha256:cd2ad734d4c56c11d76f00941351fbb1b7afbe3c31672171d1831d8b6edc92aa",
   "gen_hash_rust": "sha256:fbcebfa1583296107b8765cc921b3d459d2c90b2e00303f930d243313f4aa20f",
-  "gen_hash_verilog": "sha256:d8d7c843ee5f2ce5883920ed6fdc87998a332b3a3e481dbdccaeb4ce1dd278c6",
+  "gen_hash_verilog": "sha256:fb66d07df7fad1fd638df94287b7d44457cac0d32729f93d54e88bee7b902f94",
   "gen_hash_zig": "sha256:0286c2d52b3521ae781dab3c27e977bdef20c218bca8ff4d81af17cb525a5b71",
   "module": "tritype-base",
   "ring": 12,