@unbrained/pm-cli 2026.8.18 → 2026.8.19

package/sdk/public-surface.json

@@ -1,6 +1,6 @@
 {
   "aggregate_completeness": {
-    "covered_symbols": 1687,
+    "covered_symbols": 1723,
     "excluded": [
       {
         "name": "_testOnlyCliContracts",
@@ -8,7 +8,7 @@
       }
     ],
     "missing": [],
-    "required_symbols": 1688
+    "required_symbols": 1724
   },
   "breaking_acknowledgements": [
     {
@@ -790,6 +790,68 @@
       ],
       "package_version": "2026.8.17",
       "reason": "Restore source compatibility for pre-ux PmSettings object literals; ux is normalized at runtime and the declaration change only widens accepted inputs."
+    },
+    {
+      "changes": [
+        "signature ./sdk:ContractsResult",
+        "signature ./sdk:PM_CLI_GRAMMAR_CONTRACT",
+        "signature ./sdk/contracts:PM_CLI_GRAMMAR_CONTRACT",
+        "signature ./sdk/runtime:ContractsResult"
+      ],
+      "package_version": "2026.8.18",
+      "reason": "Extend public contract receipts with additive positional grammar metadata while preserving all existing fields and runtime behavior."
+    },
+    {
+      "changes": [
+        "signature ./sdk:PmPositionalActionContract",
+        "signature ./sdk/contracts:PmPositionalActionContract"
+      ],
+      "package_version": "2026.8.18",
+      "reason": "Widen positional-action parent union for governed workspace snapshot actions; existing values and behavior remain compatible"
+    },
+    {
+      "changes": [
+        "signature ./sdk:ReadRowContract"
+      ],
+      "package_version": "2026.8.18",
+      "reason": "ReadRowContract adds an optional continuation_row_keys field; existing consumers remain source-compatible while nested resumability becomes explicit."
+    },
+    {
+      "changes": [
+        "signature ./sdk:PmFlagLexiconFinding",
+        "signature ./sdk:PmRefusalClosureFinding",
+        "signature ./sdk/contracts:PmFlagLexiconFinding",
+        "signature ./sdk/contracts:PmRefusalClosureFinding"
+      ],
+      "package_version": "2026.8.18",
+      "reason": "Finalize unpublished recovery and lexicon finding unions before first release"
+    },
+    {
+      "changes": [
+        "symbol ./sdk:PM_FLAG_LEXICON removed",
+        "symbol ./sdk/contracts:PM_FLAG_LEXICON removed"
+      ],
+      "package_version": "2026.8.18",
+      "reason": "Finalize unpublished flag lexicon as a lazy SDK function to preserve import budgets"
+    },
+    {
+      "changes": [
+        "symbol ./sdk:PM_COMMAND_FLAG_BUDGETS removed",
+        "symbol ./sdk/contracts:PM_COMMAND_FLAG_BUDGETS removed"
+      ],
+      "package_version": "2026.8.18",
+      "reason": "Finalize unpublished flag budget surface as a lazy SDK function to preserve import ratchets"
+    },
+    {
+      "changes": [
+        "signature ./sdk:applyContextIntentProjection",
+        "signature ./sdk:PmCliErrorRecoveryPayload",
+        "signature ./sdk:resolveContextIntentContract",
+        "signature ./sdk/contracts:applyContextIntentProjection",
+        "signature ./sdk/contracts:resolveContextIntentContract"
+      ],
+      "package_version": "2026.8.18",
+      "reason": "Add optional operand-preserving recovery argv parameters and structured retry metadata while retaining existing call compatibility"
     }
   ],
   "entrypoints": {
@@ -1370,7 +1432,7 @@
           "classification": "contract_data",
           "kind": "function",
           "name": "applyContextIntentProjection",
-          "signature": "(command: \"context\" | \"get\" | \"list\" | \"next\" | \"search\", options: Record<string, unknown>) => Record<string, unknown> | calls: (command: \"context\" | \"get\" | \"list\" | \"next\" | \"search\", options: Record<string, unknown>) => Record<string, unknown>"
+          "signature": "(command: \"context\" | \"get\" | \"list\" | \"next\" | \"search\", options: Record<string, unknown>, positionalArguments?: readonly string[]) => Record<string, unknown> | calls: (command: \"context\" | \"get\" | \"list\" | \"next\" | \"search\", options: Record<string, unknown>, positionalArguments?: readonly string[]) => Record<string, unknown>"
         },
         {
           "classification": "supported",
@@ -2680,6 +2742,12 @@
           "name": "clearWorkspaceContractsCache",
           "signature": "() => void | calls: () => void"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "CliFlagArityObservation",
+          "signature": "export interface CliFlagArityObservation { command: string; flag: string; takes_value: boolean; value_required: boolean; repeatable: boolean; }"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -2698,6 +2766,18 @@
           "name": "CliFlagInvocationContract",
           "signature": "export interface CliFlagInvocationContract extends CliFlagContract { description: string; takes_value: boolean; value_required: boolean; value_type: \"string\" | \"number\" | \"boolean\"; required: boolean; repeatable: boolean; input_sources: CliFlagInputSource[]; stdin_token?: \"-\"; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "CliFlagInvocationParityFinding",
+          "signature": "export interface CliFlagInvocationParityFinding { code: \"duplicate_observation\" | \"missing_observation\" | \"takes_value_mismatch\" | \"value_required_mismatch\" | \"repeatable_mismatch\" | \"undeclared_observation\"; command: string; flag: string; detail: string; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "CliFlagInvocationParityReport",
+          "signature": "export interface CliFlagInvocationParityReport { ok: boolean; declared_count: number; observed_count: number; findings: CliFlagInvocationParityFinding[]; }"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -3578,7 +3658,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[]; grammar_contracts?: { nouns: readonly string[]; shared_verbs: readonly string[]; scope_before_verb: boolean; visible_top_level_ceiling: number; ceiling_raise_requires_pm_item: boolean; destinations?: readonly PmCommandDestinationContract[]; }; 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\"]; }>; }; }"
+          "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[]; grammar_contracts?: { nouns: readonly string[]; shared_verbs: readonly string[]; scope_before_verb: boolean; visible_top_level_ceiling: number; ceiling_raise_requires_pm_item: boolean; positional_shape_budget: number; positional_shape_count: number; positional_action_count: number; positional_action_parents: readonly string[]; positional_signatures?: readonly PmCommandPositionalContract[]; destinations?: readonly PmCommandDestinationContract[]; }; 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",
@@ -5878,6 +5958,12 @@
           "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": "contract_data",
+          "kind": "function",
+          "name": "formatPmPositionalActionFlagTip",
+          "signature": "(acceptedFlags: readonly string[]) => string | calls: (acceptedFlags: readonly string[]) => string"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -7630,12 +7716,30 @@
           "name": "ListOptions",
           "signature": "export interface ListOptions extends SharedItemFilterOptions { ids?: string; assigneeFilter?: string; today?: boolean; recent?: boolean; limit?: string; offset?: string; after?: string; noTruncate?: boolean; includeBody?: boolean; compact?: boolean; brief?: boolean; full?: boolean; fields?: string; sort?: string; order?: string; tree?: boolean; treeDepth?: string; excludeTerminal?: boolean; strictRead?: boolean; dependencyBlocked?: boolean; filterAcMissing?: boolean; filterEstimatesMissing?: boolean; filterResolutionMissing?: boolean; filterMetadataMissing?: boolean; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "listPmCommandFlagBudgets",
+          "signature": "() => readonly PmCommandFlagBudget[] | calls: () => readonly PmCommandFlagBudget[]"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "listPmCommandsForFamily",
+          "signature": "(family: PmCommandCapabilityFamily) => string[] | calls: (family: PmCommandCapabilityFamily) => string[]"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
           "name": "listPmCommandsForTier",
           "signature": "(tier: Exclude<PmCommandVisibilityTier, \"internal\">) => string[] | calls: (tier: Exclude<PmCommandVisibilityTier, \"internal\">) => string[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "listPmFlagLexicon",
+          "signature": "() => readonly PmFlagLexiconEntry[] | calls: () => readonly PmFlagLexiconEntry[]"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -9086,7 +9190,7 @@
           "classification": "contract_data",
           "kind": "value",
           "name": "PM_CLI_GRAMMAR_CONTRACT",
-          "signature": "{ readonly nouns: readonly [\"item\", \"list\", \"context\", \"search\", \"graph\", \"history\", \"workspace\", \"package\", \"ops\", \"plan\", \"contracts\", \"help\"]; readonly shared_verbs: readonly [\"activate\", \"add\", \"adopt\", \"adopt-all\", \"catalog\", \"compact\", \"complete\", \"create\", \"deactivate\", \"delete\", \"describe\", \"doctor\", \"edit\", \"explore\", \"import\", \"init\", \"inspect\", \"install\", \"list\", \"manage\", \"migrate\", \"mutate\", \"read\", \"redact\", \"reload\", \"remove\", \"repair\", \"restore\", \"run\", \"show\", \"uninstall\", \"verify\"]; readonly scope_before_verb: true; readonly visible_top_level_ceiling: 69; readonly ceiling_raise_requires_pm_item: true; }"
+          "signature": "{ readonly nouns: readonly [\"item\", \"list\", \"context\", \"search\", \"graph\", \"history\", \"workspace\", \"package\", \"ops\", \"plan\", \"contracts\", \"help\"]; readonly shared_verbs: readonly [\"activate\", \"add\", \"adopt\", \"adopt-all\", \"catalog\", \"compact\", \"complete\", \"create\", \"deactivate\", \"delete\", \"describe\", \"doctor\", \"edit\", \"explore\", \"import\", \"init\", \"inspect\", \"install\", \"list\", \"manage\", \"migrate\", \"mutate\", \"read\", \"redact\", \"reload\", \"remove\", \"repair\", \"restore\", \"run\", \"show\", \"uninstall\", \"verify\"]; readonly scope_before_verb: true; readonly visible_top_level_ceiling: 69; readonly ceiling_raise_requires_pm_item: true; readonly positional_shape_budget: 21; }"
         },
         {
           "classification": "contract_data",
@@ -9112,6 +9216,12 @@
           "name": "PM_COMMAND_ALIAS_CONTRACTS",
           "signature": "readonly PmCommandAliasContract[]"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "value",
+          "name": "PM_COMMAND_CAPABILITY_CONTRACTS",
+          "signature": "readonly PmCommandCapabilityContract[]"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -9142,6 +9252,12 @@
           "name": "PM_COMMAND_OUTPUT_ENVELOPE_CONTRACTS",
           "signature": "PmCommandOutputEnvelopeContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "value",
+          "name": "PM_COMMAND_POSITIONAL_CONTRACTS",
+          "signature": "readonly PmCommandPositionalContract[]"
+        },
         {
           "classification": "advanced_export",
           "kind": "value",
@@ -9346,6 +9462,12 @@
           "name": "PM_PACKAGE_RESOURCE_KINDS",
           "signature": "readonly [\"extensions\", \"docs\", \"examples\", \"assets\", \"prompts\"]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "value",
+          "name": "PM_POSITIONAL_ACTION_CONTRACTS",
+          "signature": "readonly PmPositionalActionContract[]"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -9572,7 +9694,7 @@
           "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; 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; }"
+          "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; suggested_retry_args?: string[]; retry_after_ms?: number; fallback_candidates?: Array<{ source: string; command: string; reason: string; }>; next_best_command?: string; }"
         },
         {
           "classification": "advanced_export",
@@ -9628,6 +9750,18 @@
           "name": "PmCommandAliasRegistration",
           "signature": "export type PmCommandAliasRegistration = \"bootstrap\" | \"commander\";"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "interface",
+          "name": "PmCommandCapabilityContract",
+          "signature": "export interface PmCommandCapabilityContract extends PmCommandVisibilityContract { family: PmCommandCapabilityFamily; }"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "type",
+          "name": "PmCommandCapabilityFamily",
+          "signature": "export type PmCommandCapabilityFamily = \"workspace\" | \"intake\" | \"context\" | \"lifecycle\" | \"evidence\" | \"graph\" | \"quality\" | \"automation\" | \"extensions\" | \"internal\";"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -9688,6 +9822,12 @@
           "name": "PmCommandExitOutcomeContract",
           "signature": "export interface PmCommandExitOutcomeContract { exit_code: PmCommandExitCode; outcome: PmCommandExitOutcome; success: boolean; meaning: string; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmCommandFlagBudget",
+          "signature": "export interface PmCommandFlagBudget { command: string; current: number; maximum: number; }"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -9700,6 +9840,36 @@
           "name": "PmCommandOutputEnvelopeContract",
           "signature": "export interface PmCommandOutputEnvelopeContract { command: string; kind: PmOutputEnvelopeKind; wrapper_key: string | null; cardinality: \"one\" | \"many\" | \"none\"; format_flag: \"--json\"; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmCommandPositionalContract",
+          "signature": "export interface PmCommandPositionalContract { command: string; slots: readonly PmCommandPositionalSlotContract[]; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmCommandPositionalFinding",
+          "signature": "export interface PmCommandPositionalFinding { code: \"missing_observed_signature\" | \"positional_shape_budget_exceeded\" | \"positional_signature_mismatch\" | \"stale_observed_signature\"; command: string; detail: string; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmCommandPositionalReport",
+          "signature": "export interface PmCommandPositionalReport { ok: boolean; declared_command_count: number; observed_command_count: number; positional_shape_count: number; positional_shape_budget: number; findings: PmCommandPositionalFinding[]; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmCommandPositionalSlotContract",
+          "signature": "export interface PmCommandPositionalSlotContract { name: string; required: boolean; variadic: boolean; value_kind: PmCommandPositionalValueKind; polymorphic: boolean; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "type",
+          "name": "PmCommandPositionalValueKind",
+          "signature": "export type PmCommandPositionalValueKind = \"action\" | \"integer\" | \"item_id\" | \"string\";"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -9874,6 +10044,30 @@
           "name": "PmExtensionTrustModeContract",
           "signature": "export type PmExtensionTrustModeContract = (typeof PM_EXTENSION_TRUST_MODE_CONTRACTS)[number];"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmFlagLexiconEntry",
+          "signature": "export interface PmFlagLexiconEntry { command: string; family: PmCommandCapabilityFamily; concept: string; flag: string; aliases: readonly string[]; value_kind: PmFlagValueKind; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmFlagLexiconFinding",
+          "signature": "export interface PmFlagLexiconFinding { code: \"alias_collision\" | \"budget_exceeded\" | \"duplicate_canonical_flag\" | \"inconsistent_concept_kind\" | \"missing_budget\" | \"stale_budget\"; command: string; detail: string; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmFlagLexiconReport",
+          "signature": "export interface PmFlagLexiconReport { ok: boolean; entry_count: number; budget_count: number; findings: readonly PmFlagLexiconFinding[]; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "type",
+          "name": "PmFlagValueKind",
+          "signature": "export type PmFlagValueKind = \"boolean\" | \"string\" | \"number\" | \"list\";"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -10000,6 +10194,12 @@
           "name": "PmPackageResourceMap",
           "signature": "export type PmPackageResourceMap = Partial<Record<PmPackageResourceKind, string[]>>;"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmPositionalActionContract",
+          "signature": "export interface PmPositionalActionContract extends PmCommandPositionalContract { parent: \"assurance\" | \"plan\" | \"workspace snapshot\"; action: string; accepted_flags: readonly string[]; description: string; example: string; }"
+        },
         {
           "classification": "supported",
           "kind": "interface",
@@ -10174,6 +10374,24 @@
           "name": "PmRecoveryReferenceSemantics",
           "signature": "export type PmRecoveryReferenceSemantics = \"recovery\" | \"replacement\" | \"behavior_preserving\";"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmRefusalClosureFinding",
+          "signature": "export interface PmRefusalClosureFinding { code: \"accepted_rejected_value\" | \"duplicate_probe\" | \"empty_corpus\" | \"missing_allowed_values\" | \"missing_suggested_retry\" | \"non_refusal_exit\" | \"retry_failed\"; probe_id: string; detail: string; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmRefusalClosureObservation",
+          "signature": "export interface PmRefusalClosureObservation { probe_id: string; entrypoint: string; exit_code: number; rejected_value: string; allowed_values: readonly string[]; suggested_retry: string; retry_succeeded: boolean; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmRefusalClosureReport",
+          "signature": "export interface PmRefusalClosureReport { ok: boolean; probe_count: number; closed_probe_count: number; closure_fraction: number; findings: readonly PmRefusalClosureFinding[]; }"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -10246,6 +10464,18 @@
           "name": "PmUpdateManyActionOptions",
           "signature": "export type PmUpdateManyActionOptions = Omit<PmUpdateActionOptions, \"allowMissingParent\" | \"completedAt\"> & PmBulkMutationFilterOptions & PmBulkMutationControlOptions;"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "positionalShapeKey",
+          "signature": "(slots: readonly PmCommandPositionalSlotContract[]) => string | calls: (slots: readonly PmCommandPositionalSlotContract[]) => string"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "positionalSignatureKey",
+          "signature": "(slots: readonly PmCommandPositionalSlotContract[]) => string | calls: (slots: readonly PmCommandPositionalSlotContract[]) => string"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -10876,6 +11106,18 @@
           "name": "readOutputBudgetCollections",
           "signature": "(result: Record<string, unknown>) => PmReadOutputRowCollection[] | calls: (result: Record<string, unknown>) => PmReadOutputRowCollection[]"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "readOutputContinuationRowCollections",
+          "signature": "(result: Record<string, unknown>) => PmReadOutputRowCollection[] | calls: (result: Record<string, unknown>) => PmReadOutputRowCollection[]"
+        },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "readOutputContinuationRowPaths",
+          "signature": "(result: Record<string, unknown>) => string[] | calls: (result: Record<string, unknown>) => string[]"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
@@ -10916,7 +11158,7 @@
           "classification": "advanced_export",
           "kind": "interface",
           "name": "ReadRowContract",
