Repository navigation
Commit c6c6d16
docs(gate): rest check-role-word's comment figures on invariants, not on the ledger's current size (#10044)
The two sample-output sites named in #9947 both stated the regenerated
baseline's size (43) — a figure `--update`, the gate's own sanctioned
remedy, invalidates. Refreshing such a number resets the clock rather
than fixing it, so neither is refreshed here.
Per-site, because they are different things:
- The quoted OLD green line is a FORMAT example. That line no longer
exists in the program (removed by #9931), so no literal is checkable
against anything the gate does — the number goes generic (`N`).
- The dead-scan ablation result is a MEASUREMENT. It now rests on the
cardinality identity the ratchet-DOWN loop enforces — one problem per
baseline entry, true at every ledger size — instead of a magnitude.
No bound is stated in its place: a SHRINK-only ledger admits neither a
durable floor (it rots on the first sanctioned ratchet-down) nor a
durable ceiling (the same `--update` is also the baseline-EXPANDING
path #8435 gates).
Two further sites found while measuring: the header listed the ledger's
legitimate contents as an inventory, one entry of which ("ARIA `role=`
in samples") already matches zero baselined files; it now names the
legitimate KINDS instead. And the self-test's scan fixtures are pinned
as synthetic, so nobody "refreshes" them into a figure the tree can
falsify.
Comment prose only: no verdict, exit code, population or threshold
moves. Every changed line is a comment, and the gate's output is
byte-identical before and after.
Claude-Session: https://claude.ai/code/session_01XqDQYVU5smx29ts9pAErja
Co-authored-by: Claude <noreply@anthropic.com>1 parent 2ee7c45 commit c6c6d16
1 file changed
Lines changed: 35 additions & 9 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
12 | | - | |
13 | | - | |
14 | | - | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
15 | 20 | | |
16 | 21 | | |
17 | 22 | | |
| |||
130 | 135 | | |
131 | 136 | | |
132 | 137 | | |
133 | | - | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
134 | 144 | | |
135 | 145 | | |
136 | 146 | | |
| |||
141 | 151 | | |
142 | 152 | | |
143 | 153 | | |
144 | | - | |
145 | | - | |
146 | | - | |
147 | | - | |
148 | | - | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
| 164 | + | |
| 165 | + | |
| 166 | + | |
| 167 | + | |
| 168 | + | |
149 | 169 | | |
150 | 170 | | |
151 | 171 | | |
| |||
269 | 289 | | |
270 | 290 | | |
271 | 291 | | |
| 292 | + | |
| 293 | + | |
| 294 | + | |
| 295 | + | |
| 296 | + | |
| 297 | + | |
272 | 298 | | |
273 | 299 | | |
274 | 300 | | |
| |||
0 commit comments