Nick
34d2394901
CI Pipeline / best-practices (push) Successful in 11s
CI Pipeline / documentation (push) Successful in 6s
CI Pipeline / rust-surface (push) Failing after 22s
CI Pipeline / go-surface (push) Failing after 25s
CI Pipeline / gitea-offline (push) Successful in 19s
Auto-version and Release / release (push) Successful in 50s
CI Pipeline / type-check (push) Failing after 53s
CI Pipeline / lint (push) Failing after 1m28s
CI Pipeline / canary (push) Failing after 2m36s
CI Pipeline / required-checks (push) Canceled after 0s
CI Pipeline / CI Pipeline / notify-event-bridge (push) Canceled after 0s
CI Pipeline / unit-tests (push) Canceled after 10m31s
deploy / deploy (push) Canceled after 10m35s
46 lines
2.1 KiB
Python
46 lines
2.1 KiB
Python
#!/usr/bin/env python3
|
|
"""Close the #2479 dichotomy-wave construction contract for
|
|
context_broker (gap-close wave, factory-gap-ctxbroker) with SHA evidence."""
|
|
import json
|
|
import sys
|
|
from pathlib import Path
|
|
|
|
sys.path.insert(0, str(Path(__file__).resolve().parents[1] / "src"))
|
|
|
|
from rune.construction_interface import ConstructionInterface
|
|
|
|
cid = sys.argv[1]
|
|
iface = ConstructionInterface(builder="factory-gap-ctxbroker")
|
|
|
|
c = iface.close(cid, observed_evidence=[{
|
|
"kind": "port_evidence",
|
|
"detail": "context_broker dichotomy gap-close — parity bf26ec65 "
|
|
"feat(context_broker): close PARTIAL gaps — dichotomy wave; "
|
|
"Phase B b98b7f3d refactor(context_broker): Phase B "
|
|
"language-advantage pass — dichotomy wave (both rebased onto "
|
|
"gitea/master, pushed). Battery 2 tests replay the 76-case "
|
|
"frozen oracle truth VERBATIM (every new fn, every branch, "
|
|
"RUNE_COGNITION_CORE=python pinned, deep-copied inputs, "
|
|
"embedded in truth.json); live parity 76/76 frozen + 803/803 "
|
|
"fuzz seeds (incl. admit/render kernels); pytest 23 passed "
|
|
"(test_context_broker + test_context_budgets, delegation live "
|
|
"AND oracle pinned); gofmt + vet clean; -race clean. Audit "
|
|
"6/28 -> 28/28. Divergences caught pre-landing: json.dumps "
|
|
"separator spacing in _through_id (needs pyDumpsSorted), "
|
|
"Python-int-vs-Go-float integral rendering, archive-path label "
|
|
"non-portability (relative fixture path), DiscoverWindow "
|
|
"global-swap race (per-call capture).",
|
|
}], scope_files=[
|
|
"src/go/context-broker/main.go",
|
|
"src/go/context-broker/broker.go",
|
|
"src/go/context-broker/truth_test.go",
|
|
"src/go/context-broker/phaseb.go",
|
|
"src/go/context-broker/phaseb_test.go",
|
|
"src/go/context-broker/truth.json",
|
|
"scripts/gen_context_broker_truth.py",
|
|
"scripts/check_context_broker_parity.py",
|
|
"scripts/close_contract_context_broker.py",
|
|
])
|
|
print("close:", json.dumps(c)[:300])
|
|
print("CONTRACT", cid, "closed" if c.get("success") else "CLOSE_FAILED")
|