@research-engineering/agentic-proofkit 0.2.1 → 0.4.0

package/proofkit/requirement-bindings.json

@@ -89,7 +89,7 @@
       "claimLevel": "blocking",
       "proofState": "witness_backed",
       "nonClaims": [
-        "This requirement does not claim native witness pass evidence, proof freshness, receipt authenticity, or merge approval."
+        "This requirement does not claim selector existence or resolution, oracle quality, native witness execution or pass evidence, mutation adequacy, finding completeness or absence, proof freshness, receipt authenticity, trust, assurance, merge approval, rollout approval, or production readiness."
       ]
     },
     {
@@ -129,7 +129,7 @@
       "claimLevel": "blocking",
       "proofState": "witness_backed",
       "nonClaims": [
-        "This requirement does not claim repository scanning, native test execution, proof freshness, receipt authenticity, merge approval, or global coverage completeness outside the caller-provided universe."
+        "This requirement does not claim repository scanning, source authenticity, producer identity, selector resolution, oracle quality, native test execution, proof freshness, receipt authenticity, trust, sensitivity, assurance closure, merge approval, or global coverage completeness outside the caller-provided universe."
       ]
     },
     {
@@ -469,7 +469,7 @@
       "claimLevel": "blocking",
       "proofState": "witness_backed",
       "nonClaims": [
-        "This requirement does not claim semantic command coverage, line coverage, dead-code absence, exhaustive semantic completeness for any test, native witness execution, receipt freshness, or merge satisfaction."
+        "Successful selected tests do not prove assertion-branch execution, mutation adequacy, line coverage, dead-code absence, exhaustive command semantics, malicious-test resistance, producer authentication, receipt freshness, merge satisfaction, or production readiness."
       ]
     },
     {
@@ -671,6 +671,14 @@
       "claimLevel": "blocking",
       "proofState": "witness_backed",
       "nonClaims": ["Expected-digest coverage does not authenticate a producer, baseline, checkout, or freshness; this requirement also does not infer code topology, line or branch coverage, native execution, merge approval, release approval, rollout approval, or production readiness."]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "ownerId": "proofkit.spec-proof-core",
+      "specPath": "docs/specs/proofkit-spec-proof-core/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": ["This private single-source model does not select or expose a source codec, parse or serialize a persisted source, retain a normalized mirror, establish cross-source requirement identity, authenticate derivation objects, digests, selectors, or freshness, authenticate a caller-declared sourceKind or prove its author's authority or trust class, cut over any current requirement consumer, prove requirement meaning or implementation correctness, execute native witnesses, approve merge or release, or establish rollout or production readiness."]
     }
   ],
   "bindings": [
@@ -988,6 +996,10 @@
           "selector": "TestAdoptionContractEnvelopeCLIABI",
           "command": "go test ./internal/app -run '^TestAdoptionContractEnvelopeCLIABI$'"
         },
+        {
+          "selector": "TestRequirementAuthoringPlanOutputUsesVersionedRootShape",
+          "command": "go test ./internal/app -run '^TestRequirementAuthoringPlanOutputUsesVersionedRootShape$'"
+        },
         {
           "selector": "TestSelfCheckOutputUsesExactRootShape",
           "command": "go test ./internal/app -run '^TestSelfCheckOutputUsesExactRootShape$'"
@@ -1452,7 +1464,53 @@
       "scenarioId": "proofkit.spec-proof-core.test-inventory-and-coverage-view",
       "witnessId": "proofkit.test-inventory-and-coverage-view.boundary",
       "witnessKind": "contract",
-      "witnessPath": "internal/command/requirementcoverageview/requirementcoverageview_test.go",
+      "witnessPath": "internal/command/requirementcoverageview/output_closure_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestAdmitOutputRejectsCompactProjectionDrift",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputRejectsCompactProjectionDrift$'"
+        },
+        {
+          "selector": "TestAdmitOutputRejectsMissingInverseParentProjection",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputRejectsMissingInverseParentProjection$'"
+        },
+        {
+          "selector": "TestAdmitOutputRejectsNonCanonicalWireProjectionText",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputRejectsNonCanonicalWireProjectionText$'"
+        },
+        {
+          "selector": "TestAdmitOutputRejectsRemovedValidUnmappedInventoryEntry",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputRejectsRemovedValidUnmappedInventoryEntry$'"
+        },
+        {
+          "selector": "TestAdmitOutputReplaysFailedInventoryQualitySemantics",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputReplaysFailedInventoryQualitySemantics$'"
+        },
+        {
+          "selector": "TestAdmitOutputReplaysFullRepositorySourceOwnerScopeFailures",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputReplaysFullRepositorySourceOwnerScopeFailures$'"
+        },
+        {
+          "selector": "TestAdmitOutputReplaysOwnerScopeFailures",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputReplaysOwnerScopeFailures$'"
+        },
+        {
+          "selector": "TestAdmitOutputRequiresEveryCoverageBasisField",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputRequiresEveryCoverageBasisField$'"
+        },
+        {
+          "selector": "TestAdmitOutputRequiresEveryDeclaredRootField",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputRequiresEveryDeclaredRootField$'"
+        },
+        {
+          "selector": "TestAdmitOutputRetainsFailedInventoryEntriesWithoutProjectedParents",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputRetainsFailedInventoryEntriesWithoutProjectedParents$'"
+        },
+        {
+          "selector": "TestAdmitOutputValidatesEveryCoverageRowMetadataField",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestAdmitOutputValidatesEveryCoverageRowMetadataField$'"
+        }
+      ],
       "commandIds": [
         "proofkit.go-test"
       ],
