@deftai/directive-runtime 0.129.3 → 0.129.5

package/Taskfile.yml

@@ -419,7 +419,7 @@ tasks:
           ENGINE_CMD: 'check --framework-root "{{.TASKFILE_DIR}}" --project-root "{{.USER_WORKING_DIR}}"'
 
   test:coverage:
-    desc: "Run tests with coverage (alias for ts:test; canonical coverage path used by task check, #2528)"
+    desc: "On-demand tests with coverage (alias for ts:test). Merge path is coverage-free (#6041); release Step 5 and this task are the host coverage runs."
     cmds:
       - task: ts:test
 

package/dist/hook-dispatch.js

@@ -226,12 +226,17 @@ export function run(argv, seams = {}) {
         return 0;
     }
     // Wave 2k / AC9.4+AC14.8: pin≠installed → fail closed before policy.
+    // #5910: overlay-present also fail-closes (even when versions match); recovery
+    // names frozen-lockfile restore then overlay retirement.
     const cheap = (seams.cheapInSync ?? checkCheapInSync)(projectRoot);
     if (cheap.failClosed) {
         const guidance = cheap.recoveryGuidance ?? INSTALLATION_RECOVERY_GUIDANCE;
-        const decision = installationIdentityDeny(args.host, args.event, projectRoot, `Directive hook refuse: pinned runtime does not match the installed runtime ` +
-            `(pin=${cheap.pinVersion ?? "?"} installed=${cheap.installedVersion ?? "?"}). ` +
-            `Recovery: ${guidance}`);
+        const identityLine = cheap.identityMatch
+            ? `Directive hook refuse: materialize-runtime overlay is present; identity cannot pass until the overlay is retired after exact restore ` +
+                `(pin=${cheap.pinVersion ?? "?"} installed=${cheap.installedVersion ?? "?"}). `
+            : `Directive hook refuse: pinned runtime does not match the installed runtime ` +
+                `(pin=${cheap.pinVersion ?? "?"} installed=${cheap.installedVersion ?? "?"}). `;
+        const decision = installationIdentityDeny(args.host, args.event, projectRoot, `${identityLine}Recovery: ${guidance}`);
         const rendered = renderHostDecision(args.host, decision);
         if (rendered.length > 0)
             writeOut(`${rendered}\n`);

package/dist/pre-pr-run.d.ts

@@ -1,4 +1,5 @@
 #!/usr/bin/env node
+import type { VerifyAcDispositionKind } from "@deftai/directive-core/product-first-done-gate";
 interface ParsedArgs {
     repo: string;
     baseSha: string;
@@ -31,11 +32,16 @@ interface ParsedArgs {
     evaluate: boolean;
     pushAdmit: boolean;
     projectRoot: string | null;
+    verifyAcDisposition: VerifyAcDispositionKind | null;
     json: boolean;
     help: boolean;
     error?: string;
 }
 export declare function parseArgs(argv: string[]): ParsedArgs;
-export declare function run(argv: string[]): number;
+export interface PrePrRunOptions {
+    /** Hermetic tests inject this; production CLI never sets it (#6071 Greptile). */
+    readonly skipNamedMergeGate?: boolean;
+}
+export declare function run(argv: string[], options?: PrePrRunOptions): number;
 export {};
 //# sourceMappingURL=pre-pr-run.d.ts.map

package/dist/pre-pr-run.js

@@ -41,6 +41,8 @@ Options:
   --criteria-digest <hex>
   --reviewed-file <path>  (repeatable)
   --reviewer-report-ref <ref>
+  --verify-ac-disposition <executed-ac|no-obligation>
+                          direct verify:ac disposition for ordinary pre-PR (#5855)
   --mark-complete         always refuses; cannot mint a pass
   --skill-open            always refuses; opening the skill is not completion
   --evaluate              evaluate live binding against the private store
@@ -82,6 +84,7 @@ export function parseArgs(argv) {
         evaluate: false,
         pushAdmit: false,
         projectRoot: null,
+        verifyAcDisposition: null,
         json: false,
         help: false,
     };
@@ -338,6 +341,23 @@ export function parseArgs(argv) {
             if (arg === "--run-id")
                 i += 1;
         }
+        else if (arg === "--verify-ac-disposition" || arg?.startsWith("--verify-ac-disposition=")) {
+            const value = arg === "--verify-ac-disposition"
+                ? argv[i + 1]
+                : arg.slice("--verify-ac-disposition=".length);
+            if (value === undefined) {
+                return { ...parsed, error: "argument --verify-ac-disposition: expected one argument" };
+            }
+            if (value !== "executed-ac" && value !== "no-obligation") {
+                return {
+                    ...parsed,
+                    error: "argument --verify-ac-disposition: expected executed-ac|no-obligation",
+                };
+            }
+            parsed.verifyAcDisposition = value;
+            if (arg === "--verify-ac-disposition")
+                i += 1;
+        }
         else {
             return { ...parsed, error: `unrecognized argument: ${arg}` };
         }
@@ -354,7 +374,7 @@ function emit(json, payload, text, err) {
 function asPhaseId(value) {
     return PRE_PR_PHASE_IDS.includes(value) ? value : null;
 }
-export function run(argv) {
+export function run(argv, options = {}) {
     const args = parseArgs(argv);
     if (args.help) {
         process.stdout.write(USAGE);
@@ -515,6 +535,10 @@ export function run(argv) {
         const projectRoot = args.projectRoot?.trim() || process.cwd();
         const d = completeRun(store, controllerPublisher(), args.runId, undefined, {
             projectRoot,
+            ...(options.skipNamedMergeGate === true ? { skipNamedMergeGate: true } : {}),
+            ...(args.verifyAcDisposition !== null
+                ? { verifyAcDisposition: args.verifyAcDisposition }
+                : {}),
         });
         emit(args.json, d, d.message, !d.ok);
         return d.ok ? 0 : 1;

package/dist/verify-ac.d.ts

@@ -1,4 +1,6 @@
 #!/usr/bin/env node
+import { VERIFY_AC_NO_OBLIGATION_EXIT } from "@deftai/directive-core/product-first-done-gate";
+export { VERIFY_AC_NO_OBLIGATION_EXIT };
 interface ParsedArgs {
     projectRoot: string;
     xbriefPath: string | null;
@@ -20,9 +22,12 @@ export type FindActiveXbriefResult = {
     readonly paths: readonly string[];
     readonly dir: string;
 };
-/** Three-state exit: pass=0, fail=1, config=2. A printed pass must not leak 201. */
+/**
+ * Three-state exit: pass=0, fail=1, config=2, plus deliberate no-obligation=6.
+ * A printed pass must not leak 201. No-obligation is a named clamp exception so
+ * both check dispatch paths keep the distinct exit (#5855 Recut-8).
+ */
 export declare function clampVerifyAcExit(ok: boolean, code: number): number;
 /** Run the gate and return the process exit code. */
 export declare function run(argv: string[]): number;
-export {};
 //# sourceMappingURL=verify-ac.d.ts.map

package/dist/verify-ac.js

@@ -12,7 +12,8 @@ import { join, resolve } from "node:path";
 import { fileURLToPath } from "node:url";
 import { resolveSessionCompletedVerifyAcTarget } from "../vendor/directive-core/dist/check/index.js";
 import { formatRejectedLedger, resolveLiteralAcceptanceDetailed, } from "../vendor/directive-core/dist/literal-acceptance/index.js";
-import { emitVerifyAcTerminalOutcome, evaluateVerifyAcFromPath, readAdmittedSourceDigest, readAdmittedSourceSentences, readBranchBindContext, readPlanAcceptance, resolveAcceptanceGateProfile, resolveSoftMissingAcTargets, } from "../vendor/directive-core/dist/product-first-done-gate/index.js";
+import { emitVerifyAcTerminalOutcome, evaluateVerifyAcFromPath, readAdmittedSourceDigest, readAdmittedSourceSentences, readBranchBindContext, readPlanAcceptance, resolveAcceptanceGateProfile, resolveSoftMissingAcTargets, VERIFY_AC_NO_OBLIGATION_EXIT, } from "../vendor/directive-core/dist/product-first-done-gate/index.js";
+export { VERIFY_AC_NO_OBLIGATION_EXIT };
 /** Parse verify:ac CLI args. */
 export function parseArgs(argv) {
     const parsed = {
@@ -104,10 +105,16 @@ function listActiveXbriefs(projectRoot) {
         dir: dirs.join(" + "),
     };
 }
-/** Three-state exit: pass=0, fail=1, config=2. A printed pass must not leak 201. */
+/**
+ * Three-state exit: pass=0, fail=1, config=2, plus deliberate no-obligation=6.
+ * A printed pass must not leak 201. No-obligation is a named clamp exception so
+ * both check dispatch paths keep the distinct exit (#5855 Recut-8).
+ */
 export function clampVerifyAcExit(ok, code) {
     if (ok)
         return 0;
+    if (code === VERIFY_AC_NO_OBLIGATION_EXIT)
+        return VERIFY_AC_NO_OBLIGATION_EXIT;
     if (code === 2)
         return 2;
     return 1;
@@ -291,10 +298,10 @@ export function run(argv) {
                 const selected = resolveSoftMissingAcTargets(projectRoot, {
                     env: process.env,
                     scannedPaths: found.paths,
-                    branchBind: { ...bindContext, env: process.env },
+                    branchBind: { ...bindContext, env: process.env, projectRoot },
                 });
                 if (selected.kind === "untied") {
-                    // #5855 P3: completed-target precedence, then soft-missing (no AC claimed).
+                    // #5855 P3: completed-target precedence, then soft-missing no-obligation.
                     const completed = resolveSessionCompletedVerifyAcTarget({
                         projectRoot,
                         env: process.env,
@@ -315,7 +322,8 @@ export function run(argv) {
                             process.stdout.write(`${selected.message}\n`);
                         }
                         emitVerifyAcTerminalOutcome({ projectRoot, env: process.env, outcome: "soft-missing" });
-                        return 0;
+                        // Distinct non-zero: exit 0 keeps meaning executed AC only (#5855 Recut-8).
+                        return VERIFY_AC_NO_OBLIGATION_EXIT;
                     }
                 }
                 else if (selected.kind === "one") {

package/docs/scope-provenance.md

@@ -73,6 +73,10 @@ When an active implementation brief is **outside** the change set, membership is
 
 Membership-land (Path B activation) PRs that only touch nonterminal `xbrief|vbrief` under `proposed|pending|active` plus optional root `CHANGELOG.md` leave `metadata.productPullRequest` **unset**. Closing-keywords admits that brief-land shape when body has `deft-story: N` covering each changed nonterminal (`isBriefLandShapedDiff` + early return in `evaluateFullStoryMarkAdmission`). Optional `metadata.activationPullRequest` is provenance only — delivery readers ignore it. The stacked product PR stamps virgin `productPullRequest` on the existing null path; leftover keeps the original product stamp. ⊗ Write the activation PR number into `productPullRequest`. Legacy stamped activations unstamp once, then product stamps. Depth: `packages/core/src/pr-closing-keywords/main.ts`.
 
+### Path B activation vs product `verify:ac` (#5792)
+
+Scope-only Path B activation must be able to clear `deft check` before merge-base write authority exists. Check inventories the complete local change set (merge-base..HEAD ∪ dirty ∪ cached ∪ untracked, with rename origins) into `PrDiffPath`, then reuses the Path B witness (`evaluatePathBActivationAdmit`). Inventory base prefers typed `plan.policy.deliveryBranch` / remote default before `master`|`main`, and git-toplevel paths are remapped to `projectRoot` so nested consumers keep brief-land shape. When the inventory is brief-land shaped and the witness admits, check records one named disposition `path_b_activation_deferred` and **defers** product acceptance commands and artifact-clause execution — it does not selectively forgive opaque npm failures and does not bank as a later product verified-pass. Local check without a PR body uses inventory brief issue-ref identity instead of `deft-story` marks; when a PR body is present, mark coverage still applies. Any product path in the inventory, or `productPullRequest` set, restores full `verify:ac`. Write authority stays merge-base-only (`loadStoryWriteFenceFromMergeBase` unchanged). Depth: `packages/core/src/verify-ac/evaluate.ts`, `packages/core/src/check/cached-orchestrator.ts`.
+
 
 ## Historical ship-closeout for stale merged actives (#5403)
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@deftai/directive-runtime",
-  "version": "0.129.3",
+  "version": "0.129.5",
   "description": "Directive runtime — pinned product commands, hooks, content, and engine.",
   "license": "MIT",
   "homepage": "https://deftai.github.io/directive/",