-          "signature": "export interface ReadRowContract { command: string; row_kind: \"collection\" | \"none\"; row_keys: string[]; fields: \"supported\" | \"unsupported\"; jq_selector?: string; toon_encoding?: \"tabular_when_uniform\"; }"
+          "signature": "export interface ReadRowContract { command: string; row_kind: \"collection\" | \"none\"; row_keys: string[]; continuation_row_keys?: string[]; fields: \"supported\" | \"unsupported\"; jq_selector?: string; toon_encoding?: \"tabular_when_uniform\"; }"
         },
         {
           "classification": "advanced_export",
@@ -11956,6 +12198,12 @@
           "name": "renderPmCommandVisibilityMarkdown",
           "signature": "() => string | calls: () => string"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "renderPmFlagLexiconMarkdown",
+          "signature": "() => string | calls: () => string"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -12116,7 +12364,7 @@
           "classification": "contract_data",
           "kind": "function",
           "name": "resolveContextIntentContract",
-          "signature": "(command: string, intent: string, contracts?: readonly PmContextIntentContract[]) => PmContextIntentContract | undefined | calls: (command: string, intent: string, contracts?: readonly PmContextIntentContract[]) => PmContextIntentContract | undefined"
+          "signature": "(command: string, intent: string, contracts?: readonly PmContextIntentContract[], positionalArguments?: readonly string[]) => PmContextIntentContract | undefined | calls: (command: string, intent: string, contracts?: readonly PmContextIntentContract[], positionalArguments?: readonly string[]) => PmContextIntentContract | undefined"
         },
         {
           "classification": "supported",
@@ -12340,6 +12588,12 @@
           "name": "resolvePmCommandAlias",
           "signature": "(alias: string) => PmCommandAliasContract | undefined | calls: (alias: string) => PmCommandAliasContract | undefined"
         },
