@afokapu/atdd-bun 0.6.0 → 0.6.1

package/conventions/atdd-bun.planner/atdd-bun.planner.acceptance-identity.convention.yaml

@@ -0,0 +1,27 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.planner.acceptance-identity
+kind: rule
+status: active
+name: Embedded acceptances carry an acceptance identity
+statement: Every acceptance embedded in a WMBT is an object whose `identity.urn` starts with `acc:`. Package rule,
+  strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+content:
+  summary: Embedded acceptances carry an acceptance identity.
+  normative_text: Tests bind acceptances by that identity; one without it can never be proven.
+  fix_hint: 'Give the acceptance `identity: { urn: acc:<wagon>:<id> }`.'
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-PLANNER-ACCEPTANCE-IDENTITY
+  severity: 3
+  disposition: strict
+  introduced_in: 0.1.0
+implementation:
+  type: validator
+  ref: planner_plan_integrity

package/conventions/atdd-bun.planner/atdd-bun.planner.identity-required.convention.yaml

@@ -0,0 +1,28 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.planner.identity-required
+kind: rule
+status: active
+name: Plan artifacts carry their identity
+statement: Every plan artifact whose kind the planner recognizes carries its canonical identity (`train_id`, `interlocking_id`,
+  `journey_id`, or `urn`). Package rule, strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+content:
+  summary: Plan artifacts carry their identity.
+  normative_text: An artifact without an identity cannot be referenced, bound, or traced; every rule that resolves
+    references silently skips it.
+  fix_hint: 'Add the identity field for the artifact kind, for example `interlocking_id: interlocking:checkout`.'
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-PLANNER-IDENTITY-REQUIRED
+  severity: 3
+  disposition: strict
+  introduced_in: 0.1.0
+implementation:
+  type: validator
+  ref: planner_plan_integrity

package/conventions/atdd-bun.planner/atdd-bun.planner.identity-unique.convention.yaml

@@ -0,0 +1,27 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.planner.identity-unique
+kind: rule
+status: active
+name: Plan identities are unique
+statement: No two plan artifacts declare the same identity (`train_id`, `interlocking_id`, `journey_id`, `urn`,
+  …). Package rule, strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+content:
+  summary: Plan identities are unique.
+  normative_text: A reference to a duplicated identity resolves to whichever file was read first.
+  fix_hint: Rename one of the artifacts, or merge them.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-PLANNER-IDENTITY-UNIQUE
+  severity: 3
+  disposition: strict
+  introduced_in: 0.1.0
+implementation:
+  type: validator
+  ref: planner_plan_integrity

package/conventions/atdd-bun.planner/atdd-bun.planner.interlocking-participant-resolves.convention.yaml

@@ -0,0 +1,28 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.planner.interlocking-participant-resolves
+kind: rule
+status: active
+name: Interlocking participants resolve
+statement: Every participant and lifeline an interlocking lists is either an external actor (`user:…`, `system:…`)
+  or a typed reference to an artifact the plan declares. Package rule, strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+content:
+  summary: Interlocking participants resolve.
+  normative_text: A routing decision between participants the plan does not declare cannot be traced to anything
+    that implements it.
+  fix_hint: Declare the participant, or correct the lifeline.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-PLANNER-INTERLOCKING-PARTICIPANT-RESOLVES
+  severity: 3
+  disposition: strict
+  introduced_in: 0.1.0
+implementation:
+  type: validator
+  ref: planner_plan_integrity

package/conventions/atdd-bun.planner/atdd-bun.planner.parse.convention.yaml

@@ -0,0 +1,27 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.planner.parse
+kind: rule
+status: active
+name: Plan artifacts parse
+statement: Every `.yaml`, `.yml` or `.json` file under `plan/` parses. Package rule, strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+content:
+  summary: Plan artifacts parse.
+  normative_text: An artifact that does not parse is invisible to every other rule, so its defects hide behind one
+    error.
+  fix_hint: Fix the syntax the finding reports.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-PLANNER-PARSE
+  severity: 3
+  disposition: strict
+  introduced_in: 0.1.0
+implementation:
+  type: validator
+  ref: planner_plan_integrity

package/conventions/atdd-bun.planner/atdd-bun.planner.reference-resolves.convention.yaml

@@ -0,0 +1,28 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.planner.reference-resolves
+kind: rule
+status: active
+name: Typed plan references resolve
+statement: Every typed reference an artifact makes (`wagon:`, `feature:`, `wmbt:`, `train:`, `interlocking:`, `journey:`)
+  names an artifact the plan declares. `contract:` references are resolved by the contract registry rules instead.
+  Package rule, strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+content:
+  summary: Typed plan references resolve.
+  normative_text: A reference to nothing is a relationship the plan claims and cannot show.
+  fix_hint: Declare the referenced artifact, or correct the reference.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-PLANNER-REFERENCE-RESOLVES
+  severity: 3
+  disposition: strict
+  introduced_in: 0.1.0
+implementation:
+  type: validator
+  ref: planner_plan_integrity

package/conventions/atdd-bun.planner/atdd-bun.planner.schema.convention.yaml

@@ -0,0 +1,30 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.planner.schema
+kind: rule
+status: active
+name: Plan artifacts satisfy their package-shipped schema
+statement: Every recognized plan artifact (wagon, feature, WMBT and its acceptances, train, train interlocking,
+  journey topology, registries) satisfies its JSON Schema in `planner-schemas/`. A violation that belongs to a canonical
+  rule is reported under that rule (for example `planner.train.naming`); every other violation is reported here.
+  Package rule, strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+content:
+  summary: Plan artifacts satisfy their package-shipped schema.
+  normative_text: The schemas are the shape every other rule assumes. An artifact that breaks its schema breaks
+    those assumptions silently.
+  fix_hint: Correct the field the finding names, as the schema requires.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-PLANNER-SCHEMA
+  severity: 3
+  disposition: strict
+  introduced_in: 0.1.0
+implementation:
+  type: validator
+  ref: planner_schema_validation

package/conventions/atdd-bun.planner/atdd-bun.planner.train-wagon-resolves.convention.yaml

@@ -0,0 +1,26 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.planner.train-wagon-resolves
+kind: rule
+status: active
+name: Train wagons resolve
+statement: Every wagon a train lists under `wagons:` is declared as `wagon:<slug>`. Package rule, strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+content:
+  summary: Train wagons resolve.
+  normative_text: A train ordering a wagon that does not exist cannot run.
+  fix_hint: Declare the wagon, or remove it from the train.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-PLANNER-TRAIN-WAGON-RESOLVES
+  severity: 3
+  disposition: strict
+  introduced_in: 0.1.0
+implementation:
+  type: validator
+  ref: planner_plan_integrity

package/conventions/atdd-bun.topology/atdd-bun.topology.e2e-location.convention.yaml

