@event4u/agent-config 1.24.0 → 1.26.0

package/scripts/check_kernel_rule_bundle.py

@@ -0,0 +1,151 @@
+#!/usr/bin/env python3
+"""check_kernel_rule_bundle — Phase 4.2 of road-to-always-budget-relief.
+
+Fails when a single PR (or commit range) modifies more than one
+kernel rule under `.agent-src.uncompressed/rules/`. Override via the
+PR label `bundled-always-rules-acknowledged`.
+
+Kernel set is the locked 9-rule list in
+`docs/contracts/rule-classification.md` § 3.1, mirrored as
+`KERNEL_RULES` below. The list is short and stable; on kernel-set
+change, update both files in the same PR.
+
+Inputs:
+  --base-ref REF   git ref to diff against (default: origin/main, then main)
+  --label NAME     PR label that overrides the gate (default:
+                   bundled-always-rules-acknowledged)
+  --event-path P   GitHub event JSON (defaults to $GITHUB_EVENT_PATH)
+  --files F [F …]  override changed-file list (testing only)
+
+Exit codes: 0 = pass · 1 = fail (> 1 kernel rule, no override) ·
+3 = internal error.
+
+Source: `agents/contexts/adr-always-budget-relief-strategy.md`.
+"""
+from __future__ import annotations
+
+import argparse
+import json
+import os
+import subprocess
+import sys
+from pathlib import Path
+
+KERNEL_RULES = frozenset({
+    "agent-authority.md",
+    "ask-when-uncertain.md",
+    "commit-policy.md",
+    "direct-answers.md",
+    "language-and-tone.md",
+    "no-cheap-questions.md",
+    "non-destructive-by-default.md",
+    "scope-control.md",
+    "verify-before-complete.md",
+})
+
+KERNEL_DIR = ".agent-src.uncompressed/rules"
+DEFAULT_LABEL = "bundled-always-rules-acknowledged"
+
+
+def _git_changed_files(base_ref: str) -> list[str]:
+    try:
+        out = subprocess.check_output(
+            ["git", "diff", "--name-only", f"{base_ref}...HEAD"],
+            stderr=subprocess.STDOUT,
+            text=True,
+        )
+    except subprocess.CalledProcessError as exc:
+        print(f"❌  git diff failed: {exc.output.strip()}", file=sys.stderr)
+        return []
+    return [line for line in out.splitlines() if line.strip()]
+
+
+def _resolve_base_ref(explicit: str | None) -> str:
+    if explicit:
+        return explicit
+    for candidate in ("origin/main", "origin/master", "main", "master"):
+        try:
+            subprocess.check_output(
+                ["git", "rev-parse", "--verify", candidate],
+                stderr=subprocess.DEVNULL,
+            )
+            return candidate
+        except subprocess.CalledProcessError:
+            continue
+    return "HEAD~1"
+
+
+def _pr_labels(event_path: str | None) -> list[str]:
+    path = event_path or os.environ.get("GITHUB_EVENT_PATH")
+    if not path or not Path(path).exists():
+        return []
+    try:
+        data = json.loads(Path(path).read_text(encoding="utf-8"))
+    except (OSError, json.JSONDecodeError):
+        return []
+    pr = data.get("pull_request") or {}
+    return [lbl.get("name", "") for lbl in pr.get("labels", []) if lbl.get("name")]
+
+
+def _kernel_changes(files: list[str]) -> list[str]:
+    hits: list[str] = []
+    for path in files:
+        if not path.startswith(f"{KERNEL_DIR}/"):
+            continue
+        name = Path(path).name
+        if name in KERNEL_RULES:
+            hits.append(path)
+    return sorted(set(hits))
+
+
+def main(argv: list[str] | None = None) -> int:
+    ap = argparse.ArgumentParser(description=__doc__.split("\n", 1)[0])
+    ap.add_argument("--base-ref", default=None)
+    ap.add_argument("--label", default=DEFAULT_LABEL)
+    ap.add_argument("--event-path", default=None)
+    ap.add_argument("--files", nargs="*", default=None)
+    args = ap.parse_args(argv)
+
+    files = args.files or _git_changed_files(_resolve_base_ref(args.base_ref))
+    hits = _kernel_changes(files)
+
+    if len(hits) <= 1:
+        if hits:
+            print(f"✅  OK  kernel-rule bundle: 1 rule touched ({hits[0]})")
+        else:
+            print("✅  OK  kernel-rule bundle: no kernel rule touched")
+        return 0
+
+    labels = _pr_labels(args.event_path)
+    if args.label in labels:
+        print(
+            f"✅  OK  kernel-rule bundle: {len(hits)} rules touched but "
+            f"label '{args.label}' present"
+        )
+        for h in hits:
+            print(f"   · {h}")
+        return 0
+
+    print(
+        f"❌  FAIL  kernel-rule bundle: {len(hits)} kernel rules touched in "
+        f"one PR — slow-rollout requires one-rule-per-PR.",
+        file=sys.stderr,
+    )
+    print("   Touched:", file=sys.stderr)
+    for h in hits:
+        print(f"   · {h}", file=sys.stderr)
+    print(
+        f"   Override: add the label '{args.label}' on the PR and "
+        f"document the bundle rationale in the PR body.",
+        file=sys.stderr,
+    )
+    print(
+        "   Source: agents/contexts/adr-always-budget-relief-strategy.md "
+        "(Phase 4.2).",
+        file=sys.stderr,
+    )
+    return 1
+
+
+if __name__ == "__main__":
+    sys.exit(main())

