@unbrained/pm-cli 2026.8.12 → 2026.8.14

package/sdk/public-surface.json

@@ -1,6 +1,6 @@
 {
   "aggregate_completeness": {
-    "covered_symbols": 1506,
+    "covered_symbols": 1513,
     "excluded": [
       {
         "name": "_testOnlyCliContracts",
@@ -8,7 +8,7 @@
       }
     ],
     "missing": [],
-    "required_symbols": 1507
+    "required_symbols": 1514
   },
   "breaking_acknowledgements": [
     {
@@ -389,6 +389,113 @@
       ],
       "package_version": "2026.8.11",
       "reason": "Add optional seen_item_overflow_count receipt while preserving every existing SDK input and below-capacity output"
+    },
+    {
+      "changes": [
+        "signature ./sdk:ASSURANCE_ACTIONS",
+        "signature ./sdk:AssuranceActionInput",
+        "signature ./sdk:AssuranceActionResult",
+        "signature ./sdk:AssuranceEvaluationContext",
+        "signature ./sdk:AssuranceGateDefinition",
+        "signature ./sdk:CreateAssuranceWorkspaceContextOptions",
+        "signature ./sdk:createExtensionContributionInventory",
+        "signature ./sdk:EXTENSION_CAPABILITY_REGISTRATION_SURFACES",
+        "signature ./sdk:EXTENSION_POLICY_SURFACES",
+        "signature ./sdk:ExtensionActivationSummary",
+        "signature ./sdk:ExtensionApi",
+        "signature ./sdk:ExtensionBlueprint",
+        "signature ./sdk:ExtensionContributionInventory",
+        "signature ./sdk:ExtensionRegistrationRegistry",
+        "signature ./sdk:PM_EXTENSION_POLICY_SURFACE_CONTRACTS",
+        "signature ./sdk/authoring:createExtensionContributionInventory",
+        "signature ./sdk/authoring:EXTENSION_CAPABILITY_REGISTRATION_SURFACES",
+        "signature ./sdk/authoring:EXTENSION_POLICY_SURFACES",
+        "signature ./sdk/authoring:ExtensionApi",
+        "signature ./sdk/authoring:ExtensionBlueprint",
+        "signature ./sdk/authoring:ExtensionContributionInventory",
+        "signature ./sdk/authoring:ExtensionRegistrationRegistry",
+        "signature ./sdk/contracts:PM_EXTENSION_POLICY_SURFACE_CONTRACTS",
+        "signature ./sdk/core:AssuranceActionInput",
+        "signature ./sdk/core:AssuranceActionResult",
+        "signature ./sdk/runtime:AssuranceActionInput",
+        "signature ./sdk/runtime:AssuranceActionResult",
+        "signature ./sdk/testing:ExtensionActivationSummary",
+        "signature ./sdk/testing:ExtensionBlueprint"
+      ],
+      "package_version": "2026.8.12",
+      "reason": "Additive assurance provider, preset, trigger-policy, and inventory fields change structural signatures while preserving existing actions and registrations"
+    },
+    {
+      "changes": [
+        "signature ./sdk:RelationshipCoverageProfile",
+        "signature ./sdk/graph:RelationshipCoverageProfile"
+      ],
+      "package_version": "2026.8.12",
+      "reason": "RelationshipCoverageProfile intentionally adds always-present structural and typed outcome governance fields under pm-4vz6mz; existing fields and semantics remain unchanged."
+    },
+    {
+      "changes": [
+        "signature ./sdk:RelationshipCoverageProfile",
+        "signature ./sdk/graph:RelationshipCoverageProfile"
+      ],
+      "package_version": "2026.8.12",
+      "reason": "RelationshipCoverageProfile intentionally adds always-present structural and lifecycle-stable typed outcome governance fields under pm-4vz6mz, pm-g4k74y, and pm-bzmeaa; existing fields and semantics remain unchanged."
+    },
+    {
+      "changes": [
+        "signature ./sdk:RelationshipAuditFindingCode",
+        "signature ./sdk/graph:RelationshipAuditFindingCode"
+      ],
+      "package_version": "2026.8.12",
+      "reason": "Source-derived finding-code type replaces an identical handwritten union; the accepted values and runtime behavior are unchanged."
+    },
+    {
+      "changes": [
+        "signature ./sdk:HistoryVerificationResult",
+        "signature ./sdk:RelationshipAuditDelta",
+        "signature ./sdk:RelationshipAuditFinding",
+        "signature ./sdk:RelationshipCoverageProfile",
+        "signature ./sdk:WorkspaceRelationshipAssembly",
+        "signature ./sdk/graph:RelationshipAuditDelta",
+        "signature ./sdk/graph:RelationshipAuditFinding",
+        "signature ./sdk/graph:RelationshipCoverageProfile",
+        "signature ./sdk/graph:WorkspaceRelationshipAssembly"
+      ],
+      "package_version": "2026.8.13",
+      "reason": "pm-dwj33e and pm-h06944: additive optional history-agreement and graph-governance fields; existing inputs and legacy snapshots remain accepted"
+    },
+    {
+      "changes": [
+        "signature ./sdk:PM_READ_OUTPUT_SURFACES",
+        "signature ./sdk:PmReadOutputOptions",
+        "signature ./sdk:PmReadOutputReceipt",
+        "signature ./sdk:PmResolvedReadOutputDimensions",
+        "signature ./sdk/contracts:PM_READ_OUTPUT_SURFACES",
+        "signature ./sdk/contracts:PmReadOutputOptions",
+        "signature ./sdk/contracts:PmReadOutputReceipt",
+        "signature ./sdk/contracts:PmResolvedReadOutputDimensions",
+        "signature ./sdk/core:PmReadOutputOptions",
+        "signature ./sdk/core:PmReadOutputReceipt",
+        "signature ./sdk/runtime:PmReadOutputOptions"
+      ],
+      "package_version": "2026.8.13",
+      "reason": "Intentional SDK contract widening: default output budgets, explicit unbounded opt-out, and assurance/comments-audit read surfaces"
+    },
+    {
+      "changes": [
+        "signature ./sdk:PmReadOutputLegacyAlias",
+        "signature ./sdk:PmReadOutputReceipt",
+        "signature ./sdk:PmReadOutputResult",
+        "signature ./sdk/contracts:PmReadOutputLegacyAlias",
+        "signature ./sdk/contracts:PmReadOutputReceipt",
+        "signature ./sdk/contracts:PmReadOutputResult",
+        "signature ./sdk/core:PmReadOutputLegacyAlias",
+        "signature ./sdk/core:PmReadOutputReceipt",
+        "signature ./sdk/core:PmReadOutputResult",
+        "signature ./sdk/runtime:PmReadOutputResult"
+      ],
+      "package_version": "2026.8.13",
+      "reason": "Additive optional read-output receipts and explicit alias semantics for executable recovery contracts"
     }
   ],
   "entrypoints": {
@@ -479,6 +586,12 @@
           "name": "_testOnlyValidateCommand",
           "signature": "{ applyValidateFix: typeof applyValidateFix; applyValidateFixes: typeof applyValidateFixes; attachValidateFixHints: typeof attachValidateFixHints; buildCommandReferencesCheck: typeof buildCommandReferencesCheck; buildDependencyReferencesCheck: typeof buildDependencyReferencesCheck; buildCloseReasonBackfillRows: typeof buildCloseReasonBackfillRows; buildFilesCheck: typeof buildFilesCheck; buildLifecycleCheck: typeof buildLifecycleCheck; buildLifecycleDependencyGraph: typeof buildLifecycleDependencyGraph; buildLifecycleParentGraph: typeof buildLifecycleParentGraph; buildEstimateBackfillRows: typeof buildEstimateBackfillRows; buildMetadataCounts: typeof buildMetadataCounts; buildMissingFieldOccurrences: typeof buildMissingFieldOccurrences; buildOrphanedPathRows: typeof buildOrphanedPathRows; classifyOrphanedPath: typeof classifyOrphanedPath; collectDefaultProjectFileCandidates: typeof collectDefaultProjectFileCandidates; collectTrackedGitFileCandidates: typeof collectTrackedGitFileCandidates; detectLifecycleDependencyCycles: typeof detectLifecycleDependencyCycles; detectLifecycleParentCycles: typeof detectLifecycleParentCycles; escapeRegExp: typeof escapeRegExp; extractItemIds: typeof extractItemIds; findLifecycleDependencyCycleComponents: typeof findLifecycleDependencyCycleComponents; isMetadataFieldMissing: typeof isMetadataFieldMissing; linkedArtifactPathExceedsFilesystemLimits: typeof linkedArtifactPathExceedsFilesystemLimits; listFilesRecursive: typeof listFilesRecursive; resolveDependencyCycleSeverity: typeof resolveDependencyCycleSeverity; resolveParentCycleSeverity: typeof resolveParentCycleSeverity; resolveFileScanMode: typeof resolveFileScanMode; resolveLifecycleDependencyCycleSamplePath: typeof resolveLifecycleDependencyCycleSamplePath; resolveRequestedChecks: typeof resolveRequestedChecks; resolveValidateMetadataProfile: typeof resolveValidateMetadataProfile; resolveWorkspaceRoot: typeof resolveWorkspaceRoot; sharedDirectoryPrefixLength: typeof sharedDirectoryPrefixLength; summarizeOrphanedPathRows: typeof summarizeOrphanedPathRows; summarizeDuplicateIssueCodes: typeof summarizeDuplicateIssueCodes; toMeaningfulString: typeof toMeaningfulString; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "acceptAssuranceProposals",
+          "signature": "(pmRoot: string, proposals: readonly AssuranceDerivedProposal[], options?: { author?: string; message?: string; }) => Promise<AssuranceBundleMutationReceipt> | calls: (pmRoot: string, proposals: readonly AssuranceDerivedProposal[], options?: { author?: string; message?: string; }) => Promise<AssuranceBundleMutationReceipt>"
+        },
         {
           "classification": "supported",
           "kind": "interface",
@@ -917,6 +1030,12 @@
           "name": "applyAcceptanceCriteriaMutations",
           "signature": "(baseCriteria: readonly string[], add: readonly string[] | undefined, remove: readonly string[] | undefined) => { criteria: string[]; unmatchedRemovals: string[]; } | calls: (baseCriteria: readonly string[], add: readonly string[] | undefined, remove: readonly string[] | undefined) => { criteria: string[]; unmatchedRemovals: string[]; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "applyAssurancePreset",
+          "signature": "(pmRoot: string, id: AssurancePresetId, ownerItemId: string, options?: { author?: string; message?: string; }) => Promise<AssuranceBundleMutationReceipt> | calls: (pmRoot: string, id: AssurancePresetId, ownerItemId: string, options?: { author?: string; message?: string; }) => Promise<AssuranceBundleMutationReceipt>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -965,6 +1084,12 @@
           "name": "applyReadOutputDimensions",
           "signature": "<Result extends Record<string, unknown>>(command: string, options: Record<string, unknown>, result: Result) => PmReadOutputResult<Result> | calls: <Result extends Record<string, unknown>>(command: string, options: Record<string, unknown>, result: Result) => PmReadOutputResult<Result>"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "applyReadOutputIncludeModes",
+          "signature": "(command: string, includeValue: unknown, commandOptions: Record<string, unknown>) => { selectors: string[]; modes: string[]; } | calls: (command: string, includeValue: unknown, commandOptions: Record<string, unknown>) => { selectors: string[]; modes: string[]; }"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -1073,6 +1198,12 @@
           "name": "assertHistoryRepairTarget",
           "signature": "(id: string | undefined, all: boolean) => void | calls: (id: string | undefined, all: boolean) => void"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "assertLinkedArtifactMutationIsUnambiguous",
+          "signature": "(adds: LinkedArtifact[], removes: string[], migrations?: PathMigration[]) => void | calls: (adds: LinkedArtifact[], removes: string[], migrations?: PathMigration[]) => void"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -1233,7 +1364,7 @@
           "classification": "advanced_export",
           "kind": "value",
           "name": "ASSURANCE_ACTIONS",
-          "signature": "readonly [\"list\", \"show\", \"put\", \"remove\", \"run\", \"verdicts\"]"
+          "signature": "readonly [\"list\", \"show\", \"put\", \"remove\", \"run\", \"verdicts\", \"presets\", \"apply\", \"derive\", \"promote\"]"
         },
         {
           "classification": "advanced_export",
@@ -1259,6 +1390,12 @@
           "name": "ASSURANCE_GATE_TRIGGERS",
           "signature": "readonly [\"pre-commit\", \"pre-push\", \"pre-merge\", \"ci\", \"pre-release\", \"post-release\", \"scheduled\", \"on-claim\", \"on-close\"]"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "value",
+          "name": "ASSURANCE_PRESET_IDS",
+          "signature": "readonly [\"software-delivery\", \"research\", \"agent-evaluation\", \"operations\"]"
+        },
         {
           "classification": "advanced_export",
           "kind": "type",
@@ -1269,13 +1406,13 @@
           "classification": "supported",
           "kind": "interface",
           "name": "AssuranceActionInput",
-          "signature": "export interface AssuranceActionInput { action: string; kind?: string; id?: string; definition?: unknown; trigger?: string; tree?: string; gate?: string; limit?: number | string; dry_run?: boolean; fullChangedFields?: boolean; idOnly?: boolean; author?: string; message?: string; }"
+          "signature": "export interface AssuranceActionInput { action: string; kind?: string; id?: string; definition?: unknown; trigger?: string; tree?: string; gate?: string; limit?: number | string; dry_run?: boolean; fullChangedFields?: boolean; idOnly?: boolean; author?: string; message?: string; preset?: string; owner?: string; apply?: boolean; enforcement?: string; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "AssuranceActionResult",
-          "signature": "export type AssuranceActionResult = AssuranceDeclaration | AssuranceMutationReceipt | AssuranceGateVerdict | { id: string; } | { items: AssuranceDeclaration[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; } | { items: AssuranceGateVerdict[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; };"
+          "signature": "export type AssuranceActionResult = AssuranceDeclaration | AssuranceMutationReceipt | AssuranceGateVerdict | AssuranceBundleMutationReceipt | AssurancePreset | { items: AssuranceDerivedProposal[]; count: number; applied?: AssuranceBundleMutationReceipt; } | { items: Array<{ id: AssurancePresetId; title: string; description: string; }>; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; } | { id: string; } | { items: AssuranceDeclaration[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; } | { items: AssuranceGateVerdict[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; };"
         },
         {
           "classification": "advanced_export",
@@ -1307,12 +1444,24 @@
           "name": "AssuranceBound",
           "signature": "export interface AssuranceBound { polarity: \"ceiling\" | \"floor\" | \"equals\" | \"zero\" | \"monotone_nondecreasing\" | \"monotone_nonincreasing\" | \"subset_of\"; value: AssuranceValue; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "AssuranceBundleMutationReceipt",
+          "signature": "export interface AssuranceBundleMutationReceipt { changed: boolean; created_ids: string[]; unchanged_ids: string[]; }"
+        },
         {
           "classification": "advanced_export",
           "kind": "type",
           "name": "AssuranceDeclaration",
           "signature": "export type AssuranceDeclaration = AssuranceMeasurementDefinition | AssuranceAssertionDefinition | AssuranceGateDefinition;"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "AssuranceDeclarationBundle",
+          "signature": "export interface AssuranceDeclarationBundle { measurements: AssuranceMeasurementDefinition[]; assertions: AssuranceAssertionDefinition[]; gates: AssuranceGateDefinition[]; }"
+        },
         {
           "classification": "advanced_export",
           "kind": "type",
@@ -1337,6 +1486,12 @@
           "name": "AssuranceDerivedExpression",
           "signature": "export type AssuranceDerivedExpression = AssuranceMeasurementReference | AssuranceLiteralExpression | AssuranceArithmeticExpression;"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "AssuranceDerivedProposal",
+          "signature": "export interface AssuranceDerivedProposal { id: string; population_size: number; scope: AssuranceScope; observed: number; declarations: AssuranceDeclarationBundle; }"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -1359,7 +1514,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "AssuranceEvaluationContext",
-          "signature": "export interface AssuranceEvaluationContext { tree_id: string; items: AssuranceItemRecord[]; history: AssuranceHistoryRecord[]; terminal_statuses?: string[]; external: (source: AssuranceGraphSource | AssuranceValidateSource | AssuranceHealthSource | AssuranceProviderSource) => Promise<AssuranceExternalMeasurementResult>; }"
+          "signature": "export interface AssuranceEvaluationContext { tree_id: string; items: AssuranceItemRecord[]; history: AssuranceHistoryRecord[]; terminal_statuses?: string[]; provider_capabilities?: Readonly<Record<string, { cost_class: AssuranceProviderCostClass; network: boolean; }>>; external: (source: AssuranceGraphSource | AssuranceValidateSource | AssuranceHealthSource | AssuranceProviderSource) => Promise<AssuranceExternalMeasurementResult>; }"
         },
         {
           "classification": "advanced_export",
@@ -1371,7 +1526,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "AssuranceGateDefinition",
-          "signature": "export interface AssuranceGateDefinition { id: string; assertion_ids: string[]; triggers: AssuranceGateTrigger[]; description?: string; }"
+          "signature": "export interface AssuranceGateDefinition { id: string; assertion_ids: string[]; triggers: AssuranceGateTrigger[]; description?: string; provider_policy?: { allowed_providers: string[]; triggers: Partial<Record<AssuranceGateTrigger, { max_cost_class: AssuranceProviderCostClass; allow_network: boolean; }>>; }; }"
         },
         {
           "classification": "advanced_export",
@@ -1493,6 +1648,24 @@
           "name": "AssuranceNegativeControlCase",
           "signature": "export interface AssuranceNegativeControlCase { observed: AssuranceValue; expected: \"pass\" | \"fail\"; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "AssurancePreset",
+          "signature": "export interface AssurancePreset { id: AssurancePresetId; title: string; description: string; declarations: AssuranceDeclarationBundle; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "type",
+          "name": "AssurancePresetId",
+          "signature": "export type AssurancePresetId = (typeof ASSURANCE_PRESET_IDS)[number];"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "type",
+          "name": "AssuranceProviderCostClass",
+          "signature": "export type AssuranceProviderCostClass = \"low\" | \"medium\" | \"high\";"
+        },
         {
           "classification": "advanced_export",
           "kind": "type",
@@ -2225,6 +2398,12 @@
           "name": "collectOrderingCycles",
           "signature": "(successors: Map<string, string[]>) => string[][] | calls: (successors: Map<string, string[]>) => string[][]"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "collectOrderingStorageContradictions",
+          "signature": "(items: readonly DependencyReferenceHolder[], isTerminal?: (status: ItemStatus) => boolean, registry?: RelationshipKindRegistry) => OrderingStorageContradiction[] | calls: (items: readonly DependencyReferenceHolder[], isTerminal?: (status: ItemStatus) => boolean, registry?: RelationshipKindRegistry) => OrderingStorageContradiction[]"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -3059,6 +3238,12 @@
           "name": "CREATE_FLAG_CONTRACTS",
           "signature": "CliFlagContract[]"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "createAssurancePreset",
+          "signature": "(id: AssurancePresetId, ownerItemId: string) => AssurancePreset | calls: (id: AssurancePresetId, ownerItemId: string) => AssurancePreset"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -3069,7 +3254,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "CreateAssuranceWorkspaceContextOptions",
-          "signature": "export interface CreateAssuranceWorkspaceContextOptions { tree_id?: string; include_history?: boolean; resolve_tree?: boolean; providers?: Readonly<Record<string, AssuranceProviderResolver>>; }"
+          "signature": "export interface CreateAssuranceWorkspaceContextOptions { tree_id?: string; include_history?: boolean; resolve_tree?: boolean; providers?: Readonly<Record<string, AssuranceProviderResolver>>; provider_capabilities?: AssuranceEvaluationContext[\"provider_capabilities\"]; trigger?: string; }"
         },
         {
           "classification": "advanced_export",
@@ -3111,7 +3296,7 @@
           "classification": "supported",
           "kind": "function",
           "name": "createExtensionContributionInventory",
-          "signature": "(summary: { commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; parser_overrides: string[]; service_overrides: string[]; renderer_overrides: string[]; renderer_ownership?: ExtensionContributionInventory[\"renderer_ownership\"]; preflight_overrides: number; preflight_ownership?: ExtensionContributionInventory[\"preflight_ownership\"]; }) => ExtensionContributionInventory | calls: (summary: { commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; parser_overrides: string[]; service_overrides: string[]; renderer_overrides: string[]; renderer_ownership?: ExtensionContributionInventory[\"renderer_ownership\"]; preflight_overrides: number; preflight_ownership?: ExtensionContributionInventory[\"preflight_ownership\"]; }) => ExtensionContributionInventory"
+          "signature": "(summary: { commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; assurance_providers?: string[]; parser_overrides: string[]; service_overrides: string[]; renderer_overrides: string[]; renderer_ownership?: ExtensionContributionInventory[\"renderer_ownership\"]; preflight_overrides: number; preflight_ownership?: ExtensionContributionInventory[\"preflight_ownership\"]; }) => ExtensionContributionInventory | calls: (summary: { commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; assurance_providers?: string[]; parser_overrides: string[]; service_overrides: string[]; renderer_overrides: string[]; renderer_ownership?: ExtensionContributionInventory[\"renderer_ownership\"]; preflight_overrides: number; preflight_ownership?: ExtensionContributionInventory[\"preflight_ownership\"]; }) => ExtensionContributionInventory"
         },
         {
           "classification": "supported",
@@ -3659,6 +3844,12 @@
           "name": "DepsTreeNode",
           "signature": "export interface DepsTreeNode { id: string; title?: string; type?: ItemType; status?: ItemStatus; via?: string; missing: boolean; cycle: boolean; truncated?: boolean; collapsed?: boolean; dependencies: DepsTreeNode[]; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "deriveAssuranceProposals",
+          "signature": "(context: AssuranceEvaluationContext, ownerItemId: string) => Promise<AssuranceDerivedProposal[]> | calls: (context: AssuranceEvaluationContext, ownerItemId: string) => Promise<AssuranceDerivedProposal[]>"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -4233,7 +4424,7 @@
           "classification": "supported",
           "kind": "value",
           "name": "EXTENSION_CAPABILITY_REGISTRATION_SURFACES",
-          "signature": "{ readonly commands: readonly [\"registerCommand\", \"command override\", \"command handler\"]; readonly renderers: readonly [\"registerRenderer\"]; readonly hooks: readonly [\"hooks.beforeCommand\", \"hooks.beforeMutation\", \"hooks.afterCommand\", \"hooks.onWrite\", \"hooks.onRead\", \"hooks.onIndex\"]; readonly schema: readonly [\"registerFlags\", \"registerItemFields\", \"registerItemTypes\", \"registerRelationshipKinds\", \"registerMigration\", \"registerProfile\"]; readonly importers: readonly [\"registerImporter\", \"registerExporter\"]; readonly search: readonly [\"registerSearchProvider\", \"registerVectorStoreAdapter\"]; readonly parser: readonly [\"registerParser\"]; readonly preflight: readonly [\"registerPreflight\"]; readonly services: readonly [\"registerService\"]; }"
+          "signature": "{ readonly commands: readonly [\"registerCommand\", \"command override\", \"command handler\"]; readonly renderers: readonly [\"registerRenderer\"]; readonly hooks: readonly [\"hooks.beforeCommand\", \"hooks.beforeMutation\", \"hooks.afterCommand\", \"hooks.onWrite\", \"hooks.onRead\", \"hooks.onIndex\"]; readonly schema: readonly [\"registerFlags\", \"registerItemFields\", \"registerItemTypes\", \"registerRelationshipKinds\", \"registerMigration\", \"registerProfile\"]; readonly importers: readonly [\"registerImporter\", \"registerExporter\"]; readonly search: readonly [\"registerSearchProvider\", \"registerVectorStoreAdapter\"]; readonly parser: readonly [\"registerParser\"]; readonly preflight: readonly [\"registerPreflight\"]; readonly services: readonly [\"registerService\", \"registerAssuranceMeasurementProvider\"]; }"
         },
         {
           "classification": "contract_data",
@@ -4305,7 +4496,7 @@
           "classification": "supported",
           "kind": "value",
           "name": "EXTENSION_POLICY_SURFACES",
-          "signature": "readonly [\"commands.override\", \"commands.handler\", \"hooks.beforecommand\", \"hooks.beforemutation\", \"hooks.aftercommand\", \"hooks.onwrite\", \"hooks.onread\", \"hooks.onindex\", \"schema.flags\", \"schema.itemfields\", \"schema.itemtypes\", \"schema.relationshipkinds\", \"schema.migrations\", \"schema.profiles\", \"parser.override\", \"preflight.override\", \"services.override\", \"renderers.override\", \"importers.importer\", \"importers.exporter\", \"search.provider\", \"search.vectorstore\"]"
+          "signature": "readonly [\"commands.override\", \"commands.handler\", \"hooks.beforecommand\", \"hooks.beforemutation\", \"hooks.aftercommand\", \"hooks.onwrite\", \"hooks.onread\", \"hooks.onindex\", \"schema.flags\", \"schema.itemfields\", \"schema.itemtypes\", \"schema.relationshipkinds\", \"schema.migrations\", \"schema.profiles\", \"parser.override\", \"preflight.override\", \"services.override\", \"renderers.override\", \"importers.importer\", \"importers.exporter\", \"search.provider\", \"search.vectorstore\", \"services.assuranceprovider\"]"
         },
         {
           "classification": "contract_data",
@@ -4353,19 +4544,19 @@
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionActivationSummary",
-          "signature": "export interface ExtensionActivationSummary { capabilities: ExtensionCapability[]; commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; parser_overrides: string[]; service_overrides: ExtensionServiceName[]; renderer_overrides: OutputRendererFormat[]; renderer_ownership?: Array<{ format: OutputRendererFormat; commands: string[]; result_discriminator: boolean; }>; preflight_overrides: number; preflight_ownership: Array<{ commands: string[]; }>; }"
+          "signature": "export interface ExtensionActivationSummary { capabilities: ExtensionCapability[]; commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; assurance_providers?: string[]; parser_overrides: string[]; service_overrides: ExtensionServiceName[]; renderer_overrides: OutputRendererFormat[]; renderer_ownership?: Array<{ format: OutputRendererFormat; commands: string[]; result_discriminator: boolean; }>; preflight_overrides: number; preflight_ownership: Array<{ commands: string[]; }>; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionApi",
-          "signature": "export interface ExtensionApi { readonly extension: ExtensionSelfIdentity; registerCommand(command: string, override: CommandOverride): void; registerCommand(definition: CommandDefinition): void; registerParser(command: string, override: ParserOverride): void; registerPreflight(override: PreflightOverride | ScopedPreflightOverrideDefinition): void; registerService(service: ExtensionServiceName, override: ServiceOverride): void; registerFlags(targetCommand: string, flags: FlagDefinition[]): void; registerItemFields(fields: SchemaFieldDefinition[]): void; registerItemTypes(types: SchemaItemTypeDefinition[]): void; registerRelationshipKinds(definitions: RelationshipKindDefinition[]): void; registerMigration(definition: SchemaMigrationDefinition): void; registerProfile(profile: ProjectProfileRegistrationInput): void; registerRenderer(format: OutputRendererFormat, renderer: RendererOverride, ownership?: RendererOverrideOwnership): void; registerImporter(name: string, importer: Importer, options?: ImportExportRegistrationOptions): void; registerExporter(name: string, exporter: Exporter, options?: ImportExportRegistrationOptions): void; registerSearchProvider(provider: SearchProviderDefinition): void; registerVectorStoreAdapter(adapter: VectorStoreAdapterDefinition): void; hooks: { beforeCommand(hook: BeforeCommandHook): void; beforeMutation(hook: BeforeMutationHook): void; afterCommand(hook: AfterCommandHook): void; onWrite(hook: OnWriteHook): void; onRead(hook: OnReadHook): void; onIndex(hook: OnIndexHook): void; }; }"
+          "signature": "export interface ExtensionApi { readonly extension: ExtensionSelfIdentity; registerCommand(command: string, override: CommandOverride): void; registerCommand(definition: CommandDefinition): void; registerParser(command: string, override: ParserOverride): void; registerPreflight(override: PreflightOverride | ScopedPreflightOverrideDefinition): void; registerService(service: ExtensionServiceName, override: ServiceOverride): void; registerFlags(targetCommand: string, flags: FlagDefinition[]): void; registerItemFields(fields: SchemaFieldDefinition[]): void; registerItemTypes(types: SchemaItemTypeDefinition[]): void; registerRelationshipKinds(definitions: RelationshipKindDefinition[]): void; registerMigration(definition: SchemaMigrationDefinition): void; registerProfile(profile: ProjectProfileRegistrationInput): void; registerRenderer(format: OutputRendererFormat, renderer: RendererOverride, ownership?: RendererOverrideOwnership): void; registerImporter(name: string, importer: Importer, options?: ImportExportRegistrationOptions): void; registerExporter(name: string, exporter: Exporter, options?: ImportExportRegistrationOptions): void; registerSearchProvider(provider: SearchProviderDefinition): void; registerVectorStoreAdapter(adapter: VectorStoreAdapterDefinition): void; registerAssuranceMeasurementProvider(provider: AssuranceMeasurementProviderDefinition): void; hooks: { beforeCommand(hook: BeforeCommandHook): void; beforeMutation(hook: BeforeMutationHook): void; afterCommand(hook: AfterCommandHook): void; onWrite(hook: OnWriteHook): void; onRead(hook: OnReadHook): void; onIndex(hook: OnIndexHook): void; }; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionBlueprint",
-          "signature": "export interface ExtensionBlueprint { manifest?: ExtensionManifest; commands?: CommandDefinition[]; commandOverrides?: Record<string, CommandOverride>; flags?: Record<string, FlagDefinition[]>; parsers?: Record<string, ParserOverride>; renderers?: Partial<Record<OutputRendererFormat, RendererOverride | ScopedRendererOverrideDefinition>>; services?: Partial<Record<ExtensionServiceName, ServiceOverride>>; preflights?: Array<PreflightOverride | ScopedPreflightOverrideDefinition>; itemTypes?: SchemaItemTypeDefinition[]; itemFields?: SchemaFieldDefinition[]; relationshipKinds?: RelationshipKindDefinition[]; migrations?: SchemaMigrationDefinition[]; profiles?: ProjectProfileRegistrationInput[]; searchProviders?: SearchProviderDefinition[]; vectorStoreAdapters?: VectorStoreAdapterDefinition[]; importers?: ExtensionBlueprintImporter[]; exporters?: ExtensionBlueprintExporter[]; hooks?: ExtensionBlueprintHooks; activate?: (api: ExtensionApi) => void | Promise<void>; deactivate?: () => void | Promise<void>; }"
+          "signature": "export interface ExtensionBlueprint { manifest?: ExtensionManifest; commands?: CommandDefinition[]; commandOverrides?: Record<string, CommandOverride>; flags?: Record<string, FlagDefinition[]>; parsers?: Record<string, ParserOverride>; renderers?: Partial<Record<OutputRendererFormat, RendererOverride | ScopedRendererOverrideDefinition>>; services?: Partial<Record<ExtensionServiceName, ServiceOverride>>; preflights?: Array<PreflightOverride | ScopedPreflightOverrideDefinition>; itemTypes?: SchemaItemTypeDefinition[]; itemFields?: SchemaFieldDefinition[]; relationshipKinds?: RelationshipKindDefinition[]; migrations?: SchemaMigrationDefinition[]; profiles?: ProjectProfileRegistrationInput[]; searchProviders?: SearchProviderDefinition[]; vectorStoreAdapters?: VectorStoreAdapterDefinition[]; assuranceProviders?: AssuranceMeasurementProviderDefinition[]; importers?: ExtensionBlueprintImporter[]; exporters?: ExtensionBlueprintExporter[]; hooks?: ExtensionBlueprintHooks; activate?: (api: ExtensionApi) => void | Promise<void>; deactivate?: () => void | Promise<void>; }"
         },
         {
           "classification": "supported",
@@ -4485,7 +4676,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionContributionInventory",
-          "signature": "export interface ExtensionContributionInventory { schema_version: 1; commands?: string[]; command_overrides?: string[]; command_handlers?: string[]; hooks?: string[]; flag_commands?: string[]; item_types?: string[]; item_fields?: string[]; relationship_kinds?: string[]; migrations?: string[]; profiles?: string[]; importers?: string[]; exporters?: string[]; search_providers?: string[]; vector_store_adapters?: string[]; parser_overrides?: string[]; service_overrides?: string[]; renderer_overrides?: string[]; renderer_ownership?: Array<{ format: OutputRendererFormat; commands: string[]; result_discriminator: boolean; }>; preflight_overrides?: number; preflight_ownership?: Array<{ commands: string[]; }>; }"
+          "signature": "export interface ExtensionContributionInventory { schema_version: 1; commands?: string[]; command_overrides?: string[]; command_handlers?: string[]; hooks?: string[]; flag_commands?: string[]; item_types?: string[]; item_fields?: string[]; relationship_kinds?: string[]; migrations?: string[]; profiles?: string[]; importers?: string[]; exporters?: string[]; search_providers?: string[]; vector_store_adapters?: string[]; assurance_providers?: string[]; parser_overrides?: string[]; service_overrides?: string[]; renderer_overrides?: string[]; renderer_ownership?: Array<{ format: OutputRendererFormat; commands: string[]; result_discriminator: boolean; }>; preflight_overrides?: number; preflight_ownership?: Array<{ commands: string[]; }>; }"
         },
         {
           "classification": "advanced_export",
@@ -4749,7 +4940,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionRegistrationRegistry",
-          "signature": "export interface ExtensionRegistrationRegistry { commands: RegisteredExtensionCommandDefinition[]; flags: RegisteredExtensionFlagDefinitions[]; item_fields: RegisteredExtensionSchemaFieldDefinitions[]; item_types: RegisteredExtensionSchemaItemTypeDefinitions[]; relationship_kinds: RegisteredExtensionRelationshipKindDefinitions[]; migrations: RegisteredExtensionSchemaMigrationDefinition[]; profiles: RegisteredExtensionProjectProfile[]; importers: RegisteredExtensionImporter[]; exporters: RegisteredExtensionExporter[]; search_providers: RegisteredExtensionSearchProvider[]; vector_store_adapters: RegisteredExtensionVectorStoreAdapter[]; }"
+          "signature": "export interface ExtensionRegistrationRegistry { commands: RegisteredExtensionCommandDefinition[]; flags: RegisteredExtensionFlagDefinitions[]; item_fields: RegisteredExtensionSchemaFieldDefinitions[]; item_types: RegisteredExtensionSchemaItemTypeDefinitions[]; relationship_kinds: RegisteredExtensionRelationshipKindDefinitions[]; migrations: RegisteredExtensionSchemaMigrationDefinition[]; profiles: RegisteredExtensionProjectProfile[]; importers: RegisteredExtensionImporter[]; exporters: RegisteredExtensionExporter[]; search_providers: RegisteredExtensionSearchProvider[]; vector_store_adapters: RegisteredExtensionVectorStoreAdapter[]; assurance_providers: RegisteredExtensionAssuranceMeasurementProvider[]; }"
         },
         {
           "classification": "supported",
@@ -5057,6 +5248,12 @@
           "name": "formatDuplicateEdgeGroup",
           "signature": "(group: DuplicateRelationshipEdgeGroup) => string | calls: (group: DuplicateRelationshipEdgeGroup) => string"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "formatOrderingStorageContradiction",
+          "signature": "(contradiction: Pick<OrderingStorageContradiction, \"dependency_kind\" | \"holder_id\" | \"target_id\">) => string | calls: (contradiction: Pick<OrderingStorageContradiction, \"holder_id\" | \"target_id\" | \"dependency_kind\">) => string"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -5931,7 +6128,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "HistoryVerificationResult",
-          "signature": "export interface HistoryVerificationResult { ok: boolean; entries: number; errors: string[]; latest_after_hash?: string; current_item_hash?: string; current_matches_latest?: boolean; }"
+          "signature": "export interface HistoryVerificationResult { ok: boolean; entries: number; errors: string[]; latest_after_hash?: string; current_item_hash?: string; current_matches_latest?: boolean; workspace_state_matches_latest?: boolean; workspace_state_mismatches?: string[]; workspace_state_missing?: string[]; workspace_state_unreadable?: string[]; }"
         },
         {
           "classification": "advanced_export",
@@ -6137,6 +6334,12 @@
           "name": "InspectStaleInProgressOptions",
           "signature": "export interface InspectStaleInProgressOptions { in_progress_status?: string; threshold_hours: number; now?: Date; last_history_activity?: (item: ItemMetadata) => string | undefined; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "inspectWorkspaceHistoryState",
+          "signature": "(pmRoot: string) => Promise<WorkspaceHistoryStateAgreement> | calls: (pmRoot: string) => Promise<WorkspaceHistoryStateAgreement>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -7373,6 +7576,12 @@
           "name": "normalizeRawItemId",
           "signature": "(input: string) => string | calls: (input: string) => string"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "normalizeReadOutputIncludeModeOptions",
+          "signature": "(command: string, options: Record<string, unknown>) => void | calls: (command: string, options: Record<string, unknown>) => void"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -7499,6 +7708,12 @@
           "name": "orderingPredecessors",
           "signature": "(graph: RelationshipGraph, id: string, options?: GraphTraversalOptions) => RelationshipQueryResult<string[]> | calls: (graph: RelationshipGraph, id: string, options?: GraphTraversalOptions) => RelationshipQueryResult<string[]>"
         },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "OrderingStorageContradiction",
