PTSIP 0.3.8b3__py3-none-win_amd64.whl

ptsip/engines/contracts/vpms-caller-transition-plan.json

@@ -0,0 +1,224 @@
+{
+  "schema_version": "ptsip-vpms-caller-transition-plan/v1",
+  "plan_owner": "developer/planning/0.3.8/WU-02/WU-02.yaml",
+  "scope_confirmation": "PRESERVE_EXISTING_PUBLIC_APIS_IMPLEMENT_NEW_CONTRACT_VERIFICATION_AND_TRANSITION_PLAN",
+  "current_source_catalog_ref": "src/vpms/contracts/index.json",
+  "scope_mapping_ref": "src/ptsip/engines/contracts/vpms-scope-mapping.json",
+  "profile_ref": ".ptsip/profiles/main.ptsip.yaml",
+  "mode_registry_ref": ".github/test_modes.yaml",
+  "caller_contract_relations": [
+    {
+      "source_contract_id": "urn:uuid:2450027a-191a-4378-82de-6cdbd3a5f79b",
+      "source_contract_version": "2.0",
+      "api": "load_registry_snapshot",
+      "implementation_ref": "src/vpms/domain/snapshot.py",
+      "current_availability": "IMPLEMENTED_ACTIVE",
+      "transition": "PRESERVE_CURRENT_PUBLIC_API",
+      "new_validation_relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE",
+      "consumer_cutover_authorized": false,
+      "implementation_component_ref": "vpms-product-protocol-handoff",
+      "source_contract_component_ref": "vpms-product-protocol-contract",
+      "candidate_validation_contract": {
+        "id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+        "version": "3.0.0",
+        "path": "src/ptsip/engines/validation/contract.json",
+        "relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE"
+      },
+      "verification_routes": [
+        {
+          "test_mode_id": "vpms",
+          "component_ref": "vpms-verification",
+          "verifies_component_ref": "vpms-product-protocol-handoff"
+        },
+        {
+          "test_mode_id": "vpms-contract-plane",
+          "component_ref": "vpms-contract-plane-verification",
+          "verifies_component_ref": "vpms-product-protocol-contract"
+        }
+      ]
+    },
+    {
+      "source_contract_id": "urn:uuid:2450027a-191a-4378-82de-6cdbd3a5f79b",
+      "source_contract_version": "2.0",
+      "api": "VerificationCase",
+      "implementation_ref": "src/vpms/domain/model.py",
+      "current_availability": "CURRENT_EVIDENCE",
+      "transition": "PRESERVE_CURRENT_PUBLIC_API",
+      "new_validation_relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE",
+      "consumer_cutover_authorized": false,
+      "implementation_component_ref": "vpms",
+      "source_contract_component_ref": "vpms-product-protocol-contract",
+      "candidate_validation_contract": {
+        "id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+        "version": "3.0.0",
+        "path": "src/ptsip/engines/validation/contract.json",
+        "relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE"
+      },
+      "verification_routes": [
+        {
+          "test_mode_id": "vpms",
+          "component_ref": "vpms-verification",
+          "verifies_component_ref": "vpms"
+        },
+        {
+          "test_mode_id": "vpms-contract-plane",
+          "component_ref": "vpms-contract-plane-verification",
+          "verifies_component_ref": "vpms-product-protocol-contract"
+        }
+      ]
+    },
+    {
+      "source_contract_id": "urn:uuid:2450027a-191a-4378-82de-6cdbd3a5f79b",
+      "source_contract_version": "2.0",
+      "api": "load_registry",
+      "implementation_ref": "src/vpms/domain/registry.py",
+      "current_availability": "CURRENT_EVIDENCE",
+      "transition": "PRESERVE_CURRENT_PUBLIC_API",
+      "new_validation_relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE",
+      "consumer_cutover_authorized": false,
+      "implementation_component_ref": "vpms",
+      "source_contract_component_ref": "vpms-product-protocol-contract",
+      "candidate_validation_contract": {
+        "id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+        "version": "3.0.0",
+        "path": "src/ptsip/engines/validation/contract.json",
+        "relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE"
+      },
+      "verification_routes": [
+        {
+          "test_mode_id": "vpms",
+          "component_ref": "vpms-verification",
+          "verifies_component_ref": "vpms"
+        },
+        {
+          "test_mode_id": "vpms-contract-plane",
+          "component_ref": "vpms-contract-plane-verification",
+          "verifies_component_ref": "vpms-product-protocol-contract"
+        }
+      ]
+    },
+    {
+      "source_contract_id": "urn:uuid:2450027a-191a-4378-82de-6cdbd3a5f79b",
+      "source_contract_version": "2.0",
+      "api": "run_case",
+      "implementation_ref": "src/vpms/execution/runner.py",
+      "current_availability": "CURRENT_EVIDENCE",
+      "transition": "PRESERVE_CURRENT_PUBLIC_API",
+      "new_validation_relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE",
+      "consumer_cutover_authorized": false,
+      "implementation_component_ref": "vpms",
+      "source_contract_component_ref": "vpms-product-protocol-contract",
+      "candidate_validation_contract": {
+        "id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+        "version": "3.0.0",
+        "path": "src/ptsip/engines/validation/contract.json",
+        "relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE"
+      },
+      "verification_routes": [
+        {
+          "test_mode_id": "vpms",
+          "component_ref": "vpms-verification",
+          "verifies_component_ref": "vpms"
+        },
+        {
+          "test_mode_id": "vpms-contract-plane",
+          "component_ref": "vpms-contract-plane-verification",
+          "verifies_component_ref": "vpms-product-protocol-contract"
+        }
+      ]
+    },
+    {
+      "source_contract_id": "urn:uuid:32058048-9342-4514-9754-2a4b25a79b06",
+      "source_contract_version": "2.0",
+      "api": "run_cases",
+      "implementation_ref": "src/vpms/execution/composition.py",
+      "current_availability": "IMPLEMENTED_ACTIVE",
+      "transition": "PRESERVE_CURRENT_PUBLIC_API",
+      "new_validation_relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE",
+      "consumer_cutover_authorized": false,
+      "implementation_component_ref": "vpms-execution-composition",
+      "source_contract_component_ref": "vpms-execution-composition-contract",
+      "candidate_validation_contract": {
+        "id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+        "version": "3.0.0",
+        "path": "src/ptsip/engines/validation/contract.json",
+        "relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE"
+      },
+      "verification_routes": [
+        {
+          "test_mode_id": "vpms",
+          "component_ref": "vpms-verification",
+          "verifies_component_ref": "vpms-execution-composition"
+        },
+        {
+          "test_mode_id": "vpms-contract-plane",
+          "component_ref": "vpms-contract-plane-verification",
+          "verifies_component_ref": "vpms-execution-composition-contract"
+        }
+      ]
+    },
+    {
+      "source_contract_id": "urn:uuid:32058048-9342-4514-9754-2a4b25a79b06",
+      "source_contract_version": "2.0",
+      "api": "run_selected_cases",
+      "implementation_ref": "src/vpms/execution/runner.py",
+      "current_availability": "RETIRED",
+      "transition": "PRESERVE_RETIRED_STATE",
+      "new_validation_relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE",
+      "consumer_cutover_authorized": false,
+      "implementation_component_ref": "vpms",
+      "source_contract_component_ref": "vpms-execution-composition-contract",
+      "candidate_validation_contract": {
+        "id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+        "version": "3.0.0",
+        "path": "src/ptsip/engines/validation/contract.json",
+        "relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE"
+      },
+      "verification_routes": [
+        {
+          "test_mode_id": "vpms",
+          "component_ref": "vpms-verification",
+          "verifies_component_ref": "vpms"
+        },
+        {
+          "test_mode_id": "vpms-contract-plane",
+          "component_ref": "vpms-contract-plane-verification",
+          "verifies_component_ref": "vpms-execution-composition-contract"
+        }
+      ]
+    },
+    {
+      "source_contract_id": "urn:uuid:e6707543-f052-4035-bb86-166701e06362",
+      "source_contract_version": "2.0",
+      "api": "resolve_selection",
+      "implementation_ref": "src/vpms/selection/resolver.py",
+      "current_availability": "IMPLEMENTED_ACTIVE",
+      "transition": "PRESERVE_CURRENT_PUBLIC_API",
+      "new_validation_relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE",
+      "consumer_cutover_authorized": false,
+      "implementation_component_ref": "vpms-case-selection",
+      "source_contract_component_ref": "vpms-selection-contract",
+      "candidate_validation_contract": {
+        "id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+        "version": "3.0.0",
+        "path": "src/ptsip/engines/validation/contract.json",
+        "relation": "VALIDATION_COVERAGE_ONLY_NOT_RUNTIME_EQUIVALENCE"
+      },
+      "verification_routes": [
+        {
+          "test_mode_id": "vpms",
+          "component_ref": "vpms-verification",
+          "verifies_component_ref": "vpms-case-selection"
+        },
+        {
+          "test_mode_id": "vpms-contract-plane",
+          "component_ref": "vpms-contract-plane-verification",
+          "verifies_component_ref": "vpms-selection-contract"
+        }
+      ]
+    }
+  ],
+  "unmapped_or_ambiguous": "BLOCK_CUTOVER",
+  "public_api_retirement": false,
+  "cutover_performed": false
+}

