Commits

History for

onhyperpolymath-patch-1

Commits on Jun 24, 2026

chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) (#658)

hyperpolymath
and
claude
authored
2e88fdc

Commits on Jun 21, 2026

fix(ci): soundness gate must not assume bare `dune` on PATH (greens main) (#635)

hyperpolymath
and
claude
authored
8859206
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
docs: make soundness status a single, test-anchored source of truth (#622)

hyperpolymath
and
claude
authored
e6c155f
fix(ci): repair doc-truthing guard after #614's .md→.adoc migration (#617)

hyperpolymath
and
claude
authored
33a4bfb
Feat/solo core metatheory proofs (#614)

authored
39299c3

Commits on Jun 20, 2026

Commits on Jun 11, 2026

security: standardize secret scanning on TruffleHog (+ ADR-023 draft stub, zig wasm_export_call types) (#564)
hyperpolymath
authored
6d0aab0

Commits on May 31, 2026

Commits on May 30, 2026

Commits on May 28, 2026

fix(ci): walker Js.Exn catch-arm detection + vscode E2E false-positive (closes #426) (#428)

hyperpolymath
and
claude
authored
fca9419

Commits on May 27, 2026

Commits on May 26, 2026

rename: affinescript.ownership → typedwasm.ownership (producer-neutral) (#375)

hyperpolymath
and
claude
authored
cf2f895

Commits on May 24, 2026

ADR-015 S6a: WIT export lifting for WASI command components (#343)

hyperpolymath
and
claude
authored
23a9e94

Commits on May 21, 2026

Commits on May 20, 2026

Commits on May 19, 2026