@@ -0,0 +1,38 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.topology.e2e-location
+kind: rule
+status: active
+name: Every interlocking route and exposed journey has an end-to-end test at its canonical path
+statement: 'Every interlocking route has `<e2e_root>/interlockings/<interlocking>/<route>.routes.test.ts`, and every
+  exposed journey `<e2e_root>/journeys/<journey>.journey.test.ts`, each carrying a `test:{wagon}:{feature}:{acceptance}`
+  URN for a declared feature and binding `Acceptance: acc:{wagon}:{acceptance}` declared by a WMBT. On an exposed
+  journey whose surfaces include `frontend`, a Playwright spec (`*.e2e.ts`) substitutes for the Bun test when it
+  is bound to the route''s train (`// Train:`) or the journey (`// Journey:`) and carries a valid E2E or SMOKE test
+  URN for that same subject (`test:train:<id>:E2E-NNN-…`, `test:journey:<id>:SMOKE-NNN-…`). A browser spec carries
+  its identity as that URN instead of an `Acceptance:` line, which `tester.htmx.journey-no-acceptance-marker` forbids
+  on journey specs. Package rule, strict.'
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+- term_id: topology_settings
+  text: the `topology:` keys `plan_root`, `source_root`, `test_root`, `e2e_root` in `atdd-bun.yaml` (defaults `plan`,
+    `src/wagons`, `tests/wagons`, `e2e`).
+content:
+  summary: Every interlocking route and exposed journey has an end-to-end test at its canonical path.
+  normative_text: 'One behaviour, one end-to-end proof at a path derived from the plan: a missing proof is found
+    by path, not by searching.'
+  fix_hint: Add the test at the path the finding names, or, on a frontend journey, a Playwright spec bound with
+    `// Train:` or `// Journey:`.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-TOPOLOGY-E2E-LOCATION
+  severity: 3
+  disposition: strict
+  introduced_in: 0.6.0
+implementation:
+  type: validator
+  ref: atdd_topology

package/conventions/atdd-bun.topology/atdd-bun.topology.feature-source-coverage.convention.yaml

@@ -0,0 +1,30 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.topology.feature-source-coverage
+kind: rule
+status: active
+name: A feature with WMBTs has source
+statement: A feature that owns WMBTs has at least one source component beneath `<source_root>/<wagon>/features/<feature>/`.
+  Package rule, strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+- term_id: topology_settings
+  text: the `topology:` keys `plan_root`, `source_root`, `test_root`, `e2e_root` in `atdd-bun.yaml` (defaults `plan`,
+    `src/wagons`, `tests/wagons`, `e2e`).
+content:
+  summary: A feature with WMBTs has source.
+  normative_text: A feature with behaviour to deliver and no implementation is a gap the plan already names.
+  fix_hint: Implement the feature beneath its directory, or move the WMBTs to the feature that delivers them.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-TOPOLOGY-FEATURE-SOURCE-COVERAGE
+  severity: 3
+  disposition: strict
+  introduced_in: 0.6.0
+implementation:
+  type: validator
+  ref: atdd_topology

package/conventions/atdd-bun.topology/atdd-bun.topology.feature-test-coverage.convention.yaml

@@ -0,0 +1,29 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.topology.feature-test-coverage
+kind: rule
+status: active
+name: A feature with WMBTs has a test bound to one of its acceptances
+statement: A feature that owns WMBTs has at least one test bound to one of its acceptances. Package rule, strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+- term_id: topology_settings
+  text: the `topology:` keys `plan_root`, `source_root`, `test_root`, `e2e_root` in `atdd-bun.yaml` (defaults `plan`,
+    `src/wagons`, `tests/wagons`, `e2e`).
+content:
+  summary: A feature with WMBTs has a test bound to one of its acceptances.
+  normative_text: Behaviour declared and never tested is a silent gap.
+  fix_hint: Add a test beneath the feature bound to one of its acceptances.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-TOPOLOGY-FEATURE-TEST-COVERAGE
+  severity: 3
+  disposition: strict
+  introduced_in: 0.6.0
+implementation:
+  type: validator
+  ref: atdd_topology

package/conventions/atdd-bun.topology/atdd-bun.topology.plan-location.convention.yaml

@@ -0,0 +1,31 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.topology.plan-location
+kind: rule
+status: active
+name: Wagons, features and WMBTs live at their canonical plan paths
+statement: Every wagon is declared at `<plan_root>/<wagon>/_<wagon>.yaml`, every feature at `<plan_root>/<wagon>/<feature>.yaml`,
+  and every WMBT at `<plan_root>/<wagon>/<WMBT>.yaml`. Package rule, strict.
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+- term_id: topology_settings
+  text: the `topology:` keys `plan_root`, `source_root`, `test_root`, `e2e_root` in `atdd-bun.yaml` (defaults `plan`,
+    `src/wagons`, `tests/wagons`, `e2e`).
+content:
+  summary: Wagons, features and WMBTs live at their canonical plan paths.
+  normative_text: The plan is navigated by path as much as by identity. A document at a non-canonical path is found
+    by nothing that walks the layout, and two layouts in one repository make every tool guess.
+  fix_hint: Move the document to the path the finding names.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-TOPOLOGY-PLAN-LOCATION
+  severity: 3
+  disposition: strict
+  introduced_in: 0.6.0
+implementation:
+  type: validator
+  ref: atdd_topology

package/conventions/atdd-bun.topology/atdd-bun.topology.source-location.convention.yaml

@@ -0,0 +1,33 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.topology.source-location
+kind: rule
+status: active
+name: Feature source lives beneath its feature and carries a component URN
+statement: 'When the plan models at least one wagon, feature or WMBT, every source file beneath `<source_root>`
+  carries `URN: component:{wagon}:{feature}:{name}:{frontend|backend}:{domain|application|integration|presentation}`
+  and lives beneath `<source_root>/<wagon>/features/<feature>/`, for a feature the plan declares. Package rule,
+  strict.'
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+- term_id: topology_settings
+  text: the `topology:` keys `plan_root`, `source_root`, `test_root`, `e2e_root` in `atdd-bun.yaml` (defaults `plan`,
+    `src/wagons`, `tests/wagons`, `e2e`).
+content:
+  summary: Feature source lives beneath its feature and carries a component URN.
+  normative_text: Source is traced to the feature that owns it by its URN and found by its path. Either missing,
+    the feature cannot be shown to have an implementation.
+  fix_hint: Add the component URN header and move the file beneath its feature's directory.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-TOPOLOGY-SOURCE-LOCATION
+  severity: 3
+  disposition: strict
+  introduced_in: 0.6.0
+implementation:
+  type: validator
+  ref: atdd_topology

package/conventions/atdd-bun.topology/atdd-bun.topology.test-location.convention.yaml

