635 B
635 B
FC04 card plan
Task01 · Delay and task-state experiment
├── A2 STRUCTURE contexts and absolute wake timeline
├── A5 FLOW E01–E10 deterministic replay
├── A6 STATE Ready/Running/Blocked/Suspended/Deleted
├── A7 RUNTIME public state, TCB/stack, ticks and forensic evidence
└── Exercise replace absolute delay with relative delay and measure drift
A1 and A3 are inherited unchanged from FC03/FC02. A4 is already completely expressed by A2 and A5. A8 is unavailable because this card studies kernel state semantics rather than an application design pattern.