Compare commits
1
Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
cd51159660 |
No files matched your search
@@ -0,0 +1,74 @@
|
||||
#!/usr/bin/env python3
|
||||
"""Walk + close the #2479 dichotomy-wave contract for memory_selector 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_memory_selector.py <parity_sha> <phaseb_sha>")
|
||||
|
||||
iface = ConstructionInterface(builder="factory-gap-ms")
|
||||
|
||||
r = iface.submit_need(
|
||||
"Close the PARTIAL gaps in src/rust/memory_selector against the "
|
||||
"src/rune/memory_selector.py oracle (dichotomy wave, issue #2479 "
|
||||
"tranche): the three audit-named functions (add_source registry "
|
||||
"kernel — position-preserving replace; _source_store persona-lane "
|
||||
"gate through mse_persona_wanted + merge through mse_store_project; "
|
||||
"_mse_core probe contract frozen under the RUNE_MSE_CORE=python pin), "
|
||||
"frozen-truth battery generated against the live oracle through the "
|
||||
"ms_freeze_seams rig (FTS-seeded hermetic store, byte-identical "
|
||||
"--verify), Rust battery + clippy -D warnings clean, live parity "
|
||||
"536/536 (frozen FFI rows, fuzz registry ops, dual-mode facade), "
|
||||
"Python oracle tests green under both pins, Phase B language-advantage "
|
||||
"pass.",
|
||||
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"memory_selector RUST dichotomy gap-close — parity commit {PARITY_SHA}, "
|
||||
f"Phase B commit {PHASEB_SHA}; dichotomy audit fn coverage 11/14 PARTIAL "
|
||||
"-> 14/14 FULL (missing list emptied); 10-row frozen gap truth "
|
||||
"(scripts/gen_memory_selector_truth.py under scripts/ms_freeze_seams — "
|
||||
"byte-identical across generation and --verify runs), Rust battery 9/9 "
|
||||
"with the gap truth embedded via include_str!, live parity 536/536 "
|
||||
"(frozen FFI replay + 522 fuzz registry ops vs the oracle dict + "
|
||||
"dual-mode facade on RUNE_MSE_CORE=python vs live core), cargo clippy "
|
||||
"--all-targets -D warnings 0, Python tests both pins (test_p1_03 66 "
|
||||
"passed + 2 pre-existing worktree-only cached_recall failures verified "
|
||||
"identical on the stashed base; test_context_broker 18/18 both pins)."
|
||||
),
|
||||
}], scope_files=[
|
||||
"src/rune/memory_selector.py",
|
||||
"src/rune/mse_loader.py",
|
||||
"src/rust/memory_selector/src/lib.rs",
|
||||
"src/rust/memory_selector/src/branch_battery.rs",
|
||||
"src/rust/memory_selector/frozen_truth.json",
|
||||
"scripts/gen_memory_selector_truth.py",
|
||||
"scripts/ms_freeze_seams/sitecustomize.py",
|
||||
"scripts/check_memory_selector_parity.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-13T17:33:39Z-236e93-factory-gap-ms
|
||||
|
||||
**Phase:** closed · **Mode:** n/a · **Depth:** n/a
|
||||
|
||||
## What was built
|
||||
|
||||
Close the PARTIAL gaps in src/rust/memory_selector against the src/rune/memory_selector.py oracle (dichotomy wave, issue #2479 tranche): the three audit-named functions (add_source registry kernel — position-preserving replace; _source_store persona-lane gate through mse_persona_wanted + merge through mse_store_project; _mse_core probe contract frozen under the RUNE_MSE_CORE=python pin), frozen-truth battery generated against the live oracle through the ms_freeze_seams rig (FTS-seeded hermetic store, byte-identical --verify), Rust battery + clippy -D warnings clean, live parity 536/536 (frozen FFI rows, fuzz registry ops, dual-mode facade), Python oracle tests green under both pins, Phase B language-advantage pass.
|
||||
|
||||
## 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-13T17:35:03Z", "contract": "BUILDER-2026-10-13T17:33:39Z-236e93-factory-gap-ms", "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/check_memory_selector_parity.py", "scripts/gen_memory_selector_truth.py", "scripts/ms_freeze_seams/sitecustomize.py", "src/rune/memory_selector.py", "src/rune/mse_loader.py", "src/rust/memory_selector/frozen_truth.json", "src/rust/memory_selector/src/branch_battery.rs", "src/rust/memory_selector/src/lib.rs"], "reason": "contract has no approved scope", "verdict": "unknown"}}.
|
||||
|
||||
## Evidence
|
||||
|
||||
- builder:factory-gap-ms
|
||||
- builder:factory-gap-ms
|
||||
- builder:factory-gap-ms
|
||||
- closure-record
|
||||
+5925
File diff suppressed because it is too large.
Load diff
@@ -3917,3 +3917,8 @@
|
||||
{"builder": "factory-gap-ec", "detail": "BUILDER-2026-10-13T17:23:31Z-6d39fd-factory-gap-ec closed", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-13T17:24:49Z", "operation": "close"}
|
||||
{"builder": "factory-gap-cp", "detail": "BUILDER-2026-10-13T13:18:48Z-5b5364-factory-gap-cp \u2192 verifying", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-13T17:00:32Z", "operation": "transition"}
|
||||
{"builder": "factory-gap-cp", "detail": "BUILDER-2026-10-13T13:18:48Z-5b5364-factory-gap-cp closed", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-13T17:00:50Z", "operation": "close"}
|
||||
{"builder": "factory-gap-ms", "detail": "need-2026-10-13T17:33:38Z-factory-gap-ms \u2192 REUSE", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-13T17:33:39Z", "operation": "submit_need"}
|
||||
{"builder": "factory-gap-ms", "detail": "BUILDER-2026-10-13T17:33:39Z-236e93-factory-gap-ms \u2192 approved", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-13T17:34:02Z", "operation": "transition"}
|
||||
{"builder": "factory-gap-ms", "detail": "BUILDER-2026-10-13T17:33:39Z-236e93-factory-gap-ms \u2192 building", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-13T17:34:21Z", "operation": "transition"}
|
||||
{"builder": "factory-gap-ms", "detail": "BUILDER-2026-10-13T17:33:39Z-236e93-factory-gap-ms \u2192 verifying", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-13T17:34:41Z", "operation": "transition"}
|
||||
{"builder": "factory-gap-ms", "detail": "BUILDER-2026-10-13T17:33:39Z-236e93-factory-gap-ms closed", "kind": "builder_session", "mode": "rune_internal", "observed_at": "2026-10-13T17:35:03Z", "operation": "close"}
|
||||
Reference in new issue
Block a user