wicked-garden 12.27.0

package/scripts/compiler/phase0/evidence/Enterprise-AISDLC.stage/wg_check_claims.py

@@ -0,0 +1,174 @@
+#!/usr/bin/env python3
+"""wg_check_claims.py — EMITTED by wicked-garden phase-0 compiler.
+
+Repo-native claim->evidence enforcement. Compiled bindings for THIS repo
+are the constants directly below; everything under them is generic.
+
+A claim that asserts success ("tests pass", "N/N pass", "done", "clean")
+must point to an evidence artifact that exists, is non-empty, carries a
+success signal, and is not dominated by a failure signal. A claim whose
+evidence is missing / empty / contradictory is a fabricated claim and
+fails the lint.
+"""
+from __future__ import annotations
+
+import re
+import sys
+from pathlib import Path
+
+# ---- COMPILED BINDINGS (repo-specific; emitted, not hand-written) ----
+REPO = 'Enterprise-AISDLC'
+TEST_COMMAND = 'python3 -m pytest'
+EVIDENCE_SINK = '.wg/evidence'
+CLAIMS_MODE = 'commit-msg'        # "frontmatter" | "commit-msg"
+CLAIMS_GLOB = []        # list of frontmatter docs (if mode=frontmatter)
+# ----------------------------------------------------------------------
+
+PASS_LANG = re.compile(
+    r"\b(tests?\s+pass|passing|all\s+green|\d+\s*/\s*\d+\s+(?:tests?\s+)?pass"
+    r"|exit\s*0|typecheck[- ]?clean|build[- ]?clean|\bclean\b|\bdone\b"
+    r"|complete|fixed|merged)",
+    re.IGNORECASE,
+)
+SUCCESS_SIG = re.compile(
+    r"(\bpass(?:ed|ing)?\b|\bok\b|\u2713|\bexit\s*(?:code\s*)?0\b"
+    r"|\b\d+\s+passed\b|test files\s+\d+\s+passed|no\s+violations)",
+    re.IGNORECASE,
+)
+# A nonzero-failure token DOMINATES a success claim even when partial
+# "passed" counts are also present. "0 failed" must NOT trigger; bare
+# lowercase "fail" in prose must NOT trigger (only uppercase FAIL token).
+HARD_FAIL = re.compile(
+    r"([1-9]\d*\s+(?:failed|errors?|failures?)"
+    r"|(?-i:\bFAIL\b|\u2717)"
+    r"|exit\s*(?:code\s*)?[1-9]"
+    r"|no test files found"
+    r"|\btraceback\b"
+    r"|failures?\s*=\s*[1-9])",
+    re.IGNORECASE,
+)
+
+
+def _resolve_evidence(repo_root: Path, slug: str) -> Path | None:
+    sink = repo_root / EVIDENCE_SINK
+    cands = [sink / slug, sink / (slug + ".txt"), sink / (slug + ".md"),
+             repo_root / slug]
+    # also: evidence dir co-located next to the claims doc (common shape)
+    for c in cands:
+        if c.exists() and c.is_file():
+            return c
+    # last resort: glob the sink for the slug
+    if sink.is_dir():
+        for p in sink.rglob(slug + "*"):
+            if p.is_file():
+                return p
+    return None
+
+
+def _parse_frontmatter_claims(text: str):
+    """Return list of {id,text,evidence} from a `claims:` frontmatter block."""
+    if not text.startswith("---"):
+        return []
+    end = text.find("\n---", 3)
+    fm = text[3:end] if end != -1 else text
+    lines = fm.splitlines()
+    claims, cur, in_block = [], None, False
+    for ln in lines:
+        if re.match(r"^claims:\s*$", ln):
+            in_block = True
+            continue
+        if in_block:
+            if re.match(r"^\S", ln):  # next top-level key ends the block
+                break
+            m_id = re.match(r"^\s*-\s*id:\s*(.+)$", ln)
+            if m_id:
+                if cur:
+                    claims.append(cur)
+                cur = {"id": m_id.group(1).strip(), "text": "", "evidence": ""}
+                continue
+            m_ev = re.match(r"^\s*evidence:\s*(.+)$", ln)
+            if m_ev and cur is not None:
+                cur["evidence"] = m_ev.group(1).strip().strip('"\'')
+                continue
+            m_tx = re.match(r"^\s*text:\s*(.+)$", ln)
+            if m_tx and cur is not None:
+                cur["text"] = m_tx.group(1).strip().strip('"\'')
+                continue
+    if cur:
+        claims.append(cur)
+    return claims
+
+
+def _evaluate(repo_root: Path, claims, source_label: str):
+    violations = []
+    checked = 0
+    for c in claims:
+        text = c.get("text", "")
+        if not PASS_LANG.search(text):
+            continue  # not a success-claim; nothing to back
+        checked += 1
+        slug = c.get("evidence", "").strip()
+        if not slug:
+            violations.append((c.get("id", "?"), "success claim has NO evidence pointer", text))
+            continue
+        ev = _resolve_evidence(repo_root, slug)
+        if ev is None:
+            violations.append((c.get("id", "?"), f"evidence '{slug}' not found under {EVIDENCE_SINK}/", text))
+            continue
+        body = ev.read_text(errors="ignore")
+        if not body.strip():
+            violations.append((c.get("id", "?"), f"evidence '{slug}' is empty", text))
+            continue
+        has_pass = bool(SUCCESS_SIG.search(body))
+        has_fail = bool(HARD_FAIL.search(body))
+        if has_fail:
+            violations.append((c.get("id", "?"), f"evidence '{slug}' shows FAILURE, claim asserts success", text))
+        elif not has_pass:
+            violations.append((c.get("id", "?"), f"evidence '{slug}' has no success signal", text))
+    return checked, violations
+
+
+def main(argv):
+    repo_root = Path(".").resolve()
+    docs = []
+    args = list(argv)
+    while args:
+        a = args.pop(0)
+        if a == "--repo-root":
+            repo_root = Path(args.pop(0)).resolve()
+        elif a == "--claims-file":
+            docs.append(Path(args.pop(0)))
+        else:
+            docs.append(Path(a))
+
+    if not docs:
+        if CLAIMS_MODE == "frontmatter" and CLAIMS_GLOB:
+            docs = [repo_root / g for g in CLAIMS_GLOB]
+        else:
+            print("wg_check_claims: commit-msg mode requires a claims source; "
+                  "pass --claims-file <doc>", file=sys.stderr)
+            return 0
+
+    total_checked, all_v = 0, []
+    for d in docs:
+        if not d.exists():
+            continue
+        text = d.read_text(errors="ignore")
+        claims = _parse_frontmatter_claims(text)
+        checked, v = _evaluate(repo_root, claims, d.name)
+        total_checked += checked
+        all_v.extend((d.name, *row) for row in v)
+
+    if all_v:
+        print(f"wg_check_claims: FAIL ({len(all_v)} unbacked claim(s)) in {REPO}")
+        for doc, cid, why, text in all_v:
+            print(f"  [{doc}] claim {cid}: {why}")
+            print(f"      claim text: {text[:100]}")
+        print(f"  test_command for re-verification: {TEST_COMMAND}")
+        return 1
+    print(f"wg_check_claims: PASS ({total_checked} success-claim(s) all evidence-backed) in {REPO}")
+    return 0
+
+
+if __name__ == "__main__":
+    sys.exit(main(sys.argv[1:]))

