Commits

History for

Commits on Aug 14, 2026

fix(formal): restore the orphaned top-level soundness formalization to the build; revert unverified proof claims
dporkka
committed
d0cd746
proof(semantics): complete the type-soundness chain — zero sorries in types.lean
dporkka
committed
dd3aafa
proof(semantics): prove weakening (corrected), progress, closed-type theorems
dporkka
committed
fe610d8
feat(parser): close remaining doc-pass gaps — let rec, full-type alias bodies
dporkka
committed
a260849
feat(cap,dist): value-level &cap constructors + cluster/network determinism
dporkka
committed
3cddf62
fix(parser): prelude types resolve in annotations; SPEC2 doc pass green
dporkka
committed
981b54d
fix(workflow): failing steps surface a diagnostic + nonzero exit
dporkka
committed
2d56e33
docs: mark typeclass/generics/event_sourced recovery bugs fixed (SPEC2 truth sweep)
dporkka
committed
46a872a
fix(workflow): saga compensation + step dispatch immune to preceding actors
dporkka
committed
87c58bd

Commits on Aug 13, 2026

Commits on Aug 3, 2026

docs: Phase 5 progress — PLAN.md scope/audit updates, SPEC2 fault-tolerance gap note
dporkka
committed
20d6c67

Commits on Aug 2, 2026

Commits on Jul 31, 2026

docs: sync PITFALLS and SPEC2 with consume/recover, numeric conversions
dporkka
committed
7abe938

Commits on Jul 30, 2026

Commits on Jul 25, 2026

Commits on Jul 24, 2026

Commits on Jul 21, 2026

Strategic repositioning: durable computation language
dporkka
committed
b6ac52f

Commits on Jul 19, 2026