ptsip/engines/contracts/vpms-handoff.json

@@ -0,0 +1,84 @@
+{
+  "schema_version": "ptsip-vpms-validation-contract-handoff/v1",
+  "source_catalog_ref": "src/vpms/contracts/index.json",
+  "relations": [
+    {
+      "source_contract": {
+        "id": "urn:uuid:2450027a-191a-4378-82de-6cdbd3a5f79b",
+        "version": "2.0",
+        "path": "src/vpms/contracts/protocol.json",
+        "status": "ACTIVE"
+      },
+      "target_contract": {
+        "id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+        "version": "3.0.0",
+        "path": "src/ptsip/engines/validation/contract.json"
+      },
+      "relation": "REQUIRES_EXPLICIT_SEMANTIC_COMPATIBILITY_MAPPING",
+      "compatibility": "UNVERIFIED_NOT_EQUIVALENT",
+      "eligible_for_cutover": false,
+      "runtime_bridge": false,
+      "current_source_contract_remains_active": true,
+      "retirement_approval": "REQUIRED_NOT_GRANTED"
+    },
+    {
+      "source_contract": {
+        "id": "urn:uuid:32058048-9342-4514-9754-2a4b25a79b06",
+        "version": "2.0",
+        "path": "src/vpms/contracts/execution-composition.json",
+        "status": "ACTIVE"
+      },
+      "target_contract": {
+        "id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+        "version": "3.0.0",
+        "path": "src/ptsip/engines/validation/contract.json"
+      },
+      "relation": "REQUIRES_EXPLICIT_SEMANTIC_COMPATIBILITY_MAPPING",
+      "compatibility": "UNVERIFIED_NOT_EQUIVALENT",
+      "eligible_for_cutover": false,
+      "runtime_bridge": false,
+      "current_source_contract_remains_active": true,
+      "retirement_approval": "REQUIRED_NOT_GRANTED"
+    },
+    {
+      "source_contract": {
+        "id": "urn:uuid:e6707543-f052-4035-bb86-166701e06362",
+        "version": "2.0",
+        "path": "src/vpms/contracts/selection.json",
+        "status": "ACTIVE"
+      },
+      "target_contract": {
+        "id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+        "version": "3.0.0",
+        "path": "src/ptsip/engines/validation/contract.json"
+      },
+      "relation": "REQUIRES_EXPLICIT_SEMANTIC_COMPATIBILITY_MAPPING",
+      "compatibility": "UNVERIFIED_NOT_EQUIVALENT",
+      "eligible_for_cutover": false,
+      "runtime_bridge": false,
+      "current_source_contract_remains_active": true,
+      "retirement_approval": "REQUIRED_NOT_GRANTED"
+    }
+  ],
+  "new_independent_capabilities": [
+    "validation.contract",
+    "validation.schema",
+    "validation.typed-io",
+    "validation.precondition",
+    "validation.case",
+    "validation.compose",
+    "validation.verify-handoff",
+    "validation.verify-context-handoff"
+  ],
+  "generic_validation_implies_vpms_protocol_equivalence": false,
+  "automatic_resolver_registry_ref": ".github/test_modes.yaml",
+  "transition_mode_ids": [
+    "vpms",
+    "vpms-contract-plane",
+    "repository-architecture"
+  ],
+  "caller_cutover": "BLOCKED_UNTIL_BEHAVIOR_AND_VERSIONED_MAPPING_VERIFIED",
+  "legacy_retirement": false,
+  "assure_owner": "SFP-ASSURE-0001_UNCHANGED",
+  "verified_scope_mapping_ref": "src/ptsip/engines/contracts/vpms-scope-mapping.json"
+}