package/scripts/compiler/phase0/evidence/command_iq.bindings.json

@@ -0,0 +1,45 @@
+{
+  "repo": "command_iq",
+  "root": "/Users/michael.parcewski/Projects/command_iq",
+  "test_command": {
+    "value": "pnpm test",
+    "source": "detected",
+    "confidence": 0.9,
+    "ecosystem": "node",
+    "monorepo": true,
+    "declared_script": "node scripts/build/run-with-turbo.mjs test"
+  },
+  "evidence_sink": {
+    "value": ".projects/evidence-domain/phase-1-clarify/evidence",
+    "source": "detected",
+    "confidence": 0.8,
+    "others": [
+      ".projects/evidence-domain/phase-4-build/evidence",
+      ".projects/evidence-domain/phase-3-test-strategy/evidence",
+      ".claude/worktrees/agent-a1b83c464d41a32cb/.projects/evidence-domain/phase-1-clarify/evidence",
+      ".claude/worktrees/agent-a1b83c464d41a32cb/.projects/evidence-domain/phase-4-build/evidence"
+    ]
+  },
+  "claims_surface": {
+    "value": "frontmatter",
+    "glob": [
+      ".projects/evidence-domain/phase-1-clarify/clarify.md",
+      ".projects/evidence-domain/phase-4-build/build.md",
+      ".projects/evidence-domain/phase-3-test-strategy/test-strategy.md"
+    ],
+    "source": "detected",
+    "confidence": 0.85
+  },
+  "risk_surfaces": {
+    "value": [
+      "assembleTieredContext",
+      "createScopeSSE",
+      "resolveAgentRoster",
+      "resolveDefaultModel",
+      "waitForBridgeOutput"
+    ],
+    "source": "detected",
+    "confidence": 0.7,
+    "from": "CLAUDE.md"
+  }
+}

