5.6 KiB
5.6 KiB
Gate0 Probe-3 Pre-Audit v12
Author: ms-p3-fix
Scope: Static audit only of the D4 fixture-construction and precondition path in docs/compaction-refresh/probes/p3_d4_focused_run.py. No harness execution occurred.
Pinned closure verified
| Member | Pinned revision | SHA-256 |
|---|---|---|
launch-runtime.py |
f400830738998db105107a2a4c69c7f2a2a6fd5d |
e950e4224e280f16979d90cabb89aa1896c5ee28bed2df957e14d018d43cda82 |
lease_generation.py |
f400830738998db105107a2a4c69c7f2a2a6fd5d |
061625402f08488eac47acd23272904e71fd1a71fd15b3bdab158632c801be4c |
p3_generation_broker.py |
23c0caca9b5d44002e6184cd7f2b6c837e8795b2 |
4db4fef1ac6658a8ca79ad5091cefc901d2aa26003265c3d6726c294cf895cad |
The launcher and generation bytes were read from the exact f4008307 object in the resolved WI-3 worktree. The broker bytes were checked from this repository's exact 23c0caca object. Their SHA-256 values match the three unchanged pin constants.
Behavior-marker audit
| Harness marker / check | Result | Satisfying real closure byte location |
|---|---|---|
"action": "register_anchor" |
PASS | launch-runtime.py:77 emits the registration action. |
initialize_generation: Callable[[Path, int], None] = initialize_runtime_generation |
PASS | launch-runtime.py:49 is the DI binding to the imported real helper; import is at launch-runtime.py:15, and the bound parameter is invoked at launch-runtime.py:90. |
execute(command[0], command, environment) |
PASS | launch-runtime.py:101. |
source_environment["MOSAIC_LEASE_BROKER_SOCKET"] |
PASS | launch-runtime.py:70. |
socket_path.parent / f"generation-{session_id}.state" |
PASS | launch-runtime.py:89; broker independently retains the same fixture-parent construction at p3_generation_broker.py:99. |
environment["MOSAIC_LEASE_GENERATION_FILE"] |
PASS | launch-runtime.py:98. |
def read_runtime_generation |
PASS | lease_generation.py:78; broker loads and calls it at p3_generation_broker.py:37-41, 77-78, and 133. |
def bump_runtime_generation |
PASS | lease_generation.py:90; broker loads and calls it at p3_generation_broker.py:37-41 and 119-120. |
Fixture and precondition-path audit
| Harness precondition | Result | Static construction / real closure satisfaction |
|---|---|---|
Fixture broker socket equals MOSAIC_LEASE_BROKER_SOCKET |
PASS | Harness sets the variable from socket_path at p3_d4_focused_run.py:723 and rejects mismatch at :452-453. Launcher consumes that exact variable at launch-runtime.py:70; broker accepts the fixture value via --socket at p3_generation_broker.py:46-50 and binds it at :60-63. |
MOSAIC_LEASE_GENERATION_FILE is absent before launcher execution |
PASS | The isolated environment dictionary has no such key (p3_d4_focused_run.py:712-737) and precondition rejects any inherited value at :454-455. The launcher creates and assigns it only after successful registration and initialization (launch-runtime.py:74-90, 95-99). |
HOME is fixture-relative |
PASS | Constructed as root / "home" at p3_d4_focused_run.py:680,713; validated by the fixture-path loop at :456-471. Launcher copies the source environment only after receiving this fixture value (launch-runtime.py:68,95). |
XDG_CONFIG_HOME is fixture-relative |
PASS | root / "config" at p3_d4_focused_run.py:681,714; validated at :456-471. |
XDG_CACHE_HOME is fixture-relative |
PASS | root / "cache" at p3_d4_focused_run.py:682,715; validated at :456-471. |
XDG_STATE_HOME is fixture-relative |
PASS | root / "state" at p3_d4_focused_run.py:683,716; validated at :456-471. |
XDG_RUNTIME_DIR is fixture-relative |
PASS | root / "runtime" at p3_d4_focused_run.py:684,717; validated at :456-471. |
TMPDIR is fixture-relative |
PASS | root / "tmp" at p3_d4_focused_run.py:685,718; validated at :456-471. |
D4_PI_LOG is fixture-relative |
PASS | The run creates root / "pi.jsonl" at p3_d4_focused_run.py:758 and assigns it at :724; validated at :456-471. |
MOSAIC_AGENT_WORKDIR is fixture-relative |
PASS | The run creates root / "workspace" at p3_d4_focused_run.py:755 and assigns it at :726; validated at :456-471. Launcher executes with the copied fixture environment at launch-runtime.py:95-101. |
MOSAIC_HEARTBEAT_RUN_DIR is fixture-relative |
PASS | root / "heartbeat" at p3_d4_focused_run.py:687,727; validated at :456-471. |
MOSAIC_HOME is fixture-relative |
PASS | root / "mosaic-home" at p3_d4_focused_run.py:688,728; validated at :456-471. |
| Socket parent is this temporary root | PASS | The run derives socket_path = root / "generation.sock" at p3_d4_focused_run.py:757; precondition requires socket_path.parent == root and root.parent == tempfile.gettempdir() at :472-474. Broker additionally refuses a generation path whose parent differs from socket_path.parent at p3_generation_broker.py:71-75. |
| Complete pinned closure can be materialized without an unpinned project import | PASS | materialize_closure reads the three exact objects and verifies their hashes (p3_d4_focused_run.py:397-431); closure_import_guard allows only lease_generation as non-stdlib (:342-371). Launcher has that sole project import at launch-runtime.py:15; broker imports its supplied generation file using an explicit path at p3_generation_broker.py:29-41. |
All remaining preconditions pass against real closure bytes: Y.
No B5-B9/D4 assertion, closure hash gate, before-exec re-hash, fixture/socket precondition, bytecode rejection, launch/broker flag, or run-count setting was changed by this audit artifact.