fix(minimald): refresh session ctx/graph after a patched build - #1182

#!/bin/bash
set -eu

printf '%s\n' '--- target file outline ---'
ast-grep outline crates/minimald/src/env.rs

printf '%s\n' '--- target context ---'
sed -n '820,910p' crates/minimald/src/env.rs

printf '%s\n' '--- blocking-work patterns ---'
rg -n -C 3 'spawn_blocking|block_in_place|create_dir_all|std::fs::' crates/minimald crates --glob '*.rs' | head -n 300

printf '%s\n' '--- async context around target ---'
rg -n -C 8 'create_dir_all|async fn|tokio::spawn|spawn\(' crates/minimald/src/env.rs

printf '%s\n' '--- just recipes ---'
just --list

#!/bin/bash
set -eu

printf '%s\n' '--- exact target implementation ---'
sed -n '840,925p' crates/minimald/src/env.rs

printf '%s\n' '--- minimald blocking and async filesystem conventions ---'
rg -n -C 5 'spawn_blocking|tokio::fs|std::fs::create_dir_all|std::fs::write|std::fs::read|std::fs::canonicalize' crates/minimald/src --glob '*.rs' | head -n 260

printf '%s\n' '--- PatchedBuild implementation and call sites ---'
rg -n -C 8 'struct PatchedBuild|impl.*PatchedBuild|PatchedBuild|builds_base_dir' crates --glob '*.rs' | head -n 320

printf '%s\n' '--- runtime and dependency configuration ---'
rg -n -C 4 'tokio|test-cross|test' Cargo.toml Cargo.lock justfile Justfile .justfile docs --glob '!target/**' | head -n 260

printf '%s\n' '--- available just executable ---'
command -v just || true

#!/bin/bash
set -eu

python3 - <<'PY'
from pathlib import Path
import re

p = Path("crates/minimald/src/env.rs")
s = p.read_text()
needle = "let _ = std::fs::create_dir_all(&output_base);"
pos = s.index(needle)
start = s.rfind("async fn ", 0, pos)
end = s.find("\n    }\n", pos)
fn = s[start:end]
print("function:", re.search(r"async fn\\s+\\w+", fn).group(0))
print("contains direct synchronous create_dir_all:", needle in fn)
print("discards create_dir_all result:", "let _ =" in fn and needle in fn)
print("contains await after target:", ".await" in s[pos + len(needle):end])
PY

#!/bin/bash
set -eu

printf '%s\n' '--- exact test recipes ---'
sed -n '260,330p' justfile
rg -n -A 12 -B 4 '^test-cross|^test(-[a-z-]+)?:' justfile

printf '%s\n' '--- session actor spawn and handler dispatch ---'
sed -n '510,620p' crates/minimald/src/env.rs
sed -n '1320,1375p' crates/op/src/patched.rs 2>/dev/null || true
sed -n '1,90p' crates/op/src/patched.rs

printf '%s\n' '--- corrected deterministic verifier ---'
python3 - <<'PY'
from pathlib import Path
import re

p = Path("crates/minimald/src/env.rs")
s = p.read_text()
needle = "let _ = std::fs::create_dir_all(&output_base);"
pos = s.index(needle)

async_positions = [m.start() for m in re.finditer(r"\basync\s+fn\b", s)]
containing = max((x for x in async_positions if x < pos), default=-1)
fn_end = s.find("\n    }\n", pos)
fn_text = s[containing:fn_end]

print("target line:", s[:pos].count("\n") + 1)
print("enclosing declaration:", re.search(r"async\s+fn\s+\w+", fn_text).group(0))
print("direct synchronous filesystem call:", needle in fn_text)
print("result discarded:", "let _ =" in fn_text and needle in fn_text)
print("subsequent await in same async block:", ".await" in s[pos + len(needle):fn_end])
assert "async fn run_patched_pkg" in fn_text
assert needle in fn_text
assert "let _ =" in fn_text
PY