@unbrained/pm-cli 2026.8.13 → 2026.8.15

package/sdk/public-surface.json

@@ -1,6 +1,6 @@
 {
   "aggregate_completeness": {
-    "covered_symbols": 1506,
+    "covered_symbols": 1613,
     "excluded": [
       {
         "name": "_testOnlyCliContracts",
@@ -8,7 +8,7 @@
       }
     ],
     "missing": [],
-    "required_symbols": 1507
+    "required_symbols": 1614
   },
   "breaking_acknowledgements": [
     {
@@ -448,6 +448,168 @@
       ],
       "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"
+    },
+    {
+      "changes": [
+        "signature ./sdk:ContractsResult",
+        "signature ./sdk:HealthResult",
+        "signature ./sdk/governance:HealthResult",
+        "signature ./sdk/runtime:ContractsResult",
+        "signature ./sdk/runtime:HealthResult"
+      ],
+      "package_version": "2026.8.14",
+      "reason": "Additive optional health and assurance contract fields; no existing member was removed or narrowed."
+    },
+    {
+      "changes": [
+        "signature ./sdk:PmReadOutputBudgetExceeded",
+        "signature ./sdk:PmReadOutputTruncationDisclosure",
+        "signature ./sdk/contracts:PmReadOutputBudgetExceeded",
+        "signature ./sdk/contracts:PmReadOutputTruncationDisclosure",
+        "signature ./sdk/core:PmReadOutputBudgetExceeded",
+        "signature ./sdk/runtime:PmReadOutputBudgetExceeded"
+      ],
+      "package_version": "2026.8.14",
+      "reason": "Additive optional health, assurance, and read-recovery contract fields; no existing member was removed or narrowed."
+    },
+    {
+      "changes": [
+        "signature ./sdk:AssuranceGateVerdict",
+        "signature ./sdk:BootstrapGlobalOptions",
+        "signature ./sdk:ContextRankingSummary",
+        "signature ./sdk:GlobalOptions",
+        "signature ./sdk:PM_READ_OUTPUT_COMPOSITION_OPTION_FLAGS",
+        "signature ./sdk:PmCliErrorRecoveryPayload",
+        "signature ./sdk:PmReadOutputOptions",
+        "signature ./sdk:PmReadOutputResultFor",
+        "signature ./sdk:PmReadOutputSurfaceContract",
+        "signature ./sdk:PmReadOutputTruncationDisclosure",
+        "signature ./sdk:toContextRankingSummary",
+        "signature ./sdk/contracts:PM_READ_OUTPUT_COMPOSITION_OPTION_FLAGS",
+        "signature ./sdk/contracts:PmReadOutputOptions",
+        "signature ./sdk/contracts:PmReadOutputResultFor",
+        "signature ./sdk/contracts:PmReadOutputSurfaceContract",
+        "signature ./sdk/contracts:PmReadOutputTruncationDisclosure",
+        "signature ./sdk/core:PM_READ_OUTPUT_COMPOSITION_OPTION_FLAGS",
+        "signature ./sdk/core:PmReadOutputOptions",
+        "signature ./sdk/core:PmReadOutputResultFor",
+        "signature ./sdk/core:PmReadOutputSurfaceContract",
+        "signature ./sdk/governance:AssuranceGateVerdict",
+        "signature ./sdk/query:ContextRankingSummary",
+        "signature ./sdk/query:toContextRankingSummary",
+        "signature ./sdk/runtime:GlobalOptions",
+        "signature ./sdk/runtime:PmReadOutputOptions",
+        "signature ./sdk/runtime:PmReadOutputResultFor",
+        "signature ./sdk/runtime:PmReadOutputSurfaceContract"
+      ],
+      "package_version": "2026.8.14",
+      "reason": "Extend read, assurance, ranking, and recovery contracts with bounded continuation and explicit completeness metadata"
+    },
+    {
+      "changes": [
+        "signature ./sdk:PmReadOutputTruncationDisclosure",
+        "signature ./sdk/contracts:PmReadOutputTruncationDisclosure"
+      ],
+      "package_version": "2026.8.14",
+      "reason": "Extend read, assurance, ranking, and recovery contracts with bounded continuation and explicit completeness metadata"
+    },
+    {
+      "changes": [
+        "signature ./sdk:PmReadOutputTruncationDisclosure",
+        "signature ./sdk/contracts:PmReadOutputTruncationDisclosure"
+      ],
+      "package_version": "2026.8.14",
+      "reason": "Consolidate cursor recovery into one value with explicit CLI SDK and MCP bindings"
+    },
+    {
+      "changes": [
+        "signature ./sdk:AssuranceEvaluationRefusalError",
+        "signature ./sdk:PmCliErrorContext",
+        "signature ./sdk:runAssuranceAction",
+        "signature ./sdk/governance:AssuranceEvaluationRefusalError",
+        "signature ./sdk/governance:runAssuranceAction"
+      ],
+      "package_version": "2026.8.14",
+      "reason": "Additive host-provider runtime options and typed assurance refusal location context for pm-4ok4ex and pm-xmmafu"
+    },
+    {
+      "changes": [
+        "signature ./sdk:AssuranceSourceResolutionError",
+        "signature ./sdk:PmRecoveryReferenceFinding",
+        "signature ./sdk/governance:AssuranceSourceResolutionError"
+      ],
+      "package_version": "2026.8.14",
+      "reason": "Expose duplicate-obligation refusal and innermost source-owner metadata so recursive assurance cannot overstate coverage or misattribute failures"
+    },
+    {
+      "changes": [
+        "signature ./sdk:AssuranceSourceResolutionError",
+        "signature ./sdk/governance:AssuranceSourceResolutionError"
+      ],
+      "package_version": "2026.8.14",
+      "reason": "AssuranceSourceResolutionContext names the existing structurally identical constructor object contract without changing runtime behavior, parameter order, or assignability"
+    },
+    {
+      "changes": [
+        "signature ./sdk:_testOnlyHealthCommand",
+        "signature ./sdk:HealthResult",
+        "signature ./sdk:HistoryRepairAllResult",
+        "signature ./sdk:HistoryRepairCommandOptions",
+        "signature ./sdk:HistoryRepairResult",
+        "signature ./sdk/governance:_testOnlyHealthCommand",
+        "signature ./sdk/governance:HealthResult",
+        "signature ./sdk/runtime:HealthResult"
+      ],
+      "package_version": "2026.8.14",
+      "reason": "Add self-indexing health verdicts and version-stable history repair receipts"
     }
   ],
   "entrypoints": {
@@ -482,7 +644,7 @@
           "classification": "supported",
           "kind": "value",
           "name": "_testOnlyHealthCommand",
-          "signature": "{ buildExtensionHealthTriageSummary: typeof buildExtensionHealthTriageSummary; buildCapabilityContractMetadata: typeof buildCapabilityContractMetadata; buildStaleInProgressHealthSummary: typeof buildStaleInProgressHealthSummary; buildVectorizationProviderDetails: typeof buildVectorizationProviderDetails; collectUnknownCapabilityGuidance: typeof collectUnknownCapabilityGuidance; isAdvisoryHealthWarning: typeof isAdvisoryHealthWarning; isDirectory: typeof isDirectory; isExpectedUnmanagedExtension: typeof isExpectedUnmanagedExtension; listItemDocumentPaths: typeof listItemDocumentPaths; normalizeEndpointForDisplay: typeof normalizeEndpointForDisplay; normalizeExtensionNameForMatch: typeof normalizeExtensionNameForMatch; parseTelemetryQueue: typeof parseTelemetryQueue; probeTelemetryEndpointHealth: typeof probeTelemetryEndpointHealth; projectHealthResult: typeof projectHealthResult; resolveActionableUnknownAuthorEventCount: (authorAttribution: HistoryAuthorAttributionScan) => number; resolveHealthSkipPolicy: typeof resolveHealthSkipPolicy; resolveUnknownAuthorEventCount: (authorAttribution: HistoryAuthorAttributionScan) => number; resolveVectorRefreshPolicy: typeof resolveVectorRefreshPolicy; selectStaleItemDetail: typeof selectStaleItemDetail; summarizeHealthCheckDetails: typeof summarizeHealthCheckDetails; summarizeExtensionList: typeof summarizeExtensionList; summarizeRecordList: typeof summarizeRecordList; summarizeStringList: typeof summarizeStringList; telemetryEnvFlagEnabled: typeof telemetryEnvFlagEnabled; warningCode: typeof warningCode; }"
+          "signature": "{ buildExtensionHealthTriageSummary: typeof buildExtensionHealthTriageSummary; buildHealthFindings: typeof buildHealthFindings; buildCapabilityContractMetadata: typeof buildCapabilityContractMetadata; buildStaleInProgressHealthSummary: typeof buildStaleInProgressHealthSummary; buildVectorizationProviderDetails: typeof buildVectorizationProviderDetails; collectUnknownCapabilityGuidance: typeof collectUnknownCapabilityGuidance; isAdvisoryHealthWarning: typeof isAdvisoryHealthWarning; isDirectory: typeof isDirectory; isExpectedUnmanagedExtension: typeof isExpectedUnmanagedExtension; listItemDocumentPaths: typeof listItemDocumentPaths; normalizeEndpointForDisplay: typeof normalizeEndpointForDisplay; normalizeExtensionNameForMatch: typeof normalizeExtensionNameForMatch; parseTelemetryQueue: typeof parseTelemetryQueue; probeTelemetryEndpointHealth: typeof probeTelemetryEndpointHealth; projectHealthResult: typeof projectHealthResult; resolveActionableUnknownAuthorEventCount: (authorAttribution: HistoryAuthorAttributionScan) => number; resolveHealthSkipPolicy: typeof resolveHealthSkipPolicy; resolveUnknownAuthorEventCount: (authorAttribution: HistoryAuthorAttributionScan) => number; resolveVectorRefreshPolicy: typeof resolveVectorRefreshPolicy; selectStaleItemDetail: typeof selectStaleItemDetail; summarizeHealthCheckDetails: typeof summarizeHealthCheckDetails; summarizeExtensionList: typeof summarizeExtensionList; summarizeRecordList: typeof summarizeRecordList; summarizeStringList: typeof summarizeStringList; telemetryEnvFlagEnabled: typeof telemetryEnvFlagEnabled; warningCode: typeof warningCode; }"
         },
         {
           "classification": "advanced_export",
@@ -539,7 +701,7 @@
           "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",
+          "classification": "supported",
           "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>"
@@ -983,7 +1145,7 @@
           "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",
+          "classification": "supported",
           "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>"
@@ -1036,6 +1198,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",
@@ -1307,19 +1475,19 @@
           "signature": "(adapter: RelationshipGraphAdapter, options?: { workspace?: string; }) => Promise<RelationshipGraphAdapterConformanceReport> | calls: (adapter: RelationshipGraphAdapter, options?: { workspace?: string; }) => Promise<RelationshipGraphAdapterConformanceReport>"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "value",
           "name": "ASSURANCE_ACTIONS",
           "signature": "readonly [\"list\", \"show\", \"put\", \"remove\", \"run\", \"verdicts\", \"presets\", \"apply\", \"derive\", \"promote\"]"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "value",
           "name": "ASSURANCE_DECLARATION_KINDS",
           "signature": "readonly [\"measurement\", \"assertion\", \"gate\"]"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "value",
           "name": "ASSURANCE_DOCUMENT_VERSION",
           "signature": "1"
@@ -1331,19 +1499,25 @@
           "signature": "CliFlagContract[]"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "value",
           "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",
+          "classification": "supported",
+          "kind": "value",
+          "name": "ASSURANCE_MEASUREMENT_SOURCE_KINDS",
+          "signature": "readonly [\"items\", \"dependency_kind\", \"graph\", \"validate\", \"health\", \"history\", \"links\", \"provider\", \"derived\"]"
+        },
+        {
+          "classification": "supported",
           "kind": "value",
           "name": "ASSURANCE_PRESET_IDS",
           "signature": "readonly [\"software-delivery\", \"research\", \"agent-evaluation\", \"operations\"]"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceAction",
           "signature": "export type AssuranceAction = (typeof ASSURANCE_ACTIONS)[number];"
@@ -1361,283 +1535,319 @@
           "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",
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceActionRuntimeOptions",
+          "signature": "export interface AssuranceActionRuntimeOptions { workspace?: Omit<CreateAssuranceWorkspaceContextOptions, \"tree_id\" | \"trigger\">; }"
+        },
+        {
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceArithmeticExpression",
           "signature": "export interface AssuranceArithmeticExpression { operator: \"add\" | \"subtract\" | \"multiply\" | \"divide\" | \"min\" | \"max\"; operands: AssuranceDerivedExpression[]; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceAssertionDefinition",
           "signature": "export interface AssuranceAssertionDefinition { id: string; measurement_id: string; owner_item_id: string; scope: AssuranceScope; ceiling?: number; floor?: number; equals?: AssuranceValue; zero?: true; monotone_nondecreasing?: number; monotone_nonincreasing?: number; subset_of?: string[]; lifetime?: AssuranceLifetime; retire_reason?: string; enforcement: AssuranceEnforcement; negative_control: AssuranceNegativeControl; authorization_decision?: string; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "assuranceAssertionUpdateIsLoosening",
           "signature": "(before: AssuranceAssertionDefinition, after: AssuranceAssertionDefinition) => boolean | calls: (before: AssuranceAssertionDefinition, after: AssuranceAssertionDefinition) => boolean"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceAssertionVerdict",
           "signature": "export interface AssuranceAssertionVerdict { assertion_id: string; measurement_id: string; measurement_definition_fingerprint: string; scope: AssuranceScope; population_size: number; observed: AssuranceValue; bound: AssuranceBound; distance: number | null; verdict: \"pass\" | \"fail\" | \"retired\"; enforcement: AssuranceEnforcement; negative_control_proven: boolean; cost: AssuranceMeasurementCost; contributors: string[]; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceBound",
           "signature": "export interface AssuranceBound { polarity: \"ceiling\" | \"floor\" | \"equals\" | \"zero\" | \"monotone_nondecreasing\" | \"monotone_nonincreasing\" | \"subset_of\"; value: AssuranceValue; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceBundleMutationReceipt",
           "signature": "export interface AssuranceBundleMutationReceipt { changed: boolean; created_ids: string[]; unchanged_ids: string[]; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceDeclaration",
           "signature": "export type AssuranceDeclaration = AssuranceMeasurementDefinition | AssuranceAssertionDefinition | AssuranceGateDefinition;"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceDeclarationBundle",
           "signature": "export interface AssuranceDeclarationBundle { measurements: AssuranceMeasurementDefinition[]; assertions: AssuranceAssertionDefinition[]; gates: AssuranceGateDefinition[]; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceDeclarationKind",
           "signature": "export type AssuranceDeclarationKind = \"measurement\" | \"assertion\" | \"gate\";"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceDependencyKindSource",
           "signature": "export interface AssuranceDependencyKindSource { kind: \"dependency_kind\"; dependency_kind: string; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceDependencyRecord",
           "signature": "export interface AssuranceDependencyRecord { id: string; kind: string; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceDerivedExpression",
           "signature": "export type AssuranceDerivedExpression = AssuranceMeasurementReference | AssuranceLiteralExpression | AssuranceArithmeticExpression;"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceDerivedProposal",
           "signature": "export interface AssuranceDerivedProposal { id: string; population_size: number; scope: AssuranceScope; observed: number; declarations: AssuranceDeclarationBundle; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceDerivedSource",
           "signature": "export interface AssuranceDerivedSource { kind: \"derived\"; expression: AssuranceDerivedExpression; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceDocument",
           "signature": "export interface AssuranceDocument { version: typeof ASSURANCE_DOCUMENT_VERSION; measurements: AssuranceMeasurementDefinition[]; assertions: AssuranceAssertionDefinition[]; gates: AssuranceGateDefinition[]; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceEnforcement",
           "signature": "export type AssuranceEnforcement = \"block\" | \"warn\" | \"observe\";"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceEvaluationContext",
           "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",
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceEvaluationRefusalContext",
+          "signature": "export interface AssuranceEvaluationRefusalContext { gate_id?: string; assertion_id?: string; measurement_id?: string; source_kind?: string; field?: string; check?: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "class",
+          "name": "AssuranceEvaluationRefusalError",
+          "signature": "export declare class AssuranceEvaluationRefusalError extends TypeError { readonly context: AssuranceEvaluationRefusalContext; constructor(message: string, context?: AssuranceEvaluationRefusalContext); }"
+        },
+        {
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceExternalMeasurementResult",
           "signature": "export interface AssuranceExternalMeasurementResult { value: AssuranceValue; population_size: number; cost: number; contributors?: string[]; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceGateDefinition",
           "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",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceGateTrigger",
           "signature": "export type AssuranceGateTrigger = (typeof ASSURANCE_GATE_TRIGGERS)[number];"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceGateVerdict",
-          "signature": "export interface AssuranceGateVerdict { gate_id: string; tree_id: string; trigger: AssuranceGateTrigger; dry_run: boolean; evaluated_at: string; verdict: \"pass\" | \"warn\" | \"block\"; exit_code: 0 | 1; assertions: AssuranceAssertionVerdict[]; cost: AssuranceMeasurementCost; }"
+          "signature": "export interface AssuranceGateVerdict { gate_id: string; tree_id: string; trigger: AssuranceGateTrigger; dry_run: boolean; evaluated_at: string; verdict: \"pass\" | \"warn\" | \"block\"; exit_code: 0 | 1; assertions: AssuranceAssertionVerdict[]; assertions_total: number; row_contract: { row_keys: [ \"assertions\" ]; jq_selector: \".assertions[]\"; }; cost: AssuranceMeasurementCost; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceGraphSource",
           "signature": "export interface AssuranceGraphSource { kind: \"graph\"; operation: string; field: string; parameters?: Record<string, string | number | boolean>; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceHealthSource",
           "signature": "export interface AssuranceHealthSource { kind: \"health\"; check: string; field: string; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceHistoryRecord",
           "signature": "export interface AssuranceHistoryRecord { op: string; author: string; agent_harness?: string; agent_model?: string; [key: string]: unknown; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceHistorySource",
           "signature": "export interface AssuranceHistorySource { kind: \"history\"; op?: string; author?: string; harness?: string; model?: string; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceItemRecord",
           "signature": "export interface AssuranceItemRecord { id: string; status: string; type: string; tags?: string[]; priority?: string | number; dependencies?: AssuranceDependencyRecord[]; files?: object[]; tests?: object[]; docs?: object[]; [key: string]: unknown; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceItemsSource",
           "signature": "export interface AssuranceItemsSource { kind: \"items\"; statuses?: string[]; types?: string[]; tags?: string[]; field?: string; equals?: string | number | boolean | null; state?: \"present\" | \"missing\"; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceLifetime",
           "signature": "export type AssuranceLifetime = \"hold\" | \"retire\";"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceLinksSource",
           "signature": "export interface AssuranceLinksSource { kind: \"links\"; link: \"files\" | \"tests\" | \"docs\"; state: \"present\" | \"missing\"; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceLiteralExpression",
           "signature": "export interface AssuranceLiteralExpression { literal: number; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceMeasurementCost",
           "signature": "export interface AssuranceMeasurementCost { units: number; items_scanned: number; history_entries: number; provider_calls: number; duration_ms: number; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceMeasurementDefinition",
           "signature": "export interface AssuranceMeasurementDefinition { id: string; description?: string; source: AssuranceMeasurementSource; max_cost?: number; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceMeasurementReference",
           "signature": "export interface AssuranceMeasurementReference { measurement: string; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceMeasurementResult",
           "signature": "export interface AssuranceMeasurementResult { id: string; definition_fingerprint: string; value: AssuranceValue; population_size: number; cost: AssuranceMeasurementCost; contributors: string[]; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceMeasurementSource",
           "signature": "export type AssuranceMeasurementSource = AssuranceItemsSource | AssuranceDependencyKindSource | AssuranceGraphSource | AssuranceValidateSource | AssuranceHealthSource | AssuranceHistorySource | AssuranceLinksSource | AssuranceProviderSource | AssuranceDerivedSource;"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceMutationOptions",
           "signature": "export interface AssuranceMutationOptions { author?: string; message?: string; authorized_decision_ids?: string[]; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceMutationReceipt",
           "signature": "export interface AssuranceMutationReceipt { changed: boolean; action: \"created\" | \"updated\" | \"removed\"; kind: AssuranceDeclarationKind; id: string; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
+          "kind": "class",
+          "name": "AssuranceMutationRefusalError",
+          "signature": "export declare class AssuranceMutationRefusalError extends TypeError { constructor(message: string); }"
+        },
+        {
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceNegativeControl",
           "signature": "export interface AssuranceNegativeControl { cases: AssuranceNegativeControlCase[]; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceNegativeControlCase",
           "signature": "export interface AssuranceNegativeControlCase { observed: AssuranceValue; expected: \"pass\" | \"fail\"; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssurancePreset",
           "signature": "export interface AssurancePreset { id: AssurancePresetId; title: string; description: string; declarations: AssuranceDeclarationBundle; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssurancePresetId",
           "signature": "export type AssurancePresetId = (typeof ASSURANCE_PRESET_IDS)[number];"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceProviderCostClass",
           "signature": "export type AssuranceProviderCostClass = \"low\" | \"medium\" | \"high\";"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceProviderResolver",
           "signature": "export type AssuranceProviderResolver = (source: AssuranceProviderSource) => Promise<AssuranceExternalMeasurementResult>;"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceProviderSource",
           "signature": "export interface AssuranceProviderSource { kind: \"provider\"; provider: string; key: string; parameters?: Record<string, string | number | boolean | null>; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceScope",
           "signature": "export type AssuranceScope = { kind: \"all\"; } | { kind: \"active\"; } | { kind: \"filter\"; measurement_id: string; };"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceSourceResolutionContext",
+          "signature": "export interface AssuranceSourceResolutionContext { measurement_id?: string; source_kind: string; field: string; check?: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "class",
+          "name": "AssuranceSourceResolutionError",
+          "signature": "export declare class AssuranceSourceResolutionError extends TypeError { readonly measurement_id?: string; readonly source_kind: string; readonly field: string; readonly check?: string; constructor(message: string, context: AssuranceSourceResolutionContext); }"
+        },
+        {
+          "classification": "supported",
           "kind": "interface",
           "name": "AssuranceValidateSource",
           "signature": "export interface AssuranceValidateSource { kind: \"validate\"; check: string; field: string; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "type",
           "name": "AssuranceValue",
           "signature": "export type AssuranceValue = number | string[];"
@@ -1754,7 +1964,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "BootstrapGlobalOptions",
-          "signature": "export interface BootstrapGlobalOptions { path?: string; noExtensions: boolean; noPager: boolean; json: boolean; quiet: boolean; lean: boolean; tokenAccounting: boolean; outputInclude?: string; outputLimit?: string; outputBudget?: string; outputFormat?: \"toon\" | \"json\"; outputSession?: string; outputRowContract?: boolean; author?: string; authorMissingValue?: true; }"
+          "signature": "export interface BootstrapGlobalOptions { path?: string; noExtensions: boolean; noPager: boolean; json: boolean; quiet: boolean; lean: boolean; tokenAccounting: boolean; outputInclude?: string; outputLimit?: string; outputBudget?: string; outputFormat?: \"toon\" | \"json\"; outputSession?: string; outputCursor?: string; outputRowContract?: boolean; author?: string; authorMissingValue?: true; }"
         },
         {
           "classification": "advanced_export",
@@ -2344,6 +2554,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",
@@ -2924,7 +3140,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "ContextRankingSummary",
-          "signature": "export interface ContextRankingSummary { model: string; available_signals: ContextRelevanceSignalName[]; items: Array<{ id: string; rank: number; baseline_rank: number; score: number; contributions: ContextRelevanceContributions; }>; feature_store?: { source: \"derived_index\" | \"scan_fallback\"; cache_status: \"fresh\" | \"rebuilt\"; source_cursor: string; generated_at: string; }; }"
+          "signature": "export interface ContextRankingSummary { model: string; available_signals: ContextRelevanceSignalName[]; items: Array<{ id: string; rank: number; baseline_rank: number; score: number; contributions: ContextRelevanceContributions; }>; candidate_count: number; omitted_count: number; feature_store?: { source: \"derived_index\" | \"scan_fallback\"; cache_status: \"fresh\" | \"rebuilt\"; source_cursor: string; generated_at: string; }; }"
         },
         {
           "classification": "supported",
@@ -3074,7 +3290,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "ContractsResult",
-          "signature": "export interface ContractsResult { schema_version: string | null; schema_id: string | null; selected: { action: string | null; command: string | null; summary: boolean; schema_only: boolean; flags_only: boolean; availability_only: boolean; runtime_only: boolean; command_scoped: boolean; }; actions?: string[]; action_availability?: ContractsActionAvailability[]; commands: string[]; schema?: Record<string, unknown>; schema_omitted_reason?: string; command_flags_omitted_reason?: string; commander_aliases_omitted_reason?: string; command_flags?: CommandFlagSurface[]; list_projections?: ListCommandProjectionSurface[]; command_aliases?: CommandAliasSurface[]; commander_aliases?: Record<string, CommanderOptionAliasContract[]>; extension_commands?: ExtensionCommandContract[]; command_summaries?: CommandSummarySurface[]; output_policy?: { token_estimate: \"ceil(utf8_bytes / 4)\"; degradation_ladder: string[]; allows_unbounded_opt_out: boolean; }; runtime_schema?: { statuses: string[]; open_status: string; close_status: string; canceled_status: string; types: string[]; fields_by_command: Record<string, string[]>; }; relationship_kind_contracts?: Array<{ canonical: string; aliases: string[]; inverse?: string; ordering: boolean; hierarchy: boolean; }>; extension_contracts?: { capabilities: string[]; services: string[]; policy_modes: string[]; policy_mode_scope: \"extensions.policy.mode\"; policy_surfaces: string[]; trust_modes: string[]; trust_mode_scope: \"extensions.policy.trust_mode\"; sandbox_profiles: string[]; manifest_versions: number[]; compatibility: { current: string; previous: string[]; breaking_strategy: string; }; }; governance_contracts?: { ownership_enforcement_modes: string[]; create_modes: string[]; close_validation_modes: string[]; workflow_enforcement_modes: string[]; }; mcp_tools?: McpToolContract[]; context_intents?: readonly PmContextIntentContract[]; read_output_dimensions?: readonly PmReadOutputSurfaceContract[]; error_codes?: readonly PmErrorCodeContract[]; command_output_contracts?: Array<{ budget: PmCommandOutputBudgetContract; envelope: PmCommandOutputEnvelopeContract; }>; command_exit_contracts?: { vocabulary: readonly PmCommandExitOutcomeContract[]; command_sets: Array<{ commands: string[]; exit_codes: PmCommandExitContract[\"exit_codes\"]; }>; }; }"
+          "signature": "export interface ContractsResult { schema_version: string | null; schema_id: string | null; selected: { action: string | null; command: string | null; summary: boolean; schema_only: boolean; flags_only: boolean; availability_only: boolean; runtime_only: boolean; command_scoped: boolean; }; actions?: string[]; action_availability?: ContractsActionAvailability[]; commands: string[]; schema?: Record<string, unknown>; schema_omitted_reason?: string; command_flags_omitted_reason?: string; commander_aliases_omitted_reason?: string; command_flags?: CommandFlagSurface[]; list_projections?: ListCommandProjectionSurface[]; command_aliases?: CommandAliasSurface[]; commander_aliases?: Record<string, CommanderOptionAliasContract[]>; extension_commands?: ExtensionCommandContract[]; command_summaries?: CommandSummarySurface[]; output_policy?: { token_estimate: \"ceil(utf8_bytes / 4)\"; degradation_ladder: string[]; allows_unbounded_opt_out: boolean; }; runtime_schema?: { statuses: string[]; open_status: string; close_status: string; canceled_status: string; types: string[]; fields_by_command: Record<string, string[]>; }; relationship_kind_contracts?: Array<{ canonical: string; aliases: string[]; inverse?: string; ordering: boolean; hierarchy: boolean; }>; extension_contracts?: { capabilities: string[]; services: string[]; policy_modes: string[]; policy_mode_scope: \"extensions.policy.mode\"; policy_surfaces: string[]; trust_modes: string[]; trust_mode_scope: \"extensions.policy.trust_mode\"; sandbox_profiles: string[]; manifest_versions: number[]; compatibility: { current: string; previous: string[]; breaking_strategy: string; }; }; governance_contracts?: { ownership_enforcement_modes: string[]; create_modes: string[]; close_validation_modes: string[]; workflow_enforcement_modes: string[]; }; assurance_contracts?: { measurement_source_kinds: readonly string[]; gate_triggers: readonly string[]; }; mcp_tools?: McpToolContract[]; context_intents?: readonly PmContextIntentContract[]; read_output_dimensions?: readonly PmReadOutputSurfaceContract[]; error_codes?: readonly PmErrorCodeContract[]; command_output_contracts?: Array<{ budget: PmCommandOutputBudgetContract; envelope: PmCommandOutputEnvelopeContract; }>; command_exit_contracts?: { vocabulary: readonly PmCommandExitOutcomeContract[]; command_sets: Array<{ commands: string[]; exit_codes: PmCommandExitContract[\"exit_codes\"]; }>; }; }"
         },
         {
           "classification": "supported",
@@ -3179,19 +3395,19 @@
           "signature": "CliFlagContract[]"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "createAssurancePreset",
           "signature": "(id: AssurancePresetId, ownerItemId: string) => AssurancePreset | calls: (id: AssurancePresetId, ownerItemId: string) => AssurancePreset"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "createAssuranceWorkspaceContext",
           "signature": "(pmRoot: string, options?: CreateAssuranceWorkspaceContextOptions) => Promise<AssuranceEvaluationContext> | calls: (pmRoot: string, options?: CreateAssuranceWorkspaceContextOptions) => Promise<AssuranceEvaluationContext>"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
           "name": "CreateAssuranceWorkspaceContextOptions",
           "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; }"
@@ -3215,7 +3431,7 @@
           "signature": "(shape: Readonly<CorpusShape>) => CorpusShapeMeasurement | calls: (shape: Readonly<CorpusShape>) => CorpusShapeMeasurement"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "createEmptyAssuranceDocument",
           "signature": "() => AssuranceDocument | calls: () => AssuranceDocument"
@@ -3430,12 +3646,24 @@
           "name": "decodeQueryCursor",
           "signature": "(cursor: unknown, expectedFingerprint: string) => string | calls: (cursor: unknown, expectedFingerprint: string) => string"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "decodeQueryCursorEnvelope",
+          "signature": "(cursor: unknown) => QueryCursorEnvelope | calls: (cursor: unknown) => QueryCursorEnvelope"
+        },
         {
           "classification": "supported",
           "kind": "function",
           "name": "decodeQueryCursorState",
           "signature": "(cursor: unknown, expectedFingerprint: string) => QueryCursorState | calls: (cursor: unknown, expectedFingerprint: string) => QueryCursorState"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "decodeReadOutputContinuationCursor",
+          "signature": "(raw: string) => PmReadOutputCursorEnvelope | calls: (raw: string) => PmReadOutputCursorEnvelope"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -3785,7 +4013,7 @@
           "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",
+          "classification": "supported",
           "kind": "function",
           "name": "deriveAssuranceProposals",
           "signature": "(context: AssuranceEvaluationContext, ownerItemId: string) => Promise<AssuranceDerivedProposal[]> | calls: (context: AssuranceEvaluationContext, ownerItemId: string) => Promise<AssuranceDerivedProposal[]>"
@@ -4066,6 +4294,12 @@
           "name": "encodeQueryCursor",
           "signature": "(fingerprint: string, afterId: string, afterIndex?: number, snapshot?: string) => string | calls: (fingerprint: string, afterId: string, afterIndex?: number, snapshot?: string) => string"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "encodeReadOutputContinuationCursor",
+          "signature": "(cursor: Omit<PmReadOutputCursorEnvelope, \"version\">) => string | calls: (cursor: Omit<PmReadOutputCursorEnvelope, \"version\">) => string"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -4181,13 +4415,13 @@
           "signature": "export interface EvalResult { k: number; query_count: number; aggregate: { ndcg: number; mrr: number; precision: number; recall: number; }; queries: EvalQueryReport[]; fail_under?: number; passed: boolean; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "evaluateAssuranceAssertion",
           "signature": "(definition: AssuranceAssertionDefinition, measurement: AssuranceMeasurementResult, options?: { owner_terminal?: boolean; }) => AssuranceAssertionVerdict | calls: (definition: AssuranceAssertionDefinition, measurement: AssuranceMeasurementResult, options?: { owner_terminal?: boolean; }) => AssuranceAssertionVerdict"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "evaluateAssuranceGate",
           "signature": "(gateId: string, document: AssuranceDocument, context: AssuranceEvaluationContext, options: { trigger: AssuranceGateTrigger; dry_run?: boolean; }) => Promise<AssuranceGateVerdict> | calls: (gateId: string, document: AssuranceDocument, context: AssuranceEvaluationContext, options: { trigger: AssuranceGateTrigger; dry_run?: boolean; }) => Promise<AssuranceGateVerdict>"
@@ -4199,7 +4433,7 @@
           "signature": "(input: ContextRankingEvaluationInput) => ContextRankingEvaluation | calls: (input: ContextRankingEvaluationInput) => ContextRankingEvaluation"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "evaluateMeasurement",
           "signature": "(definition: AssuranceMeasurementDefinition, context: AssuranceEvaluationContext, definitions?: AssuranceMeasurementDefinition[]) => Promise<AssuranceMeasurementResult> | calls: (definition: AssuranceMeasurementDefinition, context: AssuranceEvaluationContext, definitions?: AssuranceMeasurementDefinition[]) => Promise<AssuranceMeasurementResult>"
@@ -4685,10 +4919,22 @@
           "signature": "export interface ExtensionHookRegistry { beforeCommand: Array<RegisteredExtensionHook<BeforeCommandHook>>; beforeMutation: Array<RegisteredExtensionHook<BeforeMutationHook>>; afterCommand: Array<RegisteredExtensionHook<AfterCommandHook>>; onWrite: Array<RegisteredExtensionHook<OnWriteHook>>; onRead: Array<RegisteredExtensionHook<OnReadHook>>; onIndex: Array<RegisteredExtensionHook<OnIndexHook>>; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "interface",
-          "name": "ExtensionInstallSourceCandidate",
-          "signature": "export interface ExtensionInstallSourceCandidate extends ExtensionInstallSourceSelection { version?: string; directory?: string; command: string; }"
+          "name": "ExtensionHostVersionCensus",
+          "signature": "export interface ExtensionHostVersionCensus { host_version: string | null; copies: ExtensionHostVersionCopy[]; mismatches: ExtensionHostVersionCopy[]; warnings: string[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "ExtensionHostVersionCopy",
+          "signature": "export interface ExtensionHostVersionCopy { version: string; path: string; layout: \"host\" | \"npm\" | \"pnpm\" | \"other\"; consumers: string[]; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "ExtensionInstallSourceCandidate",
+          "signature": "export interface ExtensionInstallSourceCandidate extends ExtensionInstallSourceSelection { version?: string; directory?: string; command: string; }"
         },
         {
           "classification": "advanced_export",
@@ -5188,6 +5434,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",
@@ -5297,7 +5549,7 @@
           "signature": "() => ExtensionRegistrationRegistry | null | calls: () => ExtensionRegistrationRegistry | null"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "getAssuranceDeclaration",
           "signature": "(pmRoot: string, kind: AssuranceDeclarationKind, id: string) => Promise<AssuranceDeclaration> | calls: (pmRoot: string, kind: AssuranceDeclarationKind, id: string) => Promise<AssuranceDeclaration>"
@@ -5408,7 +5660,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "GlobalOptions",
-          "signature": "export interface GlobalOptions { json?: boolean; quiet?: boolean; noChangedFields?: boolean; fullChangedFields?: boolean; idOnly?: boolean; lean?: boolean; tokenAccounting?: boolean; outputInclude?: string; outputLimit?: string; outputBudget?: string; outputFormat?: \"toon\" | \"json\"; outputSession?: string; outputRowContract?: boolean; path?: string; noExtensions?: boolean; noPager?: boolean; profile?: boolean; author?: string; defaultOutputFormat?: \"toon\" | \"json\"; }"
+          "signature": "export interface GlobalOptions { json?: boolean; quiet?: boolean; noChangedFields?: boolean; fullChangedFields?: boolean; idOnly?: boolean; lean?: boolean; tokenAccounting?: boolean; outputInclude?: string; outputLimit?: string; outputBudget?: string; outputFormat?: \"toon\" | \"json\"; outputSession?: string; outputCursor?: string; outputRowContract?: boolean; path?: string; noExtensions?: boolean; noPager?: boolean; profile?: boolean; author?: string; defaultOutputFormat?: \"toon\" | \"json\"; }"
         },
         {
           "classification": "supported",
@@ -5770,11 +6022,17 @@
           "name": "HealthCheck",
           "signature": "export interface HealthCheck { name: \"settings\" | \"directories\" | \"settings_values\" | \"telemetry\" | \"extensions\" | \"storage\" | \"locks\" | \"integrity\" | \"history_drift\" | \"vectorization\"; status: HealthStatus; ok: boolean; details: Record<string, unknown>; }"
         },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "HealthFinding",
