1.2 KiB
Phase 1.0AI: offline mapping transaction
Status: HOST_MAPPING_ROLLBACK_MODEL_COMPLETE_TARGET_MAPPING_BLOCKED
Date: 2026-07-29
The host-only model consumes already admitted load metadata. It models one new child region and one host mirror, exact file-byte copy and BSS zeroing per segment, the admitted RELATIVE count, one mirror-to-child copy, final segment protections, image sync and mirror release.
Success retains the new synthetic child region only after every protection, sync and mirror-release step succeeds. Failure releases an acquired mirror and unmaps the complete newly reserved child region. A partial image is never a valid outcome. Cleanup failure is a hard error.
The supplied tick deadline is atomic: an operation that would cross the bound is classified as not executed. This prevents ambiguous ownership when a resource-creating operation meets the deadline.
The model rejects W+X segments and overlapping page-rounded protection ranges. It contains no allocator, memory mapping, process, ptrace or target interface. The next phase must bind every required primitive to official source and prove how new mappings and any temporary protection changes are undone on every failure path before target code is considered.