pulsar

mirror of https://github.com/luxfi/pulsar.git synced 2026-09-24 00:25:52 +00:00

Files

T

zooqueen 39593b3673 PULSAR-V13: contain hint-path leak + land verified BCC/CEF math core

- hard-gate threshold_v03 AlgebraicAggregate (fail-closed, PULSAR-V13-HINT-LEAK)
- threshold_bcc.go: BoundaryClear + findHintToTarget (FIPS UseHint) + ML-DSA-65/87
  param guard; no production code forms c*s2/c*t0/r0/LowBits
- 6 verified tests green (gate, param guard, FindHintToTarget<->UseHint round-trip,
  BoundaryClear=>HighBits-stable+r0-bound, off-by-one edges, yield 9.8%)
- spec/threshold-mldsa-boundary-clearance.tex (BCC0/BCC+, full-w-hidden, ZK req)
- BLOCKERS: V13-HINT-LEAK + V13-W-LEAK + V13-PARTIAL-Z-PROOF + resolution criteria

2026-06-21 00:54:00 -07:00

blockers.tex

docs: closure-record framing for BLOCKERS.md + spec appendix

2026-05-31 11:21:12 -07:00

design-decisions.tex

spec(tex): drop hedges, ship submission-grade prose

2026-05-31 11:21:53 -07:00

family-architecture.tex

pulsar: rename Pulsar-M -> Pulsar in prose, keep wire-format strings intact

2026-05-13 13:40:52 -07:00

nist-mptc-category.tex

spec(tex): drop hedges, ship submission-grade prose