arkgate 4.4.0 → 4.5.0

package/dist/index.d.ts

@@ -244,7 +244,7 @@ declare function loadArkConfigContract(input: unknown, source?: string): ArkConf
 declare function parseArkConfigJson(json: string, source?: string): ArkConfigLoadResult;
 
 /** ArkGate library version — single source of truth. */
-declare const version = "4.4.0";
+declare const version = "4.5.0";
 
 /** Versioned public result contract shared by every ArkGate enforcement adapter. */
 /**
@@ -2881,17 +2881,18 @@ declare function catalogFixForRuleId(ruleId: string | null | undefined): string
 declare function catalogWhyForRuleId(ruleId: string | null | undefined): string | undefined;
 
 /**
- * Public status manifest (ACS03).
+ * Public status manifest (ACS03 + DF02 honesty).
  *
  * One machine-readable session/project snapshot for agents: project identity
  * binding, honest write-path activation, last-check summary, ArkRules residual
- * counts, and a primary next action. Binary facts only — never a numeric score,
- * never an LLM verdict, never a prompt.
+ * counts, a primary next action, and an honest improvement-compass residual map.
+ * Binary facts only — never a numeric score, never an LLM verdict, never a prompt.
  *
  * **Canonical** for `ark status --json`, MCP `ark_status`, and schema export.
  * Tooling gathers filesystem evidence; this module only assembles pure facts.
  *
  * @see docs/plans/agent-contract-surface-4.3/README.md
+ * @see docs/plans/domain-fitness-session-truth/README.md (DF02)
  */
 
 declare const ARK_STATUS_MANIFEST_SCHEMA_VERSION: "1.0";
@@ -2900,6 +2901,24 @@ declare const ARK_STATUS_MANIFEST_SCHEMA_URL = "https://unpkg.com/arkgate@4/sche
 type StatusWritePathClass = 'hard' | 'advisory' | 'unavailable';
 /** Last architecture check verdict when evidence exists. */
 type StatusCheckVerdict = 'pass' | 'fail' | 'incomplete' | null;
