debt_ratchet.py is only the CI entry; the pinned audit owns every measure

src/agent_comms/phase_evidence.py

@@ -25,7 +25,9 @@
 from agent_comms.declared_family import DeclaredFamily
 from agent_comms.field_codec import FieldCodec
 from agent_comms.head_review import HeadReview
-from agent_comms.pinned_audit import ForeignAbsenceProbe, GodFunction, ParsedModule
+import agent_comms
+from agent_comms import skills
+from agent_comms.pinned_audit import SKILL, ForeignAbsenceProbe, GodFunction, ParsedModule, audit
 from agent_comms.private_path import FileObservation, FileRevision
 from agent_comms.repo import GitCommandError, Repo
 
@@ -100,6 +102,12 @@ def matching_lines(self, pattern: str, paths: tuple[str, ...]) -> frozenset[tupl
             )
         )
 
+    def pinned(self, path: str) -> MainTree:
+        """The tree of the submodule this commit pins at ``path``: another repository's tree,
+        read at exactly the commit its gitlink names, from that repository's own objects."""
+        commit = Repo.git(self.repo.checkout, "rev-parse", f"{self.commit}:{path}").strip()
+        return MainTree(Repo.of(self.repo.checkout / path), commit)
+
     def module(self, path: str) -> ParsedModule:
         blob, = Repo.blobs(self.repo.checkout, f"{self.commit}:{path}")
         source = blob.decode()
@@ -412,6 +420,27 @@ def describe(self) -> str:
         return f"{self.pattern!r} in {' '.join(self.paths)} on main"
 
 
+@dataclass(frozen=True)
+class AuditPatternPresent(PatternPresent):
+    """A pattern in the audit package of the refactor-audit main pins, at the commit it pins:
+    code this repository runs from that repository. Where the submodule sits and where its
+    package sits inside it are pinned_audit's, read from the loaded skill."""
+
+    def read(self, main: MainTree) -> bool:
+        # The skills package's place under the source root, read from the loaded package.
+        installed = Path(skills.__path__[0]).relative_to(Path(agent_comms.__path__[0]).parent)
+        submodule = Path(main.repo.source, installed, SKILL.name)
+        package = Path(audit.__path__[0]).relative_to(SKILL)
+        if not main.has(submodule.as_posix()):
+            # A commit that pins no audit holds none of its patterns.
+            return self.satisfied(0)
+        pinned = main.pinned(submodule.as_posix())
+        return self.satisfied(pinned.count(self.pattern, (package.as_posix(),)))
+
+    def describe(self) -> str:
+        return f"{self.pattern!r} in the audit package of the refactor-audit main pins"
+
+
 @dataclass(frozen=True)
 class DocumentPatternPresent(PatternPresent):
     """A recorded document fact, rather than executable Python source."""
@@ -683,7 +712,7 @@ def read(self, main: MainTree) -> bool:
         )
 
     def describe(self) -> str:
-        return f"{self.name} in {self.path} at most {GodFunction.threshold} lines on main"
+        return f"{self.name} in {self.path} at most {GodFunction.threshold()} lines on main"
 
 
 @dataclass(frozen=True)
@@ -696,7 +725,7 @@ class NoAbsenceProbes(MainEvidence):
     def read(self, main: MainTree) -> bool:
         """Every node is offered to the probe, whose own pattern decides what it counts."""
         return not any(
-            ForeignAbsenceProbe.count(node)
+            ForeignAbsenceProbe.occurrences(node)
             for module in main.present_modules(self.paths)
             for node in ast.walk(module.tree)
         )

src/agent_comms/pinned_audit.py

@@ -11,11 +11,12 @@
 
 from agent_comms import skills
 
-SCRIPTS = Path(str(files(skills) / "refactor-audit" / "scripts"))
+SKILL = Path(str(files(skills) / "refactor-audit"))
+SCRIPTS = SKILL / "scripts"
 if str(SCRIPTS) not in sys.path:
     sys.path.insert(0, str(SCRIPTS))
 
 import audit as audit  # noqa: E402
 from audit.findings import GodFunction as GodFunction  # noqa: E402
 from audit.findings import ParsedModule as ParsedModule  # noqa: E402
-from audit.measures import ForeignAbsenceProbe as ForeignAbsenceProbe  # noqa: E402
+from audit.source_measures import ForeignAbsenceProbe as ForeignAbsenceProbe  # noqa: E402

src/agent_comms/plan_phases.py

@@ -23,6 +23,7 @@
 from agent_comms.field_codec import Id128, MessageId, NominalSpelling, NominalText
 from agent_comms.phase_evidence import (
     AllEvidence,
+    AuditPatternPresent,
     BusStorageAbsent,
     ClassFlagsAbsent,
     QualifiedName,
@@ -551,7 +552,7 @@ class PlainStrIdRatchetPhase(Id128NominalPhase):
     """2: no file gains a plain ``str`` annotation on an id-named field or parameter."""
 
     after = (NominalIdTypePhase,)
-    evidence = PatternPresent(r"^class PlainStrIdAnnotation\(", ("tools/debt_ratchet.py",))
+    evidence = AuditPatternPresent(r"^class PlainStrIdAnnotation\(")
 
 
 class ClaimIdsPhase(Id128NominalPhase):
@@ -1019,7 +1020,7 @@ class MaintenanceInWritePhase(StoreGuardsPhase):
 class LockCensusPhase(StoreGuardsPhase):
     """5: the debt ratchet counts lock calls outside the store owners and refuses growth."""
 
-    evidence = PatternPresent(r"^class StoreLockCalls\(", ("tools/debt_ratchet.py",))
+    evidence = AuditPatternPresent(r"^class StoreLockCalls\(")
 
 
 class ScopedReadsPhase(StoreGuardsPhase):