Repository navigation

A2ML parser totality + correctness, and CI/FFI root-cause fixes - #32

Merged

hyperpolymath merged 16 commits into

mainfrom

claude/dazzling-noether-hkgAV

Jun 5, 2026

Commits on Jun 3, 2026
- chore: stop tracking generated build artifacts; ignore Zig 0.11 cache
  Claude
  committed
  65a744c
- fix(a2ml): prove parser total, fix inverted unless, enforce EOF
  Claude
  committed
  9a0a17f
- fix(ci): make e2e_test.sh path-independent
  Claude
  committed
  6d472c3
- fix(ffi): compile the Zig FFI and implement real BLAKE3/SHA-256/SHA3-256/Ed25519
  Claude
  committed
  53ab9df
- fix(abi): prove Handle non-null invariant; compile the ABI package
  Claude
  committed
  78f10f6
- feat(merkle): prove inclusion-proof soundness (merkleCorrect)
  Claude
  committed
  7f87ec6
Commits on Jun 4, 2026
- refactor: make ochrance-core the single home of the Filesystem subsystem
  Claude
  committed
  4a17409
- fix(ci): make ECHIDNA dangerous-pattern scan ignore comments
  Claude
  committed
  0a35a28
- fix(framework): complete and wire in the Progressive assurance proofs
  Claude
  committed
  2e36ad6
- feat(a2ml): prove manifest round-trip invertibility (replace True placeholder)
  Claude
  committed
  5da1afe
- test(integration): use valid hex hashes and non-empty Merkle leaves
  Claude
  committed
  7bba163
- refactor(merkle): generalize root/verify/soundness over the hash combiner
  Claude
  committed
  e7adf72
Commits on Jun 5, 2026
- docs(proofs): add the proof-campaign ledger (Stage 0 close)
  Claude
  committed
  b6645b3
- docs(proofs): correct svalinn target to Ephapax (was AffineScript)
  Claude
  committed
  bbbcc11
- docs: add post-migration re-entry runbook + link from ledger
  claude
  committed
  f40c9e6
- Merge main into branch: reconcile #32 with merged #31
  claude
  committed
  6fd60c1

Navigation Menu

Repository navigation

A2ML parser totality + correctness, and CI/FFI root-cause fixes - #32

A2ML parser totality + correctness, and CI/FFI root-cause fixes#32
hyperpolymath merged 16 commits into
mainfrom
claude/dazzling-noether-hkgAV

Commits on Jun 3, 2026

chore: stop tracking generated build artifacts; ignore Zig 0.11 cache

fix(a2ml): prove parser total, fix inverted unless, enforce EOF

fix(ci): make e2e_test.sh path-independent

fix(ffi): compile the Zig FFI and implement real BLAKE3/SHA-256/SHA3-256/Ed25519

fix(abi): prove Handle non-null invariant; compile the ABI package

feat(merkle): prove inclusion-proof soundness (merkleCorrect)

Commits on Jun 4, 2026

refactor: make ochrance-core the single home of the Filesystem subsystem

fix(ci): make ECHIDNA dangerous-pattern scan ignore comments

fix(framework): complete and wire in the Progressive assurance proofs

feat(a2ml): prove manifest round-trip invertibility (replace True placeholder)

test(integration): use valid hex hashes and non-empty Merkle leaves

refactor(merkle): generalize root/verify/soundness over the hash combiner

Commits on Jun 5, 2026

docs(proofs): add the proof-campaign ledger (Stage 0 close)

docs(proofs): correct svalinn target to Ephapax (was AffineScript)

docs: add post-migration re-entry runbook + link from ledger

Merge main into branch: reconcile #32 with merged #31