+          "signature": "export interface OrderingStorageContradiction { holder_id: string; target_id: string; dependency_kind: string; holder_status: ItemStatus; legacy_terminal: boolean; }"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -8271,7 +8486,7 @@
           "classification": "contract_data",
           "kind": "value",
           "name": "PM_EXTENSION_POLICY_SURFACE_CONTRACTS",
-          "signature": "readonly [\"commands.override\", \"commands.handler\", \"hooks.beforecommand\", \"hooks.beforemutation\", \"hooks.aftercommand\", \"hooks.onwrite\", \"hooks.onread\", \"hooks.onindex\", \"schema.flags\", \"schema.itemfields\", \"schema.itemtypes\", \"schema.relationshipkinds\", \"schema.migrations\", \"schema.profiles\", \"parser.override\", \"preflight.override\", \"services.override\", \"renderers.override\", \"importers.importer\", \"importers.exporter\", \"search.provider\", \"search.vectorstore\"]"
+          "signature": "readonly [\"commands.override\", \"commands.handler\", \"hooks.beforecommand\", \"hooks.beforemutation\", \"hooks.aftercommand\", \"hooks.onwrite\", \"hooks.onread\", \"hooks.onindex\", \"schema.flags\", \"schema.itemfields\", \"schema.itemtypes\", \"schema.relationshipkinds\", \"schema.migrations\", \"schema.profiles\", \"parser.override\", \"preflight.override\", \"services.override\", \"renderers.override\", \"importers.importer\", \"importers.exporter\", \"search.provider\", \"search.vectorstore\", \"services.assuranceprovider\"]"
         },
         {
           "classification": "contract_data",
@@ -8439,7 +8654,7 @@
           "classification": "contract_data",
           "kind": "value",
           "name": "PM_READ_OUTPUT_SURFACES",
-          "signature": "readonly [\"list\", \"context\", \"search\", \"get\", \"next\", \"health\", \"deps\", \"graph\", \"history\", \"activity\", \"validate\", \"events\", \"contracts\", \"comments\", \"notes\", \"files\", \"docs\", \"stats\", \"aggregate\", \"package-manage\"]"
+          "signature": "readonly [\"list\", \"context\", \"search\", \"get\", \"next\", \"health\", \"deps\", \"graph\", \"history\", \"activity\", \"validate\", \"events\", \"contracts\", \"comments\", \"notes\", \"files\", \"docs\", \"stats\", \"aggregate\", \"package-manage\", \"comments-audit\", \"assurance\"]"
         },
         {
           "classification": "advanced_export",
@@ -8943,25 +9158,25 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputLegacyAlias",
-          "signature": "export interface PmReadOutputLegacyAlias { flag: string; migration_hint: string; visibility: \"hidden_alias\"; }"
+          "signature": "export interface PmReadOutputLegacyAlias { flag: string; semantics?: \"replacement\" | \"behavior_preserving\"; migration_hint: string; visibility: \"hidden_alias\"; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputOptions",
-          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
+          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number | \"unbounded\"; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputReceipt",
-          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; result_omitted: boolean; }"
+          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; budget_source?: \"default\"; budget_tokens?: number; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; compacted_row_paths?: string[]; result_omitted: boolean; omitted_result_estimated_tokens?: number; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "PmReadOutputResult",
-          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
+          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; output_budget_truncation?: PmReadOutputTruncationDisclosure; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
         },
         {
           "classification": "supported",
@@ -9005,6 +9220,12 @@
           "name": "PmReadOutputSurfaceContract",
           "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmReadOutputTruncationDisclosure",
+          "signature": "export interface PmReadOutputTruncationDisclosure { reason: \"output_budget_reached\"; budget_source: PmReadOutputDimensionSource | \"session\"; budget_tokens: number; overridden_dimensions: PmReadOutputDimension[]; compacted_row_paths: string[]; restore_with: string; }"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -9039,7 +9260,7 @@
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmResolvedReadOutputDimensions",
-          "signature": "export interface PmResolvedReadOutputDimensions { command: PmReadOutputSurface; include?: PmResolvedReadOutputDimension<string[]>; amount?: PmResolvedReadOutputDimension<number | \"unbounded\">; cost?: PmResolvedReadOutputDimension<number>; encoding?: PmResolvedReadOutputDimension<\"json\" | \"toon\" | \"stream\">; legacy_aliases_used: string[]; migration_hints: string[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
+          "signature": "export interface PmResolvedReadOutputDimensions { command: PmReadOutputSurface; include?: PmResolvedReadOutputDimension<string[]>; amount?: PmResolvedReadOutputDimension<number | \"unbounded\">; cost?: PmResolvedReadOutputDimension<number | \"unbounded\">; encoding?: PmResolvedReadOutputDimension<\"json\" | \"toon\" | \"stream\">; legacy_aliases_used: string[]; migration_hints: string[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
         },
         {
           "classification": "supported",
@@ -9479,6 +9700,12 @@
           "name": "projectValidateCounts",
           "signature": "(result: ValidateResult) => ValidateCountsResult | calls: (result: ValidateResult) => ValidateCountsResult"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "promoteAssuranceAssertion",
+          "signature": "(pmRoot: string, definition: AssuranceAssertionDefinition, enforcement: Exclude<AssuranceEnforcement, \"observe\">, options?: { author?: string; message?: string; }) => Promise<Awaited<ReturnType<typeof putAssuranceDeclaration>>> | calls: (pmRoot: string, definition: AssuranceAssertionDefinition, enforcement: Exclude<AssuranceEnforcement, \"observe\">, options?: { author?: string; message?: string; }) => Promise<Awaited<ReturnType<typeof putAssuranceDeclaration>>>"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -9515,6 +9742,12 @@
           "name": "putAssuranceDeclaration",
           "signature": "(pmRoot: string, kind: AssuranceDeclarationKind, definition: AssuranceDeclaration, options?: AssuranceMutationOptions) => Promise<AssuranceMutationReceipt> | calls: (pmRoot: string, kind: AssuranceDeclarationKind, definition: AssuranceDeclaration, options?: AssuranceMutationOptions) => Promise<AssuranceMutationReceipt>"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "putAssuranceDeclarationBundle",
+          "signature": "(pmRoot: string, bundle: AssuranceDeclarationBundle, options?: AssuranceMutationOptions) => Promise<AssuranceBundleMutationReceipt> | calls: (pmRoot: string, bundle: AssuranceDeclarationBundle, options?: AssuranceMutationOptions) => Promise<AssuranceBundleMutationReceipt>"
+        },
         {
           "classification": "supported",
           "kind": "value",
@@ -9671,6 +9904,18 @@
           "name": "readLocatedItem",
           "signature": "(item: LocatedItem, options?: { schema?: RuntimeSchemaSettings; extensionFieldNames?: readonly string[]; warnings?: string[]; }) => Promise<{ raw: string; document: ItemDocument; }> | calls: (item: LocatedItem, options?: { schema?: RuntimeSchemaSettings; extensionFieldNames?: readonly string[]; warnings?: string[]; }) => Promise<{ raw: string; document: ItemDocument; }>"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "readOutputBudgetCollections",
+          "signature": "(result: Record<string, unknown>) => PmReadOutputRowCollection[] | calls: (result: Record<string, unknown>) => PmReadOutputRowCollection[]"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "readOutputIncludeModeOptions",
+          "signature": "(command: string) => ReadonlyMap<string, string> | calls: (command: string) => ReadonlyMap<string, string>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -9779,6 +10024,12 @@
           "name": "reconcileExtensionCapabilityUsage",
           "signature": "(loaded: ReadonlyArray<{ layer: ExtensionLayer; name: string; capabilities?: readonly string[]; }>, activation: ExtensionActivationResult) => ExtensionCapabilityUsageReconciliation[] | calls: (loaded: ReadonlyArray<{ layer: ExtensionLayer; name: string; capabilities?: readonly string[]; }>, activation: ExtensionActivationResult) => ExtensionCapabilityUsageReconciliation[]"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "reconcileWorkspaceJsonHistory",
+          "signature": "(options: WorkspaceJsonReconciliationOptions) => Promise<{ changed: boolean; entry?: HistoryEntry; historyPath: string; }> | calls: (options: WorkspaceJsonReconciliationOptions) => Promise<{ changed: boolean; entry?: HistoryEntry; historyPath: string; }>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -10107,19 +10358,19 @@
           "classification": "supported",
           "kind": "interface",
           "name": "RelationshipAuditDelta",
-          "signature": "export interface RelationshipAuditDelta { baseline_saved_at: string; same_snapshot: boolean; affected_subjects_by_code: Record<string, number>; profile: { nodes: number; edges: number; active_nodes: number; missing_nodes: number; isolated_active_nodes: number; degree_leq_one_active_nodes: number; edges_by_kind: Record<string, number>; edge_share_by_kind: Record<string, number>; semantic_edges: number; semantic_edge_share: number; coverage_by_type: Record<string, RelationshipCoverageTypeProfile>; }; }"
+          "signature": "export interface RelationshipAuditDelta { baseline_saved_at: string; same_snapshot: boolean; affected_subjects_by_code: Record<string, number>; profile: { nodes: number; recorded_nodes?: number; edges: number; informative_edges?: number; redundant_edges?: number; ordering_contradiction_edges?: number; active_nodes: number; missing_nodes: number; isolated_active_nodes: number; degree_leq_one_active_nodes: number; edges_by_kind: Record<string, number>; edge_share_by_kind: Record<string, number>; semantic_edges: number; semantic_edge_share: number; coverage_by_type: Record<string, RelationshipCoverageTypeProfile>; }; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "RelationshipAuditFinding",
-          "signature": "export interface RelationshipAuditFinding { code: RelationshipAuditFindingCode; severity: RelationshipAuditSeverity; policy: string; message: string; count: number; sample: string[]; sample_truncated: boolean; remediation: string; }"
+          "signature": "export interface RelationshipAuditFinding { code: RelationshipAuditFindingCode; severity: RelationshipAuditSeverity; policy: string; message: string; count: number; sample: string[]; evidence?: string[]; sample_truncated: boolean; remediation: string; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "RelationshipAuditFindingCode",
-          "signature": "export type RelationshipAuditFindingCode = \"missing_reference_active\" | \"missing_reference_terminal\" | \"legacy_no_blocker_sentinel\" | \"ordering_cycle\" | \"legacy_ordering_cycle\" | \"duplicate_edge\" | \"legacy_duplicate_edge\" | \"duplicate_dependency_row\" | \"legacy_duplicate_dependency_row\" | \"stale_lifecycle_block\" | \"isolated_active_node\" | \"sparse_active_node\";"
+          "signature": "export type RelationshipAuditFindingCode = (typeof RELATIONSHIP_AUDIT_FINDING_CODES)[number];"
         },
         {
           "classification": "supported",
@@ -10227,7 +10478,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "RelationshipCoverageProfile",
-          "signature": "export interface RelationshipCoverageProfile { nodes: number; edges: number; edge_basis: \"deduplicated_directed\"; edges_by_kind: Record<string, number>; edge_share_by_kind: Record<string, number>; semantic_edges: number; semantic_edge_share: number; active_nodes: number; missing_nodes: number; isolated_active_nodes: number; degree_leq_one_active_nodes: number; coverage_by_type: Record<string, RelationshipCoverageTypeProfile>; }"
+          "signature": "export interface RelationshipCoverageProfile { nodes: number; recorded_nodes?: number; edges: number; informative_edges?: number; redundant_edges?: number; ordering_contradiction_edges?: number; edge_basis: \"deduplicated_directed\"; edges_by_kind: Record<string, number>; edge_share_by_kind: Record<string, number>; semantic_edges: number; semantic_edge_share: number; active_nodes: number; missing_nodes: number; isolated_active_nodes: number; degree_leq_one_active_nodes: number; coverage_by_type: Record<string, RelationshipCoverageTypeProfile>; articulation_points: number; bridge_edges: number; outcome_nodes: number; active_outcome_reachable_nodes: number; active_outcome_unreachable_nodes: number; active_outcome_reachability_basis_points: number; terminal_nodes: number; terminal_outcome_reachable_nodes: number; terminal_outcome_unreachable_nodes: number; terminal_outcome_reachability_basis_points: number; outcome_reachable_nodes: number; outcome_unreachable_nodes: number; outcome_reachability_basis_points: number; finding_subjects_by_code: Record<RelationshipAuditFindingCode, number>; }"
         },
         {
           "classification": "supported",
@@ -11195,6 +11446,12 @@
           "name": "resolveReadRowContract",
           "signature": "(command: string, result: Record<string, unknown>) => ReadRowContract | undefined | calls: (command: string, result: Record<string, unknown>) => ReadRowContract | undefined"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "resolveRecoveryCommandName",
+          "signature": "(invocationArgv: string[] | undefined) => string | undefined | calls: (invocationArgv: string[] | undefined) => string | undefined"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -11369,6 +11626,12 @@
           "name": "RestoreResult",
           "signature": "export interface RestoreResult { item: ItemMetadata; restored_from: { kind: \"version\" | \"timestamp\"; target: string; history_index: number; entry_ts: string; entry_op: string; }; changed_fields: string[]; warnings: string[]; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "restoreWorkspaceJsonFromHistory",
+          "signature": "(options: WorkspaceJsonRestoreOptions) => Promise<WorkspaceJsonRestoreResult> | calls: (options: WorkspaceJsonRestoreOptions) => Promise<WorkspaceJsonRestoreResult>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -14327,6 +14590,12 @@
           "name": "WorkspaceHistoryChange",
           "signature": "export interface WorkspaceHistoryChange { pmRoot: string; documentPath: string; before: unknown; after: unknown; op: string; idempotencyKey?: string; author: string; message?: string; lockTtlSeconds: number; lockWaitMs: number; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "WorkspaceHistoryStateAgreement",
+          "signature": "export interface WorkspaceHistoryStateAgreement { ok: boolean; document_count: number; matching_documents: string[]; mismatched_documents: string[]; missing_documents: string[]; unreadable_documents: string[]; }"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -14339,6 +14608,24 @@
           "name": "WorkspaceJsonMutationOptions",
           "signature": "export interface WorkspaceJsonMutationOptions<Result> extends Omit<WorkspaceJsonWriteOptions, \"raw\"> { mutate: (beforeRaw: string | null) => WorkspaceJsonMutation<Result> | Promise<WorkspaceJsonMutation<Result>>; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "WorkspaceJsonReconciliationOptions",
+          "signature": "export interface WorkspaceJsonReconciliationOptions extends Omit<WorkspaceJsonWriteOptions, \"raw\" | \"recordCreation\"> { authorizationDecision: string; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "WorkspaceJsonRestoreOptions",
+          "signature": "export interface WorkspaceJsonRestoreOptions extends Omit<WorkspaceJsonWriteOptions, \"raw\" | \"recordCreation\"> { targetVersion: number; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "WorkspaceJsonRestoreResult",
+          "signature": "export interface WorkspaceJsonRestoreResult { document_path: string; restored_from_version: number; changed: boolean; }"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -14403,7 +14690,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "WorkspaceRelationshipAssembly",
-          "signature": "export interface WorkspaceRelationshipAssembly { graph: RelationshipGraph; details: WorkspaceRelationshipNodeDetails[]; missingIdSet: Set<string>; dangling: DanglingDependencyReferenceSummary; duplicateRows: DuplicateDependencyRow[]; legacyAliasCounts: Record<string, number>; }"
+          "signature": "export interface WorkspaceRelationshipAssembly { graph: RelationshipGraph; details: WorkspaceRelationshipNodeDetails[]; missingIdSet: Set<string>; dangling: DanglingDependencyReferenceSummary; duplicateRows: DuplicateDependencyRow[]; orderingContradictions?: OrderingStorageContradiction[]; legacyAliasCounts: Record<string, number>; }"
         },
         {
           "classification": "supported",
@@ -14703,7 +14990,7 @@
           "classification": "supported",
           "kind": "function",
           "name": "createExtensionContributionInventory",
-          "signature": "(summary: { commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; parser_overrides: string[]; service_overrides: string[]; renderer_overrides: string[]; renderer_ownership?: ExtensionContributionInventory[\"renderer_ownership\"]; preflight_overrides: number; preflight_ownership?: ExtensionContributionInventory[\"preflight_ownership\"]; }) => ExtensionContributionInventory | calls: (summary: { commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; parser_overrides: string[]; service_overrides: string[]; renderer_overrides: string[]; renderer_ownership?: ExtensionContributionInventory[\"renderer_ownership\"]; preflight_overrides: number; preflight_ownership?: ExtensionContributionInventory[\"preflight_ownership\"]; }) => ExtensionContributionInventory"
+          "signature": "(summary: { commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; assurance_providers?: string[]; parser_overrides: string[]; service_overrides: string[]; renderer_overrides: string[]; renderer_ownership?: ExtensionContributionInventory[\"renderer_ownership\"]; preflight_overrides: number; preflight_ownership?: ExtensionContributionInventory[\"preflight_ownership\"]; }) => ExtensionContributionInventory | calls: (summary: { commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; assurance_providers?: string[]; parser_overrides: string[]; service_overrides: string[]; renderer_overrides: string[]; renderer_ownership?: ExtensionContributionInventory[\"renderer_ownership\"]; preflight_overrides: number; preflight_ownership?: ExtensionContributionInventory[\"preflight_ownership\"]; }) => ExtensionContributionInventory"
         },
         {
           "classification": "supported",
@@ -14913,7 +15200,7 @@
           "classification": "supported",
           "kind": "value",
           "name": "EXTENSION_CAPABILITY_REGISTRATION_SURFACES",
-          "signature": "{ readonly commands: readonly [\"registerCommand\", \"command override\", \"command handler\"]; readonly renderers: readonly [\"registerRenderer\"]; readonly hooks: readonly [\"hooks.beforeCommand\", \"hooks.beforeMutation\", \"hooks.afterCommand\", \"hooks.onWrite\", \"hooks.onRead\", \"hooks.onIndex\"]; readonly schema: readonly [\"registerFlags\", \"registerItemFields\", \"registerItemTypes\", \"registerRelationshipKinds\", \"registerMigration\", \"registerProfile\"]; readonly importers: readonly [\"registerImporter\", \"registerExporter\"]; readonly search: readonly [\"registerSearchProvider\", \"registerVectorStoreAdapter\"]; readonly parser: readonly [\"registerParser\"]; readonly preflight: readonly [\"registerPreflight\"]; readonly services: readonly [\"registerService\"]; }"
+          "signature": "{ readonly commands: readonly [\"registerCommand\", \"command override\", \"command handler\"]; readonly renderers: readonly [\"registerRenderer\"]; readonly hooks: readonly [\"hooks.beforeCommand\", \"hooks.beforeMutation\", \"hooks.afterCommand\", \"hooks.onWrite\", \"hooks.onRead\", \"hooks.onIndex\"]; readonly schema: readonly [\"registerFlags\", \"registerItemFields\", \"registerItemTypes\", \"registerRelationshipKinds\", \"registerMigration\", \"registerProfile\"]; readonly importers: readonly [\"registerImporter\", \"registerExporter\"]; readonly search: readonly [\"registerSearchProvider\", \"registerVectorStoreAdapter\"]; readonly parser: readonly [\"registerParser\"]; readonly preflight: readonly [\"registerPreflight\"]; readonly services: readonly [\"registerService\", \"registerAssuranceMeasurementProvider\"]; }"
         },
         {
           "classification": "supported",
@@ -14925,7 +15212,7 @@
           "classification": "supported",
           "kind": "value",
           "name": "EXTENSION_POLICY_SURFACES",
-          "signature": "readonly [\"commands.override\", \"commands.handler\", \"hooks.beforecommand\", \"hooks.beforemutation\", \"hooks.aftercommand\", \"hooks.onwrite\", \"hooks.onread\", \"hooks.onindex\", \"schema.flags\", \"schema.itemfields\", \"schema.itemtypes\", \"schema.relationshipkinds\", \"schema.migrations\", \"schema.profiles\", \"parser.override\", \"preflight.override\", \"services.override\", \"renderers.override\", \"importers.importer\", \"importers.exporter\", \"search.provider\", \"search.vectorstore\"]"
+          "signature": "readonly [\"commands.override\", \"commands.handler\", \"hooks.beforecommand\", \"hooks.beforemutation\", \"hooks.aftercommand\", \"hooks.onwrite\", \"hooks.onread\", \"hooks.onindex\", \"schema.flags\", \"schema.itemfields\", \"schema.itemtypes\", \"schema.relationshipkinds\", \"schema.migrations\", \"schema.profiles\", \"parser.override\", \"preflight.override\", \"services.override\", \"renderers.override\", \"importers.importer\", \"importers.exporter\", \"search.provider\", \"search.vectorstore\", \"services.assuranceprovider\"]"
         },
         {
           "classification": "supported",
@@ -14949,13 +15236,13 @@
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionApi",
-          "signature": "export interface ExtensionApi { readonly extension: ExtensionSelfIdentity; registerCommand(command: string, override: CommandOverride): void; registerCommand(definition: CommandDefinition): void; registerParser(command: string, override: ParserOverride): void; registerPreflight(override: PreflightOverride | ScopedPreflightOverrideDefinition): void; registerService(service: ExtensionServiceName, override: ServiceOverride): void; registerFlags(targetCommand: string, flags: FlagDefinition[]): void; registerItemFields(fields: SchemaFieldDefinition[]): void; registerItemTypes(types: SchemaItemTypeDefinition[]): void; registerRelationshipKinds(definitions: RelationshipKindDefinition[]): void; registerMigration(definition: SchemaMigrationDefinition): void; registerProfile(profile: ProjectProfileRegistrationInput): void; registerRenderer(format: OutputRendererFormat, renderer: RendererOverride, ownership?: RendererOverrideOwnership): void; registerImporter(name: string, importer: Importer, options?: ImportExportRegistrationOptions): void; registerExporter(name: string, exporter: Exporter, options?: ImportExportRegistrationOptions): void; registerSearchProvider(provider: SearchProviderDefinition): void; registerVectorStoreAdapter(adapter: VectorStoreAdapterDefinition): void; hooks: { beforeCommand(hook: BeforeCommandHook): void; beforeMutation(hook: BeforeMutationHook): void; afterCommand(hook: AfterCommandHook): void; onWrite(hook: OnWriteHook): void; onRead(hook: OnReadHook): void; onIndex(hook: OnIndexHook): void; }; }"
+          "signature": "export interface ExtensionApi { readonly extension: ExtensionSelfIdentity; registerCommand(command: string, override: CommandOverride): void; registerCommand(definition: CommandDefinition): void; registerParser(command: string, override: ParserOverride): void; registerPreflight(override: PreflightOverride | ScopedPreflightOverrideDefinition): void; registerService(service: ExtensionServiceName, override: ServiceOverride): void; registerFlags(targetCommand: string, flags: FlagDefinition[]): void; registerItemFields(fields: SchemaFieldDefinition[]): void; registerItemTypes(types: SchemaItemTypeDefinition[]): void; registerRelationshipKinds(definitions: RelationshipKindDefinition[]): void; registerMigration(definition: SchemaMigrationDefinition): void; registerProfile(profile: ProjectProfileRegistrationInput): void; registerRenderer(format: OutputRendererFormat, renderer: RendererOverride, ownership?: RendererOverrideOwnership): void; registerImporter(name: string, importer: Importer, options?: ImportExportRegistrationOptions): void; registerExporter(name: string, exporter: Exporter, options?: ImportExportRegistrationOptions): void; registerSearchProvider(provider: SearchProviderDefinition): void; registerVectorStoreAdapter(adapter: VectorStoreAdapterDefinition): void; registerAssuranceMeasurementProvider(provider: AssuranceMeasurementProviderDefinition): void; hooks: { beforeCommand(hook: BeforeCommandHook): void; beforeMutation(hook: BeforeMutationHook): void; afterCommand(hook: AfterCommandHook): void; onWrite(hook: OnWriteHook): void; onRead(hook: OnReadHook): void; onIndex(hook: OnIndexHook): void; }; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionBlueprint",
-          "signature": "export interface ExtensionBlueprint { manifest?: ExtensionManifest; commands?: CommandDefinition[]; commandOverrides?: Record<string, CommandOverride>; flags?: Record<string, FlagDefinition[]>; parsers?: Record<string, ParserOverride>; renderers?: Partial<Record<OutputRendererFormat, RendererOverride | ScopedRendererOverrideDefinition>>; services?: Partial<Record<ExtensionServiceName, ServiceOverride>>; preflights?: Array<PreflightOverride | ScopedPreflightOverrideDefinition>; itemTypes?: SchemaItemTypeDefinition[]; itemFields?: SchemaFieldDefinition[]; relationshipKinds?: RelationshipKindDefinition[]; migrations?: SchemaMigrationDefinition[]; profiles?: ProjectProfileRegistrationInput[]; searchProviders?: SearchProviderDefinition[]; vectorStoreAdapters?: VectorStoreAdapterDefinition[]; importers?: ExtensionBlueprintImporter[]; exporters?: ExtensionBlueprintExporter[]; hooks?: ExtensionBlueprintHooks; activate?: (api: ExtensionApi) => void | Promise<void>; deactivate?: () => void | Promise<void>; }"
+          "signature": "export interface ExtensionBlueprint { manifest?: ExtensionManifest; commands?: CommandDefinition[]; commandOverrides?: Record<string, CommandOverride>; flags?: Record<string, FlagDefinition[]>; parsers?: Record<string, ParserOverride>; renderers?: Partial<Record<OutputRendererFormat, RendererOverride | ScopedRendererOverrideDefinition>>; services?: Partial<Record<ExtensionServiceName, ServiceOverride>>; preflights?: Array<PreflightOverride | ScopedPreflightOverrideDefinition>; itemTypes?: SchemaItemTypeDefinition[]; itemFields?: SchemaFieldDefinition[]; relationshipKinds?: RelationshipKindDefinition[]; migrations?: SchemaMigrationDefinition[]; profiles?: ProjectProfileRegistrationInput[]; searchProviders?: SearchProviderDefinition[]; vectorStoreAdapters?: VectorStoreAdapterDefinition[]; assuranceProviders?: AssuranceMeasurementProviderDefinition[]; importers?: ExtensionBlueprintImporter[]; exporters?: ExtensionBlueprintExporter[]; hooks?: ExtensionBlueprintHooks; activate?: (api: ExtensionApi) => void | Promise<void>; deactivate?: () => void | Promise<void>; }"
         },
         {
           "classification": "supported",
@@ -15033,7 +15320,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionContributionInventory",
-          "signature": "export interface ExtensionContributionInventory { schema_version: 1; commands?: string[]; command_overrides?: string[]; command_handlers?: string[]; hooks?: string[]; flag_commands?: string[]; item_types?: string[]; item_fields?: string[]; relationship_kinds?: string[]; migrations?: string[]; profiles?: string[]; importers?: string[]; exporters?: string[]; search_providers?: string[]; vector_store_adapters?: string[]; parser_overrides?: string[]; service_overrides?: string[]; renderer_overrides?: string[]; renderer_ownership?: Array<{ format: OutputRendererFormat; commands: string[]; result_discriminator: boolean; }>; preflight_overrides?: number; preflight_ownership?: Array<{ commands: string[]; }>; }"
+          "signature": "export interface ExtensionContributionInventory { schema_version: 1; commands?: string[]; command_overrides?: string[]; command_handlers?: string[]; hooks?: string[]; flag_commands?: string[]; item_types?: string[]; item_fields?: string[]; relationship_kinds?: string[]; migrations?: string[]; profiles?: string[]; importers?: string[]; exporters?: string[]; search_providers?: string[]; vector_store_adapters?: string[]; assurance_providers?: string[]; parser_overrides?: string[]; service_overrides?: string[]; renderer_overrides?: string[]; renderer_ownership?: Array<{ format: OutputRendererFormat; commands: string[]; result_discriminator: boolean; }>; preflight_overrides?: number; preflight_ownership?: Array<{ commands: string[]; }>; }"
         },
         {
           "classification": "supported",
@@ -15201,7 +15488,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionRegistrationRegistry",
-          "signature": "export interface ExtensionRegistrationRegistry { commands: RegisteredExtensionCommandDefinition[]; flags: RegisteredExtensionFlagDefinitions[]; item_fields: RegisteredExtensionSchemaFieldDefinitions[]; item_types: RegisteredExtensionSchemaItemTypeDefinitions[]; relationship_kinds: RegisteredExtensionRelationshipKindDefinitions[]; migrations: RegisteredExtensionSchemaMigrationDefinition[]; profiles: RegisteredExtensionProjectProfile[]; importers: RegisteredExtensionImporter[]; exporters: RegisteredExtensionExporter[]; search_providers: RegisteredExtensionSearchProvider[]; vector_store_adapters: RegisteredExtensionVectorStoreAdapter[]; }"
+          "signature": "export interface ExtensionRegistrationRegistry { commands: RegisteredExtensionCommandDefinition[]; flags: RegisteredExtensionFlagDefinitions[]; item_fields: RegisteredExtensionSchemaFieldDefinitions[]; item_types: RegisteredExtensionSchemaItemTypeDefinitions[]; relationship_kinds: RegisteredExtensionRelationshipKindDefinitions[]; migrations: RegisteredExtensionSchemaMigrationDefinition[]; profiles: RegisteredExtensionProjectProfile[]; importers: RegisteredExtensionImporter[]; exporters: RegisteredExtensionExporter[]; search_providers: RegisteredExtensionSearchProvider[]; vector_store_adapters: RegisteredExtensionVectorStoreAdapter[]; assurance_providers: RegisteredExtensionAssuranceMeasurementProvider[]; }"
         },
         {
           "classification": "supported",
@@ -15989,6 +16276,12 @@
           "name": "applyReadOutputDimensions",
           "signature": "<Result extends Record<string, unknown>>(command: string, options: Record<string, unknown>, result: Result) => PmReadOutputResult<Result> | calls: <Result extends Record<string, unknown>>(command: string, options: Record<string, unknown>, result: Result) => PmReadOutputResult<Result>"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "applyReadOutputIncludeModes",
+          "signature": "(command: string, includeValue: unknown, commandOptions: Record<string, unknown>) => { selectors: string[]; modes: string[]; } | calls: (command: string, includeValue: unknown, commandOptions: Record<string, unknown>) => { selectors: string[]; modes: string[]; }"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -16589,6 +16882,12 @@
           "name": "NEXT_FLAG_CONTRACTS",
           "signature": "CliFlagContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "normalizeReadOutputIncludeModeOptions",
+          "signature": "(command: string, options: Record<string, unknown>) => void | calls: (command: string, options: Record<string, unknown>) => void"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -16713,7 +17012,7 @@
           "classification": "contract_data",
           "kind": "value",
           "name": "PM_EXTENSION_POLICY_SURFACE_CONTRACTS",
-          "signature": "readonly [\"commands.override\", \"commands.handler\", \"hooks.beforecommand\", \"hooks.beforemutation\", \"hooks.aftercommand\", \"hooks.onwrite\", \"hooks.onread\", \"hooks.onindex\", \"schema.flags\", \"schema.itemfields\", \"schema.itemtypes\", \"schema.relationshipkinds\", \"schema.migrations\", \"schema.profiles\", \"parser.override\", \"preflight.override\", \"services.override\", \"renderers.override\", \"importers.importer\", \"importers.exporter\", \"search.provider\", \"search.vectorstore\"]"
+          "signature": "readonly [\"commands.override\", \"commands.handler\", \"hooks.beforecommand\", \"hooks.beforemutation\", \"hooks.aftercommand\", \"hooks.onwrite\", \"hooks.onread\", \"hooks.onindex\", \"schema.flags\", \"schema.itemfields\", \"schema.itemtypes\", \"schema.relationshipkinds\", \"schema.migrations\", \"schema.profiles\", \"parser.override\", \"preflight.override\", \"services.override\", \"renderers.override\", \"importers.importer\", \"importers.exporter\", \"search.provider\", \"search.vectorstore\", \"services.assuranceprovider\"]"
         },
         {
           "classification": "contract_data",
@@ -16791,7 +17090,7 @@
           "classification": "contract_data",
           "kind": "value",
           "name": "PM_READ_OUTPUT_SURFACES",
-          "signature": "readonly [\"list\", \"context\", \"search\", \"get\", \"next\", \"health\", \"deps\", \"graph\", \"history\", \"activity\", \"validate\", \"events\", \"contracts\", \"comments\", \"notes\", \"files\", \"docs\", \"stats\", \"aggregate\", \"package-manage\"]"
+          "signature": "readonly [\"list\", \"context\", \"search\", \"get\", \"next\", \"health\", \"deps\", \"graph\", \"history\", \"activity\", \"validate\", \"events\", \"contracts\", \"comments\", \"notes\", \"files\", \"docs\", \"stats\", \"aggregate\", \"package-manage\", \"comments-audit\", \"assurance\"]"
         },
         {
           "classification": "contract_data",
@@ -17115,25 +17414,25 @@
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmReadOutputLegacyAlias",
-          "signature": "export interface PmReadOutputLegacyAlias { flag: string; migration_hint: string; visibility: \"hidden_alias\"; }"
+          "signature": "export interface PmReadOutputLegacyAlias { flag: string; semantics?: \"replacement\" | \"behavior_preserving\"; migration_hint: string; visibility: \"hidden_alias\"; }"
         },
         {
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmReadOutputOptions",
-          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
+          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number | \"unbounded\"; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
         },
         {
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmReadOutputReceipt",
-          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; result_omitted: boolean; }"
+          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; budget_source?: \"default\"; budget_tokens?: number; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; compacted_row_paths?: string[]; result_omitted: boolean; omitted_result_estimated_tokens?: number; }"
         },
         {
           "classification": "contract_data",
           "kind": "type",
           "name": "PmReadOutputResult",
-          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
+          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; output_budget_truncation?: PmReadOutputTruncationDisclosure; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
         },
         {
           "classification": "contract_data",
@@ -17165,6 +17464,12 @@
           "name": "PmReadOutputSurfaceContract",
           "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmReadOutputTruncationDisclosure",
+          "signature": "export interface PmReadOutputTruncationDisclosure { reason: \"output_budget_reached\"; budget_source: PmReadOutputDimensionSource | \"session\"; budget_tokens: number; overridden_dimensions: PmReadOutputDimension[]; compacted_row_paths: string[]; restore_with: string; }"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -17181,7 +17486,7 @@
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmResolvedReadOutputDimensions",
-          "signature": "export interface PmResolvedReadOutputDimensions { command: PmReadOutputSurface; include?: PmResolvedReadOutputDimension<string[]>; amount?: PmResolvedReadOutputDimension<number | \"unbounded\">; cost?: PmResolvedReadOutputDimension<number>; encoding?: PmResolvedReadOutputDimension<\"json\" | \"toon\" | \"stream\">; legacy_aliases_used: string[]; migration_hints: string[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
+          "signature": "export interface PmResolvedReadOutputDimensions { command: PmReadOutputSurface; include?: PmResolvedReadOutputDimension<string[]>; amount?: PmResolvedReadOutputDimension<number | \"unbounded\">; cost?: PmResolvedReadOutputDimension<number | \"unbounded\">; encoding?: PmResolvedReadOutputDimension<\"json\" | \"toon\" | \"stream\">; legacy_aliases_used: string[]; migration_hints: string[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
         },
         {
           "classification": "contract_data",
@@ -17231,6 +17536,12 @@
           "name": "readFirstValueFromCommanderOptions",
           "signature": "(options: Record<string, unknown>, contract: CommanderOptionAliasContract) => unknown | calls: (options: Record<string, unknown>, contract: CommanderOptionAliasContract) => unknown"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "readOutputIncludeModeOptions",
+          "signature": "(command: string) => ReadonlyMap<string, string> | calls: (command: string) => ReadonlyMap<string, string>"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
@@ -17769,13 +18080,13 @@
           "classification": "supported",
           "kind": "interface",
           "name": "AssuranceActionInput",
-          "signature": "export interface AssuranceActionInput { action: string; kind?: string; id?: string; definition?: unknown; trigger?: string; tree?: string; gate?: string; limit?: number | string; dry_run?: boolean; fullChangedFields?: boolean; idOnly?: boolean; author?: string; message?: string; }"
+          "signature": "export interface AssuranceActionInput { action: string; kind?: string; id?: string; definition?: unknown; trigger?: string; tree?: string; gate?: string; limit?: number | string; dry_run?: boolean; fullChangedFields?: boolean; idOnly?: boolean; author?: string; message?: string; preset?: string; owner?: string; apply?: boolean; enforcement?: string; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "AssuranceActionResult",
-          "signature": "export type AssuranceActionResult = AssuranceDeclaration | AssuranceMutationReceipt | AssuranceGateVerdict | { id: string; } | { items: AssuranceDeclaration[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; } | { items: AssuranceGateVerdict[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; };"
+          "signature": "export type AssuranceActionResult = AssuranceDeclaration | AssuranceMutationReceipt | AssuranceGateVerdict | AssuranceBundleMutationReceipt | AssurancePreset | { items: AssuranceDerivedProposal[]; count: number; applied?: AssuranceBundleMutationReceipt; } | { items: Array<{ id: AssurancePresetId; title: string; description: string; }>; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; } | { id: string; } | { items: AssuranceDeclaration[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; } | { items: AssuranceGateVerdict[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; };"
         },
         {
           "classification": "supported",
@@ -18411,25 +18722,25 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputLegacyAlias",
-          "signature": "export interface PmReadOutputLegacyAlias { flag: string; migration_hint: string; visibility: \"hidden_alias\"; }"
+          "signature": "export interface PmReadOutputLegacyAlias { flag: string; semantics?: \"replacement\" | \"behavior_preserving\"; migration_hint: string; visibility: \"hidden_alias\"; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputOptions",
-          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
+          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number | \"unbounded\"; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputReceipt",
-          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; result_omitted: boolean; }"
+          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; budget_source?: \"default\"; budget_tokens?: number; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; compacted_row_paths?: string[]; result_omitted: boolean; omitted_result_estimated_tokens?: number; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "PmReadOutputResult",
-          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
+          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; output_budget_truncation?: PmReadOutputTruncationDisclosure; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
         },
         {
           "classification": "supported",
@@ -19475,6 +19786,12 @@
           "name": "collectOrderingCycles",
           "signature": "(successors: Map<string, string[]>) => string[][] | calls: (successors: Map<string, string[]>) => string[][]"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "collectOrderingStorageContradictions",
+          "signature": "(items: readonly DependencyReferenceHolder[], isTerminal?: (status: ItemStatus) => boolean, registry?: RelationshipKindRegistry) => OrderingStorageContradiction[] | calls: (items: readonly DependencyReferenceHolder[], isTerminal?: (status: ItemStatus) => boolean, registry?: RelationshipKindRegistry) => OrderingStorageContradiction[]"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -19643,6 +19960,12 @@
           "name": "formatDuplicateEdgeGroup",
           "signature": "(group: DuplicateRelationshipEdgeGroup) => string | calls: (group: DuplicateRelationshipEdgeGroup) => string"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "formatOrderingStorageContradiction",
+          "signature": "(contradiction: Pick<OrderingStorageContradiction, \"dependency_kind\" | \"holder_id\" | \"target_id\">) => string | calls: (contradiction: Pick<OrderingStorageContradiction, \"holder_id\" | \"target_id\" | \"dependency_kind\">) => string"
+        },
         {
           "classification": "supported",
           "kind": "value",
@@ -19949,6 +20272,12 @@
           "name": "orderingPredecessors",
           "signature": "(graph: RelationshipGraph, id: string, options?: GraphTraversalOptions) => RelationshipQueryResult<string[]> | calls: (graph: RelationshipGraph, id: string, options?: GraphTraversalOptions) => RelationshipQueryResult<string[]>"
         },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "OrderingStorageContradiction",