+        {
+          "classification": "advanced_export",
+          "kind": "function",
+          "name": "resolvePmCommandCapabilityFamily",
+          "signature": "(command: string) => PmCommandCapabilityFamily | calls: (command: string) => PmCommandCapabilityFamily"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
@@ -12358,6 +12612,12 @@
           "name": "resolvePmCommandOutputEnvelope",
           "signature": "(command: string) => PmCommandOutputEnvelopeContract | calls: (command: string) => PmCommandOutputEnvelopeContract"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "resolvePmCommandPositionalContract",
+          "signature": "(command: string) => PmCommandPositionalContract | undefined | calls: (command: string) => PmCommandPositionalContract | undefined"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -12376,6 +12636,18 @@
           "name": "resolvePmPackageRootFromModule",
           "signature": "(metaUrl: string, fallbackRelativeSegments?: string[]) => string | calls: (metaUrl: string, fallbackRelativeSegments?: string[]) => string"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "resolvePmPositionalActionContract",
+          "signature": "(command: string) => PmPositionalActionContract | undefined | calls: (command: string) => PmPositionalActionContract | undefined"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "resolvePmPositionalActionFlagContracts",
+          "signature": "(actions?: readonly PmPositionalActionContract[]) => Array<readonly [string, CliFlagContract[]]> | calls: (actions?: readonly PmPositionalActionContract[]) => Array<readonly [string, CliFlagContract[]]>"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -13894,6 +14166,12 @@
           "name": "scoreItemSimilarity",
           "signature": "(leftTitle: string, rightTitle: string) => ItemSimilarityScore | calls: (leftTitle: string, rightTitle: string) => ItemSimilarityScore"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "scorePmRefusalClosure",
+          "signature": "(observations: readonly PmRefusalClosureObservation[]) => PmRefusalClosureReport | calls: (observations: readonly PmRefusalClosureObservation[]) => PmRefusalClosureReport"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -15166,6 +15444,18 @@
           "name": "TOOL_UPDATE_OPTION_CONTRACTS",
           "signature": "ToolOptionFlagContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "ToolOptionCliParityFinding",
+          "signature": "export interface ToolOptionCliParityFinding { code: \"missing_cli_flag\" | \"missing_parameter_alias\"; parameter: string; flag: string; parameter_flag: string; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "ToolOptionCliParityReport",
+          "signature": "export interface ToolOptionCliParityReport { ok: boolean; parameter_count: number; cli_flag_count: number; findings: ToolOptionCliParityFinding[]; }"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -15526,6 +15816,18 @@
           "name": "VectorStoreUpsertPoint",
           "signature": "export interface VectorStoreUpsertPoint { id: string; vector: number[]; payload?: Record<string, unknown>; [key: string]: unknown; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "verifyCliFlagInvocationParity",
+          "signature": "(command: string, declarations: readonly CliFlagInvocationContract[], observations: readonly CliFlagArityObservation[]) => CliFlagInvocationParityReport | calls: (command: string, declarations: readonly CliFlagInvocationContract[], observations: readonly CliFlagArityObservation[]) => CliFlagInvocationParityReport"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "verifyExplicitPositionalSlotCensus",
+          "signature": "(explicitCommands: Iterable<string>, destinationCommands: Iterable<string>) => PmCommandPositionalFinding[] | calls: (explicitCommands: Iterable<string>, destinationCommands: Iterable<string>) => PmCommandPositionalFinding[]"
+        },
         {
           "classification": "supported",
           "kind": "function",
@@ -15550,6 +15852,18 @@
           "name": "verifyPmCliGrammar",
           "signature": "(commands: readonly string[], aliases?: readonly PmCommandAliasContract[]) => PmCliGrammarReport | calls: (commands: readonly string[], aliases?: readonly PmCommandAliasContract[]) => PmCliGrammarReport"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "verifyPmCommandPositionalContracts",
+          "signature": "(observed: readonly PmCommandPositionalContract[], options?: { declared?: readonly PmCommandPositionalContract[]; positionalShapeBudget?: number; }) => PmCommandPositionalReport | calls: (observed: readonly PmCommandPositionalContract[], options?: { declared?: readonly PmCommandPositionalContract[]; positionalShapeBudget?: number; }) => PmCommandPositionalReport"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "verifyPmFlagLexicon",
+          "signature": "(entries?: readonly PmFlagLexiconEntry[], budgets?: readonly PmCommandFlagBudget[]) => PmFlagLexiconReport | calls: (entries?: readonly PmFlagLexiconEntry[], budgets?: readonly PmCommandFlagBudget[]) => PmFlagLexiconReport"
+        },
         {
           "classification": "advanced_export",
           "kind": "function",
@@ -15562,6 +15876,12 @@
           "name": "verifyPmRefusalReachability",
           "signature": "(catalog: readonly PmErrorCodeContract[], observations: readonly PmRefusalProbeObservation[]) => PmRefusalReachabilityReport | calls: (catalog: readonly PmErrorCodeContract[], observations: readonly PmRefusalProbeObservation[]) => PmRefusalReachabilityReport"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "verifyToolOptionCliParity",
+          "signature": "(toolOptions: readonly ToolOptionFlagContract[], cliFlags: readonly CliFlagContract[]) => ToolOptionCliParityReport | calls: (toolOptions: readonly ToolOptionFlagContract[], cliFlags: readonly CliFlagContract[]) => ToolOptionCliParityReport"
+        },
         {
           "classification": "supported",
           "kind": "interface",
@@ -15598,6 +15918,12 @@
           "name": "WORKSPACE_HISTORY_ID",
           "signature": "\"_workspace\""
         },
