Show HN: Receipts for AI runs – κ (stress) + Δhol (drift), stdlib-only

1 month ago 1

Lean 1.4L · “Receipts, not rhetoric.” Reads docs/receipt.latest.json and docs/guard.14l.json.

Coherence glyph (risk grows outward)

Signals at a glance

—

Δhol

—

Updated

—

Why

—

Try next

—

Rules loading…

Tip: Keep citations near claims; avoid silent deletions; stable paths beat long monologues.