Architecture Decision Records
Decision records for choices that gate implementation. ADRs here do not replace the spec-change process (CONTRIBUTING.md: issue → citation → breakage statement → vectors); an ADR is where a decision’s options, criteria, and evidence live while it is open, and the durable record of why after it closes. A closed ADR that changes the spec still goes through a spec issue and PR.
Numbering is chronological. Statuses: OPEN (blocking or pending), ACCEPTED, SUPERSEDED (by NNNN), REJECTED.
| ADR | Title | Status | Blocks |
|---|---|---|---|
| 0001 | Profile the AWS structured-encryption format, or define fresh | OPEN — blocks all Phase 1 code (spec §13.1) | envelope codec, vectors, everything downstream |
| 0002 | Which FIPS-approvable AEAD for suite 0x0001 | OPEN — blocks vectors and suite freeze (spec §13.2) | registry, envelope arithmetic, commitment design (G1 interacts) |
Supporting evidence lives beside the ADR it serves: Appendix A to 0001 — the clause-level §3–§6 → AWS-format expressibility mapping (first pass, 2026-08-08).
Template: 0000-template.md.
- ADR-0001: Profile the AWS structured-encryption format, or define the envelope fresh Status: PROVISIONALLY DECIDED (option C) under Gate 0a, 2026-08-22 — reversible at Gate 0b; spec §13.1 calls this “the highest-leverage unresolved …
- ADR-0001 Appendix A — Expressibility mapping: spec §3–§6 onto the AWS structured-encryption format Date: 2026-08-08 · Status: evidence for ADR-0001 (the “open analysis task” named in the ADR’s option A), re-verified against pinned raw text …
- ADR-0002: Which FIPS-approvable AEAD for suite 0x0001 Status: OPEN — provisionally deferred to the status quo (option A) under Gate 0a, 2026-08-22, so that envelope arithmetic exists to implement against. This is a …
- ADR-NNNN: Title Status: OPEN | ACCEPTED | SUPERSEDED (by NNNN) | REJECTED · Date opened: · Date closed: · Spec refs: · Spec issue: (required before any ACCEPTED ADR changes …