#!/usr/bin/env python3
"""Build a handoff page for the remaining scene/event producer evidence gap.
The static audits have grounded the generic selected-root consumer/writer and
prompt pipeline, but they still do not prove the route-specific scheduler that
chooses one concrete selector/root. This artifact records the exact runtime
evidence needed next so future work does not repeat saturated static scans.
"""
from __future__ import annotations
import html
import json
from pathlib import Path
from typing import Any
ROOT = Path(__file__).resolve().parents[1]
OUT = ROOT / "out"
WEB = ROOT / "web"
JSON_OUT = OUT / "scene_event_runtime_evidence_handoff.json"
WEB_HTML_OUT = WEB / "scene_event_runtime_evidence_handoff.html"
def load_json(path: Path, default: Any) -> Any:
if not path.exists():
return default
return json.loads(path.read_text(encoding="utf-8"))
def write_json(path: Path, payload: Any) -> None:
path.write_text(json.dumps(payload, ensure_ascii=False, indent=2) + "\n", encoding="utf-8")
def esc(value: Any) -> str:
return html.escape("" if value is None else str(value))
def hx(value: int) -> str:
return f"0x{value:08x}"
def build_payload() -> dict[str, Any]:
completion_summary = {
"checklistItemCount": 9,
"coveredItemCount": 6,
"partialOrBlockedItemCount": 3,
}
frontier_summary = {
"staticFrontierSaturated": True,
"routeSpecificProducerPromoted": False,
"completionDecision": "do-not-call-update-goal",
"nextEvidenceNeeded": [
"runtime trace of selector byte writes before selected-root dispatch",
"runtime trace of descriptor-run order/count values and caller path at 0x004576e8/0x004576e9",
"new instruction-bound scheduler/list consumer not covered by current static xref and pattern scans",
],
}
route34 = load_json(OUT / "scene_034b_route34_upper_scheduler_gap_audit.json", {})
route34_summary = route34.get("summary") or {}
watchpoints = [
{
"name": "selector group byte",
"vaHex": hx(0x004576DA),
"width": 1,
"reason": "Generic selected-root lookup reads this as the selector directory group.",
"capture": [
"write caller/call stack",
"current script/object pointer if available",
"new value and adjacent selector slot byte",
],
},
{
"name": "selector slot byte",
"vaHex": hx(0x004576DB),
"width": 1,
"reason": "Generic selected-root lookup reads this as the selector row slot.",
"capture": [
"write caller/call stack",
"new value",
"paired selector group byte",
],
},
{
"name": "selected root global",
"vaHex": hx(0x0059DE30),
"width": 4,
"reason": "This is the selected-root pointer consumed by the prompt pipeline.",
"capture": [
"write caller/call stack",
"written root pointer",
"selector bytes at 0x004576da/db at the same moment",
"whether the writer is generic opcode handling or an outer scheduler",
],
},
{
"name": "runtime descriptor count",
"vaHex": hx(0x004576E8),
"width": 1,
"reason": "Generic active-object descriptor add/remove writes this count.",
"capture": [
"writer opcode/caller",
"count before/after",
"whether the write happens before a route-like prompt root is selected",
],
},
{
"name": "runtime descriptor order bytes",
"vaHex": hx(0x004576E9),
"width": "array",
"reason": "Descriptor run order is generic-grounded, but route-specific producer is not.",
"capture": [
"index/order byte written",
"owning command stream if available",
"active selector key if available",
],
},
]
route_focus = [
{
"selectorKey": "34:0",
"map": "map8_32q",
"ownerRootHex": "0x0052db58",
"sceneRecordHex": "0x0052da58",
"routeScriptHex": "0x0052f95c",
"promptPayloadHex": "0x004eeaa8",
"expectedSelectorCommandBytes": "4f 01 22 00",
"currentStaticStatus": "blocked: exact opcode4f mode1 hit count is 0; route boundary values have no direct .text refs",
},
{
"selectorKey": "13:1",
"currentStaticStatus": "grounded local prompt pipeline; outer selector58 scheduler remains data-only blocked",
},
{
"selectorKey": "14:0",
"currentStaticStatus": "route-like positive selector command exists; terminal scheduler remains data-only blocked",
},
{
"selectorKey": "18:0",
"currentStaticStatus": "route-like positive selector command exists; terminal scheduler remains data-only blocked",
},
]
success_criteria = [
"A write to 0x004576da/db or 0x0059de30 is captured with an instruction-bound caller that is outside the already-grounded generic save/load or opcode handler path.",
"The captured caller can be tied to a concrete scene/event record, selector root, descriptor run, or command stream address.",
"The captured selector/root corresponds to a route-like prompt root and is followed by the known prompt consumer path.",
"If only generic opcode handlers are captured, the upstream owner stream/object pointer must be recorded so static analysis can continue from that concrete owner instead of re-scanning all data.",
]
blocked_static_paths = [
"direct dword .text refs to route-specific roots and terminal values",
"selector-pair exact command scan for 34:0",
"group-list code-pattern consumer scan",
"group-list tag-literal consumer scan",
"runtime index 0x62/0x63 generic writer analysis",
"terminal data-cell one-hop closure",
"descriptor index writer boundary/invocation scans",
]
payload = {
"kind": "scene-event-runtime-evidence-handoff",
"purpose": "Record the next evidence needed after static selected-root/prompt-producer frontier saturation.",
"completionDecision": "do-not-call-update-goal",
"completionSummary": {
"checklistItemCount": completion_summary.get("checklistItemCount"),
"coveredItemCount": completion_summary.get("coveredItemCount"),
"partialOrBlockedItemCount": completion_summary.get("partialOrBlockedItemCount"),
},
"frontierSummary": {
"staticFrontierSaturated": frontier_summary.get("staticFrontierSaturated"),
"routeSpecificProducerPromoted": frontier_summary.get("routeSpecificProducerPromoted"),
"completionDecision": frontier_summary.get("completionDecision"),
"nextEvidenceNeeded": frontier_summary.get("nextEvidenceNeeded"),
},
"route34Summary": {
"routeSpecificUpperSchedulerPromoted": route34_summary.get("routeSpecificUpperSchedulerPromoted"),
"blockedReason": route34_summary.get("blockedReason"),
"nextEvidenceNeeded": route34_summary.get("nextEvidenceNeeded"),
},
"watchpoints": watchpoints,
"routeFocus": route_focus,
"successCriteria": success_criteria,
"blockedStaticPaths": blocked_static_paths,
"nonGoals": [
"Do not repeat broad direct-xref scans unless a new concrete owner/caller is captured.",
"Do not promote a route producer from proximity-only data.",
"Do not treat passing web verification as proof of producer discovery.",
],
"inputsForNextWorker": [
"runtime trace/watchpoint log with caller addresses and written values",
"or one new instruction-bound scheduler/list consumer not covered by the blocked static paths",
],
}
return payload
def render_html(payload: dict[str, Any]) -> str:
rows = []
for wp in payload["watchpoints"]:
rows.append(
"
"
f"
{esc(wp['vaHex'])}
"
f"
{esc(wp['name'])}
"
f"
{esc(wp['width'])}
"
f"
{esc(wp['reason'])}
"
f"
{' '.join(esc(x) for x in wp['capture'])}
"
"
"
)
route_rows = []
for item in payload["routeFocus"]:
route_rows.append(
"
"
f"
{esc(item['selectorKey'])}
"
f"
{esc(item.get('map','-'))}
"
f"
{esc(item.get('ownerRootHex','-'))}
"
f"
{esc(item['currentStaticStatus'])}
"
"
"
)
blocked = "".join(f"
{esc(x)}
" for x in payload["blockedStaticPaths"])
criteria = "".join(f"
{esc(x)}
" for x in payload["successCriteria"])
next_inputs = "".join(f"
{esc(x)}
" for x in payload["inputsForNextWorker"])
summary = payload["completionSummary"]
frontier = payload["frontierSummary"]
route34 = payload["route34Summary"]
return f"""
Scene/Event Runtime Evidence Handoff
Scene/Event Runtime Evidence Handoff
{esc(payload['completionDecision'])} 정적 frontier 이후 필요한 증거만 정리한다.