1.0 KiB
Phase 1.0AT: offline RFFDG FD/deadline model
Status: OFFLINE_OWNERSHIP_MODEL_COMPLETE_LIVE_COMPOSITION_BLOCKED
Date: 2026-07-29
This phase composes the Phase-1.0AS source candidates in a fake-only ownership
transaction. A pipe exists before the modeled RFFDG worker copy. The parent
closes its write end, the worker closes its read end, and the parent assembles
one exact Phase-1.0AQ record through a nonblocking partial-read model.
One 256-tick absolute budget covers setup, EINTR, would-block and data events. Deadline, early EOF, overflow, a damaged record or any trailing read event contains the worker. Every acquired pipe end is closed and every started worker is terminated and reaped; a cleanup failure is itself a hard model error.
The facade is scripted and imports no OS, process, clock, network or filesystem
capability. It does not establish a real RFFDG composition, hard wall-clock
preemption, bounded real reap or firmware-9.60 behavior. No target source,
cross-build, connection, transfer or execution is authorized.