@antoneeo/agentic-sdlc-skill 1.34.0 → 1.36.0

package/skills/agentic-sdlc-skill/scripts/sdlc_check.py

@@ -1,80 +1,71 @@
-#!/usr/bin/env python3
-# -*- coding: utf-8 -*-
-"""Agentic SDLC — the CODE domain entry point.
-
-Thin by design. Every behaviour lives in `sdlc_core.py`, the spine shipped
-verbatim in every distribution of the family; this file only says which domain
-this distribution implements and which portable checks it exposes. Command
-names, flags, output and exit codes are unchanged — an existing project sees the
-same tool it always had.
-
-Both files must sit in the same directory. If you copy the validator into a CI
-image, copy BOTH (`ENFORCEMENT.md` §2 has the recipe); copying this one alone
-fails at import, loudly and immediately, which is the intended failure.
-
-Usage is `sdlc_core.py`'s: check / validate / index / stale / mark / gate /
-orient / benefit / plan.
-"""
-import sys
-from pathlib import Path
-
-sys.path.insert(0, str(Path(__file__).resolve().parent))
-
-try:
-    import sdlc_core
-except ImportError as exc:  # pragma: no cover - exercised by TS12, not by unit tests
-    sys.stderr.write(
-        "[ERROR] sdlc_check.py cannot find sdlc_core.py next to it: " + str(exc) + "\n"
-        "        The validator ships as TWO files since the multi-domain core.\n"
-        "        Copy both, or run sdlc_core.py directly.\n")
-    sys.exit(1)
-
-# Re-export the core's surface: existing importers (`import sdlc_check as sc`)
-# and the test batteries reach for these names on this module.
-from sdlc_core import *            # noqa: F401,F403
-from sdlc_core import _map_refs    # noqa: F401  underscore helper used by the batteries
-
-# The domain this distribution implements. It does NOT decide any document's
-# owning domain -- that is resolved per project (`default_domain:` in the docs
-# root's README) and per artifact (`domain:`), so the same tree gets the same
-# verdict from every installed distribution. What it decides is which portable
-# checks a document may import here by name; the rest warn as unavailable.
-DOMAIN = "code"
-
-sdlc_core.set_entry_point(DOMAIN, provides=("code", "knowledge"))
-
-# What this distribution carries. The shared battery reads it; the spine
-# capabilities are not optional, and a shared test refuses a profile that drops one.
-sdlc_core.set_profile(
-    skill_name="agentic-sdlc",
-    unit_noun="feature",
-    support_files=("templates.md", "architect.md", "guides.md", "vision.md", "tdd.md",
-                   "debugging.md", "elicitation.md", "review.md", "dispatch.md",
-                   "routing.md", "hybrid.md", "ENFORCEMENT.md"),
-    capabilities=(
-        # spine
-        "triage", "write_triggers", "workstream_registry", "vision_gate",
-        "design_review_gate", "guide_router", "worktree_hygiene",
-        # code overlay
-        "architect_pass", "interaction_contract", "comprehension_guides", "tdd",
-        "subagent_dispatch", "legacy_narrative_handoff", "question_discipline",
-    ),
-    design_gate_between=("### 3. Request Analysis", "### 4. Development and Testing"),
-    remind_line=(
-        "first decide if this skill governs the work; if yes, LOAD it once -- an "
-        "unread protocol cannot be applied. Declare the level (L1/L2/L3/Spike) "
-        "and the guide-router verdict before acting; an imperative is a request "
-        "to triage. Name the mechanism before fixing the first defect you can "
-        "measure -- symptom patches recur and stack. Replay governing text -- "
-        "doctrine, a prompt, a schema -- against the case that motivated it: red "
-        "under the old text, green under the new."
-    ),
-)
-
-
-def main(argv=None):
-    return sdlc_core.main(argv)
-
-
-if __name__ == "__main__":
-    sys.exit(main())
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+"""Domain entry point with shared project memory.
+
+Ship this file, sdlc_core.py and knowledge.py together. The core alone omits
+knowledge integrity and this entry point\'s domain-specific behavior.
+"""
+import sys
+from pathlib import Path
+
+sys.path.insert(0, str(Path(__file__).resolve().parent))
+
+try:
+    import sdlc_core
+except ImportError as exc:  # pragma: no cover - exercised by TS12, not by unit tests
+    sys.stderr.write(
+        "[ERROR] sdlc_check.py cannot find sdlc_core.py next to it: " + str(exc) + "\n"
+        "        The validator needs entry point, sdlc_core.py and knowledge.py.\n"
+        "        Copy all three together; core alone omits memory and overlay checks.\n")
+    sys.exit(1)
+
+# Re-export the core's surface: existing importers (`import sdlc_check as sc`)
+# and the test batteries reach for these names on this module.
+from sdlc_core import *            # noqa: F401,F403
+from sdlc_core import _map_refs    # noqa: F401  underscore helper used by the batteries
+import knowledge
+
+# The domain this distribution implements. It does NOT decide any document's
+# owning domain -- that is resolved per project (`default_domain:` in the docs
+# root's README) and per artifact (`domain:`), so the same tree gets the same
+# verdict from every installed distribution. What it decides is which portable
+# checks a document may import here by name; the rest warn as unavailable.
+DOMAIN = "code"
+
+sdlc_core.set_entry_point(DOMAIN, provides=("code", "knowledge"))
+
+# What this distribution carries. The shared battery reads it; the spine
+# capabilities are not optional, and a shared test refuses a profile that drops one.
+sdlc_core.set_profile(
+    skill_name="agentic-sdlc",
+    unit_noun="feature",
+    support_files=("templates.md", "architect.md", "guides.md", "vision.md", "tdd.md",
+                   "debugging.md", "elicitation.md", "review.md", "dispatch.md",
+                   "routing.md", "hybrid.md", "ENFORCEMENT.md", "memory.md"),
+    capabilities=(
+        # spine
+        "triage", "write_triggers", "workstream_registry", "vision_gate",
+        "design_review_gate", "guide_router", "worktree_hygiene",
+        # code overlay
+        "architect_pass", "interaction_contract", "comprehension_guides", "tdd",
+        "subagent_dispatch", "legacy_narrative_handoff", "question_discipline",
+    ),
+    design_gate_between=("### 3. Request Analysis", "### 4. Development and Testing"),
+    remind_line=(
+        "first decide if this skill governs the work; if yes, LOAD it once -- an "
+        "unread protocol cannot be applied. Declare the level (L1/L2/L3/Spike) "
+        "and the guide-router verdict before acting; an imperative is a request "
+        "to triage. Name the mechanism before fixing the first defect you can "
+        "measure -- symptom patches recur and stack. Replay governing text -- "
+        "doctrine, a prompt, a schema -- against the case that motivated it: red "
+        "under the old text, green under the new."
+    ),
+)
+
+
+def main(argv=None):
+    return knowledge.main(argv)
+
+
+if __name__ == "__main__":
+    sys.exit(main())

