Commit 6c9f34f
docs(runtime): keys.ts's catch annotation states its measured determination (#15472)
The annotation at the `handleKeysRequest` catch promised a
`FAILURE_PROPAGATION_SITES` entry "in the step that widens
DURABILITY_CRITICAL_CALLEES". That promise is falsified by the widening
that was actually sanctioned: the seeder wrappers `tryInsert`/`tryUpdate`
match no seam in this function, and the only name that would match is
bare `insert`, which the swallow-family census refuses by design. An
entry keyed `keys.ts::handleKeysRequest` would be stale on arrival.
The note now states the measured truth instead: the catch delivers the
failure to the caller on every path (measured with the gate's own
`catchDeliversFailure()`), the determination is carried by the census's
DETERMINED register row for `keys.ts::handleKeysRequest` -- which
re-verifies on every run that the file exists, that the determination
sentence is written at the site, and that the site is still a tier-1
DARK member, going STALE loudly otherwise -- and no gate entry is owed.
Comment-only. The register's anchor sentence is byte-identical, the
census reading is byte-identical, and the gate verdict is unchanged
(29 seams, all loud, rethrowing or propagating).
Claude-Session: https://claude.ai/code/session_012zGPuVVX3deAx9LdjK8jCk
Co-authored-by: Claude <noreply@anthropic.com>1 parent 414c1fc commit 6c9f34f
1 file changed
Lines changed: 25 additions & 7 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
207 | 207 | | |
208 | 208 | | |
209 | 209 | | |
210 | | - | |
211 | | - | |
212 | | - | |
213 | | - | |
214 | | - | |
215 | | - | |
216 | | - | |
| 210 | + | |
| 211 | + | |
| 212 | + | |
| 213 | + | |
| 214 | + | |
| 215 | + | |
| 216 | + | |
| 217 | + | |
| 218 | + | |
| 219 | + | |
| 220 | + | |
| 221 | + | |
| 222 | + | |
| 223 | + | |
| 224 | + | |
| 225 | + | |
| 226 | + | |
| 227 | + | |
| 228 | + | |
| 229 | + | |
| 230 | + | |
| 231 | + | |
| 232 | + | |
| 233 | + | |
| 234 | + | |
217 | 235 | | |
218 | 236 | | |
219 | 237 | | |
| |||
0 commit comments