WP-026-00 Baseline and provenance |
none |
026-G00 |
STOP if historical source or baseline route is not reproducible. |
WP-026-01 Verification architecture inventory |
WP-026-00 |
026-G01 |
GO only after import and responsibility boundaries are mapped. |
WP-026-02 Registry and safe runner |
WP-026-01 |
026-G02 |
STOP if a planned case can execute or a path can escape controlled examples. |
WP-026-03 Corpus factory design |
WP-026-02 |
026-G03 |
GO only when every case has a capability, oracle and tolerance source. |
WP-026-04 Linear, element, modal and dynamic maturity |
WP-026-03 |
026-G04 to 026-G05 |
STOP on unexplained baseline drift. |
WP-026-05 J2, geometric, buckling and contact evidence |
WP-026-04 |
026-G06 to 026-G10 |
STOP before maturity promotion when external equivalence is unresolved. |
WP-026-06 Adversarial, performance and external aggregation |
WP-026-05 |
026-G11 to 026-G13 |
STOP on a fail-open contract or undocumented machine variance. |
WP-026-07 Regression, architecture freeze and Owner review |
WP-026-06 |
026-G14 to 026-G15 |
STOP if a claim lacks a manifest or Owner decision. |