package/skills/agentic-sdlc-skill/scripts/sdlc_core.py

@@ -569,6 +569,36 @@ def git_changed_since(root, ref, rel_path):
         return None
 
 
+def git_ref_state(root, ref):
+    """Where a recorded commit stands against HEAD (F-056).
+
+    'ancestor' -- in HEAD's history; 'orphan' -- a commit HEAD's history does not
+    contain (amended, rebased or squash-merged away, or marked on another branch:
+    it stops resolving once pruned, and on any fresh clone); 'missing' -- not a
+    commit in this repository; 'unknown' -- git gave no yes/no answer.
+    Callers pass a hash-shaped ref only: that check is what keeps document
+    content from reaching git's argv as an option."""
+    try:
+        r = subprocess.run(["git", "cat-file", "-e", ref + "^{commit}"],
+                           cwd=str(root), capture_output=True, text=True, timeout=30)
+        if r.returncode != 0:
+            return "missing"
+        r = subprocess.run(["git", "merge-base", "--is-ancestor", ref, "HEAD"],
+                           cwd=str(root), capture_output=True, text=True, timeout=30)
+    except Exception:
+        return "unknown"
+    return {0: "ancestor", 1: "orphan"}.get(r.returncode, "unknown")
+
+
+def git_is_shallow(root):
+    try:
+        r = subprocess.run(["git", "rev-parse", "--is-shallow-repository"],
+                           cwd=str(root), capture_output=True, text=True, timeout=10)
+        return r.returncode == 0 and r.stdout.strip() == "true"
+    except Exception:
+        return False
+
+
 # -------------------------------------------------------------------- index
 
 def build_index(root):
@@ -1543,6 +1573,18 @@ def cmd_stale(root, hybrid=False):
               "(audit not initialized, or Hybrid mode where mapping is delegated to devPNT).")
         return rc                                  # was: return 0 — MUST carry guide rc
     use_git = git_available(root)
+    entry = entry_script()
+    # The audit plan records the marks: its own edits are not a change to the area
+    # that contains it. Counting them made a committed hash mark of that area
+    # stale again, and every re-mark repeated the loop.
+    try:
+        plan_rel = f.resolve().relative_to(Path(root).resolve()).as_posix()
+    except ValueError:
+        plan_rel = None
+    # F-056: an ANALYZED row whose reference cannot be evaluated is UNVERIFIED,
+    # never fresh. Each `continue` below that skips such a row records it here;
+    # skipping silently is how a pruned reference printed `[ok]` over three areas.
+    unverifiable = []
     stale = []
     for row in rows:
         if row["status"] != "ANALYZED":
@@ -1561,16 +1603,42 @@ def cmd_stale(root, hybrid=False):
             print(f"[warn]  {rel}: path does not exist")
             continue
         changed = []