@@ -0,0 +1,34 @@
+schema_version: 1.1.0
+rule_id: atdd-bun.topology.test-location
+kind: rule
+status: active
+name: Feature tests live beneath their feature and bind a declared acceptance
+statement: 'When the plan models at least one wagon, feature or WMBT, every test beneath `<test_root>` carries `URN:
+  test:{wagon}:{feature}:{acceptance}`, lives beneath `<test_root>/<wagon>/features/<feature>/{unit,contract,integration}/`,
+  and binds `Acceptance: acc:{wagon}:{acceptance}` declared by a WMBT that the test''s own feature lists. Package
+  rule, strict.'
+terms:
+- term_id: package_rule
+  text: 'a rule of this package''s own gates (`atdd-bun.*`), realized by a package guard rather than a canonical
+    planner node. It is held to the same per-rule checks as every convention: a convention, strict, a failing fixture,
+    relationship edges.'
+- term_id: topology_settings
+  text: the `topology:` keys `plan_root`, `source_root`, `test_root`, `e2e_root` in `atdd-bun.yaml` (defaults `plan`,
+    `src/wagons`, `tests/wagons`, `e2e`).
+content:
+  summary: Feature tests live beneath their feature and bind a declared acceptance.
+  normative_text: A test proves an acceptance only when it names one that exists; its path says which feature and
+    which kind of test it is.
+  fix_hint: Add the test URN and Acceptance header, and move the test beneath its feature under unit/, contract/
+    or integration/.
+  exceptions:
+  - Vendored and generated trees (`node_modules`, `dist`, `build`, `_generated`) are never scanned.
+metadata:
+  aliases:
+  - ATDD-BUN-TOPOLOGY-TEST-LOCATION
+  severity: 3
+  disposition: strict
+  introduced_in: 0.6.0
+implementation:
+  type: validator
+  ref: atdd_topology

package/detectors/atdd_topology/atdd.implementation.yaml

@@ -10,4 +10,7 @@ emits_rule_ids:
 - atdd-bun.topology.e2e-location
 - atdd-bun.topology.feature-source-coverage
 - atdd-bun.topology.feature-test-coverage
+realizes_convention:
+  - planner.wagon.features
+  - planner.feature.wagon-link
 entrypoint: detect.mjs

package/detectors/atdd_topology/detect.mjs

@@ -21,7 +21,7 @@ function add(rule_id, root, path, evidence, line = 1, source_line = "") { violat
 function walk(dir, predicate, found = []) {
   let entries; try { entries = readdirSync(dir, { withFileTypes: true }); } catch { return found; }
   for (const entry of entries) {
-    if (["node_modules", ".git", ".atdd", "dist", "build", ".next"].includes(entry.name)) continue;
+    if (["node_modules", ".git", ".atdd", "dist", "build", ".next", "_generated"].includes(entry.name)) continue;
     const path = join(dir, entry.name);
     if (entry.isDirectory()) walk(path, predicate, found); else if (predicate(path)) found.push(path);
   }
@@ -47,6 +47,10 @@ for (const root of roots) {
   const wmbts = docs.filter(doc => text(doc.data, "urn").startsWith("wmbt:")).map(doc => { const [, wagon, code] = text(doc.data, "urn").split(":"); return { ...doc, wagon, code, urn: text(doc.data, "urn") }; });
   const featureByUrn = new Map(features.map(feature => [feature.urn, feature])), memberships = new Map(), wmbtOwners = new Map(), sourceByFeature = new Map(), testByFeature = new Map();
   const acceptances = new Set(wmbts.flatMap(wmbt => list(wmbt.data, "acceptances").map(acceptance => text(acceptance?.identity, "urn")).filter(Boolean)));
+  // The feature(s) that own each acceptance, through the WMBTs they list: a test is credited only to its owner.
+  const acceptanceOwners = new Map();
+  for (const feature of features) for (const wmbtUrn of list(feature.data, "wmbts").map(String)) for (const wmbt of wmbts.filter(w => w.urn === wmbtUrn))
+    for (const acceptance of list(wmbt.data, "acceptances").map(a => text(a?.identity, "urn")).filter(Boolean)) acceptanceOwners.set(acceptance, [...(acceptanceOwners.get(acceptance) || []), `${feature.wagon}:${feature.slug}`]);
   const trains = new Set(docs.map(doc => text(doc.data, "train_id")).filter(Boolean));
 
   for (const wagon of wagons) {
@@ -95,6 +99,7 @@ for (const root of roots) {
     const binding = `acc:${wagon}:${acceptance}`;
     if (h.acceptance.value !== binding) add("atdd-bun.topology.test-location", root, path, `${h.urn.value} must bind Acceptance: ${binding}`, h.acceptance.line, h.acceptance.raw);
     else if (!acceptances.has(binding)) add("atdd-bun.topology.test-location", root, path, `${binding} is not declared by a WMBT in ${cfg.plan_root}/`, h.acceptance.line, h.acceptance.raw);
+    else if (acceptanceOwners.has(binding) && !acceptanceOwners.get(binding).includes(`${wagon}:${feature}`)) add("atdd-bun.topology.test-location", root, path, `${binding} belongs to feature:${acceptanceOwners.get(binding).join(", feature:")}, not feature:${wagon}:${feature}; a test lives beneath the feature whose acceptance it proves`, h.acceptance.line, h.acceptance.raw);
     else testByFeature.set(`${wagon}:${feature}`, [...(testByFeature.get(`${wagon}:${feature}`) || []), path]);
   }
   for (const feature of features) if (list(feature.data, "wmbts").length) {
@@ -111,8 +116,13 @@ for (const root of roots) {
   for (const path of walk(e2eRoot, path => /\.e2e\.[cm]?[jt]sx?$/.test(path))) {
     const content = read(path), h = header(path);
     if (!/from\s+["']@playwright\/test["']/.test(content) || !/(^|[^.\w])test(\.(describe|only|skip|fixme|fail|slow|step))?\s*\(/m.test(content)) continue;
-    if (h.train.value) browserTrains.add(h.train.value);
-    if (h.journey.value) browserJourneys.add(h.journey.value);
+    // A browser spec carries its journey identity as a test URN, not an Acceptance (tester.htmx forbids
+    // Acceptance on journey specs). It substitutes only when that URN is a valid E2E or SMOKE proof for the
+    // very train or journey it is bound to.
+    // The proof is the `// URN:` header, whole: a URN-shaped string elsewhere in the file (a decoy constant) proves nothing.
+    const proves = (subject) => h.urn.value.startsWith(`test:${subject}:`) && /^(E2E|SMOKE)-\d{3}-[a-z0-9][a-z0-9-]*$/.test(h.urn.value.slice(`test:${subject}:`.length));
+    if (h.train.value && proves(h.train.value)) browserTrains.add(h.train.value);
+    if (h.journey.value && proves(h.journey.value)) browserJourneys.add(h.journey.value);
   }
   const interlockingRoutes = new Set();
   const interlockings = new Map(docs.filter(doc => text(doc.data, "interlocking_id").startsWith("interlocking:")).map(doc => [text(doc.data, "interlocking_id"), doc]));
@@ -153,6 +163,7 @@ for (const root of roots) {
     else if (entry && typeof entry === "object" && entry.exposed === true && existsSync(path)) {
       const h = header(path), match = testUrn.exec(h.urn.value);
       if (!match || !declaredFeatures.has(`${match[1]}:${match[2]}`)) add("atdd-bun.topology.e2e-location", root, path, "journey E2E test requires a test:{wagon}:{feature}:{acceptance} URN naming a declared feature", h.urn.line, h.urn.raw);
+      else if (h.acceptance.value !== `acc:${match[1]}:${match[3]}` || !acceptances.has(h.acceptance.value)) add("atdd-bun.topology.e2e-location", root, path, `journey E2E test requires Acceptance: acc:${match[1]}:${match[3]}, declared by a WMBT in ${cfg.plan_root}/`, h.acceptance.line, h.acceptance.raw);
       if (!trains.has(h.train.value) || !journeyTrains.has(h.train.value)) add("atdd-bun.topology.e2e-location", root, path, `journey E2E Train: must resolve to a reachable selected train; found ${h.train.value || "<missing>"}`, h.train.line, h.train.raw);
     }
   }

package/detectors/atdd_topology/fixtures/clean/e2e/journeys/checkout.journey.test.ts

@@ -1,4 +1,5 @@
 // URN: test:orders:place-order:E001-E2E-001
+// Acceptance: acc:orders:E001-E2E-001
 // Train: train:orders:checkout
 import { test } from "bun:test";
 test("checkout", () => {});

package/detectors/atdd_topology/fixtures/clean/plan/orders/E001.yaml

@@ -2,5 +2,7 @@ urn: wmbt:orders:E001
 acceptances:
   - identity:
       urn: acc:orders:E001-UNIT-001
+  - identity:
+      urn: acc:orders:E001-E2E-001
   - identity:
       urn: acc:orders:E001-E2E-002