+          "signature": "export interface HealthFinding { warning: string; code: string; check: HealthCheck[\"name\"]; severity: \"advisory\" | \"gate_failing\"; remediation?: string; disposition?: \"no_safe_automatic_remediation\"; }"
+        },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "HealthResult",
-          "signature": "export interface HealthResult { ok: boolean; checks: HealthCheck[]; warning_count?: number; warnings: string[]; projection?: { mode: \"brief\" | \"summary\" | \"full\"; warning_count: number; warnings_truncated: boolean; detail_limit: number; omitted_checks?: HealthCheck[\"name\"][]; }; generated_at: string; }"
+          "signature": "export interface HealthResult { ok: boolean; checks: HealthCheck[]; warning_count?: number; warning_limit?: number; warnings_truncated?: boolean; warnings: string[]; findings: HealthFinding[]; failed_because: string[]; projection?: { mode: \"brief\" | \"summary\" | \"full\"; warning_count: number; warnings_truncated: boolean; detail_limit: number; omitted_checks?: HealthCheck[\"name\"][]; }; generated_at: string; }"
         },
         {
           "classification": "supported",
@@ -6008,7 +6266,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "HistoryRepairAllResult",
-          "signature": "export interface HistoryRepairAllResult { all: true; dry_run: boolean; scanned_streams: number; drifted_streams: number; streams: HistoryRepairAllStreamResult[]; totals: { repaired: number; skipped_clean: number; failed: number; }; warnings: string[]; generated_at: string; }"
+          "signature": "export interface HistoryRepairAllResult { all: true; dry_run: boolean; scanned_streams: number; drifted_streams: number; provenance_invalid_streams: number; streams: HistoryRepairAllStreamResult[]; totals: { repaired: number; skipped_clean: number; failed: number; }; warnings: string[]; generated_at: string; }"
         },
         {
           "classification": "advanced_export",
@@ -6020,7 +6278,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "HistoryRepairCommandOptions",
-          "signature": "export interface HistoryRepairCommandOptions { dryRun?: boolean; author?: string; message?: string; force?: boolean; auditOperation?: string; auditContext?: Record<string, unknown>; auditContextById?: Record<string, Record<string, unknown>>; forceAuditEntry?: boolean; }"
+          "signature": "export interface HistoryRepairCommandOptions { dryRun?: boolean; author?: string; message?: string; force?: boolean; auditOperation?: string; auditContext?: Record<string, unknown>; auditContextById?: Record<string, Record<string, unknown>>; forceAuditEntry?: boolean; normalizeProvenance?: boolean; }"
         },
         {
           "classification": "advanced_export",
@@ -6038,7 +6296,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "HistoryRepairResult",
-          "signature": "export interface HistoryRepairResult { id: string; dry_run: boolean; changed: boolean; history: { path: string; entries_scanned: number; chain_drift_before: boolean; entries_rehashed: number; entries_patch_repaired: number; converted_replace_to_add: number; skipped_ops: number; reconciled_with_item: boolean; audit_entry_added: boolean; verify_ok: boolean; verify_errors: string[]; }; item: { exists: boolean; path: string | null; matched_chain_before: boolean | null; }; reconciliation?: HistoryRepairReconciliationReport; warnings: string[]; generated_at: string; }"
+          "signature": "export interface HistoryRepairResult { id: string; dry_run: boolean; changed: boolean; history: { path: string; entries_scanned: number; chain_drift_before: boolean; entries_rehashed: number; entries_patch_repaired: number; converted_replace_to_add: number; skipped_ops: number; reconciled_with_item: boolean; audit_entry_added: boolean; verify_ok: boolean; verify_errors: string[]; item_hash_version_before: number | null; item_hash_version_after: number; version_disposition: \"preserved\" | \"selected_for_ambiguous_stream\"; }; item: { exists: boolean; path: string | null; matched_chain_before: boolean | null; }; provenance_normalization: ProvenanceNormalizationReceipt & { requested: boolean; }; reconciliation?: HistoryRepairReconciliationReport; warnings: string[]; generated_at: string; }"
         },
         {
           "classification": "supported",
@@ -6062,7 +6320,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",
@@ -6268,6 +6526,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",
@@ -6839,13 +7103,13 @@
           "signature": "(pmRoot: string, preferredFormat?: ItemFormat, typeToFolder?: Record<string, string>, warnings?: string[], schema?: RuntimeSchemaSettings) => Promise<ItemMetadata[]> | calls: (pmRoot: string, preferredFormat?: ItemFormat, typeToFolder?: Record<string, string>, warnings?: string[], schema?: RuntimeSchemaSettings) => Promise<ItemMetadata[]>"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "listAssuranceDeclarations",
           "signature": "(pmRoot: string, kind: AssuranceDeclarationKind) => Promise<{ items: AssuranceDeclaration[]; count: number; row_contract: { row_keys: [\"items\"]; jq_selector: \".items[]\"; }; }> | calls: (pmRoot: string, kind: AssuranceDeclarationKind) => Promise<{ items: AssuranceDeclaration[]; count: number; row_contract: { row_keys: [\"items\"]; jq_selector: \".items[]\"; }; }>"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "listAssuranceVerdicts",
           "signature": "(pmRoot: string, options?: { gate_id?: string; limit?: number; }) => Promise<AssuranceGateVerdict[]> | calls: (pmRoot: string, options?: { gate_id?: string; limit?: number; }) => Promise<AssuranceGateVerdict[]>"
@@ -6880,6 +7144,12 @@
           "name": "ListFullResult",
           "signature": "export interface ListFullResult extends ListVerboseResult { items: Array<ListedItem | ListTreeItem>; projection: { mode: \"full\"; fields: null; }; }"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "listInvalidProvenanceHistoryStreamIds",
+          "signature": "(pmRoot: string) => Promise<string[]> | calls: (pmRoot: string) => Promise<string[]>"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -7414,6 +7684,18 @@
           "name": "normalizeAnnotationTransportOptions",
           "signature": "(options: Record<string, unknown>) => Record<string, unknown> | calls: (options: Record<string, unknown>) => Record<string, unknown>"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "normalizeAssuranceEvaluation",
+          "signature": "<T>(operation: () => Promise<T>) => Promise<T> | calls: <T>(operation: () => Promise<T>) => Promise<T>"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "normalizeAssuranceMutation",
+          "signature": "<T>(operation: () => Promise<T>) => Promise<T> | calls: <T>(operation: () => Promise<T>) => Promise<T>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -7450,6 +7732,12 @@
           "name": "normalizeExtensionContributionInventory",
           "signature": "(value: unknown) => ExtensionContributionInventory | null | undefined | calls: (value: unknown) => ExtensionContributionInventory | null | undefined"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "normalizeInvalidHistoryProvenance",
+          "signature": "(entries: HistoryEntry[]) => ProvenanceNormalizationResult | calls: (entries: HistoryEntry[]) => ProvenanceNormalizationResult"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -7504,6 +7792,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",
@@ -7630,6 +7924,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",
@@ -8534,7 +8834,7 @@
           "classification": "supported",
           "kind": "value",
           "name": "PM_READ_OUTPUT_COMPOSITION_OPTION_FLAGS",
-          "signature": "readonly [\"--output-session\", \"--output-row-contract\"]"
+          "signature": "readonly [\"--output-session\", \"--output-cursor\", \"--output-row-contract\"]"
         },
         {
           "classification": "supported",
@@ -8570,7 +8870,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",
@@ -8584,6 +8884,12 @@
           "name": "PM_READ_ROW_JQ_SELECTOR",
           "signature": "\".row_contract.row_keys[] as $key | getpath($key | split(\\\".\\\")) | if type == \\\"array\\\" then .[] else if type == \\\"object\\\" then to_entries[] else empty end end\""
         },
