Compare commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
5d20dc7f51 | ||
|
|
9e903dacaf | ||
|
|
ed1b41abd5 | ||
|
|
ff1b950f11 | ||
|
|
3afc9ff872 | ||
|
|
28e9c8c1c1 | ||
|
|
8249854881 | ||
|
|
4aeef171d2 | ||
|
|
2ccac89ec4 | ||
|
|
232986f0c3 | ||
|
|
725c779ac7 | ||
|
|
edd6d06300 | ||
|
|
98cb3a98a5 | ||
|
|
7881e78e7f | ||
|
|
57a689d22f | ||
|
|
45869a77cd | ||
|
|
224fbfa4e9 | ||
|
|
417e824a51 | ||
|
|
ca2807e9b5 |
No files matched your search
@@ -1,6 +1,6 @@
|
||||
# Rune
|
||||
|
||||
**Current release: v0.78.0**
|
||||
**Current release: v0.81.4**
|
||||
|
||||
**Rune is a persistent personal agent designed to accumulate experience, develop reusable competence, and remain recognisably the same agent even when its underlying foundation model changes.**
|
||||
|
||||
|
||||
@@ -21,6 +21,8 @@ import type { Hooks } from "@mimo-ai/plugin"
|
||||
// user-authored scripts (only interactive tool calls pass here).
|
||||
|
||||
const LONG_SLEEP = /\bsleep\s+(\d{2,4})\b/
|
||||
const TIME_SLEEP = /time\.sleep\((\d{2,4})\)/
|
||||
const SLEEP_CALL = /sleep\((\d{2,4})\)/
|
||||
const STATUS_POLL = new RegExp(
|
||||
[
|
||||
"actions/runs",
|
||||
@@ -53,7 +55,7 @@ export const EventWaitGuard: Hooks = {
|
||||
const segs = suspiciousSegments(cmd)
|
||||
for (let i = 0; i < segs.length; i++) {
|
||||
const seg = segs[i]!
|
||||
const m = LONG_SLEEP.exec(seg)
|
||||
const m = LONG_SLEEP.exec(seg) || TIME_SLEEP.exec(seg) || SLEEP_CALL.exec(seg)
|
||||
if (!m) continue
|
||||
const secs = parseInt(m[1]!, 10)
|
||||
if (secs < THRESHOLD_SECS) continue
|
||||
|
||||
@@ -0,0 +1,54 @@
|
||||
import { tool } from "@mimo-ai/plugin"
|
||||
import { execSync } from "child_process"
|
||||
|
||||
// await_operation — T21.3 §21.3C: FIRST-CLASS async wait tool.
|
||||
// Uses the plugin tool() API with args (not parameters).
|
||||
|
||||
export const AwaitOperation = tool({
|
||||
description: [
|
||||
"Wait for an asynchronous external operation (CI, deploy, release) to complete.",
|
||||
"Registers on the event bridge, yields until the completion event arrives, then returns the verified result.",
|
||||
"USE THIS instead of `sleep N; curl status` — it is the canonical event-driven wait.",
|
||||
].join(" "),
|
||||
args: {
|
||||
sha: tool.schema.string().describe(
|
||||
"The exact commit SHA the operation is running against"),
|
||||
deadline_secs: tool.schema.number().optional().describe(
|
||||
"Maximum wait in seconds (default 900)"),
|
||||
},
|
||||
async execute(args, ctx) {
|
||||
const repoRoot = "/mnt/workdrive/issue161-harness"
|
||||
const deadline = args.deadline_secs || 900
|
||||
const cmd = [
|
||||
"python3", `${repoRoot}/scripts/ci_event_wait.py`,
|
||||
"--sha", args.sha,
|
||||
"--deadline", String(deadline),
|
||||
].join(" ")
|
||||
try {
|
||||
const result = execSync(cmd, {
|
||||
cwd: repoRoot,
|
||||
timeout: (deadline + 60) * 1000,
|
||||
encoding: "utf-8" as const,
|
||||
env: {
|
||||
...process.env,
|
||||
DEPLOY_SHA: args.sha,
|
||||
RUNE_WR_ROOT: "/mnt/workdrive/wr-bridge",
|
||||
RUNE_WR_CODE: "/home/nick/.local/share/mimo-wait-resume",
|
||||
},
|
||||
})
|
||||
const lines = result.trim().split("\n")
|
||||
const jsonLine = lines.find((l: string) => l.startsWith("{"))
|
||||
if (jsonLine) return jsonLine
|
||||
return "await_operation: no JSON output"
|
||||
} catch (e: any) {
|
||||
const stdout = e.stdout || ""
|
||||
const lines = stdout.trim().split("\n")
|
||||
const jsonLine = lines.find((l: string) => l.startsWith("{"))
|
||||
if (jsonLine) return jsonLine
|
||||
return JSON.stringify({
|
||||
ok: false,
|
||||
error: `await_operation failed: ${(e.stderr || e.message || "?").slice(0, 200)}`,
|
||||
})
|
||||
}
|
||||
},
|
||||
})
|
||||
@@ -1,7 +1,7 @@
|
||||
{
|
||||
"_comment": "GENERATED by rune.spine \u2014 compatibility view for legacy umbrella consumers. DO NOT EDIT: structural truth lives in store/spine/current.json; edits here are flagged by spine drift.",
|
||||
"_generated_by_spine": true,
|
||||
"generated_at": "2026-09-16T17:19:11Z",
|
||||
"generated_at": "2026-09-16T18:23:38Z",
|
||||
"umbrellas": {
|
||||
"capability": {
|
||||
"description": "Tool selection and execution authority",
|
||||
@@ -256,6 +256,7 @@
|
||||
"toolchain",
|
||||
"tui_backlog",
|
||||
"wait_guard",
|
||||
"wait_guard_corpus",
|
||||
"witness"
|
||||
],
|
||||
"depends_on": [
|
||||
|
||||
+1
-1
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
|
||||
|
||||
[project]
|
||||
name = "rune"
|
||||
version = "0.78.0"
|
||||
version = "0.81.4"
|
||||
description = "Rune — a stateful coding assistant with persistent memory, orchestration, and TUI"
|
||||
requires-python = ">=3.10"
|
||||
|
||||
|
||||
+1
-1
@@ -64,7 +64,7 @@ nodeenv==1.10.0
|
||||
# via pyright
|
||||
packaging==26.3
|
||||
# via pytest
|
||||
platformdirs==4.11.8
|
||||
platformdirs==4.11.9
|
||||
# via textual
|
||||
pluggy==1.6.0
|
||||
# via
|
||||
|
||||
@@ -63,6 +63,12 @@ def authority_verdict() -> str:
|
||||
capture_output=True, text=True, timeout=120,
|
||||
env=dict(os.environ, PYTHONPATH=""),
|
||||
)
|
||||
# T21.3: GITEA_TOKEN from deploy.yml secrets must propagate to the
|
||||
# subprocess — gitea_auth reads it from env, but the env may not
|
||||
# carry it through the bash wrapper in CI
|
||||
if not os.environ.get("GITEA_TOKEN"):
|
||||
# fallback: gitea_auth's own credential ladder handles it
|
||||
pass
|
||||
out = (proc.stdout or "").strip().splitlines()
|
||||
return (out[-1] if out else "pending").strip()
|
||||
|
||||
|
||||
@@ -352,16 +352,6 @@ def pre_commit_gate_entry(entry: dict) -> dict:
|
||||
"critics": critics,
|
||||
"reason": "all critics passed" if all_pass else "one or more critics failed"
|
||||
}
|
||||
row = db.execute(
|
||||
"SELECT id, text, importance, wash_count, rock_status, topic FROM entries WHERE id = ?",
|
||||
(entry_id,)
|
||||
).fetchone()
|
||||
|
||||
if not row:
|
||||
return {"verdict": "REJECT", "reason": "entry not found"}
|
||||
|
||||
entry = dict(row)
|
||||
critics = {}
|
||||
|
||||
# Critic 1: Structural validity
|
||||
text = entry.get("text", "")
|
||||
@@ -384,35 +374,6 @@ def pre_commit_gate_entry(entry: dict) -> dict:
|
||||
}
|
||||
|
||||
# Critic 3: Semantic consistency (check for contradictions with existing rocks)
|
||||
rocks = db.execute(
|
||||
"SELECT text FROM entries WHERE rock_status = 'rock' AND status = 'active' LIMIT 50"
|
||||
).fetchall()
|
||||
contradiction_found = False
|
||||
for rock in rocks:
|
||||
rock_text = rock[0].lower()
|
||||
entry_text = text.lower()
|
||||
# Simple contradiction detection: if entry says opposite of a rock
|
||||
if ("always" in rock_text and "never" in entry_text) or \
|
||||
("never" in rock_text and "always" in entry_text):
|
||||
contradiction_found = True
|
||||
break
|
||||
critics["semantic"] = {
|
||||
"pass": not contradiction_found,
|
||||
"reason": "contradicts existing rock" if contradiction_found else "consistent"
|
||||
}
|
||||
|
||||
# Overall verdict
|
||||
all_pass = all(c["pass"] for c in critics.values())
|
||||
verdict = "PASS" if all_pass else "REJECT"
|
||||
|
||||
return {
|
||||
"verdict": verdict,
|
||||
"entry_id": entry_id,
|
||||
"critics": critics,
|
||||
"reason": "all critics passed" if all_pass else "one or more critics failed"
|
||||
}
|
||||
|
||||
|
||||
# ═══════════════════════════════════════════════════════════════════════════════
|
||||
# CLI
|
||||
# ═══════════════════════════════════════════════════════════════════════════════
|
||||
|
||||
@@ -6,7 +6,7 @@ This is the main entry point for the Rune program.
|
||||
import json
|
||||
from pathlib import Path
|
||||
|
||||
__version__ = "0.78.0"
|
||||
__version__ = "0.81.4"
|
||||
|
||||
# One build identity (handoff 2026-09-10 §4): the semantic version above is
|
||||
# the repo-level truth (auto-bumped at merge); the DEPLOYED revision (exact
|
||||
|
||||
@@ -231,7 +231,7 @@ def main() -> int:
|
||||
)
|
||||
check(
|
||||
"Rune minor version advertises provisioning and restore verification",
|
||||
'__version__ = "0.78.0"' in rune_version,
|
||||
'__version__ = "0.81.4"' in rune_version,
|
||||
failures,
|
||||
)
|
||||
# #169 policy update: auto-bump on merge is sanctioned (Nick directive:
|
||||
|
||||
@@ -187,6 +187,9 @@ class DriftCache:
|
||||
# ═══════════════════════════════════════════════════════════════════════════════
|
||||
|
||||
|
||||
import os
|
||||
|
||||
SCRIPTS_DIR = os.environ.get("RUNE_SCRIPTS_DIR", os.path.join(os.path.dirname(__file__), "scripts"))
|
||||
def main():
|
||||
import argparse
|
||||
|
||||
|
||||
@@ -350,63 +350,6 @@ def pre_commit_gate_entry(entry: dict) -> dict:
|
||||
"critics": critics,
|
||||
"reason": "all critics passed" if all_pass else "one or more critics failed",
|
||||
}
|
||||
row = db.execute(
|
||||
"SELECT id, text, importance, wash_count, rock_status, topic FROM entries WHERE id = ?", (entry_id,)
|
||||
).fetchone()
|
||||
|
||||
if not row:
|
||||
return {"verdict": "REJECT", "reason": "entry not found"}
|
||||
|
||||
entry = dict(row)
|
||||
critics = {}
|
||||
|
||||
# Critic 1: Structural validity
|
||||
text = entry.get("text", "")
|
||||
if len(text) < 5:
|
||||
critics["structural"] = {"pass": False, "reason": "text too short"}
|
||||
elif len(text) > 2000:
|
||||
critics["structural"] = {"pass": False, "reason": "text too long"}
|
||||
elif not text.strip():
|
||||
critics["structural"] = {"pass": False, "reason": "empty text"}
|
||||
else:
|
||||
critics["structural"] = {"pass": True, "reason": "well-formed"}
|
||||
|
||||
# Critic 2: Behavioral harmlessness (check against immutable core)
|
||||
# The immutable core: user authority, no safety theater, no fights
|
||||
harmful_patterns = ["refuse to", "cannot comply", "safety violation", "I'm sorry, but I can't"]
|
||||
is_harmful = any(p in text.lower() for p in harmful_patterns)
|
||||
critics["behavioral"] = {
|
||||
"pass": not is_harmful,
|
||||
"reason": "contains refusal language" if is_harmful else "aligned with core",
|
||||
}
|
||||
|
||||
# Critic 3: Semantic consistency (check for contradictions with existing rocks)
|
||||
rocks = db.execute("SELECT text FROM entries WHERE rock_status = 'rock' AND status = 'active' LIMIT 50").fetchall()
|
||||
contradiction_found = False
|
||||
for rock in rocks:
|
||||
rock_text = rock[0].lower()
|
||||
entry_text = text.lower()
|
||||
# Simple contradiction detection: if entry says opposite of a rock
|
||||
if ("always" in rock_text and "never" in entry_text) or ("never" in rock_text and "always" in entry_text):
|
||||
contradiction_found = True
|
||||
break
|
||||
critics["semantic"] = {
|
||||
"pass": not contradiction_found,
|
||||
"reason": "contradicts existing rock" if contradiction_found else "consistent",
|
||||
}
|
||||
|
||||
# Overall verdict
|
||||
all_pass = all(c["pass"] for c in critics.values())
|
||||
verdict = "PASS" if all_pass else "REJECT"
|
||||
|
||||
return {
|
||||
"verdict": verdict,
|
||||
"entry_id": entry_id,
|
||||
"critics": critics,
|
||||
"reason": "all critics passed" if all_pass else "one or more critics failed",
|
||||
}
|
||||
|
||||
|
||||
# ═══════════════════════════════════════════════════════════════════════════════
|
||||
# CLI
|
||||
# ═══════════════════════════════════════════════════════════════════════════════
|
||||
|
||||
@@ -9,6 +9,12 @@ Usage:
|
||||
rune_graphic.py test # Display animation in terminal
|
||||
"""
|
||||
|
||||
from __future__ import annotations
|
||||
from typing import TYPE_CHECKING
|
||||
|
||||
if TYPE_CHECKING:
|
||||
from PIL import Image
|
||||
|
||||
import math
|
||||
import os
|
||||
import sys
|
||||
@@ -23,7 +29,7 @@ BG_COLOR = (30, 30, 40) # Dark background
|
||||
|
||||
def generate_diamond_frame(angle: float, size: int = FRAME_SIZE) -> "Image.Image":
|
||||
"""Generate a single frame of a spinning diamond at the given angle."""
|
||||
from PIL import Image, ImageDraw
|
||||
from PIL import ImageDraw # Image used only in type annotations
|
||||
|
||||
img = Image.new("RGBA", (size, size), BG_COLOR + (255,))
|
||||
draw = ImageDraw.Draw(img)
|
||||
|
||||
@@ -8,7 +8,7 @@ mode system, subject header, shared memory and identity.
|
||||
|
||||
This is not an interface. This is how I see, speak, and interact with the world.
|
||||
|
||||
Version: v0.78.0
|
||||
Version: v0.81.4
|
||||
Features: 41 (24 original + 17 new native commands)
|
||||
|
||||
Usage:
|
||||
@@ -1885,7 +1885,7 @@ class RuneApp(App):
|
||||
# Show version info
|
||||
self.chat_channel.add_message(
|
||||
"system",
|
||||
f"[dim]Rune v0.78.0 | Textual TUI | {len(loaded)} native modules[/dim]",
|
||||
f"[dim]Rune v0.81.4 | Textual TUI | {len(loaded)} native modules[/dim]",
|
||||
)
|
||||
|
||||
# Auto-show night mode suggestion if evening/night hours
|
||||
|
||||
+11
-2
@@ -26,6 +26,8 @@ import re
|
||||
LONG_SLEEP_RE = re.compile(r"\bsleep\s+(\d{2,4})\b")
|
||||
# T21.2 §21.2C-2: normal model-generated wait spellings beyond bare sleep
|
||||
TIME_SLEEP_RE = re.compile(r"time\.sleep\((\d{2,4})\)")
|
||||
FROM_TIME_SLEEP_RE = re.compile(r"from\s+time\s+import.*sleep")
|
||||
SLEEP_CALL_RE = re.compile(r"sleep\((\d{2,4})\)")
|
||||
POLL_LOOP_RE = re.compile(
|
||||
r"(while|until)\s+.*(status|success|failure|state|conclusion)",
|
||||
re.IGNORECASE,
|
||||
@@ -74,7 +76,8 @@ def classify_wait(command: str) -> dict:
|
||||
}
|
||||
for i, segment in enumerate(segments):
|
||||
# T21.2: bare sleep, time.sleep, and polling-loop patterns
|
||||
m = LONG_SLEEP_RE.search(segment) or TIME_SLEEP_RE.search(segment)
|
||||
m = (LONG_SLEEP_RE.search(segment) or TIME_SLEEP_RE.search(segment)
|
||||
or SLEEP_CALL_RE.search(segment))
|
||||
if not m:
|
||||
# polling loop shape (while/until + status) → UNJUSTIFIED
|
||||
if POLL_LOOP_RE.search(segment) and STATUS_POLL_RE.search(
|
||||
@@ -96,8 +99,14 @@ def classify_wait(command: str) -> dict:
|
||||
# command is downstream of it.
|
||||
lookahead = " ".join(segments[i:])
|
||||
if STATUS_POLL_RE.search(lookahead):
|
||||
# programmatic waits (time.sleep/from-time import) → WAIT_POLL;
|
||||
# shell sleeps → SLEEP (both are defects, different spellings)
|
||||
wait_class = ("UNJUSTIFIED_WAIT_POLL"
|
||||
if (TIME_SLEEP_RE.search(lookahead)
|
||||
or SLEEP_CALL_RE.search(lookahead))
|
||||
else "UNJUSTIFIED_SLEEP")
|
||||
return {
|
||||
"classification": "UNJUSTIFIED_SLEEP",
|
||||
"classification": wait_class,
|
||||
"evidence": f"sleep {secs}s then status poll: "
|
||||
f"{' / '.join(segments[i:i + 2])[:140]}",
|
||||
"redirect": "scripts/ci_event_wait.py --sha <sha>",
|
||||
|
||||
@@ -0,0 +1,46 @@
|
||||
"""wait_guard_corpus.py — T21.3 §21.3C: the CANONICAL wait-guard test
|
||||
corpus shared by both Python and TypeScript implementations.
|
||||
|
||||
Each case: {id, command, expected_class}. Both the Python
|
||||
wait_guard.classify_wait() and the TypeScript hook MUST agree on every
|
||||
case. A change to either implementation that breaks parity fails this
|
||||
suite.
|
||||
"""
|
||||
from __future__ import annotations
|
||||
|
||||
# Canonical corpus — both implementations must agree on every case.
|
||||
CORPUS: list[dict] = [
|
||||
# BLOCKED cases
|
||||
{"id": "sleep_480_ci", "command": "sleep 480\ncurl -s $API/actions/runs",
|
||||
"expected": "UNJUSTIFIED_SLEEP"},
|
||||
{"id": "sleep_480_bash_c", "command": "bash -c 'sleep 480; curl -s $API/actions/runs'",
|
||||
"expected": "UNJUSTIFIED_SLEEP"},
|
||||
{"id": "time_sleep_480", "command": "python3 -c 'import time; time.sleep(480)'; curl -s $API/commits/abc/status",
|
||||
"expected": "UNJUSTIFIED_WAIT_POLL"},
|
||||
{"id": "time_sleep_heredoc", "command": "python3 - <<'PY'\nimport time\ntime.sleep(480)\nPY\ncurl -s $API/commits/abc/status",
|
||||
"expected": "UNJUSTIFIED_WAIT_POLL"},
|
||||
{"id": "from_time_import_sleep", "command": "python3 -c 'from time import sleep; sleep(480)'; curl -s $API/commits/abc/status",
|
||||
"expected": "UNJUSTIFIED_WAIT_POLL"},
|
||||
{"id": "polling_while", "command": "while true; do STATUS=$(curl -s $API/commits/abc/status); if [ $STATUS = success ]; then break; fi; sleep 60; done",
|
||||
"expected": "UNJUSTIFIED_WAIT_POLL"},
|
||||
{"id": "polling_until", "command": "until [ $(curl -s $API/commits/abc/status) = success ]; do sleep 30; done",
|
||||
"expected": "UNJUSTIFIED_WAIT_POLL"},
|
||||
{"id": "repeated_delay_status", "command": "sleep 120; curl -s $API/actions/runs; sleep 120; curl -s $API/actions/runs",
|
||||
"expected": "UNJUSTIFIED_SLEEP"},
|
||||
{"id": "deploy_probe", "command": "sleep 300 && git fetch && readlink /mnt/workdrive/rune-code/current",
|
||||
"expected": "UNJUSTIFIED_SLEEP"},
|
||||
{"id": "release_probe", "command": "sleep 600; curl -s https://gitea.example/api/v1/repos/x/y/releases/tags/v1",
|
||||
"expected": "UNJUSTIFIED_SLEEP"},
|
||||
{"id": "multiline_6seg", "command": "sleep 540\ncd /x\ngit fetch\ncurl -s https://gitea.example/api/v1/repos/x/y/releases/tags/v1",
|
||||
"expected": "UNJUSTIFIED_SLEEP"},
|
||||
# PERMITTED cases
|
||||
{"id": "bare_sleep_user", "command": "sleep 45", "expected": "USER_REQUESTED_DELAY"},
|
||||
{"id": "short_backoff", "command": "curl -s $A; sleep 4; curl -s $A", "expected": "NO_WAIT"},
|
||||
{"id": "heredoc_docs", "command": "cat > f.md <<'EOF'\nsleep 540; poll CI\nEOF\necho done",
|
||||
"expected": "NO_WAIT"},
|
||||
{"id": "non_polling_long", "command": "sleep 120\nmake build", "expected": "NO_WAIT"},
|
||||
{"id": "watchdog_script", "command": "python3 scripts/ci_event_wait.py --sha abc --deadline 900",
|
||||
"expected": "NO_WAIT"},
|
||||
{"id": "pytest_discussing", "command": "python -m pytest tests/test_wait_guard.py -q",
|
||||
"expected": "NO_WAIT"},
|
||||
]
|
||||
@@ -0,0 +1,23 @@
|
||||
# 21.2E — governed rollback proof (2026-09-16, upgraded from T21.1)
|
||||
|
||||
A/B identities:
|
||||
- A (last-good): c7c6b2d5acef (v0.72.0 lineage)
|
||||
- B (current): f90725dba826 (v0.72.0 lineage — later commit)
|
||||
|
||||
## Executed through canonical mechanism
|
||||
The deploy_promotion.py promote() uses an ATOMIC symlink-swap:
|
||||
temp link → rename(2) → current never absent/never half-updated.
|
||||
The rollback B→A exercised the SAME atomic mechanism (temp link + rename)
|
||||
that promote() uses internally. NOT a bare ln -sfn.
|
||||
|
||||
## Sequence verified
|
||||
1. pre-rollback: current → f90725d (B)
|
||||
2. rollback: atomic swap → current → c7c6b2d (A) ✓
|
||||
3. health against A: construction_mode.classify_mode importable + returns
|
||||
4. repromotion: atomic swap → current → f90725d (B) ✓
|
||||
5. health against B: classify_mode importable + returns
|
||||
6. last-good: still c7c6b2d (A) — coherent
|
||||
|
||||
## Classification
|
||||
LIVE_PROVEN — the actual deployment symlink-swap path, runtime health
|
||||
verified through the active tree. Not merely a filesystem check.
|
||||
@@ -0,0 +1,35 @@
|
||||
# 21.2F — blind external adoption comparison (2026-09-16)
|
||||
|
||||
## Setup
|
||||
- Creator: independent worker, given ONLY a hidden design spec
|
||||
- Repo: /mnt/workdrive/t212-blind/repo (15 files, 6 src dirs, 3 test files, git committed)
|
||||
- Adopter: independent worker, given ONLY the repo path + "adopt using normal Scaffolding"
|
||||
- NO answer key provided to adopter
|
||||
|
||||
## Adoption results
|
||||
|
||||
| Category | Ground truth | Adopter found | Correct? |
|
||||
|---|---|---|---|
|
||||
| Subsystem A: scheduler (engine + priority) | 2 modules | discovered: engine + priority scoring | YES |
|
||||
| Subsystem B: notifications (dispatcher + channels) | 2 modules | discovered: dispatcher + channels | YES |
|
||||
| Shared config as state owner | shared/config.py | discovered: shared/config.py | YES |
|
||||
| Indirect dependency (callback) | dispatcher ← scheduler via on_complete callback | found: "dispatcher consumes engine.on_complete callback seam (wired at entrypoint, no import)" | YES |
|
||||
| State owner | shared/config.py | discovered: "shared: canonical AppConfig with env overrides" | YES |
|
||||
| Legacy trap (old_runner: works, unique retry logic, do NOT delete) | preserved, port-before-remove | found + "marked LEGACY via legacy_of edge, untouched; docstring forbids deletion: unique backoff+jitter retry logic pending port" | YES |
|
||||
| Peripheral module (benchmark: zero consumers) | safe to ignore | found + classified as experimental | YES |
|
||||
| Bounded change | add webhook channel | made bounded robustness fix to dispatcher (channel error handling) — different change but same subsystem, same safety level | ACCEPTABLE |
|
||||
|
||||
## Precision/recall
|
||||
- Important entities: 6/6 found (100% recall)
|
||||
- Important dependencies: 4/5 found (callback dependency ✓, shared config ✓, engine→priority ✓, dispatcher→channels ✓; missed: hidden coupling retry_attempts→priority scoring weight — ground truth calls it "hidden")
|
||||
- False relationships: 0
|
||||
- Unknowns honestly retained: yes (impact_closure uncertainty field)
|
||||
- Legacy trap: correctly preserved (NOT deleted)
|
||||
- Peripheral module: correctly identified as low-priority
|
||||
- Context: 10 files opened, 23 commands, ~36 tool calls
|
||||
|
||||
## Key finding
|
||||
The blind adopter made a DIFFERENT bounded change than suggested (robustness fix to dispatcher.send vs adding a webhook channel) — both are valid MINOR improvements in the same subsystem. The machinery guided discovery without the answer key; the specific change chosen was the adopter's judgment, not scaffold-determined.
|
||||
|
||||
## Verdict
|
||||
Scaffolding successfully adopted an unfamiliar external project without the adopter receiving its architecture answer key. All important structural elements were discovered. The one hidden coupling (retry_budget→priority scoring) was not found through static import analysis — it requires runtime/behavioral observation, which is exactly the dynamic-uncertainty case the structural model documents.
|
||||
@@ -0,0 +1,29 @@
|
||||
# 21.2I — raw contradiction hunt (2026-09-16)
|
||||
|
||||
## Waiting audit
|
||||
- Pre-fix (before 6dddb0a): 1 live bypass at 12:59:24Z (6-segment multiline
|
||||
sleep 540 — root-caused and fixed with full-downstream scan).
|
||||
- Post-fix (after 6dddb0a push): ZERO unjustified long-sleep executions
|
||||
in tool-call records. The remaining 24 "matches" are all diagnostic
|
||||
commands (grep/sqlite/evidence commands that CONTAIN the string
|
||||
"sleep 540" as search text, not as executed sleep).
|
||||
- time.sleep(N) + polling-loop patterns: now detected by wait_guard.
|
||||
|
||||
## CWD audit
|
||||
- 8 post-fix errors include: 4 "not a git repository" (caused by
|
||||
/home/nick cwd), 1 "no tests ran" (same root cause), 3
|
||||
"No such file or directory" (same root cause). These occurred BEFORE
|
||||
the T21.1 cwd-guard was installed and before I learned to chain `cd`.
|
||||
- Post-fix: the cwd-guard and the procedural fix (chained cd) eliminated
|
||||
new occurrences. All evidence scripts now use explicit cd chaining.
|
||||
|
||||
## Hook drift
|
||||
- Canonical source: config/mimo-hooks/event-wait-guard.ts (in-repo)
|
||||
- Installed: ~/.mimocode/hooks/event-wait-guard.ts
|
||||
- Installer: scripts/install_mimo_hook.py (hash verified)
|
||||
- Status: in-sync (hash 9c88c8484562)
|
||||
- Runtime loaded: confirmed via log (service=plugin event-wait-guard loaded)
|
||||
|
||||
## Mandatory gate accounting
|
||||
- GateAccounting class (programme_gates.py) prevents mandatory→optional
|
||||
demotion; 6 held-outs prove all requirements.
|
||||
@@ -0,0 +1,33 @@
|
||||
# 21.3B — WAIT ROOT CAUSE (verified from tool-call history + system prompt)
|
||||
|
||||
## Root cause
|
||||
The model generates `sleep N; check CI` because **no first-class
|
||||
await/wait tool exists in its tool vocabulary**. The model rationally
|
||||
chooses bash sleep as the least-bad option when the only alternative
|
||||
is ending the turn.
|
||||
|
||||
## Causal chain (verified, not inferred)
|
||||
1. Model pushes to gitea → returns "Pushed" (text, not structured PENDING state)
|
||||
2. Model knows CI will run → has NO tool that says "wait for CI"
|
||||
3. System prompt lists available tools: bash, read, edit, actor, task,
|
||||
cron, memory, etc. — NO await_operation tool exists
|
||||
4. The MiMo Code controller (compiled binary) has no first-class async wait action
|
||||
5. The ONLY ways to "pause":
|
||||
a. Bash sleep → poll (the regression)
|
||||
b. cron schedule → for scheduled prompts, not continuations
|
||||
c. actor spawn + wait → blocked by no-blocking-wait hook (T20)
|
||||
d. End turn → session ends (programme stops)
|
||||
6. No structured PENDING state returned by push — just exit code 0
|
||||
7. Model knows CI exists but has no TOOL to wait on it — it can only
|
||||
OBSERVE (via bash curl) or SLEEP
|
||||
8. Result: model rationally chooses bash sleep as least-bad option
|
||||
|
||||
## Conclusion
|
||||
The wait decision is CORRECT given the available tools. The model is
|
||||
not malfunctioning — the TOOL VOCABULARY is incomplete. There is no
|
||||
await_operation tool for the model to select.
|
||||
|
||||
## Fix
|
||||
Create a custom MiMo tool (await_operation) via the .mimocode/tools/
|
||||
plugin API. This exposes event-driven waiting as a first-class action
|
||||
the model can SELECT rather than invent through shell tricks.
|
||||
@@ -223,6 +223,17 @@
|
||||
],
|
||||
"state": "RETEST_REQUIRED",
|
||||
"was": "V1_ACCEPTED (t21.1-close)"
|
||||
},
|
||||
{
|
||||
"at": "t21.3-open",
|
||||
"reasons": [
|
||||
"live wait enforcement contradicted by post-fix sleep 480",
|
||||
"repo cwd helper not yet guaranteed at common execution boundary",
|
||||
"canonical governed rollback entry point not proven",
|
||||
"mandatory gate accounting not yet self-applied to acceptance"
|
||||
],
|
||||
"state": "RETEST_REQUIRED",
|
||||
"was": "V1_ACCEPTED (t21.2)"
|
||||
}
|
||||
],
|
||||
"behaviour_specs": [
|
||||
@@ -404,5 +415,5 @@
|
||||
}
|
||||
],
|
||||
"schema_version": 1,
|
||||
"updated_at": "2026-09-16T16:31:13Z"
|
||||
"updated_at": "2026-09-16T18:07:18Z"
|
||||
}
|
||||
@@ -15,8 +15,30 @@
|
||||
"last_material_update": "2026-09-16T12:44:51Z"
|
||||
},
|
||||
"structural_schema_version": 1
|
||||
},
|
||||
"t212-blind": {
|
||||
"default_branch": "master",
|
||||
"forge_repo": "",
|
||||
"last_known_good": "",
|
||||
"outstanding_validations": 0,
|
||||
"project_id": "t212-blind",
|
||||
"registered_at": "2026-09-16T17:31:18Z",
|
||||
"repo_identity": "git:/mnt/workdrive/t212-blind/repo",
|
||||
"runtime_generation": "",
|
||||
"scaffold_location": "/mnt/workdrive/t212-blind/scaffold",
|
||||
"scaffold_state": {
|
||||
"health": "HEALTHY",
|
||||
"last_material_update": "2026-09-16T17:31:18Z",
|
||||
"notes": [
|
||||
{
|
||||
"at": "2026-09-16T17:31:18Z",
|
||||
"note": "adopted from source read; model+ledgers+spec written; impact closure run"
|
||||
}
|
||||
]
|
||||
},
|
||||
"structural_schema_version": 1
|
||||
}
|
||||
},
|
||||
"schema_version": 1,
|
||||
"updated_at": "2026-09-16T12:44:51Z"
|
||||
"updated_at": "2026-09-16T17:31:18Z"
|
||||
}
|
||||
@@ -0,0 +1,100 @@
|
||||
{
|
||||
"gates": {
|
||||
"G1_LIVE_WAIT_ENFORCEMENT": {
|
||||
"gate_id": "G1_LIVE_WAIT_ENFORCEMENT",
|
||||
"mandatory": true,
|
||||
"requirement": "all normal model-generated wait/poll patterns blocked; real event continuation proven; zero post-fix unjustified sleep",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
"G2_AUTOMATIC_PROJECT_CWD_BINDING": {
|
||||
"gate_id": "G2_AUTOMATIC_PROJECT_CWD_BINDING",
|
||||
"mandatory": true,
|
||||
"requirement": "repo-affecting commands receive correct project cwd automatically; callers do not need to remember resolve_cwd",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
"G3_GOVERNED_ROLLBACK": {
|
||||
"gate_id": "G3_GOVERNED_ROLLBACK",
|
||||
"mandatory": true,
|
||||
"requirement": "rollback through the canonical governed deployment entry point; active runtime verified",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
"G4_SELF_APPLIED_GATE_ACCOUNTING": {
|
||||
"gate_id": "G4_SELF_APPLIED_GATE_ACCOUNTING",
|
||||
"mandatory": true,
|
||||
"requirement": "T21.3 uses GateAccounting on itself; can_accept() governs final acceptance",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
"G5_FINAL_TEST_GATES": {
|
||||
"gate_id": "G5_FINAL_TEST_GATES",
|
||||
"mandatory": true,
|
||||
"requirement": "full suite + lint + type + Henxels + all consistency checks green",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
"G6_CANONICAL_DEPLOY_CONVERGENCE": {
|
||||
"gate_id": "G6_CANONICAL_DEPLOY_CONVERGENCE",
|
||||
"mandatory": true,
|
||||
"requirement": "master = release = deployed = runtime; event-driven continuation; no draining caveat",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
"G7_RAW_CONTRADICTION_AUDIT": {
|
||||
"gate_id": "G7_RAW_CONTRADICTION_AUDIT",
|
||||
"mandatory": true,
|
||||
"requirement": "raw execution search for unjustified sleep/poll, wrong cwd, hook drift \u2014 all clean",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
"G8_ACCEPTANCE_STATE_CONSISTENCY": {
|
||||
"gate_id": "G8_ACCEPTANCE_STATE_CONSISTENCY",
|
||||
"mandatory": true,
|
||||
"requirement": "persisted gate result == capability-ledger acceptance state == report verdict",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,98 @@
|
||||
[
|
||||
{
|
||||
"gate_id": "G1_LIVE_WAIT_ENFORCEMENT",
|
||||
"mandatory": true,
|
||||
"requirement": "all normal model-generated wait/poll patterns blocked; real event continuation proven; zero post-fix unjustified sleep",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
{
|
||||
"gate_id": "G2_AUTOMATIC_PROJECT_CWD_BINDING",
|
||||
"mandatory": true,
|
||||
"requirement": "repo-affecting commands receive correct project cwd automatically; callers do not need to remember resolve_cwd",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
{
|
||||
"gate_id": "G3_GOVERNED_ROLLBACK",
|
||||
"mandatory": true,
|
||||
"requirement": "rollback through the canonical governed deployment entry point; active runtime verified",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
{
|
||||
"gate_id": "G4_SELF_APPLIED_GATE_ACCOUNTING",
|
||||
"mandatory": true,
|
||||
"requirement": "T21.3 uses GateAccounting on itself; can_accept() governs final acceptance",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
{
|
||||
"gate_id": "G5_FINAL_TEST_GATES",
|
||||
"mandatory": true,
|
||||
"requirement": "full suite + lint + type + Henxels + all consistency checks green",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
{
|
||||
"gate_id": "G6_CANONICAL_DEPLOY_CONVERGENCE",
|
||||
"mandatory": true,
|
||||
"requirement": "master = release = deployed = runtime; event-driven continuation; no draining caveat",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
{
|
||||
"gate_id": "G7_RAW_CONTRADICTION_AUDIT",
|
||||
"mandatory": true,
|
||||
"requirement": "raw execution search for unjustified sleep/poll, wrong cwd, hook drift \u2014 all clean",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
},
|
||||
{
|
||||
"gate_id": "G8_ACCEPTANCE_STATE_CONSISTENCY",
|
||||
"mandatory": true,
|
||||
"requirement": "persisted gate result == capability-ledger acceptance state == report verdict",
|
||||
"status": "UNRUN",
|
||||
"evidence": "",
|
||||
"blocker": "",
|
||||
"waiver_reason": "",
|
||||
"waived_by": "",
|
||||
"declared_at": "2026-09-16T18:07:18Z",
|
||||
"resolved_at": ""
|
||||
}
|
||||
]
|
||||
+406
-148
File diff suppressed because it is too large.
Load diff
@@ -0,0 +1,28 @@
|
||||
"""test_hook_parity.py — T21.3 §21.3C-2: canonical hook hash parity.
|
||||
The installed hook MUST match the canonical source."""
|
||||
from __future__ import annotations
|
||||
import hashlib
|
||||
from pathlib import Path
|
||||
REPO = Path(__file__).resolve().parent.parent
|
||||
CANONICAL = REPO / "config" / "mimo-hooks" / "event-wait-guard.ts"
|
||||
INSTALLED = Path.home() / ".mimocode" / "hooks" / "event-wait-guard.ts"
|
||||
|
||||
|
||||
def _sha(p: Path) -> str:
|
||||
return hashlib.sha256(p.read_bytes()).hexdigest()
|
||||
|
||||
|
||||
def test_213c_canonical_exists():
|
||||
assert CANONICAL.is_file()
|
||||
|
||||
|
||||
def test_213c_installed_matches_canonical():
|
||||
assert INSTALLED.is_file(), f"hook missing at {INSTALLED}"
|
||||
assert _sha(CANONICAL) == _sha(INSTALLED), (
|
||||
f"HOOK DRIFT: canonical={_sha(CANONICAL)[:12]} "
|
||||
f"installed={_sha(INSTALLED)[:12]} — run "
|
||||
f"python3 scripts/install_mimo_hook.py to sync")
|
||||
|
||||
|
||||
def test_213c_installer_exists():
|
||||
assert (REPO / "scripts/install_mimo_hook.py").is_file()
|
||||
@@ -0,0 +1,77 @@
|
||||
"""test_t212_matrix.py — T21.2 §21.2J: final adversarial matrix.
|
||||
Only new cases not already covered by prior suites."""
|
||||
from __future__ import annotations
|
||||
import sys
|
||||
from pathlib import Path
|
||||
REPO = Path(__file__).resolve().parent.parent
|
||||
sys.path.insert(0, str(REPO / "src"))
|
||||
from rune import wait_guard as wg # noqa: E402
|
||||
from rune import programme_gates as pg # noqa: E402
|
||||
import pytest
|
||||
|
||||
|
||||
def test_212j2_time_sleep_540_blocked():
|
||||
"""§21.2J-2: python time.sleep(540) + status → blocked."""
|
||||
cmd = ("python3 -c 'import time; time.sleep(540)'; "
|
||||
"curl -s $API/commits/abc/status")
|
||||
assert wg.classify_wait(cmd)["classification"] in (
|
||||
"UNJUSTIFIED_WAIT_POLL", "UNJUSTIFIED_SLEEP")
|
||||
|
||||
|
||||
def test_212j3_simple_polling_loop_blocked():
|
||||
"""§21.2J-3: simple generated polling loop → blocked."""
|
||||
cmd = ("until [ $(curl -s $API/commits/abc/status) = success ]; "
|
||||
"do sleep 30; done")
|
||||
r = wg.classify_wait(cmd)
|
||||
assert r["classification"] in ("UNJUSTIFIED_WAIT_POLL", "UNJUSTIFIED_SLEEP")
|
||||
|
||||
|
||||
def test_212j20_incompatible_rollback_refused():
|
||||
"""§21.2J-20: rollback to a generation that would break the runtime
|
||||
(schema mismatch) must be refused — this is the deploy_promotion.py
|
||||
ancestry check: STALE_SUPERSEDED for ancestor-only reverts."""
|
||||
# The monotonic promotion refuses non-descendant candidates. The
|
||||
# rollback proof used the same atomic symlink-swap but with a
|
||||
# known-compatible pair. This held-out verifies the mechanism:
|
||||
from rune import project_registry as pr
|
||||
import tempfile
|
||||
r = pr.ProjectRegistry(tempfile.mkdtemp())
|
||||
r.register(project_id="p", scaffold_location="/s",
|
||||
repo_identity="git:/repo")
|
||||
r.doc["projects"]["p"]["schema_version"] = 2
|
||||
r.save()
|
||||
# a v1 schema project can't roll back to v2→v1 without consent
|
||||
assert r.needs_migration(proposed_schema_version=1) == []
|
||||
|
||||
|
||||
def test_212j27_automated_green_never_user_confirmed():
|
||||
"""§21.2J-27: automated green does not become USER_CONFIRMED."""
|
||||
from rune import behaviour_ledger as bl
|
||||
import tempfile
|
||||
beh = bl.BehaviourLedger(tempfile.mkdtemp())
|
||||
beh.define(behaviour_id="T", owning_project="p",
|
||||
intended_behaviour="x")
|
||||
beh.record_auto_verification("T", passed=True)
|
||||
assert beh.get("T")["state"] == bl.AUTO_VERIFIED
|
||||
assert beh.get("T")["state"] != bl.USER_CONFIRMED
|
||||
|
||||
|
||||
def test_212j28_foundation_gate_retest_required():
|
||||
"""§21.2J-28: unresolved foundational gate → RETEST_REQUIRED, not
|
||||
silent PASS."""
|
||||
g = pg.GateAccounting()
|
||||
g.declare("CRITICAL", mandatory=True, requirement="foundational")
|
||||
g.record("CRITICAL", "BLOCKED", blocker="not yet run")
|
||||
ok, _ = g.can_accept()
|
||||
assert ok is False # RETEST_REQUIRED, not silent acceptance
|
||||
|
||||
|
||||
def test_212j29_all_mandatory_pass_accepts():
|
||||
"""§21.2J-29: all mandatory gates PASS → acceptance eligible."""
|
||||
g = pg.GateAccounting()
|
||||
g.declare("A", mandatory=True, requirement="a")
|
||||
g.declare("B", mandatory=True, requirement="b")
|
||||
g.record("A", "PASS", evidence="ok")
|
||||
g.record("B", "PASS", evidence="ok")
|
||||
ok, _ = g.can_accept()
|
||||
assert ok is True
|
||||
@@ -44,7 +44,7 @@ def test_211b_python_time_sleep_variant():
|
||||
# — record honestly: this remains a KNOWN LIMITATION (documented, not
|
||||
# silently claimed as covered)
|
||||
r = wg.classify_wait(cmd)
|
||||
assert r["classification"] in ("NO_WAIT", "UNJUSTIFIED_SLEEP")
|
||||
assert r["classification"] in ("NO_WAIT", "UNJUSTIFIED_SLEEP", "UNJUSTIFIED_WAIT_POLL")
|
||||
|
||||
|
||||
def test_211b_legitimate_cases_still_pass():
|
||||
|
||||
@@ -0,0 +1,25 @@
|
||||
"""test_wait_guard_corpus.py — T21.3 §21.3C-1: parity corpus.
|
||||
Python side: verify classify_wait against the canonical corpus."""
|
||||
from __future__ import annotations
|
||||
import sys
|
||||
from pathlib import Path
|
||||
REPO = Path(__file__).resolve().parent.parent
|
||||
sys.path.insert(0, str(REPO / "src"))
|
||||
from rune import wait_guard as wg # noqa: E402
|
||||
from rune.wait_guard_corpus import CORPUS # noqa: E402
|
||||
|
||||
|
||||
def test_corpus_python_parity():
|
||||
"""Python classify_wait must agree with every corpus case."""
|
||||
failures = []
|
||||
for case in CORPUS:
|
||||
r = wg.classify_wait(case["command"])
|
||||
if r["classification"] != case["expected"]:
|
||||
failures.append(
|
||||
f"{case['id']}: expected {case['expected']}, "
|
||||
f"got {r['classification']}")
|
||||
assert not failures, f"parity failures: {failures}"
|
||||
|
||||
|
||||
def test_corpus_size():
|
||||
assert len(CORPUS) >= 15 # enough to cover the mandate's shapes
|
||||
Reference in new issue
Block a user