@unbrained/pm-cli 2026.8.13 → 2026.8.14

package/sdk/public-surface.json

@@ -1,6 +1,6 @@
 {
   "aggregate_completeness": {
-    "covered_symbols": 1506,
+    "covered_symbols": 1513,
     "excluded": [
       {
         "name": "_testOnlyCliContracts",
@@ -8,7 +8,7 @@
       }
     ],
     "missing": [],
-    "required_symbols": 1507
+    "required_symbols": 1514
   },
   "breaking_acknowledgements": [
     {
@@ -448,6 +448,54 @@
       ],
       "package_version": "2026.8.12",
       "reason": "Source-derived finding-code type replaces an identical handwritten union; the accepted values and runtime behavior are unchanged."
+    },
+    {
+      "changes": [
+        "signature ./sdk:HistoryVerificationResult",
+        "signature ./sdk:RelationshipAuditDelta",
+        "signature ./sdk:RelationshipAuditFinding",
+        "signature ./sdk:RelationshipCoverageProfile",
+        "signature ./sdk:WorkspaceRelationshipAssembly",
+        "signature ./sdk/graph:RelationshipAuditDelta",
+        "signature ./sdk/graph:RelationshipAuditFinding",
+        "signature ./sdk/graph:RelationshipCoverageProfile",
+        "signature ./sdk/graph:WorkspaceRelationshipAssembly"
+      ],
+      "package_version": "2026.8.13",
+      "reason": "pm-dwj33e and pm-h06944: additive optional history-agreement and graph-governance fields; existing inputs and legacy snapshots remain accepted"
+    },
+    {
+      "changes": [
+        "signature ./sdk:PM_READ_OUTPUT_SURFACES",
+        "signature ./sdk:PmReadOutputOptions",
+        "signature ./sdk:PmReadOutputReceipt",
+        "signature ./sdk:PmResolvedReadOutputDimensions",
+        "signature ./sdk/contracts:PM_READ_OUTPUT_SURFACES",
+        "signature ./sdk/contracts:PmReadOutputOptions",
+        "signature ./sdk/contracts:PmReadOutputReceipt",
+        "signature ./sdk/contracts:PmResolvedReadOutputDimensions",
+        "signature ./sdk/core:PmReadOutputOptions",
+        "signature ./sdk/core:PmReadOutputReceipt",
+        "signature ./sdk/runtime:PmReadOutputOptions"
+      ],
+      "package_version": "2026.8.13",
+      "reason": "Intentional SDK contract widening: default output budgets, explicit unbounded opt-out, and assurance/comments-audit read surfaces"
+    },
+    {
+      "changes": [
+        "signature ./sdk:PmReadOutputLegacyAlias",
+        "signature ./sdk:PmReadOutputReceipt",
+        "signature ./sdk:PmReadOutputResult",
+        "signature ./sdk/contracts:PmReadOutputLegacyAlias",
+        "signature ./sdk/contracts:PmReadOutputReceipt",
+        "signature ./sdk/contracts:PmReadOutputResult",
+        "signature ./sdk/core:PmReadOutputLegacyAlias",
+        "signature ./sdk/core:PmReadOutputReceipt",
+        "signature ./sdk/core:PmReadOutputResult",
+        "signature ./sdk/runtime:PmReadOutputResult"
+      ],
+      "package_version": "2026.8.13",
+      "reason": "Additive optional read-output receipts and explicit alias semantics for executable recovery contracts"
     }
   ],
   "entrypoints": {
@@ -1036,6 +1084,12 @@
           "name": "applyReadOutputDimensions",
           "signature": "<Result extends Record<string, unknown>>(command: string, options: Record<string, unknown>, result: Result) => PmReadOutputResult<Result> | calls: <Result extends Record<string, unknown>>(command: string, options: Record<string, unknown>, result: Result) => PmReadOutputResult<Result>"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "applyReadOutputIncludeModes",
+          "signature": "(command: string, includeValue: unknown, commandOptions: Record<string, unknown>) => { selectors: string[]; modes: string[]; } | calls: (command: string, includeValue: unknown, commandOptions: Record<string, unknown>) => { selectors: string[]; modes: string[]; }"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -2344,6 +2398,12 @@
           "name": "collectOrderingCycles",
           "signature": "(successors: Map<string, string[]>) => string[][] | calls: (successors: Map<string, string[]>) => string[][]"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "collectOrderingStorageContradictions",
+          "signature": "(items: readonly DependencyReferenceHolder[], isTerminal?: (status: ItemStatus) => boolean, registry?: RelationshipKindRegistry) => OrderingStorageContradiction[] | calls: (items: readonly DependencyReferenceHolder[], isTerminal?: (status: ItemStatus) => boolean, registry?: RelationshipKindRegistry) => OrderingStorageContradiction[]"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -5188,6 +5248,12 @@
           "name": "formatDuplicateEdgeGroup",
           "signature": "(group: DuplicateRelationshipEdgeGroup) => string | calls: (group: DuplicateRelationshipEdgeGroup) => string"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "formatOrderingStorageContradiction",
+          "signature": "(contradiction: Pick<OrderingStorageContradiction, \"dependency_kind\" | \"holder_id\" | \"target_id\">) => string | calls: (contradiction: Pick<OrderingStorageContradiction, \"holder_id\" | \"target_id\" | \"dependency_kind\">) => string"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -6062,7 +6128,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "HistoryVerificationResult",
-          "signature": "export interface HistoryVerificationResult { ok: boolean; entries: number; errors: string[]; latest_after_hash?: string; current_item_hash?: string; current_matches_latest?: boolean; }"
+          "signature": "export interface HistoryVerificationResult { ok: boolean; entries: number; errors: string[]; latest_after_hash?: string; current_item_hash?: string; current_matches_latest?: boolean; workspace_state_matches_latest?: boolean; workspace_state_mismatches?: string[]; workspace_state_missing?: string[]; workspace_state_unreadable?: string[]; }"
         },
         {
           "classification": "advanced_export",
@@ -6268,6 +6334,12 @@
           "name": "InspectStaleInProgressOptions",
           "signature": "export interface InspectStaleInProgressOptions { in_progress_status?: string; threshold_hours: number; now?: Date; last_history_activity?: (item: ItemMetadata) => string | undefined; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "inspectWorkspaceHistoryState",
+          "signature": "(pmRoot: string) => Promise<WorkspaceHistoryStateAgreement> | calls: (pmRoot: string) => Promise<WorkspaceHistoryStateAgreement>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -7504,6 +7576,12 @@
           "name": "normalizeRawItemId",
           "signature": "(input: string) => string | calls: (input: string) => string"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "normalizeReadOutputIncludeModeOptions",
+          "signature": "(command: string, options: Record<string, unknown>) => void | calls: (command: string, options: Record<string, unknown>) => void"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -7630,6 +7708,12 @@
           "name": "orderingPredecessors",
           "signature": "(graph: RelationshipGraph, id: string, options?: GraphTraversalOptions) => RelationshipQueryResult<string[]> | calls: (graph: RelationshipGraph, id: string, options?: GraphTraversalOptions) => RelationshipQueryResult<string[]>"
         },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "OrderingStorageContradiction",