@@ -1473,6 +1531,25 @@
         "local-go"
       ]
     },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-006",
+      "scenarioId": "proofkit.spec-proof-core.declared-route-mapping-without-assurance",
+      "witnessId": "proofkit.requirement-coverage.declared-route-mapping-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/requirementcoverageview/requirementcoverageview_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestBuildJSONMissingSelectorRemainsMappingOnly",
+          "command": "go test ./internal/command/requirementcoverageview -run '^TestBuildJSONMissingSelectorRemainsMappingOnly$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
     {
       "requirementId": "REQ-PROOFKIT-SPEC-007",
       "scenarioId": "proofkit.spec-proof-core.canonical-command-input-admission",
@@ -1672,6 +1749,25 @@
         "local-go"
       ]
     },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-012",
+      "scenarioId": "proofkit.spec-proof-core.requirement-authoring-ref-provenance",
+      "witnessId": "proofkit.requirement-authoring-plan.authoring-ref-provenance-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/requirementauthoringplan/requirement_authoring_plan_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestBuildPreservesDigestBoundAuthoringRefIdentity",
+          "command": "go test ./internal/command/requirementauthoringplan -run '^TestBuildPreservesDigestBoundAuthoringRefIdentity$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
     {
       "requirementId": "REQ-PROOFKIT-SPEC-013",
       "scenarioId": "proofkit.spec-proof-core.private-proof-vocabulary-owner",
@@ -1943,7 +2039,13 @@
       "scenarioId": "proofkit.consumer-infra-retirement.migration-parity-admission",
       "witnessId": "proofkit.migration-parity-admission.boundary",
       "witnessKind": "contract",
-      "witnessPath": "internal/app/self_hosting_semantics_test.go",
+      "witnessPath": "internal/command/migrationparityadmission/migrationparityadmission_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestBuildProjectsEveryCallerDeclaredStatusAndSummaryField",
+          "command": "go test ./internal/command/migrationparityadmission -run '^TestBuildProjectsEveryCallerDeclaredStatusAndSummaryField$'"
+        }
+      ],
       "commandIds": [
         "proofkit.go-test"
       ],
@@ -2068,6 +2170,10 @@
           "selector": "TestAdoptionContractEnvelopeCLIABI",
           "command": "go test ./internal/app -run '^TestAdoptionContractEnvelopeCLIABI$'"
         },
+        {
+          "selector": "TestRequirementAuthoringPlanOutputUsesVersionedRootShape",
+          "command": "go test ./internal/app -run '^TestRequirementAuthoringPlanOutputUsesVersionedRootShape$'"
+        },
         {
           "selector": "TestRequirementBrowserOneShotCLIOutputVariants",
           "command": "go test ./internal/app -run '^TestRequirementBrowserOneShotCLIOutputVariants$'"
@@ -2167,7 +2273,13 @@
       "scenarioId": "proofkit.supply-chain-quality.cli-output-schema-evolution",
       "witnessId": "proofkit.cli-contract.output-schema-evolution",
       "witnessKind": "contract",
-      "witnessPath": "internal/app/app_test.go",
+      "witnessPath": "internal/app/cli_contract_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestRequirementCoverageViewBreakingRootUsesVersionedOutputContract",
+          "command": "go test ./internal/app -run '^TestRequirementCoverageViewBreakingRootUsesVersionedOutputContract$'"
+        }
+      ],
       "commandIds": [
         "proofkit.go-test"
       ],
