chore(store): close self_improve dichotomy contract BUILDER-2026-10-14T13:37:52Z-949c40-factory-gap-si (parity bd5c46f9, phase B eef472cd)
This commit is contained in:
Nick committed
1 parent
eef472cdca
commit
e481184fff
4 files changed
+6033
No files matched your search
@@ -0,0 +1,80 @@
|
||||
#!/usr/bin/env python3
|
||||
"""Walk + close the #2479 dichotomy-wave contract for self_improve on the
|
||||
FRESH master store (one process, per the shared-store clobber pattern)."""
|
||||
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
|
||||
|
||||
PARITY_SHA = sys.argv[1] if len(sys.argv) > 1 else ""
|
||||
PHASEB_SHA = sys.argv[2] if len(sys.argv) > 2 else ""
|
||||
if not (PARITY_SHA and PHASEB_SHA):
|
||||
sys.exit("usage: walk_close_contract_self_improve.py <parity_sha> <phaseb_sha>")
|
||||
|
||||
iface = ConstructionInterface(builder="factory-gap-si")
|
||||
|
||||
r = iface.submit_need(
|
||||
"Close the PARTIAL gaps in src/rust/self_improve against the "
|
||||
"src/rune/self_improve.py oracle (dichotomy wave, issue #2479 tranche): "
|
||||
"the four audit-named missing functions (suggest_improvements with the "
|
||||
"elif-chain severity markers and KeyError raise-parity; handle_hook "
|
||||
"passthrough record; main as the CLI rendering seam — analyze text "
|
||||
"columns/:7/:15 or indent-2 json, suggest, hook — exact stdout/stderr "
|
||||
"byte streams; _now as the pinned-clock isoformat kernel taking epoch "
|
||||
"microseconds as an argument, micros crossing FFI as a STRING for the "
|
||||
"2^53 precision law), with the facade probe builder (_probe) owning all "
|
||||
"five file/DB seams kernel-pure, frozen-truth battery generated against "
|
||||
"the live oracle through the module harness (RUNE_SI_CORE=python "
|
||||
"poisoned-truth pin, path-free failure messages, no-wall-clock), Rust "
|
||||
"battery green with the 61-row truth embedded via include_str!, live "
|
||||
"parity 61/61 rows (frozen facade both-pins + kernel direct), cargo "
|
||||
"clippy -D warnings + fmt clean, Python tests green under both pins, "
|
||||
"Phase B language-advantage pass (typed Seam/Severity enums, "
|
||||
"battery-guarded behavior identity).",
|
||||
origin="builder",
|
||||
)
|
||||
print("submit_need:", json.dumps(r)[:200])
|
||||
if not r.get("success"):
|
||||
sys.exit(1)
|
||||
cid = r["ids"]["contract_id"]
|
||||
print("contract_id:", cid)
|
||||
|
||||
for phase in ("approved", "building", "verifying"):
|
||||
t = iface.transition(cid, phase)
|
||||
if not t.get("success"):
|
||||
print(f"transition->{phase} FAILED:", json.dumps(t)[:300])
|
||||
sys.exit(1)
|
||||
print(f"transition->{phase}: ok")
|
||||
print("walked to verifying")
|
||||
|
||||
c = iface.close(cid, observed_evidence=[{
|
||||
"kind": "port_evidence",
|
||||
"detail": (
|
||||
f"self_improve RUST dichotomy gap-close — parity commit {PARITY_SHA}, "
|
||||
f"Phase B commit {PHASEB_SHA}; dichotomy audit 1/5 PARTIAL -> 7/8 "
|
||||
f"FULL RUST (missing list emptied of port surface; unmatched _si_core "
|
||||
f"is the kernel-resolution loader probe, facade-only glue by law, "
|
||||
f"same category as self_modify's landed _smod_core); 61-row frozen "
|
||||
f"gap truth (scripts/gen_self_improve_truth.py, RUNE_SI_CORE=python "
|
||||
f"poisoned-truth pin — byte-identical across regeneration modulo the "
|
||||
f"wall-clock stamp), Rust battery 8/8 with the gap truth embedded "
|
||||
f"via include_str!, live parity failures=0 (61 rows: facade "
|
||||
f"python-pin body + delegation + kernel-direct), cargo clippy "
|
||||
f"--all-targets -D warnings 0, fmt clean, Python tests both pins "
|
||||
f"(8 passed tests/test_self_improve_port.py; collateral 32 passed "
|
||||
f"12 pre-existing skips)."
|
||||
),
|
||||
}], scope_files=[
|
||||
"src/rune/self_improve.py",
|
||||
"src/rune/si_loader.py",
|
||||
"src/rust/self_improve/src/lib.rs",
|
||||
"src/rust/self_improve/src/branch_battery.rs",
|
||||
"src/rust/self_improve/src/frozen_si_truth.json",
|
||||
"scripts/gen_self_improve_truth.py",
|
||||
"tests/test_self_improve_port.py",
|
||||
])
|
||||
print("close:", json.dumps(c)[:300])
|
||||
print("CONTRACT", cid, "closed" if c.get("success") else "CLOSE_FAILED")
|
||||
@@ -0,0 +1,24 @@
|
||||
# Contract BUILDER-2026-10-14T13:37:52Z-949c40-factory-gap-si
|
||||
|
||||
**Phase:** closed · **Mode:** n/a · **Depth:** n/a
|
||||
|
||||
## What was built
|
||||
|
||||
Close the PARTIAL gaps in src/rust/self_improve against the src/rune/self_improve.py oracle (dichotomy wave, issue #2479 tranche): the four audit-named missing functions (suggest_improvements with the elif-chain severity markers and KeyError raise-parity; handle_hook passthrough record; main as the CLI rendering seam — analyze text columns/:7/:15 or indent-2 json, suggest, hook — exact stdout/stderr byte streams; _now as the pinned-clock isoformat kernel taking epoch microseconds as an argument, micros crossing FFI as a STRING for the 2^53 precision law), with the facade probe builder (_probe) owning all five file/DB seams kernel-pure, frozen-truth battery generated against the live oracle through the module harness (RUNE_SI_CORE=python poisoned-truth pin, path-free failure messages, no-wall-clock), Rust battery green with the 61-row truth embedded via include_str!, live parity 61/61 rows (frozen facade both-pins + kernel direct), cargo clippy -D warnings + fmt clean, Python tests green under both pins, Phase B language-advantage pass (typed Seam/Severity enums, battery-guarded behavior identity).
|
||||
|
||||
## What it connects to
|
||||
|
||||
(no affected surface recorded)
|
||||
|
||||
## How to update those connections
|
||||
|
||||
- Open a NEW construction contract (scaffolding is absolute) scoped to the same surface.
|
||||
- Evidence trail: 4 checkpoint(s) recorded on the contract entity.
|
||||
- Quality at close: {"candidate_corrections": [], "captured_at": "2026-10-14T13:39:25Z", "contract": "BUILDER-2026-10-14T13:37:52Z-949c40-factory-gap-si", "correctly_predicted": [], "evidence_sources": ["unattributed"], "expected_new_entities": [], "expected_new_missing": [], "expected_new_observed": [], "expected_runtime_effects": [], "expected_runtime_missing": [], "expected_runtime_observed": [], "genuinely_unexpected_new": [], "missed": [], "needless": ["module:deploy_qualify"], "observed": [], "observed_existing": [], "observed_new": [], "predicted_but_unaffected": ["module:deploy_qualify"], "predicted_existing_affected": ["module:deploy_qualify"], "scope_check": {"in_scope": [], "out_of_scope": ["scripts/gen_self_improve_truth.py", "src/rune/self_improve.py", "src/rune/si_loader.py", "src/rust/self_improve/src/branch_battery.rs", "src/rust/self_improve/src/frozen_si_truth.json", "src/rust/self_improve/src/lib.rs", "tests/test_self_improve_port.py"], "reason": "contract has no approved scope", "verdict": "unknown"}}.
|
||||
|
||||
## Evidence
|
||||
|
||||
- builder:factory-gap-si
|
||||
- builder:factory-gap-si
|
||||
- builder:factory-gap-si
|
||||
- closure-record
|
||||
+5924
File diff suppressed because it is too large.
Load diff
@@ -6608,3 +6608,8 @@
|
||||
{"builder": "factory-gap-te", "detail": "BUILDER-2026-10-14T10:25:17Z-940a71-factory-gap-te \u2192 building", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-14T10:26:08Z", "operation": "transition"}
|
||||
{"builder": "factory-gap-te", "detail": "BUILDER-2026-10-14T10:25:17Z-940a71-factory-gap-te \u2192 verifying", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-14T10:26:33Z", "operation": "transition"}
|
||||
{"builder": "factory-gap-te", "detail": "BUILDER-2026-10-14T10:25:17Z-940a71-factory-gap-te closed", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-14T10:26:58Z", "operation": "close"}
|
||||
{"builder": "factory-gap-si", "detail": "need-2026-10-14T13:37:50Z-factory-gap-si \u2192 REUSE", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-14T13:37:52Z", "operation": "submit_need"}
|
||||
{"builder": "factory-gap-si", "detail": "BUILDER-2026-10-14T13:37:52Z-949c40-factory-gap-si \u2192 approved", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-14T13:38:15Z", "operation": "transition"}
|
||||
{"builder": "factory-gap-si", "detail": "BUILDER-2026-10-14T13:37:52Z-949c40-factory-gap-si \u2192 building", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-14T13:38:38Z", "operation": "transition"}
|
||||
{"builder": "factory-gap-si", "detail": "BUILDER-2026-10-14T13:37:52Z-949c40-factory-gap-si \u2192 verifying", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-14T13:39:02Z", "operation": "transition"}
|
||||
{"builder": "factory-gap-si", "detail": "BUILDER-2026-10-14T13:37:52Z-949c40-factory-gap-si closed", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-14T13:39:25Z", "operation": "close"}
|
||||
Reference in new issue
Block a user