@research-engineering/agentic-proofkit 0.7.0 → 0.9.0

package/proofkit/requirement-bindings.json

@@ -752,6 +752,38 @@
       "proofState": "witness_backed",
       "nonClaims": ["A source-bound version edge does not authenticate Git history, registry publication, provider ingestion, consumer migration, rollout, or production readiness."]
     },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-032",
+      "ownerId": "proofkit.spec-proof-core",
+      "specPath": "docs/specs/proofkit-spec-proof-core/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": ["Materialization does not infer requirement meaning, authenticate witness truth or freshness, execute native witnesses, approve merge or release, establish rollout or production readiness, or make its routing manifest a second semantic owner."]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "ownerId": "proofkit.spec-proof-core",
+      "specPath": "docs/specs/proofkit-spec-proof-core/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": ["Repository transactions do not provide multi-file atomic visibility to concurrent arbitrary readers, distributed transactions, protection from a hostile same-user process, or stronger power-loss durability than the admitted filesystem synchronization operations."]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-034",
+      "ownerId": "proofkit.spec-proof-core",
+      "specPath": "docs/specs/proofkit-spec-proof-core/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": ["A source-bound version edge does not authenticate registry publication, provider ingestion, consumer adoption, native witness truth, rollout, or production readiness."]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-035",
+      "ownerId": "proofkit.spec-proof-core",
+      "specPath": "docs/specs/proofkit-spec-proof-core/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": ["A source-bound version edge does not authenticate registry publication, provider ingestion, consumer migration, native witness truth, rollout, or production readiness."]
+    },
     {
       "requirementId": "REQ-PROOFKIT-WORKFLOW-001",
       "ownerId": "proofkit.agent-workflow",
@@ -839,6 +871,42 @@
       "claimLevel": "blocking",
       "proofState": "witness_backed",
       "nonClaims": ["Public-surface closure does not claim wheel documentation parity and does not prove registry publication, provider ingestion, compatibility on untested platforms, native witness truth, merge approval, rollout, or production readiness."]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-012",
+      "ownerId": "proofkit.agent-workflow",
+      "specPath": "docs/specs/proofkit-agent-workflow/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": ["Project status classifies the observed materialized-project snapshot and can become stale immediately after emission; it does not prove native witness execution or complete any declared proof scope."]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-013",
+      "ownerId": "proofkit.agent-workflow",
+      "specPath": "docs/specs/proofkit-agent-workflow/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": ["A coherent read snapshot does not prevent later filesystem mutation, authenticate repository ownership, provide power-loss or multi-reader atomicity, exclude a same-user writer that bypasses the repository transaction owner, identify unread out-of-bound record bytes beyond their normalized invalid class, or prevent the filesystem from updating read-side metadata such as access time."]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-014",
+      "ownerId": "proofkit.agent-workflow",
+      "specPath": "docs/specs/proofkit-agent-workflow/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": ["A next-action packet is derived guidance; it does not execute, authorize, or prove the proposed action."]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-015",
+      "ownerId": "proofkit.agent-workflow",
+      "specPath": "docs/specs/proofkit-agent-workflow/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": [
+        "A caller-provided stdout writer that accepts a prefix and then fails does not provide an atomic sink, so Proofkit does not claim that such a transport leaves stdout empty.",
+        "CLI surface closure does not prove registry publication, provider ingestion, consumer migration, native witness truth, rollout, or production readiness.",
+        "Cancellation racing after the final pre-emission checkpoint cannot retract bytes subsequently accepted by an external writer."
+      ]
     }
   ],
   "bindings": [
@@ -1145,6 +1213,33 @@
         "local-go"
       ]
     },
+    {
+      "requirementId": "REQ-PROOFKIT-PACKAGE-002",
+      "scenarioId": "proofkit.package-boundary.adoption-materialization-output-root-witnesses",
+      "witnessId": "proofkit.adoption-materialization.cli-output-root.exact-witnesses",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/adoption_materialization_command_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestAdoptMaterializeApplyOutputUsesExactRootShape",
+          "command": "go test ./internal/app -run '^TestAdoptMaterializeApplyOutputUsesExactRootShape$'"
+        },
+        {
+          "selector": "TestAdoptMaterializePlanOutputUsesExactRootShape",
+          "command": "go test ./internal/app -run '^TestAdoptMaterializePlanOutputUsesExactRootShape$'"
+        },
+        {
+          "selector": "TestAdoptMaterializeRecoverOutputUsesExactRootShape",
+          "command": "go test ./internal/app -run '^TestAdoptMaterializeRecoverOutputUsesExactRootShape$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
     {
       "requirementId": "REQ-PROOFKIT-PACKAGE-002",
       "scenarioId": "proofkit.package-boundary.cli-output-root-witnesses",
@@ -1180,6 +1275,29 @@
         "local-go"
       ]
     },