package/detectors/planner_docs_capability/atdd.implementation.yaml

@@ -34,6 +34,13 @@ emits_rule_ids:
   - planner.docs.adr-registry-derived   # disposition: advisory (registry drifted from :decides:)
   - planner.docs.journey-view-current  # disposition: strict (generated journey view differs from plan/)
 
+# Rules the capability API (checkDocumentation) emits and the filesystem report cannot: they need a
+# declaration, a change set, or a render. tests/docs-capability.test.ts triggers each one.
+api_emits_rule_ids:
+  - planner.docs.artifact-path-shape
+  - planner.docs.undeclared-change
+  - planner.docs.reference-integrity
+
 # TWO SURFACES, ONE DETECTOR.
 #
 #   entrypoint  the CAPABILITY seam. Core calls

package/detectors/planner_plan_integrity/atdd.implementation.yaml

@@ -9,6 +9,7 @@ contract_version: "1.0.0"
 # fail closed before convention validators can answer.
 emits_rule_ids:
   - atdd-bun.planner.parse
+  - atdd-bun.planner.identity-required
   - atdd-bun.planner.identity-unique
   - atdd-bun.planner.reference-resolves
   - atdd-bun.planner.train-wagon-resolves

package/detectors/planner_plan_integrity/detect.mjs