package/scripts/check_references.py

@@ -228,6 +228,10 @@ def check_file(filepath: Path, artifacts: dict[str, set[str]], root: Path) -> Li
             ))
 
     in_code_block = False
+    # Track whether we are inside an unchecked-TODO bullet (multi-line
+    # roadmap items wrap continuation text under the `- [ ]` line and
+    # those continuation lines must inherit the forward-ref exemption).
+    in_unchecked_todo = False
     for i, line in enumerate(text.splitlines(), 1):
         stripped = line.strip()
         if stripped.startswith("```"):
@@ -237,9 +241,25 @@ def check_file(filepath: Path, artifacts: dict[str, set[str]], root: Path) -> Li
             continue
 
         # Unchecked TODO checkboxes document future work — their refs are
-        # forward-looking and will not resolve yet.
+        # forward-looking and will not resolve yet. Track multi-line bullets:
+        # any `- [ ]` opens a TODO context; a new top-level bullet, heading,
+        # or blank line closes it.
         if UNCHECKED_TODO_PATTERN.match(line):
+            in_unchecked_todo = True
             continue
+        if in_unchecked_todo:
+            if not stripped:
+                in_unchecked_todo = False
+                continue
+            # A new bullet (checked or unchecked) or a heading closes the
+            # current TODO context. An indented continuation line keeps it.
+            if re.match(r"^[-*+]\s+\[", line) or stripped.startswith("#"):
+                in_unchecked_todo = False
+            elif line[:1] in (" ", "\t"):
+                # Indented continuation of the unchecked TODO — skip.
+                continue
+            else:
+                in_unchecked_todo = False
 
         # File path references
         for m in PATH_PATTERN.finditer(line):

package/scripts/compile_router.py

@@ -125,6 +125,9 @@ def _collect(rules_dir: Path) -> dict:
             if not COMPILE_TIME_TOGGLES[rule_id](settings):
                 continue
         rule_type = str(fm.get("type", "auto"))
+        # Manual rules are reference-only (ADR-004) — no router emission.
+        if rule_type == "manual":
+            continue
         tier = _resolve_tier(rule_type, fm.get("tier", ""))
         if tier not in ALLOWED_TIERS:
             continue

package/scripts/install.sh

