arkgate 4.3.0 → 4.4.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (51) hide show
  1. package/CHANGELOG.md +36 -10
  2. package/README.md +10 -7
  3. package/bin/ark-check-runtime.mjs +16 -1
  4. package/bin/lib/agent-projection.mjs +1 -1
  5. package/bin/lib/ci-and-commands.mjs +11 -5
  6. package/bin/lib/doctor-plan.mjs +25 -0
  7. package/bin/lib/html-report-advisories.mjs +33 -0
  8. package/bin/lib/html-report-depth.mjs +24 -0
  9. package/bin/lib/improvement-compass-doctor.mjs +106 -0
  10. package/bin/lib/improvement-compass.mjs +630 -0
  11. package/bin/lib/status-manifest.mjs +38 -1
  12. package/dist/index.cjs +33 -33
  13. package/dist/index.d.ts +159 -2
  14. package/dist/index.js +33 -33
  15. package/docs/README.md +6 -5
  16. package/docs/agent-guide.md +20 -4
  17. package/docs/develop.md +6 -3
  18. package/docs/diagnostics.md +1 -1
  19. package/docs/package-surface.md +37 -34
  20. package/docs/product-voice.md +26 -0
  21. package/docs/use.md +37 -1
  22. package/package.json +1 -1
  23. package/schemas/ark.status-manifest.schema.json +26 -0
  24. package/server.json +2 -2
  25. package/templates/agent-skills/README.md +2 -2
  26. package/templates/agent-skills/ark-adopt/SKILL.md +20 -0
  27. package/templates/agent-skills/ark-architect/SKILL.md +21 -1
  28. package/templates/agent-skills/ark-autopilot/SKILL.md +25 -5
  29. package/templates/agent-skills/ark-contract/SKILL.md +20 -0
  30. package/templates/agent-skills/ark-coverage/SKILL.md +20 -0
  31. package/templates/agent-skills/ark-explain/SKILL.md +20 -0
  32. package/templates/agent-skills/ark-explore/SKILL.md +23 -3
  33. package/templates/agent-skills/ark-fix/SKILL.md +22 -2
  34. package/templates/agent-skills/ark-loop/SKILL.md +22 -2
  35. package/templates/agent-skills/ark-place/SKILL.md +20 -0
  36. package/templates/agent-skills/ark-runtime/SKILL.md +7 -0
  37. package/templates/agent-skills/ark-think/SKILL.md +20 -0
  38. package/templates/agent-skills/ark-upgrade/SKILL.md +20 -0
  39. package/templates/skills/ark-adopt.md +20 -0
  40. package/templates/skills/ark-architect.md +21 -1
  41. package/templates/skills/ark-autopilot.md +25 -5
  42. package/templates/skills/ark-contract.md +20 -0
  43. package/templates/skills/ark-coverage.md +20 -0
  44. package/templates/skills/ark-explain.md +20 -0
  45. package/templates/skills/ark-explore.md +23 -3
  46. package/templates/skills/ark-fix.md +22 -2
  47. package/templates/skills/ark-loop.md +22 -2
  48. package/templates/skills/ark-place.md +20 -0
  49. package/templates/skills/ark-runtime.md +7 -0
  50. package/templates/skills/ark-think.md +20 -0
  51. package/templates/skills/ark-upgrade.md +20 -0
package/dist/index.d.ts CHANGED
@@ -244,7 +244,7 @@ declare function loadArkConfigContract(input: unknown, source?: string): ArkConf
244
244
  declare function parseArkConfigJson(json: string, source?: string): ArkConfigLoadResult;
245
245
 
246
246
  /** ArkGate library version — single source of truth. */
247
- declare const version = "4.3.0";
247
+ declare const version = "4.4.0";
248
248
 
249
249
  /** Versioned public result contract shared by every ArkGate enforcement adapter. */
250
250
  /**
@@ -2931,6 +2931,16 @@ type StatusNextAction = {
2931
2931
  id: string;
2932
2932
  summary: string;
2933
2933
  };
2934
+ /**
2935
+ * Optional thin improvement-compass projection on status (additive).
2936
+ * Full lenses live on doctor JSON; status carries residual ids only when supplied.
2937
+ * Always notAScore; never a gate input.
2938
+ */
2939
+ type StatusImprovementCompassSlice = {
2940
+ schemaVersion: '1.0';
2941
+ notAScore: true;
2942
+ topResidual: string[];
2943
+ };
2934
2944
  type StatusManifest = {
2935
2945
  schemaVersion: typeof ARK_STATUS_MANIFEST_SCHEMA_VERSION;
2936
2946
  arkgateVersion: string;
@@ -2939,6 +2949,8 @@ type StatusManifest = {
2939
2949
  lastCheck: StatusLastCheckSlice;
2940
2950
  rules: StatusRulesSlice;
2941
2951
  nextAction: StatusNextAction;
2952
+ /** Optional; omit when Tooling did not supply a projection. */
2953
+ improvementCompass?: StatusImprovementCompassSlice;
2942
2954
  };
2943
2955
  /**
2944
2956
  * Pure facts supplied by Tooling after path canonicalization and I/O.
@@ -2982,6 +2994,11 @@ type StatusManifestFacts = {
2982
2994
  rulesFrozenResidual?: number | null;
2983
2995
  /** Optional override when Tooling already computed productHonesty next action. */
2984
2996
  nextActionOverride?: StatusNextAction | null;
2997
+ /**
2998
+ * Optional improvement compass residual ids (notAScore).
2999
+ * Tooling may pass a thin slice from a prior doctor/report snapshot.
3000
+ */
3001
+ improvementCompass?: StatusImprovementCompassSlice | null;
2985
3002
  };
