lab-rv32i-freertos-c-notifications/doc/card-plan.md

FC10 card plan — direct task notifications

Thesis

A notification is one typed protocol slot owned by a target task. Counting, overwrite and bit-set actions preserve different information.

FC10 · Direct-to-task notifications
└── Task01 · three modes on slot 0
    ├── A2 · target-owned slot, no intermediary object
    ├── A3 · handle → TCB[0] dispatch
    ├── A5 · count → overwrite → bits flow
    ├── A6 · pending/value state
    ├── A7 · public states, stacks and debugger slot
    ├── A8 · information-contract choice
    └── Exercise · choose an action for three protocols

Acceptance: receiver is Blocked before every batch; results are exactly 3, 0x22 and 0x24; the slot is clear between phases; there is one notification index; no hidden synchronization object; E01–E12 is deterministic.