@@ -728,7 +728,6 @@ main() {
     #    into consumer projects.
     copy_if_missing "$SOURCE_PAYLOAD/templates/AGENTS.md" "$TARGET_DIR/AGENTS.md"
     copy_if_missing "$SOURCE_PAYLOAD/templates/copilot-instructions.md" "$TARGET_DIR/.github/copilot-instructions.md"
-    copy_if_missing "$SOURCE_PAYLOAD/templates/copilot-review-instructions.md" "$TARGET_DIR/.github/copilot-review-instructions.md"
 
     # 3. Create tool-specific symlinks
     create_tool_symlinks "$TARGET_DIR"

package/scripts/lint_agents_md.py

@@ -0,0 +1,168 @@
+#!/usr/bin/env python3
+"""Thin-Root contract linter for AGENTS.md files (Phase 7).
+
+Enforces caps + pointer-ratio + pointer-anatomy + emergency-triage
+contract from `.agent-src.uncompressed/skills/agents-md-thin-root/SKILL.md`:
+
+  (a) total char-count under FAIL/WARN budgets per file class
+  (b) substantive-pointer ratio >= 0.40
+  (c) every pointer's *why* clause >= 60 chars
+  (d) every pointer target resolves on disk (anchor validity)
+  (e) emergency-triage section present with the five canonical questions
+
+Exit non-zero on any (a) FAIL, (b)–(e) error. WARN is informational.
+"""
+from __future__ import annotations
+
+import re
+import sys
+from dataclasses import dataclass
+from pathlib import Path
+
+ROOT = Path(__file__).resolve().parent.parent
+QUIET = "--quiet" in sys.argv
+
+LINK_RE = re.compile(r"\[([^\]]+)\]\(([^)]+)\)")
+TRIAGE_KEYWORDS = (
+    "what is this repo",
+    "what language",
+    "where do i edit",
+    "lint / test / sync",
+    "where do the always",
+)
+
+
+@dataclass
+class Target:
+    path: Path
+    label: str
+    fail_at: int
+    warn_at: int
+    template: bool  # consumer template — relax pointer-target resolution
+
+
+TARGETS = [
+    Target(ROOT / "AGENTS.md", "package-root", 3000, 2800, template=False),
+    Target(
+        ROOT / ".agent-src.uncompressed" / "templates" / "AGENTS.md",
+        "consumer-template", 2500, 2300, template=True,
+    ),
+]
+
+
+def _strip_links(line: str) -> str:
+    return LINK_RE.sub(lambda m: m.group(1), line)
+
+
+def _resolve(target_str: str, template: bool) -> bool:
+    raw = target_str.split("#", 1)[0].strip()
+    if raw.startswith("http://") or raw.startswith("https://"):
+        return True
+    candidates = [ROOT / raw]
+    if template and raw.startswith(".augment/"):
+        candidates.append(ROOT / raw.replace(".augment/", ".agent-src.uncompressed/", 1))
+        candidates.append(ROOT / raw.replace(".augment/", ".agent-src/", 1))
+    if raw.startswith(".agent-src/"):
+        candidates.append(ROOT / raw.replace(".agent-src/", ".agent-src.uncompressed/", 1))
+    return any(c.exists() for c in candidates)
+
+
+def lint_file(t: Target) -> tuple[bool, list[str], list[str]]:
+    """Return (ok, errors, warnings)."""
+    errors: list[str] = []
+    warnings: list[str] = []
+    if not t.path.exists():
+        return False, [f"{t.label}: {t.path} not found"], []
+
+    text = t.path.read_text(encoding="utf-8")
+    size = len(text.encode("utf-8"))
+
+    # (a) size
+    if size > t.fail_at:
+        errors.append(f"{t.label}: {size} chars > FAIL cap {t.fail_at}")
+    elif size > t.warn_at:
+        warnings.append(f"{t.label}: {size} chars > WARN cap {t.warn_at}")
+
+    # Filter out structural lines that are not "prose" the contract
+    # asks us to replace with pointers: headings, code fences + content,
+    # HTML comments, and Markdown table rows.
+    lines = text.splitlines()
+    in_fence = False
+    in_comment = False
+    prose: list[str] = []
+    for ln in lines:
+        s = ln.strip()
+        if not s:
+            continue
+        if s.startswith("```"):
+            in_fence = not in_fence
+            continue
+        if in_fence:
+            continue
+        if "<!--" in s:
+            in_comment = True
+        if in_comment:
+            if "-->" in s:
+                in_comment = False
+            continue
+        if s.startswith("#"):  # heading
+            continue
+        if s.startswith("|"):  # markdown table row / separator
+            continue
+        prose.append(ln)
+
+    non_blank = prose
+    pointer_lines = 0
+
+    for ln in non_blank:
+        m = LINK_RE.search(ln)
+        if not m:
+            continue
+        target = m.group(2)
+        # (d) target resolves
+        if not _resolve(target, t.template):
+            errors.append(f"{t.label}: broken pointer target `{target}` in line: {ln.strip()[:100]}")
+        # (c) why-clause length: line minus link syntax
+        why = _strip_links(ln).strip()
+        if len(why) >= 60:
+            pointer_lines += 1
+        # else line has a link but no real why-clause — does not count
+
+    # (b) ratio
+    ratio = pointer_lines / max(len(non_blank), 1)
+    if ratio < 0.40:
+        errors.append(
+            f"{t.label}: substantive-pointer ratio {ratio:.2f} < 0.40 "
+            f"({pointer_lines}/{len(non_blank)} non-blank lines)"
+        )
+
+    # (e) emergency-triage block
+    lower = text.lower()
+    missing = [k for k in TRIAGE_KEYWORDS if k not in lower]
+    if missing:
+        errors.append(f"{t.label}: emergency-triage block missing keywords: {missing}")
+    if "emergency triage" not in lower:
+        errors.append(f"{t.label}: missing 'Emergency triage' section heading")
+
+    return not errors, errors, warnings
+
+
+def main() -> int:
+    rc = 0
+    for t in TARGETS:
+        ok, errors, warnings = lint_file(t)
+        if not QUIET or errors or warnings:
+            print(f"== {t.label} ({t.path.relative_to(ROOT)}) ==")
+        for w in warnings:
+            print(f"  ⚠️  {w}")
+        for e in errors:
+            print(f"  ❌  {e}")
+        if ok and not warnings and not QUIET:
+            print(f"  ✅  ok ({t.path.stat().st_size} bytes)")
+        if not ok:
+            rc = 1
+    return rc
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())

