Proof layer for the capability checker (55 theorems) + march main resync - #23

Merged

Ch4s3 merged 18 commits into

mainfrom

claude/calculus-proof-capabilities-0a1127

Aug 10, 2026

Commits on Aug 8, 2026

docs(calculus): proof-calculus design — metatheory of the cap checker
Ch4s3
committed
035a9d0
docs(calculus): P0 implementation plan — verdict algebra + lattice metatheory
Ch4s3
committed
023a777
feat(calculus): CapResult verdict algebra — andThen monoid, tier homomorphism (P0a)
Ch4s3
committed
954ef3c
feat(calculus): DivVerdict join semilattice + joinAll permutation invariance (P0a)
Ch4s3
committed
b4e6c41
refactor(calculus): parameterize the cap lattice over an abstract table (P0b)
Ch4s3
committed
7a7aa6b
feat(calculus): WellFormedB hierarchy by decide; metatheory at shipping names (P0b)
Ch4s3
committed
e9fd1bc
ci: build the MarchLean library, and fail on sorry/admit (P0)
Ch4s3
committed
60e5e6d

Commits on Aug 9, 2026

Commits on Aug 10, 2026