Architecture Decision Records¶
This directory holds the project's significant architectural decisions.
Rules¶
- An ADR documents a single decision.
- ADRs are immutable once accepted. Changing a decision requires a new ADR that supersedes the old one.
- Sequential numbering, padded to four digits:
0000-,0001-, ... - Format: Markdown with mandatory sections
Context,Decision,Consequences,Alternatives considered,Status.
Possible statuses¶
- Proposed — under discussion.
- Accepted — active.
- Superseded by ADR-NNNN — replaced.
- Deprecated — abandoned without replacement.
Index¶
| ID | Title | Status |
|---|---|---|
| ADR-0000 | Vision | Accepted |
| ADR-0001 | HAL First | Accepted |
| ADR-0002 | Deterministic Simulation | Accepted |
| ADR-0003 | Telemetry Everywhere | Accepted |
| ADR-0004 | Backend Independence | Accepted |
| ADR-0005 | Canonical Vehicle State | Accepted |
| ADR-0006 | Event Driven Core | Accepted |
| ADR-0007 | Hardware Migration Strategy | Accepted |
| ADR-0008 | Perception Failure Modes and Uncertainty Propagation | Accepted (catalog amended by ADR-0010) |
| ADR-0009 | Autonomy Under Uncertainty | Accepted (pilot override amended by ADR-0011) |
| ADR-0010 | Revised Perception Mode Catalog and Parameter Coupling Discipline | Accepted |
| ADR-0011 | T0 Safety Vetoes Over Pilot Input | Accepted |
| ADR-0012 | Run Retention Policy | Accepted |
| ADR-0013 | Run Analysis Artifacts | Accepted |
| ADR-0014 | Behavior Traceability v1 | Accepted |
| ADR-0015 | Noisy Ground Truth Estimator | Accepted |
| ADR-0016 | Belief Traceability Report v1 | Accepted |
| ADR-0017 | Belief Consistency Analysis v1 | Accepted |
| ADR-0018 | Comparative Belief Analysis with Provenance Manifests v1 | Accepted |
| ADR-0019 | Belief Calibration Honesty Check v1 | Accepted |
| ADR-0020 | Belief Self-Assessment v1 | Accepted |
| ADR-0021 | Belief-to-Action Contract Layer v1 | Accepted (DecisionContext amended additively by ADR-0027) |
| ADR-0022 | Decision Trace and Chain Verification v1 | Accepted |
| ADR-0023 | Action Emission Contract Layer v1 | Accepted |
| ADR-0024 | Belief Forward-Prediction Contract v1 | Accepted |
| ADR-0025 | Prediction-Observation Divergence Check v1 | Accepted |
| ADR-0026 | Closed-Loop Feedback v1 | Accepted |
| ADR-0027 | Calibration-Aware Decision Context v1 | Accepted |
| ADR-0028 | Sensor-to-Belief Fusion Contract v1 | Accepted |
| ADR-0029 | Trajectory Controller Reference v1 | Accepted |
| ADR-0030 | Replay Verification v1 | Accepted |
| ADR-0031 | Bounded Action Under Drift Property v1 (BAUD) | Accepted |
| ADR-0032 | Eventual Reactivation Under Recovery Property v1 (ERUR) | Accepted |
| ADR-0033 | Monotonic Degradation Property v1 (MD) | Accepted |
| ADR-0034 | Recovery Latency Bound Property v1 (RLB) | Accepted |
| ADR-0035 | False Positive Bound Property v1 (FPB) | Accepted |
| ADR-0036 | TLA+ Mechanical Verification of BAUD-v1 / ERUR-v1 / Partition | Accepted |