proof: discharge proof-obligation map Tiers 0–3 (#84)#106

Merged

hyperpolymath merged 8 commits into

mainfrom

claude/proof-obligations

Jun 2, 2026

Commits on Jun 2, 2026

proof(0.1): eliminate operational panics + enforce panic-freedom (#86)

claude
authored and
hyperpolymath
committed
proof(0.2): numeric-containment property tests (no NaN/Inf) (#87)

claude
authored and
hyperpolymath
committed
proof(1.2): LSM bounded dynamics + true spectral-radius scaling (#89)

claude
authored and
hyperpolymath
committed
proof(1.3): bridge soundness property tests (#90)

claude
authored and
hyperpolymath
committed
proof(2.1): compile-time lifecycle typestate for NeuroSymbolicSystem (#91)

claude
authored and
hyperpolymath
committed
proof(2.2): concurrency safety — no-lost-updates stress test (#92)

claude
authored and
hyperpolymath
committed
proof(2.3): resource/affine lifecycle design spec + header consistency (#93)

claude
authored and
hyperpolymath
committed
proof(3.1,3.2): data-egress allow-list + bounded external interaction (#94,#95)

claude
authored and
hyperpolymath
committed