@research-engineering/agentic-proofkit 0.10.1 → 0.12.0

package/proofkit/command-families.v1.json

@@ -30,9 +30,12 @@
     {
       "familyId": "agent-integrations",
       "label": "Agent integrations",
-      "purpose": "Generate portable bootstrap source and check generated-byte freshness without installation or host activation.",
+      "purpose": "Generate and check portable bootstrap source, then explicitly plan, apply or recover its managed file lifecycle without claiming native host activation.",
       "commands": [
+        "integration-apply",
         "integration-check",
+        "integration-plan",
+        "integration-recover",
         "integration-source"
       ]
     },

package/proofkit/requirement-bindings.json

@@ -784,6 +784,22 @@
       "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-SPEC-036",
+      "ownerId": "proofkit.spec-proof-core",
+      "specPath": "docs/specs/proofkit-spec-proof-core/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": ["Lookup fragments do not establish source completeness outside the admitted snapshot, lifecycle-closed context, proof coverage, native execution, provider freshness, merge approval, or production readiness. Private browser HTTP routes are not a separately supported public SDK."]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-037",
+      "ownerId": "proofkit.spec-proof-core",
+      "specPath": "docs/specs/proofkit-spec-proof-core/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": ["Browser runtime witnesses cover the admitted Playwright Chromium, Firefox, and WebKit scenarios, not all browser preferences, assistive technologies, operating-system themes, branded Safari behavior, complete WCAG conformance, annotation persistence, agent execution, or provider delivery."]
+    },
     {
       "requirementId": "REQ-PROOFKIT-WORKFLOW-001",
       "ownerId": "proofkit.agent-workflow",
@@ -943,6 +959,18 @@
         "Cancellation after the final pre-emission checkpoint cannot retract accepted output, and a caller-provided writer that accepts a prefix before failure is not an atomic sink.",
         "Phase5A is generation/check only, not managed installation, update, removal, host activation, permission grant, semantic full proof, merge approval, or production readiness."
       ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-019",
+      "ownerId": "proofkit.agent-workflow",
+      "specPath": "docs/specs/proofkit-agent-workflow/requirements.v1.json",
+      "claimLevel": "blocking",
+      "proofState": "witness_backed",
+      "nonClaims": [
+        "A completed file lifecycle does not prove host discovery, instruction loading, approved-launcher invocation, permission grants, native verification, or production readiness.",
+        "Recovery reports a historical transaction, not current installed/removed state or post-return stability; cancellation after the final effect cannot retract a committed operation.",
+        "The baseline is cooperative bookkeeping, not authenticated origin, owner approval, or protection from coordinated same-user edits or rollback."
+      ]
     }
   ],
   "bindings": [
@@ -5455,6 +5483,78 @@
       "commandIds": ["proofkit.browser-check"],
       "environmentClasses": ["local-node-browser"]
     },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-036",