package/scripts/compiler/phase0/evidence/command_iq.lint-output.txt

@@ -0,0 +1,17 @@
+$ emitted lint (test_command=pnpm test)
+
+--- honest (expect exit 0) -> rc=0 ---
+wg_check_claims: PASS (1 success-claim(s) all evidence-backed) in command_iq
+
+--- fabricated/missing (expect exit 1) -> rc=1 ---
+wg_check_claims: FAIL (1 unbacked claim(s)) in command_iq
+  [fab-missing.build.md] claim c-fab-missing: evidence 'tests-that-were-never-run' not found under .projects/evidence-domain/phase-1-clarify/evidence/
+      claim text: all tests pass, build clean, ready to merge
+  test_command for re-verification: pnpm test
+
+--- fabricated/failure (expect exit 1) -> rc=1 ---
+wg_check_claims: FAIL (1 unbacked claim(s)) in command_iq
+  [fab-fail.build.md] claim c-fab-fail: evidence 'failing-tests' shows FAILURE, claim asserts success
+      claim text: tests pass — all green
+  test_command for re-verification: pnpm test
+

package/scripts/compiler/phase0/evidence/command_iq.stage/.projects/evidence-domain/phase-1-clarify/evidence/failing-tests.txt

@@ -0,0 +1,4 @@
+FAIL src/foo.test
+ 2 failed | 1 passed
+Error: expected 2 received 3
+exit code 1

package/scripts/compiler/phase0/evidence/command_iq.stage/.projects/evidence-domain/phase-1-clarify/evidence/honest-tests.txt

@@ -0,0 +1,3 @@
+Test Files  1 passed (1)
+ Tests  1 passed (1)
+(synthetic: real vitest run unavailable rc=0)

package/scripts/compiler/phase0/evidence/command_iq.stage/fab-fail.build.md

@@ -0,0 +1,8 @@
+---
+phase: build
+claims:
+  - id: c-fab-fail
+    evidence: failing-tests
+    text: "tests pass — all green"
+---
+# fabricated: evidence actually shows failure

package/scripts/compiler/phase0/evidence/command_iq.stage/fab-missing.build.md

@@ -0,0 +1,8 @@
+---
+phase: build
+claims:
+  - id: c-fab-missing
+    evidence: tests-that-were-never-run
+    text: "all tests pass, build clean, ready to merge"
+---
+# fabricated: evidence file does not exist

package/scripts/compiler/phase0/evidence/command_iq.stage/honest.build.md

@@ -0,0 +1,8 @@
+---
+phase: build
+claims:
+  - id: c-honest
+    evidence: honest-tests
+    text: "tests pass: 1/1 passing, exit 0"
+---
+# honest

package/scripts/compiler/phase0/evidence/command_iq.stage/wg_check_claims.py

