arkgate 4.8.9 → 4.8.11

package/bin/lib/upstream-report.mjs

@@ -0,0 +1,330 @@
+/**
+ * Upstream GitHub issue draft for ArkGate itself (`arkgate report` / `ark report`).
+ * Target is this package's package.json bugs.url (pedroknigge/arkgate), never the consumer repo.
+ */
+import { spawnSync } from 'node:child_process';
+import fs from 'node:fs';
+import path from 'node:path';
+import readline from 'node:readline/promises';
+
+import { __packageRoot } from './gate-files.mjs';
+
+export const UPSTREAM_OWNER_REPO = 'pedroknigge/arkgate';
+export const SUBMIT_PROMPT = 'Type submit to send';
+
+export function ownerRepoFromGithubUrl(url) {
+  if (typeof url !== 'string' || url.trim() === '') return null;
+  const match = url.trim().match(/github\.com[:/]+([^/]+)\/([^/#?\s]+)/i);
+  if (!match) return null;
+  const owner = match[1];
+  const repo = match[2].replace(/\.git$/i, '');
+  if (!owner || !repo) return null;
+  return `${owner}/${repo}`;
+}
+
+export function resolveUpstreamRepo(pkg) {
+  const fromBugs = ownerRepoFromGithubUrl(pkg?.bugs?.url);
+  if (fromBugs) return fromBugs;
+  const repository = pkg?.repository;
+  const repoUrl = typeof repository === 'string' ? repository : repository?.url;
+  const fromRepo = ownerRepoFromGithubUrl(repoUrl);
+  if (fromRepo) return fromRepo;
+  return UPSTREAM_OWNER_REPO;
+}
+
+export function posixSingleQuote(value) {
+  return `'${String(value).replace(/'/g, `'\\''`)}'`;
+}
+
+export function formatGhIssueCreateCommand({ repo, title, body }) {
+  return `gh issue create --repo ${posixSingleQuote(repo)} --title ${posixSingleQuote(title)} --body ${posixSingleQuote(body)}`;
+}
+
+export function reportUsage() {
+  return `arkgate report (alias ark report) — draft an upstream GitHub issue for ArkGate.
+
+Target: pedroknigge/arkgate (this package's package.json bugs.url). Never the consumer repo.
+
+Usage:
+  arkgate report [--root <project>] [--json] [--title <text>] [--finding <ref>]
+  arkgate report --submit --i-confirm-submit
+  arkgate report --submit          # TTY: type submit to send
+
+Default prints a draft (arkgate version + last-check snippet). Nothing is created.
+Create only with --submit AND (--i-confirm-submit after the human said yes, or TTY
+"${SUBMIT_PROMPT}"). --yes does not submit.
+
+If gh is missing or not logged in: prints the draft and the exact
+gh issue create --repo pedroknigge/arkgate command, then exits 2.
+`;
+}
+
+export function lastCheckSnippet(latest) {
+  if (!latest || typeof latest !== 'object') return null;
+  const at =
+    typeof latest.generatedAt === 'string'
+      ? latest.generatedAt
+      : typeof latest.at === 'string'
+        ? latest.at
+        : null;
+  const active =
+    typeof latest.activeViolations === 'number'
+      ? latest.activeViolations
+      : typeof latest.violations?.active === 'number'
+        ? latest.violations.active
+        : null;
+  let verdict = null;
+  if (latest.ok === true && (active == null || active === 0)) verdict = 'pass';
+  else if (latest.ok === false || (typeof active === 'number' && active > 0)) verdict = 'fail';
+  else if (latest.completeness === 'partial' || latest.completeness === 'unavailable') {
+    verdict = 'incomplete';
+  } else if (latest.ok === true) verdict = 'pass';
+  if (at == null && verdict == null && active == null) return null;
+  return { at, verdict, activeViolations: active };
+}
+
+export function readLastCheckSnapshot(root) {
+  const latestPath = path.join(root, '.ark', 'reports', 'latest.json');
+  try {
+    return JSON.parse(fs.readFileSync(latestPath, 'utf8'));
+  } catch {
+    return null;
+  }
+}
+
+export function buildIssueDraft({ repo, arkgateVersion, lastCheck, finding, title }) {
+  const resolvedTitle =
+    typeof title === 'string' && title.trim()
+      ? title.trim()
+      : finding
+        ? `ArkGate finding ${finding}`
+        : 'ArkGate field report';
+  const lines = [`## ArkGate version`, String(arkgateVersion ?? 'unknown'), ''];
+  if (finding) {
+    lines.push('## Finding', String(finding), '');
+  }
+  if (lastCheck) {
+    lines.push('## Last check');
+    lines.push(`- at: ${lastCheck.at ?? 'none'}`);
+    lines.push(`- verdict: ${lastCheck.verdict ?? 'none'}`);
+    lines.push(`- activeViolations: ${lastCheck.activeViolations ?? 'unknown'}`);
+    lines.push('');
+  } else {
+    lines.push('## Last check', 'No last-check snapshot under .ark/reports/latest.json.', '');
+  }
+  lines.push(
+    '## Repro',
+    '```bash',
+    'npx arkgate-check --doctor',
+    'npx arkgate status --json',
+    '```',
+    '',
+    '## What happened',
+    '(ArkGate bug, false green, false red, missing doc, or improvable behavior in ArkGate itself — not leftover design in the consumer app.)',
+    '',
+    `Prepared with \`arkgate report\` against upstream ${repo}. Not the consumer repo.`
+  );
+  return { repo, title: resolvedTitle, body: lines.join('\n') };
+}
+
+export function defaultRunGh(argv, options = {}) {
+  const env = { ...(options.env ?? process.env) };
+  delete env.GH_REPO;
+  const result = spawnSync('gh', argv, {
+    encoding: 'utf8',
+    env,
+    stdio: ['ignore', 'pipe', 'pipe'],
+  });
+  if (result.error && (result.error.code === 'ENOENT' || result.error.code === 'EACCES')) {
+    return { missing: true, status: 127, stdout: '', stderr: result.error.message };
+  }
+  return {
+    missing: false,
+    status: result.status ?? 1,
+    stdout: result.stdout ?? '',
+    stderr: result.stderr ?? '',
+  };
+}
+
+function loadArkgatePackageJson(explicit) {
+  if (explicit && typeof explicit === 'object') return explicit;
+  try {
+    return JSON.parse(fs.readFileSync(path.join(__packageRoot, 'package.json'), 'utf8'));
+  } catch {
+    return { bugs: { url: `https://github.com/${UPSTREAM_OWNER_REPO}/issues` } };
+  }
+}
+
+function packageVersion(pkg, fallback) {
+  if (typeof fallback === 'string' && fallback.trim()) return fallback;
+  return typeof pkg?.version === 'string' ? pkg.version : 'unknown';
+}
+
+function renderHumanDraft(draft, arkgateVersion) {
+  return [
+    `Upstream: ${draft.repo}`,
+    '(never the consumer repo)',
+    '',
+    `ArkGate version: ${arkgateVersion}`,
+    '',
+    `Title: ${draft.title}`,
+    '',
+    draft.body,
+  ].join('\n');
+}
+
+async function defaultPromptSubmit(stdin, stdout) {
+  const rl = readline.createInterface({ input: stdin, output: stdout });
+  try {
+    return await rl.question(`${SUBMIT_PROMPT}\n`);
+  } finally {
+    rl.close();
+  }
+}
+
+export function parseReportArgv(argv = []) {
+  const out = {
+    submit: false,
+    iConfirmSubmit: false,
+    json: false,
+    yes: false,
+    help: false,
+    finding: undefined,
+    title: undefined,
+    root: undefined,
+  };
+  for (let i = 0; i < argv.length; i += 1) {
+    const arg = argv[i];
+    const next = () => {
+      const value = argv[i + 1];
+      if (value === undefined || String(value).startsWith('-')) {
+        throw new Error(`Missing value for ${arg}. Run arkgate report --help for usage.`);
+      }
+      i += 1;
+      return value;
+    };
+    if (arg === '--submit') out.submit = true;
+    else if (arg === '--i-confirm-submit') out.iConfirmSubmit = true;
+    else if (arg === '--json') out.json = true;
+    else if (arg === '--yes' || arg === '-y') out.yes = true;
+    else if (arg === '--help' || arg === '-h' || arg === 'help') out.help = true;
+    else if (arg === '--finding') out.finding = next();
+    else if (arg === '--title') out.title = next();
+    else if (arg === '--root') out.root = path.resolve(next());
+    else throw new Error(`Unknown argument: ${arg}. Run arkgate report --help for usage.`);
+  }
+  return out;
+}
+
+/**
+ * @param {object} options
+ * @returns {Promise<number>} process exit code
+ */
+export async function runUpstreamReportCommand(options = {}) {
+  const fromArgv = Array.isArray(options.argv) ? parseReportArgv(options.argv) : {};
+  if (fromArgv.help) {
+    const writeOut = options.writeOut ?? ((text) => console.log(text));
+    writeOut(reportUsage());
+    return 0;
+  }
+  const root = path.resolve(fromArgv.root ?? options.root ?? process.cwd());
+  const json = Boolean(fromArgv.json || options.json);
+  const submit = Boolean(fromArgv.submit || options.submit);
+  const iConfirmSubmit = Boolean(fromArgv.iConfirmSubmit || options.iConfirmSubmit);
+  const yes = Boolean(fromArgv.yes || options.yes);
+  const finding = fromArgv.finding ?? options.finding;
+  const title = fromArgv.title ?? options.title;
+  const stdin = options.stdin ?? process.stdin;
+  const stdout = options.stdout ?? process.stdout;
+  const stdinIsTTY = options.stdinIsTTY ?? Boolean(stdin.isTTY);
+  const env = options.env ?? process.env;
+  const runGh = options.runGh ?? ((argv) => defaultRunGh(argv, { env }));
+  const writeOut = options.writeOut ?? ((text) => console.log(text));
+  const writeErr = options.writeErr ?? ((text) => console.error(text));
+
+  const pkg = loadArkgatePackageJson(options.arkgatePackageJson);
+  const repo = resolveUpstreamRepo(pkg);
+  const arkgateVersion = packageVersion(pkg, options.arkgateVersion);
+  const lastCheck = lastCheckSnippet(options.latestSnapshot ?? readLastCheckSnapshot(root));
+  const draft = buildIssueDraft({
+    repo,
+    arkgateVersion,
+    lastCheck,
+    finding,
+    title,
+  });
+  const ghCommand = formatGhIssueCreateCommand(draft);
+  const human = renderHumanDraft(draft, arkgateVersion);
+
+  const payload = {
+    schemaVersion: '1.0',
+    command: 'report',
+    created: false,
+    submitted: false,
+    repo: draft.repo,
+    title: draft.title,
+    body: draft.body,
+    arkgateVersion,
+    lastCheck,
+    ghCommand,
+    yesDoesNotSubmit: true,
+  };
+
+  const emit = (extraHuman, extraPayload) => {
+    if (json) writeOut(JSON.stringify({ ...payload, ...extraPayload }, null, 2));
+    else writeOut(extraHuman ? `${human}\n\n${extraHuman}` : human);
+  };
+
+  if (!submit) {
+    emit('Draft only. Nothing was created.\nAfter a human confirms: arkgate report --submit --i-confirm-submit\n--yes does not submit.');
+    return 0;
+  }
+
+  // --yes never confirms. Confirm is --i-confirm-submit or TTY "submit".
+  let confirmed = iConfirmSubmit;
+  if (!confirmed && stdinIsTTY) {
+    const typed = options.promptSubmit
+      ? await options.promptSubmit()
+      : await defaultPromptSubmit(stdin, stdout);
+    confirmed = /^\s*submit\s*$/i.test(String(typed ?? ''));
+  }
+
+  if (!confirmed) {
+    const refused =
+      'Refused: --submit requires --i-confirm-submit or typing submit on a TTY. --yes does not submit.';
+    if (json) {
+      writeOut(JSON.stringify({ ...payload, error: 'submit-confirm-required', yesDoesNotSubmit: true }, null, 2));
+    } else {
+      writeOut(`${human}\n\nDraft only. ${refused}`);
+    }
+    writeErr(refused);
+    return 2;
+  }
+
+  const auth = runGh(['auth', 'status']);
+  const ghUnavailable = Boolean(auth?.missing) || auth?.status !== 0;
+  if (ghUnavailable) {
+    const missing =
+      'Not filed: gh is missing or not logged in.\nExact command:\n' + ghCommand;
+    emit(missing, { created: false, submitted: false, error: 'gh-unavailable', ghCommand });
+    if (!json) writeErr('Not filed: gh is missing or not logged in.');
+    return 2;
+  }
+
+  const created = runGh(['issue', 'create', '--repo', repo, '--title', draft.title, '--body', draft.body]);
+  if (created?.missing || created?.status !== 0) {
+    const missing =
+      'Not filed: gh is missing or not logged in.\nExact command:\n' + ghCommand;
+    emit(missing, { created: false, submitted: false, error: 'gh-unavailable', ghCommand });
+    if (!json) writeErr('Not filed: gh is missing or not logged in.');
+    return 2;
+  }
+
+  const url = String(created.stdout ?? '').trim();
+  emit(url ? `Created: ${url}` : 'Created.', {
+    created: true,
+    submitted: true,
+    url: url || null,
+  });
+  return 0;
+}

package/bin/lib/violations.mjs

@@ -16,8 +16,12 @@ import { baselineKeysFromDocument, baselineRecordsDocument } from './team-parlia
 import { toAdapterDiagnostic } from './adapter-contract.mjs';
 export { baselineKey, baselineOccurrenceKeys };
 
-const BASELINE_NOTE =
-  'Frozen ark-check violations (one record per edge). Only NEW keys vs the merge-base fail --against / --baseline. Regenerate with: ark-check --update-baseline';
+/** Real regenerate flags: freeze-refuse needs --force; law PR needs --contract-session; stewards[] needs --author. */
+export const REGENERATE_BASELINE_COMMAND =
+  'ark-check --update-baseline --force --contract-session --author <steward>';
+
+export const BASELINE_NOTE =
+  `Frozen ark-check violations (one record per edge). Only NEW keys vs the merge-base fail --against / --baseline. Regenerate with: ${REGENERATE_BASELINE_COMMAND} (--author when stewards[] is set)`;
 
 export function readBaseline(root, baselinePath) {
   const fullPath = path.isAbsolute(baselinePath) ? baselinePath : path.join(root, baselinePath);
@@ -76,13 +80,34 @@ export function printViolation(violation) {
 export const CONCENTRATION_MIN_VIOLATIONS = 10;
 export const CONCENTRATION_SHARE = 0.9;
 
+/** Sensor id for STRUCTURE findings. Orchestration-only is code debt, not a missing toLayer. */
+export function violationSensorId(violation) {
+  if (typeof violation?.sensor === 'string' && violation.sensor.trim()) return violation.sensor.trim();
+  if (typeof violation?.arkruleId === 'string' && violation.arkruleId.trim()) return violation.arkruleId.trim();
+  return undefined;
+}
+
 export function violationEdge(violation) {
   if (violation.ruleId === 'CIRCULAR_DEPENDENCY') return 'circular dependency';
   if (violation.ruleId === 'FORBIDDEN_GLOBAL') return `${violation.fromLayer ?? '?'} → ambient global`;
   if (violation.fromLayer && violation.toLayer) return `${violation.fromLayer} → ${violation.toLayer}`;
+  const sensor = violationSensorId(violation);
+  if (sensor) return sensor;
   return violation.ruleId;
 }
 
+/** Layer-import arrows can mean a contract bug. Structural-sensor blobs are code debt. */
+export function isContractConcentrationEdge(edge) {
+  return typeof edge === 'string' && edge.includes(' → ');
+}
+
+export function isContractStyleViolation(violation) {
+  if (violationSensorId(violation)) return false;
+  if (violation.ruleId === 'CIRCULAR_DEPENDENCY') return true;
+  if (violation.ruleId === 'FORBIDDEN_GLOBAL') return true;
+  return Boolean(violation.fromLayer && violation.toLayer);
+}
+
 // The directory the offending import lands in — the signal for "where does this edge go?".
 // For a LAYER_IMPORT_VIOLATION the target is a resolved file path; cluster by its dir prefix
 // so `kernel/internal/x` and `kernel/internal/y` collapse to one "into kernel/internal/".
@@ -100,27 +125,35 @@ export function summarizeViolations(violations) {
   for (const violation of violations) {
     if (violation.typeOnly) typeOnly += 1;
     const key = violationEdge(violation);
-    const entry = byEdge.get(key) ?? { edge: key, count: 0, typeOnly: 0, targets: new Map() };
+    const entry = byEdge.get(key) ?? {
+      edge: key,
+      count: 0,
+      typeOnly: 0,
+      targets: new Map(),
+      contractStyle: true,
+    };
     entry.count += 1;
     if (violation.typeOnly) entry.typeOnly += 1;
+    if (!isContractStyleViolation(violation)) entry.contractStyle = false;
     const subtree = violationTargetSubtree(violation);
     if (subtree) entry.targets.set(subtree, (entry.targets.get(subtree) ?? 0) + 1);
     byEdge.set(key, entry);
   }
-  const edges = [...byEdge.values()]
-    .map((entry) => ({
-      edge: entry.edge,
-      count: entry.count,
-      typeOnly: entry.typeOnly,
-      topTargets: [...entry.targets.entries()]
-        .sort((a, b) => b[1] - a[1])
-        .slice(0, 4)
-        .map(([dir, count]) => ({ dir, count })),
-    }))
-    .sort((a, b) => b.count - a.count);
+  const ranked = [...byEdge.values()].sort((a, b) => b.count - a.count);
+  const edges = ranked.map((entry) => ({
+    edge: entry.edge,
+    count: entry.count,
+    typeOnly: entry.typeOnly,
+    topTargets: [...entry.targets.entries()]
+      .sort((a, b) => b[1] - a[1])
+      .slice(0, 4)
+      .map(([dir, count]) => ({ dir, count })),
+  }));
   const total = violations.length;
   const dominant = edges[0];
   const dominantShare = total > 0 && dominant ? dominant.count / total : 0;
+  const contractConcentration =
+    Boolean(ranked[0]?.contractStyle) && isContractConcentrationEdge(ranked[0]?.edge);
   return {
     total,
     // Value edges are real runtime coupling; type-only edges (erased at compile time) are
@@ -130,7 +163,10 @@ export function summarizeViolations(violations) {
     edges,
     dominant: dominant ? dominant.edge : undefined,
     dominantShare,
-    concentrated: total >= CONCENTRATION_MIN_VIOLATIONS && dominantShare >= CONCENTRATION_SHARE,
+    concentrated:
+      total >= CONCENTRATION_MIN_VIOLATIONS &&
+      dominantShare >= CONCENTRATION_SHARE &&
+      contractConcentration,
   };
 }
 

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

@@ -1,7 +1,7 @@
 import { e as CreateArchitectureProfileOptions, b as ArchitectureProfile, d as ArkCheckConfig, C as CreateArchitectureProfileFromArkConfigOptions, f as CreateElevenLayerArkConfigOptions, i as Policy, j as IntentCreator, I as IntentName } from './types-Djbs3KjE.js';
 import { A as ArkConfig, c as ArkConfigLoadResult } from './configTypes-j7so8B4O.js';
 
-/** Versioned public result contract shared by every ArkGate enforcement adapter. */
+/** Versioned public result contract types + JSON Schema (adapter envelope). */
 /**
  * 1.5 adds stable finding refs on every factory-emitted diagnostic (ACS06):
  * `findingRef`, `targetKey` (baseline-compatible), `docsCodePath`.
@@ -144,42 +144,6 @@ type CurrentAdapterResult = (CurrentAdapterResultBase & Partial<ResolvedAdapterE
     completeness: 'unavailable';
 });
 type AdapterResult = LegacyAdapterResult | Version12AdapterResult | CurrentAdapterResult;
-/**
- * Baseline-compatible target key for a violation input.
- * Field order and empty-string fallbacks **must** match `baselineKey` in
- * `baselineKey.ts` — parity tests guard this so finding refs never orphan freezes.
- *
- * Note: uses raw ruleId/file strings (including empty) the same way baseline does;
- * display `ruleId` / `location.file` may still normalize to ARK_UNKNOWN / `<unknown>`.
- */
-declare function adapterFindingTargetKey(violation: AdapterViolationInput): string;
-/**
- * Occurrence-aware target keys for a violation list (parity with baselineOccurrenceKeys).
- * First occurrence keeps the historical base key; duplicates get `#N`.
- */
-declare function adapterFindingOccurrenceTargetKeys(violations: readonly AdapterViolationInput[]): string[];
-/** FNV-1a finding ref from a baseline-compatible targetKey (not a security hash). */
-declare function adapterFindingRefFromTargetKey(targetKey: string): string;
-/** Package-relative docs path with fragment for a public ruleId. */
-declare function adapterDocsCodePath(ruleId: string): string;
-declare function toAdapterDiagnostic(violation: AdapterViolationInput, fallbackSeverity?: AdapterSeverity, 
-/**
- * Optional precomputed baseline-compatible targetKey (e.g. occurrence-aware from
- * `adapterFindingOccurrenceTargetKeys`). When omitted, uses the first-occurrence key.
- */
-targetKeyOverride?: string): AdapterDiagnostic;
-declare function createAdapterResult(input: {
-    valid: boolean;
-    completeness?: AnalysisCompleteness;
-    mode?: AnalysisMode;
-    policyHash?: unknown;
-    resolverIdentity?: unknown;
-    factsHash?: unknown;
-    candidateTreeHash?: unknown;
-    completenessReasons?: readonly AdapterCompletenessReason[];
-    violations?: readonly AdapterViolationInput[];
-    warnings?: readonly AdapterViolationInput[];
-}): CurrentAdapterResult;
 declare const ARK_ANALYSIS_RESULT_SCHEMA: {
     readonly $schema: "https://json-schema.org/draft/2020-12/schema";
     readonly $id: "https://unpkg.com/arkgate@3/schemas/ark.analysis-result.schema.json";
@@ -408,8 +372,27 @@ declare const ARK_ANALYSIS_RESULT_SCHEMA: {
     };
 };
 
+declare function toAdapterDiagnostic(violation: AdapterViolationInput, fallbackSeverity?: AdapterSeverity, 
+/**
+ * Optional precomputed baseline-compatible targetKey (e.g. occurrence-aware from
+ * `adapterFindingOccurrenceTargetKeys`). When omitted, uses the first-occurrence key.
+ */
+targetKeyOverride?: string): AdapterDiagnostic;
+declare function createAdapterResult(input: {
+    valid: boolean;
+    completeness?: AnalysisCompleteness;
+    mode?: AnalysisMode;
+    policyHash?: unknown;
+    resolverIdentity?: unknown;
+    factsHash?: unknown;
+    candidateTreeHash?: unknown;
+    completenessReasons?: readonly AdapterCompletenessReason[];
+    violations?: readonly AdapterViolationInput[];
+    warnings?: readonly AdapterViolationInput[];
+}): CurrentAdapterResult;
+
 /** ArkGate library version — single source of truth. */
-declare const version = "4.8.9";
+declare const version = "4.8.11";
 
 /**
  * AI Code Gate (basic).
@@ -1924,12 +1907,18 @@ declare function evaluateArkRuleSensors(input: EvaluateArkRuleSensorsInput): Ark
  * Rules without appliesTo (whole-layer) never emit this signal.
  */
 declare function collectEmptyAppliesToFindings(arkRules: EffectiveArkRules, files: readonly string[]): ArkRuleSensorViolation[];
+/** Optional resolved-import facts when the collector already classified the specifier. */
+type ResolvedPersistenceImportFact = {
+    specifier?: string;
+    resolvedFile?: string;
+    layer?: string | null;
+};
 /**
  * Pure Tooling/Domain heuristic for orchestration-only / thin-adapter fileHints.
  * Prefers false negatives over false positives (ADR 0013 discipline).
  * Returns null when neither flag is set (callers may omit the path).
  */
-declare function deriveArkRuleFileHints(_file: string, content: string): {
+declare function deriveArkRuleFileHints(_file: string, content: string, resolvedImports?: readonly ResolvedPersistenceImportFact[]): {
     orchestrationHeavy?: boolean;
     adapterThick?: boolean;
     persistenceWrite?: boolean;
@@ -1937,7 +1926,7 @@ declare function deriveArkRuleFileHints(_file: string, content: string): {
 /**
  * Build fileHints map from path→content. Omits paths with no flags (sparse map).
  */
-declare function buildArkRuleFileHints(fileContents: Readonly<Record<string, string>>): Record<string, {
+declare function buildArkRuleFileHints(fileContents: Readonly<Record<string, string>>, resolvedImportsByFile?: Readonly<Record<string, readonly ResolvedPersistenceImportFact[]>>): Record<string, {
     orchestrationHeavy?: boolean;
     adapterThick?: boolean;
     persistenceWrite?: boolean;
@@ -2468,4 +2457,4 @@ declare function catalogFixForRuleId(ruleId: string | null | undefined): string
  */
 declare function catalogWhyForRuleId(ruleId: string | null | undefined): string | undefined;
 
-export { type ArchitectureChangeMapFile as $, type ArkRulesFile as A, type AdapterSeverity as B, type AdapterViolationInput as C, type AnalysisCapabilityUse as D, type EffectiveArkRules as E, type AnalysisCompilerOptions as F, type AnalysisCompleteness as G, type AnalysisContract as H, type AnalysisEvidence as I, type AnalysisFile as J, type AnalysisFileChange as K, type AnalysisFileInput as L, type AnalysisImportEdge as M, type AnalysisIr as N, type AnalysisMode as O, type AnalysisResult as P, type AnalysisViolation as Q, type ResolvedArkRunKernelCallKind as R, type AnalyzeArchitectureConvergenceInput as S, type AnalyzeChangeInput as T, type AnalyzePolicyDeltaInput as U, type AnalyzeProjectInput as V, type AnalyzeResolvedProjectInput as W, type ArchitectureActualChange as X, type ArchitectureChangeMap as Y, type ArchitectureChangeMapContract as Z, type ArchitectureChangeMapDependency as _, type ResolvedArkRunDeclarationFact as a, type SemanticDependencyKind as a$, type ArchitectureChangeOperation as a0, type ArchitectureConvergenceClassification as a1, type ArchitectureConvergenceFinding as a2, type ArchitectureConvergenceResult as a3, type ArchitectureDependency as a4, type ArchitectureEngineEdge as a5, type ArchitectureEngineResult as a6, type ArchitectureEngineViolation as a7, type ArkDesignDeltaResult as a8, type ArkEnforcementHost as a9, type PolicyDeltaAcknowledgement as aA, type PolicyDeltaAnalysis as aB, type PolicyDeltaClassification as aC, type PolicyDeltaFinding as aD, type PreflightResolvedChangeInput as aE, type PreparedChangeFile as aF, RESOLVED_CANDIDATE_FACTS_SCHEMA as aG, RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION as aH, type ResolvedAmbientFact as aI, type ResolvedAnalysisFile as aJ, type ResolvedAnalysisIr as aK, type ResolvedAnalysisResult as aL, type ResolvedCandidateFacts as aM, type ResolvedCandidateFactsInput as aN, type ResolvedCapability as aO, type ResolvedCapabilityFact as aP, type ResolvedChangePreflightResult as aQ, type ResolvedDependencyKind as aR, type ResolvedDependencyState as aS, type ResolvedFactsCompleteness as aT, type ResolvedFileFact as aU, type ResolvedIntentReferenceFact as aV, type ResolvedPublishFact as aW, type ResolvedSafetyFact as aX, type ResolvedSafetyKind as aY, type ResolvedSafetyReport as aZ, type SemanticDependency as a_, type ArkEnforcementState as aa, type ArkRuleSensorViolation as ab, type ChangePreflightResult as ac, type ClassShapeFact as ad, type CollectAnalysisConfigWarningsInput as ae, DIAGNOSTIC_CATALOG as af, DIAGNOSTIC_CATALOG_SCHEMA_VERSION as ag, DIAGNOSTIC_DOCS_RELATIVE_PATH as ah, DIAGNOSTIC_RULE_IDS as ai, type DesignDeltaChange as aj, type DesignDeltaEnforcementScope as ak, type DesignDeltaIdentity as al, type DesignSmellEvidence as am, type DesignSmellFinding as an, type DesignSmellId as ao, type DiagnosticCatalogEntry as ap, type DiagnosticCategory as aq, type EnforcementBoundaryState as ar, type EnforcementEvidence as as, type EnforcementEvidenceField as at, type EnforcementVerification as au, type EvaluateArchitectureGraphInput as av, type ForbiddenCapabilityUse as aw, type InvariantCoverageEvidence as ax, POLICY_DELTA_SCHEMA_VERSION as ay, type PolicyDelta as az, type ResolvedArkRunKernelCallFact as b, adapterDocsCodePath as b0, adapterFindingOccurrenceTargetKeys as b1, adapterFindingRefFromTargetKey as b2, adapterFindingTargetKey as b3, analyzeArchitectureConvergence as b4, analyzeChange as b5, analyzePolicyDelta as b6, analyzeProject as b7, analyzeResolvedProject as b8, buildArkRuleFileHints as b9, isCataloguedOrArkRuleFamily as bA, isKnownDiagnosticCode as bB, loadContract as bC, loadResolvedCandidateFacts as bD, policyDeltaAcknowledgementMatches as bE, preflightChange as bF, preflightResolvedChange as bG, resolvedFactsEvidenceRequirementsHash as bH, serializeDiagnosticCatalog as bI, stableSerialize as bJ, toAdapterDiagnostic as bK, version as bL, canPromoteInvariant as ba, catalogFixForRuleId as bb, catalogWhyForRuleId as bc, classifyArkPolicyDelta as bd, collectAnalysisConfigWarnings as be, collectEmptyAppliesToFindings as bf, collectForbiddenCapabilityUses as bg, createAICodeGate as bh, createAdapterResult as bi, createArchitectureProfile as bj, createArchitectureProfileFromArkConfig as bk, createElevenLayerArkConfig as bl, createResolvedCandidateFacts as bm, deriveArkRuleFileHints as bn, detectArchitectureCycles as bo, deterministicHash as bp, diagnosticDocsFragment as bq, diagnosticDocsPath as br, elevenLayerProfile as bs, evaluateArchitectureGraph as bt, evaluateArkRuleSensors as bu, evaluateInvariantCoverage as bv, explainViolation as bw, extractClassShapesFromSource as bx, extractSemanticDependencies as by, getDiagnosticCatalogEntry as bz, type ResolvedArkRunManagedNewFact as c, type ResolvedDependencyFact as d, type ResolvedArkRunCompositionRootHitFact as e, type ResolvedFactsReason as f, type ResolvedArkOrderPlaneCallFact as g, type ResolvedArkOrderGenericUpdateFact as h, type ResolvedArkOrderRootHitFact as i, type ResolvedArkOrderXiFieldWriteFact as j, type ResolvedArkOrderIngestWriteFact as k, ADAPTER_DIAGNOSTIC_DOCS_RELATIVE_PATH as l, type AICodeGate as m, type AICodeGateContext as n, type AICodeGateOptions as o, type AICodeGateResult as p, type AICodeGateViolation as q, type AIGateExtension as r, ANALYSIS_IR_SCHEMA_VERSION as s, ARK_ANALYSIS_RESULT_SCHEMA as t, ARK_ANALYSIS_RESULT_SCHEMA_VERSION as u, ARK_DESIGN_DELTA_SCHEMA_VERSION as v, ARK_ENFORCEMENT_STATE_SCHEMA_VERSION as w, type AdapterCompletenessReason as x, type AdapterDiagnostic as y, type AdapterResult as z };
+export { type ArchitectureChangeMapFile as $, type AdapterViolationInput as A, type AdapterResult as B, type AdapterSeverity as C, type AnalysisCapabilityUse as D, type EffectiveArkRules as E, type AnalysisCompilerOptions as F, type AnalysisCompleteness as G, type AnalysisContract as H, type AnalysisEvidence as I, type AnalysisFile as J, type AnalysisFileChange as K, type AnalysisFileInput as L, type AnalysisImportEdge as M, type AnalysisIr as N, type AnalysisMode as O, type AnalysisResult as P, type AnalysisViolation as Q, type ResolvedArkRunKernelCallKind as R, type AnalyzeArchitectureConvergenceInput as S, type AnalyzeChangeInput as T, type AnalyzePolicyDeltaInput as U, type AnalyzeProjectInput as V, type AnalyzeResolvedProjectInput as W, type ArchitectureActualChange as X, type ArchitectureChangeMap as Y, type ArchitectureChangeMapContract as Z, type ArchitectureChangeMapDependency as _, type ArkRulesFile as a, type SemanticDependencyKind as a$, type ArchitectureChangeOperation as a0, type ArchitectureConvergenceClassification as a1, type ArchitectureConvergenceFinding as a2, type ArchitectureConvergenceResult as a3, type ArchitectureDependency as a4, type ArchitectureEngineEdge as a5, type ArchitectureEngineResult as a6, type ArchitectureEngineViolation as a7, type ArkDesignDeltaResult as a8, type ArkEnforcementHost as a9, type PolicyDeltaAcknowledgement as aA, type PolicyDeltaAnalysis as aB, type PolicyDeltaClassification as aC, type PolicyDeltaFinding as aD, type PreflightResolvedChangeInput as aE, type PreparedChangeFile as aF, RESOLVED_CANDIDATE_FACTS_SCHEMA as aG, RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION as aH, type ResolvedAmbientFact as aI, type ResolvedAnalysisFile as aJ, type ResolvedAnalysisIr as aK, type ResolvedAnalysisResult as aL, type ResolvedCandidateFacts as aM, type ResolvedCandidateFactsInput as aN, type ResolvedCapability as aO, type ResolvedCapabilityFact as aP, type ResolvedChangePreflightResult as aQ, type ResolvedDependencyKind as aR, type ResolvedDependencyState as aS, type ResolvedFactsCompleteness as aT, type ResolvedFileFact as aU, type ResolvedIntentReferenceFact as aV, type ResolvedPublishFact as aW, type ResolvedSafetyFact as aX, type ResolvedSafetyKind as aY, type ResolvedSafetyReport as aZ, type SemanticDependency as a_, type ArkEnforcementState as aa, type ArkRuleSensorViolation as ab, type ChangePreflightResult as ac, type ClassShapeFact as ad, type CollectAnalysisConfigWarningsInput as ae, DIAGNOSTIC_CATALOG as af, DIAGNOSTIC_CATALOG_SCHEMA_VERSION as ag, DIAGNOSTIC_DOCS_RELATIVE_PATH as ah, DIAGNOSTIC_RULE_IDS as ai, type DesignDeltaChange as aj, type DesignDeltaEnforcementScope as ak, type DesignDeltaIdentity as al, type DesignSmellEvidence as am, type DesignSmellFinding as an, type DesignSmellId as ao, type DiagnosticCatalogEntry as ap, type DiagnosticCategory as aq, type EnforcementBoundaryState as ar, type EnforcementEvidence as as, type EnforcementEvidenceField as at, type EnforcementVerification as au, type EvaluateArchitectureGraphInput as av, type ForbiddenCapabilityUse as aw, type InvariantCoverageEvidence as ax, POLICY_DELTA_SCHEMA_VERSION as ay, type PolicyDelta as az, type ResolvedArkRunDeclarationFact as b, analyzeArchitectureConvergence as b0, analyzeChange as b1, analyzePolicyDelta as b2, analyzeProject as b3, analyzeResolvedProject as b4, buildArkRuleFileHints as b5, canPromoteInvariant as b6, catalogFixForRuleId as b7, catalogWhyForRuleId as b8, classifyArkPolicyDelta as b9, policyDeltaAcknowledgementMatches as bA, preflightChange as bB, preflightResolvedChange as bC, resolvedFactsEvidenceRequirementsHash as bD, serializeDiagnosticCatalog as bE, stableSerialize as bF, toAdapterDiagnostic as bG, version as bH, collectAnalysisConfigWarnings as ba, collectEmptyAppliesToFindings as bb, collectForbiddenCapabilityUses as bc, createAICodeGate as bd, createAdapterResult as be, createArchitectureProfile as bf, createArchitectureProfileFromArkConfig as bg, createElevenLayerArkConfig as bh, createResolvedCandidateFacts as bi, deriveArkRuleFileHints as bj, detectArchitectureCycles as bk, deterministicHash as bl, diagnosticDocsFragment as bm, diagnosticDocsPath as bn, elevenLayerProfile as bo, evaluateArchitectureGraph as bp, evaluateArkRuleSensors as bq, evaluateInvariantCoverage as br, explainViolation as bs, extractClassShapesFromSource as bt, extractSemanticDependencies as bu, getDiagnosticCatalogEntry as bv, isCataloguedOrArkRuleFamily as bw, isKnownDiagnosticCode as bx, loadContract as by, loadResolvedCandidateFacts as bz, type ResolvedArkRunKernelCallFact as c, type ResolvedArkRunManagedNewFact as d, type ResolvedDependencyFact as e, type ResolvedArkRunCompositionRootHitFact as f, type ResolvedFactsReason as g, type ResolvedArkOrderPlaneCallFact as h, type ResolvedArkOrderGenericUpdateFact as i, type ResolvedArkOrderRootHitFact as j, type ResolvedArkOrderXiFieldWriteFact as k, type ResolvedArkOrderIngestWriteFact as l, ADAPTER_DIAGNOSTIC_DOCS_RELATIVE_PATH as m, type AICodeGate as n, type AICodeGateContext as o, type AICodeGateOptions as p, type AICodeGateResult as q, type AICodeGateViolation as r, type AIGateExtension as s, ANALYSIS_IR_SCHEMA_VERSION as t, ARK_ANALYSIS_RESULT_SCHEMA as u, ARK_ANALYSIS_RESULT_SCHEMA_VERSION as v, ARK_DESIGN_DELTA_SCHEMA_VERSION as w, ARK_ENFORCEMENT_STATE_SCHEMA_VERSION as x, type AdapterCompletenessReason as y, type AdapterDiagnostic as z };