+    {
+      "requirementId": "REQ-PROOFKIT-PACKAGE-002",
+      "scenarioId": "proofkit.package-boundary.project-status-output-root-witnesses",
+      "witnessId": "proofkit.project-status.cli-output-root.exact-witnesses",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/project_status_command_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestNextOutputUsesExactRootShape",
+          "command": "go test ./internal/app -run '^TestNextOutputUsesExactRootShape$'"
+        },
+        {
+          "selector": "TestStatusOutputUsesExactRootShape",
+          "command": "go test ./internal/app -run '^TestStatusOutputUsesExactRootShape$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
     {
       "requirementId": "REQ-PROOFKIT-PACKAGE-003",
       "scenarioId": "proofkit.package-boundary.outside-consumer-artifact",
@@ -2407,6 +2525,33 @@
         "local-go"
       ]
     },
+    {
+      "requirementId": "REQ-PROOFKIT-QUALITY-004",
+      "scenarioId": "proofkit.supply-chain-quality.adoption-materialization-cli-abi",
+      "witnessId": "proofkit.adoption-materialization.cli-abi.exact-output",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/adoption_materialization_command_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestAdoptMaterializeApplyOutputUsesExactRootShape",
+          "command": "go test ./internal/app -run '^TestAdoptMaterializeApplyOutputUsesExactRootShape$'"
+        },
+        {
+          "selector": "TestAdoptMaterializePlanOutputUsesExactRootShape",
+          "command": "go test ./internal/app -run '^TestAdoptMaterializePlanOutputUsesExactRootShape$'"
+        },
+        {
+          "selector": "TestAdoptMaterializeRecoverOutputUsesExactRootShape",
+          "command": "go test ./internal/app -run '^TestAdoptMaterializeRecoverOutputUsesExactRootShape$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
     {
       "requirementId": "REQ-PROOFKIT-QUALITY-004",
       "scenarioId": "proofkit.supply-chain-quality.cli-abi-golden",
@@ -2450,6 +2595,29 @@
         "local-go"
       ]
     },