+        {
+          "classification": "advanced_export",
+          "kind": "value",
+          "name": "WORKSPACE_SNAPSHOT_ACTIONS",
+          "signature": "readonly [\"create\", \"list\", \"inspect\", \"restore\", \"delete\"]"
+        },
         {
           "classification": "advanced_export",
           "kind": "interface",
@@ -17348,7 +17674,7 @@
           "classification": "contract_data",
           "kind": "function",
           "name": "applyContextIntentProjection",
-          "signature": "(command: \"context\" | \"get\" | \"list\" | \"next\" | \"search\", options: Record<string, unknown>) => Record<string, unknown> | calls: (command: \"context\" | \"get\" | \"list\" | \"next\" | \"search\", options: Record<string, unknown>) => Record<string, unknown>"
+          "signature": "(command: \"context\" | \"get\" | \"list\" | \"next\" | \"search\", options: Record<string, unknown>, positionalArguments?: readonly string[]) => Record<string, unknown> | calls: (command: \"context\" | \"get\" | \"list\" | \"next\" | \"search\", options: Record<string, unknown>, positionalArguments?: readonly string[]) => Record<string, unknown>"
         },
         {
           "classification": "contract_data",
@@ -17410,6 +17736,12 @@
           "name": "CLAIM_FLAG_CONTRACTS",
           "signature": "CliFlagContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "CliFlagArityObservation",
+          "signature": "export interface CliFlagArityObservation { command: string; flag: string; takes_value: boolean; value_required: boolean; repeatable: boolean; }"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -17428,6 +17760,18 @@
           "name": "CliFlagInvocationContract",
           "signature": "export interface CliFlagInvocationContract extends CliFlagContract { description: string; takes_value: boolean; value_required: boolean; value_type: \"string\" | \"number\" | \"boolean\"; required: boolean; repeatable: boolean; input_sources: CliFlagInputSource[]; stdin_token?: \"-\"; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "CliFlagInvocationParityFinding",
+          "signature": "export interface CliFlagInvocationParityFinding { code: \"duplicate_observation\" | \"missing_observation\" | \"takes_value_mismatch\" | \"value_required_mismatch\" | \"repeatable_mismatch\" | \"undeclared_observation\"; command: string; flag: string; detail: string; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "CliFlagInvocationParityReport",
+          "signature": "export interface CliFlagInvocationParityReport { ok: boolean; declared_count: number; observed_count: number; findings: CliFlagInvocationParityFinding[]; }"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -17770,6 +18114,12 @@
           "name": "FOCUS_FLAG_CONTRACTS",
           "signature": "CliFlagContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "formatPmPositionalActionFlagTip",
+          "signature": "(acceptedFlags: readonly string[]) => string | calls: (acceptedFlags: readonly string[]) => string"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -17950,6 +18300,18 @@
           "name": "LIST_FILTER_FLAG_CONTRACTS",
           "signature": "CliFlagContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "listPmCommandFlagBudgets",
+          "signature": "() => readonly PmCommandFlagBudget[] | calls: () => readonly PmCommandFlagBudget[]"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "listPmFlagLexicon",
+          "signature": "() => readonly PmFlagLexiconEntry[] | calls: () => readonly PmFlagLexiconEntry[]"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -18032,7 +18394,7 @@
           "classification": "contract_data",
           "kind": "value",
           "name": "PM_CLI_GRAMMAR_CONTRACT",
-          "signature": "{ readonly nouns: readonly [\"item\", \"list\", \"context\", \"search\", \"graph\", \"history\", \"workspace\", \"package\", \"ops\", \"plan\", \"contracts\", \"help\"]; readonly shared_verbs: readonly [\"activate\", \"add\", \"adopt\", \"adopt-all\", \"catalog\", \"compact\", \"complete\", \"create\", \"deactivate\", \"delete\", \"describe\", \"doctor\", \"edit\", \"explore\", \"import\", \"init\", \"inspect\", \"install\", \"list\", \"manage\", \"migrate\", \"mutate\", \"read\", \"redact\", \"reload\", \"remove\", \"repair\", \"restore\", \"run\", \"show\", \"uninstall\", \"verify\"]; readonly scope_before_verb: true; readonly visible_top_level_ceiling: 69; readonly ceiling_raise_requires_pm_item: true; }"
+          "signature": "{ readonly nouns: readonly [\"item\", \"list\", \"context\", \"search\", \"graph\", \"history\", \"workspace\", \"package\", \"ops\", \"plan\", \"contracts\", \"help\"]; readonly shared_verbs: readonly [\"activate\", \"add\", \"adopt\", \"adopt-all\", \"catalog\", \"compact\", \"complete\", \"create\", \"deactivate\", \"delete\", \"describe\", \"doctor\", \"edit\", \"explore\", \"import\", \"init\", \"inspect\", \"install\", \"list\", \"manage\", \"migrate\", \"mutate\", \"read\", \"redact\", \"reload\", \"remove\", \"repair\", \"restore\", \"run\", \"show\", \"uninstall\", \"verify\"]; readonly scope_before_verb: true; readonly visible_top_level_ceiling: 69; readonly ceiling_raise_requires_pm_item: true; readonly positional_shape_budget: 21; }"
         },
         {
           "classification": "contract_data",
@@ -18088,6 +18450,12 @@
           "name": "PM_COMMAND_OUTPUT_ENVELOPE_CONTRACTS",
           "signature": "PmCommandOutputEnvelopeContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "value",
+          "name": "PM_COMMAND_POSITIONAL_CONTRACTS",
+          "signature": "readonly PmCommandPositionalContract[]"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -18184,6 +18552,12 @@
           "name": "PM_OUTPUT_ENVELOPE_KINDS",
           "signature": "readonly [\"mutation_receipt\", \"entity\", \"collection\", \"diagnostic\", \"stream\"]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "value",
+          "name": "PM_POSITIONAL_ACTION_CONTRACTS",
+          "signature": "readonly PmPositionalActionContract[]"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -18406,6 +18780,12 @@
           "name": "PmCommandExitOutcomeContract",
           "signature": "export interface PmCommandExitOutcomeContract { exit_code: PmCommandExitCode; outcome: PmCommandExitOutcome; success: boolean; meaning: string; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmCommandFlagBudget",
+          "signature": "export interface PmCommandFlagBudget { command: string; current: number; maximum: number; }"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -18418,6 +18798,36 @@
           "name": "PmCommandOutputEnvelopeContract",
           "signature": "export interface PmCommandOutputEnvelopeContract { command: string; kind: PmOutputEnvelopeKind; wrapper_key: string | null; cardinality: \"one\" | \"many\" | \"none\"; format_flag: \"--json\"; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmCommandPositionalContract",
+          "signature": "export interface PmCommandPositionalContract { command: string; slots: readonly PmCommandPositionalSlotContract[]; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmCommandPositionalFinding",
+          "signature": "export interface PmCommandPositionalFinding { code: \"missing_observed_signature\" | \"positional_shape_budget_exceeded\" | \"positional_signature_mismatch\" | \"stale_observed_signature\"; command: string; detail: string; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmCommandPositionalReport",
+          "signature": "export interface PmCommandPositionalReport { ok: boolean; declared_command_count: number; observed_command_count: number; positional_shape_count: number; positional_shape_budget: number; findings: PmCommandPositionalFinding[]; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmCommandPositionalSlotContract",
+          "signature": "export interface PmCommandPositionalSlotContract { name: string; required: boolean; variadic: boolean; value_kind: PmCommandPositionalValueKind; polymorphic: boolean; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "type",
+          "name": "PmCommandPositionalValueKind",
+          "signature": "export type PmCommandPositionalValueKind = \"action\" | \"integer\" | \"item_id\" | \"string\";"
+        },
         {
           "classification": "contract_data",
           "kind": "type",
@@ -18508,6 +18918,30 @@
           "name": "PmExtensionTrustModeContract",
           "signature": "export type PmExtensionTrustModeContract = (typeof PM_EXTENSION_TRUST_MODE_CONTRACTS)[number];"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmFlagLexiconEntry",
+          "signature": "export interface PmFlagLexiconEntry { command: string; family: PmCommandCapabilityFamily; concept: string; flag: string; aliases: readonly string[]; value_kind: PmFlagValueKind; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmFlagLexiconFinding",
+          "signature": "export interface PmFlagLexiconFinding { code: \"alias_collision\" | \"budget_exceeded\" | \"duplicate_canonical_flag\" | \"inconsistent_concept_kind\" | \"missing_budget\" | \"stale_budget\"; command: string; detail: string; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmFlagLexiconReport",
+          "signature": "export interface PmFlagLexiconReport { ok: boolean; entry_count: number; budget_count: number; findings: readonly PmFlagLexiconFinding[]; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "type",
+          "name": "PmFlagValueKind",
+          "signature": "export type PmFlagValueKind = \"boolean\" | \"string\" | \"number\" | \"list\";"
+        },
         {
           "classification": "contract_data",
           "kind": "type",
@@ -18562,6 +18996,12 @@
           "name": "PmOutputTokenSectionAccounting",
           "signature": "export interface PmOutputTokenSectionAccounting { bytes: number; estimated_tokens: number; }"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmPositionalActionContract",
+          "signature": "export interface PmPositionalActionContract extends PmCommandPositionalContract { parent: \"assurance\" | \"plan\" | \"workspace snapshot\"; action: string; accepted_flags: readonly string[]; description: string; example: string; }"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -18658,6 +19098,24 @@
           "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",
+          "kind": "interface",
+          "name": "PmRefusalClosureFinding",
+          "signature": "export interface PmRefusalClosureFinding { code: \"accepted_rejected_value\" | \"duplicate_probe\" | \"empty_corpus\" | \"missing_allowed_values\" | \"missing_suggested_retry\" | \"non_refusal_exit\" | \"retry_failed\"; probe_id: string; detail: string; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmRefusalClosureObservation",
+          "signature": "export interface PmRefusalClosureObservation { probe_id: string; entrypoint: string; exit_code: number; rejected_value: string; allowed_values: readonly string[]; suggested_retry: string; retry_succeeded: boolean; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "PmRefusalClosureReport",
+          "signature": "export interface PmRefusalClosureReport { ok: boolean; probe_count: number; closed_probe_count: number; closure_fraction: number; findings: readonly PmRefusalClosureFinding[]; }"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -18706,6 +19164,18 @@
           "name": "PmUpdateManyActionOptions",
           "signature": "export type PmUpdateManyActionOptions = Omit<PmUpdateActionOptions, \"allowMissingParent\" | \"completedAt\"> & PmBulkMutationFilterOptions & PmBulkMutationControlOptions;"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "positionalShapeKey",
+          "signature": "(slots: readonly PmCommandPositionalSlotContract[]) => string | calls: (slots: readonly PmCommandPositionalSlotContract[]) => string"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "positionalSignatureKey",
+          "signature": "(slots: readonly PmCommandPositionalSlotContract[]) => string | calls: (slots: readonly PmCommandPositionalSlotContract[]) => string"
+        },
         {
           "classification": "contract_data",
           "kind": "value",
@@ -18760,6 +19230,12 @@
           "name": "renderPmCommandAliasMigrationHint",
           "signature": "(contract: PmCommandAliasContract) => string | calls: (contract: PmCommandAliasContract) => string"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "renderPmFlagLexiconMarkdown",
+          "signature": "() => string | calls: () => string"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
@@ -18770,7 +19246,7 @@
           "classification": "contract_data",
           "kind": "function",
           "name": "resolveContextIntentContract",
-          "signature": "(command: string, intent: string, contracts?: readonly PmContextIntentContract[]) => PmContextIntentContract | undefined | calls: (command: string, intent: string, contracts?: readonly PmContextIntentContract[]) => PmContextIntentContract | undefined"
+          "signature": "(command: string, intent: string, contracts?: readonly PmContextIntentContract[], positionalArguments?: readonly string[]) => PmContextIntentContract | undefined | calls: (command: string, intent: string, contracts?: readonly PmContextIntentContract[], positionalArguments?: readonly string[]) => PmContextIntentContract | undefined"
         },
         {
           "classification": "contract_data",
@@ -18796,12 +19272,30 @@
           "name": "resolvePmCommandOutputEnvelope",
           "signature": "(command: string) => PmCommandOutputEnvelopeContract | calls: (command: string) => PmCommandOutputEnvelopeContract"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "resolvePmCommandPositionalContract",
+          "signature": "(command: string) => PmCommandPositionalContract | undefined | calls: (command: string) => PmCommandPositionalContract | undefined"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
           "name": "resolvePmErrorCodeContract",
           "signature": "(code: string, catalog: readonly PmErrorCodeContract[]) => PmErrorCodeContract | calls: (code: string, catalog: readonly PmErrorCodeContract[]) => PmErrorCodeContract"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "resolvePmPositionalActionContract",
+          "signature": "(command: string) => PmPositionalActionContract | undefined | calls: (command: string) => PmPositionalActionContract | undefined"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "resolvePmPositionalActionFlagContracts",
+          "signature": "(actions?: readonly PmPositionalActionContract[]) => Array<readonly [string, CliFlagContract[]]> | calls: (actions?: readonly PmPositionalActionContract[]) => Array<readonly [string, CliFlagContract[]]>"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
@@ -18850,6 +19344,12 @@
           "name": "SCHEMA_FLAG_CONTRACTS",
           "signature": "CliFlagContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "scorePmRefusalClosure",
+          "signature": "(observations: readonly PmRefusalClosureObservation[]) => PmRefusalClosureReport | calls: (observations: readonly PmRefusalClosureObservation[]) => PmRefusalClosureReport"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -19042,6 +19542,18 @@
           "name": "TOOL_UPDATE_OPTION_CONTRACTS",
           "signature": "ToolOptionFlagContract[]"
         },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "ToolOptionCliParityFinding",