ptsip/engines/contracts/vpms-scope-mapping.json

@@ -0,0 +1,116 @@
+{
+  "schema_version": "ptsip-engine-preserved-api-mapping/v1",
+  "id": "urn:ptsip:vpms-validation-scope-mapping:v1",
+  "version": "1.0.0",
+  "source_catalog_ref": "src/vpms/contracts/index.json",
+  "relations": [
+    {
+      "source_refs": [
+        {
+          "id": "urn:uuid:2450027a-191a-4378-82de-6cdbd3a5f79b",
+          "version": "2.0",
+          "path": "src/vpms/contracts/protocol.json",
+          "sha256": "67df51fc929f51b965386ffc7b4df13e3cae1ae9ee1189c616e21c02a4ec46af"
+        }
+      ],
+      "target_operations": [
+        "validation.case",
+        "validation.typed-io"
+      ],
+      "relation_kind": "VALIDATION_COVERAGE_ONLY",
+      "cardinality": "ONE_TO_MANY",
+      "target_contract_id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+      "target_contract_version": "3.0.0",
+      "source_responsibility_classification": {
+        "urn:uuid:2450027a-191a-4378-82de-6cdbd3a5f79b": {
+          "CASE_DEFINITION": "VALIDATION_ONLY_PARTIAL",
+          "EXPLICIT_REFERENCE_BINDING": "VALIDATION_ONLY_PARTIAL",
+          "FORMULA_REUSE": "PRESERVED_LEGACY_RUNTIME",
+          "SINGLE_CASE_EXECUTION": "PRESERVED_LEGACY_RUNTIME",
+          "RESULT_NORMALIZATION": "PRESERVED_LEGACY_RUNTIME"
+        }
+      },
+      "public_api_equivalence": false
+    },
+    {
+      "source_refs": [
+        {
+          "id": "urn:uuid:32058048-9342-4514-9754-2a4b25a79b06",
+          "version": "2.0",
+          "path": "src/vpms/contracts/execution-composition.json",
+          "sha256": "c6436ac503f608b8baa3299d48c2f09d87dd5ca2b09182a77ea78a1b874b64fe"
+        }
+      ],
+      "target_operations": [
+        "validation.precondition"
+      ],
+      "relation_kind": "VALIDATION_COVERAGE_ONLY",
+      "cardinality": "ONE_TO_ONE",
+      "target_contract_id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+      "target_contract_version": "3.0.0",
+      "source_responsibility_classification": {
+        "urn:uuid:32058048-9342-4514-9754-2a4b25a79b06": {
+          "VALIDATED_SELECTION_TO_EXECUTION_HANDOFF": "PRESERVED_LEGACY_RUNTIME",
+          "ALL_SELECTED_ADAPTER_PREFLIGHT": "VALIDATION_ONLY_PARTIAL",
+          "CASE_EXECUTION_COMPOSITION": "PRESERVED_LEGACY_RUNTIME",
+          "EXECUTION_COMPATIBILITY": "PRESERVED_LEGACY_RUNTIME"
+        }
+      },
+      "public_api_equivalence": false
+    },
+    {
+      "source_refs": [
+        {
+          "id": "urn:uuid:2450027a-191a-4378-82de-6cdbd3a5f79b",
+          "version": "2.0",
+          "path": "src/vpms/contracts/protocol.json",
+          "sha256": "67df51fc929f51b965386ffc7b4df13e3cae1ae9ee1189c616e21c02a4ec46af"
+        },
+        {
+          "id": "urn:uuid:32058048-9342-4514-9754-2a4b25a79b06",
+          "version": "2.0",
+          "path": "src/vpms/contracts/execution-composition.json",
+          "sha256": "c6436ac503f608b8baa3299d48c2f09d87dd5ca2b09182a77ea78a1b874b64fe"
+        },
+        {
+          "id": "urn:uuid:e6707543-f052-4035-bb86-166701e06362",
+          "version": "2.0",
+          "path": "src/vpms/contracts/selection.json",
+          "sha256": "37e73c7bed4e514617113f1cf49541c2a5013c5fd1d78cb7d8c17c491ef7f3cc"
+        }
+      ],
+      "target_operations": [
+        "validation.contract"
+      ],
+      "relation_kind": "VALIDATION_COVERAGE_ONLY",
+      "cardinality": "MANY_TO_ONE",
+      "target_contract_id": "urn:uuid:450659b1-1e89-4138-91d3-8dcbf6d6dc1a",
+      "target_contract_version": "3.0.0",
+      "source_responsibility_classification": {
+        "urn:uuid:2450027a-191a-4378-82de-6cdbd3a5f79b": {
+          "CASE_DEFINITION": "VALIDATION_ONLY_PARTIAL",
+          "EXPLICIT_REFERENCE_BINDING": "VALIDATION_ONLY_PARTIAL",
+          "FORMULA_REUSE": "PRESERVED_LEGACY_RUNTIME",
+          "SINGLE_CASE_EXECUTION": "PRESERVED_LEGACY_RUNTIME",
+          "RESULT_NORMALIZATION": "PRESERVED_LEGACY_RUNTIME"
+        },
+        "urn:uuid:32058048-9342-4514-9754-2a4b25a79b06": {
+          "VALIDATED_SELECTION_TO_EXECUTION_HANDOFF": "PRESERVED_LEGACY_RUNTIME",
+          "ALL_SELECTED_ADAPTER_PREFLIGHT": "VALIDATION_ONLY_PARTIAL",
+          "CASE_EXECUTION_COMPOSITION": "PRESERVED_LEGACY_RUNTIME",
+          "EXECUTION_COMPATIBILITY": "PRESERVED_LEGACY_RUNTIME"
+        },
+        "urn:uuid:e6707543-f052-4035-bb86-166701e06362": {
+          "EXPLICIT_SELECTION_REQUEST": "PRESERVED_LEGACY_RUNTIME",
+          "REGISTERED_SELECTION_RULE_RESOLUTION": "VALIDATION_ONLY_PARTIAL",
+          "DETERMINISTIC_SELECTED_CASE_SET": "PRESERVED_LEGACY_RUNTIME",
+          "SELECTION_DIAGNOSTICS": "PRESERVED_LEGACY_RUNTIME"
+        }
+      },
+      "public_api_equivalence": false
+    }
+  ],
+  "public_api_cutover": false,
+  "legacy_retirement": false,
+  "consumer_bindings": []
+}