Files

635 B
Raw Permalink Blame History

FC04 card plan

Task01 · Delay and task-state experiment
├── A2 STRUCTURE  contexts and absolute wake timeline
├── A5 FLOW       E01E10 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.