You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
29 lines
820 B
29 lines
820 B
plan_revision: 1
|
|
selected_mode: sdd
|
|
contract_hash: 819762ae94f2cb3d11820904d013947c367e4bbb32fe8773a3510a253be9ca97
|
|
created_at: 2026-09-14T08:00:29Z
|
|
paused: false
|
|
resumed_at: 2026-09-15T01:18:50Z
|
|
current: verification
|
|
waves:
|
|
- id: W1
|
|
strategy: serial
|
|
tasks: [T1, T2, T3]
|
|
depends_on: []
|
|
state: passed
|
|
receipt: pass (T1, T2, T3 final review)
|
|
- id: W2
|
|
strategy: serial
|
|
tasks: [T4, T5, T6, T7]
|
|
depends_on: [W1]
|
|
state: passed
|
|
receipt: pass (W2-wave; 50 tests)
|
|
- id: W3
|
|
strategy: serial
|
|
tasks: [T8, T9, T10]
|
|
depends_on: [W2]
|
|
state: passed_with_external_blocker
|
|
receipt: pass (W3 final review; 73 targeted tests, OpenAPI 129 paths)
|
|
verification_blocked: false
|
|
verification_outcome: conditional-pass-with-formal-waiver
|
|
closure_requires: DP-7 confirmation pending
|