+    {
+      "requirementId": "REQ-PROOFKIT-QUALITY-004",
+      "scenarioId": "proofkit.supply-chain-quality.project-status-cli-abi",
+      "witnessId": "proofkit.project-status.cli-abi.exact-output",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/project_status_command_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestNextOutputUsesExactRootShape",
+          "command": "go test ./internal/app -run '^TestNextOutputUsesExactRootShape$'"
+        },
+        {
+          "selector": "TestStatusOutputUsesExactRootShape",
+          "command": "go test ./internal/app -run '^TestStatusOutputUsesExactRootShape$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
     {
       "requirementId": "REQ-PROOFKIT-QUALITY-004",
       "scenarioId": "proofkit.supply-chain-quality.cli-contract-topology",
@@ -5779,6 +5947,10 @@
           "selector": "TestGrammarBoundariesAreExact",
           "command": "go test ./internal/kernel/commandroute -run '^TestGrammarBoundariesAreExact$'"
         },
+        {
+          "selector": "TestOmittedRoutePolicyUsesStableCommandIdentity",
+          "command": "go test ./internal/kernel/commandroute -run '^TestOmittedRoutePolicyUsesStableCommandIdentity$'"
+        },
         {
           "selector": "TestParseRequiresCanonicalSeparatorAndRoundTrip",
           "command": "go test ./internal/kernel/commandroute -run '^TestParseRequiresCanonicalSeparatorAndRoundTrip$'"
@@ -5809,6 +5981,656 @@
       ],
       "commandIds": ["proofkit.go-test"],
       "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-032",
+      "scenarioId": "proofkit.spec-proof-core.adoption-materialization-owner-closure",
+      "witnessId": "proofkit.adoption-materialization.owner-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/adoptionmaterialization/adoptionmaterialization_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestMaterializationWholeChainIsCanonicalAndOwnerClosed",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestMaterializationWholeChainIsCanonicalAndOwnerClosed$'"
+        },
+        {
+          "selector": "TestMaterializationOutputAdmissionRejectsCrossOwnerMutants",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestMaterializationOutputAdmissionRejectsCrossOwnerMutants$'"
+        },
+        {
+          "selector": "TestReceiptAdmissionRejectsOperationAttributionMutants",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestReceiptAdmissionRejectsOperationAttributionMutants$'"
+        },
+        {
+          "selector": "TestApplyBlocksStaleMutationButAcceptsLostAcknowledgementRetry",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestApplyBlocksStaleMutationButAcceptsLostAcknowledgementRetry$'"
+        },
+        {
+          "selector": "TestMaterializationRejectsCrossRecordDriftAndManifestMutation",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestMaterializationRejectsCrossRecordDriftAndManifestMutation$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-032",
+      "scenarioId": "proofkit.spec-proof-core.adoption-materialization-reference-closure",
+      "witnessId": "proofkit.adoption-materialization.reference-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/adoptionmaterialization/closure_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestPathRoleLedgerRejectsWriteReferenceCollisions",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestPathRoleLedgerRejectsWriteReferenceCollisions$'"
+        },
+        {
+          "selector": "TestRequirementProjectionRequiresClaimLevelParity",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestRequirementProjectionRequiresClaimLevelParity$'"
+        },
+        {
+          "selector": "TestInventoryReferencesMustResolveThroughBindingEdges",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestInventoryReferencesMustResolveThroughBindingEdges$'"
+        },
+        {
+          "selector": "TestManifestAdmissionEqualsProducerImage",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestManifestAdmissionEqualsProducerImage$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-032",
+      "scenarioId": "proofkit.spec-proof-core.adoption-materialization-whole-cli",
+      "witnessId": "proofkit.adoption-materialization.whole-cli-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/adoption_materialization_command_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestAdoptionMaterializationCLI",
+          "command": "go test ./internal/app -run '^TestAdoptionMaterializationCLI$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "scenarioId": "proofkit.spec-proof-core.repository-transaction-terminal-state",
+      "witnessId": "proofkit.repository-transaction.terminal-state-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/invariant_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestApplyExecutesFrozenPlan",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestApplyExecutesFrozenPlan$'"
+        },
+        {
+          "selector": "TestRecoveryActionAndTerminalReceiptAreStable",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestRecoveryActionAndTerminalReceiptAreStable$'"
+        },
+        {
+          "selector": "TestRecoveryActionIsDurableBeforeDirectionalMutation",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestRecoveryActionIsDurableBeforeDirectionalMutation$'"
+        },
+        {
+          "selector": "TestMalformedRecoveryActionBlocksMutation",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestMalformedRecoveryActionBlocksMutation$'"
+        },
+        {
+          "selector": "TestAppliedTerminalReceiptReplaysCompleteResult",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestAppliedTerminalReceiptReplaysCompleteResult$'"
+        },
+        {
+          "selector": "TestPreparingRollbackAtomicallyReplacesPreviousTerminalReceipt",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestPreparingRollbackAtomicallyReplacesPreviousTerminalReceipt$'"
+        },
+        {
+          "selector": "TestReadyReplacementRetiresPreviousReceiptAndPreservesCompleteResult",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestReadyReplacementRetiresPreviousReceiptAndPreservesCompleteResult$'"
+        },
+        {
+          "selector": "TestUnknownRecoveryStateDoesNotAdoptExpectedIdentity",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestUnknownRecoveryStateDoesNotAdoptExpectedIdentity$'"
+        },
+        {
+          "selector": "TestPreparingFailureCannotClaimRollbackAfterTargetDivergence",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestPreparingFailureCannotClaimRollbackAfterTargetDivergence$'"
+        },
+        {
+          "selector": "TestCommittedRecoveryRejectsRollback",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestCommittedRecoveryRejectsRollback$'"
+        },
+        {
+          "selector": "TestPreparingRecoveryRejectsResumeBeforeActionSelection",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestPreparingRecoveryRejectsResumeBeforeActionSelection$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "scenarioId": "proofkit.spec-proof-core.repository-transaction-fault-recovery",
+      "witnessId": "proofkit.repository-transaction.fault-recovery-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/transaction_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestApplyFaultAfterFirstPublishRestoresExactBeforeState",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestApplyFaultAfterFirstPublishRestoresExactBeforeState$'"
+        },
+        {
+          "selector": "TestProcessInterruptionAtEveryMutationBoundaryIsRecoverable",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestProcessInterruptionAtEveryMutationBoundaryIsRecoverable$'"
+        },
+        {
+          "selector": "TestApplyRejectsConcurrentCooperativeWriter",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestApplyRejectsConcurrentCooperativeWriter$'"
+        },
+        {
+          "selector": "TestApplyAlreadySatisfiedRejectsConcurrentCooperativeWriter",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestApplyAlreadySatisfiedRejectsConcurrentCooperativeWriter$'"
+        },
+        {
+          "selector": "TestTransactionLockIsInterprocess",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestTransactionLockIsInterprocess$'"
+        },
+        {
+          "selector": "TestRecoverDoesNotInventIdentityForPartialPreparingJournal",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestRecoverDoesNotInventIdentityForPartialPreparingJournal$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "scenarioId": "proofkit.spec-proof-core.repository-transaction-output-relations",
+      "witnessId": "proofkit.repository-transaction.output-relation-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/output_admission_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestPlanAndResultOutputAdmissionRejectSemanticMutants",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestPlanAndResultOutputAdmissionRejectSemanticMutants$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "scenarioId": "proofkit.spec-proof-core.repository-transaction-cleanup-state-matrix",
+      "witnessId": "proofkit.repository-transaction.cleanup-state-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/state_machine_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestCleanupDurabilityFailureDoesNotClaimRecoverableState",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestCleanupDurabilityFailureDoesNotClaimRecoverableState$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "scenarioId": "proofkit.spec-proof-core.repository-transaction-filesystem-portable-path-identity",
+      "witnessId": "proofkit.repository-transaction.filesystem-portable-path-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/plan_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestBuildPlanRejectsFilesystemPortableAliases",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestBuildPlanRejectsFilesystemPortableAliases$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "scenarioId": "proofkit.spec-proof-core.repository-transaction-portable-path-identity",
+      "witnessId": "proofkit.repository-transaction.portable-path-identity-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/pathidentity/pathidentity_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestPortableEquivalenceAndContainment",
+          "command": "go test ./internal/kernel/pathidentity -run '^TestPortableEquivalenceAndContainment$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-034",
+      "scenarioId": "proofkit.spec-proof-core.adoption-materialization-version-edge",
+      "witnessId": "proofkit.adoption-materialization.version-edge-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/adoption_materialization_version_edge_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestAdoptionMaterializationVersionEdgeClosesPublicCommands",
+          "command": "go test ./internal/app -run '^TestAdoptionMaterializationVersionEdgeClosesPublicCommands$'"
+        },
+        {
+          "selector": "TestAdoptionMaterializationVersionEdgeRejectsCoordinatedChangeRecordDrift",
+          "command": "go test ./internal/app -run '^TestAdoptionMaterializationVersionEdgeRejectsCoordinatedChangeRecordDrift$'"
+        },
+        {
+          "selector": "TestAdoptionMaterializationVersionEdgePreservesFrozenPredecessor",
+          "command": "go test ./internal/app -run '^TestAdoptionMaterializationVersionEdgePreservesFrozenPredecessor$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-035",
+      "scenarioId": "proofkit.spec-proof-core.project-navigation-version-edge",
+      "witnessId": "proofkit.project-navigation.version-edge-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/project_navigation_version_edge_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestProjectNavigationVersionEdgeClosesPublicRoutes",
+          "command": "go test ./internal/app -run '^TestProjectNavigationVersionEdgeClosesPublicRoutes$'"
+        },
+        {
+          "selector": "TestProjectNavigationVersionEdgeRejectsCoordinatedChangeRecordDrift",
+          "command": "go test ./internal/app -run '^TestProjectNavigationVersionEdgeRejectsCoordinatedChangeRecordDrift$'"
+        },
+        {
+          "selector": "TestProjectNavigationVersionEdgePreservesFrozenPredecessor",
+          "command": "go test ./internal/app -run '^TestProjectNavigationVersionEdgePreservesFrozenPredecessor$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-035",
+      "scenarioId": "proofkit.spec-proof-core.project-navigation-public-abi-diff",
+      "witnessId": "proofkit.project-navigation.public-abi-diff-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/project_navigation_abi_closure_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestProjectNavigationVersionEdgeClosesCompletePublicABIDiff",
+          "command": "go test ./internal/app -run '^TestProjectNavigationVersionEdgeClosesCompletePublicABIDiff$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-035",
+      "scenarioId": "proofkit.spec-proof-core.project-navigation-public-abi-diff-mutations",
+      "witnessId": "proofkit.project-navigation.public-abi-diff-mutation-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/project_navigation_abi_mutation_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestProjectNavigationVersionEdgeRejectsUndeclaredPublicABIDrift",
+          "command": "go test ./internal/app -run '^TestProjectNavigationVersionEdgeRejectsUndeclaredPublicABIDrift$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-012",
+      "scenarioId": "proofkit.agent-workflow.project-state-total-classification",
+      "witnessId": "proofkit.project-state.total-classification-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/projectstatus/projectstatus_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestEvaluateTotalStateActionTable",
+          "command": "go test ./internal/command/projectstatus -run '^TestEvaluateTotalStateActionTable$'"
+        },
+        {
+          "selector": "TestOutputAdmissionRejectsUnreachableClosureCombination",
+          "command": "go test ./internal/command/projectstatus -run '^TestOutputAdmissionRejectsUnreachableClosureCombination$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-012",
+      "scenarioId": "proofkit.agent-workflow.project-state-child-admission-owner",
+      "witnessId": "proofkit.project-state.child-admission-owner-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/projectstatus/dependency_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestProjectStatusDelegatesChildAdmissionToMaterializationOwner",
+          "command": "go test ./internal/command/projectstatus -run '^TestProjectStatusDelegatesChildAdmissionToMaterializationOwner$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-012",
+      "scenarioId": "proofkit.agent-workflow.project-state-child-owner-delegation",
+      "witnessId": "proofkit.project-state.child-owner-delegation-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/adoptionmaterialization/project_closure_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestAdmitMaterializedProjectRoutesEveryManifestArtifactKindThroughItsOwner",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestAdmitMaterializedProjectRoutesEveryManifestArtifactKindThroughItsOwner$'"
+        },
+        {
+          "selector": "TestMaterializedProjectRecordSnapshotDoesNotAliasCallerInput",
+          "command": "go test ./internal/command/adoptionmaterialization -run '^TestMaterializedProjectRecordSnapshotDoesNotAliasCallerInput$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-013",
+      "scenarioId": "proofkit.agent-workflow.project-state-bounded-inspection",
+      "witnessId": "proofkit.project-state.bounded-inspection-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/projectstatus/inspect_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestInspectClassifiesMaterializedProjectWithoutApplicationWrites",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectClassifiesMaterializedProjectWithoutApplicationWrites$'"
+        },
+        {
+          "selector": "TestInspectFailsClosedOnSymlinksAndBoundsWithoutDisclosure",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectFailsClosedOnSymlinksAndBoundsWithoutDisclosure$'"
+        },
+        {
+          "selector": "TestInspectRejectsCaseAliasedCanonicalRoute",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectRejectsCaseAliasedCanonicalRoute$'"
+        },
+        {
+          "selector": "TestInspectCohortValidationClosesCleanEpochABA",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectCohortValidationClosesCleanEpochABA$'"
+        },
+        {
+          "selector": "TestInspectCleanupFailureDominatesRetryableSnapshotChange",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectCleanupFailureDominatesRetryableSnapshotChange$'"
+        },
+        {
+          "selector": "TestInspectMapsRecoverableControlState",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectMapsRecoverableControlState$'"
+        },
+        {
+          "selector": "TestInspectMapsInvalidControlState",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectMapsInvalidControlState$'"
+        },
+        {
+          "selector": "TestInspectAttemptRejectsFinalRepositoryRootReplacement",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectAttemptRejectsFinalRepositoryRootReplacement$'"
+        },
+        {
+          "selector": "TestInspectRejectsAdmittedChildrenWithInvalidCrossRecordClosure",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectRejectsAdmittedChildrenWithInvalidCrossRecordClosure$'"
+        },
+        {
+          "selector": "TestInspectRejectsChangingControlEpochAcrossBothAttempts",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectRejectsChangingControlEpochAcrossBothAttempts$'"
+        },
+        {
+          "selector": "TestReadProjectFileEnforcesAggregateBoundBeforeRead",
+          "command": "go test ./internal/command/projectstatus -run '^TestReadProjectFileEnforcesAggregateBoundBeforeRead$'"
+        },
+        {
+          "selector": "TestReadProjectFileRejectsSameByteRouteReplacement",
+          "command": "go test ./internal/command/projectstatus -run '^TestReadProjectFileRejectsSameByteRouteReplacement$'"
+        },
+        {
+          "selector": "TestInspectDeduplicatesRepeatedIssueCodes",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectDeduplicatesRepeatedIssueCodes$'"
+        },
+        {
+          "selector": "TestInspectHonorsCancellationBetweenBoundedReads",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectHonorsCancellationBetweenBoundedReads$'"
+        },
+        {
+          "selector": "TestInspectHonorsCancellationAfterFinalControlObservation",
+          "command": "go test ./internal/command/projectstatus -run '^TestInspectHonorsCancellationAfterFinalControlObservation$'"
+        },
+        {
+          "selector": "TestOutOfBoundManifestIdentityIsAClassificationNotByteIdentity",
+          "command": "go test ./internal/command/projectstatus -run '^TestOutOfBoundManifestIdentityIsAClassificationNotByteIdentity$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-013",
+      "scenarioId": "proofkit.agent-workflow.project-state-application-write-free-topology",
+      "witnessId": "proofkit.project-state.application-write-free-topology-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/projectstatus/dependency_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestProjectStatusProductionTopologyForbidsRepositoryMutationCalls",
+          "command": "go test ./internal/command/projectstatus -run '^TestProjectStatusProductionTopologyForbidsRepositoryMutationCalls$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-013",
+      "scenarioId": "proofkit.agent-workflow.project-state-control-file-coherence",
+      "witnessId": "proofkit.project-state.control-file-coherence-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/control_inspection_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestInspectControlFileRejectsGrowthAfterRoutePreflight",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectControlFileRejectsGrowthAfterRoutePreflight$'"
+        },
+        {
+          "selector": "TestInspectControlFileRejectsSameByteRouteReplacement",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectControlFileRejectsSameByteRouteReplacement$'"
+        },
+        {
+          "selector": "TestInspectionLeaseDoesNotResolveAReplacementRoot",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectionLeaseDoesNotResolveAReplacementRoot$'"
+        },
+        {
+          "selector": "TestInspectionLeaseRejectsControlNamespaceCreatedAfterOpen",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectionLeaseRejectsControlNamespaceCreatedAfterOpen$'"
+        },
+        {
+          "selector": "TestInspectionLeasePinsRootAndExcludesCooperativeWriter",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectionLeasePinsRootAndExcludesCooperativeWriter$'"
+        },
+        {
+          "selector": "TestInspectionLeaseExportsOnlyReadOnlyFileCapability",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectionLeaseExportsOnlyReadOnlyFileCapability$'"
+        },
+        {
+          "selector": "TestInspectionLeaseFileCannotBeReassertedAsMutable",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectionLeaseFileCannotBeReassertedAsMutable$'"
+        },
+        {
+          "selector": "TestInspectControlStateRejectsPartialControlObservations",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectControlStateRejectsPartialControlObservations$'"
+        },
+        {
+          "selector": "TestInspectControlStateHashesSymlinkTargetsWithoutDisclosingThem",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectControlStateHashesSymlinkTargetsWithoutDisclosingThem$'"
+        },
+        {
+          "selector": "TestInspectControlStateRejectsClassificationChangeHiddenByPortableNameIdentity",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectControlStateRejectsClassificationChangeHiddenByPortableNameIdentity$'"
+        },
+        {
+          "selector": "TestInspectControlStateUsesPortableObservationFields",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestInspectControlStateUsesPortableObservationFields$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-013",
+      "scenarioId": "proofkit.agent-workflow.project-state-exact-route-traversal",
+      "witnessId": "proofkit.project-state.exact-route-traversal-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/rootpath/exact_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestOpenExactRegularFileRejectsParentSymlinkABA",
+          "command": "go test ./internal/kernel/rootpath -run '^TestOpenExactRegularFileRejectsParentSymlinkABA$'"
+        },
+        {
+          "selector": "TestOpenExactRegularFileRejectsFinalComponentABA",
+          "command": "go test ./internal/kernel/rootpath -run '^TestOpenExactRegularFileRejectsFinalComponentABA$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-014",
+      "scenarioId": "proofkit.agent-workflow.project-next-action-output-closure",
+      "witnessId": "proofkit.project-next-action.output-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/projectstatus/projectstatus_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestEvaluateTotalStateActionTable",
+          "command": "go test ./internal/command/projectstatus -run '^TestEvaluateTotalStateActionTable$'"
+        },
+        {
+          "selector": "TestOutputAdmissionRejectsReidentifiedStateActionMismatch",
+          "command": "go test ./internal/command/projectstatus -run '^TestOutputAdmissionRejectsReidentifiedStateActionMismatch$'"
+        },
+        {
+          "selector": "TestTextProjectionIsBoundedAndSemanticallyDerived",
+          "command": "go test ./internal/command/projectstatus -run '^TestTextProjectionIsBoundedAndSemanticallyDerived$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-015",
+      "scenarioId": "proofkit.agent-workflow.project-navigation-public-cli",
+      "witnessId": "proofkit.project-navigation.public-cli-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/project_status_command_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestNextCLI",
+          "command": "go test ./internal/app -run '^TestNextCLI$'"
+        },
+        {
+          "selector": "TestProjectStatusCLI",
+          "command": "go test ./internal/app -run '^TestProjectStatusCLI$'"
+        },
+        {
+          "selector": "TestProjectStatusCLIHonorsCanceledContextBeforeOutput",
+          "command": "go test ./internal/app -run '^TestProjectStatusCLIHonorsCanceledContextBeforeOutput$'"
+        },
+        {
+          "selector": "TestProjectStatusOutputMatrix",
+          "command": "go test ./internal/app -run '^TestProjectStatusOutputMatrix$'"
+        },
+        {
+          "selector": "TestProjectStatusTransportFailureUsesOneBoundedWriteWithoutAtomicSinkClaim",
+          "command": "go test ./internal/app -run '^TestProjectStatusTransportFailureUsesOneBoundedWriteWithoutAtomicSinkClaim$'"
+        },
+        {
+          "selector": "TestStatusCLI",
+          "command": "go test ./internal/app -run '^TestStatusCLI$'"
+        }
+      ],
+      "commandIds": ["proofkit.command-contract-check", "proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-015",
+      "scenarioId": "proofkit.agent-workflow.project-navigation-installed-carriers",
+      "witnessId": "proofkit.project-navigation.installed-carrier-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/tools/workflowsmoke/workflow_smoke_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestVerifyAcceptsApplicationCLI",
+          "command": "go test ./internal/tools/workflowsmoke -run '^TestVerifyAcceptsApplicationCLI$'"
+        },
+        {
+          "selector": "TestVerifyRejectsCarrierContractMutations",
+          "command": "go test ./internal/tools/workflowsmoke -run '^TestVerifyRejectsCarrierContractMutations$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test", "proofkit.package-artifact"],
+      "environmentClasses": ["local-go", "local-go-python"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-015",
+      "scenarioId": "proofkit.agent-workflow.project-navigation-installed-npm-carrier-closure",
+      "witnessId": "proofkit.project-navigation.installed-npm-carrier-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/tools/packageverify/workflow_carrier_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestInstalledNPMWorkflowCarrierClosure",
+          "command": "go test ./internal/tools/packageverify -run '^TestInstalledNPMWorkflowCarrierClosure$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-015",
+      "scenarioId": "proofkit.agent-workflow.project-navigation-installed-wheel-carrier-closure",
+      "witnessId": "proofkit.project-navigation.installed-wheel-carrier-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/tools/pythonpackage/workflow_carrier_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestInstalledPythonWorkflowCarrierClosure",
+          "command": "go test ./internal/tools/pythonpackage -run '^TestInstalledPythonWorkflowCarrierClosure$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-015",
+      "scenarioId": "proofkit.agent-workflow.project-navigation-version-edge",
+      "witnessId": "proofkit.project-navigation.public-version-edge-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/project_navigation_version_edge_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestProjectNavigationVersionEdgeClosesPublicRoutes",
+          "command": "go test ./internal/app -run '^TestProjectNavigationVersionEdgeClosesPublicRoutes$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
     }
   ],
   "witnessCommands": [