-        if use_git and re.fullmatch(r"[0-9a-fA-F]{7,40}", ref or ""):
+        remark = f"re-analyze the area, then run: {entry} mark {rel}"
+        if re.fullmatch(r"[0-9a-fA-F]{7,40}", ref or ""):
+            if not use_git:
+                print(f"[stale] {rel}: reference '{ref}' is a git commit, but git is not usable "
+                      "here (not a git work tree, git missing, or the repository refused): its "
+                      "freshness cannot be evaluated. Run stale inside the git work tree, or "
+                      + remark)
+                unverifiable.append(rel)
+                continue
+            state = git_ref_state(root, ref)
+            if state == "missing":
+                shallow = (" This clone is shallow: full history may hold it "
+                           "(git fetch --unshallow)." if git_is_shallow(root) else "")
+                print(f"[stale] {rel}: git ref '{ref}' is not a commit in this repository "
+                      "(amended, rebased or squash-merged away and pruned, or never fetched "
+                      f"here): its freshness cannot be evaluated.{shallow} To fix, " + remark)
+                unverifiable.append(rel)
+                continue
+            if state == "orphan":
+                print(f"[warn]  {rel}: git ref '{ref}' is not an ancestor of HEAD (amended, "
+                      "rebased, squash-merged, or marked on another branch): it stops "
+                      "resolving once git prunes it, and on any fresh clone. Re-mark now: "
+                      f"{entry} mark {rel}")
             res = git_changed_since(root, ref, rel.replace("\\", "/"))
             if res is None:
-                print(f"[warn]  {rel}: git ref '{ref}' unresolvable, cannot evaluate")
+                print(f"[stale] {rel}: git could not compare against ref '{ref}': its "
+                      "freshness cannot be evaluated. To fix, " + remark)
+                unverifiable.append(rel)
                 continue
             changed = res
         else:
             ts = parse_iso(ref)
             if ts is None:
-                print(f"[warn]  {rel}: reference '{ref}' not parseable (neither git hash nor ISO UTC)")
+                print(f"[stale] {rel}: reference '{ref}' is neither a git commit nor an ISO "
+                      "UTC timestamp: its freshness cannot be evaluated. To fix, " + remark)
+                unverifiable.append(rel)
                 continue
             for fp in iter_files(target):
                 mtime = datetime.fromtimestamp(fp.stat().st_mtime, tz=timezone.utc)
@@ -1580,11 +1648,15 @@ def cmd_stale(root, hybrid=False):
                     except ValueError:   # symlink out of the tree: report absolute, never crash
                         name = str(fp)
                     changed.append(name)
+        changed = [c for c in changed if c != plan_rel]
         if changed:
             stale.append((rel, changed))
 
+    if unverifiable:
+        rc = 1                                     # unverified is not fresh (F-056)
     if not stale:
-        print("[ok] no analyzed area was modified after its last recorded analysis.")
+        if not unverifiable:
+            print("[ok] no analyzed area was modified after its last recorded analysis.")
         return rc                                  # was: return 0 — MUST carry guide rc
     print("Areas modified after the last recorded analysis:")
     for rel, changed in stale:
@@ -1593,7 +1665,7 @@ def cmd_stale(root, hybrid=False):
             print(f"    - {c}")
         if len(changed) > 10:
             print(f"    ... and {len(changed) - 10} more")
-    print("\nAfter re-analyzing, record it with: sdlc_check.py mark <path>")
+    print(f"\nAfter re-analyzing, record it with: {entry} mark <path>")
     return 1                                       # stale areas dominate: rc already implied
 
 
@@ -1645,6 +1717,13 @@ def cmd_mark(root, paths):
 
     f.parent.mkdir(parents=True, exist_ok=True)
     f.write_text("\n".join(lines) + "\n", encoding="utf-8")
+    if use_git_ref:
+        # F-056: the reference is born here, so this is where the gestures that
+        # orphan it are named. An amend was the observed one.
+        print(f"[info] {ref} is the current HEAD. Commit this audit plan change as a new "
+              "commit: amending, rebasing or squash-merging that commit orphans the "
+              f"reference, and `{entry_script()} stale` fails once it no longer resolves. "
+              "After a squash or rebase merge, re-mark on the integration branch.")
     return 0
 
 

package/skills/agentic-sdlc-skill/templates.md

@@ -436,7 +436,7 @@ as pending. A ledger id absent from the plan is a non-fatal orphan warning.
 
 ## ai_docs/audit/audit_plan.md (Standalone mode only)
 
-The `Reference` field (git hash or ISO UTC timestamp) is managed by `sdlc_check.py mark` — do not fill it by hand. Freshness is verified with `sdlc_check.py stale`.
+The `Reference` field (git hash or ISO UTC timestamp) is managed by `sdlc_check.py mark` — do not fill it by hand. Freshness is verified with `sdlc_check.py stale`. Commit the `mark` result as a new commit: amending, rebasing or squash-merging the commit it recorded orphans the reference, and `stale` fails once it no longer resolves — after a squash or rebase merge, re-mark on the integration branch.
 
 ```markdown
 # Audit Plan