Lean 1.4L · “Receipts, not rhetoric.” Reads docs/receipt.latest.json and docs/guard.14l.json.
docs/receipt.latest.json
docs/guard.14l.json
Tip: Keep citations near claims; avoid silent deletions; stable paths beat long monologues.