Commits

History for

Commits on Jul 7, 2026

test(faces): prove a Python-face program runs end-to-end (face → wasm → result) (#684)

hyperpolymath
and
claude
authored
4b36de2

Commits on Jun 21, 2026

fix(#624): fence Lean/Why3 on early `return`; finish the soundness-gate small calls (#633)

hyperpolymath
and
claude
authored
f020a6f
Harden the soundness-ledger gate: content-binding, stamp-enforcement, xfail pin-liveness (#631)

hyperpolymath
and
claude
authored
65c2ae3
Feat/solo core metatheory proofs (#614)

authored
39299c3
fix(codegen): support nested patterns inside tuple patterns (WASM)

claude
authored and
hyperpolymath
committed
0f8e6c5
fix(js-codegen): don't re-declare preamble Option/Result constructors

claude
authored and
hyperpolymath
committed
a3e0661

Commits on Jun 20, 2026

Commits on Jun 14, 2026

Commits on Jun 13, 2026

compiler: string-wall slice 8b — type-directed string ++ lowering (#578)

hyperpolymath
and
claude
authored
1f6ba66
compiler: string-wall slice 8a — guard string ++ against silent miscompile (#575)

hyperpolymath
and
claude
authored
10aa2c7
compiler: string-wall slice 7 — int_to_string (decimal rendering) (#573)

hyperpolymath
and
claude
authored
b38654d
compiler: string-wall slice 6 — string_find (+ interp empty-needle fix) (#572)

hyperpolymath
and
claude
authored
57eb667
compiler: string-wall slice 5 — trim (scan-and-copy) (#571)

hyperpolymath
and
claude
authored
240c27c
compiler: string-wall slice 4 — to_lowercase / to_uppercase (case-fold) (#570)

hyperpolymath
and
claude
authored
48d75df
compiler: string-wall slice 3 — string_sub (runtime-length copy) (#569)

hyperpolymath
and
claude
authored
b7c7b31

Commits on Jun 12, 2026

Commits on Jun 11, 2026

Commits on Jun 1, 2026

Commits on May 30, 2026

feat(typecheck): module-qualified type/effect path resolution (ADR-014, Refs #228) (#447)
hyperpolymath
authored
9b9b321

Commits on May 27, 2026