arkgate 4.8.11 → 4.8.13

package/bin/lib/remediation.mjs

@@ -239,15 +239,15 @@ export function deterministicNextAction(violation) {
         case 'ARKORDER_KERNEL_IN_DOMAIN':
             return 'Move the arkgate/order import out of the Domain-role layer into a plane root or adapter, then preflight again. Never mechanical-safe.';
         case 'ARKORDER_GENERIC_UPDATE':
-            return 'Use release() for the first freeze of ξ. Later pattern change is proposeRelease then apply(ProposeResult). Never update/patch/set. Never mechanical-safe.';
+            return 'Don\'t use a generic update. First freeze with release(). Later, propose the change, then apply it.';
         case 'ARKORDER_TOO_MANY_PARAMS':
             return 'Cut ξ to the slow keys that actually slave the rest, then preflight again. Never mechanical-safe.';
         case 'ARKORDER_INGEST_WRITES_XI':
             return 'Keep ingest results as absorb/escalate_up/hold only. Change ξ with proposeRelease then apply(ProposeResult). Never mechanical-safe.';
         case 'ARKORDER_XI_FIELD_WRITE':
             return typeof violation.target === 'string' && violation.target.length > 0
-                ? `Do not persist slow key ${violation.target} from a use-case. Absorb the field with ingest() or change the pattern with proposeRelease then apply, then preflight again.`
-                : 'Do not persist a declared slow key from a use-case. Absorb the field with ingest() or change the pattern with proposeRelease then apply, then preflight again. Never mechanical-safe.';
+                ? `Don't write ${violation.target} from a use-case. Take the event in, or change that choice through the valve (proposeRelease then apply), not a generic update.`
+                : "Don't write a named product choice from a use-case. Take the event in, or change that choice through the valve (proposeRelease then apply), not a generic update.";
         case 'ARKORDER_UNVALVED_RELEASE':
             return 'Change ξ with proposeRelease then apply(ProposeResult). release() is only the first freeze. Never mechanical-safe.';
         default:
@@ -528,7 +528,7 @@ export function enrichViolationWithFixClass(violation) {
             enriched.effort = 'medium';
             enriched.enthusiastHint =
                 violation.ruleId === 'ARKORDER_GENERIC_UPDATE'
-                    ? 'Do not PATCH the slow pattern. Freeze ξ with release() or propose a pattern change that lists what dies.'
+                    ? 'Don\'t PATCH the billing plan. First freeze with release(), or propose the change then apply it.'
                     : violation.ruleId === 'ARKORDER_KERNEL_IN_DOMAIN'
                         ? 'Domain stays plane-free. Import arkgate/order only from a listed plane root.'
                         : violation.ruleId === 'ARKORDER_TOO_MANY_PARAMS'
@@ -536,7 +536,7 @@ export function enrichViolationWithFixClass(violation) {
                             : violation.ruleId === 'ARKORDER_INGEST_WRITES_XI'
                                 ? 'ingest can absorb or escalate. It never writes a new house.'
                                 : violation.ruleId === 'ARKORDER_XI_FIELD_WRITE'
-                                    ? 'Name the slow keys in arkOrder.xiKeys. Invoices and seats still flow; changing the plan is a new release, not prisma.update.'
+                                    ? 'Name the few big choices in arkOrder.xiKeys. Invoices and seats still flow; changing the plan goes through the valve, not a generic update.'
                                     : violation.ruleId === 'ARKORDER_INFORMATION_BUDGET'
                                         ? 'A scale may not observe a denied kind. Cut it from the projector or from cannotObserve.'
                                         : violation.ruleId === 'ARKORDER_XI_TTL'

package/bin/lib/rules-under-contract.mjs

@@ -62,6 +62,18 @@ function arkRunMergeInput(config, residualCount = 0) {
   };
 }
 
+function arkOrderMergeInput(config, residualCount = 0) {
+  const extra = config?.arkOrder;
+  if (!extra || typeof extra !== 'object') {
+    return { present: false, mode: null, residualCount: 0 };
+  }
+  return {
+    present: true,
+    mode: extra.mode === 'enforced' || extra.mode === 'advisory' ? extra.mode : null,
+    residualCount: Number(residualCount) || 0,
+  };
+}
+
 export function summarizeRulesUnderContract(root, config, facts, classification) {
   if (!config?.arkRules || Object.keys(config.arkRules).length === 0) {
     return {
@@ -74,6 +86,7 @@ export function summarizeRulesUnderContract(root, config, facts, classification)
         classification,
         arkRules: { active: false },
         arkRun: arkRunMergeInput(config),
+        arkOrder: arkOrderMergeInput(config),
       }),
       notAScore: true,
       note: 'No arkRules map — intra-layer ArkRules are opt-in.',
@@ -187,6 +200,7 @@ export function summarizeRulesUnderContract(root, config, facts, classification)
         uncovered: uncoveredInvariants,
       },
       arkRun: arkRunMergeInput(config),
+      arkOrder: arkOrderMergeInput(config),
     });
 
     return {

package/bin/lib/start-preview.mjs

@@ -162,6 +162,7 @@ export function renderStartPreview(preview, options = {}) {
   if (!applying) {
     console.log('Setup: install package + host gates (see --json).');
     console.log('Preview does not write. Apply installs CI.');
+    console.log('Optional extras stay off. This start is layers only — they stop bad imports.');
   }
   if (preview.runtimeActivation) {
     console.log('Host: Codex is configured but not verified yet. Restart the host, then confirm this project.');

package/bin/lib/status-command.mjs

@@ -26,6 +26,7 @@ import { readBaseline } from './violations.mjs';
 import { reportsDir, readJsonSafe } from './html-report.mjs';
 import { summarizeRulesUnderContract } from './rules-under-contract.mjs';
 import { projectStatusArkRun } from './ark-run-doctor.mjs';
+import { projectStatusArkOrder } from './ark-order-doctor.mjs';
 import { collectVsBaseFacts, discoverTeamBaseRef } from './team-parliament-io.mjs';
 import { classifyAdopted, readAdoptionStance } from './adoption-stance.mjs';
 
@@ -354,6 +355,19 @@ export function collectStatusFacts(options = {}) {
     return projectStatusArkRun({ present: true, mode, extraMergeTeeth, residual });
   })();
 
+  const arkOrder = (() => {
+    const extra = config?.arkOrder;
+    if (!extra || typeof extra !== 'object') {
+      return projectStatusArkOrder({ present: false, residual: 0 });
+    }
+    const snap = latest?.arkOrder && typeof latest.arkOrder === 'object' ? latest.arkOrder : null;
+    const mode = extra.mode === 'enforced' || extra.mode === 'advisory' ? extra.mode : null;
+    const extraMergeTeeth =
+      snap && typeof snap.extraMergeTeeth === 'boolean' ? snap.extraMergeTeeth === true : false;
+    const residual = typeof snap?.residual === 'number' ? snap.residual : null;
+    return projectStatusArkOrder({ present: true, mode, extraMergeTeeth, residual });
+  })();
+
   // DF02 — always project compass with honesty mode (never invent green residual).
   // Prefer explicit override (tests/MCP inject doctor-facts); else report snapshot.
   let improvementCompass = null;
@@ -403,6 +417,7 @@ export function collectStatusFacts(options = {}) {
       latest?.designFitness?.designWeak === true ||
       latest?.doctor?.designFitness?.designWeak === true,
     arkRun: options.arkRun ?? arkRun,
+    arkOrder: options.arkOrder ?? arkOrder,
     adopted:
       options.adopted ??
       classifyAdopted({
@@ -534,6 +549,19 @@ export function runStatusCommand(args = {}) {
             ' · not a score'
         );
       }
+      const arkOrderLine = manifest.arkOrder;
+      if (arkOrderLine && arkOrderLine.notAScore === true) {
+        const residual =
+          arkOrderLine.residual == null ? 'unknown' : String(arkOrderLine.residual);
+        write(
+          `  arkOrder: ${arkOrderLine.present ? arkOrderLine.mode || 'on' : 'absent'}` +
+            ` · residual=${residual}` +
+            (arkOrderLine.present
+              ? ` · extraMergeTeeth=${arkOrderLine.extraMergeTeeth === true}`
+              : '') +
+            ' · not a score'
+        );
+      }
       write(`  next: [${manifest.nextAction.id}] ${manifest.nextAction.summary}`);
     }
 

package/bin/lib/status-manifest.mjs

@@ -9,6 +9,7 @@
  */
 
 import { projectStatusArkRun } from './ark-run-doctor.mjs';
+import { projectStatusArkOrder } from './ark-order-doctor.mjs';
 export const ARK_STATUS_MANIFEST_SCHEMA_VERSION = '1.0';
 export const ARK_STATUS_MANIFEST_SCHEMA_URL = 'https://unpkg.com/arkgate@4/schemas/ark.status-manifest.schema.json';
 /**
@@ -249,6 +250,12 @@ export function resolveStatusNextAction(facts, binding, activation, lastCheck, r
             summary: 'ArkRun residual remains — wire kernel usage or declarations through arkgate/runtime. Not a score.',
         };
     }
+    if (facts.arkOrder?.present === true && (facts.arkOrder.residual ?? 0) > 0) {
+        return {
+            id: 'review-arkorder-residual',
+            summary: 'ArkOrder leftover remains — change that product choice through the valve (proposeRelease then apply), not a generic update. Not a score.',
+        };
+    }
     if (facts.adopted === 'required-merge' || facts.adopted === 'advisory-only-acked') {
         return {
             id: 'stay-enforced',
@@ -336,6 +343,9 @@ export function buildStatusManifest(facts) {
     if (facts.arkRun && typeof facts.arkRun === 'object') {
         status.arkRun = projectStatusArkRun(facts.arkRun);
     }
+    if (facts.arkOrder && typeof facts.arkOrder === 'object') {
+        status.arkOrder = projectStatusArkOrder(facts.arkOrder);
+    }
     return status;
 }
 const STATUS_COMPASS_MODE_SET = new Set(STATUS_COMPASS_MODES);
@@ -628,5 +638,18 @@ export const ARK_STATUS_MANIFEST_SCHEMA = {
                 residual: { anyOf: [{ type: 'integer', minimum: 0 }, { type: 'null' }] },
             },
         },
+        arkOrder: {
+            type: 'object',
+            description: 'ArkOrder extra residual (notAScore). present/mode from config; residual is a finding-id count (null = unknown, not green). extraMergeTeeth is honesty, never a score.',
+            additionalProperties: false,
+            required: ['notAScore', 'present', 'mode', 'extraMergeTeeth', 'residual'],
+            properties: {
+                notAScore: { const: true },
+                present: { type: 'boolean' },
+                mode: { anyOf: [{ enum: ['advisory', 'enforced'] }, { type: 'null' }] },
+                extraMergeTeeth: { type: 'boolean' },
+                residual: { anyOf: [{ type: 'integer', minimum: 0 }, { type: 'null' }] },
+            },
+        },
     },
 };

package/bin/lib/violations.mjs

@@ -59,9 +59,18 @@ export const FIX_HINTS = {
     'Break the cycle: extract the shared code into a module both sides import, invert one edge behind a port/interface, or merge the files if they are really one unit.',
 };
 
+/** Extra-plane label so a slow-key deny reads as clearly as a bad import. */
+export function violationPlaneLabel(ruleId) {
+  if (typeof ruleId !== 'string') return '';
+  if (ruleId.startsWith('ARKORDER_')) return '[ArkOrder] ';
+  if (ruleId.startsWith('ARKRUN_')) return '[ArkRun] ';
+  return '';
+}
+
 export function printViolation(violation) {
   const location = `${violation.file}:${violation.line}`;
-  console.error(`${color.red('✖')} ${color.bold(violation.ruleId)}  ${location}`);
+  const plane = violationPlaneLabel(violation.ruleId);
+  console.error(`${color.red('✖')} ${color.bold(`${plane}${violation.ruleId}`)}  ${location}`);
   if (violation.fromLayer && violation.toLayer) {
     const target = violation.target ? `  ${color.dim(`(${violation.target})`)}` : '';
     console.error(`  ${violation.fromLayer} → ${violation.toLayer}${target}`);

package/dist/{diagnosticCatalog-DiflIock.d.ts → diagnosticCatalog-DA565Lja.d.ts}

@@ -392,7 +392,7 @@ declare function createAdapterResult(input: {
 }): CurrentAdapterResult;
 
 /** ArkGate library version — single source of truth. */
-declare const version = "4.8.11";
+declare const version = "4.8.13";
 
 /**
  * AI Code Gate (basic).