+        {
+          "classification": "advanced_export",
+          "kind": "value",
+          "name": "PM_RECOVERY_REFERENCE_KINDS",
+          "signature": "readonly [\"suggested_retry\", \"candidate_command\", \"example\", \"next_step\"]"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -8726,13 +9032,13 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "PmCliErrorContext",
-          "signature": "export interface PmCliErrorContext { code?: string; reason?: string; field?: string; format?: string; format_version?: number; type?: string; required?: string; why?: string; resolved_path?: string; requested_path?: string; suggested_path?: string; examples?: string[]; nextSteps?: string[]; unmatched?: string[]; unresolved_targets?: string[]; valid_range?: { first_version: number | null; last_version: number | null; first_timestamp: string | null; last_timestamp: string | null; }; recovery?: PmCliErrorRecoveryPayload; }"
+          "signature": "export interface PmCliErrorContext { code?: string; reason?: string; field?: string; gate_id?: string; assertion_id?: string; measurement_id?: string; source_kind?: string; check?: string; format?: string; format_version?: number; type?: string; required?: string; why?: string; resolved_path?: string; requested_path?: string; suggested_path?: string; examples?: string[]; nextSteps?: string[]; unmatched?: string[]; unresolved_targets?: string[]; valid_range?: { first_version: number | null; last_version: number | null; first_timestamp: string | null; last_timestamp: string | null; }; recovery?: PmCliErrorRecoveryPayload; }"
         },
         {
           "classification": "advanced_export",
           "kind": "interface",
           "name": "PmCliErrorRecoveryPayload",
-          "signature": "export interface PmCliErrorRecoveryPayload { recovery_mode?: \"compact\"; attempted_command?: string; normalized_args?: string[]; parsed_positionals?: Array<{ role: string; value: string; }>; provided_fields?: string[]; missing?: string[]; missing_required_fields?: string[]; suggested_flags?: string[]; allowed_values?: string[]; candidate_commands?: string[]; candidate_commands_total?: number; candidate_commands_truncated?: boolean; suggested_retry?: string; retry_after_ms?: number; fallback_candidates?: Array<{ source: string; command: string; reason: string; }>; next_best_command?: string; }"
+          "signature": "export interface PmCliErrorRecoveryPayload { recovery_mode?: \"compact\"; attempted_command?: string; normalized_args?: string[]; parsed_positionals?: Array<{ role: string; value: string; }>; provided_fields?: string[]; missing?: string[]; missing_required_fields?: string[]; suggested_flags?: string[]; allowed_values?: string[]; candidate_commands?: string[]; candidate_commands_total?: number; candidate_commands_truncated?: boolean; option_scope?: \"declared_on_path\" | \"declared_elsewhere\" | \"declared_nowhere\"; suggested_retry?: string; retry_after_ms?: number; fallback_candidates?: Array<{ source: string; command: string; reason: string; }>; next_best_command?: string; }"
         },
         {
           "classification": "advanced_export",
@@ -9050,7 +9356,19 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputBudgetExceeded",
-          "signature": "export interface PmReadOutputBudgetExceeded { output_budget_exceeded: { omitted_result: true; reason: \"requested_budget_infeasible\"; restore_with: string; }; read_output: PmReadOutputReceipt; }"
+          "signature": "export interface PmReadOutputBudgetExceeded { output_budget_exceeded: { omitted_result: true; reason: \"requested_budget_infeasible\"; restore_with: string; recovery: { outputBudget: \"unbounded\"; }; }; read_output: PmReadOutputReceipt; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "PmReadOutputContinuation",
+          "signature": "export interface PmReadOutputContinuation { path: string; cursor: string; retained_rows: number; remaining_rows: number; total_rows: number; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "PmReadOutputCursorEnvelope",
+          "signature": "export interface PmReadOutputCursorEnvelope { version: 1; command: PmReadOutputSurface; path: string; offset: number; total_rows: number; fingerprint: string; }"
         },
         {
           "classification": "supported",
@@ -9074,31 +9392,31 @@
           "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; outputCursor?: string; 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",
           "kind": "type",
           "name": "PmReadOutputResultFor",
-          "signature": "export type PmReadOutputResultFor<Result, Options> = \"outputBudget\" extends keyof Options ? PmReadOutputResult<Result> : \"outputSession\" extends keyof Options ? PmReadOutputResult<Result> : Result;"
+          "signature": "export type PmReadOutputResultFor<Result, Options> = \"outputBudget\" extends keyof Options ? PmReadOutputResult<Result> : \"outputSession\" extends keyof Options ? PmReadOutputResult<Result> : \"outputCursor\" extends keyof Options ? PmReadOutputResult<Result> : Result;"
         },
         {
           "classification": "advanced_export",
@@ -9134,7 +9452,49 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputSurfaceContract",
-          "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
+          "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; budget_retention_policy: \"ordered_prefix\" | \"verdict_priority\"; }"
+        },
+        {
+          "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[]; continuation_cursor_rebased: boolean; continuation_available: boolean; recovery_budget_multiplier: 1; continuations: PmReadOutputContinuation[]; restore_with: string; recovery: { cursor: string; cli: \"--output-cursor\"; sdk: \"outputCursor\"; mcp: \"outputCursor\"; } | { cli: string; sdk: { outputBudget: number; }; mcp: { outputBudget: number; }; }; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "PmRecoveryReferenceFinding",
+          "signature": "export interface PmRecoveryReferenceFinding { kind: \"duplicate_obligation\" | \"duplicate_observation\" | \"missing_observation\" | \"unreachable_reference\" | \"undeclared_observation\"; reference_id: string; detail: string; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "type",
+          "name": "PmRecoveryReferenceKind",
+          "signature": "export type PmRecoveryReferenceKind = (typeof PM_RECOVERY_REFERENCE_KINDS)[number];"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "PmRecoveryReferenceKindCoverage",
+          "signature": "export interface PmRecoveryReferenceKindCoverage { kind: PmRecoveryReferenceKind; declared: number; observed: number; passed: number; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "PmRecoveryReferenceObligation",
+          "signature": "export interface PmRecoveryReferenceObligation { id: string; probe_id: string; kind: PmRecoveryReferenceKind; value: string; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "PmRecoveryReferenceObservation",
+          "signature": "export interface PmRecoveryReferenceObservation { id: string; reachable: boolean; proof: \"executed\" | \"declared_command_path\" | \"linked_execution\"; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "PmRecoveryReferenceReport",
+          "signature": "export interface PmRecoveryReferenceReport { ok: boolean; declared_reference_count: number; observed_reference_count: number; pass_fraction: number; coverage_by_kind: PmRecoveryReferenceKindCoverage[]; findings: PmRecoveryReferenceFinding[]; }"
         },
         {
           "classification": "advanced_export",
@@ -9170,7 +9530,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",
@@ -9611,7 +9971,7 @@
           "signature": "(result: ValidateResult) => ValidateCountsResult | calls: (result: ValidateResult) => ValidateCountsResult"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "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>>>"
@@ -9622,6 +9982,18 @@
           "name": "ProvenanceCoverageAnalytics",
           "signature": "export interface ProvenanceCoverageAnalytics { descriptors: AgentProvenanceDescriptorCoverage[]; observations: AgentProvenanceDimensionCoverage[]; inert: Array<{ harness: string; dimension: string; explicit_samples: number; }>; undeclared: string[]; warnings: string[]; window: HistoryAnalyticsWindowReceipt; }"
         },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "ProvenanceNormalizationReceipt",
