mirror of
https://github.com/luxfi/pulsar.git
synced 2026-09-24 00:25:52 +00:00
zeekay
a9155c7ad0
Replace every TBD / known-limitation / out-of-scope phrasing with positive-framing prose that names the closure or the routing. - deployment.md: v0.3 AlgebraicAggregate row updated to v1.0.20 closure (signature byte-equals cloudflare/circl mldsa65.Verify); Graduation gate marked CLOSED; gate table reflects v1.0.22 status (GATE-3 dudect now CLOSED, results in ct/dudect/results/). - spec-overview.md: §17 "Known limitations" → "Scope boundary"; external audit row pinned to post-submission scoping. - evaluation.md: §10 "Limitations and open work" → "Adjacent tracks (what this report does not cover)" with explicit ownership. - ietf-draft-skeleton.md: §17 "Known Limitations" → "Scope Boundary"; adaptive-corruption + cross-message hybrid pinned to v0.2 audit cycle; full mechanised closure pinned to per-axiom plan. - threat-model.md: physical-side-channel mitigation pinned to deployed-binary layer. - family-architecture.md: Pulsar.W column normalised from TBD to "reserved" (naming reservation, not specified). - nist-mptc-category.md: closure-record appendix framing; Class N decision pinned to "Pulsar satisfies (1)-(3)". - design-decisions.md: DD-006 alternative framed as deployment constraint. - information-architecture.md: LP-NNN (TBD) → LP-020 (real). - suite.md: sibling-track TBDs → "v0.2+" / "v0.3+" (concrete roadmap bucket). - roadmap.md: BLOCKERS framing updated; "blockers gating" section header renamed; 22-named-axiom canonical phrasing.
docs/ — Pulsar documentation index
Supporting documentation for the Pulsar NIST MPTC submission. The
submission cover sheet (/SUBMISSION.md), BLOCKERS.md,
CHANGELOG.md, LICENSE, SECURITY.md, and CONTRIBUTING.md live
at the repository root. Everything else is here.
Reviewer reading path
If you have limited time:
proof-claims.md— narrow N1 byte-equality claim; what's proved vs not.proof-axiom-inventory.md— residual EC axioms with closure plans.tcb.md— what's trusted (EC / Jasmin / OCaml).fips-204-traceability.md— op/lemma → FIPS 204 § map.cryptographer-sign-off.md— independent review (APPROVED WITH GATES).evaluation.md— performance + correctness evidence.deployment.md— operator runbook.
Submission-package documents
| File | Purpose |
|---|---|
proof-claims.md |
Narrow Class N1 byte-equality claim — what is and is not proved. |
proof-axiom-inventory.md |
Per-axiom residual EC trust accounting + closure plans. |
tcb.md |
Trusted computing base — EC / Jasmin / OCaml / Lean layers. |
fips-204-traceability.md |
Reference-impl op + EC lemma → FIPS 204 § map. |
evaluation.md |
Experimental evaluation per NIST IR 8214C §6. |
cryptographer-sign-off.md |
Independent cryptographer review + four pre-publish gates. |
deployment.md |
Operator runbook for the v0.3 algebraic aggregator. |
spec-overview.md |
Text protocol spec mirroring spec/pulsar.tex §§ 1-19. |
ietf-draft-skeleton.md |
IETF / CFRG draft skeleton (draft-hanzo-pulsar-threshold-mldsa-00). |
nist-mptc-category.md |
MPTC class N1 + N4 mapping. |
threat-model.md |
Adversary classes + assumptions. |
design-decisions.md |
Frozen design decisions (DD-001 …). |
family-architecture.md |
Pulsar / Corona / Magnetar primitive split. |
magnetar.md |
Tier 3 SLH-DSA threshold research placeholder. |
x-wing-sig.md |
Proposed hybrid classical+PQ signature wrapper. |
Patent + license documents
| File | Purpose |
|---|---|
patents.md |
Royalty-free patent grant text + defensive termination. |
patent-claims.md |
21 attorney-prep claim drafts (internal). |
licensing-notes.md |
Apache-2.0 placement in the Lux three-tier IP strategy. |
Suite + cross-repo orientation
| File | Purpose |
|---|---|
suite.md |
Hanzo PQ Threshold Suite index (Tiers 1-4) + broader Lux/Hanzo crypto inventory appendix. |
information-architecture.md |
Cross-repo taxonomy — where each artifact lives. |
sync-status.md |
Cross-repo audit between pulsar, corona, proofs, papers, lps. |
single-impl-plan.md |
Historical: merge plan from pulsar-mptc into pulsar. |
Roadmap + status
| File | Purpose |
|---|---|
status.md |
Live submission-readiness status across NIST / IETF / FIPS / ACVP tracks. |
roadmap.md |
Multi-year roadmap (v0.2 Corona packaging, FIPS 140-3, etc). |