2986
3003
  /**
2987
3004
  * Evaluate project binding for status without filesystem.
@@ -3176,9 +3193,149 @@ declare const ARK_STATUS_MANIFEST_SCHEMA: {
3176
3193
  };
3177
3194
  };
3178
3195
  };
3196
+ readonly improvementCompass: {
3197
+ readonly type: "object";
3198
+ readonly description: "Optional thin improvement-compass residual ids (notAScore). Never a gate input; full lenses on doctor JSON.";
3199
+ readonly additionalProperties: false;
3200
+ readonly required: readonly ["schemaVersion", "notAScore", "topResidual"];
3201
+ readonly properties: {
3202
+ readonly schemaVersion: {
3203
+ readonly const: "1.0";
3204
+ };
3205
+ readonly notAScore: {
3206
+ readonly const: true;
3207
+ };
3208
+ readonly topResidual: {
3209
+ readonly type: "array";
3210
+ readonly items: {
3211
+ readonly type: "string";
3212
+ readonly minLength: 1;
3213
+ };
3214
+ readonly maxItems: 15;
3215
+ };
3216
+ };
3217
+ };
3179
3218
  };
3180
3219
  };
3181
3220
 
3221
+ /**
3222
+ * Improvement compass (product 4.4.0) — pure Domain projection.
3223
+ *
3224
+ * Closed set of architecture **lenses** projected from existing doctor-side
3225
+ * evidence. Always `notAScore: true`. Never a gate input: residual lenses must
3226
+ * not flip `valid`, strict-merge exit, or `goal.met`.
3227
+ *
3228
+ * Out-of-scope lenses (`scalability`, `resilience`, `security`) are locked —
3229
+ * missing SAST/APM/chaos never invents residual.
3230
+ *
3231
+ * Pure Domain: no fs, fetch, Date.now, process — inject facts as input.
3232
+ */
3233
+ declare const ARK_IMPROVEMENT_COMPASS_SCHEMA_VERSION: "1.0";
3234
+ /** Closed 15 lens ids (stable order for projection). */
3235
+ declare const IMPROVEMENT_LENS_IDS: readonly ["soc", "cohesion", "coupling", "srp", "dip", "ocp", "encapsulation", "modularity", "scalability", "resilience", "security", "maintainability", "testability", "domain", "stack"];
3236
+ type ImprovementLensId = (typeof IMPROVEMENT_LENS_IDS)[number];
3237
+ type ImprovementLensStatus = 'ok' | 'residual' | 'not-instrumented' | 'out-of-scope';
3238
+ type ImprovementCompassEvidence = {
3239
+ source: string;
3240
+ ref: string;
3241
+ detail?: string;
3242
+ };
3243
+ type ImprovementCompassNextAction = {
3244
+ kind: string;
3245
+ ref: string;
3246
+ summary: string;
3247
+ };
3248
+ type ImprovementLens = {
3249
+ id: ImprovementLensId;
3250
+ status: ImprovementLensStatus;
3251
+ summary: string;
3252
+ evidence: ImprovementCompassEvidence[];
3253
+ nextAction?: ImprovementCompassNextAction;
3254
+ };
3255
+ type ImprovementCompass = {
3256
+ schemaVersion: typeof ARK_IMPROVEMENT_COMPASS_SCHEMA_VERSION;
3257
+ notAScore: true;
3258
+ lenses: ImprovementLens[];
3259
+ topResidual: ImprovementLensId[];
3260
+ };
3261
+ /** Cap for topResidual — short, agent-legible list (not a ranking score). */
3262
+ declare const IMPROVEMENT_COMPASS_TOP_RESIDUAL_CAP = 5;
3263
+ /** Locked out-of-scope — never become residual from missing sensors. */
3264
+ declare const IMPROVEMENT_COMPASS_OUT_OF_SCOPE_LENSES: readonly ["scalability", "resilience", "security"];
3265
+ type ImprovementCompassSmellFact = {
3266
+ /** Stable smell id (designSmells) or smellId alias. */
3267
+ id?: string;
3268
+ smellId?: string;
3269
+ message?: string;
3270
+ outcome?: string;
3271
+ evidence?: readonly string[];
3272
+ };
3273
+ type ImprovementCompassViolationFact = {
3274
+ ruleId?: string;
3275
+ code?: string;
3276
+ message?: string;
3277
+ fromLayer?: string;
3278
+ toLayer?: string;
3279
+ file?: string;
3280
+ /** When false, type-only placement debt — not runtime coupling (product voice). */
3281
+ failsStrict?: boolean;
3282
+ /** Alias for non-blocking type-only edges (mirrors doctor violation shape). */
3283
+ typeOnly?: boolean;
3284
+ };
3285
+ /**
3286
+ * Pure facts supplied by Tooling/doctor after I/O.
3287
+ * Domain never opens files or clocks time.
3288
+ */
3289
+ type ImprovementCompassFacts = {
3290
+ designSmells?: readonly ImprovementCompassSmellFact[];
3291
+ violations?: readonly ImprovementCompassViolationFact[];
3292
+ /** Detected import cycles (count). */
3293
+ cycleCount?: number;
3294
+ /** Peer-isolation residual findings (count) or true when any. */
3295
+ peerIsolationCount?: number | boolean;
3296
+ /** physicalCohesion findings length. */
3297
+ physicalCohesionFindingCount?: number;
3298
+ /** Whether ArkRules map is loaded on the contract. */
3299
+ arkRulesLoaded?: boolean;
3300
+ /** Open structure/invariant residual from ArkRules plane. */
3301
+ arkRulesStructureResidual?: number;
3302
+ /** designFitness.designWeak */
3303
+ designWeak?: boolean;
3304
+ baselineExists?: boolean;
3305
+ baselineStale?: number | null;
3306
+ frozenResidual?: number | null;
3307
+ dirtyBaselineRisk?: boolean;
3308
+ /** Pure / capability / forbidden residual counts. */
3309
+ pureOrCapabilityResidual?: number;
3310
+ forbiddenGlobalResidual?: number;
3311
+ /** Ungoverned directory suggestions / empty layers (modularity/placement). */
3312
+ ungovernedDirCount?: number;
3313
+ emptyLayerCount?: number;
3314
+ goldenPatternPresent?: boolean;
3315
+ /**
3316
+ * Host/language stack. TypeScript is partially instrumented (host/TS/Ark
3317
+ * idioms only). Unknown or non-TS stays not-instrumented / out-of-scope.
3318
+ */
3319
+ stackKind?: 'typescript' | 'unknown' | null;
3320
+ };
3321
+ /**
3322
+ * Build a deterministic improvement compass from supplied doctor-side facts.
3323
+ * Always returns all 15 lenses; always `notAScore: true`.
3324
+ */
3325
+ declare function buildImprovementCompass(facts?: ImprovementCompassFacts): ImprovementCompass;
3326
+ /**
3327
+ * Plain residual lens names for human doctor / compact router (never a score).
3328
+ */
3329
+ declare function formatImprovementCompassResidualLabels(compass: ImprovementCompass): string[];
3330
+ /**
3331
+ * Primary next action from the first residual lens that carries one.
3332
+ */
3333
+ declare function primaryImprovementCompassNextAction(compass: ImprovementCompass): ImprovementCompassNextAction | null;
3334
+ /**
3335
+ * Human doctor lines (no score bar). Caller prefixes section header.
3336
+ */
3337
+ declare function formatImprovementCompassDoctorLines(compass: ImprovementCompass): string[];
3338
+
3182
3339
  /**
3183
3340
  * Version-matched agent contract projection (ACS04).
3184
3341
  *
@@ -3455,4 +3612,4 @@ declare function agentSkillPackageFileRelativePath(skillName: string): string;
3455
3612
  */
3456
3613
  declare function flatSkillTemplateFileRelativePath(skillName: string): string;
3457
3614
 
3458
- 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_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, 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 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, 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, getDiagnosticCatalogEntry, inventoryToExtractionCard, isArkSkillName, isCataloguedOrArkRuleFamily, isKnownDiagnosticCode, isValidAgentSkillName, loadArkConfigContract, loadArkRulesContract, loadContract, loadResolvedCandidateFacts, mergeAgentProjectionDocument, normalizeSkillContent, parseAgentProjectionStamp, parseArkConfigJson, parseArkRulesJson, parseSkillDocument, policyDeltaAcknowledgementMatches, preflightChange, preflightResolvedChange, projectionHasNonEnforcementLabel, projectionMatchesPackageVersion, resolveEffectiveContract, resolveStatusNextAction, resolvedFactsEvidenceRequirementsHash, serializeDiagnosticCatalog, stableSerialize, toAdapterDiagnostic, validateAgentSkillDocument, validateAgentSkillsPackage, version };
3615
+ 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 };