+          "signature": "export interface ProvenanceNormalizationReceipt { changed: boolean; events_changed: number; observations_removed: number; invalid_values: ProvenanceValueHealthFinding[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "ProvenanceNormalizationResult",
+          "signature": "export interface ProvenanceNormalizationResult { entries: HistoryEntry[]; receipt: ProvenanceNormalizationReceipt; }"
+        },
         {
           "classification": "supported",
           "kind": "interface",
@@ -9647,13 +10019,13 @@
           "signature": "(cacheRoot: string, currentGeneration: string) => CompileCachePruneResult | calls: (cacheRoot: string, currentGeneration: string) => CompileCachePruneResult"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "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",
+          "classification": "supported",
           "kind": "function",
           "name": "putAssuranceDeclarationBundle",
           "signature": "(pmRoot: string, bundle: AssuranceDeclarationBundle, options?: AssuranceMutationOptions) => Promise<AssuranceBundleMutationReceipt> | calls: (pmRoot: string, bundle: AssuranceDeclarationBundle, options?: AssuranceMutationOptions) => Promise<AssuranceBundleMutationReceipt>"
@@ -9664,6 +10036,12 @@
           "name": "QUERY_CURSOR_CONTRACT",
           "signature": "Readonly<{ version: 1; max_length: 4096; }>"
         },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "QueryCursorEnvelope",
+          "signature": "export interface QueryCursorEnvelope { version: number; fingerprint: string; after_id: string; after_index?: number; snapshot?: string; }"
+        },
         {
           "classification": "supported",
           "kind": "interface",
@@ -9814,6 +10192,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",
@@ -9922,6 +10312,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",
@@ -9929,7 +10325,7 @@
           "signature": "(item: AfterCommandAffectedItem) => void | calls: (item: AfterCommandAffectedItem) => void"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "recordAssuranceVerdict",
           "signature": "(pmRoot: string, verdict: AssuranceGateVerdict, options?: AssuranceMutationOptions) => Promise<void> | calls: (pmRoot: string, verdict: AssuranceGateVerdict, options?: AssuranceMutationOptions) => Promise<void>"
@@ -10250,13 +10646,13 @@
           "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",
@@ -10370,7 +10766,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>; 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>; }"
+          "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",
@@ -10769,7 +11165,7 @@
           "signature": "export interface ReminderShortcutOptions extends SchedulingShortcutCommonOptions { at?: string; text?: string; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "removeAssuranceDeclaration",
           "signature": "(pmRoot: string, kind: AssuranceDeclarationKind, id: string, options?: AssuranceMutationOptions) => Promise<AssuranceMutationReceipt> | calls: (pmRoot: string, kind: AssuranceDeclarationKind, id: string, options?: AssuranceMutationOptions) => Promise<AssuranceMutationReceipt>"
@@ -11518,6 +11914,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",
@@ -11639,13 +12041,13 @@
           "signature": "(id: string, options: AppendCommandOptions, global: GlobalOptions) => Promise<AppendResult> | calls: (id: string, options: AppendCommandOptions, global: GlobalOptions) => Promise<AppendResult>"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "runAssuranceAction",
-          "signature": "(input: AssuranceActionInput, global?: Pick<GlobalOptions, \"path\">) => Promise<AssuranceActionResult> | calls: (input: AssuranceActionInput, global?: Pick<GlobalOptions, \"path\">) => Promise<AssuranceActionResult>"
+          "signature": "(input: AssuranceActionInput, global?: Pick<GlobalOptions, \"path\">, runtime?: AssuranceActionRuntimeOptions) => Promise<AssuranceActionResult> | calls: (input: AssuranceActionInput, global?: Pick<GlobalOptions, \"path\">, runtime?: AssuranceActionRuntimeOptions) => Promise<AssuranceActionResult>"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "runAssuranceDispatch",
           "signature": "(args: Record<string, unknown>, options: Record<string, unknown>, global: GlobalOptions) => Promise<AssuranceActionResult> | calls: (args: Record<string, unknown>, options: Record<string, unknown>, global: GlobalOptions) => Promise<AssuranceActionResult>"