+          "signature": "export interface ToolOptionCliParityFinding { code: \"missing_cli_flag\" | \"missing_parameter_alias\"; parameter: string; flag: string; parameter_flag: string; }"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "interface",
+          "name": "ToolOptionCliParityReport",
+          "signature": "export interface ToolOptionCliParityReport { ok: boolean; parameter_count: number; cli_flag_count: number; findings: ToolOptionCliParityFinding[]; }"
+        },
         {
           "classification": "contract_data",
           "kind": "interface",
@@ -19096,12 +19608,42 @@
           "name": "validateReadOutputOptions",
           "signature": "(command: string, options: Record<string, unknown>) => void | calls: (command: string, options: Record<string, unknown>) => void"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "verifyCliFlagInvocationParity",
+          "signature": "(command: string, declarations: readonly CliFlagInvocationContract[], observations: readonly CliFlagArityObservation[]) => CliFlagInvocationParityReport | calls: (command: string, declarations: readonly CliFlagInvocationContract[], observations: readonly CliFlagArityObservation[]) => CliFlagInvocationParityReport"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "verifyExplicitPositionalSlotCensus",
+          "signature": "(explicitCommands: Iterable<string>, destinationCommands: Iterable<string>) => PmCommandPositionalFinding[] | calls: (explicitCommands: Iterable<string>, destinationCommands: Iterable<string>) => PmCommandPositionalFinding[]"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
           "name": "verifyPmCliGrammar",
           "signature": "(commands: readonly string[], aliases?: readonly PmCommandAliasContract[]) => PmCliGrammarReport | calls: (commands: readonly string[], aliases?: readonly PmCommandAliasContract[]) => PmCliGrammarReport"
         },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "verifyPmCommandPositionalContracts",
