Negative Ledger

Mission

Prune semantic search space without turning stale failures into permanent dogma.

The structural boundary is the passive definition:

${CODEX_HOME:-$HOME/.codex}/skills/negative-ledger/definitions/ledger/negative-evidence-protocol.json

Its events logical slot in $ledger-resolved custody is canonical. The Ledger skill alone owns physical storage location, worktree-family registration, initialization, and migration policy. Do not derive a separate history from each checkout. Worktrees share evidence, not automatic applicability or exclusions.

The derived memory-admission channel remains: