security

mirror of https://github.com/luxfi/security.git synced 2026-10-30 15:17:20 +00:00

Files

T

History

zooqueen 582ebad75d release(2026-06-pq): finalize certificate at shipped commits

- ADVERSARIAL-MATRIX.md: 5-verifier per-primitive attack matrix + the four assurances
- RELEASE-MANIFEST.toml pinned to final SHAs (consensus ConsensusCert envelope now on main)
- gate upgrades: ec-machine-check.sh (compiles every .ec), comment-aware axiom-budget,
  PASS_WITH_OPEN_ASSUMPTIONS verdict + open_assumptions; p3q redteam cmd fixed
- EC-toolchain-live corrections; corona C11 = lemma; gate-results regenerated (verdict PASS_WITH_OPEN_ASSUMPTIONS)

2026-06-21 20:52:30 -07:00

ADVERSARIAL-MATRIX.md

release(2026-06-pq): finalize certificate at shipped commits

2026-06-21 20:52:30 -07:00

ASSUMPTIONS.md

feat(framework): EC ec-machine-check gate + comment-aware axiom-budget; PASS_WITH_OPEN_ASSUMPTIONS verdict; honest release cert (EC toolchain live; corona C11 discharged)

2026-06-21 18:10:49 -07:00

ASSURANCE.lock

security: complete release certificate (ASSUMPTIONS, REPRO, CHECKLIST, ASSURANCE.lock; manifest pinned to gated hashes)

2026-06-21 14:37:46 -07:00

CHECKLIST.md

feat(framework): EC ec-machine-check gate + comment-aware axiom-budget; PASS_WITH_OPEN_ASSUMPTIONS verdict; honest release cert (EC toolchain live; corona C11 discharged)