proofs(octad): mechanise octad modality algebra (O-series + R1–R3)#109

Merged

hyperpolymath merged 10 commits into

mainfrom

claude/kind-hamilton-Q1nuk

Jun 5, 2026

Commits on Jun 3, 2026

proofs(octad): mechanise octad modality algebra (O-series + R1-R3)
claude
committed
ci: green the governance + fuzz gate at root
claude
committed
ci(fuzz): build fuzz_vql_parser — distinct package name + robust copy
claude
committed
docs(readme): add "Conceptual Model — Continuous Identity, Not Passive Storage"
claude
committed
ci(fuzz): host both fuzz targets in the single cargo-fuzz crate
claude
committed
ci(security): SHA-pin all GitHub Actions (clears Hypatia workflow_audit)
claude
committed
test(elixir): exclude :integration by default so CI suite is green
claude
committed
style(elixir): drop trailing blank line in test_helper.exs
claude
committed

Commits on Jun 4, 2026