@@ -6,6 +6,7 @@ const roots = JSON.parse(process.env.ATDD_SCAN_ROOTS ?? "[]"), report = process.
 if (!report) throw new Error("ATDD_VIOLATIONS_REPORT is required");
 const ids = {
   "planner.kernel.parse": "atdd-bun.planner.parse",
+  "planner.kernel.identity-required": "atdd-bun.planner.identity-required",
   "planner.kernel.identity-unique": "atdd-bun.planner.identity-unique",
   "planner.kernel.reference-resolves": "atdd-bun.planner.reference-resolves",
   "planner.kernel.train-wagon-resolves": "atdd-bun.planner.train-wagon-resolves",
@@ -14,7 +15,9 @@ const ids = {
 };
 const violations = (await Promise.all(roots.map(validatePlan))).flatMap(graph => graph.findings).map(item => ({
   ...item,
-  rule_id: ids[item.rule_id] ?? item.rule_id,
+  // Every kernel finding reports under a declared package rule. An unmapped one is a new emission path:
+  // fail loudly rather than publish a rule id nothing declares (tests/rule-coverage.test.ts maps them all).
+  rule_id: ids[item.rule_id] ?? (() => { throw new Error(`planner_plan_integrity: kernel rule ${item.rule_id} has no declared package rule; map it in detect.mjs`); })(),
   line: 1,
   col: 1,
   source_line: "",

package/detectors/planner_plan_integrity/fixtures/dirty/plan/_trains/_interlockings/checkout.yaml

@@ -0,0 +1,6 @@
+schema_version: 1.0.0
+interlocking_id: interlocking:checkout
+title: Checkout
+lifelines:
+  - ref: wagon:nobody
+routes: []

package/detectors/planner_plan_integrity/fixtures/dirty/plan/_trains/_interlockings/unnamed.yaml

@@ -0,0 +1,2 @@
+participants: []
+routes: []

package/detectors/planner_plan_integrity/fixtures/dirty/plan/_trains/dup-a.yaml

@@ -0,0 +1,7 @@
+train_id: train:orders:duplicate
+title: First declaration
+description: Declares an identity a second file also declares.
+themes: [orders]
+participants: [wagon:ghost]
+wagons: [ghost]
+sequence: []

package/detectors/planner_plan_integrity/fixtures/dirty/plan/_trains/dup-b.yaml

@@ -0,0 +1,6 @@
+train_id: train:orders:duplicate
+title: Second declaration
+description: The duplicate identity.
+themes: [orders]
+participants: []
+sequence: []

package/detectors/planner_plan_integrity/fixtures/dirty/plan/orders/E001.yaml

@@ -0,0 +1,5 @@
+urn: wmbt:orders:E001
+statement: Place an order.
+acceptances:
+  - identity:
+      purpose: An acceptance with no acc identity.

package/detectors/planner_schema_validation/fixtures/dirty/plan/_trains/missing-description.yaml

@@ -0,0 +1,5 @@
+train_id: train:orders:missing-description
+title: A train without its required description
+themes: [orders]
+participants: [wagon:orders]
+sequence: []

package/integrity.json

@@ -1,10 +1,24 @@
 {
-  "version": "0.6.0",
+  "version": "0.6.1",
   "files": {
     "HOOK_AUDIT.md": "5329d840db37671b1918f688ead26865473b87db73dbc75f7c8b2a8bbe8d6d43",
     "PLANNER_PORT.md": "fb5935bac8b7ac18994de21e43ace3a5ef8cd55f85b0e3349fca261280054f11",
     "README.md": "622e7768f567099b0e30ac82f2053c165b8023e571966fc327f77f985ae1be0d",
     "bunfig.toml": "b9fc65eca9014c5179380259d70e76385a6a80788fa9a2df5fb3eaa5554fd2fe",
+    "conventions/atdd-bun.planner/atdd-bun.planner.acceptance-identity.convention.yaml": "81c5c773d5ee15e8d99a2c237aa9846b110b2533df45ebf407d0e3ec6ed3dd03",
+    "conventions/atdd-bun.planner/atdd-bun.planner.identity-required.convention.yaml": "e96d7c1455d0c221072d82e7f2b55da1c4f9ceb17718eb6ed96affdeef37675b",
+    "conventions/atdd-bun.planner/atdd-bun.planner.identity-unique.convention.yaml": "409ba1d035ed46bc45f3627b62fd3a6a5967d984cc4c071c41be3f3fa887c6d6",
+    "conventions/atdd-bun.planner/atdd-bun.planner.interlocking-participant-resolves.convention.yaml": "fef62f58ad2cd6b036556cfbe17d32fedcd13656eb04c0747e955af7f954ff02",
+    "conventions/atdd-bun.planner/atdd-bun.planner.parse.convention.yaml": "953ccd7de6d129f1bd17ce680a1a4819bff6d57b379aaa03323bb22cf255ae08",
+    "conventions/atdd-bun.planner/atdd-bun.planner.reference-resolves.convention.yaml": "b96927d269692c29c02fee38ecbeb999480791f8dc7486c4072a9ff30183d7d6",
+    "conventions/atdd-bun.planner/atdd-bun.planner.schema.convention.yaml": "16d0a26451758b759e6ca1f5b4f38ae1feff129688306ffcc2f70f6d3974b591",
+    "conventions/atdd-bun.planner/atdd-bun.planner.train-wagon-resolves.convention.yaml": "6410e248351e701dcba38c671c07c4d8f6d67927984ed4d18e567abd1eb1f3f0",
+    "conventions/atdd-bun.topology/atdd-bun.topology.e2e-location.convention.yaml": "3a3b991bc851b86d597636200f5cb10a0defda3920348860cdca28955ab91f4c",
+    "conventions/atdd-bun.topology/atdd-bun.topology.feature-source-coverage.convention.yaml": "2b64093f1e7f1fe0e2edcadf12e560fa80cecec19536abaa5bf09af362c6694e",
+    "conventions/atdd-bun.topology/atdd-bun.topology.feature-test-coverage.convention.yaml": "279be57399c9b79a1bd758414076e3053d67b7d4a7fcbbb950ea12d1201effeb",
+    "conventions/atdd-bun.topology/atdd-bun.topology.plan-location.convention.yaml": "82149598eb329a0f5db0feb345482a99fef65bef90d3fe34768db66406c30e24",
+    "conventions/atdd-bun.topology/atdd-bun.topology.source-location.convention.yaml": "7e7bb788eb1ff9cbe6f67dfddc78a20b3800e733ab1036b70adb67e404b77113",
+    "conventions/atdd-bun.topology/atdd-bun.topology.test-location.convention.yaml": "a1f7f772a889607d4b6c0f20e9924b88838199a3e763b6328dbe09b8f29f2e50",
     "conventions/coder.bun/coder.bun.boundaries-http-client.convention.yaml": "b846bb6ced2c4c967466520d52b00ff1ca802dafcdbb2ec2adbd0ce19e752a28",
     "conventions/coder.bun/coder.bun.commons-application-no-integration.convention.yaml": "f63e7f6442bcdf5cf79f58a091547a1a990d0ee7c006b797fd5187d6f8bf8712",
     "conventions/coder.bun/coder.bun.commons-cross-feature-imports-in.convention.yaml": "2d66bd3c04186fcef67a89c2b6d81a697f8f43f978ff27284a3b8a3848097182",
@@ -124,16 +138,16 @@
     "conventions/traceability/traceability.source.tested-by-present.convention.yaml": "27a2340a9dae9eee67a3fbdcea0d2f8f35f222f22dbce7f84b2a0c6ab6321018",
     "conventions/traceability/traceability.source.tested-by-resolves.convention.yaml": "ad4516670934dc82f1ebf9dc057110313059110302f88b4747dde89dd060870b",
     "conventions/traceability/traceability.test.binding-resolves.convention.yaml": "03c118f498b1e824d457d25c060c8f9689ccbcca49c58d8bcd158e3cd3144ee9",
-    "detectors/atdd_topology/atdd.implementation.yaml": "e5121dfd24c8dff4a3d471c90946e995c1efb3d56433d5739c289e77c7dd13ec",
-    "detectors/atdd_topology/detect.mjs": "ab79df467d12423c8c851fae198b97adaef6fc5b66681b2460b8aeb84a210b36",
+    "detectors/atdd_topology/atdd.implementation.yaml": "7879f441a62691bf041b0fd8220feb12996d4a036d74d6c79d0985ee20992efb",
+    "detectors/atdd_topology/detect.mjs": "33cb5584ce334352324e4a8331f75697cc9c09f7ebc07e59c5f917ad9879f447",
     "detectors/atdd_topology/fixtures/clean/atdd-bun.yaml": "85049c05fb624037e1e2200a117b07d6c8d089d4e81fd784ade15a860a444f59",
     "detectors/atdd_topology/fixtures/clean/e2e/interlockings/checkout/nominal.routes.test.ts": "be769e192e8165d4d36be743e8df578c1790b900c6b89acc7d2046ba40105135",
-    "detectors/atdd_topology/fixtures/clean/e2e/journeys/checkout.journey.test.ts": "330dd13694d4b53b1ee261dd8d37e0610ef0cf4e92bc70ccf3039878bfee90a7",
+    "detectors/atdd_topology/fixtures/clean/e2e/journeys/checkout.journey.test.ts": "345c391888e3e8c93d0437428dc1a3358968c7871ef54d313d6e083717254bbe",
     "detectors/atdd_topology/fixtures/clean/implementation/orders/features/place-order/domain/order.ts": "b81c0630a2c518749ed6d81741ba4e1503ffdbc64f232747518a17e8e8a46927",
     "detectors/atdd_topology/fixtures/clean/plan/_journeys/checkout.yaml": "c61021d0bf2f7f3bfe306b18c4b34563292de02acce47326db71ac4f8d67bc8d",
     "detectors/atdd_topology/fixtures/clean/plan/_trains/_interlockings/checkout.yaml": "99ee3ef93e3098943878c947a584d93fec1407f0a5bd85c5383129229a98d0bc",
     "detectors/atdd_topology/fixtures/clean/plan/_trains/checkout.yaml": "d022cd946cced5961d16535f93cc875b76e2cad872625e5e040242810f8cfad1",
-    "detectors/atdd_topology/fixtures/clean/plan/orders/E001.yaml": "94797b2afa85962a16673a92d15bf4796fd00cf2223c9d4106e06ba28c89599e",
+    "detectors/atdd_topology/fixtures/clean/plan/orders/E001.yaml": "97cec4c393561e40252c0f72bed3a471831006e4cf231653506c601df0ed9172",
     "detectors/atdd_topology/fixtures/clean/plan/orders/_orders.yaml": "33f0f30b31e3fb1bedf1ba8d2071dc7cea02749b48d18196038c9d2321aaf628",
     "detectors/atdd_topology/fixtures/clean/plan/orders/place-order.yaml": "cccbad80a40da7bbb52c475fe73f5cd6e523994b428dc133aefc37225b04a80c",
     "detectors/atdd_topology/fixtures/clean/tests/wagons/orders/features/place-order/unit/order.test.ts": "01a9a560d3d977346e39b88a88e7112d9f47f02e8dc8d995ba5fb45f77842153",
@@ -683,7 +697,7 @@
     "detectors/htmx_tester_detector/fixtures/dirty/statusonly.test.ts": "a2daf2874bf68c6221374ac05619642a42d56b5d1f76e30fa3d2a1826adaf51b",
     "detectors/htmx_tester_detector/test_header.mjs": "a22221fe9ef6d10297ec777c5d0c6e7b84010ccf41e90db30c036206790ea198",
     "detectors/planner_docs_capability/README.md": "1e1f8ee258242c05293447fcde124543447ba375306e8a7e5f665881b038bcd1",
-    "detectors/planner_docs_capability/atdd.implementation.yaml": "7e88a43ee43f5131d25debcc8f02f7381c3b356b6d8ea14357a89ead8e83342e",
+    "detectors/planner_docs_capability/atdd.implementation.yaml": "0bc4c27c61faa15147ad8ed55a866d7830875efb6222aa463d49f1163a8b6121",
     "detectors/planner_docs_capability/detect.mjs": "d10773fa5b2d8f65ce351804694171a6eb75e05eb4c80fa1edce4a5d56b72c5d",
     "detectors/planner_docs_capability/fixtures/clean/docs/architecture/decisions/adr-20260906-001-shared-control-root.adoc": "6d30e5545e7b051c80605c3dbee50286f71e344ab2e71a987db945941de42523",
     "detectors/planner_docs_capability/fixtures/clean/docs/architecture/decisions/index.adoc": "4a6cb87e249d587c85bb6389ff5fecae7a96194af8677b588eed0c791099123b",
@@ -810,10 +824,15 @@
     "detectors/planner_docs_capability/fixtures/dirty_unresolved_edge/docs/index.adoc": "8aabcd7a4ecfc6ef565a604c1172364f761bef7d3fc4f2c96c07dce4e0ebe19b",
     "detectors/planner_docs_capability/fixtures/dirty_unresolved_edge/docs/purpose/index.adoc": "e10193ea48f3c77b67ca8ed7221c53f23ce699e63f651cc340cea9ef6b44cffb",
     "detectors/planner_docs_capability/fixtures/dirty_unresolved_edge/docs/purpose/worktrees.adoc": "de957bd8aec411c930fa9785d793c3345c82f5d7cb7f28f40f73f1c53a436440",
-    "detectors/planner_plan_integrity/atdd.implementation.yaml": "8ba6742949d5c72ba66a0eb5f2ebec94ae7a82270de10f985b45944e38742c18",
-    "detectors/planner_plan_integrity/detect.mjs": "0172b6edaf66cc71cb9f5506ac25e679a90aeea1d0e0e2138689ec5079f87d16",
+    "detectors/planner_plan_integrity/atdd.implementation.yaml": "11e6c1a12c9abe5d4c169fd3ba181e13021e4c58b951757dddd4794417db4367",
+    "detectors/planner_plan_integrity/detect.mjs": "ee21ec706c48182250dbcb6045521185b2c91cc8dbcdbbad6e417f2dbfe641b8",
     "detectors/planner_plan_integrity/fixtures/clean/README.md": "d64b0a6ee983757a62b634bb5f64e19f4e5c1eb2e6b23dfd33cf8cb8f3ec0b4a",
+    "detectors/planner_plan_integrity/fixtures/dirty/plan/_trains/_interlockings/checkout.yaml": "4d994aae6517b6d8fc2398ca3c37e4a87d999fc559027ae9f2bab0b036e09870",
+    "detectors/planner_plan_integrity/fixtures/dirty/plan/_trains/_interlockings/unnamed.yaml": "1e4844007b6679c5d0555e56e088eab3a6d35d0b929261dda3033897e39eace8",
+    "detectors/planner_plan_integrity/fixtures/dirty/plan/_trains/dup-a.yaml": "1879b918b34af2a6bb929ae5010619002ece1698bf71ecbcc0414617f88da481",
+    "detectors/planner_plan_integrity/fixtures/dirty/plan/_trains/dup-b.yaml": "36bf938cde33a57a0316ffde20fe632b185d9f43a9429df2aa55bdaef987ebf9",
     "detectors/planner_plan_integrity/fixtures/dirty/plan/broken.yaml": "81865b7554ea4a1eb4598de81265abe0760d9ea722945f5bfff5415bc272e95a",
+    "detectors/planner_plan_integrity/fixtures/dirty/plan/orders/E001.yaml": "cc800a145aa136328d0e28dfc46d3911e841b47cf69e2f785cacd1f54c2ed3f6",
     "detectors/planner_schema_validation/atdd.implementation.yaml": "2daeff9f85558ad6d246ecdd3d7eb7a172dd1bde646b3cf3b64f21a162da721f",
     "detectors/planner_schema_validation/detect.mjs": "b208e1483e9bae74d3dcff12a824e6dfd0dcb8009affa3c3f58b2a55fe7ae8bf",
     "detectors/planner_schema_validation/fixtures/clean/contracts/_contracts.yaml": "967f4f0aac0be000cb6107dc735ca21b73a3a21870e9ada1396df445584cad41",
@@ -823,6 +842,7 @@
     "detectors/planner_schema_validation/fixtures/clean/plan/orders/_orders.yaml": "77d92ee0c9abae5ef7a407d5e0ed5baabf38391d75b91d47b598777ecc6b87ec",
     "detectors/planner_schema_validation/fixtures/dirty/contracts/_contracts.yaml": "6460d5b8c73bb5f91ae356b29935c0a377cfef2d79ad6180e8cbb8a31fe2e882",
     "detectors/planner_schema_validation/fixtures/dirty/plan/_themes.yaml": "c3e8fb1939d83fdde56405ddfee68e266a16c4a7ed8439b6f7906d47372df473",
+    "detectors/planner_schema_validation/fixtures/dirty/plan/_trains/missing-description.yaml": "34052c4d46487751814cdb65e90beb4964493a3a64331b27e1927a5efb8949c5",
     "detectors/planner_schema_validation/fixtures/dirty/plan/_trains/orders.yaml": "ae2fdb750fd5a78c0baddd54fada48522671ae2a9a6538c50ab41ca32a90f682",
     "detectors/planner_static_validators/atdd.implementation.yaml": "030d9999473bd488590a608b6f60f97f2b2c484a183574581edaa262a2e24a10",
     "detectors/planner_static_validators/detect.mjs": "efbff2e8cd3f1b7d8e3240f132e90f09cc081b9352511f3ade67ec6fe06d124b",
@@ -847,7 +867,7 @@
     "lib/frontend.mjs": "d6d9b29c3d7f2d162cda03bb34b20a3224a82887b6be3db7cab375510913c9a3",
     "lib/imports.mjs": "3db4979269488fa26f6e7aefded6ece9c646be6587a10e249821a5a208109962",
     "lib/scan.mjs": "f232a6178f9b6d3d63ba4056709664b1700d4292c49bad1dec18e9560a7c0461",
-    "planner-nodes/ENFORCEMENT_SCOPE.yaml": "b9429fb63a31799589461df342bf5fc0bfce5d1739e6ed54fff6b21db04bf775",
+    "planner-nodes/ENFORCEMENT_SCOPE.yaml": "d8ec7039c219857f3d77af5d4d84612b533b69c1a5fcef935fbf46470adafed4",
     "planner-nodes/nodes/planner.acceptance.abstract-fields-required.convention.yaml": "bd565693f0ae861f0561ad2f7a91a8c55f9a209c3acd59c5750cfcffd96a85d8",
     "planner-nodes/nodes/planner.acceptance.authoring-guidelines.convention.yaml": "16348dceed5868041b832bde766e9c8d4a950d4032f1f3066b357644081a3b17",
     "planner-nodes/nodes/planner.acceptance.boundary-kind-vocabulary.convention.yaml": "c5645225399568c2d4fe632442f9c597b2c59e4f4239880df7db2cbdc0353c9c",
@@ -1065,17 +1085,17 @@
     "planner-schemas/train.schema.json": "d6fbac9067c1bffeb84eb79a71228441055af6e6e7ba141dd4e0bcb079345ec0",
     "planner-schemas/wagon.schema.json": "57b98f1ade998d745538eb3d72fb3014a50042006870f90bce47028eea336eb4",
     "planner-schemas/wmbt.schema.json": "7a3a5693bfcf01340667c2be4a3c48e74f34b1af7e8dc13372c0de06b7f4fe12",
-    "relationships.yaml": "157fd93f9cb9d900944aff7f7f0d3f6e96b2c5b9c5359c4dc9bae75d721ae238",
+    "relationships.yaml": "3a3b4987dacbc6ae566e607183f60503c934bf8c60925943566e6887726d8bbf",
     "src/agent.ts": "38a14f0f2ccce357efb1b2927e59bf55c20ff0050374367f15da36db20c46e77",
     "src/ci.ts": "899125ec76d14f7d0126a5db2249913e373e3a325cbc98d7f053e1351bdf47af",
     "src/cli.ts": "bb2047cee60f48bfe3eaee4c1b3dcd3538a0e1edc170cf58e87686117bea07a7",
-    "src/docs-capability.ts": "65ef91658664b41b78184b395e57e5d28bda16128caa9e314f26e63568abc6cd",
-    "src/enforce.ts": "43ef276e1c4465ec32e5a431d9a5b1825c6168180e695280fd6d208fd583bac9",
+    "src/docs-capability.ts": "0feae94b7697dd53d8a457b24765e81fcf804c774f0cc4b6035cb3da822e486a",
+    "src/enforce.ts": "d8a2fc2e458fde464365152df376859939bd5c5a4f7d69f88f53b1601bb1f857",
     "src/hooks.ts": "54d70d7d6923f1e39b259e3b9f377c43609aecdc64ff4d1232da595950d7b1aa",
     "src/index.ts": "2743b7969526d0aaf21179048e9896141e97d89c45c4a503b795f41fed57f6cc",
     "src/integrity.ts": "48d7adce486ece1885a95aac6867d286bb972d7a97bdbc32222fd6d75c2e2b49",
     "src/journey-docs.ts": "994d229376244c84212cff951032823068a76565dd2fd427b9d44e341bd14853",
-    "src/planner-kernel.ts": "87ffbabc60d7868df52e6e060fcb36b41e90c9d6a47fa9a99f16aa263d61a528",
+    "src/planner-kernel.ts": "5d3f5305fb59becb2cc97d8a03aca6b104f385805d91cc0410856e289dd6fbb1",
     "src/planner-schema-validator.ts": "ce529c0936171075e93c7539b3655fe895a98dd2973ebda5775958e6ebc316d9",
     "src/planner-validators.ts": "99adeb65f579af923c11f21a8f55cfb9993b007fd8df59c5f764696b55379cfc",
     "src/register.ts": "6a2f1c6b8df0dc9c8f45df8ec9fac2be29044e048b08c8ffe423410e94dadedd",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@afokapu/atdd-bun",
-  "version": "0.6.0",
+  "version": "0.6.1",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/afokapu/atdd-bun.git"

package/planner-nodes/ENFORCEMENT_SCOPE.yaml

@@ -117,8 +117,18 @@ canonical_bun_enforcement:
     coverage: partial
     predicates:
       - duplicate feature references are reported
+      - a wagon with WMBTs declares a feature decomposition (atdd_topology)
+      - every feature a wagon lists is declared by a feature document (atdd_topology)
+      - every WMBT belongs to exactly one feature (atdd_topology)
     unported:
       - complete feature-manifest coverage
+  - rule_id: planner.feature.wagon-link
+    disposition: strict
+    origin: bun-custom-validator
+    coverage: partial
+    predicates:
+      - every feature is listed by exactly one wagon and belongs to it
+      - source and test URNs name a declared feature
   - rule_id: planner.wagon.telemetry-filesystem
     disposition: strict
     origin: bun-custom-validator
@@ -130,7 +140,7 @@ canonical_bun_enforcement:
 
 reference_only:
   selection: "every canonical planner node not named in canonical_bun_enforcement"
-  count: 181
+  count: 180
 
 package_integrity_guard:
   implementation_id: planner.plan-integrity.bun

package/relationships.yaml

@@ -8,6 +8,20 @@
 schema_version: 1.0.0
 graph_id: "@afokapu/atdd-bun"
 nodes: 
+  - atdd-bun.planner.acceptance-identity
+  - atdd-bun.planner.identity-required
+  - atdd-bun.planner.identity-unique
+  - atdd-bun.planner.interlocking-participant-resolves
+  - atdd-bun.planner.parse
+  - atdd-bun.planner.reference-resolves
+  - atdd-bun.planner.schema
+  - atdd-bun.planner.train-wagon-resolves
+  - atdd-bun.topology.e2e-location
+  - atdd-bun.topology.feature-source-coverage
+  - atdd-bun.topology.feature-test-coverage
+  - atdd-bun.topology.plan-location
+  - atdd-bun.topology.source-location
+  - atdd-bun.topology.test-location
   - coder.bun.boundaries-http-client
   - coder.bun.commons-application-no-integration
   - coder.bun.commons-cross-feature-imports-in
@@ -4788,3 +4802,213 @@ edges:
     target_ref: tester.htmx.a11y-harness
     type: runs_alongside
     origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: an artifact is only identified once it parses
+    source_ref: atdd-bun.planner.parse
+    strength: critical
+    target_ref: atdd-bun.planner.identity-unique
+    type: enables
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: a reference resolves to exactly one target only when identities are unique
+    source_ref: atdd-bun.planner.identity-unique
+    strength: critical
+    target_ref: atdd-bun.planner.reference-resolves
+    type: enables
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: start_to_start
+    reason: wagon membership of a train is the train-specific case of reference resolution
+    source_ref: atdd-bun.planner.train-wagon-resolves
+    strength: important
+    target_ref: atdd-bun.planner.reference-resolves
+    type: runs_alongside
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: start_to_start
+    reason: interlocking participants are the interlocking-specific case of reference resolution
+    source_ref: atdd-bun.planner.interlocking-participant-resolves
+    strength: important
+    target_ref: atdd-bun.planner.reference-resolves
+    type: runs_alongside
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: "a test can bind an acceptance only through the acc: identity the WMBT gives it"
+    source_ref: atdd-bun.planner.acceptance-identity
+    strength: critical
+    target_ref: traceability.test.binding-resolves
+    type: enables
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: a document is validated against its schema only after it parses
+    source_ref: atdd-bun.planner.schema
+    strength: critical
+    target_ref: atdd-bun.planner.parse
+    type: requires
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: start_to_start
+    reason: the schema catch-all beside the canonical rules its violations are routed to
+    source_ref: atdd-bun.planner.schema
+    strength: important
+    target_ref: planner.train.naming
+    type: runs_alongside
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: "features are placed by path once the wagon's feature decomposition is declared"
+    source_ref: atdd-bun.topology.plan-location
+    strength: critical
+    target_ref: planner.wagon.features
+    type: requires
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: start_to_start
+    reason: "where a feature lives and which wagon owns it: the same ownership, by path and by link"
+    source_ref: atdd-bun.topology.plan-location
+    strength: important
+    target_ref: planner.feature.wagon-link
+    type: runs_alongside
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: source is placed beneath a feature the plan declares at its canonical path
+    source_ref: atdd-bun.topology.source-location
+    strength: critical
+    target_ref: atdd-bun.topology.plan-location
+    type: requires
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: start_to_start
+    reason: "the same component URN, read for its grammar and for where the file must live"
+    source_ref: atdd-bun.topology.source-location
+    strength: important
+    target_ref: coder.bun.green-urn-pattern
+    type: runs_alongside
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: tests are placed beneath a feature the plan declares
+    source_ref: atdd-bun.topology.test-location
+    strength: critical
+    target_ref: atdd-bun.topology.plan-location
+    type: requires
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: start_to_start
+    reason: "the acceptance a test binds, read for presence and for whether a WMBT declares it"
+    source_ref: atdd-bun.topology.test-location
+    strength: important
+    target_ref: tester.bun.acceptance-binding-declared
+    type: runs_alongside
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: journey E2E paths are derived from the journeys the plan declares
+    source_ref: atdd-bun.topology.e2e-location
+    strength: critical
+    target_ref: planner.journey.definition
+    type: requires
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: start_to_start
+    reason: "every route has an end-to-end proof: at its canonical path, and exercising the production runner"
+    source_ref: atdd-bun.topology.e2e-location
+    strength: important
+    target_ref: tester.bun.interlocking-route-coverage
+    type: runs_alongside
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: start_to_start
+    reason: "on a frontend journey a browser spec is the route's end-to-end proof"
+    source_ref: atdd-bun.topology.e2e-location
+    strength: important
+    target_ref: tester.htmx.train-e2e-coverage
+    type: runs_alongside
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: coverage counts only source placed beneath its feature
+    source_ref: atdd-bun.topology.feature-source-coverage
+    strength: critical
+    target_ref: atdd-bun.topology.source-location
+    type: requires
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: coverage counts only tests placed beneath their feature and bound to its acceptances
+    source_ref: atdd-bun.topology.feature-test-coverage
+    strength: critical
+    target_ref: atdd-bun.topology.test-location
+    type: requires
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: start_to_start
+    reason: a feature with WMBTs is implemented and tested
+    source_ref: atdd-bun.topology.feature-test-coverage
+    strength: important
+    target_ref: atdd-bun.topology.feature-source-coverage
+    type: runs_alongside
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: identities can only be compared once every artifact carries one
+    source_ref: atdd-bun.planner.identity-required
+    strength: critical
+    target_ref: atdd-bun.planner.identity-unique
+    type: enables
+    origin: "@afokapu/atdd-bun"
+  - confidence: 1
+    constraint: mandatory
+    control: internal
+    foundation: finish_to_start
+    reason: an artifact is read for its identity only once it parses
+    source_ref: atdd-bun.planner.parse
+    strength: critical
+    target_ref: atdd-bun.planner.identity-required
+    type: enables
+    origin: "@afokapu/atdd-bun"

package/src/docs-capability.ts

@@ -155,6 +155,9 @@ async function checkDocumentationInner(input: { root: string; declaration: Docum
   if (input.declaration) { const declarationFindings = declarationViolations(input.declaration, input.changeSet ?? undefined); findings.push(...declarationFindings); definite ||= declarationFindings.length > 0; checked.push("<declaration>"); if (input.declaration.impact === "change") for (const artifact of input.declaration.artifacts ?? []) if (["create", "modify"].includes(artifact.action ?? "") && artifact.path && !existsSync(join(input.root, artifact.path))) { findings.push(violation("planner.docs.artifact-path-shape", artifact.path, 1, `declared artifact ${JSON.stringify(artifact.path)} (action: ${artifact.action}) is not in the tree, so it was never examined; a declared document that was never written has not discharged the obligation.`)); definite = true; } } else findings.push({ rule_id: null, where: "<declaration>", message: "core supplied no documentation declaration, so no declaration-dependent rule could be evaluated. This is COULD_NOT_CHECK and it BLOCKS." });
   if (input.declaration && input.changeSet === null) findings.push({ rule_id: null, where: "<change_set>", message: "core supplied no change set, so whether this diff touches docs/ without declaring it could not be established. This is COULD_NOT_CHECK and it BLOCKS." });
   const rendered = await (input.render ?? (() => renderDocumentation(input.root)))(); findings.push(...rendered.findings); definite ||= rendered.findings.length > 0; if (rendered.couldNotCheck) findings.push({ rule_id: "planner.docs.reference-integrity", file: "docs/", line: 1, col: 1, evidence: rendered.couldNotCheck, source_line: "" }); else checked.push("<render:asciidoctor>");
+  // Fail closed on any rule id this capability does not declare, however it was built (a renderer can return anything).
+  const undeclared = [...new Set(findings.map(f => f.rule_id).filter((id): id is string => id !== null && !(DOC_RULE_IDS as readonly string[]).includes(id)))];
+  if (undeclared.length) throw new Error(`documentation capability produced undeclared rule id(s): ${undeclared.join(", ")}. Declare them in DOC_RULE_IDS and the manifest, each with a convention.`);
   return { verdict: definite ? "FAIL" : input.declaration === null || input.changeSet === null || Boolean(rendered.couldNotCheck) ? "COULD_NOT_CHECK" : "PASS", findings, checked };
 }
 

package/src/enforce.ts

@@ -57,6 +57,26 @@ export function implementationsFor(requested: Profile[] = ["all"]): string[] {
   return [...selected].sort();
 }
 
+/** The rule ids a detector's manifest declares it emits (emits_rule_ids and api_emits_rule_ids). */
+export async function declaredRuleIds(implementation: string): Promise<Set<string>> {
+  const ids = new Set<string>();
+  let inList = false;
+  for (const line of (await readFile(join(detectorRoot, implementation, "atdd.implementation.yaml"), "utf8")).split("\n")) {
+    if (line === "emits_rule_ids:" || line === "api_emits_rule_ids:") { inList = true; continue; }
+    if (/^[A-Za-z_][\w-]*:/.test(line)) { inList = false; continue; }
+    const match = inList && line.match(/^\s*-\s+([^#\s]+)/);
+    if (match) ids.add(match[1]);
+  }
+  return ids;
+}
+
+/** Rule ids a detector actually emitted without declaring them. Checked at run time, so an id built at run
+ * time (a template string, a concatenation, a value read from YAML) cannot escape the per-rule checks. */
+export async function undeclaredEmissions(implementation: string, violations: Pick<Violation, "rule_id">[]): Promise<string[]> {
+  const declared = await declaredRuleIds(implementation);
+  return [...new Set(violations.map(v => v.rule_id).filter(id => !declared.has(id)))].sort();
+}
+
 export async function runImplementation(
   implementation: string,
   config: Required<Pick<EnforcementConfig, "scanRoots" | "excludes">>,
@@ -88,6 +108,8 @@ export async function runImplementation(
     if (!raw || !Array.isArray(raw.violations)) {
       throw new Error(`${implementation} emitted no structured violation report`);
     }
+    const undeclared = await undeclaredEmissions(implementation, raw.violations as Violation[]);
+    if (undeclared.length) throw new Error(`${implementation} emitted rule id(s) its manifest does not declare: ${undeclared.join(", ")}. Declare them in emits_rule_ids, each with a convention.`);
     return raw.violations as Violation[];
   } finally {
     await rm(scratch, { recursive: true, force: true });

package/src/planner-kernel.ts

@@ -17,6 +17,7 @@ async function walk(root: string): Promise<string[]> {
   const entries = await readdir(root, { withFileTypes: true });
   return (await Promise.all(entries.map(async entry => {
     const path = join(root, entry.name);
+    if (entry.isDirectory() && entry.name === "_generated") return [];
     return entry.isDirectory() ? walk(path) : entry.isFile() && /\.(?:yaml|yml|json)$/.test(entry.name) ? [path] : [];
   }))).flat().sort();
 }
@@ -97,7 +98,7 @@ export async function validatePlan(root = process.cwd()): Promise<PlanGraph> {
     const references = structuralRefs(artifact);
     for (const reference of new Set(references)) if (!known.has(reference) && !reference.startsWith("contract:")) graph.findings.push(finding("planner.kernel.reference-resolves", artifact.file, `${artifact.id} references undeclared ${reference}`));
     if (artifact.kind === "train") for (const wagon of values(artifact.data.wagons)) { const reference = `wagon:${id(wagon)}`; if (id(wagon) && !known.has(reference)) graph.findings.push(finding("planner.kernel.train-wagon-resolves", artifact.file, `${artifact.id} lists undeclared ${reference}`)); }
-    if (artifact.kind === "interlocking") for (const participant of [...values(artifact.data.participants), ...values(artifact.data.lifelines).map(value => value && typeof value === "object" ? (value as Record<string, unknown>).ref : value)]) { const reference = id(participant); if (reference.startsWith("wagon:") && !known.has(reference)) graph.findings.push(finding("planner.kernel.interlocking-participant-resolves", artifact.file, `${artifact.id} lists undeclared ${reference}`)); }
+    if (artifact.kind === "interlocking") for (const participant of [...values(artifact.data.participants), ...values(artifact.data.lifelines).map(value => value && typeof value === "object" ? (value as Record<string, unknown>).ref : value)]) { const reference = id(participant); if (reference && !/^(user|system):/.test(reference) && !known.has(reference)) graph.findings.push(finding("planner.kernel.interlocking-participant-resolves", artifact.file, `${artifact.id} lists undeclared ${reference}`)); }
   }
   return graph;
 }