+      "scenarioId": "proofkit.spec-proof-core.workspace-lookup-cohort-and-anchor",
+      "witnessId": "proofkit.workspace-lookup.cohort-anchor-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/requirementbrowser/workspace_lookup_test.go",
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-036",
+      "scenarioId": "proofkit.spec-proof-core.workspace-lookup-admission",
+      "witnessId": "proofkit.workspace-lookup.admission-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/requirementbrowser/workspace_lookup_admission_test.go",
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-036",
+      "scenarioId": "proofkit.spec-proof-core.workspace-lookup-byte-bound",
+      "witnessId": "proofkit.workspace-lookup.byte-bound-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/requirementbrowser/workspace_page_test.go",
+      "commandIds": ["proofkit.go-test"],
+      "environmentClasses": ["local-go"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-036",
+      "scenarioId": "proofkit.spec-proof-core.workspace-lookup-browser",
+      "witnessId": "proofkit.workspace-lookup.browser-falsifier",
+      "witnessKind": "technical",
+      "witnessPath": "tests/browser/lookup.spec.mjs",
+      "commandIds": ["proofkit.browser-check"],
+      "environmentClasses": ["local-node-browser"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-037",
+      "scenarioId": "proofkit.spec-proof-core.workspace-responsive-panels",
+      "witnessId": "proofkit.workspace-panels.browser-falsifier",
+      "witnessKind": "technical",
+      "witnessPath": "tests/browser/workspace-panels.spec.mjs",
+      "commandIds": ["proofkit.browser-check"],
+      "environmentClasses": ["local-node-browser"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-037",
+      "scenarioId": "proofkit.spec-proof-core.workspace-error-authority",
+      "witnessId": "proofkit.workspace-errors.browser-falsifier",
+      "witnessKind": "technical",
+      "witnessPath": "tests/browser/workspace-errors.spec.mjs",
+      "commandIds": ["proofkit.browser-check"],
+      "environmentClasses": ["local-node-browser"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-037",
+      "scenarioId": "proofkit.spec-proof-core.workspace-request-lifecycle",
+      "witnessId": "proofkit.workspace-requests.browser-falsifier",
+      "witnessKind": "technical",
+      "witnessPath": "tests/browser/workspace-request-lifecycle.spec.mjs",
+      "commandIds": ["proofkit.browser-check"],
+      "environmentClasses": ["local-node-browser"]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-037",
+      "scenarioId": "proofkit.spec-proof-core.workspace-exact-page-retry",
+      "witnessId": "proofkit.workspace-paging.browser-falsifier",
+      "witnessKind": "technical",
+      "witnessPath": "tests/browser/workspace-paging.spec.mjs",
+      "commandIds": ["proofkit.browser-check"],
+      "environmentClasses": ["local-node-browser"]
+    },
     {
       "requirementId": "REQ-PROOFKIT-QUALITY-022",
       "scenarioId": "proofkit.supply-chain-quality.browser-static-and-runtime-proof",
@@ -7113,6 +7213,324 @@
       "environmentClasses": [
         "local-go"
       ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-019",
+      "scenarioId": "proofkit.agent-workflow.integration-lifecycle-pair-recognition",
+      "witnessId": "proofkit.agent-integration.integration-lifecycle-pair-recognition-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/agentintegration/lifecycle_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestLifecycleBaselineCanonicalAdmission",
+          "command": "go test ./internal/command/agentintegration -run '^TestLifecycleBaselineCanonicalAdmission$'"
+        },
+        {
+          "selector": "TestLifecyclePairRecognition",
+          "command": "go test ./internal/command/agentintegration -run '^TestLifecyclePairRecognition$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-019",
+      "scenarioId": "proofkit.agent-workflow.integration-lifecycle-whole-operation",
+      "witnessId": "proofkit.agent-integration.integration-lifecycle-whole-operation-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/command/agentintegration/lifecycle_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestLifecycleAppliesReplaysAndPreservesNeighbors",
+          "command": "go test ./internal/command/agentintegration -run '^TestLifecycleAppliesReplaysAndPreservesNeighbors$'"
+        },
+        {
+          "selector": "TestLifecycleRejectsChangedIdentityAndLocalEdits",
+          "command": "go test ./internal/command/agentintegration -run '^TestLifecycleRejectsChangedIdentityAndLocalEdits$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-019",
+      "scenarioId": "proofkit.agent-workflow.integration-lifecycle-cli",
+      "witnessId": "proofkit.agent-integration.integration-lifecycle-cli-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/agent_integration_lifecycle_command_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestIntegrationApplyCLI",
+          "command": "go test ./internal/app -run '^TestIntegrationApplyCLI$'"
+        },
+        {
+          "selector": "TestIntegrationLifecycleInvocationAndPresentation",
+          "command": "go test ./internal/app -run '^TestIntegrationLifecycleInvocationAndPresentation$'"
+        },
+        {
+          "selector": "TestIntegrationPlanCLI",
+          "command": "go test ./internal/app -run '^TestIntegrationPlanCLI$'"
+        },
+        {
+          "selector": "TestIntegrationRecoverCLI",
+          "command": "go test ./internal/app -run '^TestIntegrationRecoverCLI$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-019",
+      "scenarioId": "proofkit.agent-workflow.integration-lifecycle-version-edge",
+      "witnessId": "proofkit.agent-integration.integration-lifecycle-version-edge-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/integration_version_edge_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestManagedIntegrationVersionEdgeClosesDeclaredPublicABIDelta",
+          "command": "go test ./internal/app -run '^TestManagedIntegrationVersionEdgeClosesDeclaredPublicABIDelta$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-019",
+      "scenarioId": "proofkit.agent-workflow.integration-lifecycle-version-edge-mutants",
+      "witnessId": "proofkit.agent-integration.integration-lifecycle-version-edge-mutants-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/public_abi_mutation_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestManagedIntegrationVersionEdgeRejectsUndeclaredPublicABIDrift",
+          "command": "go test ./internal/app -run '^TestManagedIntegrationVersionEdgeRejectsUndeclaredPublicABIDrift$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-019",
+      "scenarioId": "proofkit.agent-workflow.integration-lifecycle-npm-carrier",
+      "witnessId": "proofkit.agent-integration.integration-lifecycle-npm-carrier-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-019",
+      "scenarioId": "proofkit.agent-workflow.integration-lifecycle-wheel-carrier",
+      "witnessId": "proofkit.agent-integration.integration-lifecycle-wheel-carrier-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-SPEC-033",
+      "scenarioId": "proofkit.repository-transaction.desired-absence-action-and-admission",
+      "witnessId": "proofkit.repository-transaction.desired-absence-action-and-admission-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/delete_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestAbsentTargetRejectsPayloadAndNoncanonicalVersionWithoutMutation",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestAbsentTargetRejectsPayloadAndNoncanonicalVersionWithoutMutation$'"
+        },
+        {
+          "selector": "TestAbsentTargetsDistinguishDeletionEmptyAndUnchanged",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestAbsentTargetsDistinguishDeletionEmptyAndUnchanged$'"
+        },
+        {
+          "selector": "TestDeleteChecksLastBeforeImageAndPreservesForeignRecreation",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestDeleteChecksLastBeforeImageAndPreservesForeignRecreation$'"
+        },
+        {
+          "selector": "TestMixedAbsentTargetDoesNotRequireOrCreateItsParents",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestMixedAbsentTargetDoesNotRequireOrCreateItsParents$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "scenarioId": "proofkit.repository-transaction.desired-absence-recovery-and-interruption",
+      "witnessId": "proofkit.repository-transaction.desired-absence-recovery-and-interruption-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/delete_recovery_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestDeletionProcessInterruptionAtMutationBoundaries",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestDeletionProcessInterruptionAtMutationBoundaries$'"
+        },
+        {
+          "selector": "TestDeletionRecoversEveryMixedPrefixAndHistoricalResult",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestDeletionRecoversEveryMixedPrefixAndHistoricalResult$'"
+        },
+        {
+          "selector": "TestDeletionRejectsMissingCorruptAndUnexpectedStagedObjects",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestDeletionRejectsMissingCorruptAndUnexpectedStagedObjects$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "scenarioId": "proofkit.repository-transaction.current-state-locked-replay",
+      "witnessId": "proofkit.repository-transaction.current-state-locked-replay-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/replay_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestReplayAppliedRequiresCurrentNativePlanAndExactRetainedResult",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestReplayAppliedRequiresCurrentNativePlanAndExactRetainedResult$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "scenarioId": "proofkit.repository-transaction.predecessor-v1-compatibility",
+      "witnessId": "proofkit.repository-transaction.predecessor-v1-compatibility-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/v1_compatibility_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestPresentOnlyPlansPreserveIndependentPredecessorBytes",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestPresentOnlyPlansPreserveIndependentPredecessorBytes$'"
+        },
+        {
+          "selector": "TestRecoverIndependentPredecessorJournalAndStagedBytes",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestRecoverIndependentPredecessorJournalAndStagedBytes$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-SPEC-033",
+      "scenarioId": "proofkit.repository-transaction.bound-terminal-identity",
+      "witnessId": "proofkit.repository-transaction.bound-terminal-identity-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/kernel/repositorytransaction/terminal_identity_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestBoundTerminalRecoveryCompletesInterruptedArchive",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestBoundTerminalRecoveryCompletesInterruptedArchive$'"
+        },
+        {
+          "selector": "TestLegacyTerminalRecoveryPreservesHistoricalIdentity",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestLegacyTerminalRecoveryPreservesHistoricalIdentity$'"
+        },
+        {
+          "selector": "TestTerminalReceiptDesiredIdentityAdmission",
+          "command": "go test ./internal/kernel/repositorytransaction -run '^TestTerminalReceiptDesiredIdentityAdmission$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-019",
+      "scenarioId": "proofkit.agent-workflow.integration-recover-busy-stream",
+      "witnessId": "proofkit.agent-workflow.integration-recover-busy-stream-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/app/agent_integration_lifecycle_unix_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestIntegrationRecoverBusyCLIIsClassified",
+          "command": "go test ./internal/app -run '^TestIntegrationRecoverBusyCLIIsClassified$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
+    },
+    {
+      "requirementId": "REQ-PROOFKIT-WORKFLOW-019",
+      "scenarioId": "proofkit.agent-workflow.integration-update-effect-oracle",
+      "witnessId": "proofkit.agent-workflow.integration-update-effect-oracle-falsifier",
+      "witnessKind": "contract",
+      "witnessPath": "internal/tools/workflowsmoke/integration_lifecycle_mutation_test.go",
+      "witnessSelectors": [
+        {
+          "selector": "TestInstalledLifecycleWitnessRejectsUpdateWithoutEffects",
+          "command": "go test ./internal/tools/workflowsmoke -run '^TestInstalledLifecycleWitnessRejectsUpdateWithoutEffects$'"
+        }
+      ],
+      "commandIds": [
+        "proofkit.go-test"
+      ],
+      "environmentClasses": [
+        "local-go"
+      ]
     }
   ],
   "witnessCommands": [

package/proofkit/witness-plan.json

@@ -796,6 +796,7 @@
         "scripts/browser-proof-inputs.test.mjs",
         "scripts/browser-runtime-proof-inputs.v1.json",
         "scripts/browser-selection-authority.test.mjs",
+        "scripts/browser-workspace-requests.test.mjs",
         "scripts/diagnostic.mjs",
         "scripts/stable-json.mjs",
         "scripts/stable-json.test.mjs",