FC04 — Delay, Blocking, Task States and Deletion

FC04 is a freestanding C11 card for the state and time model of a FreeRTOS task. It uses the public API to distinguish Ready, Running, Blocked and Suspended, then preserves bounded forensic evidence before self-deletion.

The deterministic experiment contains:

• one periodic task using vTaskDelayUntil() with a two-tick period;
• one task that suspends itself and is resumed by an observer;
• one low-priority observer that verifies states and the 2/4/6 wake timeline.

Build and verify with:

make check

The card is based on Chapter 4 sections 4.7–4.10 of the official FreeRTOS Kernel Book. PDF generation and commits are separate explicit operations.