@@ -12376,6 +12778,12 @@
           "name": "saveGraphAuditBaseline",
           "signature": "(pmRoot: string, snapshot: RelationshipAuditSnapshot) => Promise<void> | calls: (pmRoot: string, snapshot: RelationshipAuditSnapshot) => Promise<void>"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "scanExtensionHostVersions",
+          "signature": "(loadedExtensions: readonly LoadedExtension[], workspaceRoot: string, hostPackageRoot?: string) => Promise<ExtensionHostVersionCensus> | calls: (loadedExtensions: readonly LoadedExtension[], workspaceRoot: string, hostPackageRoot?: string) => Promise<ExtensionHostVersionCensus>"
+        },
         {
           "classification": "supported",
           "kind": "value",
@@ -13210,6 +13618,12 @@
           "name": "similarityAdvisoryWarnings",
           "signature": "(advisory: SimilarityAdvisory | undefined) => string[] | calls: (advisory: SimilarityAdvisory | undefined) => string[]"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "sliceReadOutputRowCollection",
+          "signature": "(result: Record<string, unknown>, rowPath: string, offset: number) => Record<string, unknown> | calls: (result: Record<string, unknown>, rowPath: string, offset: number) => Record<string, unknown>"
+        },
         {
           "classification": "advanced_export",
           "kind": "value",
@@ -13778,7 +14192,7 @@
           "classification": "supported",
           "kind": "function",
           "name": "toContextRankingSummary",
-          "signature": "<TItem>(report: ContextRelevanceReport<TItem>, featureStore?: ContextSignalStoreReadResult) => ContextRankingSummary | calls: <TItem>(report: ContextRelevanceReport<TItem>, featureStore?: ContextSignalStoreReadResult) => ContextRankingSummary"
+          "signature": "<TItem>(report: ContextRelevanceReport<TItem>, featureStore?: ContextSignalStoreReadResult, servedItemIds?: ReadonlySet<string>) => ContextRankingSummary | calls: <TItem>(report: ContextRelevanceReport<TItem>, featureStore?: ContextSignalStoreReadResult, servedItemIds?: ReadonlySet<string>) => ContextRankingSummary"
         },
         {
           "classification": "advanced_export",
@@ -14207,13 +14621,13 @@
           "signature": "CliFlagContract[]"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "validateAssertionDefinition",
           "signature": "(definition: AssuranceAssertionDefinition) => AssuranceAssertionDefinition | calls: (definition: AssuranceAssertionDefinition) => AssuranceAssertionDefinition"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "validateAssuranceDocument",
           "signature": "(document: AssuranceDocument) => AssuranceDocument | calls: (document: AssuranceDocument) => AssuranceDocument"
@@ -14249,7 +14663,7 @@
           "signature": "export interface ValidateFixesSummary { mode: \"apply\" | \"dry_run\"; auto_fix: boolean; prune_missing: boolean; granted_fix_scopes: string[]; planned_count: number; applied_count: number; gated_count: number; failed_count: number; planned_fixes: Array<Record<string, unknown>>; applied_fixes: Array<Record<string, unknown>>; gated_fixes: Array<Record<string, unknown>>; failed_fixes: Array<Record<string, unknown>>; }"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "validateGateDefinition",
           "signature": "(definition: AssuranceGateDefinition) => AssuranceGateDefinition | calls: (definition: AssuranceGateDefinition) => AssuranceGateDefinition"
@@ -14267,7 +14681,7 @@
           "signature": "(paths: string[], workspaceRoot?: string) => Promise<LinkedPathValidation> | calls: (paths: string[], workspaceRoot?: string) => Promise<LinkedPathValidation>"
         },
         {
-          "classification": "advanced_export",
+          "classification": "supported",
           "kind": "function",
           "name": "validateMeasurementDefinition",
           "signature": "(definition: AssuranceMeasurementDefinition) => AssuranceMeasurementDefinition | calls: (definition: AssuranceMeasurementDefinition) => AssuranceMeasurementDefinition"
@@ -14386,6 +14800,12 @@
           "name": "verifyHistoryEntries",
           "signature": "(history: HistoryEntry[], currentDocument?: ItemDocument) => HistoryVerificationResult | calls: (history: HistoryEntry[], currentDocument?: ItemDocument) => HistoryVerificationResult"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "verifyPmRecoveryReferences",
+          "signature": "(obligations: readonly PmRecoveryReferenceObligation[], observations: readonly PmRecoveryReferenceObservation[]) => PmRecoveryReferenceReport | calls: (obligations: readonly PmRecoveryReferenceObligation[], observations: readonly PmRecoveryReferenceObservation[]) => PmRecoveryReferenceReport"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -14476,6 +14896,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",
@@ -14488,6 +14914,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",
@@ -14552,7 +14996,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",
@@ -16138,6 +16582,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",
@@ -16336,6 +16786,12 @@
           "name": "decodeContextIntentCursor",
           "signature": "(cursor: string) => ContextIntentCursorEnvelope | undefined | calls: (cursor: string) => ContextIntentCursorEnvelope | undefined"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "decodeReadOutputContinuationCursor",
+          "signature": "(raw: string) => PmReadOutputCursorEnvelope | calls: (raw: string) => PmReadOutputCursorEnvelope"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
@@ -16384,6 +16840,12 @@
           "name": "DUPLICATES_FLAG_CONTRACTS",
           "signature": "CliFlagContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "encodeReadOutputContinuationCursor",
+          "signature": "(cursor: Omit<PmReadOutputCursorEnvelope, \"version\">) => string | calls: (cursor: Omit<PmReadOutputCursorEnvelope, \"version\">) => string"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
@@ -16738,6 +17200,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",
@@ -16916,7 +17384,7 @@
           "classification": "contract_data",
           "kind": "value",
           "name": "PM_READ_OUTPUT_COMPOSITION_OPTION_FLAGS",
-          "signature": "readonly [\"--output-session\", \"--output-row-contract\"]"
+          "signature": "readonly [\"--output-session\", \"--output-cursor\", \"--output-row-contract\"]"
         },
         {
           "classification": "contract_data",
@@ -16940,7 +17408,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",
@@ -17240,7 +17708,19 @@
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmReadOutputBudgetExceeded",
-          "signature": "export interface PmReadOutputBudgetExceeded { output_budget_exceeded: { omitted_result: true; reason: \"requested_budget_infeasible\"; restore_with: string; }; read_output: PmReadOutputReceipt; }"
+          "signature": "export interface PmReadOutputBudgetExceeded { output_budget_exceeded: { omitted_result: true; reason: \"requested_budget_infeasible\"; restore_with: string; recovery: { outputBudget: \"unbounded\"; }; }; read_output: PmReadOutputReceipt; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmReadOutputContinuation",
+          "signature": "export interface PmReadOutputContinuation { path: string; cursor: string; retained_rows: number; remaining_rows: number; total_rows: number; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmReadOutputCursorEnvelope",
+          "signature": "export interface PmReadOutputCursorEnvelope { version: 1; command: PmReadOutputSurface; path: string; offset: number; total_rows: number; fingerprint: string; }"
         },
         {
           "classification": "contract_data",
@@ -17264,31 +17744,31 @@
           "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; outputCursor?: string; 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",
           "kind": "type",
           "name": "PmReadOutputResultFor",
-          "signature": "export type PmReadOutputResultFor<Result, Options> = \"outputBudget\" extends keyof Options ? PmReadOutputResult<Result> : \"outputSession\" extends keyof Options ? PmReadOutputResult<Result> : Result;"
+          "signature": "export type PmReadOutputResultFor<Result, Options> = \"outputBudget\" extends keyof Options ? PmReadOutputResult<Result> : \"outputSession\" extends keyof Options ? PmReadOutputResult<Result> : \"outputCursor\" extends keyof Options ? PmReadOutputResult<Result> : Result;"
         },
         {
           "classification": "contract_data",
@@ -17312,7 +17792,13 @@
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmReadOutputSurfaceContract",
-          "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
+          "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; budget_retention_policy: \"ordered_prefix\" | \"verdict_priority\"; }"
+        },
+        {
+          "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[]; continuation_cursor_rebased: boolean; continuation_available: boolean; recovery_budget_multiplier: 1; continuations: PmReadOutputContinuation[]; restore_with: string; recovery: { cursor: string; cli: \"--output-cursor\"; sdk: \"outputCursor\"; mcp: \"outputCursor\"; } | { cli: string; sdk: { outputBudget: number; }; mcp: { outputBudget: number; }; }; }"
         },
         {
           "classification": "contract_data",
@@ -17330,7 +17816,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",
@@ -17380,6 +17866,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",
@@ -18088,6 +18580,12 @@
           "name": "CURRENT_ITEM_FORMAT_VERSION",
           "signature": "1"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "decodeReadOutputContinuationCursor",
+          "signature": "(raw: string) => PmReadOutputCursorEnvelope | calls: (raw: string) => PmReadOutputCursorEnvelope"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -18190,6 +18688,12 @@
           "name": "emptyImportedDocument",
           "signature": "() => ItemDocument | calls: () => ItemDocument"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "encodeReadOutputContinuationCursor",
+          "signature": "(cursor: Omit<PmReadOutputCursorEnvelope, \"version\">) => string | calls: (cursor: Omit<PmReadOutputCursorEnvelope, \"version\">) => string"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -18488,7 +18992,7 @@
           "classification": "supported",
           "kind": "value",
           "name": "PM_READ_OUTPUT_COMPOSITION_OPTION_FLAGS",
-          "signature": "readonly [\"--output-session\", \"--output-row-contract\"]"
+          "signature": "readonly [\"--output-session\", \"--output-cursor\", \"--output-row-contract\"]"
         },
         {
           "classification": "supported",
@@ -18548,7 +19052,19 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputBudgetExceeded",
-          "signature": "export interface PmReadOutputBudgetExceeded { output_budget_exceeded: { omitted_result: true; reason: \"requested_budget_infeasible\"; restore_with: string; }; read_output: PmReadOutputReceipt; }"
+          "signature": "export interface PmReadOutputBudgetExceeded { output_budget_exceeded: { omitted_result: true; reason: \"requested_budget_infeasible\"; restore_with: string; recovery: { outputBudget: \"unbounded\"; }; }; read_output: PmReadOutputReceipt; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "PmReadOutputContinuation",
+          "signature": "export interface PmReadOutputContinuation { path: string; cursor: string; retained_rows: number; remaining_rows: number; total_rows: number; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "PmReadOutputCursorEnvelope",
+          "signature": "export interface PmReadOutputCursorEnvelope { version: 1; command: PmReadOutputSurface; path: string; offset: number; total_rows: number; fingerprint: string; }"
         },
         {
           "classification": "supported",
@@ -18560,31 +19076,31 @@
           "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; outputCursor?: string; 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",
           "kind": "type",
           "name": "PmReadOutputResultFor",
-          "signature": "export type PmReadOutputResultFor<Result, Options> = \"outputBudget\" extends keyof Options ? PmReadOutputResult<Result> : \"outputSession\" extends keyof Options ? PmReadOutputResult<Result> : Result;"
+          "signature": "export type PmReadOutputResultFor<Result, Options> = \"outputBudget\" extends keyof Options ? PmReadOutputResult<Result> : \"outputSession\" extends keyof Options ? PmReadOutputResult<Result> : \"outputCursor\" extends keyof Options ? PmReadOutputResult<Result> : Result;"
         },
         {
           "classification": "supported",
@@ -18614,7 +19130,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputSurfaceContract",
-          "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
+          "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; budget_retention_policy: \"ordered_prefix\" | \"verdict_priority\"; }"
         },
         {
           "classification": "supported",
@@ -18908,7 +19424,7 @@
           "classification": "supported",
           "kind": "value",
           "name": "_testOnlyHealthCommand",
-          "signature": "{ buildExtensionHealthTriageSummary: typeof buildExtensionHealthTriageSummary; buildCapabilityContractMetadata: typeof buildCapabilityContractMetadata; buildStaleInProgressHealthSummary: typeof buildStaleInProgressHealthSummary; buildVectorizationProviderDetails: typeof buildVectorizationProviderDetails; collectUnknownCapabilityGuidance: typeof collectUnknownCapabilityGuidance; isAdvisoryHealthWarning: typeof isAdvisoryHealthWarning; isDirectory: typeof isDirectory; isExpectedUnmanagedExtension: typeof isExpectedUnmanagedExtension; listItemDocumentPaths: typeof listItemDocumentPaths; normalizeEndpointForDisplay: typeof normalizeEndpointForDisplay; normalizeExtensionNameForMatch: typeof normalizeExtensionNameForMatch; parseTelemetryQueue: typeof parseTelemetryQueue; probeTelemetryEndpointHealth: typeof probeTelemetryEndpointHealth; projectHealthResult: typeof projectHealthResult; resolveActionableUnknownAuthorEventCount: (authorAttribution: HistoryAuthorAttributionScan) => number; resolveHealthSkipPolicy: typeof resolveHealthSkipPolicy; resolveUnknownAuthorEventCount: (authorAttribution: HistoryAuthorAttributionScan) => number; resolveVectorRefreshPolicy: typeof resolveVectorRefreshPolicy; selectStaleItemDetail: typeof selectStaleItemDetail; summarizeHealthCheckDetails: typeof summarizeHealthCheckDetails; summarizeExtensionList: typeof summarizeExtensionList; summarizeRecordList: typeof summarizeRecordList; summarizeStringList: typeof summarizeStringList; telemetryEnvFlagEnabled: typeof telemetryEnvFlagEnabled; warningCode: typeof warningCode; }"
+          "signature": "{ buildExtensionHealthTriageSummary: typeof buildExtensionHealthTriageSummary; buildHealthFindings: typeof buildHealthFindings; buildCapabilityContractMetadata: typeof buildCapabilityContractMetadata; buildStaleInProgressHealthSummary: typeof buildStaleInProgressHealthSummary; buildVectorizationProviderDetails: typeof buildVectorizationProviderDetails; collectUnknownCapabilityGuidance: typeof collectUnknownCapabilityGuidance; isAdvisoryHealthWarning: typeof isAdvisoryHealthWarning; isDirectory: typeof isDirectory; isExpectedUnmanagedExtension: typeof isExpectedUnmanagedExtension; listItemDocumentPaths: typeof listItemDocumentPaths; normalizeEndpointForDisplay: typeof normalizeEndpointForDisplay; normalizeExtensionNameForMatch: typeof normalizeExtensionNameForMatch; parseTelemetryQueue: typeof parseTelemetryQueue; probeTelemetryEndpointHealth: typeof probeTelemetryEndpointHealth; projectHealthResult: typeof projectHealthResult; resolveActionableUnknownAuthorEventCount: (authorAttribution: HistoryAuthorAttributionScan) => number; resolveHealthSkipPolicy: typeof resolveHealthSkipPolicy; resolveUnknownAuthorEventCount: (authorAttribution: HistoryAuthorAttributionScan) => number; resolveVectorRefreshPolicy: typeof resolveVectorRefreshPolicy; selectStaleItemDetail: typeof selectStaleItemDetail; summarizeHealthCheckDetails: typeof summarizeHealthCheckDetails; summarizeExtensionList: typeof summarizeExtensionList; summarizeRecordList: typeof summarizeRecordList; summarizeStringList: typeof summarizeStringList; telemetryEnvFlagEnabled: typeof telemetryEnvFlagEnabled; warningCode: typeof warningCode; }"
         },
         {
           "classification": "supported",
@@ -18922,6 +19438,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": "supported",
+          "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",
@@ -18940,36 +19462,462 @@
           "name": "acknowledgeUnknownAuthorHistoryEventsFromTransport",
           "signature": "(pmRoot: string, input: Record<string, unknown>) => Promise<{ acknowledged: number; history_path: string; }> | calls: (pmRoot: string, input: Record<string, unknown>) => Promise<{ acknowledged: number; history_path: string; }>"
         },
