@amsterdamdatalabs/adl-agent-control-linux-x64 0.1.12 → 0.1.26

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-ledger-clean/docs/notes.md

@@ -0,0 +1,17 @@
+---
+last_update: 2026-09-28T15:10:00Z
+title: Agent notes ledger
+description: Fixture task ledger, one append-only line per task start and finish.
+type: Operations
+status: stable
+sources: packages/agent-settings/assets/GLOBAL-AGENTS.md
+---
+
+# Agent notes ledger
+
+An append-only log; one line when an agent starts a task and one when it finishes.
+
+## Lines
+
+2026-09-28 05:31 claude start: fixture task
+2026-09-28 05:40 claude finish: fixture task

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-ledger-no-lines/docs/notes.md

@@ -0,0 +1,13 @@
+---
+last_update: 2026-09-28T15:10:00Z
+title: Agent notes ledger
+description: Fixture task ledger, one append-only line per task start and finish.
+type: Operations
+status: stable
+sources: packages/agent-settings/assets/GLOBAL-AGENTS.md
+---
+
+# Agent notes ledger
+
+An append-only log; one line when an agent starts a task and one when it finishes.
+

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-profile-clean/docs/architecture/demo.md

@@ -6,7 +6,6 @@ status: draft
 generated:
   by: process:test
   at: '2026-08-22T00:00:00Z'
-document_type: architecture
 sources:
   - resource: repository:fixture
 related:

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-profile-clean/docs-okf-profiles.yaml

