@jjchill/probity-rules 0.2.3 → 0.4.0

package/CHANGELOG.md

@@ -1,5 +1,76 @@
 # Changelog
 
+## 0.4.0
+
+Preset options, so projects stop forking rule lists:
+
+- **KMP preset options (#19).** `kmpRuleEntries(root, options)` takes a
+  `KmpPresetOptions` object: `specsDir`, `specGlobs`, `glossaryPath`,
+  `coreGlobs`, `acceptanceTestGlobs`, `testRoots`, `testFilePattern`,
+  `testDeclarationPattern`, `baselinePath`, `driverScopes`,
+  `defaultScopes`. Each defaults to the previous hardcoded value, and
+  the old `kmpRuleEntries(root, { driverScopes, defaultScopes })` call
+  still works.
+- **Excluding spikes and build output (#21).** The JS, Kotlin, and KMP
+  presets take `excludeGlobs`, default `['spikes/**', '**/build/**']`,
+  appended as `!` negations to every files-scoped block. Pass `[]` to
+  turn it off. **Behavior change:** writes under `spikes/` or a `build/`
+  directory are no longer checked by these presets' rules.
+- **JS spec-to-test traceability (#18).** Setting `specsDir` on
+  `jsRuleEntries` wires `requireSpecBackedAcceptanceTest`,
+  `surfaceScenarioLinkBreakage`, `enforceSpecTestParity`, and (with
+  `glossaryPath`) `surfaceGlossaryTermBreakage`, as the KMP preset
+  does. Off by default.
+- **TypeScript test declarations (#12).** New `JS_TEST_DECLARATION`
+  matches vitest/jest/mocha `it(`/`test(` and their `.only`/`.skip`/
+  `.each(...)(` variants; the JS preset uses it by default.
+- New helper `withExcludeGlobs(entries, globs)` in `rules/scoping.ts`.
+
+`probity-scope-report --allow-empty <glob>` (repeatable) marks a block
+as expected to be empty, so a greenfield repository can run `--strict`
+in CI from its first commit (#20). A flag that matches no block's glob
+is a warning; a flag whose block now has files is noted.
+
+## 0.3.0
+
+Kotlin and KMP presets now wire the characterization round-trip the
+Swift preset already had (issue #34). A test that pins behavior
+production already has — for example a branch an independent mutation
+review found untested — is born green, so no red can precede it, and
+the TDD judge could block it with no honest way forward. Now:
+
+- a test-source write (`src/test`, or any `src/<name>Test` source set)
+  carrying `// probity: characterization` above the test passes without
+  the judge; the marker does nothing in production source;
+- the marker comes off only when the session transcript records that
+  test failing (typically under a `// probity: mutation-probe`), and the
+  new `enforceCharacterizationResolution` commit gate blocks `git commit`
+  while any marker is on disk;
+- `withCharacterizationTest` (all presets that use it) appends a note
+  naming the marker when it denies an unmarked test-layer write for
+  lacking a red, and resolves backticked Kotlin test names
+  (``fun `rejects blank ids`()``) in full for the removal proof.
+
+**Behavior change:** Kotlin/KMP commits are now blocked while a
+`probity: characterization` marker is on disk. No existing project
+carries the marker unless it opted in.
+
+The TDD judge in every preset reports a judge that returned no verdict
+as an infrastructure failure (issue #32). A spend-limit, quota, or auth
+notice used to surface as `could not parse verdict from validator
+output: …`, which reads as a rejection of the change. The write is
+still blocked (fail closed), but the deny text now says it was not
+judged, whether the provider reported itself unavailable, and which
+writes still pass deterministically. The wrapper is exported as
+`withJudgeFailureDiagnostics` from `rules/gates.ts`.
+
+`probity-scope-report` no longer flags test files under a core-purity
+rule as "adapter/DI/UI-looking" (issue #26). A test-wide
+`forbidContentPattern` (such as a no-mocking-library screen over every
+test source set) legitimately covers adapter tests; the old warning
+suggested excluding them, which would weaken the check. Production
+adapter paths are still flagged.
+
 ## 0.2.3
 
 `enforceSpecTestParity` now inspects the pending Git commit before scanning

package/dist/internal/kotlin-tdd.d.ts

@@ -2,7 +2,9 @@ import { type Rule } from '@nizos/probity';
 /**
  * Kotlin sessions commonly include Gradle output plus several source reads between
  * red and green. Twenty events preserves that nearby red; clipping each event at
- * 6,000 characters keeps the additional context bounded.
+ * 6,000 characters keeps the additional context bounded. A judge that
+ * returns no verdict (spend limit, auth failure) is reported as an
+ * infrastructure failure rather than a TDD rejection.
  */
 export declare function enforceKotlinTdd(): Rule;
 //# sourceMappingURL=kotlin-tdd.d.ts.map

package/dist/internal/kotlin-tdd.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"kotlin-tdd.d.ts","sourceRoot":"","sources":["../../internal/kotlin-tdd.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAStD;;;;GAIG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CAMvC"}
+{"version":3,"file":"kotlin-tdd.d.ts","sourceRoot":"","sources":["../../internal/kotlin-tdd.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAiBtD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CASvC"}

package/dist/internal/kotlin-tdd.js

@@ -1,4 +1,9 @@
 import { enforceTdd } from '@nizos/probity';
+import { withJudgeFailureDiagnostics } from '../rules/gates.js';
+const KOTLIN_DETERMINISTIC_PATHS = 'Writes that never call the judge still go through: a test-source write ' +
+    'adding exactly one @Test function (Kotlin fast path), telemetry-only ' +
+    'lines, writes marked `// probity: mutation-probe`, and test-source ' +
+    'writes marked `// probity: characterization`.';
 const KOTLIN_TDD_ADDENDUM = `## Kotlin/JVM TDD clarification
 
 - Kotlin-specific exception to the generic placeholder guidance: when a targeted, relevant Kotlin test executes a \`TODO()\` placeholder and reports \`kotlin.NotImplementedError\`, that runtime failure is a clean red. Do not require a second run that reaches an assertion before replacing the placeholder. The implementation remains bounded by the assertions present in the relevant test source visible in the recent session.
@@ -8,13 +13,15 @@ const KOTLIN_TDD_ADDENDUM = `## Kotlin/JVM TDD clarification
 /**
  * Kotlin sessions commonly include Gradle output plus several source reads between
  * red and green. Twenty events preserves that nearby red; clipping each event at
- * 6,000 characters keeps the additional context bounded.
+ * 6,000 characters keeps the additional context bounded. A judge that
+ * returns no verdict (spend limit, auth failure) is reported as an
+ * infrastructure failure rather than a TDD rejection.
  */
 export function enforceKotlinTdd() {
-    return enforceTdd({
+    return withJudgeFailureDiagnostics(enforceTdd({
         instructions: (defaults) => `${defaults}\n\n${KOTLIN_TDD_ADDENDUM}`,
         maxEvents: 20,
         maxContentChars: 6_000,
-    });
+    }), { deterministicPaths: KOTLIN_DETERMINISTIC_PATHS });
 }
 //# sourceMappingURL=kotlin-tdd.js.map

package/dist/internal/kotlin-tdd.js.map

@@ -1 +1 @@
-{"version":3,"file":"kotlin-tdd.js","sourceRoot":"","sources":["../../internal/kotlin-tdd.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAa,MAAM,gBAAgB,CAAA;AAEtD,MAAM,mBAAmB,GAAG;;;;;2LAK+J,CAAA;AAE3L;;;;GAIG;AACH,MAAM,UAAU,gBAAgB;IAC9B,OAAO,UAAU,CAAC;QAChB,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,OAAO,mBAAmB,EAAE;QACnE,SAAS,EAAE,EAAE;QACb,eAAe,EAAE,KAAK;KACvB,CAAC,CAAA;AACJ,CAAC"}
+{"version":3,"file":"kotlin-tdd.js","sourceRoot":"","sources":["../../internal/kotlin-tdd.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAa,MAAM,gBAAgB,CAAA;AAEtD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAA;AAE/D,MAAM,0BAA0B,GAC9B,yEAAyE;IACzE,uEAAuE;IACvE,qEAAqE;IACrE,+CAA+C,CAAA;AAEjD,MAAM,mBAAmB,GAAG;;;;;2LAK+J,CAAA;AAE3L;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB;IAC9B,OAAO,2BAA2B,CAChC,UAAU,CAAC;QACT,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,OAAO,mBAAmB,EAAE;QACnE,SAAS,EAAE,EAAE;QACb,eAAe,EAAE,KAAK;KACvB,CAAC,EACF,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,CACnD,CAAA;AACH,CAAC"}

package/dist/presets/js.d.ts

@@ -1,22 +1,6 @@
-/**
- * Probity rule-entry factory — plain JS/TS preset.
- *
- * Turns three of the agent-skills catalog's prose disciplines into
- * hard PreToolUse gates via https://github.com/nizos/probity :
- *
- *   test-driven-development  → enforceTdd (built-in)
- *   ports-and-adapters       → enforcePortsBoundary + forbidInternalModuleMocks
- *                              + a deterministic import screen
- *   acceptance-testing       → enforceAcceptanceLanguage
- *
- * `jsRuleEntries(options?)` reproduces exactly what the shipped
- * `probity.config.ts` template wires by default — every option below
- * defaults to that template's current value. A consuming project
- * copies the thin template (which calls this factory) and overrides
- * only the options its layout needs.
- */
 import { type RuleEntry } from '@nizos/probity';
 import type { Globs } from '../rules/scoping.js';
+import { type DriverScope } from '../rules/spec-test-parity.js';
 /**
  * Deterministic first line of defense for the Dependency Rule: known
  * framework/vendor/OS-I/O imports never belong in core code, so block
@@ -51,6 +35,40 @@ export type JsPresetOptions = {
     commitSuccessPattern?: RegExp;
     /** Your runner's failure summary line. */
     commitFailurePattern?: RegExp;
+    /**
+     * Absolute path to the specs directory (e.g. `docs/specs`). OFF by
+     * default — no behavior change until set. Setting it switches on
+     * spec-to-test traceability, the same set the KMP/Kotlin presets
+     * wire: `requireSpecBackedAcceptanceTest` on `acceptanceTestGlobs`
+     * (deterministic, write-time, ordered before every AI-validated
+     * rule below), `surfaceScenarioLinkBreakage` on `specGlobs`, and
+     * `enforceSpecTestParity` as a commit gate. `surfaceGlossaryTermBreakage`
+     * on `glossaryPath` is added too, once that option is also set.
+     */
+    specsDir?: string;
+    /** Test-case files that must carry a spec-backed Covers: tag. */
+    acceptanceTestGlobs?: Globs;
+    /** Absolute paths to scan for acceptance tests (Covers: tags);
+     *  defaults to `[process.cwd()]` — Probity hook processes are
+     *  anchored to the project root. */
+    testRoots?: string[];
+    /** Which files count as acceptance tests when scanning for Covers:
+     *  tags (default: any file under an `acceptance/` directory). */
+    testFilePattern?: RegExp;
+    /** What counts as a test-case declaration for the write-time gate
+     *  (default: {@link JS_TEST_DECLARATION} — vitest/jest/mocha
+     *  `it(`/`test(` and their `.only`/`.skip`/`.each(...)( `/
+     *  `.concurrent` variants). */
+    testDeclarationPattern?: RegExp;
+    /** Per-scenario driver mapping; see {@link DriverScope}. */
+    driverScopes?: DriverScope[];
+    /** Scope names every scenario must satisfy even untagged. */
+    defaultScopes?: string[];
+    /** Incremental-adoption baseline path for the commit-time parity gate. */
+    parityBaselinePath?: string;
+    /** Globs excluded (as `!`-negations) from every files-scoped block —
+     *  spikes and build output by default. Pass `[]` to disable. */
+    excludeGlobs?: string[];
 };
 /**
  * Rule entries for a plain JS/TS project. Probity stops at the first

package/dist/presets/js.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"js.d.ts","sourceRoot":"","sources":["../../presets/js.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAoC,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAYjF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAEhD;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,QAC2O,CAAA;AAEpR,MAAM,MAAM,eAAe,GAAG;IAC5B;qDACiD;IACjD,SAAS,CAAC,EAAE,KAAK,CAAA;IACjB,oEAAoE;IACpE,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B;+CAC2C;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB;2BACuB;IACvB,SAAS,CAAC,EAAE,KAAK,CAAA;IACjB;wDACoD;IACpD,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB;sDACkD;IAClD,SAAS,CAAC,EAAE,KAAK,CAAA;IACjB;oBACgB;IAChB,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,8DAA8D;IAC9D,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,wCAAwC;IACxC,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,0CAA0C;IAC1C,oBAAoB,CAAC,EAAE,MAAM,CAAA;CAC9B,CAAA;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,OAAO,GAAE,eAAoB,GAAG,SAAS,EAAE,CAkFxE"}
+{"version":3,"file":"js.d.ts","sourceRoot":"","sources":["../../presets/js.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAoC,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAajF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAEhD,OAAO,EAKL,KAAK,WAAW,EACjB,MAAM,8BAA8B,CAAA;AAGrC;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,QAC2O,CAAA;AAEpR,MAAM,MAAM,eAAe,GAAG;IAC5B;qDACiD;IACjD,SAAS,CAAC,EAAE,KAAK,CAAA;IACjB,oEAAoE;IACpE,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B;+CAC2C;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB;2BACuB;IACvB,SAAS,CAAC,EAAE,KAAK,CAAA;IACjB;wDACoD;IACpD,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB;sDACkD;IAClD,SAAS,CAAC,EAAE,KAAK,CAAA;IACjB;oBACgB;IAChB,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,8DAA8D;IAC9D,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,wCAAwC;IACxC,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,0CAA0C;IAC1C,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,iEAAiE;IACjE,mBAAmB,CAAC,EAAE,KAAK,CAAA;IAC3B;;wCAEoC;IACpC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAA;IACpB;qEACiE;IACjE,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB;;;mCAG+B;IAC/B,sBAAsB,CAAC,EAAE,MAAM,CAAA;IAC/B,4DAA4D;IAC5D,YAAY,CAAC,EAAE,WAAW,EAAE,CAAA;IAC5B,6DAA6D;IAC7D,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;IACxB,0EAA0E;IAC1E,kBAAkB,CAAC,EAAE,MAAM,CAAA;IAC3B;oEACgE;IAChE,YAAY,CAAC,EAAE,MAAM,EAAE,CAAA;CACxB,CAAA;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,OAAO,GAAE,eAAoB,GAAG,SAAS,EAAE,CAgKxE"}

package/dist/presets/js.js

@@ -15,10 +15,14 @@
  * copies the thin template (which calls this factory) and overrides
  * only the options its layout needs.
  */
+import { basename } from 'node:path';
 import { enforceTdd, forbidContentPattern } from '@nizos/probity';
 import { enforceAcceptanceLanguage } from '../rules/acceptance-language.js';
-import { forbidNewAmbientEffects, JS_AMBIENT_EFFECT_PATTERNS, requireGreenTestRun, } from '../rules/gates.js';
+import { forbidNewAmbientEffects, JS_AMBIENT_EFFECT_PATTERNS, requireGreenTestRun, withJudgeFailureDiagnostics, } from '../rules/gates.js';
 import { enforcePortsBoundary, forbidInternalModuleMocks, } from '../rules/ports-and-adapters.js';
+import { withExcludeGlobs } from '../rules/scoping.js';
+import { enforceSpecTestParity, JS_TEST_DECLARATION, requireSpecBackedAcceptanceTest, surfaceScenarioLinkBreakage, } from '../rules/spec-test-parity.js';
+import { surfaceGlossaryTermBreakage } from '../rules/ubiquitous-language.js';
 /**
  * Deterministic first line of defense for the Dependency Rule: known
  * framework/vendor/OS-I/O imports never belong in core code, so block
@@ -38,7 +42,8 @@ export function jsRuleEntries(options = {}) {
     const mockGlobs = options.mockGlobs ?? ['**/*.test.*', '**/*.spec.*', 'test/**', 'tests/**'];
     const tddGlobs = options.tddGlobs ?? ['src/**', 'test/**', 'tests/**'];
     const specGlobs = options.specGlobs ?? ['specs/**', 'acceptance/**', '**/*.feature'];
-    return [
+    const excludeGlobs = options.excludeGlobs ?? ['spikes/**', '**/build/**'];
+    const entries = [
         // ── Boundaries: ports-and-adapters ──────────────────────────────
         // Core purity. Point these globs at your core/domain/use-case
         // code only — adapters and composition roots import vendors by
@@ -71,42 +76,109 @@ export function jsRuleEntries(options = {}) {
             files: mockGlobs,
             rules: [forbidInternalModuleMocks()],
         },
-        // ── Inner loop: test-driven-development ─────────────────────────
-        // Red → Green → Refactor on all production and test code. This is
-        // the expensive rule (AI call per matching write) — scope it to
-        // the code you actually TDD. Listed AFTER the deterministic
-        // screens above: Probity stops at the first violation, so a
-        // vendor import in core code is rejected free by the import
-        // screen, never after a model call.
-        {
-            files: tddGlobs,
-            rules: [enforceTdd()],
-        },
-        // ── Outer loop: acceptance-testing ──────────────────────────────
-        // The Language Test on the spec layer only. Do NOT widen this to
-        // DSL or protocol-driver files — those layers are supposed to
-        // contain the mechanics this rule blocks. To hold specs to your
-        // glossary (ubiquitous-language skill), pass glossaryPath as an
-        // absolute path, e.g.:
-        //   enforceAcceptanceLanguage({
-        //     glossaryPath: fileURLToPath(new URL('./docs/GLOSSARY.md', import.meta.url)),
-        //   })
-        {
-            files: specGlobs,
-            rules: [enforceAcceptanceLanguage({ glossaryPath: options.glossaryPath })],
-        },
-        // ── Ship gate ────────────────────────────────────────────────────
-        // No commit on an unverified tree — and the recorded run must be
-        // GREEN. Probity's built-in requireCommand only checks that a test
-        // command ran after the last write; a run whose output was all
-        // failures would still unlock the commit. Match your real test
-        // command and your runner's summary lines (defaults below cover
-        // vitest and jest).
-        requireGreenTestRun({
-            command: options.commitCommand ?? /npm (run )?test|vitest|jest/,
-            successPattern: options.commitSuccessPattern ?? /Test Files\s+\d+ passed|Tests:\s+.*\b\d+ passed/,
-            failurePattern: options.commitFailurePattern ?? /\d+ failed|FAIL\s/,
-        }),
     ];
+    // Spec-to-test traceability (issue #18): OFF by default, so a
+    // project that hasn't opted in sees no behavior change. Setting
+    // `specsDir` wires the same set the KMP preset wires — deterministic
+    // rules, ordered before the AI-validated TDD/Language Test rules
+    // below (Probity stops at the first violation, so a tagless
+    // acceptance test is rejected free, never after a model call).
+    if (options.specsDir) {
+        const specsDir = options.specsDir;
+        const acceptanceTestGlobs = options.acceptanceTestGlobs ?? [
+            'acceptance/**/*.test.*',
+            'acceptance/**/*.spec.*',
+        ];
+        const testRoots = options.testRoots ?? [process.cwd()];
+        // Spec↔test traceability. Editing a spec must not silently break
+        // the tests that claim its scenarios: removing or renaming a
+        // `## Scenario:` heading still covered by a test blocks with the
+        // list of affected tests, so the rename updates its Covers: tags
+        // in the same change.
+        entries.push({
+            files: specGlobs,
+            rules: [
+                surfaceScenarioLinkBreakage({ testRoots, testFilePattern: options.testFilePattern }),
+            ],
+        });
+        // Spec-first, at write time: adding a new test case (it(/test(,
+        // see JS_TEST_DECLARATION) requires a new Covers: tag resolving to
+        // a scenario that already exists in specsDir — the feature file is
+        // written before the test that claims it.
+        entries.push({
+            files: acceptanceTestGlobs,
+            rules: [
+                requireSpecBackedAcceptanceTest({
+                    specsDir,
+                    testDeclarationPattern: options.testDeclarationPattern ?? JS_TEST_DECLARATION,
+                }),
+            ],
+        });
+        if (options.glossaryPath) {
+            // Ubiquitous-language drift: renaming or removing a glossary
+            // term that specs, tests, or code still use blocks the glossary
+            // edit with the list of users. The JS preset has no `root` to
+            // anchor a relative glob against (unlike the KMP/Kotlin
+            // presets), so this scopes by basename anywhere in the tree —
+            // broader than an exact path, but safe regardless of where
+            // `glossaryPath` (an absolute path) points.
+            entries.push({
+                files: [`**/${basename(options.glossaryPath)}`],
+                rules: [surfaceGlossaryTermBreakage({ searchRoots: testRoots })],
+            });
+        }
+    }
+    // ── Inner loop: test-driven-development ─────────────────────────
+    // Red → Green → Refactor on all production and test code. This is
+    // the expensive rule (AI call per matching write) — scope it to
+    // the code you actually TDD. Listed AFTER the deterministic
+    // screens above: Probity stops at the first violation, so a
+    // vendor import in core code is rejected free by the import
+    // screen, never after a model call.
+    entries.push({
+        files: tddGlobs,
+        rules: [withJudgeFailureDiagnostics(enforceTdd())],
+    });
+    // ── Outer loop: acceptance-testing ──────────────────────────────
+    // The Language Test on the spec layer only. Do NOT widen this to
+    // DSL or protocol-driver files — those layers are supposed to
+    // contain the mechanics this rule blocks. To hold specs to your
+    // glossary (ubiquitous-language skill), pass glossaryPath as an
+    // absolute path, e.g.:
+    //   enforceAcceptanceLanguage({
+    //     glossaryPath: fileURLToPath(new URL('./docs/GLOSSARY.md', import.meta.url)),
+    //   })
+    entries.push({
+        files: specGlobs,
+        rules: [enforceAcceptanceLanguage({ glossaryPath: options.glossaryPath })],
+    });
+    if (options.specsDir) {
+        // ── Ship gate: spec↔test parity ─────────────────────────────────
+        // Definition of done, made mechanical: every non-wip scenario in
+        // specsDir is claimed by an acceptance test (Covers: tag), and
+        // every tag resolves to a real scenario. Mark in-progress specs
+        // `## Scenario (wip):`.
+        entries.push(enforceSpecTestParity({
+            specsDir: options.specsDir,
+            testRoots: options.testRoots ?? [process.cwd()],
+            testFilePattern: options.testFilePattern,
+            baselinePath: options.parityBaselinePath,
+            driverScopes: options.driverScopes,
+            defaultScopes: options.defaultScopes,
+        }));
+    }
+    // ── Ship gate: green tests ──────────────────────────────────────
+    // No commit on an unverified tree — and the recorded run must be
+    // GREEN. Probity's built-in requireCommand only checks that a test
+    // command ran after the last write; a run whose output was all
+    // failures would still unlock the commit. Match your real test
+    // command and your runner's summary lines (defaults below cover
+    // vitest and jest).
+    entries.push(requireGreenTestRun({
+        command: options.commitCommand ?? /npm (run )?test|vitest|jest/,
+        successPattern: options.commitSuccessPattern ?? /Test Files\s+\d+ passed|Tests:\s+.*\b\d+ passed/,
+        failurePattern: options.commitFailurePattern ?? /\d+ failed|FAIL\s/,
+    }));
+    return withExcludeGlobs(entries, excludeGlobs);
 }
 //# sourceMappingURL=js.js.map

package/dist/presets/js.js.map

@@ -1 +1 @@
-{"version":3,"file":"js.js","sourceRoot":"","sources":["../../presets/js.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAkB,MAAM,gBAAgB,CAAA;AAEjF,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,EACL,uBAAuB,EACvB,0BAA0B,EAC1B,mBAAmB,GACpB,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACL,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,gCAAgC,CAAA;AAGvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GACvC,kRAAkR,CAAA;AA+BpR;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,UAA2B,EAAE;IACzD,MAAM,SAAS,GAAU,OAAO,CAAC,SAAS,IAAI,CAAC,aAAa,EAAE,eAAe,CAAC,CAAA;IAC9E,MAAM,SAAS,GAAU,OAAO,CAAC,SAAS,IAAI,CAAC,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,CAAC,CAAA;IACnG,MAAM,QAAQ,GAAU,OAAO,CAAC,QAAQ,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAA;IAC7E,MAAM,SAAS,GAAU,OAAO,CAAC,SAAS,IAAI,CAAC,UAAU,EAAE,eAAe,EAAE,cAAc,CAAC,CAAA;IAE3F,OAAO;QACL,mEAAmE;QACnE,8DAA8D;QAC9D,+DAA+D;QAC/D,kCAAkC;QAClC;YACE,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE;gBACL,oBAAoB,CAAC;oBACnB,KAAK,EAAE,OAAO,CAAC,qBAAqB,IAAI,4BAA4B;oBACpE,MAAM,EACJ,6DAA6D;wBAC7D,wDAAwD;wBACxD,2DAA2D;wBAC3D,6CAA6C;wBAC7C,4BAA4B;iBAC/B,CAAC;gBACF,iEAAiE;gBACjE,0DAA0D;gBAC1D,oDAAoD;gBACpD,uBAAuB,CAAC;oBACtB,QAAQ,EAAE,0BAA0B;oBACpC,QAAQ,EAAE,OAAO,CAAC,QAAQ;iBAC3B,CAAC;gBACF,oBAAoB,EAAE;aACvB;SACF;QAED,gEAAgE;QAChE,iEAAiE;QACjE,WAAW;QACX;YACE,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE,CAAC,yBAAyB,EAAE,CAAC;SACrC;QAED,mEAAmE;QACnE,kEAAkE;QAClE,gEAAgE;QAChE,4DAA4D;QAC5D,4DAA4D;QAC5D,4DAA4D;QAC5D,oCAAoC;QACpC;YACE,KAAK,EAAE,QAAQ;YACf,KAAK,EAAE,CAAC,UAAU,EAAE,CAAC;SACtB;QAED,mEAAmE;QACnE,iEAAiE;QACjE,8DAA8D;QAC9D,gEAAgE;QAChE,gEAAgE;QAChE,uBAAuB;QACvB,gCAAgC;QAChC,mFAAmF;QACnF,OAAO;QACP;YACE,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE,CAAC,yBAAyB,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;SAC3E;QAED,oEAAoE;QACpE,iEAAiE;QACjE,mEAAmE;QACnE,+DAA+D;QAC/D,+DAA+D;QAC/D,gEAAgE;QAChE,oBAAoB;QACpB,mBAAmB,CAAC;YAClB,OAAO,EAAE,OAAO,CAAC,aAAa,IAAI,6BAA6B;YAC/D,cAAc,EACZ,OAAO,CAAC,oBAAoB,IAAI,iDAAiD;YACnF,cAAc,EAAE,OAAO,CAAC,oBAAoB,IAAI,mBAAmB;SACpE,CAAC;KACH,CAAA;AACH,CAAC"}
+{"version":3,"file":"js.js","sourceRoot":"","sources":["../../presets/js.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEpC,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAkB,MAAM,gBAAgB,CAAA;AAEjF,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,EACL,uBAAuB,EACvB,0BAA0B,EAC1B,mBAAmB,EACnB,2BAA2B,GAC5B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACL,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,gCAAgC,CAAA;AAEvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AACtD,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,+BAA+B,EAC/B,2BAA2B,GAE5B,MAAM,8BAA8B,CAAA;AACrC,OAAO,EAAE,2BAA2B,EAAE,MAAM,iCAAiC,CAAA;AAE7E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GACvC,kRAAkR,CAAA;AAiEpR;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,UAA2B,EAAE;IACzD,MAAM,SAAS,GAAU,OAAO,CAAC,SAAS,IAAI,CAAC,aAAa,EAAE,eAAe,CAAC,CAAA;IAC9E,MAAM,SAAS,GAAU,OAAO,CAAC,SAAS,IAAI,CAAC,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,CAAC,CAAA;IACnG,MAAM,QAAQ,GAAU,OAAO,CAAC,QAAQ,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAA;IAC7E,MAAM,SAAS,GAAU,OAAO,CAAC,SAAS,IAAI,CAAC,UAAU,EAAE,eAAe,EAAE,cAAc,CAAC,CAAA;IAC3F,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,CAAA;IAEzE,MAAM,OAAO,GAAgB;QAC3B,mEAAmE;QACnE,8DAA8D;QAC9D,+DAA+D;QAC/D,kCAAkC;QAClC;YACE,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE;gBACL,oBAAoB,CAAC;oBACnB,KAAK,EAAE,OAAO,CAAC,qBAAqB,IAAI,4BAA4B;oBACpE,MAAM,EACJ,6DAA6D;wBAC7D,wDAAwD;wBACxD,2DAA2D;wBAC3D,6CAA6C;wBAC7C,4BAA4B;iBAC/B,CAAC;gBACF,iEAAiE;gBACjE,0DAA0D;gBAC1D,oDAAoD;gBACpD,uBAAuB,CAAC;oBACtB,QAAQ,EAAE,0BAA0B;oBACpC,QAAQ,EAAE,OAAO,CAAC,QAAQ;iBAC3B,CAAC;gBACF,oBAAoB,EAAE;aACvB;SACF;QAED,gEAAgE;QAChE,iEAAiE;QACjE,WAAW;QACX;YACE,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE,CAAC,yBAAyB,EAAE,CAAC;SACrC;KACF,CAAA;IAED,8DAA8D;IAC9D,gEAAgE;IAChE,qEAAqE;IACrE,iEAAiE;IACjE,4DAA4D;IAC5D,+DAA+D;IAC/D,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;QACjC,MAAM,mBAAmB,GAAU,OAAO,CAAC,mBAAmB,IAAI;YAChE,wBAAwB;YACxB,wBAAwB;SACzB,CAAA;QACD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAA;QAEtD,iEAAiE;QACjE,6DAA6D;QAC7D,iEAAiE;QACjE,iEAAiE;QACjE,sBAAsB;QACtB,OAAO,CAAC,IAAI,CAAC;YACX,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE;gBACL,2BAA2B,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,CAAC;aACrF;SACF,CAAC,CAAA;QAEF,gEAAgE;QAChE,mEAAmE;QACnE,mEAAmE;QACnE,0CAA0C;QAC1C,OAAO,CAAC,IAAI,CAAC;YACX,KAAK,EAAE,mBAAmB;YAC1B,KAAK,EAAE;gBACL,+BAA+B,CAAC;oBAC9B,QAAQ;oBACR,sBAAsB,EAAE,OAAO,CAAC,sBAAsB,IAAI,mBAAmB;iBAC9E,CAAC;aACH;SACF,CAAC,CAAA;QAEF,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACzB,6DAA6D;YAC7D,gEAAgE;YAChE,8DAA8D;YAC9D,wDAAwD;YACxD,8DAA8D;YAC9D,2DAA2D;YAC3D,4CAA4C;YAC5C,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC/C,KAAK,EAAE,CAAC,2BAA2B,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;aACjE,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,kEAAkE;IAClE,gEAAgE;IAChE,4DAA4D;IAC5D,4DAA4D;IAC5D,4DAA4D;IAC5D,oCAAoC;IACpC,OAAO,CAAC,IAAI,CAAC;QACX,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,CAAC,2BAA2B,CAAC,UAAU,EAAE,CAAC,CAAC;KACnD,CAAC,CAAA;IAEF,mEAAmE;IACnE,iEAAiE;IACjE,8DAA8D;IAC9D,gEAAgE;IAChE,gEAAgE;IAChE,uBAAuB;IACvB,gCAAgC;IAChC,mFAAmF;IACnF,OAAO;IACP,OAAO,CAAC,IAAI,CAAC;QACX,KAAK,EAAE,SAAS;QAChB,KAAK,EAAE,CAAC,yBAAyB,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;KAC3E,CAAC,CAAA;IAEF,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,mEAAmE;QACnE,iEAAiE;QACjE,+DAA+D;QAC/D,gEAAgE;QAChE,wBAAwB;QACxB,OAAO,CAAC,IAAI,CACV,qBAAqB,CAAC;YACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YAC/C,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,YAAY,EAAE,OAAO,CAAC,kBAAkB;YACxC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC,CAAC,CACH,CAAA;IACH,CAAC;IAED,mEAAmE;IACnE,iEAAiE;IACjE,mEAAmE;IACnE,+DAA+D;IAC/D,+DAA+D;IAC/D,gEAAgE;IAChE,oBAAoB;IACpB,OAAO,CAAC,IAAI,CACV,mBAAmB,CAAC;QAClB,OAAO,EAAE,OAAO,CAAC,aAAa,IAAI,6BAA6B;QAC/D,cAAc,EACZ,OAAO,CAAC,oBAAoB,IAAI,iDAAiD;QACnF,cAAc,EAAE,OAAO,CAAC,oBAAoB,IAAI,mBAAmB;KACpE,CAAC,CACH,CAAA;IAED,OAAO,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;AAChD,CAAC"}

package/dist/presets/kmp.d.ts

@@ -1,5 +1,45 @@
 import { type RuleEntry } from '@nizos/probity';
+import type { Globs } from '../rules/scoping.js';
 import { type DriverScope } from '../rules/spec-test-parity.js';
+/**
+ * Options for {@link kmpRuleEntries}. A superset of the factory's
+ * original `{ driverScopes, defaultScopes }` second parameter, so
+ * existing callers passing that shape unchanged keep working. Every
+ * option defaults to the reference KMP layout's current hardcoded
+ * value — a consuming project overrides only what its layout needs.
+ */
+export type KmpPresetOptions = {
+    /** Absolute path to the specs directory. */
+    specsDir?: string;
+    /** Spec files the traceability rules scan/scope to (Markdown
+     *  `*.feature.md` by default; add `**\/*.feature` for Gherkin). */
+    specGlobs?: Globs;
+    /** Absolute path to the ubiquitous-language glossary. */
+    glossaryPath?: string;
+    /** Core purity scope — domain/port/usecase/presentation packages in
+     *  commonMain. Adapter, DI, and Compose ui packages import vendors
+     *  by design and must NOT match here. */
+    coreGlobs?: Globs;
+    /** Test-case files that must carry a spec-backed Covers: tag. */
+    acceptanceTestGlobs?: Globs;
+    /** Absolute paths to scan for acceptance tests (Covers: tags). */
+    testRoots?: string[];
+    /** Which files count as acceptance tests when scanning for Covers:
+     *  tags (default: any file under an `acceptance/` directory). */
+    testFilePattern?: RegExp;
+    /** What counts as a test-case declaration for the write-time gate
+     *  (default: Kotlin/Java `@Test` or Swift `func test…`). */
+    testDeclarationPattern?: RegExp;
+    /** Per-scenario driver mapping; see {@link DriverScope}. */
+    driverScopes?: DriverScope[];
+    /** Scope names every scenario must satisfy even untagged. */
+    defaultScopes?: string[];
+    /** Incremental-adoption baseline path for the commit-time parity gate. */
+    baselinePath?: string;
+    /** Globs excluded (as `!`-negations) from every files-scoped block —
+     *  spikes and build output by default. Pass `[]` to disable. */
+    excludeGlobs?: string[];
+};
 /**
  * The rule entries, as a factory over the project root. Probity only
  * reads the default export below; the factory exists so tooling can
@@ -13,15 +53,12 @@ import { type DriverScope } from '../rules/spec-test-parity.js';
  * `loadConfig` anchors them against this file's directory at load
  * time, and the tooling replicates that via `rules/scoping.ts`.
  *
- * `parity` optionally switches on the per-scenario driver mapping
- * (`driverScopes`/`defaultScopes` on the commit-time parity gate) —
+ * `options.driverScopes`/`options.defaultScopes` optionally switch on
+ * the per-scenario driver mapping on the commit-time parity gate —
  * projects normally enable it by uncommenting the block in the
- * `enforceSpecTestParity` call below; the parameter exists so the
- * workflow eval can exercise the scope checks without changing the
+ * `enforceSpecTestParity` call below; the workflow eval passes them
+ * directly so it can exercise the scope checks without changing the
  * template's default-off posture.
  */
-export declare function kmpRuleEntries(root: string, parity?: {
-    driverScopes?: DriverScope[];
-    defaultScopes?: string[];
-}): RuleEntry[];
+export declare function kmpRuleEntries(root: string, options?: KmpPresetOptions): RuleEntry[];
 //# sourceMappingURL=kmp.d.ts.map

package/dist/presets/kmp.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"kmp.d.ts","sourceRoot":"","sources":["../../presets/kmp.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAwB,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAUrE,OAAO,EAIL,KAAK,WAAW,EACjB,MAAM,8BAA8B,CAAA;AAmBrC;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,MAAM,CAAC,EAAE;IAAE,YAAY,CAAC,EAAE,WAAW,EAAE,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GAClE,SAAS,EAAE,CAuOb"}
+{"version":3,"file":"kmp.d.ts","sourceRoot":"","sources":["../../presets/kmp.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAwB,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAIrE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAOhD,OAAO,EAIL,KAAK,WAAW,EACjB,MAAM,8BAA8B,CAAA;AAsBrC;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,4CAA4C;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB;uEACmE;IACnE,SAAS,CAAC,EAAE,KAAK,CAAA;IACjB,yDAAyD;IACzD,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB;;6CAEyC;IACzC,SAAS,CAAC,EAAE,KAAK,CAAA;IACjB,iEAAiE;IACjE,mBAAmB,CAAC,EAAE,KAAK,CAAA;IAC3B,kEAAkE;IAClE,SAAS,CAAC,EAAE,MAAM,EAAE,CAAA;IACpB;qEACiE;IACjE,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB;gEAC4D;IAC5D,sBAAsB,CAAC,EAAE,MAAM,CAAA;IAC/B,4DAA4D;IAC5D,YAAY,CAAC,EAAE,WAAW,EAAE,CAAA;IAC5B,6DAA6D;IAC7D,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;IACxB,0EAA0E;IAC1E,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB;oEACgE;IAChE,YAAY,CAAC,EAAE,MAAM,EAAE,CAAA;CACxB,CAAA;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,gBAAqB,GAAG,SAAS,EAAE,CAsQxF"}