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

Open

derek73 wants to merge 11 commits into

claude/issue-328-rule-absorption

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