Hanzo AI 87a21474db ci(proofs): bridge guard enforces 5 Lean-bridged axioms (Axiom 5 added v8) ...

check-lean-bridge.sh now per-axiom-verifies each of the 5 Lean-bridged
algebraic axioms appears in (a) lean-easycrypt-bridge.md, (b) the
referenced .ec file, and (c) the referenced .lean file. Fail-fast with
named axiom on mismatch.

Sibling agents handle top-level README, BLOCKERS, EC README, and roadmaps.

2026-05-31 10:39:29 -07:00

..

checks

consolidate: merge pulsar-mptc submission framework into canonical luxfi/pulsar

2026-05-18 19:53:08 -07:00

bench.sh

consolidate: merge pulsar-mptc submission framework into canonical luxfi/pulsar

2026-05-18 19:53:08 -07:00

build.sh

consolidate: merge pulsar-mptc submission framework into canonical luxfi/pulsar

2026-05-18 19:53:08 -07:00

check-high-assurance.sh

consolidate: merge pulsar-mptc submission framework into canonical luxfi/pulsar

2026-05-18 19:53:08 -07:00

check-lean-bridge.sh

ci(proofs): bridge guard enforces 5 Lean-bridged axioms (Axiom 5 added v8)

2026-05-31 10:39:29 -07:00

cut-submission.sh

consolidate: merge pulsar-mptc submission framework into canonical luxfi/pulsar

2026-05-18 19:53:08 -07:00

extract-jasmin-ec.sh

consolidate: merge pulsar-mptc submission framework into canonical luxfi/pulsar

2026-05-18 19:53:08 -07:00

gen_vectors.sh

consolidate: merge pulsar-mptc submission framework into canonical luxfi/pulsar

2026-05-18 19:53:08 -07:00

nightly.sh

consolidate: merge pulsar-mptc submission framework into canonical luxfi/pulsar

2026-05-18 19:53:08 -07:00

sbom.sh

consolidate: merge pulsar-mptc submission framework into canonical luxfi/pulsar

2026-05-18 19:53:08 -07:00

test.sh

consolidate: merge pulsar-mptc submission framework into canonical luxfi/pulsar

2026-05-18 19:53:08 -07:00