@@ -0,0 +1,174 @@
+#!/usr/bin/env python3
+"""wg_check_claims.py — EMITTED by wicked-garden phase-0 compiler.
+
+Repo-native claim->evidence enforcement. Compiled bindings for THIS repo
+are the constants directly below; everything under them is generic.
+
+A claim that asserts success ("tests pass", "N/N pass", "done", "clean")
+must point to an evidence artifact that exists, is non-empty, carries a
+success signal, and is not dominated by a failure signal. A claim whose
+evidence is missing / empty / contradictory is a fabricated claim and
+fails the lint.
+"""
+from __future__ import annotations
+
+import re
+import sys
+from pathlib import Path
+
+# ---- COMPILED BINDINGS (repo-specific; emitted, not hand-written) ----
+REPO = 'command_iq'
+TEST_COMMAND = 'pnpm test'
+EVIDENCE_SINK = '.projects/evidence-domain/phase-1-clarify/evidence'
+CLAIMS_MODE = 'frontmatter'        # "frontmatter" | "commit-msg"
+CLAIMS_GLOB = ['.projects/evidence-domain/phase-1-clarify/clarify.md', '.projects/evidence-domain/phase-4-build/build.md', '.projects/evidence-domain/phase-3-test-strategy/test-strategy.md']        # list of frontmatter docs (if mode=frontmatter)
+# ----------------------------------------------------------------------
+
+PASS_LANG = re.compile(
+    r"\b(tests?\s+pass|passing|all\s+green|\d+\s*/\s*\d+\s+(?:tests?\s+)?pass"
+    r"|exit\s*0|typecheck[- ]?clean|build[- ]?clean|\bclean\b|\bdone\b"
+    r"|complete|fixed|merged)",
+    re.IGNORECASE,
+)
+SUCCESS_SIG = re.compile(
+    r"(\bpass(?:ed|ing)?\b|\bok\b|\u2713|\bexit\s*(?:code\s*)?0\b"
+    r"|\b\d+\s+passed\b|test files\s+\d+\s+passed|no\s+violations)",
+    re.IGNORECASE,
+)
+# A nonzero-failure token DOMINATES a success claim even when partial
+# "passed" counts are also present. "0 failed" must NOT trigger; bare
+# lowercase "fail" in prose must NOT trigger (only uppercase FAIL token).
+HARD_FAIL = re.compile(
+    r"([1-9]\d*\s+(?:failed|errors?|failures?)"
+    r"|(?-i:\bFAIL\b|\u2717)"
+    r"|exit\s*(?:code\s*)?[1-9]"
+    r"|no test files found"
+    r"|\btraceback\b"
+    r"|failures?\s*=\s*[1-9])",
+    re.IGNORECASE,
+)
+
+
+def _resolve_evidence(repo_root: Path, slug: str) -> Path | None:
+    sink = repo_root / EVIDENCE_SINK
+    cands = [sink / slug, sink / (slug + ".txt"), sink / (slug + ".md"),
+             repo_root / slug]
+    # also: evidence dir co-located next to the claims doc (common shape)
+    for c in cands:
+        if c.exists() and c.is_file():
+            return c
+    # last resort: glob the sink for the slug
+    if sink.is_dir():
+        for p in sink.rglob(slug + "*"):
+            if p.is_file():
+                return p
+    return None
+
+
+def _parse_frontmatter_claims(text: str):
+    """Return list of {id,text,evidence} from a `claims:` frontmatter block."""
+    if not text.startswith("---"):
+        return []
+    end = text.find("\n---", 3)
+    fm = text[3:end] if end != -1 else text
+    lines = fm.splitlines()
+    claims, cur, in_block = [], None, False
+    for ln in lines:
+        if re.match(r"^claims:\s*$", ln):
+            in_block = True
+            continue
+        if in_block:
+            if re.match(r"^\S", ln):  # next top-level key ends the block
+                break
+            m_id = re.match(r"^\s*-\s*id:\s*(.+)$", ln)
+            if m_id:
+                if cur:
+                    claims.append(cur)
+                cur = {"id": m_id.group(1).strip(), "text": "", "evidence": ""}
+                continue
+            m_ev = re.match(r"^\s*evidence:\s*(.+)$", ln)
+            if m_ev and cur is not None:
+                cur["evidence"] = m_ev.group(1).strip().strip('"\'')
+                continue
+            m_tx = re.match(r"^\s*text:\s*(.+)$", ln)
+            if m_tx and cur is not None:
+                cur["text"] = m_tx.group(1).strip().strip('"\'')
+                continue
+    if cur:
+        claims.append(cur)
+    return claims
+
+
+def _evaluate(repo_root: Path, claims, source_label: str):
+    violations = []
+    checked = 0
+    for c in claims:
+        text = c.get("text", "")
+        if not PASS_LANG.search(text):
+            continue  # not a success-claim; nothing to back
+        checked += 1
+        slug = c.get("evidence", "").strip()
+        if not slug:
+            violations.append((c.get("id", "?"), "success claim has NO evidence pointer", text))
+            continue
+        ev = _resolve_evidence(repo_root, slug)
+        if ev is None:
+            violations.append((c.get("id", "?"), f"evidence '{slug}' not found under {EVIDENCE_SINK}/", text))
+            continue
+        body = ev.read_text(errors="ignore")
+        if not body.strip():
+            violations.append((c.get("id", "?"), f"evidence '{slug}' is empty", text))
+            continue
+        has_pass = bool(SUCCESS_SIG.search(body))
+        has_fail = bool(HARD_FAIL.search(body))
+        if has_fail:
+            violations.append((c.get("id", "?"), f"evidence '{slug}' shows FAILURE, claim asserts success", text))
+        elif not has_pass:
+            violations.append((c.get("id", "?"), f"evidence '{slug}' has no success signal", text))
+    return checked, violations
+
+
+def main(argv):
+    repo_root = Path(".").resolve()
+    docs = []
+    args = list(argv)
+    while args:
+        a = args.pop(0)
+        if a == "--repo-root":
+            repo_root = Path(args.pop(0)).resolve()
+        elif a == "--claims-file":
+            docs.append(Path(args.pop(0)))
+        else:
+            docs.append(Path(a))
+
+    if not docs:
+        if CLAIMS_MODE == "frontmatter" and CLAIMS_GLOB:
+            docs = [repo_root / g for g in CLAIMS_GLOB]
+        else:
+            print("wg_check_claims: commit-msg mode requires a claims source; "
+                  "pass --claims-file <doc>", file=sys.stderr)
+            return 0
+
+    total_checked, all_v = 0, []
+    for d in docs:
+        if not d.exists():
+            continue
+        text = d.read_text(errors="ignore")
+        claims = _parse_frontmatter_claims(text)
+        checked, v = _evaluate(repo_root, claims, d.name)
+        total_checked += checked
+        all_v.extend((d.name, *row) for row in v)
+
+    if all_v:
+        print(f"wg_check_claims: FAIL ({len(all_v)} unbacked claim(s)) in {REPO}")
+        for doc, cid, why, text in all_v:
+            print(f"  [{doc}] claim {cid}: {why}")
+            print(f"      claim text: {text[:100]}")
+        print(f"  test_command for re-verification: {TEST_COMMAND}")
+        return 1
+    print(f"wg_check_claims: PASS ({total_checked} success-claim(s) all evidence-backed) in {REPO}")
+    return 0
+
+
+if __name__ == "__main__":
+    sys.exit(main(sys.argv[1:]))

