arkgate 4.8.16 → 4.8.17

package/bin/lib/first-run-help.mjs

@@ -271,7 +271,8 @@ export function checkUsageAll() {
     'This merge profile never depends on an editor/agent hook.',
     'When a Git merge base is available, --strict-merge classifies the ark.config.json',
     'transition. Weakening or judgment-required findings fail unless --policy-ack names',
-    'every finding and is bound to both policy hashes. Use --policy-base/--policy-base-ref',
+    'every finding, is bound to both policy hashes, and adrPath points at a short note',
+    'under docs/adr/ or docs/decisions/. Use --policy-base/--policy-base-ref',
     'for an explicit comparison; ARK_POLICY_BASE_REF is the CI environment equivalent.',
     'The same merge profile blocks new UI business-rule files (domain-logic-in-ui) created',
     'versus that base; leftover design on existing files stays green. Missing base skips',

package/bin/lib/policy-delta-io.mjs

@@ -9,6 +9,7 @@ import {
   loadInvariantCoverageInputs,
 } from './invariant-coverage-io.mjs';
 import { evaluateInvariantCoverage } from './invariant-coverage.mjs';
+import { attachPolicyAdrNote } from './adr-path.mjs';
 
 function readJsonFile(filePath, label) {
   if (!fs.existsSync(filePath)) throw new Error(`${label} not found: ${filePath}`);
@@ -196,14 +197,22 @@ export function analyzePolicyTransition({
     candidateInvariantCoverage = evaluated.coverage;
   }
 
-  return analyzePolicyDelta({
-    baseConfig: base.config,
-    candidateConfig,
-    acknowledgement: readPolicyAcknowledgement(root, acknowledgementPath),
-    baseSource: base.source,
-    candidateSource: path.isAbsolute(configPath) ? configPath : path.join(root, configPath),
-    ...(baseArkRules ? { baseArkRules } : {}),
-    candidateArkRules,
-    ...(candidateInvariantCoverage ? { candidateInvariantCoverage } : {}),
-  });
+  const acknowledgement = readPolicyAcknowledgement(root, acknowledgementPath);
+  return attachPolicyAdrNote(
+    analyzePolicyDelta({
+      baseConfig: base.config,
+      candidateConfig,
+      acknowledgement,
+      baseSource: base.source,
+      candidateSource: path.isAbsolute(configPath) ? configPath : path.join(root, configPath),
+      ...(baseArkRules ? { baseArkRules } : {}),
+      candidateArkRules,
+      ...(candidateInvariantCoverage ? { candidateInvariantCoverage } : {}),
+    }),
+    {
+      root,
+      acknowledgement,
+      failClosed: Boolean(strictMerge || acknowledgementPath),
+    }
+  );
 }

package/dist/{diagnosticCatalog-KWvGLI1U.d.ts → diagnosticCatalog-DVABouBV.d.ts}

@@ -392,7 +392,7 @@ declare function createAdapterResult(input: {
 }): CurrentAdapterResult;
 
 /** ArkGate library version — single source of truth. */
-declare const version = "4.8.16";
+declare const version = "4.8.17";
 
 /**
  * AI Code Gate (basic).
@@ -1971,6 +1971,12 @@ type PolicyDeltaAcknowledgement = {
     candidatePolicyHash: string;
     findingIds: readonly string[];
     reason: string;
+    /**
+     * Relative decision-note path under a conventional home (`docs/adr/`,
+     * `docs/decisions/`, or the AP01 single-file homes). Tooling checks the file.
+     * Hash matching does not require it.
+     */
+    adrPath?: string;
 };
 type ClassifyArkPolicyDeltaOptions = {
     baseArkRules?: EffectiveArkRules;