+          "signature": "export interface OrderingStorageContradiction { holder_id: string; target_id: string; dependency_kind: string; holder_status: ItemStatus; legacy_terminal: boolean; }"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -20007,19 +20336,19 @@
           "classification": "supported",
           "kind": "interface",
           "name": "RelationshipAuditDelta",
-          "signature": "export interface RelationshipAuditDelta { baseline_saved_at: string; same_snapshot: boolean; affected_subjects_by_code: Record<string, number>; profile: { nodes: number; edges: number; active_nodes: number; missing_nodes: number; isolated_active_nodes: number; degree_leq_one_active_nodes: number; edges_by_kind: Record<string, number>; edge_share_by_kind: Record<string, number>; semantic_edges: number; semantic_edge_share: number; coverage_by_type: Record<string, RelationshipCoverageTypeProfile>; }; }"
+          "signature": "export interface RelationshipAuditDelta { baseline_saved_at: string; same_snapshot: boolean; affected_subjects_by_code: Record<string, number>; profile: { nodes: number; recorded_nodes?: number; edges: number; informative_edges?: number; redundant_edges?: number; ordering_contradiction_edges?: number; active_nodes: number; missing_nodes: number; isolated_active_nodes: number; degree_leq_one_active_nodes: number; edges_by_kind: Record<string, number>; edge_share_by_kind: Record<string, number>; semantic_edges: number; semantic_edge_share: number; coverage_by_type: Record<string, RelationshipCoverageTypeProfile>; }; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "RelationshipAuditFinding",
-          "signature": "export interface RelationshipAuditFinding { code: RelationshipAuditFindingCode; severity: RelationshipAuditSeverity; policy: string; message: string; count: number; sample: string[]; sample_truncated: boolean; remediation: string; }"
+          "signature": "export interface RelationshipAuditFinding { code: RelationshipAuditFindingCode; severity: RelationshipAuditSeverity; policy: string; message: string; count: number; sample: string[]; evidence?: string[]; sample_truncated: boolean; remediation: string; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "RelationshipAuditFindingCode",
-          "signature": "export type RelationshipAuditFindingCode = \"missing_reference_active\" | \"missing_reference_terminal\" | \"legacy_no_blocker_sentinel\" | \"ordering_cycle\" | \"legacy_ordering_cycle\" | \"duplicate_edge\" | \"legacy_duplicate_edge\" | \"duplicate_dependency_row\" | \"legacy_duplicate_dependency_row\" | \"stale_lifecycle_block\" | \"isolated_active_node\" | \"sparse_active_node\";"
+          "signature": "export type RelationshipAuditFindingCode = (typeof RELATIONSHIP_AUDIT_FINDING_CODES)[number];"
         },
         {
           "classification": "supported",
@@ -20127,7 +20456,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "RelationshipCoverageProfile",
-          "signature": "export interface RelationshipCoverageProfile { nodes: number; edges: number; edge_basis: \"deduplicated_directed\"; edges_by_kind: Record<string, number>; edge_share_by_kind: Record<string, number>; semantic_edges: number; semantic_edge_share: number; active_nodes: number; missing_nodes: number; isolated_active_nodes: number; degree_leq_one_active_nodes: number; coverage_by_type: Record<string, RelationshipCoverageTypeProfile>; }"
+          "signature": "export interface RelationshipCoverageProfile { nodes: number; recorded_nodes?: number; edges: number; informative_edges?: number; redundant_edges?: number; ordering_contradiction_edges?: number; edge_basis: \"deduplicated_directed\"; edges_by_kind: Record<string, number>; edge_share_by_kind: Record<string, number>; semantic_edges: number; semantic_edge_share: number; active_nodes: number; missing_nodes: number; isolated_active_nodes: number; degree_leq_one_active_nodes: number; coverage_by_type: Record<string, RelationshipCoverageTypeProfile>; articulation_points: number; bridge_edges: number; outcome_nodes: number; active_outcome_reachable_nodes: number; active_outcome_unreachable_nodes: number; active_outcome_reachability_basis_points: number; terminal_nodes: number; terminal_outcome_reachable_nodes: number; terminal_outcome_unreachable_nodes: number; terminal_outcome_reachability_basis_points: number; outcome_reachable_nodes: number; outcome_unreachable_nodes: number; outcome_reachability_basis_points: number; finding_subjects_by_code: Record<RelationshipAuditFindingCode, number>; }"
         },
         {
           "classification": "supported",
@@ -20565,7 +20894,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "WorkspaceRelationshipAssembly",
-          "signature": "export interface WorkspaceRelationshipAssembly { graph: RelationshipGraph; details: WorkspaceRelationshipNodeDetails[]; missingIdSet: Set<string>; dangling: DanglingDependencyReferenceSummary; duplicateRows: DuplicateDependencyRow[]; legacyAliasCounts: Record<string, number>; }"
+          "signature": "export interface WorkspaceRelationshipAssembly { graph: RelationshipGraph; details: WorkspaceRelationshipNodeDetails[]; missingIdSet: Set<string>; dangling: DanglingDependencyReferenceSummary; duplicateRows: DuplicateDependencyRow[]; orderingContradictions?: OrderingStorageContradiction[]; legacyAliasCounts: Record<string, number>; }"
         },
         {
           "classification": "supported",
@@ -22491,13 +22820,13 @@
           "classification": "supported",
           "kind": "interface",
           "name": "AssuranceActionInput",
-          "signature": "export interface AssuranceActionInput { action: string; kind?: string; id?: string; definition?: unknown; trigger?: string; tree?: string; gate?: string; limit?: number | string; dry_run?: boolean; fullChangedFields?: boolean; idOnly?: boolean; author?: string; message?: string; }"
+          "signature": "export interface AssuranceActionInput { action: string; kind?: string; id?: string; definition?: unknown; trigger?: string; tree?: string; gate?: string; limit?: number | string; dry_run?: boolean; fullChangedFields?: boolean; idOnly?: boolean; author?: string; message?: string; preset?: string; owner?: string; apply?: boolean; enforcement?: string; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "AssuranceActionResult",
-          "signature": "export type AssuranceActionResult = AssuranceDeclaration | AssuranceMutationReceipt | AssuranceGateVerdict | { id: string; } | { items: AssuranceDeclaration[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; } | { items: AssuranceGateVerdict[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; };"
+          "signature": "export type AssuranceActionResult = AssuranceDeclaration | AssuranceMutationReceipt | AssuranceGateVerdict | AssuranceBundleMutationReceipt | AssurancePreset | { items: AssuranceDerivedProposal[]; count: number; applied?: AssuranceBundleMutationReceipt; } | { items: Array<{ id: AssurancePresetId; title: string; description: string; }>; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; } | { id: string; } | { items: AssuranceDeclaration[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; } | { items: AssuranceGateVerdict[]; count: number; row_contract: { row_keys: [ \"items\" ]; jq_selector: \".items[]\"; }; };"
         },
         {
           "classification": "supported",
@@ -23805,13 +24134,13 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputOptions",
-          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
+          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number | \"unbounded\"; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "PmReadOutputResult",
-          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
+          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; output_budget_truncation?: PmReadOutputTruncationDisclosure; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
         },
         {
           "classification": "supported",
@@ -25185,13 +25514,13 @@
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionActivationSummary",
-          "signature": "export interface ExtensionActivationSummary { capabilities: ExtensionCapability[]; commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; parser_overrides: string[]; service_overrides: ExtensionServiceName[]; renderer_overrides: OutputRendererFormat[]; renderer_ownership?: Array<{ format: OutputRendererFormat; commands: string[]; result_discriminator: boolean; }>; preflight_overrides: number; preflight_ownership: Array<{ commands: string[]; }>; }"
+          "signature": "export interface ExtensionActivationSummary { capabilities: ExtensionCapability[]; commands: string[]; command_overrides: string[]; command_handlers: string[]; hooks: string[]; flag_commands: string[]; item_types: string[]; item_fields: string[]; relationship_kinds?: string[]; migrations: string[]; profiles: string[]; importers: string[]; exporters: string[]; search_providers: string[]; vector_store_adapters: string[]; assurance_providers?: string[]; parser_overrides: string[]; service_overrides: ExtensionServiceName[]; renderer_overrides: OutputRendererFormat[]; renderer_ownership?: Array<{ format: OutputRendererFormat; commands: string[]; result_discriminator: boolean; }>; preflight_overrides: number; preflight_ownership: Array<{ commands: string[]; }>; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "ExtensionBlueprint",
-          "signature": "export interface ExtensionBlueprint { manifest?: ExtensionManifest; commands?: CommandDefinition[]; commandOverrides?: Record<string, CommandOverride>; flags?: Record<string, FlagDefinition[]>; parsers?: Record<string, ParserOverride>; renderers?: Partial<Record<OutputRendererFormat, RendererOverride | ScopedRendererOverrideDefinition>>; services?: Partial<Record<ExtensionServiceName, ServiceOverride>>; preflights?: Array<PreflightOverride | ScopedPreflightOverrideDefinition>; itemTypes?: SchemaItemTypeDefinition[]; itemFields?: SchemaFieldDefinition[]; relationshipKinds?: RelationshipKindDefinition[]; migrations?: SchemaMigrationDefinition[]; profiles?: ProjectProfileRegistrationInput[]; searchProviders?: SearchProviderDefinition[]; vectorStoreAdapters?: VectorStoreAdapterDefinition[]; importers?: ExtensionBlueprintImporter[]; exporters?: ExtensionBlueprintExporter[]; hooks?: ExtensionBlueprintHooks; activate?: (api: ExtensionApi) => void | Promise<void>; deactivate?: () => void | Promise<void>; }"
+          "signature": "export interface ExtensionBlueprint { manifest?: ExtensionManifest; commands?: CommandDefinition[]; commandOverrides?: Record<string, CommandOverride>; flags?: Record<string, FlagDefinition[]>; parsers?: Record<string, ParserOverride>; renderers?: Partial<Record<OutputRendererFormat, RendererOverride | ScopedRendererOverrideDefinition>>; services?: Partial<Record<ExtensionServiceName, ServiceOverride>>; preflights?: Array<PreflightOverride | ScopedPreflightOverrideDefinition>; itemTypes?: SchemaItemTypeDefinition[]; itemFields?: SchemaFieldDefinition[]; relationshipKinds?: RelationshipKindDefinition[]; migrations?: SchemaMigrationDefinition[]; profiles?: ProjectProfileRegistrationInput[]; searchProviders?: SearchProviderDefinition[]; vectorStoreAdapters?: VectorStoreAdapterDefinition[]; assuranceProviders?: AssuranceMeasurementProviderDefinition[]; importers?: ExtensionBlueprintImporter[]; exporters?: ExtensionBlueprintExporter[]; hooks?: ExtensionBlueprintHooks; activate?: (api: ExtensionApi) => void | Promise<void>; deactivate?: () => void | Promise<void>; }"
         },
         {
           "classification": "supported",
@@ -25691,6 +26020,7 @@
     "item_id_collision",
     "item_not_found",
     "likely_duplicate",
+    "linked_artifact_mutation_conflict",
     "linked_test_remove_no_match",
     "linked_test_value_not_quoted",
     "list_source_incomplete",