+        {
+          "classification": "supported",
+          "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": "supported",
           "kind": "value",
-          "name": "classifyHistoryAuthorEvent",
-          "signature": "(parsed: unknown) => \"actionable_unknown\" | \"attributed\" | \"legacy_unknown\" | calls: (parsed: unknown) => \"attributed\" | \"legacy_unknown\" | \"actionable_unknown\""
+          "name": "ASSURANCE_ACTIONS",
+          "signature": "readonly [\"list\", \"show\", \"put\", \"remove\", \"run\", \"verdicts\", \"presets\", \"apply\", \"derive\", \"promote\"]"
         },
         {
           "classification": "supported",
-          "kind": "interface",
-          "name": "DuplicateCluster",
-          "signature": "export interface DuplicateCluster { id: string; items: Omit<SimilarItemMatch, \"score\" | \"reason\">[]; matches: DuplicateClusterMatch[]; max_score: number; }"
+          "kind": "value",
+          "name": "ASSURANCE_DECLARATION_KINDS",
+          "signature": "readonly [\"measurement\", \"assertion\", \"gate\"]"
         },
         {
           "classification": "supported",
-          "kind": "interface",
-          "name": "DuplicateClusterMatch",
-          "signature": "export interface DuplicateClusterMatch { left_id: string; right_id: string; score: number; reason: SimilarItemMatch[\"reason\"]; }"
+          "kind": "value",
+          "name": "ASSURANCE_DOCUMENT_VERSION",
+          "signature": "1"
         },
         {
           "classification": "supported",
-          "kind": "interface",
-          "name": "DuplicateClustersResult",
-          "signature": "export interface DuplicateClustersResult { clusters: DuplicateCluster[]; count: number; threshold: number; source: \"metadata_scan\"; filters: { statuses: string[] | null; since: string | null; }; cost: { item_count: number; candidate_pairs: number; scored_pairs: number; }; }"
+          "kind": "value",
+          "name": "ASSURANCE_GATE_TRIGGERS",
+          "signature": "readonly [\"pre-commit\", \"pre-push\", \"pre-merge\", \"ci\", \"pre-release\", \"post-release\", \"scheduled\", \"on-claim\", \"on-close\"]"
         },
         {
           "classification": "supported",
-          "kind": "interface",
+          "kind": "value",
+          "name": "ASSURANCE_MEASUREMENT_SOURCE_KINDS",
+          "signature": "readonly [\"items\", \"dependency_kind\", \"graph\", \"validate\", \"health\", \"history\", \"links\", \"provider\", \"derived\"]"
+        },
+        {
+          "classification": "supported",
+          "kind": "value",
+          "name": "ASSURANCE_PRESET_IDS",
+          "signature": "readonly [\"software-delivery\", \"research\", \"agent-evaluation\", \"operations\"]"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceAction",
+          "signature": "export type AssuranceAction = (typeof ASSURANCE_ACTIONS)[number];"
+        },
+        {
+          "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; preset?: string; owner?: string; apply?: boolean; enforcement?: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceActionResult",
+          "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",
+          "kind": "interface",
+          "name": "AssuranceActionRuntimeOptions",
+          "signature": "export interface AssuranceActionRuntimeOptions { workspace?: Omit<CreateAssuranceWorkspaceContextOptions, \"tree_id\" | \"trigger\">; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceArithmeticExpression",
+          "signature": "export interface AssuranceArithmeticExpression { operator: \"add\" | \"subtract\" | \"multiply\" | \"divide\" | \"min\" | \"max\"; operands: AssuranceDerivedExpression[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceAssertionDefinition",
+          "signature": "export interface AssuranceAssertionDefinition { id: string; measurement_id: string; owner_item_id: string; scope: AssuranceScope; ceiling?: number; floor?: number; equals?: AssuranceValue; zero?: true; monotone_nondecreasing?: number; monotone_nonincreasing?: number; subset_of?: string[]; lifetime?: AssuranceLifetime; retire_reason?: string; enforcement: AssuranceEnforcement; negative_control: AssuranceNegativeControl; authorization_decision?: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "assuranceAssertionUpdateIsLoosening",
+          "signature": "(before: AssuranceAssertionDefinition, after: AssuranceAssertionDefinition) => boolean | calls: (before: AssuranceAssertionDefinition, after: AssuranceAssertionDefinition) => boolean"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceAssertionVerdict",
+          "signature": "export interface AssuranceAssertionVerdict { assertion_id: string; measurement_id: string; measurement_definition_fingerprint: string; scope: AssuranceScope; population_size: number; observed: AssuranceValue; bound: AssuranceBound; distance: number | null; verdict: \"pass\" | \"fail\" | \"retired\"; enforcement: AssuranceEnforcement; negative_control_proven: boolean; cost: AssuranceMeasurementCost; contributors: string[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceBound",
+          "signature": "export interface AssuranceBound { polarity: \"ceiling\" | \"floor\" | \"equals\" | \"zero\" | \"monotone_nondecreasing\" | \"monotone_nonincreasing\" | \"subset_of\"; value: AssuranceValue; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceBundleMutationReceipt",
+          "signature": "export interface AssuranceBundleMutationReceipt { changed: boolean; created_ids: string[]; unchanged_ids: string[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceDeclaration",
+          "signature": "export type AssuranceDeclaration = AssuranceMeasurementDefinition | AssuranceAssertionDefinition | AssuranceGateDefinition;"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceDeclarationBundle",
+          "signature": "export interface AssuranceDeclarationBundle { measurements: AssuranceMeasurementDefinition[]; assertions: AssuranceAssertionDefinition[]; gates: AssuranceGateDefinition[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceDeclarationKind",
+          "signature": "export type AssuranceDeclarationKind = \"measurement\" | \"assertion\" | \"gate\";"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceDependencyKindSource",
+          "signature": "export interface AssuranceDependencyKindSource { kind: \"dependency_kind\"; dependency_kind: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceDependencyRecord",
+          "signature": "export interface AssuranceDependencyRecord { id: string; kind: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceDerivedExpression",
+          "signature": "export type AssuranceDerivedExpression = AssuranceMeasurementReference | AssuranceLiteralExpression | AssuranceArithmeticExpression;"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceDerivedProposal",
+          "signature": "export interface AssuranceDerivedProposal { id: string; population_size: number; scope: AssuranceScope; observed: number; declarations: AssuranceDeclarationBundle; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceDerivedSource",
+          "signature": "export interface AssuranceDerivedSource { kind: \"derived\"; expression: AssuranceDerivedExpression; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceDocument",
+          "signature": "export interface AssuranceDocument { version: typeof ASSURANCE_DOCUMENT_VERSION; measurements: AssuranceMeasurementDefinition[]; assertions: AssuranceAssertionDefinition[]; gates: AssuranceGateDefinition[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceEnforcement",
+          "signature": "export type AssuranceEnforcement = \"block\" | \"warn\" | \"observe\";"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceEvaluationContext",
+          "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": "supported",
+          "kind": "interface",
+          "name": "AssuranceEvaluationRefusalContext",
+          "signature": "export interface AssuranceEvaluationRefusalContext { gate_id?: string; assertion_id?: string; measurement_id?: string; source_kind?: string; field?: string; check?: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "class",
+          "name": "AssuranceEvaluationRefusalError",
+          "signature": "export declare class AssuranceEvaluationRefusalError extends TypeError { readonly context: AssuranceEvaluationRefusalContext; constructor(message: string, context?: AssuranceEvaluationRefusalContext); }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceExternalMeasurementResult",
+          "signature": "export interface AssuranceExternalMeasurementResult { value: AssuranceValue; population_size: number; cost: number; contributors?: string[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceGateDefinition",
+          "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": "supported",
+          "kind": "type",
+          "name": "AssuranceGateTrigger",
+          "signature": "export type AssuranceGateTrigger = (typeof ASSURANCE_GATE_TRIGGERS)[number];"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceGateVerdict",
+          "signature": "export interface AssuranceGateVerdict { gate_id: string; tree_id: string; trigger: AssuranceGateTrigger; dry_run: boolean; evaluated_at: string; verdict: \"pass\" | \"warn\" | \"block\"; exit_code: 0 | 1; assertions: AssuranceAssertionVerdict[]; assertions_total: number; row_contract: { row_keys: [ \"assertions\" ]; jq_selector: \".assertions[]\"; }; cost: AssuranceMeasurementCost; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceGraphSource",
+          "signature": "export interface AssuranceGraphSource { kind: \"graph\"; operation: string; field: string; parameters?: Record<string, string | number | boolean>; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceHealthSource",
+          "signature": "export interface AssuranceHealthSource { kind: \"health\"; check: string; field: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceHistoryRecord",
+          "signature": "export interface AssuranceHistoryRecord { op: string; author: string; agent_harness?: string; agent_model?: string; [key: string]: unknown; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceHistorySource",
+          "signature": "export interface AssuranceHistorySource { kind: \"history\"; op?: string; author?: string; harness?: string; model?: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceItemRecord",
+          "signature": "export interface AssuranceItemRecord { id: string; status: string; type: string; tags?: string[]; priority?: string | number; dependencies?: AssuranceDependencyRecord[]; files?: object[]; tests?: object[]; docs?: object[]; [key: string]: unknown; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceItemsSource",
+          "signature": "export interface AssuranceItemsSource { kind: \"items\"; statuses?: string[]; types?: string[]; tags?: string[]; field?: string; equals?: string | number | boolean | null; state?: \"present\" | \"missing\"; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceLifetime",
+          "signature": "export type AssuranceLifetime = \"hold\" | \"retire\";"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceLinksSource",
+          "signature": "export interface AssuranceLinksSource { kind: \"links\"; link: \"files\" | \"tests\" | \"docs\"; state: \"present\" | \"missing\"; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceLiteralExpression",
+          "signature": "export interface AssuranceLiteralExpression { literal: number; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceMeasurementCost",
+          "signature": "export interface AssuranceMeasurementCost { units: number; items_scanned: number; history_entries: number; provider_calls: number; duration_ms: number; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceMeasurementDefinition",
+          "signature": "export interface AssuranceMeasurementDefinition { id: string; description?: string; source: AssuranceMeasurementSource; max_cost?: number; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceMeasurementReference",
+          "signature": "export interface AssuranceMeasurementReference { measurement: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceMeasurementResult",
+          "signature": "export interface AssuranceMeasurementResult { id: string; definition_fingerprint: string; value: AssuranceValue; population_size: number; cost: AssuranceMeasurementCost; contributors: string[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceMeasurementSource",
+          "signature": "export type AssuranceMeasurementSource = AssuranceItemsSource | AssuranceDependencyKindSource | AssuranceGraphSource | AssuranceValidateSource | AssuranceHealthSource | AssuranceHistorySource | AssuranceLinksSource | AssuranceProviderSource | AssuranceDerivedSource;"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceMutationOptions",
+          "signature": "export interface AssuranceMutationOptions { author?: string; message?: string; authorized_decision_ids?: string[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceMutationReceipt",
+          "signature": "export interface AssuranceMutationReceipt { changed: boolean; action: \"created\" | \"updated\" | \"removed\"; kind: AssuranceDeclarationKind; id: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "class",
+          "name": "AssuranceMutationRefusalError",
+          "signature": "export declare class AssuranceMutationRefusalError extends TypeError { constructor(message: string); }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceNegativeControl",
+          "signature": "export interface AssuranceNegativeControl { cases: AssuranceNegativeControlCase[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceNegativeControlCase",
+          "signature": "export interface AssuranceNegativeControlCase { observed: AssuranceValue; expected: \"pass\" | \"fail\"; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssurancePreset",
+          "signature": "export interface AssurancePreset { id: AssurancePresetId; title: string; description: string; declarations: AssuranceDeclarationBundle; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssurancePresetId",
+          "signature": "export type AssurancePresetId = (typeof ASSURANCE_PRESET_IDS)[number];"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceProviderCostClass",
+          "signature": "export type AssuranceProviderCostClass = \"low\" | \"medium\" | \"high\";"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceProviderResolver",
+          "signature": "export type AssuranceProviderResolver = (source: AssuranceProviderSource) => Promise<AssuranceExternalMeasurementResult>;"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceProviderSource",
+          "signature": "export interface AssuranceProviderSource { kind: \"provider\"; provider: string; key: string; parameters?: Record<string, string | number | boolean | null>; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceScope",
+          "signature": "export type AssuranceScope = { kind: \"all\"; } | { kind: \"active\"; } | { kind: \"filter\"; measurement_id: string; };"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceSourceResolutionContext",
+          "signature": "export interface AssuranceSourceResolutionContext { measurement_id?: string; source_kind: string; field: string; check?: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "class",
+          "name": "AssuranceSourceResolutionError",
+          "signature": "export declare class AssuranceSourceResolutionError extends TypeError { readonly measurement_id?: string; readonly source_kind: string; readonly field: string; readonly check?: string; constructor(message: string, context: AssuranceSourceResolutionContext); }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "AssuranceValidateSource",
+          "signature": "export interface AssuranceValidateSource { kind: \"validate\"; check: string; field: string; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "type",
+          "name": "AssuranceValue",
+          "signature": "export type AssuranceValue = number | string[];"
+        },
+        {
+          "classification": "supported",
+          "kind": "value",
+          "name": "classifyHistoryAuthorEvent",
+          "signature": "(parsed: unknown) => \"actionable_unknown\" | \"attributed\" | \"legacy_unknown\" | calls: (parsed: unknown) => \"attributed\" | \"legacy_unknown\" | \"actionable_unknown\""
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "createAssurancePreset",
+          "signature": "(id: AssurancePresetId, ownerItemId: string) => AssurancePreset | calls: (id: AssurancePresetId, ownerItemId: string) => AssurancePreset"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "createAssuranceWorkspaceContext",
+          "signature": "(pmRoot: string, options?: CreateAssuranceWorkspaceContextOptions) => Promise<AssuranceEvaluationContext> | calls: (pmRoot: string, options?: CreateAssuranceWorkspaceContextOptions) => Promise<AssuranceEvaluationContext>"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "CreateAssuranceWorkspaceContextOptions",
+          "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": "supported",
+          "kind": "function",
+          "name": "createEmptyAssuranceDocument",
+          "signature": "() => AssuranceDocument | calls: () => AssuranceDocument"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "deriveAssuranceProposals",
+          "signature": "(context: AssuranceEvaluationContext, ownerItemId: string) => Promise<AssuranceDerivedProposal[]> | calls: (context: AssuranceEvaluationContext, ownerItemId: string) => Promise<AssuranceDerivedProposal[]>"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "DuplicateCluster",
+          "signature": "export interface DuplicateCluster { id: string; items: Omit<SimilarItemMatch, \"score\" | \"reason\">[]; matches: DuplicateClusterMatch[]; max_score: number; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "DuplicateClusterMatch",
+          "signature": "export interface DuplicateClusterMatch { left_id: string; right_id: string; score: number; reason: SimilarItemMatch[\"reason\"]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "DuplicateClustersResult",
+          "signature": "export interface DuplicateClustersResult { clusters: DuplicateCluster[]; count: number; threshold: number; source: \"metadata_scan\"; filters: { statuses: string[] | null; since: string | null; }; cost: { item_count: number; candidate_pairs: number; scored_pairs: number; }; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
           "name": "DuplicateItemIdRow",
           "signature": "export interface DuplicateItemIdRow { id: string; paths: string[]; }"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "evaluateAssuranceAssertion",
+          "signature": "(definition: AssuranceAssertionDefinition, measurement: AssuranceMeasurementResult, options?: { owner_terminal?: boolean; }) => AssuranceAssertionVerdict | calls: (definition: AssuranceAssertionDefinition, measurement: AssuranceMeasurementResult, options?: { owner_terminal?: boolean; }) => AssuranceAssertionVerdict"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "evaluateAssuranceGate",
+          "signature": "(gateId: string, document: AssuranceDocument, context: AssuranceEvaluationContext, options: { trigger: AssuranceGateTrigger; dry_run?: boolean; }) => Promise<AssuranceGateVerdict> | calls: (gateId: string, document: AssuranceDocument, context: AssuranceEvaluationContext, options: { trigger: AssuranceGateTrigger; dry_run?: boolean; }) => Promise<AssuranceGateVerdict>"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "evaluateMeasurement",
+          "signature": "(definition: AssuranceMeasurementDefinition, context: AssuranceEvaluationContext, definitions?: AssuranceMeasurementDefinition[]) => Promise<AssuranceMeasurementResult> | calls: (definition: AssuranceMeasurementDefinition, context: AssuranceEvaluationContext, definitions?: AssuranceMeasurementDefinition[]) => Promise<AssuranceMeasurementResult>"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -18988,6 +19936,18 @@
           "name": "evaluateSimilarityGovernance",
           "signature": "(candidate: SimilarItemCandidate, options: FindSimilarItemsOptions & { mode: \"advisory\" | \"off\" | \"strict\"; allowDuplicate?: boolean; }) => Promise<SimilarityAdvisory | undefined> | calls: (candidate: SimilarItemCandidate, options: FindSimilarItemsOptions & { mode: \"off\" | \"advisory\" | \"strict\"; allowDuplicate?: boolean; }) => Promise<SimilarityAdvisory | undefined>"
         },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "ExtensionHostVersionCensus",
