Commit becf06c
fix(ledger): map gone-repos|repo-gone — it is world, not instrument (#1676)
A `gone-repos|repo-gone` row landed in the committed ledger with no KIND_OF
mapping, so it fell to DEFAULT_KIND (instrument) and the parity test went red.
That test gates the pre-push hook, so main currently refuses every push.
It belongs in `world`. check-gone-repos writes the `gone` state ONLY when
GitHub answers 404 to a direct read of the repository — rate limits, 5xx and a
missing token all classify as unchecked and can never produce it. So the
finding is a repository actually deleted upstream, which is the ecosystem
moving past our record and the product doing its job. Reading it as
`instrument` says our scanner broke, which is exactly the confusion that state
was introduced to end.
Co-authored-by: Claude Opus 5 <noreply@anthropic.com>1 parent 0e396dc commit becf06c
1 file changed
Lines changed: 5 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
435 | 435 | | |
436 | 436 | | |
437 | 437 | | |
| 438 | + | |
| 439 | + | |
| 440 | + | |
| 441 | + | |
| 442 | + | |
438 | 443 | | |
439 | 444 | | |
440 | 445 | | |
| |||
0 commit comments