+/**
+ * Honesty mode for status improvementCompass (DF02).
+ * - full: residual projected from doctor-equivalent facts (residual ⊆ doctor)
+ * - subset: incomplete facts; residual may omit doctor residual; never invent green
+ * - unavailable: no usable facts; empty residual + reason (never silent ok)
+ */
+declare const STATUS_COMPASS_MODES: readonly ["full", "subset", "unavailable"];
+type StatusCompassMode = (typeof STATUS_COMPASS_MODES)[number];
+/** Provenance for status compass residual (same-tree intent). */
+declare const STATUS_COMPASS_FACTS_SOURCES: readonly ["doctor-facts", "report-snapshot", "none"];
+type StatusCompassFactsSource = (typeof STATUS_COMPASS_FACTS_SOURCES)[number];
+/** Stable reason codes when mode is not full. */
+declare const STATUS_COMPASS_REASON_CODES: {
+    readonly FACTS_UNAVAILABLE: "FACTS_UNAVAILABLE";
+    readonly FACTS_PARTIAL: "FACTS_PARTIAL";
+    readonly NO_SESSION_SNAPSHOT: "NO_SESSION_SNAPSHOT";
+};
+type StatusCompassReasonCode = (typeof STATUS_COMPASS_REASON_CODES)[keyof typeof STATUS_COMPASS_REASON_CODES];
 type StatusProjectIdentitySlice = {
     projectId: string | null;
     resolvedRoot: string;
@@ -2932,14 +2951,27 @@ type StatusNextAction = {
     summary: string;
 };
 /**
- * Optional thin improvement-compass projection on status (additive).
- * Full lenses live on doctor JSON; status carries residual ids only when supplied.
- * Always notAScore; never a gate input.
+ * Optional thin improvement-compass projection on status (additive; DF02).
+ * Full lenses live on doctor JSON; status carries residual **ids** + honesty mode.
+ * Always notAScore; never a gate input (does not flip valid / strict-merge / goal.met).
  */
 type StatusImprovementCompassSlice = {
     schemaVersion: '1.0';
     notAScore: true;
+    /** Explicit honesty: full | subset | unavailable */
+    mode: StatusCompassMode;
+    /**
+     * Residual lens ids only. Empty when mode is unavailable (not a green claim).
+     * When mode is full, ids are a subset of doctor residual for the same facts.
+     */
     topResidual: string[];
+    /** Present when mode is subset or unavailable. */
+    reasonCode?: string;
+    reason?: string;
+    /** Where residual evidence came from. */
+    factsSource?: StatusCompassFactsSource;
+    /** Optional contract content hash for same-tree provenance. */
+    contractHash?: string;
 };
 type StatusManifest = {
     schemaVersion: typeof ARK_STATUS_MANIFEST_SCHEMA_VERSION;
@@ -2949,7 +2981,10 @@ type StatusManifest = {
     lastCheck: StatusLastCheckSlice;
     rules: StatusRulesSlice;
     nextAction: StatusNextAction;
-    /** Optional; omit when Tooling did not supply a projection. */
+    /**
+     * Improvement compass residual map with honesty mode (DF02).
+     * Tooling should always supply a projection (including mode=unavailable).
+     */
     improvementCompass?: StatusImprovementCompassSlice;
 };
 /**
@@ -2995,8 +3030,8 @@ type StatusManifestFacts = {
     /** Optional override when Tooling already computed productHonesty next action. */
     nextActionOverride?: StatusNextAction | null;
     /**
-     * Optional improvement compass residual ids (notAScore).
-     * Tooling may pass a thin slice from a prior doctor/report snapshot.
+     * Improvement compass residual slice (notAScore) with honesty mode.
+     * Prefer projectStatusImprovementCompass() before passing facts.
      */
     improvementCompass?: StatusImprovementCompassSlice | null;
 };
@@ -3027,6 +3062,44 @@ declare function defaultHonestLabel(writePath: StatusWritePathClass, host: strin
  */
 declare function resolveStatusNextAction(facts: StatusManifestFacts, binding: ProjectBinding, activation: StatusActivationSlice, lastCheck: StatusLastCheckSlice, rules: StatusRulesSlice): StatusNextAction;
 declare function buildStatusManifest(facts: StatusManifestFacts): StatusManifest;
+/**
+ * Project a thin status improvementCompass with explicit honesty mode (DF02).
+ *
+ * Rules:
+ * - always notAScore: true
+ * - mode full | subset | unavailable (invalid mode → unavailable)
+ * - unavailable: topResidual forced empty (never invent residual or silent green)
+ * - full/subset: residual ids from input only (never fabricate ok lenses)
+ * - never carries valid / goal.met / score fields
+ */
+declare function projectStatusImprovementCompass(input: {
+    mode: StatusCompassMode | string;
+    topResidual?: readonly string[] | null;
+    reasonCode?: string | null;
+    reason?: string | null;
+    factsSource?: StatusCompassFactsSource | string | null;
+    contractHash?: string | null;
+}): StatusImprovementCompassSlice;
+/**
+ * Unavailable compass when Tooling has no doctor/report residual facts.
+ * Empty residual + mode label — never a green / ok claim.
+ */
+declare function unavailableStatusImprovementCompass(input?: {
+    reasonCode?: string | null;
+    reason?: string | null;
+    contractHash?: string | null;
+}): StatusImprovementCompassSlice;
+/**
+ * Normalize an incoming status compass slice (Tooling pass-through / snapshot).
+ * Rejects score-like shapes; coerces missing mode to subset (never silent full).
+ * Unavailable always clears residual.
+ */
+declare function normalizeStatusImprovementCompass(value: StatusImprovementCompassSlice | null | undefined | Record<string, unknown>): StatusImprovementCompassSlice | null;
+/**
+ * Residual-id subset check for status ⊆ doctor parity fixtures (DF02).
+ * Returns true when every status residual id appears in doctor residual ids.
+ */
+declare function statusCompassResidualIsSubsetOfDoctor(statusResidual: readonly string[] | null | undefined, doctorResidual: readonly string[] | null | undefined): boolean;
 /** JSON Schema for the public status manifest (package export + agents). */
 declare const ARK_STATUS_MANIFEST_SCHEMA: {
     readonly $schema: "https://json-schema.org/draft/2020-12/schema";
@@ -3195,9 +3268,9 @@ declare const ARK_STATUS_MANIFEST_SCHEMA: {
         };
         readonly improvementCompass: {
             readonly type: "object";
-            readonly description: "Optional thin improvement-compass residual ids (notAScore). Never a gate input; full lenses on doctor JSON.";
+            readonly description: "Thin improvement-compass residual ids with honesty mode (notAScore). full | subset | unavailable. Never a gate input; full lenses on doctor JSON. When full, residual ids ⊆ doctor residual for the same facts. unavailable never invents green residual.";
             readonly additionalProperties: false;
-            readonly required: readonly ["schemaVersion", "notAScore", "topResidual"];
+            readonly required: readonly ["schemaVersion", "notAScore", "mode", "topResidual"];
             readonly properties: {
                 readonly schemaVersion: {
                     readonly const: "1.0";
@@ -3205,6 +3278,9 @@ declare const ARK_STATUS_MANIFEST_SCHEMA: {
                 readonly notAScore: {
                     readonly const: true;
                 };
+                readonly mode: {
+                    readonly enum: readonly ["full", "subset", "unavailable"];
+                };
                 readonly topResidual: {
                     readonly type: "array";
                     readonly items: {
@@ -3213,22 +3289,33 @@ declare const ARK_STATUS_MANIFEST_SCHEMA: {
                     };
                     readonly maxItems: 15;
                 };
+                readonly reasonCode: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly reason: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly factsSource: {
+                    readonly enum: readonly ["doctor-facts", "report-snapshot", "none"];
+                };
+                readonly contractHash: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
             };
         };
     };
 };
 
 /**
- * Improvement compass (product 4.4.0) — pure Domain projection.
- *
- * Closed set of architecture **lenses** projected from existing doctor-side
- * evidence. Always `notAScore: true`. Never a gate input: residual lenses must
- * not flip `valid`, strict-merge exit, or `goal.met`.
+ * Improvement compass — closed types, constants, and labels (Domain pure).
  *
- * Out-of-scope lenses (`scalability`, `resilience`, `security`) are locked —
- * missing SAST/APM/chaos never invents residual.
+ * Split from improvementCompass.ts (DF03): contracts stay small and import-free
+ * of mapping logic so CLI gen and unit tests share one vocabulary.
  *
- * Pure Domain: no fs, fetch, Date.now, process — inject facts as input.
+ * Pure Domain: no fs, fetch, Date.now, process.
  */
 declare const ARK_IMPROVEMENT_COMPASS_SCHEMA_VERSION: "1.0";
 /** Closed 15 lens ids (stable order for projection). */
@@ -3318,6 +3405,24 @@ type ImprovementCompassFacts = {
      */
     stackKind?: 'typescript' | 'unknown' | null;
 };
+
+/**
+ * Improvement compass (product 4.4.0) — pure Domain projection facade.
+ *
+ * Closed set of architecture **lenses** projected from existing doctor-side
+ * evidence. Always `notAScore: true`. Never a gate input: residual lenses must
+ * not flip `valid`, strict-merge exit, or `goal.met`.
+ *
+ * Out-of-scope lenses (`scalability`, `resilience`, `security`) are locked —
+ * missing SAST/APM/chaos never invents residual.
+ *
+ * DF03 split: types → improvementCompassTypes.ts; fact mappers →
+ * improvementCompassMap.ts; this module owns build + doctor formatters and
+ * re-exports the public Domain surface.
+ *
+ * Pure Domain: no fs, fetch, Date.now, process — inject facts as input.
+ */
+
 /**
  * Build a deterministic improvement compass from supplied doctor-side facts.
  * Always returns all 15 lenses; always `notAScore: true`.
@@ -3612,4 +3717,4 @@ declare function agentSkillPackageFileRelativePath(skillName: string): string;
  */
 declare function flatSkillTemplateFileRelativePath(skillName: string): string;
 
-export { ADAPTER_DIAGNOSTIC_DOCS_RELATIVE_PATH, AGENT_PROJECTION_BEGIN_MARKER, AGENT_PROJECTION_END_MARKER, AGENT_PROJECTION_ENFORCEMENT_SURFACES, AGENT_PROJECTION_NON_ENFORCEMENT_LABEL, AGENT_SKILLS_PACKAGE_RELATIVE_ROOT, AGENT_SKILL_ENTRY_FILENAME, type AICodeGate, type AICodeGateContext, type AICodeGateOptions, type AICodeGateResult, type AICodeGateViolation, type AIGateExtension, ANALYSIS_IR_SCHEMA_VERSION, ARK_AGENT_PROJECTION_SCHEMA_VERSION, ARK_AGENT_SKILLS_PACKAGE_SCHEMA_VERSION, ARK_ANALYSIS_RESULT_SCHEMA, ARK_ANALYSIS_RESULT_SCHEMA_VERSION, ARK_CONFIG_SCHEMA, ARK_CONFIG_SCHEMA_VERSION, ARK_DESIGN_DELTA_SCHEMA_VERSION, ARK_ENFORCEMENT_STATE_SCHEMA_VERSION, ARK_IMPROVEMENT_COMPASS_SCHEMA_VERSION, ARK_PROJECT_IDENTITY_SCHEMA, ARK_PROJECT_IDENTITY_SCHEMA_URL, ARK_PROJECT_IDENTITY_SCHEMA_VERSION, ARK_RULES_SCHEMA, ARK_RULES_SCHEMA_VERSION, ARK_RULE_SENSORS, ARK_SKILL_NAMES, ARK_SKILL_NAME_COUNT, ARK_STATUS_MANIFEST_SCHEMA, ARK_STATUS_MANIFEST_SCHEMA_URL, ARK_STATUS_MANIFEST_SCHEMA_VERSION, type AdapterCompletenessReason, type AdapterDiagnostic, type AdapterResult, type AdapterSeverity, type AdapterViolationInput, type AgentProjectionCatalogEntry, type AgentProjectionFacts, type AgentProjectionLayerSummary, type AgentProjectionMergeAction, type AgentProjectionMergeResult, type AgentProjectionMeta, type AgentProjectionProfile, type AgentSkillPackageEntry, type AgentSkillValidationIssue, type AnalysisCapabilityUse, type AnalysisCompilerOptions, type AnalysisCompleteness, type AnalysisContract, type AnalysisEvidence, type AnalysisFile, type AnalysisFileChange, type AnalysisFileInput, type AnalysisImportEdge, type AnalysisIr, type AnalysisMode, type AnalysisResult, type AnalysisViolation, type AnalyzeArchitectureConvergenceInput, type AnalyzeChangeInput, type AnalyzePolicyDeltaInput, type AnalyzeProjectInput, type AnalyzeResolvedProjectInput, type ArchitectureActualChange, type ArchitectureChangeMap, type ArchitectureChangeMapContract, type ArchitectureChangeMapDependency, type ArchitectureChangeMapFile, type ArchitectureChangeOperation, type ArchitectureConvergenceClassification, type ArchitectureConvergenceFinding, type ArchitectureConvergenceResult, type ArchitectureDependency, type ArchitectureEngineEdge, type ArchitectureEngineResult, type ArchitectureEngineViolation, type ArchitectureLayer, type ArchitectureLayerConfig, type ArchitectureProfile, type ArchitectureRule, type ArkCheckConfig, ArkConfig, ArkConfigLoadResult, type ArkDesignDeltaResult, type ArkEnforcementHost, type ArkEnforcementState, type ArkRuleSensorViolation, type ArkRulesFile, type ArkSkillName, type ChangePreflightResult, type ClassShapeFact, type CollectAnalysisConfigWarningsInput, type CreateArchitectureProfileFromArkConfigOptions, type CreateArchitectureProfileOptions, type CreateElevenLayerArkConfigOptions, DEFAULT_AGENT_PROJECTION_RULE_IDS, DIAGNOSTIC_CATALOG, DIAGNOSTIC_CATALOG_SCHEMA_VERSION, DIAGNOSTIC_DOCS_RELATIVE_PATH, DIAGNOSTIC_RULE_IDS, type DesignDeltaChange, type DesignDeltaIdentity, type DesignSmellEvidence, type DesignSmellFinding, type DesignSmellId, type DiagnosticCatalogEntry, type DiagnosticCategory, type EffectiveArkRules, type EffectiveContract, EffectiveContractError, type EffectiveContractWarning, type EnforcementBoundaryState, type EnforcementEvidence, type EnforcementEvidenceField, type EnforcementVerification, type EvaluateArchitectureGraphInput, FLAT_SKILL_TEMPLATES_RELATIVE_ROOT, type ForbiddenCapabilityUse, IMPROVEMENT_COMPASS_OUT_OF_SCOPE_LENSES, IMPROVEMENT_COMPASS_TOP_RESIDUAL_CAP, IMPROVEMENT_LENS_IDS, type ImprovementCompass, type ImprovementCompassEvidence, type ImprovementCompassFacts, type ImprovementCompassNextAction, type ImprovementCompassSmellFact, type ImprovementCompassViolationFact, type ImprovementLens, type ImprovementLensId, type ImprovementLensStatus, type InvariantCoverageEvidence, POLICY_DELTA_SCHEMA_VERSION, PROJECT_BINDING_SCHEMA, PROJECT_EXPECTATION_SCHEMA, type ParseSkillDocumentResult, type ParsedSkillFrontmatter, type PolicyDelta, type PolicyDeltaAcknowledgement, type PolicyDeltaAnalysis, type PolicyDeltaClassification, type PolicyDeltaFinding, type PreflightResolvedChangeInput, type PreparedChangeFile, type ProjectBinding, type ProjectExpectation, type ProjectIdentity, RESOLVED_CANDIDATE_FACTS_SCHEMA, RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION, type ResolvedAmbientFact, type ResolvedAnalysisFile, type ResolvedAnalysisIr, type ResolvedAnalysisResult, type ResolvedCandidateFacts, type ResolvedCandidateFactsInput, type ResolvedCapability, type ResolvedCapabilityFact, type ResolvedChangePreflightResult, type ResolvedDependencyFact, type ResolvedDependencyKind, type ResolvedDependencyState, type ResolvedFactsCompleteness, type ResolvedFactsReason, type ResolvedFileFact, type ResolvedIntentReferenceFact, type ResolvedPublishFact, type ResolvedSafetyFact, type ResolvedSafetyKind, type ResolvedSafetyReport, type RulesInventoryCandidate, type RulesInventoryResult, type SemanticDependency, type SemanticDependencyKind, type StatusActivationSlice, type StatusCheckVerdict, type StatusImprovementCompassSlice, type StatusLastCheckSlice, type StatusManifest, type StatusManifestFacts, type StatusNextAction, type StatusProjectIdentitySlice, type StatusRulesSlice, type StatusWritePathClass, type ValidateAgentSkillDocumentInput, type ValidateAgentSkillsPackageResult, adapterDocsCodePath, adapterFindingOccurrenceTargetKeys, adapterFindingRefFromTargetKey, adapterFindingTargetKey, agentProjectionContentIdentity, agentSkillEntryRelativePath, agentSkillPackageFileRelativePath, analyzeArchitectureConvergence, analyzeChange, analyzePolicyDelta, analyzeProject, analyzeResolvedProject, buildAgentProjectionBeginMarker, buildAgentProjectionBlock, buildAgentProjectionBody, buildAgentProjectionMeta, buildArkRuleFileHints, buildEffectiveArkRules, buildImprovementCompass, buildRulesInventory, buildStatusManifest, canPromoteInvariant, catalogFixForRuleId, catalogWhyForRuleId, classifyArkPolicyDelta, classifyStatusWritePath, collectAnalysisConfigWarnings, collectEmptyAppliesToFindings, collectForbiddenCapabilityUses, createAICodeGate, createAdapterResult, createArchitectureProfile, createArchitectureProfileFromArkConfig, createElevenLayerArkConfig, createProjectId, createProjectIdentity, createResolvedCandidateFacts, defaultHonestLabel, deriveArkRuleFileHints, detectArchitectureCycles, deterministicHash, diagnosticDocsFragment, diagnosticDocsPath, effectiveContractPolicyPayload, elevenLayerProfile, emptyEffectiveArkRules, evaluateArchitectureGraph, evaluateArkRuleSensors, evaluateInvariantCoverage, evaluateStatusBinding, explainViolation, extractAgentProjectionBlock, extractClassShapesFromSource, extractSemanticDependencies, flatSkillTemplateFileRelativePath, formatAgentProjectionCatalogShortList, formatAgentProjectionLayers, formatImprovementCompassDoctorLines, formatImprovementCompassResidualLabels, getDiagnosticCatalogEntry, inventoryToExtractionCard, isArkSkillName, isCataloguedOrArkRuleFamily, isKnownDiagnosticCode, isValidAgentSkillName, loadArkConfigContract, loadArkRulesContract, loadContract, loadResolvedCandidateFacts, mergeAgentProjectionDocument, normalizeSkillContent, parseAgentProjectionStamp, parseArkConfigJson, parseArkRulesJson, parseSkillDocument, policyDeltaAcknowledgementMatches, preflightChange, preflightResolvedChange, primaryImprovementCompassNextAction, projectionHasNonEnforcementLabel, projectionMatchesPackageVersion, resolveEffectiveContract, resolveStatusNextAction, resolvedFactsEvidenceRequirementsHash, serializeDiagnosticCatalog, stableSerialize, toAdapterDiagnostic, validateAgentSkillDocument, validateAgentSkillsPackage, version };
+export { ADAPTER_DIAGNOSTIC_DOCS_RELATIVE_PATH, AGENT_PROJECTION_BEGIN_MARKER, AGENT_PROJECTION_END_MARKER, AGENT_PROJECTION_ENFORCEMENT_SURFACES, AGENT_PROJECTION_NON_ENFORCEMENT_LABEL, AGENT_SKILLS_PACKAGE_RELATIVE_ROOT, AGENT_SKILL_ENTRY_FILENAME, type AICodeGate, type AICodeGateContext, type AICodeGateOptions, type AICodeGateResult, type AICodeGateViolation, type AIGateExtension, ANALYSIS_IR_SCHEMA_VERSION, ARK_AGENT_PROJECTION_SCHEMA_VERSION, ARK_AGENT_SKILLS_PACKAGE_SCHEMA_VERSION, ARK_ANALYSIS_RESULT_SCHEMA, ARK_ANALYSIS_RESULT_SCHEMA_VERSION, ARK_CONFIG_SCHEMA, ARK_CONFIG_SCHEMA_VERSION, ARK_DESIGN_DELTA_SCHEMA_VERSION, ARK_ENFORCEMENT_STATE_SCHEMA_VERSION, ARK_IMPROVEMENT_COMPASS_SCHEMA_VERSION, ARK_PROJECT_IDENTITY_SCHEMA, ARK_PROJECT_IDENTITY_SCHEMA_URL, ARK_PROJECT_IDENTITY_SCHEMA_VERSION, ARK_RULES_SCHEMA, ARK_RULES_SCHEMA_VERSION, ARK_RULE_SENSORS, ARK_SKILL_NAMES, ARK_SKILL_NAME_COUNT, ARK_STATUS_MANIFEST_SCHEMA, ARK_STATUS_MANIFEST_SCHEMA_URL, ARK_STATUS_MANIFEST_SCHEMA_VERSION, type AdapterCompletenessReason, type AdapterDiagnostic, type AdapterResult, type AdapterSeverity, type AdapterViolationInput, type AgentProjectionCatalogEntry, type AgentProjectionFacts, type AgentProjectionLayerSummary, type AgentProjectionMergeAction, type AgentProjectionMergeResult, type AgentProjectionMeta, type AgentProjectionProfile, type AgentSkillPackageEntry, type AgentSkillValidationIssue, type AnalysisCapabilityUse, type AnalysisCompilerOptions, type AnalysisCompleteness, type AnalysisContract, type AnalysisEvidence, type AnalysisFile, type AnalysisFileChange, type AnalysisFileInput, type AnalysisImportEdge, type AnalysisIr, type AnalysisMode, type AnalysisResult, type AnalysisViolation, type AnalyzeArchitectureConvergenceInput, type AnalyzeChangeInput, type AnalyzePolicyDeltaInput, type AnalyzeProjectInput, type AnalyzeResolvedProjectInput, type ArchitectureActualChange, type ArchitectureChangeMap, type ArchitectureChangeMapContract, type ArchitectureChangeMapDependency, type ArchitectureChangeMapFile, type ArchitectureChangeOperation, type ArchitectureConvergenceClassification, type ArchitectureConvergenceFinding, type ArchitectureConvergenceResult, type ArchitectureDependency, type ArchitectureEngineEdge, type ArchitectureEngineResult, type ArchitectureEngineViolation, type ArchitectureLayer, type ArchitectureLayerConfig, type ArchitectureProfile, type ArchitectureRule, type ArkCheckConfig, ArkConfig, ArkConfigLoadResult, type ArkDesignDeltaResult, type ArkEnforcementHost, type ArkEnforcementState, type ArkRuleSensorViolation, type ArkRulesFile, type ArkSkillName, type ChangePreflightResult, type ClassShapeFact, type CollectAnalysisConfigWarningsInput, type CreateArchitectureProfileFromArkConfigOptions, type CreateArchitectureProfileOptions, type CreateElevenLayerArkConfigOptions, DEFAULT_AGENT_PROJECTION_RULE_IDS, DIAGNOSTIC_CATALOG, DIAGNOSTIC_CATALOG_SCHEMA_VERSION, DIAGNOSTIC_DOCS_RELATIVE_PATH, DIAGNOSTIC_RULE_IDS, type DesignDeltaChange, type DesignDeltaIdentity, type DesignSmellEvidence, type DesignSmellFinding, type DesignSmellId, type DiagnosticCatalogEntry, type DiagnosticCategory, type EffectiveArkRules, type EffectiveContract, EffectiveContractError, type EffectiveContractWarning, type EnforcementBoundaryState, type EnforcementEvidence, type EnforcementEvidenceField, type EnforcementVerification, type EvaluateArchitectureGraphInput, FLAT_SKILL_TEMPLATES_RELATIVE_ROOT, type ForbiddenCapabilityUse, IMPROVEMENT_COMPASS_OUT_OF_SCOPE_LENSES, IMPROVEMENT_COMPASS_TOP_RESIDUAL_CAP, IMPROVEMENT_LENS_IDS, type ImprovementCompass, type ImprovementCompassEvidence, type ImprovementCompassFacts, type ImprovementCompassNextAction, type ImprovementCompassSmellFact, type ImprovementCompassViolationFact, type ImprovementLens, type ImprovementLensId, type ImprovementLensStatus, type InvariantCoverageEvidence, POLICY_DELTA_SCHEMA_VERSION, PROJECT_BINDING_SCHEMA, PROJECT_EXPECTATION_SCHEMA, type ParseSkillDocumentResult, type ParsedSkillFrontmatter, type PolicyDelta, type PolicyDeltaAcknowledgement, type PolicyDeltaAnalysis, type PolicyDeltaClassification, type PolicyDeltaFinding, type PreflightResolvedChangeInput, type PreparedChangeFile, type ProjectBinding, type ProjectExpectation, type ProjectIdentity, RESOLVED_CANDIDATE_FACTS_SCHEMA, RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION, type ResolvedAmbientFact, type ResolvedAnalysisFile, type ResolvedAnalysisIr, type ResolvedAnalysisResult, type ResolvedCandidateFacts, type ResolvedCandidateFactsInput, type ResolvedCapability, type ResolvedCapabilityFact, type ResolvedChangePreflightResult, type ResolvedDependencyFact, type ResolvedDependencyKind, type ResolvedDependencyState, type ResolvedFactsCompleteness, type ResolvedFactsReason, type ResolvedFileFact, type ResolvedIntentReferenceFact, type ResolvedPublishFact, type ResolvedSafetyFact, type ResolvedSafetyKind, type ResolvedSafetyReport, type RulesInventoryCandidate, type RulesInventoryResult, STATUS_COMPASS_FACTS_SOURCES, STATUS_COMPASS_MODES, STATUS_COMPASS_REASON_CODES, type SemanticDependency, type SemanticDependencyKind, type StatusActivationSlice, type StatusCheckVerdict, type StatusCompassFactsSource, type StatusCompassMode, type StatusCompassReasonCode, type StatusImprovementCompassSlice, type StatusLastCheckSlice, type StatusManifest, type StatusManifestFacts, type StatusNextAction, type StatusProjectIdentitySlice, type StatusRulesSlice, type StatusWritePathClass, type ValidateAgentSkillDocumentInput, type ValidateAgentSkillsPackageResult, adapterDocsCodePath, adapterFindingOccurrenceTargetKeys, adapterFindingRefFromTargetKey, adapterFindingTargetKey, agentProjectionContentIdentity, agentSkillEntryRelativePath, agentSkillPackageFileRelativePath, analyzeArchitectureConvergence, analyzeChange, analyzePolicyDelta, analyzeProject, analyzeResolvedProject, buildAgentProjectionBeginMarker, buildAgentProjectionBlock, buildAgentProjectionBody, buildAgentProjectionMeta, buildArkRuleFileHints, buildEffectiveArkRules, buildImprovementCompass, buildRulesInventory, buildStatusManifest, canPromoteInvariant, catalogFixForRuleId, catalogWhyForRuleId, classifyArkPolicyDelta, classifyStatusWritePath, collectAnalysisConfigWarnings, collectEmptyAppliesToFindings, collectForbiddenCapabilityUses, createAICodeGate, createAdapterResult, createArchitectureProfile, createArchitectureProfileFromArkConfig, createElevenLayerArkConfig, createProjectId, createProjectIdentity, createResolvedCandidateFacts, defaultHonestLabel, deriveArkRuleFileHints, detectArchitectureCycles, deterministicHash, diagnosticDocsFragment, diagnosticDocsPath, effectiveContractPolicyPayload, elevenLayerProfile, emptyEffectiveArkRules, evaluateArchitectureGraph, evaluateArkRuleSensors, evaluateInvariantCoverage, evaluateStatusBinding, explainViolation, extractAgentProjectionBlock, extractClassShapesFromSource, extractSemanticDependencies, flatSkillTemplateFileRelativePath, formatAgentProjectionCatalogShortList, formatAgentProjectionLayers, formatImprovementCompassDoctorLines, formatImprovementCompassResidualLabels, getDiagnosticCatalogEntry, inventoryToExtractionCard, isArkSkillName, isCataloguedOrArkRuleFamily, isKnownDiagnosticCode, isValidAgentSkillName, loadArkConfigContract, loadArkRulesContract, loadContract, loadResolvedCandidateFacts, mergeAgentProjectionDocument, normalizeSkillContent, normalizeStatusImprovementCompass, parseAgentProjectionStamp, parseArkConfigJson, parseArkRulesJson, parseSkillDocument, policyDeltaAcknowledgementMatches, preflightChange, preflightResolvedChange, primaryImprovementCompassNextAction, projectStatusImprovementCompass, projectionHasNonEnforcementLabel, projectionMatchesPackageVersion, resolveEffectiveContract, resolveStatusNextAction, resolvedFactsEvidenceRequirementsHash, serializeDiagnosticCatalog, stableSerialize, statusCompassResidualIsSubsetOfDoctor, toAdapterDiagnostic, unavailableStatusImprovementCompass, validateAgentSkillDocument, validateAgentSkillsPackage, version };