+          "signature": "export interface ExtensionHostVersionCensus { host_version: string | null; copies: ExtensionHostVersionCopy[]; mismatches: ExtensionHostVersionCopy[]; warnings: string[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "ExtensionHostVersionCopy",
+          "signature": "export interface ExtensionHostVersionCopy { version: string; path: string; layout: \"host\" | \"npm\" | \"pnpm\" | \"other\"; consumers: string[]; }"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -19042,6 +20002,12 @@
           "name": "GcTransactionsSummary",
           "signature": "export interface GcTransactionsSummary { scanned: number; removed: number; retained: number; retention_days: number; }"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "getAssuranceDeclaration",
+          "signature": "(pmRoot: string, kind: AssuranceDeclarationKind, id: string) => Promise<AssuranceDeclaration> | calls: (pmRoot: string, kind: AssuranceDeclarationKind, id: string) => Promise<AssuranceDeclaration>"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -19054,11 +20020,17 @@
           "name": "HealthCheck",
           "signature": "export interface HealthCheck { name: \"settings\" | \"directories\" | \"settings_values\" | \"telemetry\" | \"extensions\" | \"storage\" | \"locks\" | \"integrity\" | \"history_drift\" | \"vectorization\"; status: HealthStatus; ok: boolean; details: Record<string, unknown>; }"
         },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "HealthFinding",
+          "signature": "export interface HealthFinding { warning: string; code: string; check: HealthCheck[\"name\"]; severity: \"advisory\" | \"gate_failing\"; remediation?: string; disposition?: \"no_safe_automatic_remediation\"; }"
+        },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "HealthResult",
-          "signature": "export interface HealthResult { ok: boolean; checks: HealthCheck[]; warning_count?: number; warnings: string[]; projection?: { mode: \"brief\" | \"summary\" | \"full\"; warning_count: number; warnings_truncated: boolean; detail_limit: number; omitted_checks?: HealthCheck[\"name\"][]; }; generated_at: string; }"
+          "signature": "export interface HealthResult { ok: boolean; checks: HealthCheck[]; warning_count?: number; warning_limit?: number; warnings_truncated?: boolean; warnings: string[]; findings: HealthFinding[]; failed_because: string[]; projection?: { mode: \"brief\" | \"summary\" | \"full\"; warning_count: number; warnings_truncated: boolean; detail_limit: number; omitted_checks?: HealthCheck[\"name\"][]; }; generated_at: string; }"
         },
         {
           "classification": "supported",
@@ -19114,6 +20086,24 @@
           "name": "jaccardSimilarity",
           "signature": "(leftTokens: readonly string[], rightTokens: readonly string[]) => number | calls: (leftTokens: readonly string[], rightTokens: readonly string[]) => number"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "listAssuranceDeclarations",
+          "signature": "(pmRoot: string, kind: AssuranceDeclarationKind) => Promise<{ items: AssuranceDeclaration[]; count: number; row_contract: { row_keys: [\"items\"]; jq_selector: \".items[]\"; }; }> | calls: (pmRoot: string, kind: AssuranceDeclarationKind) => Promise<{ items: AssuranceDeclaration[]; count: number; row_contract: { row_keys: [\"items\"]; jq_selector: \".items[]\"; }; }>"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "listAssuranceVerdicts",
+          "signature": "(pmRoot: string, options?: { gate_id?: string; limit?: number; }) => Promise<AssuranceGateVerdict[]> | calls: (pmRoot: string, options?: { gate_id?: string; limit?: number; }) => Promise<AssuranceGateVerdict[]>"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "listInvalidProvenanceHistoryStreamIds",
+          "signature": "(pmRoot: string) => Promise<string[]> | calls: (pmRoot: string) => Promise<string[]>"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -19144,6 +20134,24 @@
           "name": "MutationHistoryScope",
           "signature": "export type MutationHistoryScope = \"item\" | \"workspace\" | \"history\" | \"conditional\";"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "normalizeAssuranceEvaluation",
+          "signature": "<T>(operation: () => Promise<T>) => Promise<T> | calls: <T>(operation: () => Promise<T>) => Promise<T>"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "normalizeAssuranceMutation",
+          "signature": "<T>(operation: () => Promise<T>) => Promise<T> | calls: <T>(operation: () => Promise<T>) => Promise<T>"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "normalizeInvalidHistoryProvenance",
+          "signature": "(entries: HistoryEntry[]) => ProvenanceNormalizationResult | calls: (entries: HistoryEntry[]) => ProvenanceNormalizationResult"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -19180,6 +20188,24 @@
           "name": "projectValidateCounts",
           "signature": "(result: ValidateResult) => ValidateCountsResult | calls: (result: ValidateResult) => ValidateCountsResult"
         },
