Record state: 8 claims · 3 contradicted · 4 unresolved · 1 supported within stated limits · 0 accepted physical measurements · 17 open discrepancies of 24 · 5 of 5 predictions not measured.
| Claim | Title | Status | Strongest accepted evidence | Gate reached | Failing or disputed requirements | Open discrepancies | Review |
|---|---|---|---|---|---|---|---|
| C1 | Folding-fin mechanism model | CONTRADICTED | MODEL ONLY | ANALYTICAL MODEL | R-C1-CLOSURE | D-002, D-004, D-005 | CURRENT |
| C2 | Deployment timing | UNRESOLVED | IMPLEMENTATION ONLY | SYNTHETIC TEST | none | D-017, D-018, D-024 | CURRENT |
| C3 | CAD generator software | SUPPORTED WITHIN STATED LIMITS | IMPLEMENTATION ONLY | SOFTWARE REPRODUCTION | none | none | CURRENT |
| C4 | Material mass accounting | UNRESOLVED | MODEL ONLY | SOFTWARE REPRODUCTION | none | D-010, D-022 | CURRENT |
| C5 | Static-stability model | UNRESOLVED | MODEL ONLY | SOFTWARE REPRODUCTION | R-C5-WINDOW | D-006, D-007, D-008, D-009, D-023 | CURRENT |
| C6 | Spring margin consistency | CONTRADICTED | MODEL ONLY | SOFTWARE REPRODUCTION | R-C6-MARGIN | D-009, D-010, D-011 | CURRENT |
| C7 | Deployment reliability evidence | UNRESOLVED | MODEL ONLY | SOFTWARE REPRODUCTION | none | D-010, D-013 | CURRENT |
| C8 | Structural claim boundaries | CONTRADICTED | MODEL ONLY | SOFTWARE REPRODUCTION | R-C8-MODULUS | D-009, D-010, D-015 | CURRENT |
Support is derived from the classes of cited evidence and cannot be authored. Physical classes count only when a named human has accepted the bench session behind them.
| Status | Meaning |
|---|---|
| UNRESOLVED | An open question, conflict, or missing measurement blocks a stronger statement. |
| CONTRADICTED | Current evidence contradicts the claim or one of its requirements. |
| SUPPORTED WITHIN STATED LIMITS | Evidence supports the statement as worded, at its evidence class only. |
| SUPERSEDED | Replaced by another claim; retained for history. |
| Class | Physical | What it can show |
|---|---|---|
| SPECIFICATION | no | Authored requirement, boundary, note, or historical claim. States intent; demonstrates nothing. |
| IMPLEMENTATION | no | Source code, CAD source, model input, or configuration. Shows what was built, not how it behaves. |
| TEST PROCEDURE | no | Automated test source. A procedure, not a record that it ran or passed. |
| SYNTHETIC | no | Fabricated data that exercises tooling. Can never support a physical or performance claim. |
| ANALYTICAL | no | Output of a deterministic calculation. Only as good as its formulation and inputs. |
| SIMULATED | no | Output of a numerical or stochastic simulation. Not an observation of hardware. |
| SOFTWARE VERIFIED | no | A recorded run of automated checks. Shows software checks ran and passed, not that hardware works. |
| BENCH OBSERVED | yes | Inert physical observation without a calibrated instrument (photo, video, operator log). |
| BENCH MEASURED | yes | Inert physical measurement with a named instrument, method, and uncertainty. |
ANALYTICAL MODEL → SOFTWARE REPRODUCTION → SYNTHETIC TEST → INERT BENCH SETUP → INERT PHYSICAL MEASUREMENT → REPEATED MEASUREMENT → INDEPENDENT REVIEW
Gates from INERT BENCH SETUP onward require a human-registered pre-registration or a human-accepted inert measurement. No AI model, CI run, or repository setting can move a claim across them.