+          "signature": "export interface OrderingStorageContradiction { holder_id: string; target_id: string; dependency_kind: string; holder_status: ItemStatus; legacy_terminal: boolean; }"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -8570,7 +8654,7 @@
           "classification": "contract_data",
           "kind": "value",
           "name": "PM_READ_OUTPUT_SURFACES",
-          "signature": "readonly [\"list\", \"context\", \"search\", \"get\", \"next\", \"health\", \"deps\", \"graph\", \"history\", \"activity\", \"validate\", \"events\", \"contracts\", \"comments\", \"notes\", \"files\", \"docs\", \"stats\", \"aggregate\", \"package-manage\"]"
+          "signature": "readonly [\"list\", \"context\", \"search\", \"get\", \"next\", \"health\", \"deps\", \"graph\", \"history\", \"activity\", \"validate\", \"events\", \"contracts\", \"comments\", \"notes\", \"files\", \"docs\", \"stats\", \"aggregate\", \"package-manage\", \"comments-audit\", \"assurance\"]"
         },
         {
           "classification": "advanced_export",
@@ -9074,25 +9158,25 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputLegacyAlias",
-          "signature": "export interface PmReadOutputLegacyAlias { flag: string; migration_hint: string; visibility: \"hidden_alias\"; }"
+          "signature": "export interface PmReadOutputLegacyAlias { flag: string; semantics?: \"replacement\" | \"behavior_preserving\"; migration_hint: string; visibility: \"hidden_alias\"; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputOptions",
-          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
+          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number | \"unbounded\"; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputReceipt",
-          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; result_omitted: boolean; }"
+          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; budget_source?: \"default\"; budget_tokens?: number; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; compacted_row_paths?: string[]; result_omitted: boolean; omitted_result_estimated_tokens?: number; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "PmReadOutputResult",
-          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
+          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; output_budget_truncation?: PmReadOutputTruncationDisclosure; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
         },
         {
           "classification": "supported",
@@ -9136,6 +9220,12 @@
           "name": "PmReadOutputSurfaceContract",
           "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmReadOutputTruncationDisclosure",
+          "signature": "export interface PmReadOutputTruncationDisclosure { reason: \"output_budget_reached\"; budget_source: PmReadOutputDimensionSource | \"session\"; budget_tokens: number; overridden_dimensions: PmReadOutputDimension[]; compacted_row_paths: string[]; restore_with: string; }"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -9170,7 +9260,7 @@
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmResolvedReadOutputDimensions",
-          "signature": "export interface PmResolvedReadOutputDimensions { command: PmReadOutputSurface; include?: PmResolvedReadOutputDimension<string[]>; amount?: PmResolvedReadOutputDimension<number | \"unbounded\">; cost?: PmResolvedReadOutputDimension<number>; encoding?: PmResolvedReadOutputDimension<\"json\" | \"toon\" | \"stream\">; legacy_aliases_used: string[]; migration_hints: string[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
+          "signature": "export interface PmResolvedReadOutputDimensions { command: PmReadOutputSurface; include?: PmResolvedReadOutputDimension<string[]>; amount?: PmResolvedReadOutputDimension<number | \"unbounded\">; cost?: PmResolvedReadOutputDimension<number | \"unbounded\">; encoding?: PmResolvedReadOutputDimension<\"json\" | \"toon\" | \"stream\">; legacy_aliases_used: string[]; migration_hints: string[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
         },
         {
           "classification": "supported",
@@ -9814,6 +9904,18 @@
           "name": "readLocatedItem",
           "signature": "(item: LocatedItem, options?: { schema?: RuntimeSchemaSettings; extensionFieldNames?: readonly string[]; warnings?: string[]; }) => Promise<{ raw: string; document: ItemDocument; }> | calls: (item: LocatedItem, options?: { schema?: RuntimeSchemaSettings; extensionFieldNames?: readonly string[]; warnings?: string[]; }) => Promise<{ raw: string; document: ItemDocument; }>"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "readOutputBudgetCollections",
+          "signature": "(result: Record<string, unknown>) => PmReadOutputRowCollection[] | calls: (result: Record<string, unknown>) => PmReadOutputRowCollection[]"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "readOutputIncludeModeOptions",
+          "signature": "(command: string) => ReadonlyMap<string, string> | calls: (command: string) => ReadonlyMap<string, string>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -9922,6 +10024,12 @@
           "name": "reconcileExtensionCapabilityUsage",
           "signature": "(loaded: ReadonlyArray<{ layer: ExtensionLayer; name: string; capabilities?: readonly string[]; }>, activation: ExtensionActivationResult) => ExtensionCapabilityUsageReconciliation[] | calls: (loaded: ReadonlyArray<{ layer: ExtensionLayer; name: string; capabilities?: readonly string[]; }>, activation: ExtensionActivationResult) => ExtensionCapabilityUsageReconciliation[]"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "reconcileWorkspaceJsonHistory",
+          "signature": "(options: WorkspaceJsonReconciliationOptions) => Promise<{ changed: boolean; entry?: HistoryEntry; historyPath: string; }> | calls: (options: WorkspaceJsonReconciliationOptions) => Promise<{ changed: boolean; entry?: HistoryEntry; historyPath: string; }>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -10250,13 +10358,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 +10478,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "RelationshipCoverageProfile",
-          "signature": "export interface RelationshipCoverageProfile { nodes: number; edges: number; edge_basis: \"deduplicated_directed\"; edges_by_kind: Record<string, number>; edge_share_by_kind: Record<string, number>; semantic_edges: number; semantic_edge_share: number; active_nodes: number; missing_nodes: number; isolated_active_nodes: number; degree_leq_one_active_nodes: number; coverage_by_type: Record<string, RelationshipCoverageTypeProfile>; 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",
@@ -11518,6 +11626,12 @@
           "name": "RestoreResult",
           "signature": "export interface RestoreResult { item: ItemMetadata; restored_from: { kind: \"version\" | \"timestamp\"; target: string; history_index: number; entry_ts: string; entry_op: string; }; changed_fields: string[]; warnings: string[]; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "restoreWorkspaceJsonFromHistory",
+          "signature": "(options: WorkspaceJsonRestoreOptions) => Promise<WorkspaceJsonRestoreResult> | calls: (options: WorkspaceJsonRestoreOptions) => Promise<WorkspaceJsonRestoreResult>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -14476,6 +14590,12 @@
           "name": "WorkspaceHistoryChange",
           "signature": "export interface WorkspaceHistoryChange { pmRoot: string; documentPath: string; before: unknown; after: unknown; op: string; idempotencyKey?: string; author: string; message?: string; lockTtlSeconds: number; lockWaitMs: number; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "WorkspaceHistoryStateAgreement",
+          "signature": "export interface WorkspaceHistoryStateAgreement { ok: boolean; document_count: number; matching_documents: string[]; mismatched_documents: string[]; missing_documents: string[]; unreadable_documents: string[]; }"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -14488,6 +14608,24 @@
           "name": "WorkspaceJsonMutationOptions",
           "signature": "export interface WorkspaceJsonMutationOptions<Result> extends Omit<WorkspaceJsonWriteOptions, \"raw\"> { mutate: (beforeRaw: string | null) => WorkspaceJsonMutation<Result> | Promise<WorkspaceJsonMutation<Result>>; }"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "WorkspaceJsonReconciliationOptions",
+          "signature": "export interface WorkspaceJsonReconciliationOptions extends Omit<WorkspaceJsonWriteOptions, \"raw\" | \"recordCreation\"> { authorizationDecision: string; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "WorkspaceJsonRestoreOptions",
+          "signature": "export interface WorkspaceJsonRestoreOptions extends Omit<WorkspaceJsonWriteOptions, \"raw\" | \"recordCreation\"> { targetVersion: number; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "WorkspaceJsonRestoreResult",
+          "signature": "export interface WorkspaceJsonRestoreResult { document_path: string; restored_from_version: number; changed: boolean; }"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -14552,7 +14690,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "WorkspaceRelationshipAssembly",
-          "signature": "export interface WorkspaceRelationshipAssembly { graph: RelationshipGraph; details: WorkspaceRelationshipNodeDetails[]; missingIdSet: Set<string>; dangling: DanglingDependencyReferenceSummary; duplicateRows: DuplicateDependencyRow[]; legacyAliasCounts: Record<string, number>; }"
+          "signature": "export interface WorkspaceRelationshipAssembly { graph: RelationshipGraph; details: WorkspaceRelationshipNodeDetails[]; missingIdSet: Set<string>; dangling: DanglingDependencyReferenceSummary; duplicateRows: DuplicateDependencyRow[]; orderingContradictions?: OrderingStorageContradiction[]; legacyAliasCounts: Record<string, number>; }"
         },
         {
           "classification": "supported",
@@ -16138,6 +16276,12 @@
           "name": "applyReadOutputDimensions",
           "signature": "<Result extends Record<string, unknown>>(command: string, options: Record<string, unknown>, result: Result) => PmReadOutputResult<Result> | calls: <Result extends Record<string, unknown>>(command: string, options: Record<string, unknown>, result: Result) => PmReadOutputResult<Result>"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "applyReadOutputIncludeModes",
+          "signature": "(command: string, includeValue: unknown, commandOptions: Record<string, unknown>) => { selectors: string[]; modes: string[]; } | calls: (command: string, includeValue: unknown, commandOptions: Record<string, unknown>) => { selectors: string[]; modes: string[]; }"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -16738,6 +16882,12 @@
           "name": "NEXT_FLAG_CONTRACTS",
           "signature": "CliFlagContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "normalizeReadOutputIncludeModeOptions",
+          "signature": "(command: string, options: Record<string, unknown>) => void | calls: (command: string, options: Record<string, unknown>) => void"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -16940,7 +17090,7 @@
           "classification": "contract_data",
           "kind": "value",
           "name": "PM_READ_OUTPUT_SURFACES",
-          "signature": "readonly [\"list\", \"context\", \"search\", \"get\", \"next\", \"health\", \"deps\", \"graph\", \"history\", \"activity\", \"validate\", \"events\", \"contracts\", \"comments\", \"notes\", \"files\", \"docs\", \"stats\", \"aggregate\", \"package-manage\"]"
+          "signature": "readonly [\"list\", \"context\", \"search\", \"get\", \"next\", \"health\", \"deps\", \"graph\", \"history\", \"activity\", \"validate\", \"events\", \"contracts\", \"comments\", \"notes\", \"files\", \"docs\", \"stats\", \"aggregate\", \"package-manage\", \"comments-audit\", \"assurance\"]"
         },
         {
           "classification": "contract_data",
@@ -17264,25 +17414,25 @@
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmReadOutputLegacyAlias",
-          "signature": "export interface PmReadOutputLegacyAlias { flag: string; migration_hint: string; visibility: \"hidden_alias\"; }"
+          "signature": "export interface PmReadOutputLegacyAlias { flag: string; semantics?: \"replacement\" | \"behavior_preserving\"; migration_hint: string; visibility: \"hidden_alias\"; }"
         },
         {
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmReadOutputOptions",
-          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
+          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number | \"unbounded\"; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
         },
         {
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmReadOutputReceipt",
-          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; result_omitted: boolean; }"
+          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; budget_source?: \"default\"; budget_tokens?: number; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; compacted_row_paths?: string[]; result_omitted: boolean; omitted_result_estimated_tokens?: number; }"
         },
         {
           "classification": "contract_data",
           "kind": "type",
           "name": "PmReadOutputResult",
-          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
+          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; output_budget_truncation?: PmReadOutputTruncationDisclosure; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
         },
         {
           "classification": "contract_data",
@@ -17314,6 +17464,12 @@
           "name": "PmReadOutputSurfaceContract",
           "signature": "export interface PmReadOutputSurfaceContract { command: PmReadOutputSurface; dimensions: Record<PmReadOutputDimension, PmReadOutputDimensionContract>; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmReadOutputTruncationDisclosure",
+          "signature": "export interface PmReadOutputTruncationDisclosure { reason: \"output_budget_reached\"; budget_source: PmReadOutputDimensionSource | \"session\"; budget_tokens: number; overridden_dimensions: PmReadOutputDimension[]; compacted_row_paths: string[]; restore_with: string; }"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -17330,7 +17486,7 @@
           "classification": "contract_data",
           "kind": "interface",
           "name": "PmResolvedReadOutputDimensions",
-          "signature": "export interface PmResolvedReadOutputDimensions { command: PmReadOutputSurface; include?: PmResolvedReadOutputDimension<string[]>; amount?: PmResolvedReadOutputDimension<number | \"unbounded\">; cost?: PmResolvedReadOutputDimension<number>; encoding?: PmResolvedReadOutputDimension<\"json\" | \"toon\" | \"stream\">; legacy_aliases_used: string[]; migration_hints: string[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
+          "signature": "export interface PmResolvedReadOutputDimensions { command: PmReadOutputSurface; include?: PmResolvedReadOutputDimension<string[]>; amount?: PmResolvedReadOutputDimension<number | \"unbounded\">; cost?: PmResolvedReadOutputDimension<number | \"unbounded\">; encoding?: PmResolvedReadOutputDimension<\"json\" | \"toon\" | \"stream\">; legacy_aliases_used: string[]; migration_hints: string[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; }"
         },
         {
           "classification": "contract_data",
@@ -17380,6 +17536,12 @@
           "name": "readFirstValueFromCommanderOptions",
           "signature": "(options: Record<string, unknown>, contract: CommanderOptionAliasContract) => unknown | calls: (options: Record<string, unknown>, contract: CommanderOptionAliasContract) => unknown"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "readOutputIncludeModeOptions",
+          "signature": "(command: string) => ReadonlyMap<string, string> | calls: (command: string) => ReadonlyMap<string, string>"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
@@ -18560,25 +18722,25 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputLegacyAlias",
-          "signature": "export interface PmReadOutputLegacyAlias { flag: string; migration_hint: string; visibility: \"hidden_alias\"; }"
+          "signature": "export interface PmReadOutputLegacyAlias { flag: string; semantics?: \"replacement\" | \"behavior_preserving\"; migration_hint: string; visibility: \"hidden_alias\"; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputOptions",
-          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
+          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number | \"unbounded\"; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
         },
         {
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputReceipt",
-          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; result_omitted: boolean; }"
+          "signature": "export interface PmReadOutputReceipt { contract_version: 1; command: PmReadOutputSurface; requested_dimensions: PmReadOutputDimension[]; budget_source?: \"default\"; budget_tokens?: number; precedence: readonly [ \"canonical\", \"legacy\", \"intent\", \"default\" ]; legacy_aliases_used: string[]; migration_hints: string[]; estimated_tokens: number; within_budget: boolean; strings_compacted: boolean; rows_compacted: boolean; compacted_row_paths?: string[]; result_omitted: boolean; omitted_result_estimated_tokens?: number; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "PmReadOutputResult",
-          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
+          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; output_budget_truncation?: PmReadOutputTruncationDisclosure; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
         },
         {
           "classification": "supported",
@@ -19624,6 +19786,12 @@
           "name": "collectOrderingCycles",
           "signature": "(successors: Map<string, string[]>) => string[][] | calls: (successors: Map<string, string[]>) => string[][]"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "collectOrderingStorageContradictions",
+          "signature": "(items: readonly DependencyReferenceHolder[], isTerminal?: (status: ItemStatus) => boolean, registry?: RelationshipKindRegistry) => OrderingStorageContradiction[] | calls: (items: readonly DependencyReferenceHolder[], isTerminal?: (status: ItemStatus) => boolean, registry?: RelationshipKindRegistry) => OrderingStorageContradiction[]"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -19792,6 +19960,12 @@
           "name": "formatDuplicateEdgeGroup",
           "signature": "(group: DuplicateRelationshipEdgeGroup) => string | calls: (group: DuplicateRelationshipEdgeGroup) => string"
         },