+        {
+          "classification": "supported",
+          "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": "supported",
+          "kind": "interface",
+          "name": "ProvenanceNormalizationReceipt",
+          "signature": "export interface ProvenanceNormalizationReceipt { changed: boolean; events_changed: number; observations_removed: number; invalid_values: ProvenanceValueHealthFinding[]; }"
+        },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "ProvenanceNormalizationResult",
+          "signature": "export interface ProvenanceNormalizationResult { entries: HistoryEntry[]; receipt: ProvenanceNormalizationReceipt; }"
+        },
         {
           "classification": "supported",
           "kind": "interface",
@@ -19198,6 +20224,24 @@
           "name": "ProvenanceValueHealthFinding",
           "signature": "export interface ProvenanceValueHealthFinding { harness: string; dimension: string; kind: \"boolean\" | \"single_digit\"; count: number; }"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "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": "supported",
+          "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": "function",
+          "name": "recordAssuranceVerdict",
+          "signature": "(pmRoot: string, verdict: AssuranceGateVerdict, options?: AssuranceMutationOptions) => Promise<void> | calls: (pmRoot: string, verdict: AssuranceGateVerdict, options?: AssuranceMutationOptions) => Promise<void>"
+        },
         {
           "classification": "supported",
           "kind": "interface",
@@ -19210,6 +20254,12 @@
           "name": "ReindexResult",
           "signature": "export interface ReindexResult { ok: boolean; mode: ReindexMode; total_items: number; semantic: { enabled: boolean; stale_items: number; unchanged_items: number; embedded_items: number; vector_upserted: number; batches_completed: number; }; artifacts: { manifest: string; embeddings: string; }; warnings: string[]; generated_at: string; }"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "removeAssuranceDeclaration",
+          "signature": "(pmRoot: string, kind: AssuranceDeclarationKind, id: string, options?: AssuranceMutationOptions) => Promise<AssuranceMutationReceipt> | calls: (pmRoot: string, kind: AssuranceDeclarationKind, id: string, options?: AssuranceMutationOptions) => Promise<AssuranceMutationReceipt>"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -19222,6 +20272,18 @@
           "name": "ResurrectedItemRow",
           "signature": "export interface ResurrectedItemRow { id: string; deleted_at: string; deleted_by: string; }"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "runAssuranceAction",
+          "signature": "(input: AssuranceActionInput, global?: Pick<GlobalOptions, \"path\">, runtime?: AssuranceActionRuntimeOptions) => Promise<AssuranceActionResult> | calls: (input: AssuranceActionInput, global?: Pick<GlobalOptions, \"path\">, runtime?: AssuranceActionRuntimeOptions) => Promise<AssuranceActionResult>"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "runAssuranceDispatch",
+          "signature": "(args: Record<string, unknown>, options: Record<string, unknown>, global: GlobalOptions) => Promise<AssuranceActionResult> | calls: (args: Record<string, unknown>, options: Record<string, unknown>, global: GlobalOptions) => Promise<AssuranceActionResult>"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -19258,6 +20320,12 @@
           "name": "runValidate",
           "signature": "{ (options: ValidateCommandOptions & { counts: true; }, global: GlobalOptions, services?: ValidateMutationServices): Promise<ValidateCountsResult>; (options: ValidateCommandOptions & { counts?: false; }, global: GlobalOptions, services?: ValidateMutationServices): Promise<ValidateResult>; (options: ValidateCommandOptions, global: GlobalOptions, services?: ValidateMutationServices): Promise<ValidateResult | ValidateCountsResult>; } | calls: (options: ValidateCommandOptions & { counts: true; }, global: GlobalOptions, services?: ValidateMutationServices) => Promise<ValidateCountsResult> ; (options: ValidateCommandOptions & { counts?: false; }, global: GlobalOptions, services?: ValidateMutationServices) => Promise<ValidateResult> ; (options: ValidateCommandOptions, global: GlobalOptions, services?: ValidateMutationServices) => Promise<ValidateResult | ValidateCountsResult>"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "scanExtensionHostVersions",
+          "signature": "(loadedExtensions: readonly LoadedExtension[], workspaceRoot: string, hostPackageRoot?: string) => Promise<ExtensionHostVersionCensus> | calls: (loadedExtensions: readonly LoadedExtension[], workspaceRoot: string, hostPackageRoot?: string) => Promise<ExtensionHostVersionCensus>"
+        },
         {
           "classification": "supported",
           "kind": "value",
@@ -19426,6 +20494,18 @@
           "name": "UpgradeResult",
           "signature": "export interface UpgradeResult { ok: boolean; action: \"upgrade\"; dry_run: boolean; scope: ExtensionScope; target?: string; cli: UpgradeCliResult; packages: UpgradePackageResult[]; summary: { requested_cli: boolean; requested_packages: boolean; planned: number; updated: number; skipped: number; failed: number; }; }"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "validateAssertionDefinition",
+          "signature": "(definition: AssuranceAssertionDefinition) => AssuranceAssertionDefinition | calls: (definition: AssuranceAssertionDefinition) => AssuranceAssertionDefinition"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "validateAssuranceDocument",
+          "signature": "(document: AssuranceDocument) => AssuranceDocument | calls: (document: AssuranceDocument) => AssuranceDocument"
+        },
         {
           "classification": "supported",
           "kind": "interface",
@@ -19456,6 +20536,18 @@
           "name": "ValidateFixesSummary",
           "signature": "export interface ValidateFixesSummary { mode: \"apply\" | \"dry_run\"; auto_fix: boolean; prune_missing: boolean; granted_fix_scopes: string[]; planned_count: number; applied_count: number; gated_count: number; failed_count: number; planned_fixes: Array<Record<string, unknown>>; applied_fixes: Array<Record<string, unknown>>; gated_fixes: Array<Record<string, unknown>>; failed_fixes: Array<Record<string, unknown>>; }"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "validateGateDefinition",
+          "signature": "(definition: AssuranceGateDefinition) => AssuranceGateDefinition | calls: (definition: AssuranceGateDefinition) => AssuranceGateDefinition"
+        },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "validateMeasurementDefinition",
+          "signature": "(definition: AssuranceMeasurementDefinition) => AssuranceMeasurementDefinition | calls: (definition: AssuranceMeasurementDefinition) => AssuranceMeasurementDefinition"
+        },
         {
           "classification": "supported",
           "kind": "interface",
@@ -19624,6 +20716,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",
@@ -19792,6 +20890,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",
@@ -20098,6 +21202,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",
@@ -20156,13 +21266,13 @@
           "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",
@@ -20276,7 +21386,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>; 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>; }"
+          "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",
@@ -20714,7 +21824,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",
@@ -21458,7 +22568,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "ContextRankingSummary",
-          "signature": "export interface ContextRankingSummary { model: string; available_signals: ContextRelevanceSignalName[]; items: Array<{ id: string; rank: number; baseline_rank: number; score: number; contributions: ContextRelevanceContributions; }>; feature_store?: { source: \"derived_index\" | \"scan_fallback\"; cache_status: \"fresh\" | \"rebuilt\"; source_cursor: string; generated_at: string; }; }"
+          "signature": "export interface ContextRankingSummary { model: string; available_signals: ContextRelevanceSignalName[]; items: Array<{ id: string; rank: number; baseline_rank: number; score: number; contributions: ContextRelevanceContributions; }>; candidate_count: number; omitted_count: number; feature_store?: { source: \"derived_index\" | \"scan_fallback\"; cache_status: \"fresh\" | \"rebuilt\"; source_cursor: string; generated_at: string; }; }"
         },
         {
           "classification": "supported",
@@ -21610,6 +22720,12 @@
           "name": "decodeQueryCursor",
           "signature": "(cursor: unknown, expectedFingerprint: string) => string | calls: (cursor: unknown, expectedFingerprint: string) => string"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "decodeQueryCursorEnvelope",
+          "signature": "(cursor: unknown) => QueryCursorEnvelope | calls: (cursor: unknown) => QueryCursorEnvelope"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -22066,6 +23182,12 @@
           "name": "QUERY_CURSOR_CONTRACT",
           "signature": "Readonly<{ version: 1; max_length: 4096; }>"
         },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "QueryCursorEnvelope",
+          "signature": "export interface QueryCursorEnvelope { version: number; fingerprint: string; after_id: string; after_index?: number; snapshot?: string; }"
+        },
         {
           "classification": "supported",
           "kind": "interface",
@@ -22508,7 +23630,7 @@
           "classification": "supported",
           "kind": "function",
           "name": "toContextRankingSummary",
-          "signature": "<TItem>(report: ContextRelevanceReport<TItem>, featureStore?: ContextSignalStoreReadResult) => ContextRankingSummary | calls: <TItem>(report: ContextRelevanceReport<TItem>, featureStore?: ContextSignalStoreReadResult) => ContextRankingSummary"
+          "signature": "<TItem>(report: ContextRelevanceReport<TItem>, featureStore?: ContextSignalStoreReadResult, servedItemIds?: ReadonlySet<string>) => ContextRankingSummary | calls: <TItem>(report: ContextRelevanceReport<TItem>, featureStore?: ContextSignalStoreReadResult, servedItemIds?: ReadonlySet<string>) => ContextRankingSummary"
         },
         {
           "classification": "supported",
@@ -22886,7 +24008,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "ContractsResult",
-          "signature": "export interface ContractsResult { schema_version: string | null; schema_id: string | null; selected: { action: string | null; command: string | null; summary: boolean; schema_only: boolean; flags_only: boolean; availability_only: boolean; runtime_only: boolean; command_scoped: boolean; }; actions?: string[]; action_availability?: ContractsActionAvailability[]; commands: string[]; schema?: Record<string, unknown>; schema_omitted_reason?: string; command_flags_omitted_reason?: string; commander_aliases_omitted_reason?: string; command_flags?: CommandFlagSurface[]; list_projections?: ListCommandProjectionSurface[]; command_aliases?: CommandAliasSurface[]; commander_aliases?: Record<string, CommanderOptionAliasContract[]>; extension_commands?: ExtensionCommandContract[]; command_summaries?: CommandSummarySurface[]; output_policy?: { token_estimate: \"ceil(utf8_bytes / 4)\"; degradation_ladder: string[]; allows_unbounded_opt_out: boolean; }; runtime_schema?: { statuses: string[]; open_status: string; close_status: string; canceled_status: string; types: string[]; fields_by_command: Record<string, string[]>; }; relationship_kind_contracts?: Array<{ canonical: string; aliases: string[]; inverse?: string; ordering: boolean; hierarchy: boolean; }>; extension_contracts?: { capabilities: string[]; services: string[]; policy_modes: string[]; policy_mode_scope: \"extensions.policy.mode\"; policy_surfaces: string[]; trust_modes: string[]; trust_mode_scope: \"extensions.policy.trust_mode\"; sandbox_profiles: string[]; manifest_versions: number[]; compatibility: { current: string; previous: string[]; breaking_strategy: string; }; }; governance_contracts?: { ownership_enforcement_modes: string[]; create_modes: string[]; close_validation_modes: string[]; workflow_enforcement_modes: string[]; }; mcp_tools?: McpToolContract[]; context_intents?: readonly PmContextIntentContract[]; read_output_dimensions?: readonly PmReadOutputSurfaceContract[]; error_codes?: readonly PmErrorCodeContract[]; command_output_contracts?: Array<{ budget: PmCommandOutputBudgetContract; envelope: PmCommandOutputEnvelopeContract; }>; command_exit_contracts?: { vocabulary: readonly PmCommandExitOutcomeContract[]; command_sets: Array<{ commands: string[]; exit_codes: PmCommandExitContract[\"exit_codes\"]; }>; }; }"
+          "signature": "export interface ContractsResult { schema_version: string | null; schema_id: string | null; selected: { action: string | null; command: string | null; summary: boolean; schema_only: boolean; flags_only: boolean; availability_only: boolean; runtime_only: boolean; command_scoped: boolean; }; actions?: string[]; action_availability?: ContractsActionAvailability[]; commands: string[]; schema?: Record<string, unknown>; schema_omitted_reason?: string; command_flags_omitted_reason?: string; commander_aliases_omitted_reason?: string; command_flags?: CommandFlagSurface[]; list_projections?: ListCommandProjectionSurface[]; command_aliases?: CommandAliasSurface[]; commander_aliases?: Record<string, CommanderOptionAliasContract[]>; extension_commands?: ExtensionCommandContract[]; command_summaries?: CommandSummarySurface[]; output_policy?: { token_estimate: \"ceil(utf8_bytes / 4)\"; degradation_ladder: string[]; allows_unbounded_opt_out: boolean; }; runtime_schema?: { statuses: string[]; open_status: string; close_status: string; canceled_status: string; types: string[]; fields_by_command: Record<string, string[]>; }; relationship_kind_contracts?: Array<{ canonical: string; aliases: string[]; inverse?: string; ordering: boolean; hierarchy: boolean; }>; extension_contracts?: { capabilities: string[]; services: string[]; policy_modes: string[]; policy_mode_scope: \"extensions.policy.mode\"; policy_surfaces: string[]; trust_modes: string[]; trust_mode_scope: \"extensions.policy.trust_mode\"; sandbox_profiles: string[]; manifest_versions: number[]; compatibility: { current: string; previous: string[]; breaking_strategy: string; }; }; governance_contracts?: { ownership_enforcement_modes: string[]; create_modes: string[]; close_validation_modes: string[]; workflow_enforcement_modes: string[]; }; assurance_contracts?: { measurement_source_kinds: readonly string[]; gate_triggers: readonly string[]; }; mcp_tools?: McpToolContract[]; context_intents?: readonly PmContextIntentContract[]; read_output_dimensions?: readonly PmReadOutputSurfaceContract[]; error_codes?: readonly PmErrorCodeContract[]; command_output_contracts?: Array<{ budget: PmCommandOutputBudgetContract; envelope: PmCommandOutputEnvelopeContract; }>; command_exit_contracts?: { vocabulary: readonly PmCommandExitOutcomeContract[]; command_sets: Array<{ commands: string[]; exit_codes: PmCommandExitContract[\"exit_codes\"]; }>; }; }"
         },
         {
           "classification": "supported",
@@ -23282,7 +24404,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "GlobalOptions",
-          "signature": "export interface GlobalOptions { json?: boolean; quiet?: boolean; noChangedFields?: boolean; fullChangedFields?: boolean; idOnly?: boolean; lean?: boolean; tokenAccounting?: boolean; outputInclude?: string; outputLimit?: string; outputBudget?: string; outputFormat?: \"toon\" | \"json\"; outputSession?: string; outputRowContract?: boolean; path?: string; noExtensions?: boolean; noPager?: boolean; profile?: boolean; author?: string; defaultOutputFormat?: \"toon\" | \"json\"; }"
+          "signature": "export interface GlobalOptions { json?: boolean; quiet?: boolean; noChangedFields?: boolean; fullChangedFields?: boolean; idOnly?: boolean; lean?: boolean; tokenAccounting?: boolean; outputInclude?: string; outputLimit?: string; outputBudget?: string; outputFormat?: \"toon\" | \"json\"; outputSession?: string; outputCursor?: string; outputRowContract?: boolean; path?: string; noExtensions?: boolean; noPager?: boolean; profile?: boolean; author?: string; defaultOutputFormat?: \"toon\" | \"json\"; }"
         },
         {
           "classification": "supported",
@@ -23324,7 +24446,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "HealthResult",
-          "signature": "export interface HealthResult { ok: boolean; checks: HealthCheck[]; warning_count?: number; warnings: string[]; projection?: { mode: \"brief\" | \"summary\" | \"full\"; warning_count: number; warnings_truncated: boolean; detail_limit: number; omitted_checks?: HealthCheck[\"name\"][]; }; generated_at: string; }"
+          "signature": "export interface HealthResult { ok: boolean; checks: HealthCheck[]; warning_count?: number; warning_limit?: number; warnings_truncated?: boolean; warnings: string[]; findings: HealthFinding[]; failed_because: string[]; projection?: { mode: \"brief\" | \"summary\" | \"full\"; warning_count: number; warnings_truncated: boolean; detail_limit: number; omitted_checks?: HealthCheck[\"name\"][]; }; generated_at: string; }"
         },
         {
           "classification": "supported",
@@ -23948,25 +25070,25 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputBudgetExceeded",
-          "signature": "export interface PmReadOutputBudgetExceeded { output_budget_exceeded: { omitted_result: true; reason: \"requested_budget_infeasible\"; restore_with: string; }; read_output: PmReadOutputReceipt; }"
+          "signature": "export interface PmReadOutputBudgetExceeded { output_budget_exceeded: { omitted_result: true; reason: \"requested_budget_infeasible\"; restore_with: string; recovery: { outputBudget: \"unbounded\"; }; }; read_output: PmReadOutputReceipt; }"
         },
         {
           "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; outputCursor?: string; 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",
           "kind": "type",
           "name": "PmReadOutputResultFor",
-          "signature": "export type PmReadOutputResultFor<Result, Options> = \"outputBudget\" extends keyof Options ? PmReadOutputResult<Result> : \"outputSession\" extends keyof Options ? PmReadOutputResult<Result> : Result;"
+          "signature": "export type PmReadOutputResultFor<Result, Options> = \"outputBudget\" extends keyof Options ? PmReadOutputResult<Result> : \"outputSession\" extends keyof Options ? PmReadOutputResult<Result> : \"outputCursor\" extends keyof Options ? PmReadOutputResult<Result> : Result;"
         },
         {
           "classification": "supported",
@@ -23984,7 +25106,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputSurfaceContract",
-          "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
+          "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; budget_retention_policy: \"ordered_prefix\" | \"verdict_priority\"; }"
         },
         {
           "classification": "supported",
@@ -25880,6 +27002,10 @@
     "profile_title_empty",
     "project_runtime_stale_mutation",
     "project_runtime_stale_read",
+    "provenance_value_domain_invalid",
+    "read_output_cursor_command_mismatch",
+    "read_output_cursor_invalid",
+    "read_output_cursor_stale",
     "redundant_edge",
     "reindex_already_running",
     "reserved_item_field",