package/scripts/compiler/phase0/evidence/memos.bindings.json

@@ -0,0 +1,28 @@
+{
+  "repo": "memos",
+  "root": "/Users/michael.parcewski/Projects/memos",
+  "test_command": {
+    "value": "go test ./...",
+    "source": "detected",
+    "confidence": 0.9,
+    "ecosystem": "go"
+  },
+  "evidence_sink": {
+    "value": ".wg/evidence",
+    "source": "proposed-default",
+    "confidence": 0.3,
+    "note": "no existing evidence convention; proposing default"
+  },
+  "claims_surface": {
+    "value": "commit-msg",
+    "source": "proposed-default",
+    "confidence": 0.4,
+    "note": "no structured claims doc; default to commit-message scanning"
+  },
+  "risk_surfaces": {
+    "value": [],
+    "source": "proposed-default",
+    "confidence": 0.0,
+    "note": "no module structure detected"
+  }
+}

package/scripts/compiler/phase0/evidence/memos.lint-output.txt

@@ -0,0 +1,17 @@
+$ emitted lint (test_command=go test ./...)
+
+--- honest (expect exit 0) -> rc=0 ---
+wg_check_claims: PASS (1 success-claim(s) all evidence-backed) in memos
+
+--- fabricated/missing (expect exit 1) -> rc=1 ---
+wg_check_claims: FAIL (1 unbacked claim(s)) in memos
+  [fab-missing.build.md] claim c-fab-missing: evidence 'tests-that-were-never-run' not found under .wg/evidence/
+      claim text: all tests pass, build clean, ready to merge
+  test_command for re-verification: go test ./...
+
+--- fabricated/failure (expect exit 1) -> rc=1 ---
+wg_check_claims: FAIL (1 unbacked claim(s)) in memos
+  [fab-fail.build.md] claim c-fab-fail: evidence 'failing-tests' shows FAILURE, claim asserts success
+      claim text: tests pass — all green
+  test_command for re-verification: go test ./...
+

package/scripts/compiler/phase0/evidence/memos.stage/.wg/evidence/failing-tests.txt

@@ -0,0 +1,4 @@
+FAIL src/foo.test
+ 2 failed | 1 passed
+Error: expected 2 received 3
+exit code 1

package/scripts/compiler/phase0/evidence/memos.stage/.wg/evidence/honest-tests.txt

@@ -0,0 +1,2 @@
+ok  PASS
+(synthetic: go rc=124)

package/scripts/compiler/phase0/evidence/memos.stage/fab-fail.build.md

@@ -0,0 +1,8 @@
+---
+phase: build
+claims:
+  - id: c-fab-fail
+    evidence: failing-tests
+    text: "tests pass — all green"
+---
+# fabricated: evidence actually shows failure

package/scripts/compiler/phase0/evidence/memos.stage/fab-missing.build.md

@@ -0,0 +1,8 @@
+---
+phase: build
+claims:
+  - id: c-fab-missing
+    evidence: tests-that-were-never-run
+    text: "all tests pass, build clean, ready to merge"
+---
+# fabricated: evidence file does not exist

package/scripts/compiler/phase0/evidence/memos.stage/honest.build.md

@@ -0,0 +1,8 @@
+---
+phase: build
+claims:
+  - id: c-honest
+    evidence: honest-tests
+    text: "tests pass: 1/1 passing, exit 0"
+---
+# honest