26 lines
1.2 KiB
Markdown
26 lines
1.2 KiB
Markdown
# 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.
|