@@ -2231,6 +2343,38 @@
         "local-go"
       ]
     },
+    {
+      "requirementId": "REQ-PROOFKIT-QUALITY-010",
+      "scenarioId": "proofkit.supply-chain-quality.artifact-file-boundary",
+      "witnessId": "proofkit.artifact-file.boundary",
+      "witnessKind": "contract",
+      "witnessPath": "internal/tools/artifactfile/file_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestOperationsRejectFinalSymlinkWithoutTargetMutation",
+          "command": "go test ./internal/tools/artifactfile -run '^TestOperationsRejectFinalSymlinkWithoutTargetMutation$'"
+        },
+        {
+          "selector": "TestOperationsRejectSymlinkComponentsWithoutOutsideMutation",
+          "command": "go test ./internal/tools/artifactfile -run '^TestOperationsRejectSymlinkComponentsWithoutOutsideMutation$'"
+        },
+        {
+          "selector": "TestReadBoundedRejectsUnrepresentableLimit",
+          "command": "go test ./internal/tools/artifactfile -run '^TestReadBoundedRejectsUnrepresentableLimit$'"
+        },
+        {
+          "selector": "TestWriteReadAndRemoveRoundTrip",
+          "command": "go test ./internal/tools/artifactfile -run '^TestWriteReadAndRemoveRoundTrip$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.coverage-metrics",
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
     {
       "requirementId": "REQ-PROOFKIT-QUALITY-010",
       "scenarioId": "proofkit.supply-chain-quality.coverage-metrics",
@@ -2245,6 +2389,126 @@
         {
           "selector": "TestEachLinkageDeadZoneConjunctHasIndependentFalsifier",
           "command": "go test ./internal/tools/coveragemetrics -run '^TestEachLinkageDeadZoneConjunctHasIndependentFalsifier$'"
+        },
+        {
+          "selector": "TestInvalidateMetricsFileRejectsSymlinkParentWithoutDeletingOutsideFile",
+          "command": "go test ./internal/tools/coveragemetrics -run '^TestInvalidateMetricsFileRejectsSymlinkParentWithoutDeletingOutsideFile$'"
+        },
+        {
+          "selector": "TestWriteMetricsFileRejectsSymlinkEscapeWithoutMutation",
+          "command": "go test ./internal/tools/coveragemetrics -run '^TestWriteMetricsFileRejectsSymlinkEscapeWithoutMutation$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.coverage-metrics",
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-QUALITY-010",
+      "scenarioId": "proofkit.supply-chain-quality.command-oracle-counterfeit-corpus",
+      "witnessId": "proofkit.command-oracle.counterfeit-corpus",
+      "witnessKind": "contract",
+      "witnessPath": "internal/tools/commandoracle/corpus_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestCounterfeitCorpusClosesRequiredAxes",
+          "command": "go test ./internal/tools/commandoracle -run '^TestCounterfeitCorpusClosesRequiredAxes$'"
+        },
+        {
+          "selector": "TestCounterfeitCorpusClosureRejectsMissingRequiredAxes",
+          "command": "go test ./internal/tools/commandoracle -run '^TestCounterfeitCorpusClosureRejectsMissingRequiredAxes$'"
+        },
+        {
+          "selector": "TestEachCounterfeitCaseProducesItsCheckedInDecision",
+          "command": "go test ./internal/tools/commandoracle -run '^TestEachCounterfeitCaseProducesItsCheckedInDecision$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.coverage-metrics",
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-QUALITY-010",
+      "scenarioId": "proofkit.supply-chain-quality.command-oracle-execution-ledger",
+      "witnessId": "proofkit.command-oracle.execution-ledger",
+      "witnessKind": "contract",
+      "witnessPath": "internal/tools/commandoracle/execute_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestExecuteBindsMaterializedSourceCandidatesAndRuntimeEvents",
+          "command": "go test ./internal/tools/commandoracle -run '^TestExecuteBindsMaterializedSourceCandidatesAndRuntimeEvents$'"
+        },
+        {
+          "selector": "TestRunGoTestsTerminatesOnContextDeadline",
+          "command": "go test ./internal/tools/commandoracle -run '^TestRunGoTestsTerminatesOnContextDeadline$'"
+        },
+        {
+          "selector": "TestRunGoTestCommandTerminatesImmediatelyWhenStderrExceedsBound",
+          "command": "go test ./internal/tools/commandoracle -run '^TestRunGoTestCommandTerminatesImmediatelyWhenStderrExceedsBound$'"
+        },
+        {
+          "selector": "TestRunGoTestsDoesNotExecuteCrossPackageNameMatches",
+          "command": "go test ./internal/tools/commandoracle -run '^TestRunGoTestsDoesNotExecuteCrossPackageNameMatches$'"
+        },
+        {
+          "selector": "TestValidateCurrentRejectsProducerUnreachableCandidateProjection",
+          "command": "go test ./internal/tools/commandoracle -run '^TestValidateCurrentRejectsProducerUnreachableCandidateProjection$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.coverage-metrics",
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-QUALITY-010",
+      "scenarioId": "proofkit.supply-chain-quality.command-oracle-source-snapshot",
+      "witnessId": "proofkit.command-oracle.source-snapshot",
+      "witnessKind": "contract",
+      "witnessPath": "internal/tools/repositorysnapshot/snapshot_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestCaptureContextTerminatesCanceledGitProcessGroup",
+          "command": "go test ./internal/tools/repositorysnapshot -run '^TestCaptureContextTerminatesCanceledGitProcessGroup$'"
+        },
+        {
+          "selector": "TestCaptureContextTerminatesGitProcessGroupOnOutputOverflow",
+          "command": "go test ./internal/tools/repositorysnapshot -run '^TestCaptureContextTerminatesGitProcessGroupOnOutputOverflow$'"
+        },
+        {
+          "selector": "TestCaptureRejectsSuccessfulGitDiagnosticsWithoutEcho",
+          "command": "go test ./internal/tools/repositorysnapshot -run '^TestCaptureRejectsSuccessfulGitDiagnosticsWithoutEcho$'"
+        },
+        {
+          "selector": "TestMaterializeBindsCopiedBytesAndRejectsLiveMutation",
+          "command": "go test ./internal/tools/repositorysnapshot -run '^TestMaterializeBindsCopiedBytesAndRejectsLiveMutation$'"
+        },
+        {
+          "selector": "TestMaterializeRejectsSymlinkAndNonEmptyDestination",
+          "command": "go test ./internal/tools/repositorysnapshot -run '^TestMaterializeRejectsSymlinkAndNonEmptyDestination$'"
+        },
+        {
+          "selector": "TestMaterializeRejectsSymlinkedDestinationInsideSource",
+          "command": "go test ./internal/tools/repositorysnapshot -run '^TestMaterializeRejectsSymlinkedDestinationInsideSource$'"
+        },
+        {
+          "selector": "TestValidRevisionAdmitsOnlyGitObjectIdentityAndOptionalSnapshotDigest",
+          "command": "go test ./internal/tools/repositorysnapshot -run '^TestValidRevisionAdmitsOnlyGitObjectIdentityAndOptionalSnapshotDigest$'"
+        },
+        {
+          "selector": "TestValidateMaterializedRejectsSurplusFile",
+          "command": "go test ./internal/tools/repositorysnapshot -run '^TestValidateMaterializedRejectsSurplusFile$'"
         }
       ],
       "commandIds": [
@@ -2531,6 +2795,20 @@
       "witnessId": "proofkit.release-closeout.completion-criteria-gate",
       "witnessKind": "contract",
       "witnessPath": "internal/tools/releasecloseoutinput/main_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestBuildInputFailsClosedForEachBlockingEvidenceClass",
+          "command": "go test ./internal/tools/releasecloseoutinput -run '^TestBuildInputFailsClosedForEachBlockingEvidenceClass$'"
+        },
+        {
+          "selector": "TestSelfEvidenceInvokesCurrentCommandOracleOwner",
+          "command": "go test ./internal/tools/releasecloseoutinput -run '^TestSelfEvidenceInvokesCurrentCommandOracleOwner$'"
+        },
+        {
+          "selector": "TestSelfEvidenceRejectsProducerUnreachableCommandOracleRef",
+          "command": "go test ./internal/tools/releasecloseoutinput -run '^TestSelfEvidenceRejectsProducerUnreachableCommandOracleRef$'"
+        }
+      ],
       "commandIds": [
         "proofkit.go-test",
         "proofkit.package-gate"
@@ -3522,6 +3800,297 @@
       "commandIds": ["proofkit.go-test"],
       "environmentClasses": ["local-go"]
     },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-normalization-closure",
