Repository navigation

Let a ledger say which shapes must never be explained - #366

Merged

derek73 merged 14 commits into

claude/issue-328-rule-absorption

Aug 12, 2026

Commits on Aug 9, 2026
- Add the [[never]] grammar and its startup validation
  derek73
  committed
  221bc95
- Let classify() refuse a shape the ledger excludes
  derek73
  committed
  383db2f
- Let a [[never]] entry narrow by fields, not just by name
  derek73
  committed
  44a1e0a
- Declare the two shapes the ledger promised to leave alone
  
  derek73
  and
  claude
  committed
  7d4b46b
- Assert in CI that no rule claims an excluded shape
  derek73
  committed
  70ed70e
Commits on Aug 10, 2026
- Let a ledger carry [[never]], and say so where it is read
  derek73
  committed
  28c3ea4
- Assert that a fields narrowing narrows something
  derek73
  committed
  95dfa0f
- Replace a tautological guard with a recorded one
  derek73
  committed
  f9caf78
- Protect the shapes the two entries claim to protect
  
  derek73
  and
  claude
  committed
  ad82244
- Say which way an over-wide exclusion fails, and drop "for a year"
  
  derek73
  and
  claude
  committed
  91a5f03
- Correct five claims the exclusion prose got wrong
  
  derek73
  and
  claude
  committed
  60b040d
Commits on Aug 12, 2026
- Merge master (#370) into the ledger-exclusions branch
  
  derek73
  and
  claude
  committed
  0d1ac39
- Protect ASCII nickname pairs in any position, not just medial
  
  derek73
  and
  claude
  committed
  c3aacc1
- Stop feat(#273) pointing at a limit that no longer exists
  
  derek73
  and
  claude
  committed
  caf2e4a