codexgpt 1.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/AGENTS.example.md +20 -0
- package/CHANGELOG.md +342 -0
- package/CHATGPT_PROMPT.md +12 -0
- package/CLOUDFLARED_VERIFIED_INSTALL.md +94 -0
- package/CODEX_PROMPT.md +12 -0
- package/CONTRIBUTING.md +62 -0
- package/DOMAIN_SETUP.md +275 -0
- package/FAQ.md +366 -0
- package/FAQ_ZH.md +329 -0
- package/LICENSE +21 -0
- package/PUBLIC_LAUNCH_CHECKLIST.md +111 -0
- package/README.md +490 -0
- package/README_ZH.md +747 -0
- package/SECURITY.md +295 -0
- package/config.example.env +103 -0
- package/dist/access/fullAccessLease.js +148 -0
- package/dist/access/fullAccessLease.js.map +1 -0
- package/dist/access/protectedRoots.js +122 -0
- package/dist/access/protectedRoots.js.map +1 -0
- package/dist/access/rootAdmission.js +347 -0
- package/dist/access/rootAdmission.js.map +1 -0
- package/dist/analysis/cache.js +27 -0
- package/dist/analysis/cache.js.map +1 -0
- package/dist/analysis/classify.js +102 -0
- package/dist/analysis/classify.js.map +1 -0
- package/dist/analysis/extract.js +139 -0
- package/dist/analysis/extract.js.map +1 -0
- package/dist/analysis/graph.js +22 -0
- package/dist/analysis/graph.js.map +1 -0
- package/dist/analysis/impact.js +167 -0
- package/dist/analysis/impact.js.map +1 -0
- package/dist/analysis/index.js +215 -0
- package/dist/analysis/index.js.map +1 -0
- package/dist/analysis/inventory.js +51 -0
- package/dist/analysis/inventory.js.map +1 -0
- package/dist/analysis/providers.js +24 -0
- package/dist/analysis/providers.js.map +1 -0
- package/dist/analysis/rank.js +27 -0
- package/dist/analysis/rank.js.map +1 -0
- package/dist/analysis/types.js +8 -0
- package/dist/analysis/types.js.map +1 -0
- package/dist/audit/canonicalJson.js +79 -0
- package/dist/audit/canonicalJson.js.map +1 -0
- package/dist/audit/diagnostics.js +128 -0
- package/dist/audit/diagnostics.js.map +1 -0
- package/dist/audit/index.js +12 -0
- package/dist/audit/index.js.map +1 -0
- package/dist/audit/lifecycleV3.js +53 -0
- package/dist/audit/lifecycleV3.js.map +1 -0
- package/dist/audit/lifecycleV4.js +70 -0
- package/dist/audit/lifecycleV4.js.map +1 -0
- package/dist/audit/lock.js +195 -0
- package/dist/audit/lock.js.map +1 -0
- package/dist/audit/queryTool.js +120 -0
- package/dist/audit/queryTool.js.map +1 -0
- package/dist/audit/runtime.js +48 -0
- package/dist/audit/runtime.js.map +1 -0
- package/dist/audit/schemas.js +640 -0
- package/dist/audit/schemas.js.map +1 -0
- package/dist/audit/store.js +1309 -0
- package/dist/audit/store.js.map +1 -0
- package/dist/audit/transactionParticipant.js +45 -0
- package/dist/audit/transactionParticipant.js.map +1 -0
- package/dist/audit/types.js +11 -0
- package/dist/audit/types.js.map +1 -0
- package/dist/auth/audit.js +44 -0
- package/dist/auth/audit.js.map +1 -0
- package/dist/auth/authorizationStore.js +333 -0
- package/dist/auth/authorizationStore.js.map +1 -0
- package/dist/auth/challenges.js +25 -0
- package/dist/auth/challenges.js.map +1 -0
- package/dist/auth/clientStore.js +469 -0
- package/dist/auth/clientStore.js.map +1 -0
- package/dist/auth/cloudflareConfig.js +112 -0
- package/dist/auth/cloudflareConfig.js.map +1 -0
- package/dist/auth/configuration.js +167 -0
- package/dist/auth/configuration.js.map +1 -0
- package/dist/auth/credentialStore.js +65 -0
- package/dist/auth/credentialStore.js.map +1 -0
- package/dist/auth/deploymentLock.js +220 -0
- package/dist/auth/deploymentLock.js.map +1 -0
- package/dist/auth/deploymentRegistry.js +149 -0
- package/dist/auth/deploymentRegistry.js.map +1 -0
- package/dist/auth/errors.js +26 -0
- package/dist/auth/errors.js.map +1 -0
- package/dist/auth/grantStore.js +307 -0
- package/dist/auth/grantStore.js.map +1 -0
- package/dist/auth/index.js +39 -0
- package/dist/auth/index.js.map +1 -0
- package/dist/auth/keyManager.js +148 -0
- package/dist/auth/keyManager.js.map +1 -0
- package/dist/auth/localAdminSession.js +173 -0
- package/dist/auth/localAdminSession.js.map +1 -0
- package/dist/auth/metadata.js +69 -0
- package/dist/auth/metadata.js.map +1 -0
- package/dist/auth/oauthProvider.js +589 -0
- package/dist/auth/oauthProvider.js.map +1 -0
- package/dist/auth/ownerApproval.js +51 -0
- package/dist/auth/ownerApproval.js.map +1 -0
- package/dist/auth/policyIdentity.js +189 -0
- package/dist/auth/policyIdentity.js.map +1 -0
- package/dist/auth/rateLimits.js +66 -0
- package/dist/auth/rateLimits.js.map +1 -0
- package/dist/auth/recovery.js +275 -0
- package/dist/auth/recovery.js.map +1 -0
- package/dist/auth/requestContext.js +34 -0
- package/dist/auth/requestContext.js.map +1 -0
- package/dist/auth/resourceMiddleware.js +147 -0
- package/dist/auth/resourceMiddleware.js.map +1 -0
- package/dist/auth/runtimeStatus.js +51 -0
- package/dist/auth/runtimeStatus.js.map +1 -0
- package/dist/auth/schemas.js +84 -0
- package/dist/auth/schemas.js.map +1 -0
- package/dist/auth/stateStore.js +468 -0
- package/dist/auth/stateStore.js.map +1 -0
- package/dist/auth/tokenService.js +631 -0
- package/dist/auth/tokenService.js.map +1 -0
- package/dist/auth/toolSecurity.js +108 -0
- package/dist/auth/toolSecurity.js.map +1 -0
- package/dist/auth/types.js +6 -0
- package/dist/auth/types.js.map +1 -0
- package/dist/auth/windowsDpapi.js +193 -0
- package/dist/auth/windowsDpapi.js.map +1 -0
- package/dist/bashOps.js +292 -0
- package/dist/bashOps.js.map +1 -0
- package/dist/capabilitiesOps.js +412 -0
- package/dist/capabilitiesOps.js.map +1 -0
- package/dist/changesets/crypto.js +92 -0
- package/dist/changesets/crypto.js.map +1 -0
- package/dist/changesets/index.js +9 -0
- package/dist/changesets/index.js.map +1 -0
- package/dist/changesets/moveStore.js +237 -0
- package/dist/changesets/moveStore.js.map +1 -0
- package/dist/changesets/moveUndo.js +386 -0
- package/dist/changesets/moveUndo.js.map +1 -0
- package/dist/changesets/schemas.js +234 -0
- package/dist/changesets/schemas.js.map +1 -0
- package/dist/changesets/store.js +573 -0
- package/dist/changesets/store.js.map +1 -0
- package/dist/changesets/types.js +9 -0
- package/dist/changesets/types.js.map +1 -0
- package/dist/changesets/undo.js +525 -0
- package/dist/changesets/undo.js.map +1 -0
- package/dist/changesets/unifiedUndo.js +31 -0
- package/dist/changesets/unifiedUndo.js.map +1 -0
- package/dist/cliEnvironment.js +85 -0
- package/dist/cliEnvironment.js.map +1 -0
- package/dist/codexSessions.js +733 -0
- package/dist/codexSessions.js.map +1 -0
- package/dist/codexgptSupertool.js +216 -0
- package/dist/codexgptSupertool.js.map +1 -0
- package/dist/codexproSupertool.js +204 -0
- package/dist/codexproSupertool.js.map +1 -0
- package/dist/config.js +733 -0
- package/dist/config.js.map +1 -0
- package/dist/control/localApprovalClient.js +287 -0
- package/dist/control/localApprovalClient.js.map +1 -0
- package/dist/control/localApprovalServer.js +466 -0
- package/dist/control/localApprovalServer.js.map +1 -0
- package/dist/control/runtime.js +178 -0
- package/dist/control/runtime.js.map +1 -0
- package/dist/control/schemas.js +184 -0
- package/dist/control/schemas.js.map +1 -0
- package/dist/control/windowsLocalControl.js +348 -0
- package/dist/control/windowsLocalControl.js.map +1 -0
- package/dist/fsOps.js +541 -0
- package/dist/fsOps.js.map +1 -0
- package/dist/git/admission.js +26 -0
- package/dist/git/admission.js.map +1 -0
- package/dist/git/branchService.js +51 -0
- package/dist/git/branchService.js.map +1 -0
- package/dist/git/capabilities.js +143 -0
- package/dist/git/capabilities.js.map +1 -0
- package/dist/git/commitService.js +344 -0
- package/dist/git/commitService.js.map +1 -0
- package/dist/git/durableState.js +151 -0
- package/dist/git/durableState.js.map +1 -0
- package/dist/git/execution.js +451 -0
- package/dist/git/execution.js.map +1 -0
- package/dist/git/fileTransaction.js +50 -0
- package/dist/git/fileTransaction.js.map +1 -0
- package/dist/git/indexService.js +421 -0
- package/dist/git/indexService.js.map +1 -0
- package/dist/git/integrations.js +653 -0
- package/dist/git/integrations.js.map +1 -0
- package/dist/git/locks.js +287 -0
- package/dist/git/locks.js.map +1 -0
- package/dist/git/mutationContext.js +92 -0
- package/dist/git/mutationContext.js.map +1 -0
- package/dist/git/mutationJournal.js +91 -0
- package/dist/git/mutationJournal.js.map +1 -0
- package/dist/git/mutationService.js +352 -0
- package/dist/git/mutationService.js.map +1 -0
- package/dist/git/normalization.js +57 -0
- package/dist/git/normalization.js.map +1 -0
- package/dist/git/objectQuarantine.js +243 -0
- package/dist/git/objectQuarantine.js.map +1 -0
- package/dist/git/opaqueRecordStore.js +187 -0
- package/dist/git/opaqueRecordStore.js.map +1 -0
- package/dist/git/operationStore.js +287 -0
- package/dist/git/operationStore.js.map +1 -0
- package/dist/git/parsers.js +311 -0
- package/dist/git/parsers.js.map +1 -0
- package/dist/git/privateIndex.js +79 -0
- package/dist/git/privateIndex.js.map +1 -0
- package/dist/git/productionBootstrap.js +39 -0
- package/dist/git/productionBootstrap.js.map +1 -0
- package/dist/git/readService.js +846 -0
- package/dist/git/readService.js.map +1 -0
- package/dist/git/recovery.js +417 -0
- package/dist/git/recovery.js.map +1 -0
- package/dist/git/repositoryIdentity.js +611 -0
- package/dist/git/repositoryIdentity.js.map +1 -0
- package/dist/git/repositoryStore.js +237 -0
- package/dist/git/repositoryStore.js.map +1 -0
- package/dist/git/resources.js +113 -0
- package/dist/git/resources.js.map +1 -0
- package/dist/git/restoreService.js +178 -0
- package/dist/git/restoreService.js.map +1 -0
- package/dist/git/reviewToken.js +86 -0
- package/dist/git/reviewToken.js.map +1 -0
- package/dist/git/stashService.js +566 -0
- package/dist/git/stashService.js.map +1 -0
- package/dist/git/stateToken.js +139 -0
- package/dist/git/stateToken.js.map +1 -0
- package/dist/gitOps.js +147 -0
- package/dist/gitOps.js.map +1 -0
- package/dist/guard.js +608 -0
- package/dist/guard.js.map +1 -0
- package/dist/guidance/diagnostics.js +14 -0
- package/dist/guidance/diagnostics.js.map +1 -0
- package/dist/guidance/instructions.js +167 -0
- package/dist/guidance/instructions.js.map +1 -0
- package/dist/guidance/mode.js +18 -0
- package/dist/guidance/mode.js.map +1 -0
- package/dist/guidance/openaiSkillMetadata.js +29 -0
- package/dist/guidance/openaiSkillMetadata.js.map +1 -0
- package/dist/guidance/safeTextReader.js +171 -0
- package/dist/guidance/safeTextReader.js.map +1 -0
- package/dist/guidance/skillCatalog.js +70 -0
- package/dist/guidance/skillCatalog.js.map +1 -0
- package/dist/guidance/skillDiscovery.js +353 -0
- package/dist/guidance/skillDiscovery.js.map +1 -0
- package/dist/guidance/skillMetadata.js +115 -0
- package/dist/guidance/skillMetadata.js.map +1 -0
- package/dist/guidance/skillResources.js +146 -0
- package/dist/guidance/skillResources.js.map +1 -0
- package/dist/handoffOps.js +449 -0
- package/dist/handoffOps.js.map +1 -0
- package/dist/http/localAdminApp.js +203 -0
- package/dist/http/localAdminApp.js.map +1 -0
- package/dist/http/oauthMcpRuntime.js +294 -0
- package/dist/http/oauthMcpRuntime.js.map +1 -0
- package/dist/http/publicApp.js +350 -0
- package/dist/http/publicApp.js.map +1 -0
- package/dist/http/securityHeaders.js +11 -0
- package/dist/http/securityHeaders.js.map +1 -0
- package/dist/http.js +2076 -0
- package/dist/http.js.map +1 -0
- package/dist/moves/engine.js +1079 -0
- package/dist/moves/engine.js.map +1 -0
- package/dist/moves/index.js +6 -0
- package/dist/moves/index.js.map +1 -0
- package/dist/moves/planner.js +270 -0
- package/dist/moves/planner.js.map +1 -0
- package/dist/moves/recovery.js +557 -0
- package/dist/moves/recovery.js.map +1 -0
- package/dist/moves/service.js +300 -0
- package/dist/moves/service.js.map +1 -0
- package/dist/moves/types.js +11 -0
- package/dist/moves/types.js.map +1 -0
- package/dist/mutations/index.js +4 -0
- package/dist/mutations/index.js.map +1 -0
- package/dist/mutations/lifecycle.js +165 -0
- package/dist/mutations/lifecycle.js.map +1 -0
- package/dist/mutations/localService.js +163 -0
- package/dist/mutations/localService.js.map +1 -0
- package/dist/mutations/runtime.js +322 -0
- package/dist/mutations/runtime.js.map +1 -0
- package/dist/mutations/types.js +2 -0
- package/dist/mutations/types.js.map +1 -0
- package/dist/mutations/writers.js +360 -0
- package/dist/mutations/writers.js.map +1 -0
- package/dist/patchOps.js +420 -0
- package/dist/patchOps.js.map +1 -0
- package/dist/policy/approval.js +306 -0
- package/dist/policy/approval.js.map +1 -0
- package/dist/policy/audit.js +88 -0
- package/dist/policy/audit.js.map +1 -0
- package/dist/policy/authorizationFacts.js +187 -0
- package/dist/policy/authorizationFacts.js.map +1 -0
- package/dist/policy/compat.js +104 -0
- package/dist/policy/compat.js.map +1 -0
- package/dist/policy/context.js +31 -0
- package/dist/policy/context.js.map +1 -0
- package/dist/policy/enforcement.js +46 -0
- package/dist/policy/enforcement.js.map +1 -0
- package/dist/policy/evaluator.js +338 -0
- package/dist/policy/evaluator.js.map +1 -0
- package/dist/policy/executionCapabilities.js +80 -0
- package/dist/policy/executionCapabilities.js.map +1 -0
- package/dist/policy/executionResources.js +192 -0
- package/dist/policy/executionResources.js.map +1 -0
- package/dist/policy/fullAccessResources.js +23 -0
- package/dist/policy/fullAccessResources.js.map +1 -0
- package/dist/policy/hardPolicy.js +50 -0
- package/dist/policy/hardPolicy.js.map +1 -0
- package/dist/policy/identity.js +142 -0
- package/dist/policy/identity.js.map +1 -0
- package/dist/policy/integration.js +331 -0
- package/dist/policy/integration.js.map +1 -0
- package/dist/policy/pendingApprovals.js +301 -0
- package/dist/policy/pendingApprovals.js.map +1 -0
- package/dist/policy/profileStore.js +367 -0
- package/dist/policy/profileStore.js.map +1 -0
- package/dist/policy/resources.js +249 -0
- package/dist/policy/resources.js.map +1 -0
- package/dist/policy/runtime.js +713 -0
- package/dist/policy/runtime.js.map +1 -0
- package/dist/policy/schemas.js +625 -0
- package/dist/policy/schemas.js.map +1 -0
- package/dist/policy/toolPolicy.js +141 -0
- package/dist/policy/toolPolicy.js.map +1 -0
- package/dist/policy/transport.js +10 -0
- package/dist/policy/transport.js.map +1 -0
- package/dist/policy/types.js +31 -0
- package/dist/policy/types.js.map +1 -0
- package/dist/proContext.js +675 -0
- package/dist/proContext.js.map +1 -0
- package/dist/process/authority.js +18 -0
- package/dist/process/authority.js.map +1 -0
- package/dist/process/backendDiscovery.js +83 -0
- package/dist/process/backendDiscovery.js.map +1 -0
- package/dist/process/commandCompiler.js +71 -0
- package/dist/process/commandCompiler.js.map +1 -0
- package/dist/process/outputCursor.js +67 -0
- package/dist/process/outputCursor.js.map +1 -0
- package/dist/process/outputQuota.js +94 -0
- package/dist/process/outputQuota.js.map +1 -0
- package/dist/process/outputRing.js +138 -0
- package/dist/process/outputRing.js.map +1 -0
- package/dist/process/processAuditCoordinator.js +52 -0
- package/dist/process/processAuditCoordinator.js.map +1 -0
- package/dist/process/processManager.js +311 -0
- package/dist/process/processManager.js.map +1 -0
- package/dist/process/runCommand.js +332 -0
- package/dist/process/runCommand.js.map +1 -0
- package/dist/process/streamingRedactor.js +105 -0
- package/dist/process/streamingRedactor.js.map +1 -0
- package/dist/process/types.js +2 -0
- package/dist/process/types.js.map +1 -0
- package/dist/process/windowsHostClient.js +604 -0
- package/dist/process/windowsHostClient.js.map +1 -0
- package/dist/process/windowsHostProtocol.js +270 -0
- package/dist/process/windowsHostProtocol.js.map +1 -0
- package/dist/process/windowsPersistentBackend.js +263 -0
- package/dist/process/windowsPersistentBackend.js.map +1 -0
- package/dist/productionRuntime.js +907 -0
- package/dist/productionRuntime.js.map +1 -0
- package/dist/profileStore.js +231 -0
- package/dist/profileStore.js.map +1 -0
- package/dist/redact.js +124 -0
- package/dist/redact.js.map +1 -0
- package/dist/searchOps.js +186 -0
- package/dist/searchOps.js.map +1 -0
- package/dist/selfTestOps.js +786 -0
- package/dist/selfTestOps.js.map +1 -0
- package/dist/semantic/budgets.js +12 -0
- package/dist/semantic/budgets.js.map +1 -0
- package/dist/semantic/builtin/typescriptAssets.js +68 -0
- package/dist/semantic/builtin/typescriptAssets.js.map +1 -0
- package/dist/semantic/builtin/typescriptProvider.js +211 -0
- package/dist/semantic/builtin/typescriptProvider.js.map +1 -0
- package/dist/semantic/builtin/typescriptWorker.js +365 -0
- package/dist/semantic/builtin/typescriptWorker.js.map +1 -0
- package/dist/semantic/diffPreview.js +36 -0
- package/dist/semantic/diffPreview.js.map +1 -0
- package/dist/semantic/index.js +11 -0
- package/dist/semantic/index.js.map +1 -0
- package/dist/semantic/manager.js +522 -0
- package/dist/semantic/manager.js.map +1 -0
- package/dist/semantic/positions.js +86 -0
- package/dist/semantic/positions.js.map +1 -0
- package/dist/semantic/previewStore.js +276 -0
- package/dist/semantic/previewStore.js.map +1 -0
- package/dist/semantic/projectResolver.js +309 -0
- package/dist/semantic/projectResolver.js.map +1 -0
- package/dist/semantic/sourceSnapshot.js +54 -0
- package/dist/semantic/sourceSnapshot.js.map +1 -0
- package/dist/semantic/status.js +46 -0
- package/dist/semantic/status.js.map +1 -0
- package/dist/semantic/types.js +2 -0
- package/dist/semantic/types.js.map +1 -0
- package/dist/server.js +8676 -0
- package/dist/server.js.map +1 -0
- package/dist/stdio.js +64 -0
- package/dist/stdio.js.map +1 -0
- package/dist/toolCardWidget.js +2000 -0
- package/dist/toolCardWidget.js.map +1 -0
- package/dist/tools/contracts/catalog.js +111 -0
- package/dist/tools/contracts/catalog.js.map +1 -0
- package/dist/tools/contracts/index.js +8 -0
- package/dist/tools/contracts/index.js.map +1 -0
- package/dist/tools/contracts/registration.js +27 -0
- package/dist/tools/contracts/registration.js.map +1 -0
- package/dist/tools/contracts/schemas.js +11 -0
- package/dist/tools/contracts/schemas.js.map +1 -0
- package/dist/tools/contracts/types.js +2 -0
- package/dist/tools/contracts/types.js.map +1 -0
- package/dist/tools/contracts/v3.js +76 -0
- package/dist/tools/contracts/v3.js.map +1 -0
- package/dist/tools/contracts/v4.js +39 -0
- package/dist/tools/contracts/v4.js.map +1 -0
- package/dist/tools/contracts/v5.js +20 -0
- package/dist/tools/contracts/v5.js.map +1 -0
- package/dist/tools/phase3dServer.js +350 -0
- package/dist/tools/phase3dServer.js.map +1 -0
- package/dist/tools/schemas/applyPatch.js +388 -0
- package/dist/tools/schemas/applyPatch.js.map +1 -0
- package/dist/tools/schemas/bash.js +202 -0
- package/dist/tools/schemas/bash.js.map +1 -0
- package/dist/tools/schemas/closeWorkspace.js +105 -0
- package/dist/tools/schemas/closeWorkspace.js.map +1 -0
- package/dist/tools/schemas/codexContext.js +402 -0
- package/dist/tools/schemas/codexContext.js.map +1 -0
- package/dist/tools/schemas/codexSessions.js +328 -0
- package/dist/tools/schemas/codexSessions.js.map +1 -0
- package/dist/tools/schemas/codexgpt.js +1068 -0
- package/dist/tools/schemas/codexgpt.js.map +1 -0
- package/dist/tools/schemas/codexgptInventory.js +359 -0
- package/dist/tools/schemas/codexgptInventory.js.map +1 -0
- package/dist/tools/schemas/codexgptSelfTest.js +563 -0
- package/dist/tools/schemas/codexgptSelfTest.js.map +1 -0
- package/dist/tools/schemas/codexpro.js +917 -0
- package/dist/tools/schemas/codexpro.js.map +1 -0
- package/dist/tools/schemas/codexproInventory.js +352 -0
- package/dist/tools/schemas/codexproInventory.js.map +1 -0
- package/dist/tools/schemas/codexproSelfTest.js +546 -0
- package/dist/tools/schemas/codexproSelfTest.js.map +1 -0
- package/dist/tools/schemas/common.js +21 -0
- package/dist/tools/schemas/common.js.map +1 -0
- package/dist/tools/schemas/createTaskWorktree.js +51 -0
- package/dist/tools/schemas/createTaskWorktree.js.map +1 -0
- package/dist/tools/schemas/edit.js +321 -0
- package/dist/tools/schemas/edit.js.map +1 -0
- package/dist/tools/schemas/execution.js +330 -0
- package/dist/tools/schemas/execution.js.map +1 -0
- package/dist/tools/schemas/exportProContext.js +370 -0
- package/dist/tools/schemas/exportProContext.js.map +1 -0
- package/dist/tools/schemas/getTaskWorktree.js +19 -0
- package/dist/tools/schemas/getTaskWorktree.js.map +1 -0
- package/dist/tools/schemas/gitBranch.js +42 -0
- package/dist/tools/schemas/gitBranch.js.map +1 -0
- package/dist/tools/schemas/gitCommit.js +40 -0
- package/dist/tools/schemas/gitCommit.js.map +1 -0
- package/dist/tools/schemas/gitCreateBranch.js +22 -0
- package/dist/tools/schemas/gitCreateBranch.js.map +1 -0
- package/dist/tools/schemas/gitDiff.js +222 -0
- package/dist/tools/schemas/gitDiff.js.map +1 -0
- package/dist/tools/schemas/gitLog.js +41 -0
- package/dist/tools/schemas/gitLog.js.map +1 -0
- package/dist/tools/schemas/gitRestore.js +47 -0
- package/dist/tools/schemas/gitRestore.js.map +1 -0
- package/dist/tools/schemas/gitStage.js +33 -0
- package/dist/tools/schemas/gitStage.js.map +1 -0
- package/dist/tools/schemas/gitStash.js +102 -0
- package/dist/tools/schemas/gitStash.js.map +1 -0
- package/dist/tools/schemas/gitStatus.js +226 -0
- package/dist/tools/schemas/gitStatus.js.map +1 -0
- package/dist/tools/schemas/gitV4Common.js +205 -0
- package/dist/tools/schemas/gitV4Common.js.map +1 -0
- package/dist/tools/schemas/guidance.js +40 -0
- package/dist/tools/schemas/guidance.js.map +1 -0
- package/dist/tools/schemas/handoffToAgent.js +276 -0
- package/dist/tools/schemas/handoffToAgent.js.map +1 -0
- package/dist/tools/schemas/handoffToCodex.js +137 -0
- package/dist/tools/schemas/handoffToCodex.js.map +1 -0
- package/dist/tools/schemas/inspectWorkspace.js +379 -0
- package/dist/tools/schemas/inspectWorkspace.js.map +1 -0
- package/dist/tools/schemas/listTaskWorktrees.js +21 -0
- package/dist/tools/schemas/listTaskWorktrees.js.map +1 -0
- package/dist/tools/schemas/listWorkspaces.js +134 -0
- package/dist/tools/schemas/listWorkspaces.js.map +1 -0
- package/dist/tools/schemas/loadSkill.js +619 -0
- package/dist/tools/schemas/loadSkill.js.map +1 -0
- package/dist/tools/schemas/mergeTaskWorktree.js +105 -0
- package/dist/tools/schemas/mergeTaskWorktree.js.map +1 -0
- package/dist/tools/schemas/movePaths.js +175 -0
- package/dist/tools/schemas/movePaths.js.map +1 -0
- package/dist/tools/schemas/openCurrentWorkspace.js +174 -0
- package/dist/tools/schemas/openCurrentWorkspace.js.map +1 -0
- package/dist/tools/schemas/openFullAccessWorkspace.js +81 -0
- package/dist/tools/schemas/openFullAccessWorkspace.js.map +1 -0
- package/dist/tools/schemas/openWorkspace.js +193 -0
- package/dist/tools/schemas/openWorkspace.js.map +1 -0
- package/dist/tools/schemas/queryAuditEvents.js +193 -0
- package/dist/tools/schemas/queryAuditEvents.js.map +1 -0
- package/dist/tools/schemas/read.js +199 -0
- package/dist/tools/schemas/read.js.map +1 -0
- package/dist/tools/schemas/readCodexSession.js +353 -0
- package/dist/tools/schemas/readCodexSession.js.map +1 -0
- package/dist/tools/schemas/readHandoff.js +446 -0
- package/dist/tools/schemas/readHandoff.js.map +1 -0
- package/dist/tools/schemas/removeTaskWorktree.js +40 -0
- package/dist/tools/schemas/removeTaskWorktree.js.map +1 -0
- package/dist/tools/schemas/search.js +235 -0
- package/dist/tools/schemas/search.js.map +1 -0
- package/dist/tools/schemas/semantic.js +195 -0
- package/dist/tools/schemas/semantic.js.map +1 -0
- package/dist/tools/schemas/serverConfig.js +157 -0
- package/dist/tools/schemas/serverConfig.js.map +1 -0
- package/dist/tools/schemas/showChanges.js +283 -0
- package/dist/tools/schemas/showChanges.js.map +1 -0
- package/dist/tools/schemas/transactionResult.js +11 -0
- package/dist/tools/schemas/transactionResult.js.map +1 -0
- package/dist/tools/schemas/tree.js +136 -0
- package/dist/tools/schemas/tree.js.map +1 -0
- package/dist/tools/schemas/undoChangeSet.js +152 -0
- package/dist/tools/schemas/undoChangeSet.js.map +1 -0
- package/dist/tools/schemas/waitForHandoff.js +462 -0
- package/dist/tools/schemas/waitForHandoff.js.map +1 -0
- package/dist/tools/schemas/workspaceSnapshot.js +145 -0
- package/dist/tools/schemas/workspaceSnapshot.js.map +1 -0
- package/dist/tools/schemas/write.js +285 -0
- package/dist/tools/schemas/write.js.map +1 -0
- package/dist/transactions/atomicFs.js +438 -0
- package/dist/transactions/atomicFs.js.map +1 -0
- package/dist/transactions/atomicStateFile.js +190 -0
- package/dist/transactions/atomicStateFile.js.map +1 -0
- package/dist/transactions/engine.js +574 -0
- package/dist/transactions/engine.js.map +1 -0
- package/dist/transactions/index.js +12 -0
- package/dist/transactions/index.js.map +1 -0
- package/dist/transactions/installation.js +158 -0
- package/dist/transactions/installation.js.map +1 -0
- package/dist/transactions/manifestV2Store.js +96 -0
- package/dist/transactions/manifestV2Store.js.map +1 -0
- package/dist/transactions/participantRecovery.js +98 -0
- package/dist/transactions/participantRecovery.js.map +1 -0
- package/dist/transactions/recovery.js +513 -0
- package/dist/transactions/recovery.js.map +1 -0
- package/dist/transactions/schemas.js +365 -0
- package/dist/transactions/schemas.js.map +1 -0
- package/dist/transactions/stateRoot.js +63 -0
- package/dist/transactions/stateRoot.js.map +1 -0
- package/dist/transactions/types.js +11 -0
- package/dist/transactions/types.js.map +1 -0
- package/dist/transactions/workspaceLock.js +201 -0
- package/dist/transactions/workspaceLock.js.map +1 -0
- package/dist/workspaceOps.js +924 -0
- package/dist/workspaceOps.js.map +1 -0
- package/dist/worktrees/candidateWorkspace.js +566 -0
- package/dist/worktrees/candidateWorkspace.js.map +1 -0
- package/dist/worktrees/manager.js +258 -0
- package/dist/worktrees/manager.js.map +1 -0
- package/dist/worktrees/materializer.js +60 -0
- package/dist/worktrees/materializer.js.map +1 -0
- package/dist/worktrees/mergeExecute.js +498 -0
- package/dist/worktrees/mergeExecute.js.map +1 -0
- package/dist/worktrees/mergePlanStore.js +247 -0
- package/dist/worktrees/mergePlanStore.js.map +1 -0
- package/dist/worktrees/mergePrepare.js +709 -0
- package/dist/worktrees/mergePrepare.js.map +1 -0
- package/dist/worktrees/recovery.js +294 -0
- package/dist/worktrees/recovery.js.map +1 -0
- package/dist/worktrees/remove.js +296 -0
- package/dist/worktrees/remove.js.map +1 -0
- package/dist/worktrees/remover.js +57 -0
- package/dist/worktrees/remover.js.map +1 -0
- package/dist/worktrees/root.js +47 -0
- package/dist/worktrees/root.js.map +1 -0
- package/dist/worktrees/service.js +245 -0
- package/dist/worktrees/service.js.map +1 -0
- package/dist/worktrees/store.js +156 -0
- package/dist/worktrees/store.js.map +1 -0
- package/dist/worktrees/treeManifest.js +106 -0
- package/dist/worktrees/treeManifest.js.map +1 -0
- package/dist/worktrees/verificationReceipts.js +215 -0
- package/dist/worktrees/verificationReceipts.js.map +1 -0
- package/dist/worktrees/verificationTerminal.js +23 -0
- package/dist/worktrees/verificationTerminal.js.map +1 -0
- package/dist/worktrees/workspaceAuthority.js +64 -0
- package/dist/worktrees/workspaceAuthority.js.map +1 -0
- package/docs/favicon.svg +5 -0
- package/docs/index.html +624 -0
- package/docs/og.svg +52 -0
- package/docs/script.js +33 -0
- package/docs/star.svg +11 -0
- package/docs/styles.css +1571 -0
- package/docs/zh.html +428 -0
- package/package.json +121 -0
- package/scripts/analysis-cli-smoke.mjs +81 -0
- package/scripts/analysis-smoke.mjs +179 -0
- package/scripts/atomic-file.mjs +137 -0
- package/scripts/ci-change-classifier.mjs +59 -0
- package/scripts/ci-failure-summary.mjs +92 -0
- package/scripts/cloudflared-installer.mjs +215 -0
- package/scripts/cloudflared-release.mjs +63 -0
- package/scripts/codexgpt-entry.mjs +235 -0
- package/scripts/codexgpt.mjs +4987 -0
- package/scripts/connector-auth-output-shim.cjs +66 -0
- package/scripts/doctor-smoke.mjs +90 -0
- package/scripts/doctor.mjs +165 -0
- package/scripts/exact-head-ci.mjs +126 -0
- package/scripts/execute-handoff-smoke-platform-compat.mjs +38 -0
- package/scripts/execute-handoff-smoke.mjs +1117 -0
- package/scripts/g8-u-live-probe.mjs +208 -0
- package/scripts/http-smoke-compat.mjs +151 -0
- package/scripts/http-smoke.mjs +776 -0
- package/scripts/long-task-runner.mjs +1037 -0
- package/scripts/oauth-admin.mjs +1608 -0
- package/scripts/output-bounds.mjs +29 -0
- package/scripts/owned-temp-root.d.mts +50 -0
- package/scripts/owned-temp-root.mjs +567 -0
- package/scripts/phase-4a-smoke.mjs +36 -0
- package/scripts/policy-windows-spike.mjs +135 -0
- package/scripts/pro-apply.mjs +152 -0
- package/scripts/pro-bundle.mjs +121 -0
- package/scripts/pro-smoke.mjs +97 -0
- package/scripts/process-identity.mjs +67 -0
- package/scripts/repository-policy.mjs +166 -0
- package/scripts/run-and-summarize.mjs +134 -0
- package/scripts/run-smoke.mjs +52 -0
- package/scripts/run-with-cleanup.mjs +98 -0
- package/scripts/settings-smoke-platform-compat.mjs +85 -0
- package/scripts/settings-smoke.mjs +769 -0
- package/scripts/smoke-platform-compat.mjs +302 -0
- package/scripts/smoke.mjs +1180 -0
- package/scripts/stress-contract-compat.mjs +94 -0
- package/scripts/stress.mjs +882 -0
- package/scripts/test-domains.mjs +247 -0
- package/scripts/test-execution-profile-manifest.mjs +273 -0
- package/scripts/test-execution-profiles.mjs +147 -0
- package/scripts/test-performance-reporter.mjs +291 -0
- package/scripts/toolchain-manager.mjs +266 -0
- package/scripts/toolchains.json +19 -0
- package/scripts/windows-conpty-probe-child.mjs +82 -0
- package/scripts/windows-conpty-worker.ps1 +24 -0
- package/scripts/windows-credential-host-manifest.json +16 -0
- package/scripts/windows-credential-host-protocol-v1.json +16 -0
- package/scripts/windows-credential-host.cs +256 -0
- package/scripts/windows-credential-host.ps1 +26 -0
- package/scripts/windows-local-control-manifest.json +23 -0
- package/scripts/windows-local-control-spike.cs +738 -0
- package/scripts/windows-local-control-spike.mjs +415 -0
- package/scripts/windows-local-control-spike.ps1 +35 -0
- package/scripts/windows-local-control.cs +738 -0
- package/scripts/windows-local-control.ps1 +35 -0
- package/scripts/windows-native-api-inventory-v1.json +90 -0
- package/scripts/windows-process-host-manifest.json +20 -0
- package/scripts/windows-process-host-protocol-v1.json +59 -0
- package/scripts/windows-process-host.cs +2385 -0
- package/scripts/windows-process-host.ps1 +59 -0
- package/scripts/windows-realpath-shim.cjs +78 -0
|
@@ -0,0 +1,331 @@
|
|
|
1
|
+
import { commitTransactionWithAudit, executionAuditFacts } from "../audit/transactionParticipant.js";
|
|
2
|
+
import { pendingVerificationReceipt } from "../worktrees/verificationTerminal.js";
|
|
3
|
+
import { TransactionError } from "../transactions/types.js";
|
|
4
|
+
import { pendingWorkspaceMutation } from "../mutations/index.js";
|
|
5
|
+
import { toolPolicyDefinition } from "./toolPolicy.js";
|
|
6
|
+
export class PolicyInputUnavailableError extends Error {
|
|
7
|
+
code;
|
|
8
|
+
nextAction;
|
|
9
|
+
constructor() {
|
|
10
|
+
super("The semantic preview is unavailable or stale.");
|
|
11
|
+
this.name = "PolicyInputUnavailableError";
|
|
12
|
+
this.code = "SEMANTIC_PREVIEW_STALE";
|
|
13
|
+
this.nextAction = "Create a fresh semantic rename preview, then retry apply_patch once.";
|
|
14
|
+
}
|
|
15
|
+
}
|
|
16
|
+
const POLICY_FAILURE = Symbol("codexgpt.policy.failure");
|
|
17
|
+
const POLICY_WRAPPED_HANDLER = Symbol("codexgpt.policy.wrapped-handler");
|
|
18
|
+
const installedServers = new WeakSet();
|
|
19
|
+
const AUTHORIZED_RESOURCE = Symbol.for("codexgpt.policy.authorized-resource");
|
|
20
|
+
const AUTHORIZATION_V4 = Symbol.for("codexgpt.policy.authorization-v4");
|
|
21
|
+
export function authorizedResourceFingerprint(args) {
|
|
22
|
+
return args[AUTHORIZED_RESOURCE] ?? null;
|
|
23
|
+
}
|
|
24
|
+
export function authorizedGitEventV4(args) {
|
|
25
|
+
return args[AUTHORIZATION_V4] ?? null;
|
|
26
|
+
}
|
|
27
|
+
export async function withAuthorizedResourceBinding(args, fingerprint, operation) {
|
|
28
|
+
Object.defineProperty(args, AUTHORIZED_RESOURCE, { value: fingerprint, configurable: true, enumerable: false });
|
|
29
|
+
try {
|
|
30
|
+
return await operation();
|
|
31
|
+
}
|
|
32
|
+
finally {
|
|
33
|
+
delete args[AUTHORIZED_RESOURCE];
|
|
34
|
+
}
|
|
35
|
+
}
|
|
36
|
+
async function withAuthorizationV4Binding(args, authorization, operation) {
|
|
37
|
+
if (!authorization)
|
|
38
|
+
return operation();
|
|
39
|
+
Object.defineProperty(args, AUTHORIZATION_V4, { value: authorization, configurable: true, enumerable: false });
|
|
40
|
+
try {
|
|
41
|
+
return await operation();
|
|
42
|
+
}
|
|
43
|
+
finally {
|
|
44
|
+
delete args[AUTHORIZATION_V4];
|
|
45
|
+
}
|
|
46
|
+
}
|
|
47
|
+
function safeId(value, fallback) {
|
|
48
|
+
return typeof value === "string" && /^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$/.test(value)
|
|
49
|
+
? value
|
|
50
|
+
: fallback;
|
|
51
|
+
}
|
|
52
|
+
function safeReason(value) {
|
|
53
|
+
const allowed = new Set([
|
|
54
|
+
"POLICY_DENIED",
|
|
55
|
+
"APPROVAL_REQUIRED",
|
|
56
|
+
"POLICY_CONTEXT_STALE",
|
|
57
|
+
"POLICY_RESOURCE_INVALID",
|
|
58
|
+
"POLICY_CONFIG_INVALID",
|
|
59
|
+
"SHELL_SANDBOX_UNAVAILABLE",
|
|
60
|
+
"PROCESS_SANDBOX_UNAVAILABLE",
|
|
61
|
+
"NETWORK_ENFORCEMENT_UNAVAILABLE"
|
|
62
|
+
]);
|
|
63
|
+
return typeof value === "string" && allowed.has(value) ? value : "POLICY_CONFIG_INVALID";
|
|
64
|
+
}
|
|
65
|
+
export function createPolicyToolFailure(decision, localApproval) {
|
|
66
|
+
const reasonCode = safeReason(decision.reasonCode);
|
|
67
|
+
const policyRevision = safeId(decision.policyRevision, "policy-unavailable");
|
|
68
|
+
const approvalLines = localApproval && reasonCode === "APPROVAL_REQUIRED"
|
|
69
|
+
? [
|
|
70
|
+
`Approval ID: ${safeId(localApproval.approvalId, "approval-unavailable")}`,
|
|
71
|
+
`Server: ${safeId(localApproval.serverId, "server-unavailable")}`,
|
|
72
|
+
`Next: codexgpt approvals list --server ${safeId(localApproval.serverId, "server-unavailable")}`,
|
|
73
|
+
"After a local decision, retry the identical operation."
|
|
74
|
+
]
|
|
75
|
+
: [];
|
|
76
|
+
const result = {
|
|
77
|
+
content: [{
|
|
78
|
+
type: "text",
|
|
79
|
+
text: [
|
|
80
|
+
"CodexGPT policy refused this operation.",
|
|
81
|
+
`Code: ${reasonCode}`,
|
|
82
|
+
`Policy revision: ${policyRevision}`,
|
|
83
|
+
...approvalLines
|
|
84
|
+
].join("\n")
|
|
85
|
+
}],
|
|
86
|
+
isError: true
|
|
87
|
+
};
|
|
88
|
+
Object.defineProperty(result, POLICY_FAILURE, {
|
|
89
|
+
value: true,
|
|
90
|
+
enumerable: false,
|
|
91
|
+
writable: false,
|
|
92
|
+
configurable: false
|
|
93
|
+
});
|
|
94
|
+
return result;
|
|
95
|
+
}
|
|
96
|
+
export function isPolicyToolFailure(value) {
|
|
97
|
+
return Boolean(value && typeof value === "object" && value[POLICY_FAILURE] === true);
|
|
98
|
+
}
|
|
99
|
+
function unavailableFailure() {
|
|
100
|
+
return createPolicyToolFailure({
|
|
101
|
+
reasonCode: "POLICY_CONFIG_INVALID",
|
|
102
|
+
policyRevision: "policy-unavailable"
|
|
103
|
+
});
|
|
104
|
+
}
|
|
105
|
+
function inputUnavailableFailure(error) {
|
|
106
|
+
return {
|
|
107
|
+
content: [{
|
|
108
|
+
type: "text",
|
|
109
|
+
text: [
|
|
110
|
+
"CodexGPT refused this stale bound input.",
|
|
111
|
+
`Code: ${error.code}`,
|
|
112
|
+
`Next: ${error.nextAction}`
|
|
113
|
+
].join("\n")
|
|
114
|
+
}],
|
|
115
|
+
isError: true
|
|
116
|
+
};
|
|
117
|
+
}
|
|
118
|
+
export function installPolicyKernel(server, runtime) {
|
|
119
|
+
if (runtime.mode === "legacy")
|
|
120
|
+
return;
|
|
121
|
+
const candidate = server;
|
|
122
|
+
const tools = candidate._registeredTools;
|
|
123
|
+
if (!tools || typeof tools !== "object") {
|
|
124
|
+
throw new Error("CodexGPT server does not expose a registered-tool map for Policy Kernel installation.");
|
|
125
|
+
}
|
|
126
|
+
if (installedServers.has(server)) {
|
|
127
|
+
throw new Error("Policy Kernel is already installed on this server.");
|
|
128
|
+
}
|
|
129
|
+
for (const [toolName, entry] of Object.entries(tools)) {
|
|
130
|
+
const registered = entry.handler;
|
|
131
|
+
if (toolName === "codexgpt" ||
|
|
132
|
+
entry.enabled === false ||
|
|
133
|
+
registered[POLICY_WRAPPED_HANDLER] === true)
|
|
134
|
+
continue;
|
|
135
|
+
toolPolicyDefinition(toolName);
|
|
136
|
+
const original = registered;
|
|
137
|
+
entry.handler = async (args, extra) => {
|
|
138
|
+
let authorization;
|
|
139
|
+
try {
|
|
140
|
+
authorization = await runtime.authorize(toolName, args, extra);
|
|
141
|
+
if (authorization.auditEvent)
|
|
142
|
+
await runtime.audit(authorization.auditEvent);
|
|
143
|
+
}
|
|
144
|
+
catch (error) {
|
|
145
|
+
if (authorization?.reservation) {
|
|
146
|
+
try {
|
|
147
|
+
await authorization.reservation.burn("AUTHORIZATION_AUDIT_FAILED");
|
|
148
|
+
}
|
|
149
|
+
catch { }
|
|
150
|
+
}
|
|
151
|
+
if (error instanceof PolicyInputUnavailableError)
|
|
152
|
+
return inputUnavailableFailure(error);
|
|
153
|
+
if (runtime.mode === "enforce")
|
|
154
|
+
return unavailableFailure();
|
|
155
|
+
return original(args, extra);
|
|
156
|
+
}
|
|
157
|
+
const auditContext = authorization.auditContext;
|
|
158
|
+
if (auditContext) {
|
|
159
|
+
try {
|
|
160
|
+
if (!runtime.persistAuthorization)
|
|
161
|
+
throw new Error("Persistent audit runtime is unavailable.");
|
|
162
|
+
await runtime.persistAuthorization(auditContext);
|
|
163
|
+
}
|
|
164
|
+
catch {
|
|
165
|
+
if (authorization.reservation) {
|
|
166
|
+
try {
|
|
167
|
+
await authorization.reservation.burn("AUTHORIZATION_AUDIT_FAILED");
|
|
168
|
+
}
|
|
169
|
+
catch { }
|
|
170
|
+
}
|
|
171
|
+
if (auditContext.requirement === "required")
|
|
172
|
+
return unavailableFailure();
|
|
173
|
+
}
|
|
174
|
+
}
|
|
175
|
+
if (runtime.mode === "enforce" && authorization.decision.outcome !== "allow") {
|
|
176
|
+
if (authorization.reservation) {
|
|
177
|
+
try {
|
|
178
|
+
await authorization.reservation.burn("POLICY_NOT_ALLOWED");
|
|
179
|
+
}
|
|
180
|
+
catch { }
|
|
181
|
+
}
|
|
182
|
+
if (auditContext) {
|
|
183
|
+
const notExecuted = {
|
|
184
|
+
status: "not_executed",
|
|
185
|
+
resultCode: authorization.decision.reasonCode,
|
|
186
|
+
durationMs: 0,
|
|
187
|
+
exitCode: null,
|
|
188
|
+
boundedByteCounts: {},
|
|
189
|
+
changeSetId: null,
|
|
190
|
+
revertsChangeSetId: null,
|
|
191
|
+
operationCount: 0,
|
|
192
|
+
mutationKinds: [],
|
|
193
|
+
recoveryRequired: false,
|
|
194
|
+
...(auditContext.semanticFacts ? { semanticFacts: auditContext.semanticFacts } : {})
|
|
195
|
+
};
|
|
196
|
+
try {
|
|
197
|
+
if (!runtime.persistExecution)
|
|
198
|
+
throw new Error("Persistent audit runtime is unavailable.");
|
|
199
|
+
await runtime.persistExecution(auditContext, notExecuted);
|
|
200
|
+
}
|
|
201
|
+
catch {
|
|
202
|
+
// A denied operation remains denied even when terminal audit persistence is degraded.
|
|
203
|
+
}
|
|
204
|
+
}
|
|
205
|
+
return createPolicyToolFailure(authorization.decision, authorization.localApproval);
|
|
206
|
+
}
|
|
207
|
+
if (authorization.reservation) {
|
|
208
|
+
try {
|
|
209
|
+
await authorization.reservation.commit();
|
|
210
|
+
}
|
|
211
|
+
catch {
|
|
212
|
+
return unavailableFailure();
|
|
213
|
+
}
|
|
214
|
+
}
|
|
215
|
+
const startedAt = Date.now();
|
|
216
|
+
try {
|
|
217
|
+
let result = await withAuthorizedResourceBinding(args, authorization.decision.resourceFingerprint, () => withAuthorizationV4Binding(args, authorization.v4Authorization, () => original(args, extra)));
|
|
218
|
+
const workspaceMutation = pendingWorkspaceMutation(result);
|
|
219
|
+
if (workspaceMutation && (!auditContext ||
|
|
220
|
+
auditContext.requirement !== "required" ||
|
|
221
|
+
!runtime.persistExecution)) {
|
|
222
|
+
await workspaceMutation.rollback("required_audit_unavailable");
|
|
223
|
+
return unavailableFailure();
|
|
224
|
+
}
|
|
225
|
+
if (auditContext) {
|
|
226
|
+
const facts = executionAuditFacts(result);
|
|
227
|
+
const execution = {
|
|
228
|
+
status: result.isError === true ? "failed" : "succeeded",
|
|
229
|
+
resultCode: result.isError === true ? "TOOL_ERROR" : facts?.resultCode ?? "OK",
|
|
230
|
+
durationMs: Math.max(0, Date.now() - startedAt),
|
|
231
|
+
exitCode: facts?.exitCode ?? null,
|
|
232
|
+
boundedByteCounts: facts?.boundedByteCounts ?? {},
|
|
233
|
+
changeSetId: facts?.changeSetId ?? workspaceMutation?.changeSetId ?? null,
|
|
234
|
+
revertsChangeSetId: workspaceMutation?.revertsChangeSetId ?? null,
|
|
235
|
+
operationCount: facts?.operationCount ?? workspaceMutation?.operationCount ?? 0,
|
|
236
|
+
mutationKinds: facts?.mutationKinds ?? [...(workspaceMutation?.mutationKinds ?? [])],
|
|
237
|
+
recoveryRequired: false
|
|
238
|
+
};
|
|
239
|
+
try {
|
|
240
|
+
if (!runtime.persistExecution)
|
|
241
|
+
throw new Error("Persistent audit runtime is unavailable.");
|
|
242
|
+
if (workspaceMutation) {
|
|
243
|
+
result = await workspaceMutation.commit({
|
|
244
|
+
result,
|
|
245
|
+
persistAudit: async () => {
|
|
246
|
+
await runtime.persistExecution(auditContext, execution);
|
|
247
|
+
}
|
|
248
|
+
});
|
|
249
|
+
}
|
|
250
|
+
else if (facts?.pendingMutationCommit && auditContext.requirement === "required") {
|
|
251
|
+
await commitTransactionWithAudit({
|
|
252
|
+
pending: facts.pendingMutationCommit,
|
|
253
|
+
runtime: {
|
|
254
|
+
persistExecution: async (context, input) => {
|
|
255
|
+
await runtime.persistExecution(context, input);
|
|
256
|
+
}
|
|
257
|
+
},
|
|
258
|
+
context: auditContext,
|
|
259
|
+
execution
|
|
260
|
+
});
|
|
261
|
+
}
|
|
262
|
+
else {
|
|
263
|
+
const auditEvidence = await runtime.persistExecution(auditContext, execution);
|
|
264
|
+
const pendingVerification = pendingVerificationReceipt(result);
|
|
265
|
+
if (pendingVerification) {
|
|
266
|
+
if (!auditEvidence)
|
|
267
|
+
return unavailableFailure();
|
|
268
|
+
const receipt = pendingVerification.finalize(auditEvidence);
|
|
269
|
+
pendingVerification.attach(receipt);
|
|
270
|
+
}
|
|
271
|
+
}
|
|
272
|
+
}
|
|
273
|
+
catch (error) {
|
|
274
|
+
let projectedFailure = null;
|
|
275
|
+
try {
|
|
276
|
+
projectedFailure = workspaceMutation?.projectFailure(error, result) ?? null;
|
|
277
|
+
}
|
|
278
|
+
catch {
|
|
279
|
+
return unavailableFailure();
|
|
280
|
+
}
|
|
281
|
+
if (projectedFailure)
|
|
282
|
+
return projectedFailure;
|
|
283
|
+
if (error instanceof TransactionError) {
|
|
284
|
+
if (workspaceMutation)
|
|
285
|
+
return unavailableFailure();
|
|
286
|
+
throw error;
|
|
287
|
+
}
|
|
288
|
+
if (auditContext.requirement === "required")
|
|
289
|
+
return unavailableFailure();
|
|
290
|
+
}
|
|
291
|
+
}
|
|
292
|
+
return result;
|
|
293
|
+
}
|
|
294
|
+
catch (error) {
|
|
295
|
+
if (auditContext) {
|
|
296
|
+
const execution = {
|
|
297
|
+
status: "failed",
|
|
298
|
+
resultCode: "HANDLER_EXCEPTION",
|
|
299
|
+
durationMs: Math.max(0, Date.now() - startedAt),
|
|
300
|
+
exitCode: null,
|
|
301
|
+
boundedByteCounts: {},
|
|
302
|
+
changeSetId: null,
|
|
303
|
+
revertsChangeSetId: null,
|
|
304
|
+
operationCount: 0,
|
|
305
|
+
mutationKinds: [],
|
|
306
|
+
recoveryRequired: false
|
|
307
|
+
};
|
|
308
|
+
try {
|
|
309
|
+
if (!runtime.persistExecution)
|
|
310
|
+
throw new Error("Persistent audit runtime is unavailable.");
|
|
311
|
+
await runtime.persistExecution(auditContext, execution);
|
|
312
|
+
}
|
|
313
|
+
catch {
|
|
314
|
+
if (auditContext.requirement === "required") {
|
|
315
|
+
throw new Error("AUDIT_UNAVAILABLE", { cause: error });
|
|
316
|
+
}
|
|
317
|
+
}
|
|
318
|
+
}
|
|
319
|
+
throw error;
|
|
320
|
+
}
|
|
321
|
+
};
|
|
322
|
+
Object.defineProperty(entry.handler, POLICY_WRAPPED_HANDLER, {
|
|
323
|
+
value: true,
|
|
324
|
+
enumerable: false,
|
|
325
|
+
writable: false,
|
|
326
|
+
configurable: false
|
|
327
|
+
});
|
|
328
|
+
}
|
|
329
|
+
installedServers.add(server);
|
|
330
|
+
}
|
|
331
|
+
//# sourceMappingURL=integration.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"integration.js","sourceRoot":"","sources":["../../src/policy/integration.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,0BAA0B,EAC1B,mBAAmB,EACpB,MAAM,oCAAoC,CAAC;AAS5C,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAiBvD,MAAM,OAAO,2BAA4B,SAAQ,KAAK;IAC3C,IAAI,CAA2B;IAC/B,UAAU,CAAS;IAE5B;QACE,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAC;QAC1C,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,UAAU,GAAG,sEAAsE,CAAC;IAC3F,CAAC;CACF;AAgGD,MAAM,cAAc,GAAG,MAAM,CAAC,yBAAyB,CAAC,CAAC;AACzD,MAAM,sBAAsB,GAAG,MAAM,CAAC,iCAAiC,CAAC,CAAC;AACzE,MAAM,gBAAgB,GAAG,IAAI,OAAO,EAAU,CAAC;AAC/C,MAAM,mBAAmB,GAAG,MAAM,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;AAC9E,MAAM,gBAAgB,GAAG,MAAM,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;AAExE,MAAM,UAAU,6BAA6B,CAAC,IAAY;IACxD,OAAQ,IAAgC,CAAC,mBAAmB,CAAW,IAAI,IAAI,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,OAAQ,IAAgC,CAAC,gBAAgB,CAA8B,IAAI,IAAI,CAAC;AAClG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,6BAA6B,CAAI,IAAY,EAAE,WAAmB,EAAE,SAA+B;IACvH,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,mBAAmB,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAChH,IAAI,CAAC;QACH,OAAO,MAAM,SAAS,EAAE,CAAC;IAC3B,CAAC;YAAS,CAAC;QACT,OAAQ,IAAgC,CAAC,mBAAmB,CAAC,CAAC;IAChE,CAAC;AACH,CAAC;AAED,KAAK,UAAU,0BAA0B,CACvC,IAAY,EACZ,aAAoD,EACpD,SAA+B;IAE/B,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,EAAE,CAAC;IACvC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/G,IAAI,CAAC;QACH,OAAO,MAAM,SAAS,EAAE,CAAC;IAC3B,CAAC;YAAS,CAAC;QACT,OAAQ,IAAgC,CAAC,gBAAgB,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,QAAgB;IAC9C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,qCAAqC,CAAC,IAAI,CAAC,KAAK,CAAC;QACnF,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;QACtB,eAAe;QACf,mBAAmB;QACnB,sBAAsB;QACtB,yBAAyB;QACzB,uBAAuB;QACvB,2BAA2B;QAC3B,6BAA6B;QAC7B,iCAAiC;KAClC,CAAC,CAAC;IACH,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,QAAiE,EACjE,aAA0D;IAE1D,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,aAAa,IAAI,UAAU,KAAK,mBAAmB;QACvE,CAAC,CAAC;YACE,gBAAgB,MAAM,CAAC,aAAa,CAAC,UAAU,EAAE,sBAAsB,CAAC,EAAE;YAC1E,WAAW,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,oBAAoB,CAAC,EAAE;YACjE,0CAA0C,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,oBAAoB,CAAC,EAAE;YAChG,wDAAwD;SACzD;QACH,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,MAAM,GAAmB;QAC7B,OAAO,EAAE,CAAC;gBACR,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;oBACJ,yCAAyC;oBACzC,SAAS,UAAU,EAAE;oBACrB,oBAAoB,cAAc,EAAE;oBACpC,GAAG,aAAa;iBACjB,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,CAAC;QACF,OAAO,EAAE,IAAI;KACd,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,cAAc,EAAE;QAC5C,KAAK,EAAE,IAAI;QACX,UAAU,EAAE,KAAK;QACjB,QAAQ,EAAE,KAAK;QACf,YAAY,EAAE,KAAK;KACpB,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAK,KAAiC,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,CAAC;AACpH,CAAC;AAED,SAAS,kBAAkB;IACzB,OAAO,uBAAuB,CAAC;QAC7B,UAAU,EAAE,uBAAuB;QACnC,cAAc,EAAE,oBAAoB;KACrC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAkC;IACjE,OAAO;QACL,OAAO,EAAE,CAAC;gBACR,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;oBACJ,0CAA0C;oBAC1C,SAAS,KAAK,CAAC,IAAI,EAAE;oBACrB,SAAS,KAAK,CAAC,UAAU,EAAE;iBAC5B,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,CAAC;QACF,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAe,EAAE,OAAsB;IACzE,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO;IACtC,MAAM,SAAS,GAAG,MAA4C,CAAC;IAC/D,MAAM,KAAK,GAAG,SAAS,CAAC,gBAAgB,CAAC;IACzC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,uFAAuF,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAgB,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IAED,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,UAAU,GAAG,KAAK,CAAC,OAExB,CAAC;QACF,IACE,QAAQ,KAAK,UAAU;YACvB,KAAK,CAAC,OAAO,KAAK,KAAK;YACvB,UAAU,CAAC,sBAAsB,CAAC,KAAK,IAAI;YAC3C,SAAS;QACX,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,UAAU,CAAC;QAC5B,KAAK,CAAC,OAAO,GAAG,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;YACpC,IAAI,aAAoD,CAAC;YACzD,IAAI,CAAC;gBACH,aAAa,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC/D,IAAI,aAAa,CAAC,UAAU;oBAAE,MAAM,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;YAC9E,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,aAAa,EAAE,WAAW,EAAE,CAAC;oBAC/B,IAAI,CAAC;wBAAC,MAAM,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;oBAAC,CAAC;oBAAC,MAAM,CAAC,CAAC,CAAC;gBACvF,CAAC;gBACD,IAAI,KAAK,YAAY,2BAA2B;oBAAE,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC;gBACxF,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;oBAAE,OAAO,kBAAkB,EAAE,CAAC;gBAC5D,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/B,CAAC;YAED,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC;YAChD,IAAI,YAAY,EAAE,CAAC;gBACjB,IAAI,CAAC;oBACH,IAAI,CAAC,OAAO,CAAC,oBAAoB;wBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;oBAC/F,MAAM,OAAO,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAC;gBACnD,CAAC;gBAAC,MAAM,CAAC;oBACP,IAAI,aAAa,CAAC,WAAW,EAAE,CAAC;wBAC9B,IAAI,CAAC;4BAAC,MAAM,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;wBAAC,CAAC;wBAAC,MAAM,CAAC,CAAC,CAAC;oBACvF,CAAC;oBACD,IAAI,YAAY,CAAC,WAAW,KAAK,UAAU;wBAAE,OAAO,kBAAkB,EAAE,CAAC;gBAC3E,CAAC;YACH,CAAC;YAED,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;gBAC7E,IAAI,aAAa,CAAC,WAAW,EAAE,CAAC;oBAC9B,IAAI,CAAC;wBAAC,MAAM,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;oBAAC,CAAC;oBAAC,MAAM,CAAC,CAAC,CAAC;gBAC/E,CAAC;gBACD,IAAI,YAAY,EAAE,CAAC;oBACjB,MAAM,WAAW,GAA0B;wBACzC,MAAM,EAAE,cAAc;wBACtB,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC,UAAU;wBAC7C,UAAU,EAAE,CAAC;wBACb,QAAQ,EAAE,IAAI;wBACd,iBAAiB,EAAE,EAAE;wBACrB,WAAW,EAAE,IAAI;wBACjB,kBAAkB,EAAE,IAAI;wBACxB,cAAc,EAAE,CAAC;wBACjB,aAAa,EAAE,EAAE;wBACjB,gBAAgB,EAAE,KAAK;wBACvB,GAAG,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,YAAY,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBACrF,CAAC;oBACF,IAAI,CAAC;wBACH,IAAI,CAAC,OAAO,CAAC,gBAAgB;4BAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;wBAC3F,MAAM,OAAO,CAAC,gBAAgB,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;oBAC5D,CAAC;oBAAC,MAAM,CAAC;wBACP,sFAAsF;oBACxF,CAAC;gBACH,CAAC;gBACD,OAAO,uBAAuB,CAAC,aAAa,CAAC,QAAQ,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;YACtF,CAAC;YAED,IAAI,aAAa,CAAC,WAAW,EAAE,CAAC;gBAC9B,IAAI,CAAC;oBACH,MAAM,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;gBAC3C,CAAC;gBAAC,MAAM,CAAC;oBACP,OAAO,kBAAkB,EAAE,CAAC;gBAC9B,CAAC;YACH,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,CAAC;gBACH,IAAI,MAAM,GAAG,MAAM,6BAA6B,CAC9C,IAAI,EACJ,aAAa,CAAC,QAAQ,CAAC,mBAAmB,EAC1C,GAAG,EAAE,CAAC,0BAA0B,CAAC,IAAI,EAAE,aAAa,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CACnG,CAAC;gBACF,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;gBAC3D,IAAI,iBAAiB,IAAI,CACvB,CAAC,YAAY;oBACb,YAAY,CAAC,WAAW,KAAK,UAAU;oBACvC,CAAC,OAAO,CAAC,gBAAgB,CAC1B,EAAE,CAAC;oBACF,MAAM,iBAAiB,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC;oBAC/D,OAAO,kBAAkB,EAAE,CAAC;gBAC9B,CAAC;gBACD,IAAI,YAAY,EAAE,CAAC;oBACjB,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;oBAC1C,MAAM,SAAS,GAA0B;wBACvC,MAAM,EAAE,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW;wBACxD,UAAU,EAAE,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,UAAU,IAAI,IAAI;wBAC9E,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;wBAC/C,QAAQ,EAAE,KAAK,EAAE,QAAQ,IAAI,IAAI;wBACjC,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,IAAI,EAAE;wBACjD,WAAW,EAAE,KAAK,EAAE,WAAW,IAAI,iBAAiB,EAAE,WAAW,IAAI,IAAI;wBACzE,kBAAkB,EAAE,iBAAiB,EAAE,kBAAkB,IAAI,IAAI;wBACjE,cAAc,EAAE,KAAK,EAAE,cAAc,IAAI,iBAAiB,EAAE,cAAc,IAAI,CAAC;wBAC/E,aAAa,EAAE,KAAK,EAAE,aAAa,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC;wBACpF,gBAAgB,EAAE,KAAK;qBACxB,CAAC;oBACF,IAAI,CAAC;wBACH,IAAI,CAAC,OAAO,CAAC,gBAAgB;4BAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;wBAC3F,IAAI,iBAAiB,EAAE,CAAC;4BACtB,MAAM,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC;gCACtC,MAAM;gCACN,YAAY,EAAE,KAAK,IAAI,EAAE;oCACvB,MAAM,OAAO,CAAC,gBAAiB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;gCAC3D,CAAC;6BACF,CAAC,CAAC;wBACL,CAAC;6BAAM,IAAI,KAAK,EAAE,qBAAqB,IAAI,YAAY,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;4BACnF,MAAM,0BAA0B,CAAC;gCAC/B,OAAO,EAAE,KAAK,CAAC,qBAAqB;gCACpC,OAAO,EAAE;oCACP,gBAAgB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE;wCACzC,MAAM,OAAO,CAAC,gBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;oCAClD,CAAC;iCACF;gCACD,OAAO,EAAE,YAAY;gCACrB,SAAS;6BACV,CAAC,CAAC;wBACL,CAAC;6BAAM,CAAC;4BACN,MAAM,aAAa,GAAG,MAAM,OAAO,CAAC,gBAAgB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;4BAC9E,MAAM,mBAAmB,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;4BAC/D,IAAI,mBAAmB,EAAE,CAAC;gCACxB,IAAI,CAAC,aAAa;oCAAE,OAAO,kBAAkB,EAAE,CAAC;gCAChD,MAAM,OAAO,GAAG,mBAAmB,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;gCAC5D,mBAAmB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;4BACtC,CAAC;wBACH,CAAC;oBACH,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,IAAI,gBAAgB,GAA0B,IAAI,CAAC;wBACnD,IAAI,CAAC;4BACH,gBAAgB,GAAG,iBAAiB,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC;wBAC9E,CAAC;wBAAC,MAAM,CAAC;4BACP,OAAO,kBAAkB,EAAE,CAAC;wBAC9B,CAAC;wBACD,IAAI,gBAAgB;4BAAE,OAAO,gBAAgB,CAAC;wBAC9C,IAAI,KAAK,YAAY,gBAAgB,EAAE,CAAC;4BACtC,IAAI,iBAAiB;gCAAE,OAAO,kBAAkB,EAAE,CAAC;4BACnD,MAAM,KAAK,CAAC;wBACd,CAAC;wBACD,IAAI,YAAY,CAAC,WAAW,KAAK,UAAU;4BAAE,OAAO,kBAAkB,EAAE,CAAC;oBAC3E,CAAC;gBACH,CAAC;gBACD,OAAO,MAAM,CAAC;YAChB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,YAAY,EAAE,CAAC;oBACjB,MAAM,SAAS,GAA0B;wBACvC,MAAM,EAAE,QAAQ;wBAChB,UAAU,EAAE,mBAAmB;wBAC/B,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;wBAC/C,QAAQ,EAAE,IAAI;wBACd,iBAAiB,EAAE,EAAE;wBACrB,WAAW,EAAE,IAAI;wBACjB,kBAAkB,EAAE,IAAI;wBACxB,cAAc,EAAE,CAAC;wBACjB,aAAa,EAAE,EAAE;wBACjB,gBAAgB,EAAE,KAAK;qBACxB,CAAC;oBACF,IAAI,CAAC;wBACH,IAAI,CAAC,OAAO,CAAC,gBAAgB;4BAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;wBAC3F,MAAM,OAAO,CAAC,gBAAgB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;oBAC1D,CAAC;oBAAC,MAAM,CAAC;wBACP,IAAI,YAAY,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;4BAC5C,MAAM,IAAI,KAAK,CAAC,mBAAmB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;wBACzD,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,MAAM,KAAK,CAAC;YACd,CAAC;QACH,CAAC,CAAC;QACF,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,sBAAsB,EAAE;YAC3D,KAAK,EAAE,IAAI;YACX,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,KAAK;YACf,YAAY,EAAE,KAAK;SACpB,CAAC,CAAC;IACL,CAAC;IAED,gBAAgB,CAAC,GAAG,CAAC,MAAgB,CAAC,CAAC;AACzC,CAAC"}
|
|
@@ -0,0 +1,301 @@
|
|
|
1
|
+
import { randomBytes as nodeRandomBytes } from "node:crypto";
|
|
2
|
+
import { riskLimits } from "./approval.js";
|
|
3
|
+
export class ApprovalQueueError extends Error {
|
|
4
|
+
code;
|
|
5
|
+
constructor(code, message) {
|
|
6
|
+
super(message);
|
|
7
|
+
this.code = code;
|
|
8
|
+
this.name = "ApprovalQueueError";
|
|
9
|
+
}
|
|
10
|
+
}
|
|
11
|
+
const ACTIVE_STATES = new Set(["pending", "prepared", "granted", "reserved"]);
|
|
12
|
+
const TERMINAL_STATES = new Set(["denied", "expired", "consumed", "burned"]);
|
|
13
|
+
function timestamp(milliseconds) {
|
|
14
|
+
if (!Number.isFinite(milliseconds))
|
|
15
|
+
throw new Error("Approval timestamp is invalid.");
|
|
16
|
+
return new Date(milliseconds).toISOString();
|
|
17
|
+
}
|
|
18
|
+
function safeText(name, value, maximum = 160) {
|
|
19
|
+
if (!value || value.length > maximum || /[\u0000-\u001f\u007f]/.test(value)) {
|
|
20
|
+
throw new Error(`${name} is not safe for approval display.`);
|
|
21
|
+
}
|
|
22
|
+
return value;
|
|
23
|
+
}
|
|
24
|
+
function normalizeSummary(summary) {
|
|
25
|
+
if (!Number.isSafeInteger(summary.argumentCount) || summary.argumentCount < 0 || summary.argumentCount > 100_000) {
|
|
26
|
+
throw new Error("Approval argument count is invalid.");
|
|
27
|
+
}
|
|
28
|
+
if (!/^[a-f0-9]{8,32}$/.test(summary.digestPrefix))
|
|
29
|
+
throw new Error("Approval digest prefix is invalid.");
|
|
30
|
+
const revealInput = summary.revealArguments ?? [];
|
|
31
|
+
if (!Array.isArray(revealInput) || revealInput.length > 32) {
|
|
32
|
+
throw new Error("Approval reveal arguments are invalid.");
|
|
33
|
+
}
|
|
34
|
+
const revealArguments = revealInput.map((value) => {
|
|
35
|
+
if (typeof value !== "string" || value.length > 4096)
|
|
36
|
+
throw new Error("Approval reveal argument is invalid.");
|
|
37
|
+
return value;
|
|
38
|
+
});
|
|
39
|
+
return Object.freeze({
|
|
40
|
+
backend: safeText("backend", summary.backend, 80),
|
|
41
|
+
actionKind: safeText("actionKind", summary.actionKind, 80),
|
|
42
|
+
argumentCount: summary.argumentCount,
|
|
43
|
+
logicalScope: safeText("logicalScope", summary.logicalScope, 160),
|
|
44
|
+
identityLabel: safeText("identityLabel", summary.identityLabel, 120),
|
|
45
|
+
authoritySummary: safeText("authoritySummary", summary.authoritySummary, 200),
|
|
46
|
+
digestPrefix: summary.digestPrefix,
|
|
47
|
+
revealArguments: Object.freeze(revealArguments)
|
|
48
|
+
});
|
|
49
|
+
}
|
|
50
|
+
export class PendingApprovalStore {
|
|
51
|
+
#records = new Map();
|
|
52
|
+
#dedupe = new Map();
|
|
53
|
+
#newRequestTimes = new Map();
|
|
54
|
+
#now;
|
|
55
|
+
#randomBytes;
|
|
56
|
+
#maxServerPending;
|
|
57
|
+
#maxSessionPending;
|
|
58
|
+
#maxNewPerSessionPerMinute;
|
|
59
|
+
#lifecycleSink;
|
|
60
|
+
#tail = Promise.resolve();
|
|
61
|
+
#sequence = 0;
|
|
62
|
+
constructor(options = {}) {
|
|
63
|
+
this.#now = options.now ?? Date.now;
|
|
64
|
+
this.#randomBytes = options.randomBytes ?? nodeRandomBytes;
|
|
65
|
+
this.#maxServerPending = options.maxServerPending ?? 32;
|
|
66
|
+
this.#maxSessionPending = options.maxSessionPending ?? 8;
|
|
67
|
+
this.#maxNewPerSessionPerMinute = options.maxNewPerSessionPerMinute ?? 10;
|
|
68
|
+
this.#lifecycleSink = options.lifecycleSink;
|
|
69
|
+
}
|
|
70
|
+
size() {
|
|
71
|
+
return this.#records.size;
|
|
72
|
+
}
|
|
73
|
+
snapshot() {
|
|
74
|
+
return [...this.#records.values()]
|
|
75
|
+
.sort((left, right) => left.createdAt.localeCompare(right.createdAt) || left.approvalId.localeCompare(right.approvalId))
|
|
76
|
+
.map((record) => structuredClone(record));
|
|
77
|
+
}
|
|
78
|
+
get(approvalId) {
|
|
79
|
+
const record = this.#records.get(approvalId);
|
|
80
|
+
return record ? structuredClone(record) : null;
|
|
81
|
+
}
|
|
82
|
+
getByGrantId(grantId) {
|
|
83
|
+
const record = [...this.#records.values()].find((candidate) => candidate.grantId === grantId);
|
|
84
|
+
return record ? structuredClone(record) : null;
|
|
85
|
+
}
|
|
86
|
+
expire(at) {
|
|
87
|
+
return this.#serialized(async () => {
|
|
88
|
+
const nowMs = at === undefined ? this.#now() : Date.parse(at);
|
|
89
|
+
const before = [...this.#records.values()].filter((record) => ACTIVE_STATES.has(record.state)).length;
|
|
90
|
+
await this.#expire(nowMs);
|
|
91
|
+
const after = [...this.#records.values()].filter((record) => ACTIVE_STATES.has(record.state)).length;
|
|
92
|
+
return before - after;
|
|
93
|
+
});
|
|
94
|
+
}
|
|
95
|
+
request(input) {
|
|
96
|
+
return this.#serialized(async () => {
|
|
97
|
+
const createdMs = input.createdAt === undefined ? this.#now() : Date.parse(input.createdAt);
|
|
98
|
+
if (!Number.isFinite(createdMs))
|
|
99
|
+
throw new Error("Approval creation time is invalid.");
|
|
100
|
+
await this.#expire(createdMs);
|
|
101
|
+
const existingId = this.#dedupe.get(input.facts.bindingFingerprint);
|
|
102
|
+
const existing = existingId ? this.#records.get(existingId) : undefined;
|
|
103
|
+
if (existing && ACTIVE_STATES.has(existing.state) && Date.parse(existing.expiresAt) > createdMs) {
|
|
104
|
+
return { approval: structuredClone(existing), deduplicated: true };
|
|
105
|
+
}
|
|
106
|
+
this.#enforceLimits(input.facts.transportSessionId, createdMs);
|
|
107
|
+
const random = this.#randomBytes(16);
|
|
108
|
+
if (!Buffer.isBuffer(random) || random.length !== 16)
|
|
109
|
+
throw new Error("Approval random source returned an invalid value.");
|
|
110
|
+
const limits = riskLimits(input.facts.riskClass);
|
|
111
|
+
this.#sequence += 1;
|
|
112
|
+
const approval = Object.freeze({
|
|
113
|
+
schemaVersion: 3,
|
|
114
|
+
contractVersion: 3,
|
|
115
|
+
approvalId: `approval_${random.toString("hex")}`,
|
|
116
|
+
state: "pending",
|
|
117
|
+
facts: structuredClone(input.facts),
|
|
118
|
+
summary: normalizeSummary(input.summary),
|
|
119
|
+
createdAt: timestamp(createdMs),
|
|
120
|
+
expiresAt: timestamp(createdMs + limits.maxTtlMs),
|
|
121
|
+
preparedAt: null,
|
|
122
|
+
decidedAt: null,
|
|
123
|
+
reservationId: null,
|
|
124
|
+
grantId: null,
|
|
125
|
+
terminalAt: null,
|
|
126
|
+
transitionSequence: this.#sequence
|
|
127
|
+
});
|
|
128
|
+
await this.#persist({ approval, from: null, to: "pending", at: approval.createdAt, resultCode: null });
|
|
129
|
+
this.#records.set(approval.approvalId, approval);
|
|
130
|
+
this.#dedupe.set(approval.facts.bindingFingerprint, approval.approvalId);
|
|
131
|
+
const times = this.#newRequestTimes.get(approval.facts.transportSessionId) ?? [];
|
|
132
|
+
times.push(createdMs);
|
|
133
|
+
this.#newRequestTimes.set(approval.facts.transportSessionId, times);
|
|
134
|
+
return { approval: structuredClone(approval), deduplicated: false };
|
|
135
|
+
});
|
|
136
|
+
}
|
|
137
|
+
prepare(approvalId, at) {
|
|
138
|
+
return this.#transitionDecision(approvalId, "prepared", at, null);
|
|
139
|
+
}
|
|
140
|
+
approve(approvalId, grantId, at) {
|
|
141
|
+
if (!/^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$/.test(grantId))
|
|
142
|
+
throw new Error("Grant ID is invalid.");
|
|
143
|
+
return this.#serialized(async () => {
|
|
144
|
+
const nowMs = at === undefined ? this.#now() : Date.parse(at);
|
|
145
|
+
await this.#expire(nowMs);
|
|
146
|
+
const current = this.#required(approvalId);
|
|
147
|
+
if (current.state === "granted" || current.state === "reserved" || current.state === "consumed" || current.state === "burned") {
|
|
148
|
+
return structuredClone(current);
|
|
149
|
+
}
|
|
150
|
+
if (current.state === "denied" || current.state === "expired") {
|
|
151
|
+
throw new ApprovalQueueError("APPROVAL_STATE_CONFLICT", "A terminal approval cannot be granted.");
|
|
152
|
+
}
|
|
153
|
+
return this.#apply(current, "granted", nowMs, {
|
|
154
|
+
grantId,
|
|
155
|
+
decidedAt: timestamp(nowMs)
|
|
156
|
+
}, null);
|
|
157
|
+
});
|
|
158
|
+
}
|
|
159
|
+
deny(approvalId, at) {
|
|
160
|
+
return this.#serialized(async () => {
|
|
161
|
+
const nowMs = at === undefined ? this.#now() : Date.parse(at);
|
|
162
|
+
await this.#expire(nowMs);
|
|
163
|
+
const current = this.#required(approvalId);
|
|
164
|
+
if (current.state === "denied")
|
|
165
|
+
return structuredClone(current);
|
|
166
|
+
if (current.state === "granted" || current.state === "reserved" || current.state === "consumed" || current.state === "burned") {
|
|
167
|
+
throw new ApprovalQueueError("APPROVAL_STATE_CONFLICT", "A granted approval cannot be denied.");
|
|
168
|
+
}
|
|
169
|
+
if (current.state === "expired")
|
|
170
|
+
return structuredClone(current);
|
|
171
|
+
return this.#apply(current, "denied", nowMs, {
|
|
172
|
+
decidedAt: timestamp(nowMs),
|
|
173
|
+
terminalAt: timestamp(nowMs)
|
|
174
|
+
}, "DENIED");
|
|
175
|
+
});
|
|
176
|
+
}
|
|
177
|
+
markReserved(grantId, reservationId, at) {
|
|
178
|
+
return this.#markGrantTransition(grantId, "reserved", reservationId, at, null);
|
|
179
|
+
}
|
|
180
|
+
markConsumed(grantId, reservationId, at) {
|
|
181
|
+
return this.#markGrantTransition(grantId, "consumed", reservationId, at, "CONSUMED");
|
|
182
|
+
}
|
|
183
|
+
markBurned(grantId, reservationId, at, resultCode = "BURNED") {
|
|
184
|
+
return this.#markGrantTransition(grantId, "burned", reservationId, at, resultCode);
|
|
185
|
+
}
|
|
186
|
+
revokeTransportSession(transportSessionId, at) {
|
|
187
|
+
return this.#revokeWhere((record) => record.facts.transportSessionId === transportSessionId, at, "TRANSPORT_REVOKED");
|
|
188
|
+
}
|
|
189
|
+
revokePolicyRevision(activeRevision, at) {
|
|
190
|
+
return this.#revokeWhere((record) => record.facts.policyRevision !== activeRevision, at, "POLICY_REVOKED");
|
|
191
|
+
}
|
|
192
|
+
revokeEvidenceRevision(activeRevision, at) {
|
|
193
|
+
return this.#revokeWhere((record) => record.facts.evidenceRevision !== activeRevision, at, "EVIDENCE_REVOKED");
|
|
194
|
+
}
|
|
195
|
+
closeServer(serverId, at) {
|
|
196
|
+
return this.#revokeWhere((record) => record.facts.serverId === serverId, at, "SERVER_CLOSED");
|
|
197
|
+
}
|
|
198
|
+
async #transitionDecision(approvalId, target, at, resultCode) {
|
|
199
|
+
return this.#serialized(async () => {
|
|
200
|
+
const nowMs = at === undefined ? this.#now() : Date.parse(at);
|
|
201
|
+
await this.#expire(nowMs);
|
|
202
|
+
const current = this.#required(approvalId);
|
|
203
|
+
if (current.state === target)
|
|
204
|
+
return structuredClone(current);
|
|
205
|
+
if (current.state !== "pending")
|
|
206
|
+
throw new ApprovalQueueError("APPROVAL_STATE_CONFLICT", "Approval cannot be prepared from its current state.");
|
|
207
|
+
return this.#apply(current, target, nowMs, { preparedAt: timestamp(nowMs) }, resultCode);
|
|
208
|
+
});
|
|
209
|
+
}
|
|
210
|
+
async #markGrantTransition(grantId, target, reservationId, at, resultCode) {
|
|
211
|
+
if (!/^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$/.test(reservationId))
|
|
212
|
+
throw new Error("Reservation ID is invalid.");
|
|
213
|
+
return this.#serialized(async () => {
|
|
214
|
+
const nowMs = at === undefined ? this.#now() : Date.parse(at);
|
|
215
|
+
const current = [...this.#records.values()].find((record) => record.grantId === grantId);
|
|
216
|
+
if (!current)
|
|
217
|
+
return null;
|
|
218
|
+
if (current.state === target && current.reservationId === reservationId)
|
|
219
|
+
return structuredClone(current);
|
|
220
|
+
if (target === "reserved" && current.state !== "granted") {
|
|
221
|
+
throw new ApprovalQueueError("APPROVAL_STATE_CONFLICT", "Grant cannot be reserved from its current state.");
|
|
222
|
+
}
|
|
223
|
+
if ((target === "consumed" || target === "burned") && (current.state !== "reserved" || current.reservationId !== reservationId)) {
|
|
224
|
+
throw new ApprovalQueueError("APPROVAL_STATE_CONFLICT", "Reservation does not match the approval state.");
|
|
225
|
+
}
|
|
226
|
+
return this.#apply(current, target, nowMs, {
|
|
227
|
+
reservationId,
|
|
228
|
+
terminalAt: target === "consumed" || target === "burned" ? timestamp(nowMs) : null
|
|
229
|
+
}, resultCode);
|
|
230
|
+
});
|
|
231
|
+
}
|
|
232
|
+
async #revokeWhere(predicate, at, resultCode) {
|
|
233
|
+
return this.#serialized(async () => {
|
|
234
|
+
const nowMs = at === undefined ? this.#now() : Date.parse(at);
|
|
235
|
+
let count = 0;
|
|
236
|
+
for (const current of [...this.#records.values()]) {
|
|
237
|
+
if (!predicate(current) || !ACTIVE_STATES.has(current.state))
|
|
238
|
+
continue;
|
|
239
|
+
const target = current.state === "reserved" ? "burned" : "expired";
|
|
240
|
+
await this.#apply(current, target, nowMs, { terminalAt: timestamp(nowMs) }, resultCode);
|
|
241
|
+
count += 1;
|
|
242
|
+
}
|
|
243
|
+
return count;
|
|
244
|
+
});
|
|
245
|
+
}
|
|
246
|
+
#enforceLimits(sessionId, nowMs) {
|
|
247
|
+
const active = [...this.#records.values()].filter((record) => ACTIVE_STATES.has(record.state) && Date.parse(record.expiresAt) > nowMs);
|
|
248
|
+
if (active.length >= this.#maxServerPending)
|
|
249
|
+
throw new ApprovalQueueError("APPROVAL_QUEUE_FULL", "Server approval queue is full.");
|
|
250
|
+
if (active.filter((record) => record.facts.transportSessionId === sessionId).length >= this.#maxSessionPending) {
|
|
251
|
+
throw new ApprovalQueueError("APPROVAL_QUEUE_FULL", "Session approval queue is full.");
|
|
252
|
+
}
|
|
253
|
+
const cutoff = nowMs - 60_000;
|
|
254
|
+
const times = (this.#newRequestTimes.get(sessionId) ?? []).filter((value) => value > cutoff);
|
|
255
|
+
this.#newRequestTimes.set(sessionId, times);
|
|
256
|
+
if (times.length >= this.#maxNewPerSessionPerMinute) {
|
|
257
|
+
throw new ApprovalQueueError("APPROVAL_QUEUE_FULL", "Session approval request rate is exceeded.");
|
|
258
|
+
}
|
|
259
|
+
}
|
|
260
|
+
#required(approvalId) {
|
|
261
|
+
const current = this.#records.get(approvalId);
|
|
262
|
+
if (!current)
|
|
263
|
+
throw new ApprovalQueueError("APPROVAL_NOT_FOUND", "Approval was not found.");
|
|
264
|
+
return current;
|
|
265
|
+
}
|
|
266
|
+
async #apply(current, target, nowMs, patch, resultCode) {
|
|
267
|
+
if (!Number.isFinite(nowMs))
|
|
268
|
+
throw new Error("Approval transition time is invalid.");
|
|
269
|
+
this.#sequence += 1;
|
|
270
|
+
const next = Object.freeze({
|
|
271
|
+
...current,
|
|
272
|
+
...patch,
|
|
273
|
+
state: target,
|
|
274
|
+
transitionSequence: this.#sequence
|
|
275
|
+
});
|
|
276
|
+
await this.#persist({ approval: next, from: current.state, to: target, at: timestamp(nowMs), resultCode });
|
|
277
|
+
this.#records.set(next.approvalId, next);
|
|
278
|
+
if (TERMINAL_STATES.has(target))
|
|
279
|
+
this.#dedupe.delete(next.facts.bindingFingerprint);
|
|
280
|
+
return structuredClone(next);
|
|
281
|
+
}
|
|
282
|
+
async #expire(nowMs) {
|
|
283
|
+
if (!Number.isFinite(nowMs))
|
|
284
|
+
throw new Error("Approval expiry time is invalid.");
|
|
285
|
+
for (const current of [...this.#records.values()]) {
|
|
286
|
+
if (!ACTIVE_STATES.has(current.state) || Date.parse(current.expiresAt) > nowMs)
|
|
287
|
+
continue;
|
|
288
|
+
const target = current.state === "reserved" ? "burned" : "expired";
|
|
289
|
+
await this.#apply(current, target, nowMs, { terminalAt: timestamp(nowMs) }, "EXPIRED");
|
|
290
|
+
}
|
|
291
|
+
}
|
|
292
|
+
async #persist(transition) {
|
|
293
|
+
await this.#lifecycleSink?.(structuredClone(transition));
|
|
294
|
+
}
|
|
295
|
+
#serialized(action) {
|
|
296
|
+
const result = this.#tail.then(action, action);
|
|
297
|
+
this.#tail = result.then(() => undefined, () => undefined);
|
|
298
|
+
return result;
|
|
299
|
+
}
|
|
300
|
+
}
|
|
301
|
+
//# sourceMappingURL=pendingApprovals.js.map
|