+      "witnessId": "proofkit.requirement-source-v2.normalization-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/model_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestNormalizeBuildsDeterministicSeparatedProjections",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeBuildsDeterministicSeparatedProjections$'"
+        },
+        {
+          "selector": "TestNormalizeRejectsInvalidReferenceAndMetadataPartitions",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeRejectsInvalidReferenceAndMetadataPartitions$'"
+        },
+        {
+          "selector": "TestNormalizeBuildsEveryTypedReferenceRole",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeBuildsEveryTypedReferenceRole$'"
+        },
+        {
+          "selector": "TestModelAccessorsDoNotExposeMutableOwnerState",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestModelAccessorsDoNotExposeMutableOwnerState$'"
+        },
+        {
+          "selector": "TestNormalizeRejectsBudgetBeforeMemberSemantics",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeRejectsBudgetBeforeMemberSemantics$'"
+        },
+        {
+          "selector": "TestNormalizeEnforcesExactInputTextBudgetBeforeElementSemantics",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeEnforcesExactInputTextBudgetBeforeElementSemantics$'"
+        },
+        {
+          "selector": "TestNormalizeRejectsExpandedProjectionBudgetsBeforeMemberSemantics",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeRejectsExpandedProjectionBudgetsBeforeMemberSemantics$'"
+        },
+        {
+          "selector": "TestNormalizeRejectsContradictoryScenarioObservations",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeRejectsContradictoryScenarioObservations$'"
+        },
+        {
+          "selector": "TestNormalizeReportsUnreferencedDefinitionsDeterministically",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeReportsUnreferencedDefinitionsDeterministically$'"
+        },
+        {
+          "selector": "TestNormalizeDiagnosticsDoNotEchoCallerText",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeDiagnosticsDoNotEchoCallerText$'"
+        },
+        {
+          "selector": "TestNormalizeRejectsNestedCollectionBudgetBeforeElementSemantics",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeRejectsNestedCollectionBudgetBeforeElementSemantics$'"
+        },
+        {
+          "selector": "TestNormalizeSeparatesAuthoringLayoutFromAtomicSemantics",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeSeparatesAuthoringLayoutFromAtomicSemantics$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-variant-closure",
+      "witnessId": "proofkit.requirement-source-v2.variant-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/variants_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestNormalizeAdmitsEveryDeclaredEnumVariantThroughWholeModel",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeAdmitsEveryDeclaredEnumVariantThroughWholeModel$'"
+        },
+        {
+          "selector": "TestNormalizeProjectsEveryManifestVariantThroughWholeModel",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeProjectsEveryManifestVariantThroughWholeModel$'"
+        },
+        {
+          "selector": "TestNormalizeAdmitsAndProjectsMetadataEnumVariantsFromEachOwner",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeAdmitsAndProjectsMetadataEnumVariantsFromEachOwner$'"
+        },
+        {
+          "selector": "TestNormalizeRejectsUnknownEnumVariantsThroughWholeModel",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeRejectsUnknownEnumVariantsThroughWholeModel$'"
+        },
+        {
+          "selector": "TestNormalizePreservesEveryDeclaredPresenceVariant",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizePreservesEveryDeclaredPresenceVariant$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-instantiated-scenario-closure",
+      "witnessId": "proofkit.requirement-source-v2.instantiated-scenario-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/scenario_evaluation_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestNormalizeRejectsContradictoryInstantiatedObservations",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeRejectsContradictoryInstantiatedObservations$'"
+        },
+        {
+          "selector": "TestScenarioEvaluationBudgetMatchesIndependentInstantiation",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestScenarioEvaluationBudgetMatchesIndependentInstantiation$'"
+        },
+        {
+          "selector": "TestScenarioParameterValuesAreSubstitutedOnce",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestScenarioParameterValuesAreSubstitutedOnce$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-identity-aware-mutation-closure",
+      "witnessId": "proofkit.requirement-source-v2.identity-aware-mutation-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/draft_observation_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestChangedDraftFieldIDsIsIdentityAware",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestChangedDraftFieldIDsIsIdentityAware$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-metadata-owner-closure",
+      "witnessId": "proofkit.requirement-source-v2.metadata-owner-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/metadata_ownership_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestNormalizePreservesExactMetadataOwnershipMatrix",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizePreservesExactMetadataOwnershipMatrix$'"
+        },
+        {
+          "selector": "TestNormalizeClosesEveryOriginOwnerReference",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeClosesEveryOriginOwnerReference$'"
+        },
+        {
+          "selector": "TestNormalizeRejectsOverlapAndGapForEveryMetadataField",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestNormalizeRejectsOverlapAndGapForEveryMetadataField$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-expanded-budget-closure",
+      "witnessId": "proofkit.requirement-source-v2.expanded-budget-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/projection_budget_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestExpandedProjectionBudgetMatchesIndependentMaterialization",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestExpandedProjectionBudgetMatchesIndependentMaterialization$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-enum-inventory-closure",
+      "witnessId": "proofkit.requirement-source-v2.enum-inventory-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/variant_inventory_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestIndependentManifestMatchesExactProductionEnumInventory",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestIndependentManifestMatchesExactProductionEnumInventory$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-field-projection-closure",
+      "witnessId": "proofkit.requirement-source-v2.field-projection-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/completeness_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestIndependentManifestClosesEveryFieldThroughRealMutants",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestIndependentManifestClosesEveryFieldThroughRealMutants$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-typed-field-inventory-closure",
+      "witnessId": "proofkit.requirement-source-v2.typed-field-inventory-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/field_inventory_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestIndependentManifestMatchesExactTypedInputFieldInventory",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestIndependentManifestMatchesExactTypedInputFieldInventory$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-input-budget-closure",
+      "witnessId": "proofkit.requirement-source-v2.input-budget-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/input_budget_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestInputCollectionBudgetMatchesIndependentObserver",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestInputCollectionBudgetMatchesIndependentObserver$'"
+        },
+        {
+          "selector": "TestInputTextBudgetUsesArchitectureIndependentWidth",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestInputTextBudgetUsesArchitectureIndependentWidth$'"
+        },
+        {
+          "selector": "TestLimitConfigurationRejectsEveryInvalidBoundary",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestLimitConfigurationRejectsEveryInvalidBoundary$'"
+        },
+        {
+          "selector": "TestPreflightBudgetErrorPrecedence",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestPreflightBudgetErrorPrecedence$'"
+        },
+        {
+          "selector": "TestPreflightCardinalityBudgetsHaveExactTransitions",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestPreflightCardinalityBudgetsHaveExactTransitions$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-manifest-admission-closure",
+      "witnessId": "proofkit.requirement-source-v2.manifest-admission-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/completeness_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestCompletenessRecordsUseExactStrictJSONAdmission",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestCompletenessRecordsUseExactStrictJSONAdmission$'"
+        },
+        {
+          "selector": "TestIndependentManifestClosesEnumAndPresenceVariants",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestIndependentManifestClosesEnumAndPresenceVariants$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-package-boundary-closure",
+      "witnessId": "proofkit.requirement-source-v2.package-boundary-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/package_boundary_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestRepresentationNeutralPackageBoundaryIsExact",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestRepresentationNeutralPackageBoundaryIsExact$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-024",
+      "scenarioId": "proofkit.spec-proof-core.requirement-source-v2-relation-negative-closure",
+      "witnessId": "proofkit.requirement-source-v2.relation-negative-closure-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/requirementsourcemodel/mutant_relation_negative_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestMutantRelationPredicatesRejectNearMisses",
+          "command": "go test ./internal/kernel/requirementsourcemodel -run '^TestMutantRelationPredicatesRejectNearMisses$'"
+        }
+      ],
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
     {
       "requirementId": "REQ-PROOFKIT-SPEC-023",
       "scenarioId": "proofkit.spec-proof-core.requirement-traceability-topology-closure",