+        {
+          "classification": "supported",
+          "kind": "function",
+          "name": "formatOrderingStorageContradiction",
+          "signature": "(contradiction: Pick<OrderingStorageContradiction, \"dependency_kind\" | \"holder_id\" | \"target_id\">) => string | calls: (contradiction: Pick<OrderingStorageContradiction, \"holder_id\" | \"target_id\" | \"dependency_kind\">) => string"
+        },
         {
           "classification": "supported",
           "kind": "value",
@@ -20098,6 +20272,12 @@
           "name": "orderingPredecessors",
           "signature": "(graph: RelationshipGraph, id: string, options?: GraphTraversalOptions) => RelationshipQueryResult<string[]> | calls: (graph: RelationshipGraph, id: string, options?: GraphTraversalOptions) => RelationshipQueryResult<string[]>"
         },
+        {
+          "classification": "supported",
+          "kind": "interface",
+          "name": "OrderingStorageContradiction",
+          "signature": "export interface OrderingStorageContradiction { holder_id: string; target_id: string; dependency_kind: string; holder_status: ItemStatus; legacy_terminal: boolean; }"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -20156,13 +20336,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 +20456,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "RelationshipCoverageProfile",
-          "signature": "export interface RelationshipCoverageProfile { nodes: number; edges: number; edge_basis: \"deduplicated_directed\"; edges_by_kind: Record<string, number>; edge_share_by_kind: Record<string, number>; semantic_edges: number; semantic_edge_share: number; active_nodes: number; missing_nodes: number; isolated_active_nodes: number; degree_leq_one_active_nodes: number; coverage_by_type: Record<string, RelationshipCoverageTypeProfile>; 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 +20894,7 @@
           "classification": "supported",
           "kind": "interface",
           "name": "WorkspaceRelationshipAssembly",
-          "signature": "export interface WorkspaceRelationshipAssembly { graph: RelationshipGraph; details: WorkspaceRelationshipNodeDetails[]; missingIdSet: Set<string>; dangling: DanglingDependencyReferenceSummary; duplicateRows: DuplicateDependencyRow[]; legacyAliasCounts: Record<string, number>; }"
+          "signature": "export interface WorkspaceRelationshipAssembly { graph: RelationshipGraph; details: WorkspaceRelationshipNodeDetails[]; missingIdSet: Set<string>; dangling: DanglingDependencyReferenceSummary; duplicateRows: DuplicateDependencyRow[]; orderingContradictions?: OrderingStorageContradiction[]; legacyAliasCounts: Record<string, number>; }"
         },
         {
           "classification": "supported",
@@ -23954,13 +24134,13 @@
           "classification": "supported",
           "kind": "interface",
           "name": "PmReadOutputOptions",
-          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
+          "signature": "export interface PmReadOutputOptions { outputInclude?: string | string[]; outputLimit?: string | number | \"unbounded\"; outputBudget?: string | number | \"unbounded\"; outputFormat?: \"json\" | \"toon\"; outputSession?: string | PmReadOutputSessionState; outputRowContract?: boolean; }"
         },
         {
           "classification": "supported",
           "kind": "type",
           "name": "PmReadOutputResult",
-          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
+          "signature": "export type PmReadOutputResult<Result> = (Result & { read_output?: PmReadOutputReceipt; read_session?: PmReadOutputSessionReceipt; output_budget_truncation?: PmReadOutputTruncationDisclosure; }) | (PmReadOutputBudgetExceeded & { read_session?: PmReadOutputSessionReceipt; });"
         },
         {
           "classification": "supported",