package/scripts/measure_augment_budget.py

@@ -0,0 +1,208 @@
+#!/usr/bin/env python3
+"""Measure the Augment workspace-guidelines budget (Phase 1.1 of
+road-to-augment-limit-fit).
+
+Mirrors Augment's accounting model for the workspace prompt:
+
+1. `AGENTS.md` body (full file, including frontmatter) injected verbatim.
+2. `always`-type rules under `.augment/rules/` — full body injected.
+3. `auto`-type rules — only a registry stub is injected per rule:
+
+       If the user prompt matches the description "<desc>", read the
+       file located in <path>
+
+   The body of an `auto` rule is NOT counted; only the stub line is.
+
+The 49,512-char ceiling is the empirical limit observed against the
+Augment Code workspace prompt (2026-05-08 baseline). This script emits
+a per-component breakdown plus the total against that ceiling.
+
+Output:
+- Default: stdout summary (totals + per-component breakdown).
+- `--json`: deterministic JSON.
+- `--trend-append`: append a snapshot record to
+  `agents/.augment-budget-history.jsonl`.
+
+Exit codes: 0 = under fail threshold, 1 = at/above fail threshold,
+3 = internal error.
+"""
+
+from __future__ import annotations
+
+import argparse
+import datetime as _dt
+import json
+import re
+import sys
+from pathlib import Path
+
+REPO_ROOT = Path(__file__).resolve().parent.parent
+AGENTS_MD = REPO_ROOT / "AGENTS.md"
+RULES_DIR = REPO_ROOT / ".augment" / "rules"
+TREND_FILE = REPO_ROOT / "agents" / ".augment-budget-history.jsonl"
+
+# Augment workspace-guidelines ceiling — empirical 2026-05-08.
+TOTAL_CAP = 49_512
+WARN_THRESHOLD = 0.85
+FAIL_THRESHOLD = 0.95
+
+# Stub template Augment injects for `type: auto` rules. Measured by
+# subtracting variable-length fields (description, path) from a real
+# rendered stub in the host system prompt.
+STUB_TEMPLATE = (
+    'If the user prompt matches the description "{desc}", '
+    "read the file located in {path}"
+)
+
+
+def parse_frontmatter(text: str) -> tuple[dict[str, str], str]:
+    if not text.startswith("---\n"):
+        return {}, text
+    end = text.find("\n---", 4)
+    if end < 0:
+        return {}, text
+    fm_block = text[4:end]
+    body = text[end + 4 :].lstrip("\n")
+    fm: dict[str, str] = {}
+    for line in fm_block.splitlines():
+        m = re.match(r"^([A-Za-z_][A-Za-z0-9_-]*):\s*(.*)$", line)
+        if m:
+            fm[m.group(1)] = m.group(2).strip().strip('"').strip("'")
+    return fm, body
+
+
+def measure() -> dict:
+    components: dict[str, dict] = {}
+
+    # 1. AGENTS.md
+    agents_text = AGENTS_MD.read_text() if AGENTS_MD.exists() else ""
+    components["agents_md"] = {
+        "path": str(AGENTS_MD.relative_to(REPO_ROOT)),
+        "chars": len(agents_text),
+    }
+
+    # 2 + 3. Rules under .augment/rules/.
+    always_total = 0
+    always_rules: list[dict] = []
+    auto_total = 0
+    auto_rules: list[dict] = []
+
+    for rule_path in sorted(RULES_DIR.glob("*.md")):
+        text = rule_path.read_text()
+        fm, _body = parse_frontmatter(text)
+        rtype = fm.get("type", "")
+        rel = str(rule_path.relative_to(REPO_ROOT))
+        if rtype == "always":
+            chars = len(text)
+            always_total += chars
+            always_rules.append({"path": rel, "chars": chars})
+        elif rtype == "auto":
+            desc = fm.get("description", "")
+            stub = STUB_TEMPLATE.format(desc=desc, path=rel)
+            chars = len(stub)
+            auto_total += chars
+            auto_rules.append(
+                {"path": rel, "desc_chars": len(desc), "stub_chars": chars}
+            )
+
+    components["always_rules"] = {
+        "count": len(always_rules),
+        "chars": always_total,
+        "rules": sorted(always_rules, key=lambda r: -r["chars"]),
+    }
+    components["auto_rules"] = {
+        "count": len(auto_rules),
+        "chars": auto_total,
+        "rules": sorted(auto_rules, key=lambda r: -r["stub_chars"]),
+    }
+
+    total = (
+        components["agents_md"]["chars"]
+        + always_total
+        + auto_total
+    )
+    return {
+        "ts": _dt.datetime.now(_dt.timezone.utc).strftime("%Y-%m-%dT%H:%M:%SZ"),
+        "total": total,
+        "cap": TOTAL_CAP,
+        "utilisation": round(total / TOTAL_CAP, 4),
+        "components": components,
+    }
+
+
+def render_text(data: dict) -> str:
+    total = data["total"]
+    cap = data["cap"]
+    util = data["utilisation"]
+    a = data["components"]["agents_md"]["chars"]
+    ar = data["components"]["always_rules"]
+    aur = data["components"]["auto_rules"]
+    lines = [
+        f"Augment workspace-guidelines budget — cap {cap:,} chars",
+        "",
+        f"  AGENTS.md          {a:>6,} chars  ({a/cap*100:5.1f}%)",
+        f"  always-rules ({ar['count']:>2})  {ar['chars']:>6,} chars  ({ar['chars']/cap*100:5.1f}%)",
+        f"  auto-rule stubs ({aur['count']:>2}) {aur['chars']:>6,} chars  ({aur['chars']/cap*100:5.1f}%)",
+        "  " + "-" * 50,
+        f"  TOTAL              {total:>6,} chars  ({util*100:5.1f}%)",
+        "",
+    ]
+    if util >= 1.0:
+        lines.append(f"❌  OVER CAP by {total - cap:,} chars")
+    elif util >= FAIL_THRESHOLD:
+        lines.append(f"❌  FAIL — utilisation {util*100:.1f}% ≥ {FAIL_THRESHOLD*100:.0f}%")
+    elif util >= WARN_THRESHOLD:
+        lines.append(f"⚠️   WARN — utilisation {util*100:.1f}% ≥ {WARN_THRESHOLD*100:.0f}%")
+    else:
+        lines.append(f"✅  OK — utilisation {util*100:.1f}%")
+    return "\n".join(lines)
+
+
+def main() -> int:
+    parser = argparse.ArgumentParser(description=__doc__)
+    parser.add_argument("--json", action="store_true", help="Emit JSON")
+    parser.add_argument(
+        "--trend-append",
+        action="store_true",
+        help="Append a snapshot record to agents/.augment-budget-history.jsonl",
+    )
+    parser.add_argument(
+        "--check",
+        action="store_true",
+        help="Exit non-zero when utilisation ≥ FAIL_THRESHOLD or over cap",
+    )
+    args = parser.parse_args()
+
+    data = measure()
+
+    if args.trend_append:
+        TREND_FILE.parent.mkdir(parents=True, exist_ok=True)
+        rec = {
+            "ts": data["ts"],
+            "total": data["total"],
+            "cap": data["cap"],
+            "utilisation": data["utilisation"],
+            "agents_md": data["components"]["agents_md"]["chars"],
+            "always_rules": data["components"]["always_rules"]["chars"],
+            "auto_rules": data["components"]["auto_rules"]["chars"],
+        }
+        with TREND_FILE.open("a") as fh:
+            fh.write(json.dumps(rec, sort_keys=True) + "\n")
+
+    if args.json:
+        print(json.dumps(data, indent=2, sort_keys=True))
+    else:
+        print(render_text(data))
+
+    if args.check:
+        if data["utilisation"] >= 1.0 or data["utilisation"] >= FAIL_THRESHOLD:
+            return 1
+    return 0
+
+
+if __name__ == "__main__":
+    try:
+        sys.exit(main())
+    except Exception as exc:  # pragma: no cover - defensive top-level guard
+        print(f"❌  measure_augment_budget: internal error: {exc}", file=sys.stderr)
+        sys.exit(3)