13 lines
635 B
Markdown
13 lines
635 B
Markdown
# 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.
|