CI Pipeline / unit-tests (push) Canceled after 0s
CI Pipeline / go-surface (push) Canceled after 0s
CI Pipeline / rust-surface (push) Canceled after 0s
CI Pipeline / canary (push) Canceled after 0s
CI Pipeline / best-practices (push) Canceled after 0s
CI Pipeline / documentation (push) Canceled after 0s
CI Pipeline / type-check (push) Canceled after 0s
CI Pipeline / gitea-offline (push) Canceled after 0s
CI Pipeline / required-checks (push) Canceled after 0s
CI Pipeline / CI Pipeline / notify-event-bridge (push) Canceled after 0s
Auto-version and Release / release (push) Canceled after 26s
CI Pipeline / lint (push) Canceling
deploy / deploy (push) Canceled after 1s
128 lines
5.4 KiB
Python
128 lines
5.4 KiB
Python
"""Admission dispatch for wave rebase-completion (Gitea #2587).
|
|
|
|
THE FINDING (audit #2587): 17 Python modules have Go-side directories; only
|
|
6 are wired. ELEVEN Go engines with substantial function counts have ZERO
|
|
delegation in their Python counterpart: abstraction(71), auto_context(75),
|
|
cache(66), forge_client(87), goal(63), message_queue(65), microkernel(62),
|
|
openai_compat_transport(74), paths(13), voicebox(24) — plus pins (Python-only,
|
|
12 funcs) needing an honest boundary verdict.
|
|
|
|
THE OWNER'S BAR (verbatim): 'going through and rewiring the rebase into the
|
|
tui, extremely thoroughly according to the code dichotomy.'
|
|
|
|
PATTERN: fail-loud delegation facade (Go engine default, RUNE_<NAME>_ENGINE=
|
|
python escape, RUNE_<NAME>_BIN override, typed RuntimeError on missing
|
|
binary — no silent fallback; house shapes: model_routing.reconcile_tools_
|
|
support :457, local_tool_runtime._GoDelegatingExecutor). Red-first parity
|
|
battery per module against the Python oracle body (kept as oracle/escape).
|
|
Integrated receipt per module in verification/integrated/.
|
|
approval_ref 'user:Gitea #2587 rebase-completion directive'.
|
|
"""
|
|
import json
|
|
import os
|
|
import sys
|
|
|
|
sys.path.insert(0, os.path.join(os.path.dirname(__file__), "..", "src"))
|
|
|
|
from rune import construction_activation as cact # noqa: E402
|
|
from rune import construction_admission as cadm # noqa: E402
|
|
from rune import construction_mode as cmode # noqa: E402
|
|
from rune import scaffold as sc # noqa: E402
|
|
|
|
ROOT = os.path.join(os.path.dirname(__file__), "..")
|
|
|
|
OBJECTIVE = (
|
|
"REBASE-COMPLETION (Gitea #2587): wire the eleven unwired Go engines "
|
|
"into their Python counterparts through the fail-loud delegation "
|
|
"facade pattern — openai_compat_transport and forge_client (serving "
|
|
"path) first, then microkernel, goal, cache, message_queue, "
|
|
"abstraction, auto_context, voicebox, paths; classify pins honestly "
|
|
"(port to src/go/pins or record the Python-boundary verdict from its "
|
|
"consumers). Each module: red-first parity battery against the Python "
|
|
"oracle body (kept as oracle/escape hatch), RUNE_<NAME>_ENGINE=python "
|
|
"escape, RUNE_<NAME>_BIN override, typed RuntimeError on missing "
|
|
"binary, integrated receipt in verification/integrated/. "
|
|
"Owner's bar: 'going through and rewiring the rebase into the tui, "
|
|
"extremely thoroughly according to the code dichotomy.'"
|
|
)
|
|
AFFECTED = [
|
|
"src/go/**",
|
|
"src/rune/**",
|
|
"tests/**",
|
|
"verification/**",
|
|
"scripts/admit_wave_rebase_completion.py",
|
|
]
|
|
|
|
|
|
def main() -> int:
|
|
store = os.path.join(ROOT, "store", "scaffold")
|
|
scaffold = sc.Scaffold(store, "rune")
|
|
|
|
md = cmode.classify_mode(
|
|
OBJECTIVE,
|
|
target_project="rune",
|
|
project_exists=True,
|
|
affected_surface=AFFECTED,
|
|
)
|
|
print("classified mode:", md.mode)
|
|
|
|
need = {
|
|
"need_id": "need-wave-rebase-completion",
|
|
"objective": OBJECTIVE,
|
|
"origin": "worker",
|
|
"project": "rune",
|
|
"task_ref": "wave-rebase-completion",
|
|
"affected_surface": AFFECTED,
|
|
"evidence_refs": [
|
|
"Gitea #2587 (REBASE-COMPLETION audit: 11 dual-side modules "
|
|
"with Go engines but ZERO delegation; pins Python-only)",
|
|
"verification/integrated/model-routing-integrated.json (the "
|
|
"house PORT → INTEGRATE → REMOVE shape this wave replicates)",
|
|
"src/rune/model_routing.py reconcile_tools_support facade "
|
|
":457 and src/rune/local_tool_runtime.py "
|
|
"_GoDelegatingExecutor (the fail-loud house shapes)",
|
|
],
|
|
}
|
|
act = cact.activate(md, need=need, scaffold=scaffold,
|
|
builder="wave-rebase-completion")
|
|
print("activated:", act.get("activated"), act.get("mode"))
|
|
|
|
env = cadm.admit(
|
|
act,
|
|
objective=OBJECTIVE,
|
|
builder="wave-rebase-completion",
|
|
affected_surface=AFFECTED,
|
|
evidence_refs=need["evidence_refs"],
|
|
origin="worker",
|
|
task_ref="wave-rebase-completion",
|
|
expected_new_entities=[
|
|
"eleven fail-loud delegation facades (one per module) with "
|
|
"RUNE_*_ENGINE=python escapes and RUNE_*_BIN overrides",
|
|
"red-first parity battery per module against the Python "
|
|
"oracle body; mutations of the oracle must flip the battery",
|
|
"integrated receipt per module in verification/integrated/",
|
|
"pins verdict: Go port at src/go/pins OR recorded "
|
|
"Python-boundary classification from consumer evidence",
|
|
],
|
|
expected_runtime_effects=[
|
|
"the serving path (openai_compat_transport, forge_client) "
|
|
"and the ten other wired engines resolve through the Go "
|
|
"binaries at runtime; Python oracle bodies retained as "
|
|
"escape/oracle only",
|
|
],
|
|
verification_obligations=[
|
|
"per module: go test -race -short green in the engine dir; "
|
|
"pytest touched suites green (venv, PYTHONPATH=src)",
|
|
"conventional commit per module, pushed to gitea master "
|
|
"incrementally (autostash rebase — the tree is hot)",
|
|
],
|
|
approval_ref="user:Gitea #2587 rebase-completion directive",
|
|
contract_id="ADMIT-wave-rebase-completion",
|
|
project_store=store,
|
|
project_id="rune",
|
|
)
|
|
print(json.dumps(env, indent=2, default=str)[:2400])
|
|
|
|
if __name__ == "__main__":
|
|
raise SystemExit(main())
|