+          "signature": "(observed: readonly PmCommandPositionalContract[], options?: { declared?: readonly PmCommandPositionalContract[]; positionalShapeBudget?: number; }) => PmCommandPositionalReport | calls: (observed: readonly PmCommandPositionalContract[], options?: { declared?: readonly PmCommandPositionalContract[]; positionalShapeBudget?: number; }) => PmCommandPositionalReport"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "verifyPmFlagLexicon",
+          "signature": "(entries?: readonly PmFlagLexiconEntry[], budgets?: readonly PmCommandFlagBudget[]) => PmFlagLexiconReport | calls: (entries?: readonly PmFlagLexiconEntry[], budgets?: readonly PmCommandFlagBudget[]) => PmFlagLexiconReport"
+        },
+        {
+          "classification": "contract_data",
+          "kind": "function",
+          "name": "verifyToolOptionCliParity",
+          "signature": "(toolOptions: readonly ToolOptionFlagContract[], cliFlags: readonly CliFlagContract[]) => ToolOptionCliParityReport | calls: (toolOptions: readonly ToolOptionFlagContract[], cliFlags: readonly CliFlagContract[]) => ToolOptionCliParityReport"
+        },
         {
           "classification": "contract_data",
           "kind": "function",
@@ -25232,7 +25774,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[]; grammar_contracts?: { nouns: readonly string[]; shared_verbs: readonly string[]; scope_before_verb: boolean; visible_top_level_ceiling: number; ceiling_raise_requires_pm_item: boolean; destinations?: readonly PmCommandDestinationContract[]; }; 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\"]; }>; }; }"
+          "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[]; grammar_contracts?: { nouns: readonly string[]; shared_verbs: readonly string[]; scope_before_verb: boolean; visible_top_level_ceiling: number; ceiling_raise_requires_pm_item: boolean; positional_shape_budget: number; positional_shape_count: number; positional_action_count: number; positional_action_parents: readonly string[]; positional_signatures?: readonly PmCommandPositionalContract[]; destinations?: readonly PmCommandDestinationContract[]; }; 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",
@@ -28134,6 +28676,8 @@
     "acceptance_criteria_mutation_conflict",
     "acceptance_criteria_remove_unmatched",
     "acceptance_criteria_semicolon_forbidden",
+    "accepted_rejected_value",
+    "alias_collision",
     "alias_target_missing",
     "already_claimed_by",
     "ambiguous_option_combination",
@@ -28146,6 +28690,7 @@
     "body_file_conflicts_with_body",
     "body_file_missing_path",
     "body_file_unreadable",
+    "budget_exceeded",
     "bundle_integrity_torn_install",
     "capability_undeclared",
     "capability_unused",
@@ -28171,14 +28716,18 @@
     "dependency_edge_not_allowed",
     "dependency_target_not_found",
     "dependency_temporal_order_invalid",
+    "duplicate_canonical_flag",
     "duplicate_command",
     "duplicate_destination",
     "duplicate_edge",
+    "duplicate_observation",
+    "duplicate_probe",
     "duplicate_sweep_cost_limit",
     "duplicate_target_circular",
     "duplicate_target_is_duplicate",
     "duplicate_target_missing",
     "duplicate_target_self",
+    "empty_corpus",
     "empty_surface",
     "event_cursor_query_mismatch",
     "event_index_unavailable",
@@ -28222,6 +28771,7 @@
     "host_environment_resource_fault",
     "improvement_metric_contract_conflict",
     "improvement_observation_conflict",
+    "inconsistent_concept_kind",
     "init_existing_settings_requires_force",
     "init_gitignore_unwritable",
     "init_id_prefix_conflict",
@@ -28275,11 +28825,18 @@
     "merge_git_config_unwritable",
     "merge_reconcile_discards_require_acceptance",
     "merge_root_not_found",
+    "missing_allowed_values",
+    "missing_budget",
+    "missing_cli_flag",
     "missing_destination",
     "missing_directory",
     "missing_lifecycle_target",
+    "missing_observation",
+    "missing_observed_signature",
+    "missing_parameter_alias",
     "missing_required_argument",
     "missing_required_option",
+    "missing_suggested_retry",
     "module_import_failed",
     "multi_target_github_install_ambiguous",
     "mutation_author_required",
@@ -28290,11 +28847,14 @@
     "no_tests_found",
     "no_update_fields",
     "no_version_bounds_declared",
+    "non_refusal_exit",
     "npm_package_not_found",
     "ownership_conflict",
     "ownership_dependency_bypass_restricted_options",
     "ownership_metadata_bypass_restricted_options",
     "package_spec_empty",
+    "positional_shape_budget_exceeded",
+    "positional_signature_mismatch",
     "profile_name_empty",
     "profile_name_not_normalized",
     "profile_summary_empty",
@@ -28308,12 +28868,15 @@
     "redundant_edge",
     "reindex_already_running",
     "reserved_item_field",
+    "retry_failed",
     "schema_migration_input_required",
     "settings_read_fs_error",
     "settings_read_invalid_json",
     "settings_read_invalid_schema",
     "settings_read_merge_failed",
+    "stale_budget",
     "stale_destination",
+    "stale_observed_signature",
     "status_duplicate",
     "status_invalid",
     "stdin_json_invalid",
@@ -28341,6 +28904,7 @@
     "tracker_root_unreadable",
     "type_duplicate",
     "type_invalid",
+    "undeclared_observation",
     "unknown_command",
     "unknown_context_intent",
     "unknown_error",