@@ -3,6 +3,5 @@ common_required: [type, title, description, status, generated]
 profiles:
   - type: Architecture
     paths: [docs/architecture/**]
-    document_type: architecture
     required: [sources, related]
     headings: [[Purpose], [Target]]

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-profile-untyped/docs/research/no-type.md

@@ -0,0 +1,9 @@
+---
+title: "No type at all"
+description: "Declares no type: unconstrained does not mean optional."
+status: draft
+last_update: '2026-10-01T06:13:54Z'
+sources: plans/features/example/spec.md
+---
+
+# No type at all

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-profile-untyped/docs/research/typed-experiment.md

@@ -0,0 +1,10 @@
+---
+type: Experiment
+title: "Typed experiment"
+description: "Declares type Experiment."
+status: draft
+last_update: '2026-10-01T06:13:54Z'
+sources: plans/features/example/spec.md
+---
+
+# Typed experiment

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-profile-untyped/docs/research/typed-research.md

@@ -0,0 +1,10 @@
+---
+type: Research
+title: "Typed research"
+description: "Declares type Research."
+status: draft
+last_update: '2026-10-01T06:13:54Z'
+sources: plans/features/example/spec.md
+---
+
+# Typed research

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-profile-untyped/docs-okf-profiles.yaml

@@ -0,0 +1,5 @@
+version: "1"
+common_required: [type, title, description, status]
+profiles:
+  - paths: [docs/research/**]
+    required: [last_update, sources]

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-profile-violation/docs/architecture/bad-status.md

@@ -6,7 +6,6 @@ status: canonical
 generated:
   by: process:test
   at: '2026-08-22T00:00:00Z'
-document_type: architecture
 sources:
   - resource: repository:fixture
 related:

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-profile-violation/docs-okf-profiles.yaml

@@ -3,6 +3,5 @@ common_required: [type, title, description, status, generated]
 profiles:
   - type: Architecture
     paths: [docs/architecture/**]
-    document_type: architecture
     required: [sources, related]
     headings: [[Purpose], [Target]]

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/experiment-ok.md

@@ -0,0 +1,15 @@
+---
+type: Experiment
+title: "Fixture experiment plan"
+description: "A research page whose type differs from the other fixture; the Research profile must not constrain type."
+status: draft
+created: 2026-09-30
+last_update: '2026-09-30T00:00:00Z'
+sources:
+  - apps/example/src/stream.ts
+  - dev/config/profiles/local.yaml
+---
+
+# Fixture experiment plan
+
+Hypotheses, phases and a go/no-go gate would go here.

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/extra-key.md

@@ -0,0 +1,15 @@
+---
+type: Research
+title: "Fixture with an ad-hoc key"
+description: "A research page that carries every required field plus one key the register admits nowhere."
+status: draft
+created: 2026-10-01
+last_update: '2026-10-01T06:13:54Z'
+sources:
+  - plans/features/example/spec.md
+review_frequency: weekly
+---
+
+# Fixture with an ad-hoc key
+
+Nothing here is decided.

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/extra-keys.md

@@ -0,0 +1,16 @@
+---
+type: Research
+title: "Fixture with two ad-hoc keys"
+description: "A research page that carries every required field plus two keys the register admits nowhere."
+status: draft
+created: 2026-10-01
+last_update: '2026-10-01T06:13:54Z'
+sources:
+  - plans/features/example/spec.md
+owner: someone
+review_frequency: weekly
+---
+
+# Fixture with two ad-hoc keys
+
+Nothing here is decided.

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/missing-created.md

@@ -0,0 +1,11 @@
+---
+type: Research
+title: "Missing created"
+description: "Research page with no created date."
+status: draft
+last_update: '2026-10-01T06:13:54Z'
+sources:
+  - plans/features/example/spec.md
+---
+
+# Missing created

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/missing-description.md

@@ -0,0 +1,11 @@
+---
+type: Research
+title: "Missing description"
+status: draft
+created: 2026-10-01
+last_update: '2026-10-01T06:13:54Z'
+sources:
+  - plans/features/example/spec.md
+---
+
+# Missing description

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/missing-last-update.md

@@ -0,0 +1,11 @@
+---
+type: Research
+title: "Missing last_update"
+description: "Research page with no last_update."
+status: draft
+created: 2026-10-01
+sources:
+  - plans/features/example/spec.md
+---
+
+# Missing last_update

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/missing-sources.md

@@ -0,0 +1,10 @@
+---
+type: Research
+title: "Missing sources"
+description: "Research page with no sources."
+status: draft
+created: 2026-10-01
+last_update: '2026-10-01T06:13:54Z'
+---
+
+# Missing sources

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/missing-status.md

@@ -0,0 +1,11 @@
+---
+type: Research
+title: "Missing status"
+description: "Research page with no status."
+created: 2026-10-01
+last_update: '2026-10-01T06:13:54Z'
+sources:
+  - plans/features/example/spec.md
+---
+
+# Missing status

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/missing-title.md

@@ -0,0 +1,11 @@
+---
+type: Research
+description: "Research page with no title."
+status: draft
+created: 2026-10-01
+last_update: '2026-10-01T06:13:54Z'
+sources:
+  - plans/features/example/spec.md
+---
+
+# Missing title

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/optional-keys.md

@@ -0,0 +1,16 @@
+---
+type: Research
+title: "Fixture with optional keys"
+description: "A research page whose extra keys are all in the register's common_optional list."
+status: draft
+created: 2026-10-01
+last_update: '2026-10-01T06:13:54Z'
+sources:
+  - plans/features/example/spec.md
+stale_after: '2027-01-01'
+verified: true
+---
+
+# Fixture with optional keys
+
+Nothing here is decided.

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research/docs/research/research-ok.md

@@ -0,0 +1,14 @@
+---
+type: Research
+title: "Fixture research input"
+description: "A research page that carries every field the Research profile requires."
+status: draft
+created: 2026-10-01
+last_update: '2026-10-01T06:13:54Z'
+sources:
+  - plans/features/example/spec.md
+---
+
+# Fixture research input
+
+Nothing here is decided.

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research-neighbours/docs/architecture/created-date.md

@@ -0,0 +1,21 @@
+---
+type: Architecture
+title: "Architecture page with a research-only key"
+description: "An architecture page carrying created: the Research profile requires that key, but this profile does not admit it."
+status: draft
+created: 2026-10-01
+sources: packages/example/**
+related: docs/architecture/created-date.md
+---
+
+# Architecture page with a research-only key
+
+## Purpose
+
+## Target
+
+## Invariant
+
+## Verification
+
+Nothing here is decided.

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research-neighbours/docs/architecture/research-shaped.md

@@ -0,0 +1,19 @@
+---
+type: Experiment
+title: "Research-shaped architecture page"
+description: "Research frontmatter under docs/architecture: the Research profile must not capture it."
+status: draft
+last_update: '2026-10-01T06:13:54Z'
+sources: packages/example/**
+related: docs/architecture/research-shaped.md
+---
+
+# Research-shaped architecture page
+
+## Purpose
+
+## Component
+
+## Constraint
+
+## Verification

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/fixtures/okf-research-neighbours/docs/operations/runbook.md

@@ -0,0 +1,26 @@
+---
+type: Operations
+title: "Fixture runbook"
+description: "An operations page with no last_update: that field is the Research profile's, not Operations'."
+status: stable
+sources: packages/example/**
+related: docs/operations/runbook.md
+---
+
+# Fixture runbook
+
+## Purpose
+
+What this runbook is for.
+
+## Procedure
+
+The steps.
+
+## Access
+
+Who may run it.
+
+## Verification
+
+How to check it worked.

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/okf_profile/test_check.py

@@ -4,23 +4,36 @@ Two fixtures, matching the shell version's exact scenarios: a compliant
 Architecture page, and one with an invalid `status` value. Each corpus carries
 its own cut-down profile register, passed as the `profiles` input override —
 the packaged production register is not what these two scenarios are about.
+
+The tests below them grade the PACKAGED register: the task-ledger profile, and
+the Research profile for `docs/research/**` together with the engine rule it
+needs (a profile may declare no `type`, leaving the value unconstrained).
+
+The last section grades the closed key set (2026-10-02): a document may carry
+only the keys its profile admits — `common_required`, `common_optional`, and
+the profile's own `required` — and every other frontmatter key is reported by
+name.
 """
 
 from __future__ import annotations
 
 import pathlib
 
+import pytest
+import yaml
+
 from adl_compliance import runner
 from adl_compliance.core.verdict import Outcome
 from adl_compliance.policy.registry import load
 
 FIXTURES = pathlib.Path(__file__).parent / "fixtures"
+PACKAGED_REGISTER = pathlib.Path(__file__).parent / "docs-okf-profiles.yaml"
 ROW = load().by_id("DOC-006")
 
 
-def run(case: str) -> object:
+def run(case: str, only: tuple[str, ...] | None = None) -> object:
     directory = FIXTURES / case
-    given = tuple(
+    given = only if only is not None else tuple(
         str(p.relative_to(directory))
         for p in directory.rglob("*.md")
     )
@@ -47,3 +60,216 @@ def test_no_set_is_could_not_run() -> None:
         inputs={ROW.id: {"profiles": FIXTURES / "okf-profile-violation" / "docs-okf-profiles.yaml"}},
     )
     assert verdict.outcome is Outcome.COULD_NOT_RUN
+
+
+def run_packaged(case: str, only: tuple[str, ...] | None = None) -> object:
+    """Grade a fixture against the PACKAGED register (no `profiles` override),
+    because the subject here is the register this package ships."""
+    directory = FIXTURES / case
+    given = only if only is not None else tuple(
+        str(p.relative_to(directory)) for p in directory.rglob("*.md")
+    )
+    return runner.run(ROW, directory, given)
+
+
+def test_the_task_ledger_matches_a_packaged_profile() -> None:
+    """`docs/notes.md` is the repository's task ledger (the global agent rule:
+    one line at the start and one at the finish of every task). It carries
+    OKF frontmatter and a `## Lines` section and nothing else a profile could
+    demand, so the packaged register must select a profile for it."""
+    verdict = run_packaged("okf-ledger-clean")
+    assert verdict.outcome is Outcome.CLEAN, verdict.render()
+
+
+def test_the_task_ledger_profile_requires_the_lines_section() -> None:
+    """Without this, the clean case above also passes against a profile that
+    asserts nothing about the ledger."""
+    verdict = run_packaged("okf-ledger-no-lines")
+    assert verdict.outcome is Outcome.FINDINGS
+    assert any("missing one of headings: Lines" in f.message for f in verdict.findings), (
+        verdict.render()
+    )
+
+
+def messages(verdict: object, relative: str) -> list[str]:
+    """Every message reported against one file, sorted, so a test can assert the
+    EXACT set rather than that some finding somewhere mentioned a field."""
+    return sorted(f.message for f in verdict.findings if f.path == relative)
+
+
+# ---- a profile may leave `type` unconstrained (engine) ----------------------
+#
+# The two pages that moved to docs/research/ differ in `type` (Research and
+# Experiment), so the Research profile cannot name one. `type` is optional per
+# profile: a profile that declares none asserts nothing about the VALUE, while
+# `common_required` still demands the field.
+
+UNTYPED = "okf-profile-untyped"
+
+
+@pytest.mark.parametrize("page", ["typed-research.md", "typed-experiment.md"])
+def test_a_profile_that_declares_no_type_accepts_any_type_value(page: str) -> None:
+    verdict = run(UNTYPED, only=(f"docs/research/{page}",))
+    assert verdict.outcome is Outcome.CLEAN, verdict.render()
+
+
+def test_a_profile_that_declares_no_type_still_requires_the_field_to_be_present() -> None:
+    """Unconstrained is not optional: `type` is in `common_required`."""
+    relative = "docs/research/no-type.md"
+    verdict = run(UNTYPED, only=(relative,))
+    assert verdict.outcome is Outcome.FINDINGS
+    assert messages(verdict, relative) == ["missing required OKF field type"], verdict.render()
+
+
+def test_a_profile_that_declares_a_type_still_constrains_it() -> None:
+    """Guard for the change above: making `type` optional per profile must not
+    drop the assertion for the profiles that DO declare one. The page is
+    research-shaped (type Experiment) but sits under docs/architecture/, so the
+    Architecture profile grades it and rejects the type -- which also shows the
+    Research profile does not reach outside docs/research/."""
+    relative = "docs/architecture/research-shaped.md"
+    verdict = run_packaged("okf-research-neighbours", only=(relative,))
+    assert verdict.outcome is Outcome.FINDINGS
+    assert messages(verdict, relative) == [
+        "type must be 'Architecture' (got 'Experiment')",
+    ], verdict.render()
+
+
+# ---- the packaged Research profile ------------------------------------------
+
+RESEARCH = "okf-research"
+
+
+def research(page: str) -> str:
+    return f"docs/research/{page}"
+
+
+@pytest.mark.parametrize(
+    ("page", "declared_type"),
+    [("research-ok.md", "Research"), ("experiment-ok.md", "Experiment")],
+)
+def test_a_research_page_with_every_required_field_passes_whatever_its_type(
+    page: str, declared_type: str
+) -> None:
+    """Both real pages moved to docs/research/ declare a different `type`; each
+    carries title, description, status, created, last_update and sources, and neither
+    carries `related` (the profile does not require it)."""
+    source = (FIXTURES / RESEARCH / research(page)).read_text()
+    assert f"\ntype: {declared_type}\n" in source, "the fixture must declare the type it is named for"
+    assert "related" not in source
+    verdict = run_packaged(RESEARCH, only=(research(page),))
+    assert verdict.outcome is Outcome.CLEAN, verdict.render()
+
+
+@pytest.mark.parametrize(
+    ("page", "expected"),
+    [
+        ("missing-title.md", ["missing required OKF field title"]),
+        ("missing-description.md", ["missing required OKF field description"]),
+        (
+            "missing-status.md",
+            ["invalid OKF status None", "missing required OKF field status"],
+        ),
+        ("missing-last-update.md", ["missing profile field last_update"]),
+        ("missing-sources.md", ["missing profile field sources"]),
+        ("missing-created.md", ["missing profile field created"]),
+    ],
+)
+def test_each_missing_research_field_is_reported_by_name(page: str, expected: list[str]) -> None:
+    verdict = run_packaged(RESEARCH, only=(research(page),))
+    assert verdict.outcome is Outcome.FINDINGS, verdict.render()
+    assert messages(verdict, research(page)) == sorted(expected), verdict.render()
+
+
+def test_a_page_outside_docs_research_is_graded_by_its_own_profile() -> None:
+    """The runbook has no `last_update`. That field is the Research profile's;
+    the Operations profile must not have gained it."""
+    verdict = run_packaged("okf-research-neighbours", only=("docs/operations/runbook.md",))
+    assert verdict.outcome is Outcome.CLEAN, verdict.render()
+
+
+def test_without_the_research_profile_a_research_page_matches_no_profile(
+    tmp_path: pathlib.Path,
+) -> None:
+    """Negative control. The finding this profile exists to remove is
+    "no OKF profile matches this path". Take the PACKAGED register, drop only
+    its Research profile, and the same page reproduces that finding; with the
+    profile in place the finding is gone. The only difference between the two
+    runs is the profile."""
+    register = yaml.safe_load(PACKAGED_REGISTER.read_text())
+    kept = [p for p in register["profiles"] if "docs/research/**" not in p["paths"]]
+    assert len(kept) == len(register["profiles"]) - 1, (
+        "the packaged register must carry exactly one profile covering docs/research/**"
+    )
+    register["profiles"] = kept
+    without = tmp_path / "docs-okf-profiles.yaml"
+    without.write_text(yaml.safe_dump(register))
+
+    page = research("research-ok.md")
+    before = runner.run(
+        ROW, FIXTURES / RESEARCH, (page,), inputs={ROW.id: {"profiles": without}},
+    )
+    assert before.outcome is Outcome.FINDINGS
+    assert messages(before, page) == ["no OKF profile matches this path"], before.render()
+
+    after = run_packaged(RESEARCH, only=(page,))
+    assert after.outcome is Outcome.CLEAN, after.render()
+
+
+# ---- the frontmatter key set is closed (2026-10-02) --------------------------
+#
+# required-only grading has a hole the register itself kept documenting: keys
+# nobody admitted accumulated in real documents because nothing rejected them.
+# The set a document may draw from is exactly its profile's admission list —
+# common_required, common_optional, and the profile's own required — and any
+# other key is reported by name. That is the same extra="forbid" contract
+# core/models.py grades this package's own policy documents with, applied at
+# the frontmatter layer; the root agent rule's "admit the new key by editing
+# docs-okf-profiles.yaml, never ad-hoc in a document" is this rule's workflow.
+
+NEIGHBOURS = "okf-research-neighbours"
+
+
+def test_a_frontmatter_key_outside_the_vocabulary_is_reported_by_name() -> None:
+    """`review_frequency` is audit metadata the Compliance Assessment profile
+    wants and nothing else admits; parked on a research page it is reported,
+    not graded around."""
+    relative = research("extra-key.md")
+    verdict = run_packaged(RESEARCH, only=(relative,))
+    assert verdict.outcome is Outcome.FINDINGS, verdict.render()
+    assert messages(verdict, relative) == [
+        "unknown OKF frontmatter key 'review_frequency'"
+    ], verdict.render()
+
+
+def test_every_unknown_frontmatter_key_is_reported() -> None:
+    relative = research("extra-keys.md")
+    verdict = run_packaged(RESEARCH, only=(relative,))
+    assert verdict.outcome is Outcome.FINDINGS, verdict.render()
+    assert messages(verdict, relative) == [
+        "unknown OKF frontmatter key 'owner'",
+        "unknown OKF frontmatter key 'review_frequency'",
+    ], verdict.render()
+
+
+def test_common_optional_frontmatter_keys_are_accepted() -> None:
+    """`stale_after` and `verified` are in the register's common_optional:
+    allowed on any document, required of none. An admitted-optional key must
+    not be reported — the set is closed, not shrunk to required-only."""
+    relative = research("optional-keys.md")
+    verdict = run_packaged(RESEARCH, only=(relative,))
+    assert verdict.outcome is Outcome.CLEAN, verdict.render()
+
+
+def test_a_key_only_another_profile_requires_is_unknown_here() -> None:
+    """The set is closed PER PROFILE, not per register: `created` is in the
+    vocabulary — the Research profile requires it — but the Architecture
+    profile does not admit it, so an architecture page carrying it is
+    reported. Otherwise every profile's required list would leak into every
+    other profile by construction."""
+    relative = "docs/architecture/created-date.md"
+    verdict = run_packaged(NEIGHBOURS, only=(relative,))
+    assert verdict.outcome is Outcome.FINDINGS, verdict.render()
+    assert messages(verdict, relative) == [
+        "unknown OKF frontmatter key 'created'"
+    ], verdict.render()

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/register.py

@@ -12,6 +12,11 @@ over the same YAML would disagree with this one the moment either check grew a
 field, exactly as `checks/coverage/register.py`'s docstring records for
 `COV-002`/`COV-003`.
 
+Retired 2026-10-01: `checks/coverage/register.py` and the whole `coverage`
+domain (COV-001..005) were deleted. Every mention of them in this docstring is
+kept as the record of why this register is shared, not as a pointer to code that
+still exists.
+
 This is the one genuinely CROSS-domain register in the estate — every other
 shared document (the coverage register, the Rust policy JSON) is read by two
 checks that already share a domain. `core/` holds no precedent for a register

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/docs/semantics/test_check.py

@@ -19,6 +19,8 @@ single gate's test module (no other ported check re-asserts it either).
 
 from __future__ import annotations
 
+import pathlib
+
 import pytest
 from helpers import corpus, corpus_files
 
@@ -220,8 +222,15 @@ def test_no_set_is_could_not_run() -> None:
 def test_an_absent_docs_root_is_a_finding_not_a_pass() -> None:
     """An absent directory yields an empty set, and an empty set is a clean
     pass everywhere else in this estate. Without this structural probe the
-    tree losing docs/ entirely would pass in silence."""
-    verdict = runner.run(ROW, corpus("coverage", "baseline") / "passing", given=())
+    tree losing docs/ entirely would pass in silence.
+
+    The root is `repository/lockfile-integrity`'s `clean` corpus, which holds no
+    `docs/` at all (a backend/frontend lockfile pair). It was the retired
+    `coverage/baseline` `passing` corpus until the `coverage` domain was deleted
+    2026-10-01."""
+    verdict = runner.run(
+        ROW, corpus("repository", "lockfile-integrity") / "clean", given=()
+    )
     assert verdict.outcome is Outcome.FINDINGS, verdict.render()
     assert "docs content root is missing" in verdict.render()
 

package/packages/repo-controls/package/adl-compliance/src/adl_compliance/checks/layout/directory_ratchet/__init__.py

@@ -1,8 +1,10 @@
 """The `layout.directory-ratchet` gate.
 
-A folder rather than a module because this gate GRADES A DOCUMENT, and the
-document belongs beside the check that reads it. `check.py` is the rule;
-anything else in here is what it grades.
+One gate is one folder: `check.py` is the rule; the test and the fixture
+corpora live beside it. The document the gate GRADES does NOT belong beside
+the check — it is the CONSUMER's own register, named by the check's `inputs`
+(`<compliance>/ratchets/LAY-004-over-limit-directory.yaml`, the K-42 history
+on `inputs` in check.py). Only the fixtures' registers sit in here.
 """
 
 from __future__ import annotations