forgeos 0.1.0-alpha.7 → 0.1.0-alpha.71
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/skills/forge-agent-fabric/SKILL.md +178 -0
- package/.agents/skills/forge-agent-fabric/references/managed-workflows.md +95 -0
- package/.agents/skills/forge-agent-fabric/references/repository-analysis.md +102 -0
- package/.agents/skills/forge-agent-fabric/scripts/fabric.mjs +46 -0
- package/.agents/skills/forge-agent-fabric/scripts/repository.mjs +44 -0
- package/.npmignore +10 -0
- package/AGENTS.md +142 -90
- package/CHANGELOG.md +870 -9
- package/LICENSE +21 -0
- package/README.md +121 -6
- package/adapters/go/README.md +23 -0
- package/adapters/go/go.mod +3 -0
- package/adapters/go/http.go +149 -0
- package/adapters/go/registry.go +234 -0
- package/adapters/go/types.go +136 -0
- package/adapters/java/README.md +68 -0
- package/adapters/java/pom.xml +47 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/Auth.java +20 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/Diagnostic.java +16 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/Entry.java +38 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/EntryKind.java +16 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/ErrorInfo.java +4 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/Forge.java +94 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/ForgeCall.java +12 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/ForgeContext.java +11 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/ForgeHandler.java +8 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/ForgeHttpHandler.java +179 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/ForgeRegistry.java +121 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/Json.java +14 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/Manifest.java +14 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/RequestEnvelope.java +6 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/ResponseEnvelope.java +25 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/Risk.java +18 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/Schemas.java +36 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/Service.java +65 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/TransactionMode.java +18 -0
- package/adapters/java/src/main/java/dev/forgeos/adapter/TypedForgeHandler.java +6 -0
- package/adapters/java-spring-boot-starter/README.md +32 -0
- package/adapters/java-spring-boot-starter/pom.xml +49 -0
- package/adapters/java-spring-boot-starter/src/main/java/dev/forgeos/adapter/spring/ForgeCommand.java +22 -0
- package/adapters/java-spring-boot-starter/src/main/java/dev/forgeos/adapter/spring/ForgeExternalService.java +15 -0
- package/adapters/java-spring-boot-starter/src/main/java/dev/forgeos/adapter/spring/ForgeQuery.java +16 -0
- package/adapters/java-spring-boot-starter/src/main/java/dev/forgeos/adapter/spring/ForgeServiceBeanCondition.java +18 -0
- package/adapters/java-spring-boot-starter/src/main/java/dev/forgeos/adapter/spring/ForgeSpringAutoConfiguration.java +16 -0
- package/adapters/java-spring-boot-starter/src/main/java/dev/forgeos/adapter/spring/ForgeSpringRuntime.java +104 -0
- package/adapters/java-spring-boot-starter/src/main/resources/META-INF/spring/org.springframework.boot.autoconfigure.AutoConfiguration.imports +1 -0
- package/bin/forge.mjs +18 -0
- package/docs/agent-fabric-programs.md +151 -0
- package/docs/agent-fabric.md +582 -0
- package/docs/architecture/agent-fabric/PORTABLE_PROJECTS_PLAN.md +136 -0
- package/docs/architecture/agent-fabric/README.md +180 -0
- package/docs/architecture/agent-fabric/REPOSITORY_MANIFEST_PLAN.md +284 -0
- package/docs/architecture/agent-fabric/WORKFLOW_PROGRAM_V2_ADR.md +81 -0
- package/docs/architecture/agent-fabric/WORKFLOW_PROGRAM_V2_CORRECTIONS.md +39 -0
- package/docs/architecture/agent-fabric/WORKFLOW_PROGRAM_V2_CORRECTIONS_EVIDENCE.md +53 -0
- package/docs/architecture/agent-fabric/WORKFLOW_PROGRAM_V2_EVIDENCE.md +49 -0
- package/docs/architecture/agent-fabric/WORKFLOW_PROGRAM_V2_PLAN.md +590 -0
- package/docs/cair-protocol.md +103 -0
- package/docs/changelog.md +1070 -0
- package/docs/forge-protocol.md +189 -0
- package/docs/repository-agent-benchmark.md +179 -0
- package/docs/repository-analysis.md +139 -0
- package/docs/repository-context-quality.md +179 -0
- package/docs/repository-runtime-observation.md +82 -0
- package/examples/agent-fabric-v2/README.md +70 -0
- package/examples/agent-fabric-v2/item-child.workflow.ts +11 -0
- package/examples/agent-fabric-v2/make-request.mjs +4 -0
- package/examples/agent-fabric-v2/map-child.workflow.ts +10 -0
- package/examples/agent-fabric-v2/migrate.workflow.ts +35 -0
- package/examples/agent-fabric-v2/registry.example.json +256 -0
- package/examples/agent-fabric-v2/run-ui-fixture.ts +48 -0
- package/examples/agent-fabric-v2/ui-audit.workflow.ts +28 -0
- package/examples/agent-fabric-v2/ui-fixture-worker.cjs +36 -0
- package/examples/agent-fabric-v2/visual-population.json +13 -0
- package/examples/agent-fabric-v2/workers/check.mjs +2 -0
- package/examples/agent-fabric-v2/workers/common.mjs +7 -0
- package/examples/agent-fabric-v2/workers/discover.mjs +2 -0
- package/examples/agent-fabric-v2/workers/migrate.mjs +4 -0
- package/examples/agent-fabric-v2/workers/review.mjs +3 -0
- package/examples/go-billing/go.mod +7 -0
- package/examples/go-billing/main.go +120 -0
- package/examples/java-billing/pom.xml +60 -0
- package/examples/java-billing/src/main/java/dev/forgeos/examples/billing/CreateInvoiceInput.java +4 -0
- package/examples/java-billing/src/main/java/dev/forgeos/examples/billing/Invoice.java +11 -0
- package/examples/java-billing/src/main/java/dev/forgeos/examples/billing/Main.java +127 -0
- package/package.json +60 -5
- package/schemas/agent-fabric/v0.1/control-event.schema.json +281 -0
- package/schemas/forge-manifest.schema.json +389 -0
- package/scripts/field-test-forgeos.mjs +1021 -0
- package/scripts/install-agent-fabric-skill.mjs +105 -0
- package/src/forge/_generated/releaseManifest.json +1 -2
- package/src/forge/_generated/releaseManifest.ts +3 -3
- package/src/forge/agent-adapters/index.ts +1592 -125
- package/src/forge/agent-adapters/types.ts +225 -1
- package/src/forge/agent-fabric/adapter.ts +131 -0
- package/src/forge/agent-fabric/attached-snapshot.ts +55 -0
- package/src/forge/agent-fabric/attached-task-contract.ts +105 -0
- package/src/forge/agent-fabric/attached-task-service.ts +127 -0
- package/src/forge/agent-fabric/attached-task-store.ts +109 -0
- package/src/forge/agent-fabric/authority.ts +298 -0
- package/src/forge/agent-fabric/canonical.ts +135 -0
- package/src/forge/agent-fabric/codex-adversarial-review.ts +229 -0
- package/src/forge/agent-fabric/codex-sdk-worker.ts +203 -0
- package/src/forge/agent-fabric/conductor.ts +754 -0
- package/src/forge/agent-fabric/dictionary.ts +12 -0
- package/src/forge/agent-fabric/errors.ts +32 -0
- package/src/forge/agent-fabric/hardened-conductor.ts +485 -0
- package/src/forge/agent-fabric/hardened-reducer.ts +211 -0
- package/src/forge/agent-fabric/index.ts +48 -0
- package/src/forge/agent-fabric/journal.ts +116 -0
- package/src/forge/agent-fabric/local-adaptive-digest-worker.mjs +26 -0
- package/src/forge/agent-fabric/local-adaptive-harness.ts +343 -0
- package/src/forge/agent-fabric/local-adaptive-service.ts +398 -0
- package/src/forge/agent-fabric/local-adaptive-worker.ts +146 -0
- package/src/forge/agent-fabric/local-approval-window.ts +211 -0
- package/src/forge/agent-fabric/local-change-review-service.ts +374 -0
- package/src/forge/agent-fabric/local-coding-worker.ts +285 -0
- package/src/forge/agent-fabric/local-control-store.ts +239 -0
- package/src/forge/agent-fabric/local-effect-broker.ts +348 -0
- package/src/forge/agent-fabric/local-evolution-approval.ts +81 -0
- package/src/forge/agent-fabric/local-evolution-profile.ts +87 -0
- package/src/forge/agent-fabric/local-evolution-registry.ts +427 -0
- package/src/forge/agent-fabric/local-evolution-service.ts +200 -0
- package/src/forge/agent-fabric/local-intelligence.ts +281 -0
- package/src/forge/agent-fabric/local-paths.ts +18 -0
- package/src/forge/agent-fabric/local-task-contract.ts +203 -0
- package/src/forge/agent-fabric/local-task-inbox.ts +543 -0
- package/src/forge/agent-fabric/local-task-server.ts +374 -0
- package/src/forge/agent-fabric/local-task-service.ts +982 -0
- package/src/forge/agent-fabric/local-verification.ts +551 -0
- package/src/forge/agent-fabric/managed-environment.ts +205 -0
- package/src/forge/agent-fabric/managed-run-contract.ts +103 -0
- package/src/forge/agent-fabric/managed-run-service.ts +401 -0
- package/src/forge/agent-fabric/managed-run-store.ts +165 -0
- package/src/forge/agent-fabric/managed-workspace.ts +253 -0
- package/src/forge/agent-fabric/p0a.ts +104 -0
- package/src/forge/agent-fabric/p0b-model-adapter.ts +434 -0
- package/src/forge/agent-fabric/planning.ts +155 -0
- package/src/forge/agent-fabric/program-api.ts +37 -0
- package/src/forge/agent-fabric/program-contract.ts +283 -0
- package/src/forge/agent-fabric/program-dsl.ts +126 -0
- package/src/forge/agent-fabric/program-evidence.ts +22 -0
- package/src/forge/agent-fabric/program-image.ts +15 -0
- package/src/forge/agent-fabric/program-lock.ts +50 -0
- package/src/forge/agent-fabric/program-owner.ts +16 -0
- package/src/forge/agent-fabric/program-scheduler.ts +38 -0
- package/src/forge/agent-fabric/program-service.ts +793 -0
- package/src/forge/agent-fabric/program-store.ts +142 -0
- package/src/forge/agent-fabric/program-structure.ts +65 -0
- package/src/forge/agent-fabric/program-types.ts +110 -0
- package/src/forge/agent-fabric/program-view.ts +12 -0
- package/src/forge/agent-fabric/program-worker.ts +108 -0
- package/src/forge/agent-fabric/project-profile.ts +50 -0
- package/src/forge/agent-fabric/project-registry.ts +120 -0
- package/src/forge/agent-fabric/project-runtime.ts +85 -0
- package/src/forge/agent-fabric/readiness.ts +26 -0
- package/src/forge/agent-fabric/reducer.ts +863 -0
- package/src/forge/agent-fabric/repository-context.ts +83 -0
- package/src/forge/agent-fabric/resource-ledger.ts +266 -0
- package/src/forge/agent-fabric/serialized-local-adapter.ts +60 -0
- package/src/forge/agent-fabric/types.ts +424 -0
- package/src/forge/agent-fabric/validation.ts +500 -0
- package/src/forge/agent-fabric/workflow-engine.ts +218 -0
- package/src/forge/agent-fabric/workflow-task-actions.ts +104 -0
- package/src/forge/agent-fabric/workflow-templates.ts +11 -0
- package/src/forge/agent-memory/bridge.ts +1728 -0
- package/src/forge/agent-memory/context-pack.ts +284 -0
- package/src/forge/agent-memory/hook-runner.ts +331 -0
- package/src/forge/agent-memory/mcp.ts +597 -0
- package/src/forge/agent-memory/normalize.ts +498 -0
- package/src/forge/agent-memory/redaction.ts +103 -0
- package/src/forge/agent-memory/sources/claude-code.ts +51 -0
- package/src/forge/agent-memory/sources/codex-hook-runner.mjs +343 -0
- package/src/forge/agent-memory/sources/codex.ts +161 -0
- package/src/forge/agent-memory/sources/cursor.ts +35 -0
- package/src/forge/agent-memory/types.ts +215 -0
- package/src/forge/bench.ts +248 -0
- package/src/forge/brownfield-import/index.ts +896 -0
- package/src/forge/brownfield-import/types.ts +127 -0
- package/src/forge/cair/action-journal.ts +61 -0
- package/src/forge/cair/action-parser.ts +314 -0
- package/src/forge/cair/action-validator.ts +40 -0
- package/src/forge/cair/actions.ts +1818 -0
- package/src/forge/cair/format.ts +77 -0
- package/src/forge/cair/index.ts +118 -0
- package/src/forge/cair/query.ts +478 -0
- package/src/forge/cair/snapshot.ts +315 -0
- package/src/forge/cair/types.ts +255 -0
- package/src/forge/cli/adaptive.ts +51 -0
- package/src/forge/cli/ai.ts +16 -1
- package/src/forge/cli/auth.ts +459 -15
- package/src/forge/cli/authmd.ts +441 -0
- package/src/forge/cli/baseline.ts +112 -0
- package/src/forge/cli/build.ts +20 -4
- package/src/forge/cli/changed.ts +418 -0
- package/src/forge/cli/codex-app-server.ts +877 -0
- package/src/forge/cli/commands.ts +1859 -20
- package/src/forge/cli/db.ts +209 -2
- package/src/forge/cli/deploy.ts +1339 -0
- package/src/forge/cli/deps.ts +150 -23
- package/src/forge/cli/dev.ts +1137 -53
- package/src/forge/cli/docs.ts +265 -0
- package/src/forge/cli/doctor.ts +297 -0
- package/src/forge/cli/env-placeholders.ts +62 -0
- package/src/forge/cli/evolution.ts +40 -0
- package/src/forge/cli/fabric.ts +253 -0
- package/src/forge/cli/field-test.ts +568 -0
- package/src/forge/cli/golden-path.ts +487 -0
- package/src/forge/cli/handoff.ts +336 -0
- package/src/forge/cli/index.ts +1 -0
- package/src/forge/cli/last-run.ts +84 -0
- package/src/forge/cli/main.ts +196 -3
- package/src/forge/cli/new.ts +169 -17
- package/src/forge/cli/next-actions.ts +23 -0
- package/src/forge/cli/output.ts +398 -6
- package/src/forge/cli/parse.ts +1377 -38
- package/src/forge/cli/progress.ts +51 -0
- package/src/forge/cli/query.ts +32 -0
- package/src/forge/cli/release.ts +35 -11
- package/src/forge/cli/repository.ts +151 -0
- package/src/forge/cli/run.ts +42 -0
- package/src/forge/cli/secrets.ts +137 -1
- package/src/forge/cli/seed.ts +581 -0
- package/src/forge/cli/self-host.ts +56 -14
- package/src/forge/cli/studio.ts +2282 -0
- package/src/forge/cli/verify.ts +1458 -32
- package/src/forge/cli/windows.ts +23 -0
- package/src/forge/cli/workos.ts +3509 -0
- package/src/forge/compiler/agent-contract/build.ts +728 -64
- package/src/forge/compiler/agent-contract/types.ts +45 -2
- package/src/forge/compiler/ai-registry/parse.ts +71 -2
- package/src/forge/compiler/api-surface/build.ts +47 -0
- package/src/forge/compiler/app-graph/build.ts +112 -9
- package/src/forge/compiler/app-graph/extract.ts +107 -0
- package/src/forge/compiler/app-graph/module-graph.ts +73 -78
- package/src/forge/compiler/app-graph/parser.ts +24 -24
- package/src/forge/compiler/app-graph/profile.ts +26 -0
- package/src/forge/compiler/app-graph/tsconfig-hash.ts +41 -4
- package/src/forge/compiler/app-graph/versions.ts +1 -1
- package/src/forge/compiler/classifier/capabilities.ts +3 -2
- package/src/forge/compiler/classifier/classify.ts +32 -8
- package/src/forge/compiler/classifier/secrets.ts +3 -2
- package/src/forge/compiler/classifier/signals.ts +91 -1
- package/src/forge/compiler/client-sdk/build-manifest.ts +59 -0
- package/src/forge/compiler/client-sdk/render-client.ts +295 -13
- package/src/forge/compiler/data-graph/build.ts +29 -1
- package/src/forge/compiler/data-graph/parse.ts +20 -4
- package/src/forge/compiler/data-graph/sql/ddl.ts +144 -31
- package/src/forge/compiler/data-graph/sql/serialize.ts +4 -0
- package/src/forge/compiler/data-graph/sql/types.ts +1 -0
- package/src/forge/compiler/diagnostics/codes.ts +38 -0
- package/src/forge/compiler/diagnostics/create.ts +28 -2
- package/src/forge/compiler/diagnostics/index.ts +2 -0
- package/src/forge/compiler/emitter/barrel.ts +3 -0
- package/src/forge/compiler/emitter/render.ts +9 -0
- package/src/forge/compiler/external-manifest/registry.ts +217 -0
- package/src/forge/compiler/external-manifest/types.ts +91 -0
- package/src/forge/compiler/external-manifest/validate.ts +373 -0
- package/src/forge/compiler/frontend-graph/build.ts +142 -14
- package/src/forge/compiler/integration/add.ts +991 -33
- package/src/forge/compiler/integration/plan.ts +43 -12
- package/src/forge/compiler/integration/render.ts +29 -0
- package/src/forge/compiler/integration/snapshot.ts +2 -0
- package/src/forge/compiler/integration/templates/convex.ts +70 -0
- package/src/forge/compiler/integration/templates/index.ts +1 -0
- package/src/forge/compiler/integration/templates/render.ts +38 -0
- package/src/forge/compiler/integration/templates/types.ts +3 -0
- package/src/forge/compiler/integration/templates/workos.ts +1439 -0
- package/src/forge/compiler/make-registry/build.ts +8 -9
- package/src/forge/compiler/orchestrator/fast-check.ts +4 -0
- package/src/forge/compiler/orchestrator/generate-lock.ts +14 -3
- package/src/forge/compiler/orchestrator/manifest.ts +1 -1
- package/src/forge/compiler/orchestrator/plan-profile.ts +23 -0
- package/src/forge/compiler/orchestrator/plan.ts +249 -10
- package/src/forge/compiler/orchestrator/profile.ts +65 -0
- package/src/forge/compiler/orchestrator/run.ts +101 -33
- package/src/forge/compiler/orchestrator/serialize.ts +33 -8
- package/src/forge/compiler/orchestrator/types.ts +1 -1
- package/src/forge/compiler/package-graph/compiler.ts +3 -1
- package/src/forge/compiler/package-graph/constants.ts +1 -1
- package/src/forge/compiler/package-graph/dts-extractor.ts +14 -1
- package/src/forge/compiler/package-manager/adapter.ts +4 -1
- package/src/forge/compiler/package-manager/commands.ts +4 -0
- package/src/forge/compiler/package-manager/executor.ts +30 -1
- package/src/forge/compiler/package-manager/version.ts +36 -12
- package/src/forge/compiler/package-upgrades/planner.ts +155 -18
- package/src/forge/compiler/package-upgrades/types.ts +2 -0
- package/src/forge/compiler/policy-registry/build.ts +47 -2
- package/src/forge/compiler/policy-registry/parse.ts +32 -2
- package/src/forge/compiler/recipes/definitions.ts +63 -0
- package/src/forge/compiler/recipes/index.ts +2 -0
- package/src/forge/compiler/recipes/profiles.ts +81 -0
- package/src/forge/compiler/recipes/registry.ts +6 -0
- package/src/forge/compiler/test-graph/build.ts +11 -3
- package/src/forge/compiler/types/app-graph.ts +8 -2
- package/src/forge/compiler/types/cli.ts +76 -1
- package/src/forge/compiler/types/dev-manifest.ts +4 -0
- package/src/forge/compiler/types/emit.ts +2 -0
- package/src/forge/compiler/types/frontend-graph.ts +2 -2
- package/src/forge/compiler/types/integration.ts +1 -0
- package/src/forge/compiler/types/package-graph.ts +6 -0
- package/src/forge/compiler/types/policy-registry.ts +3 -1
- package/src/forge/delta/broker-runner.mjs +5 -0
- package/src/forge/delta/broker.ts +429 -0
- package/src/forge/delta/classifier.ts +52 -0
- package/src/forge/delta/explain.ts +238 -0
- package/src/forge/delta/git-observer.ts +67 -0
- package/src/forge/delta/ids.ts +44 -0
- package/src/forge/delta/index.ts +25 -0
- package/src/forge/delta/process-identity.ts +37 -0
- package/src/forge/delta/queue-status.ts +190 -0
- package/src/forge/delta/recorder.ts +540 -0
- package/src/forge/delta/redaction.ts +50 -0
- package/src/forge/delta/schema.ts +240 -0
- package/src/forge/delta/session.ts +142 -0
- package/src/forge/delta/status.ts +1139 -0
- package/src/forge/delta/store.ts +3329 -0
- package/src/forge/delta/timeline.ts +178 -0
- package/src/forge/dev/server.ts +1061 -22
- package/src/forge/dev/types.ts +15 -1
- package/src/forge/dev/watch.ts +17 -7
- package/src/forge/dev-console/cycle.ts +285 -33
- package/src/forge/dev-console/types.ts +47 -1
- package/src/forge/impact/index.ts +222 -30
- package/src/forge/impact/types.ts +33 -1
- package/src/forge/intent/index.ts +35 -16
- package/src/forge/make/fields.ts +26 -0
- package/src/forge/make/index.ts +42 -6
- package/src/forge/make/templates.ts +211 -4
- package/src/forge/make/types.ts +2 -1
- package/src/forge/policy.ts +1 -1
- package/src/forge/react/index.ts +160 -2
- package/src/forge/refactor/index.ts +1 -0
- package/src/forge/repair/rules/index.ts +2 -2
- package/src/forge/repository-analysis/adapters/common.ts +72 -0
- package/src/forge/repository-analysis/adapters/docker.ts +185 -0
- package/src/forge/repository-analysis/adapters/java.ts +133 -0
- package/src/forge/repository-analysis/adapters/typescript.ts +350 -0
- package/src/forge/repository-analysis/adapters/vue.ts +71 -0
- package/src/forge/repository-analysis/analyze.ts +434 -0
- package/src/forge/repository-analysis/benchmark.ts +336 -0
- package/src/forge/repository-analysis/cache-gc.ts +154 -0
- package/src/forge/repository-analysis/check-selection.ts +123 -0
- package/src/forge/repository-analysis/context-node.ts +17 -0
- package/src/forge/repository-analysis/context.ts +456 -0
- package/src/forge/repository-analysis/http-resolution.ts +135 -0
- package/src/forge/repository-analysis/identity.ts +45 -0
- package/src/forge/repository-analysis/index.ts +18 -0
- package/src/forge/repository-analysis/nuxt-resolution.ts +188 -0
- package/src/forge/repository-analysis/quality.ts +60 -0
- package/src/forge/repository-analysis/retrieval.ts +309 -0
- package/src/forge/repository-analysis/runtime-artifacts.ts +195 -0
- package/src/forge/repository-analysis/runtime-observation.ts +325 -0
- package/src/forge/repository-analysis/scanner.ts +174 -0
- package/src/forge/repository-analysis/storage.ts +193 -0
- package/src/forge/repository-analysis/test-associations.ts +59 -0
- package/src/forge/repository-analysis/types.ts +99 -0
- package/src/forge/repository-manifest/index.ts +178 -0
- package/src/forge/repository-manifest/types.ts +63 -0
- package/src/forge/review/index.ts +162 -12
- package/src/forge/review/types.ts +15 -0
- package/src/forge/runtime/ai/providers.ts +19 -4
- package/src/forge/runtime/auth/config.ts +17 -0
- package/src/forge/runtime/auth/evaluate.ts +15 -2
- package/src/forge/runtime/auth/resolve.ts +61 -6
- package/src/forge/runtime/auth/types.ts +1 -0
- package/src/forge/runtime/db/factory.ts +1 -3
- package/src/forge/runtime/db/generated-client.ts +13 -2
- package/src/forge/runtime/db/memory-adapter.ts +139 -32
- package/src/forge/runtime/db/pglite-adapter.ts +285 -2
- package/src/forge/runtime/executor.ts +129 -16
- package/src/forge/runtime/external/bridge.ts +663 -0
- package/src/forge/runtime/runner/run-entry.ts +16 -7
- package/src/forge/runtime/telemetry/buffer.ts +4 -1
- package/src/forge/runtime/telemetry/scrubber.ts +35 -5
- package/src/forge/runtime/webhooks/security.ts +12 -7
- package/src/forge/server.ts +71 -7
- package/src/forge/ui/index.ts +831 -19
- package/src/forge/ui/types.ts +3 -1
- package/src/forge/version.ts +1 -1
- package/src/forge/vue/index.ts +422 -0
- package/src/forge/workspace/baseline.ts +112 -0
- package/src/forge/workspace/change-summary.ts +292 -0
- package/src/forge/workspace/forge-cli.ts +42 -0
- package/src/forge/workspace/git-summary.ts +393 -0
- package/templates/agent-workroom/AGENTS.md +29 -0
- package/templates/agent-workroom/README.md +34 -0
- package/templates/agent-workroom/forge.config.ts +3 -0
- package/templates/agent-workroom/package.json +34 -0
- package/templates/agent-workroom/pnpm-workspace.yaml +2 -0
- package/templates/agent-workroom/src/actions/indexAgentSignal.ts +10 -0
- package/templates/agent-workroom/src/commands/openWorkroom.ts +61 -0
- package/templates/agent-workroom/src/commands/recordAgentSignal.ts +119 -0
- package/templates/agent-workroom/src/commands/recordCheckRun.ts +52 -0
- package/templates/agent-workroom/src/forge/schema.ts +54 -0
- package/templates/agent-workroom/src/policies.ts +6 -0
- package/templates/agent-workroom/src/queries/listWorkrooms.ts +11 -0
- package/templates/agent-workroom/src/queries/liveWorkroom.ts +63 -0
- package/templates/agent-workroom/tsconfig.json +16 -0
- package/templates/agent-workroom/web/index.html +13 -0
- package/templates/agent-workroom/web/package.json +21 -0
- package/templates/agent-workroom/web/src/App.tsx +345 -0
- package/templates/agent-workroom/web/src/lib/forge.ts +20 -0
- package/templates/agent-workroom/web/src/main.tsx +13 -0
- package/templates/agent-workroom/web/src/styles.css +545 -0
- package/templates/agent-workroom/web/tsconfig.json +27 -0
- package/templates/agent-workroom/web/vite.config.ts +36 -0
- package/templates/b2b-support-web/package.json +2 -0
- package/templates/b2b-support-web/pnpm-workspace.yaml +2 -0
- package/templates/b2b-support-web/web/app/page.tsx +2 -2
- package/templates/b2b-support-web/web/lib/forge.ts +9 -2
- package/templates/b2b-support-web/web/next.config.ts +24 -0
- package/templates/b2b-support-web/web/package.json +1 -1
- package/templates/minimal-web/package.json +2 -1
- package/templates/minimal-web/pnpm-workspace.yaml +2 -0
- package/templates/minimal-web/web/index.html +1 -0
- package/templates/minimal-web/web/src/App.tsx +12 -6
- package/templates/minimal-web/web/src/lib/forge.ts +9 -2
- package/templates/minimal-web/web/src/styles.css +34 -0
- package/templates/minimal-web/web/vite.config.ts +36 -0
- package/templates/nuxt-web/.vscode/settings.json +14 -0
- package/templates/nuxt-web/.yarnrc.yml +1 -0
- package/templates/nuxt-web/README.md +30 -0
- package/templates/nuxt-web/forge.config.ts +3 -0
- package/templates/nuxt-web/package.json +37 -0
- package/templates/nuxt-web/pnpm-workspace.yaml +2 -0
- package/templates/nuxt-web/src/actions/logNoteCreated.ts +11 -0
- package/templates/nuxt-web/src/commands/createNote.ts +26 -0
- package/templates/nuxt-web/src/forge/schema.ts +12 -0
- package/templates/nuxt-web/src/policies.ts +6 -0
- package/templates/nuxt-web/src/queries/listNotes.ts +8 -0
- package/templates/nuxt-web/src/queries/liveNotes.ts +8 -0
- package/templates/nuxt-web/tsconfig.json +17 -0
- package/templates/nuxt-web/web/app.vue +67 -0
- package/templates/nuxt-web/web/components/LiveNotes.vue +89 -0
- package/templates/nuxt-web/web/components/NoteComposer.vue +100 -0
- package/templates/nuxt-web/web/composables/forge.ts +13 -0
- package/templates/nuxt-web/web/composables/useNotes.ts +24 -0
- package/templates/nuxt-web/web/nuxt.config.ts +11 -0
- package/templates/nuxt-web/web/package.json +22 -0
- package/templates/nuxt-web/web/plugins/forge.client.ts +10 -0
- package/templates/nuxt-web/web/plugins/forge.server.ts +10 -0
- package/templates/nuxt-web/web/server/api/forge-health.get.ts +7 -0
- package/templates/nuxt-web/web/tsconfig.json +6 -0
- package/templates/vendor-access/.vscode/settings.json +14 -0
- package/templates/vendor-access/README.md +30 -0
- package/templates/vendor-access/forge.config.ts +3 -0
- package/templates/vendor-access/package.json +35 -0
- package/templates/vendor-access/pnpm-workspace.yaml +2 -0
- package/templates/vendor-access/src/commands/addEvidence.ts +42 -0
- package/templates/vendor-access/src/commands/approveAccessRequest.ts +43 -0
- package/templates/vendor-access/src/commands/createAccessRequest.ts +49 -0
- package/templates/vendor-access/src/commands/seedVendorAccessDemo.ts +200 -0
- package/templates/vendor-access/src/forge/schema.ts +74 -0
- package/templates/vendor-access/src/policies.ts +11 -0
- package/templates/vendor-access/src/queries/listVendorAccessDashboard.ts +24 -0
- package/templates/vendor-access/src/queries/liveVendorAccessDashboard.ts +24 -0
- package/templates/vendor-access/tsconfig.json +17 -0
- package/templates/vendor-access/web/index.html +13 -0
- package/templates/vendor-access/web/package.json +21 -0
- package/templates/vendor-access/web/src/App.tsx +573 -0
- package/templates/vendor-access/web/src/lib/forge.ts +20 -0
- package/templates/vendor-access/web/src/main.tsx +205 -0
- package/templates/vendor-access/web/src/styles.css +682 -0
- package/templates/vendor-access/web/tsconfig.json +18 -0
- package/templates/vendor-access/web/vite.config.ts +36 -0
- package/src/forge/_generated/actionSubscriptions.json +0 -2
- package/src/forge/_generated/actionSubscriptions.ts +0 -10
- package/src/forge/_generated/agentAdapterManifest.json +0 -2
- package/src/forge/_generated/agentAdapterManifest.ts +0 -73
- package/src/forge/_generated/agentContract.json +0 -2
- package/src/forge/_generated/agentContract.ts +0 -7829
- package/src/forge/_generated/agentQuickstart.md +0 -34
- package/src/forge/_generated/agentTools.json +0 -2
- package/src/forge/_generated/agentTools.md +0 -16
- package/src/forge/_generated/agentTools.ts +0 -12
- package/src/forge/_generated/aiContext.ts +0 -125
- package/src/forge/_generated/aiModels.json +0 -2
- package/src/forge/_generated/aiModels.ts +0 -51
- package/src/forge/_generated/aiProviders.json +0 -2
- package/src/forge/_generated/aiProviders.ts +0 -23
- package/src/forge/_generated/aiRegistry.json +0 -2
- package/src/forge/_generated/aiRegistry.ts +0 -31
- package/src/forge/_generated/api.json +0 -2
- package/src/forge/_generated/api.ts +0 -8
- package/src/forge/_generated/appGraph.json +0 -2
- package/src/forge/_generated/appGraph.ts +0 -14937
- package/src/forge/_generated/appMap.md +0 -55
- package/src/forge/_generated/artifactManifest.json +0 -2
- package/src/forge/_generated/artifactManifest.ts +0 -7
- package/src/forge/_generated/authClaims.json +0 -2
- package/src/forge/_generated/authClaims.ts +0 -13
- package/src/forge/_generated/authConfig.json +0 -2
- package/src/forge/_generated/authConfig.ts +0 -17
- package/src/forge/_generated/authContext.ts +0 -23
- package/src/forge/_generated/authRegistry.json +0 -2
- package/src/forge/_generated/authRegistry.ts +0 -25
- package/src/forge/_generated/buildInfo.json +0 -2
- package/src/forge/_generated/buildInfo.ts +0 -9
- package/src/forge/_generated/capabilityMap.json +0 -2
- package/src/forge/_generated/capabilityMap.md +0 -15
- package/src/forge/_generated/capabilityMap.ts +0 -17
- package/src/forge/_generated/client.ts +0 -282
- package/src/forge/_generated/clientApi.ts +0 -9
- package/src/forge/_generated/clientManifest.json +0 -2
- package/src/forge/_generated/clientManifest.ts +0 -39
- package/src/forge/_generated/clientTypes.ts +0 -78
- package/src/forge/_generated/configRegistry.json +0 -2
- package/src/forge/_generated/configRegistry.ts +0 -4
- package/src/forge/_generated/dataGraph.json +0 -2
- package/src/forge/_generated/dataGraph.ts +0 -8
- package/src/forge/_generated/db.json +0 -2
- package/src/forge/_generated/db.ts +0 -2
- package/src/forge/_generated/dbSecurityManifest.json +0 -2
- package/src/forge/_generated/dbSecurityManifest.ts +0 -15
- package/src/forge/_generated/dbSessionContext.json +0 -2
- package/src/forge/_generated/dbSessionContext.ts +0 -39
- package/src/forge/_generated/deployManifest.json +0 -2
- package/src/forge/_generated/deployManifest.ts +0 -14
- package/src/forge/_generated/devManifest.json +0 -2
- package/src/forge/_generated/devManifest.ts +0 -62
- package/src/forge/_generated/envSchema.json +0 -2
- package/src/forge/_generated/envSchema.ts +0 -59
- package/src/forge/_generated/frontendGraph.json +0 -2
- package/src/forge/_generated/frontendGraph.ts +0 -27
- package/src/forge/_generated/importGuards.json +0 -2
- package/src/forge/_generated/importGuards.ts +0 -686
- package/src/forge/_generated/index.ts +0 -68
- package/src/forge/_generated/liveProductionManifest.json +0 -2
- package/src/forge/_generated/liveProductionManifest.ts +0 -23
- package/src/forge/_generated/liveProtocol.json +0 -2
- package/src/forge/_generated/liveProtocol.ts +0 -21
- package/src/forge/_generated/liveQueryRegistry.json +0 -2
- package/src/forge/_generated/liveQueryRegistry.ts +0 -9
- package/src/forge/_generated/liveTransportConfig.json +0 -2
- package/src/forge/_generated/liveTransportConfig.ts +0 -19
- package/src/forge/_generated/makeRegistry.json +0 -2
- package/src/forge/_generated/makeRegistry.ts +0 -177
- package/src/forge/_generated/makeTemplates.json +0 -2
- package/src/forge/_generated/makeTemplates.ts +0 -66
- package/src/forge/_generated/mockMap.json +0 -2
- package/src/forge/_generated/mockMap.ts +0 -7
- package/src/forge/_generated/operationPlaybooks.md +0 -167
- package/src/forge/_generated/packageGraph.json +0 -2
- package/src/forge/_generated/packageGraph.ts +0 -249334
- package/src/forge/_generated/packageUpgradeRegistry.json +0 -2
- package/src/forge/_generated/packageUpgradeRegistry.ts +0 -15
- package/src/forge/_generated/permissionMatrix.json +0 -2
- package/src/forge/_generated/permissionMatrix.ts +0 -7
- package/src/forge/_generated/policyRegistry.json +0 -2
- package/src/forge/_generated/policyRegistry.ts +0 -11
- package/src/forge/_generated/queryRegistry.json +0 -2
- package/src/forge/_generated/queryRegistry.ts +0 -9
- package/src/forge/_generated/react.d.ts +0 -22
- package/src/forge/_generated/react.ts +0 -29
- package/src/forge/_generated/reactManifest.json +0 -2
- package/src/forge/_generated/reactManifest.ts +0 -19
- package/src/forge/_generated/rlsPolicies.json +0 -2
- package/src/forge/_generated/rlsPolicies.sql +0 -34
- package/src/forge/_generated/rlsPolicies.ts +0 -6
- package/src/forge/_generated/runtimeGraph.json +0 -2
- package/src/forge/_generated/runtimeGraph.ts +0 -8
- package/src/forge/_generated/runtimeMatrix.json +0 -2
- package/src/forge/_generated/runtimeMatrix.ts +0 -334130
- package/src/forge/_generated/runtimeRegistry.ts +0 -2
- package/src/forge/_generated/runtimeRules.md +0 -91
- package/src/forge/_generated/secretRegistry.json +0 -2
- package/src/forge/_generated/secretRegistry.ts +0 -50
- package/src/forge/_generated/secretsContext.ts +0 -11
- package/src/forge/_generated/serverApi.ts +0 -10
- package/src/forge/_generated/sourceMapManifest.json +0 -2
- package/src/forge/_generated/sourceMapManifest.ts +0 -7
- package/src/forge/_generated/sqlPlan.json +0 -2
- package/src/forge/_generated/sqlPlan.ts +0 -88
- package/src/forge/_generated/subscriptionManifest.json +0 -2
- package/src/forge/_generated/subscriptionManifest.ts +0 -7
- package/src/forge/_generated/symbolicationManifest.json +0 -2
- package/src/forge/_generated/symbolicationManifest.ts +0 -17
- package/src/forge/_generated/telemetryRegistry.json +0 -2
- package/src/forge/_generated/telemetryRegistry.ts +0 -9
- package/src/forge/_generated/telemetrySinks.json +0 -2
- package/src/forge/_generated/telemetrySinks.ts +0 -11
- package/src/forge/_generated/tenantScope.json +0 -2
- package/src/forge/_generated/tenantScope.ts +0 -8
- package/src/forge/_generated/testGraph.json +0 -2
- package/src/forge/_generated/testGraph.ts +0 -3452
- package/src/forge/_generated/testPlanRegistry.json +0 -2
- package/src/forge/_generated/testPlanRegistry.ts +0 -33
- package/src/forge/_generated/uiRoutes.json +0 -2
- package/src/forge/_generated/uiRoutes.ts +0 -16
- package/src/forge/_generated/uiScenarios.json +0 -2
- package/src/forge/_generated/uiScenarios.ts +0 -30
- package/src/forge/_generated/uiTestManifest.json +0 -2
- package/src/forge/_generated/uiTestManifest.ts +0 -27
- package/src/forge/_generated/workflowRegistry.json +0 -2
- package/src/forge/_generated/workflowRegistry.ts +0 -9
- package/src/forge/_generated/workflowSubscriptions.json +0 -2
- package/src/forge/_generated/workflowSubscriptions.ts +0 -10
|
@@ -0,0 +1,398 @@
|
|
|
1
|
+
import { createHmac, randomBytes, timingSafeEqual } from "node:crypto";
|
|
2
|
+
import { spawn } from "node:child_process";
|
|
3
|
+
import { closeSync, existsSync, mkdirSync, openSync, readFileSync, realpathSync, renameSync, statSync, unlinkSync, writeFileSync } from "node:fs";
|
|
4
|
+
import { createServer } from "node:http";
|
|
5
|
+
import type { AddressInfo } from "node:net";
|
|
6
|
+
import { createPgliteAdapter } from "../runtime/db/pglite-adapter.ts";
|
|
7
|
+
import { digestCanonical, sha256Digest } from "./canonical.ts";
|
|
8
|
+
import { AgentFabricError } from "./errors.ts";
|
|
9
|
+
import { LocalAdaptiveHarness, compileLocalAdaptiveRevision, type LocalAdaptiveProcessResult } from "./local-adaptive-harness.ts";
|
|
10
|
+
import { LocalControlStore } from "./local-control-store.ts";
|
|
11
|
+
import { LocalEvolutionService } from "./local-evolution-service.ts";
|
|
12
|
+
import { assertLocalAdaptiveInputs, LOCAL_ADAPTIVE_EXTENSION_KEY, parseLocalAdaptiveInputProfile } from "./local-evolution-profile.ts";
|
|
13
|
+
import { localFabricPath } from "./local-paths.ts";
|
|
14
|
+
import { replayControlState } from "./hardened-reducer.ts";
|
|
15
|
+
import type { EvolutionChannel } from "./local-evolution-registry.ts";
|
|
16
|
+
import type { Clock, Digest, GoalContract, OwnerAuthorization, OwnerAuthorizationVerifier } from "./types.ts";
|
|
17
|
+
|
|
18
|
+
const WORKERS = [{ resource: "workers", semantics: "capacity" as const, limit: 2 }];
|
|
19
|
+
const clock: Clock = { now: () => Date.now() };
|
|
20
|
+
const MAX_TEXT = 256;
|
|
21
|
+
|
|
22
|
+
export interface AdaptiveInput { inventory: string; constraints: string }
|
|
23
|
+
type Phase = "proposed" | "rejected" | "approved" | "running" | "succeeded" | "blocked" | "uncertain";
|
|
24
|
+
interface AdaptiveRecord {
|
|
25
|
+
schemaVersion: 1;
|
|
26
|
+
id: string;
|
|
27
|
+
repositoryRoot: string;
|
|
28
|
+
input: AdaptiveInput;
|
|
29
|
+
inputDigest: Digest;
|
|
30
|
+
profile?: { channel: EvolutionChannel; versionId: string };
|
|
31
|
+
phase: Phase;
|
|
32
|
+
createdAt: number;
|
|
33
|
+
approvedAt?: number;
|
|
34
|
+
approvalReceipt?: Digest;
|
|
35
|
+
startedAt?: number;
|
|
36
|
+
finishedAt?: number;
|
|
37
|
+
result?: LocalAdaptiveProcessResult;
|
|
38
|
+
resultReceipt?: Digest;
|
|
39
|
+
failure?: string;
|
|
40
|
+
}
|
|
41
|
+
export interface AdaptiveStatus {
|
|
42
|
+
id: string;
|
|
43
|
+
phase: Phase;
|
|
44
|
+
inputDigest: Digest;
|
|
45
|
+
profile?: { channel: EvolutionChannel; versionId: string };
|
|
46
|
+
result?: LocalAdaptiveProcessResult;
|
|
47
|
+
failure?: string;
|
|
48
|
+
journal: { events: number; childOutcomes: number; joinOutcome?: { status: string; resultDigest: Digest; reportDigest: Digest } };
|
|
49
|
+
}
|
|
50
|
+
type Approval = (view: { repositoryRoot: string; id: string; input: AdaptiveInput; digest: Digest;
|
|
51
|
+
profile?: { channel: EvolutionChannel; versionId: string } }) => Promise<"approved" | "rejected">;
|
|
52
|
+
|
|
53
|
+
function validateInput(value: unknown): AdaptiveInput {
|
|
54
|
+
if (!value || typeof value !== "object" || Array.isArray(value) ||
|
|
55
|
+
Object.keys(value).sort().join(",") !== "constraints,inventory") {
|
|
56
|
+
throw new AgentFabricError("AF_INVALID_STATE", "Expected exactly inventory and constraints text");
|
|
57
|
+
}
|
|
58
|
+
const input = value as Record<string, unknown>;
|
|
59
|
+
for (const field of ["inventory", "constraints"] as const) {
|
|
60
|
+
if (typeof input[field] !== "string" || input[field].length > MAX_TEXT ||
|
|
61
|
+
Buffer.byteLength(input[field], "utf8") > MAX_TEXT) {
|
|
62
|
+
throw new AgentFabricError("AF_INVALID_STATE", `${field} must be at most 256 UTF-8 bytes`);
|
|
63
|
+
}
|
|
64
|
+
}
|
|
65
|
+
return { inventory: input.inventory as string, constraints: input.constraints as string };
|
|
66
|
+
}
|
|
67
|
+
|
|
68
|
+
function ids(id: string) {
|
|
69
|
+
return { root: `adaptive:${id}`, authorization: `auth:${id}`, goal: `goal:${id}`,
|
|
70
|
+
revision: `plan:${id}`, grant: `grant:${id}:coordinator` };
|
|
71
|
+
}
|
|
72
|
+
|
|
73
|
+
function readRecord(path: string): AdaptiveRecord {
|
|
74
|
+
if (statSync(path).size > 16 * 1024) throw new AgentFabricError("AF_INVALID_STATE", "Adaptive record exceeds byte limit");
|
|
75
|
+
const value = JSON.parse(readFileSync(path, "utf8")) as AdaptiveRecord;
|
|
76
|
+
validateInput(value.input);
|
|
77
|
+
if (value.schemaVersion !== 1 || !/^[a-f0-9]{32}$/u.test(value.id) ||
|
|
78
|
+
digestCanonical(value.input, sha256Digest) !== value.inputDigest ||
|
|
79
|
+
(value.profile && (typeof value.profile !== "object" ||
|
|
80
|
+
(value.profile.channel !== "canary" && value.profile.channel !== "stable") ||
|
|
81
|
+
!/^extension:sha256:[0-9a-f]{64}$/u.test(value.profile.versionId))) ||
|
|
82
|
+
!["proposed", "rejected", "approved", "running", "succeeded", "blocked", "uncertain"].includes(value.phase)) {
|
|
83
|
+
throw new AgentFabricError("AF_INVALID_STATE", "Adaptive record failed validation");
|
|
84
|
+
}
|
|
85
|
+
return value;
|
|
86
|
+
}
|
|
87
|
+
|
|
88
|
+
function writeRecord(path: string, value: AdaptiveRecord): void {
|
|
89
|
+
const temporary = `${path}.${randomBytes(8).toString("hex")}.tmp`;
|
|
90
|
+
writeFileSync(temporary, JSON.stringify(value), { encoding: "utf8", mode: 0o600, flag: "wx" });
|
|
91
|
+
renameSync(temporary, path);
|
|
92
|
+
}
|
|
93
|
+
|
|
94
|
+
function ownerVerifier(key: Buffer, approvals: Set<Digest>): OwnerAuthorizationVerifier {
|
|
95
|
+
const evidence = (digest: Digest): Digest => `sha256:${createHmac("sha256", key)
|
|
96
|
+
.update("forge-local-adaptive-owner/v1:").update(digest).digest("hex")}`;
|
|
97
|
+
return {
|
|
98
|
+
verify(_authorization, digest) {
|
|
99
|
+
if (!approvals.delete(digest)) throw new AgentFabricError("AF_GRANT_REJECTED", "Owner approval is absent");
|
|
100
|
+
return { verifierId: "forge-local-adaptive-popup/v1", authorizationDigest: digest, evidenceDigest: evidence(digest) };
|
|
101
|
+
},
|
|
102
|
+
verifyRecorded(authorization, record) {
|
|
103
|
+
const digest = digestCanonical(authorization, sha256Digest);
|
|
104
|
+
const expected = evidence(digest);
|
|
105
|
+
return record.verifierId === "forge-local-adaptive-popup/v1" && record.authorizationDigest === digest &&
|
|
106
|
+
typeof record.evidenceDigest === "string" && record.evidenceDigest.length === expected.length &&
|
|
107
|
+
timingSafeEqual(Buffer.from(record.evidenceDigest), Buffer.from(expected));
|
|
108
|
+
},
|
|
109
|
+
};
|
|
110
|
+
}
|
|
111
|
+
|
|
112
|
+
function escapeHtml(value: string): string {
|
|
113
|
+
return value.replace(/[&<>"']/gu, (character) => ({ "&": "&", "<": "<", ">": ">", '"': """, "'": "'" })[character]!);
|
|
114
|
+
}
|
|
115
|
+
|
|
116
|
+
/** Visible browser decision bound to the exact two inputs and local repository. */
|
|
117
|
+
export async function requestAdaptiveApproval(view: Parameters<Approval>[0]): ReturnType<Approval> {
|
|
118
|
+
const token = randomBytes(32).toString("hex");
|
|
119
|
+
let origin = "";
|
|
120
|
+
let resolveDecision!: (decision: "approved" | "rejected") => void;
|
|
121
|
+
let rejectDecision!: (error: Error) => void;
|
|
122
|
+
const decision = new Promise<"approved" | "rejected">((resolve, reject) => {
|
|
123
|
+
resolveDecision = resolve; rejectDecision = reject;
|
|
124
|
+
});
|
|
125
|
+
let decided = false;
|
|
126
|
+
const server = createServer((request, response) => {
|
|
127
|
+
response.setHeader("Cache-Control", "no-store");
|
|
128
|
+
response.setHeader("Referrer-Policy", "no-referrer");
|
|
129
|
+
response.setHeader("X-Content-Type-Options", "nosniff");
|
|
130
|
+
response.setHeader("X-Frame-Options", "DENY");
|
|
131
|
+
response.setHeader("Content-Security-Policy", "default-src 'none'; style-src 'unsafe-inline'; form-action 'self'; base-uri 'none'; frame-ancestors 'none'");
|
|
132
|
+
if (request.headers.host !== origin.slice(7)) return void response.writeHead(400).end();
|
|
133
|
+
if (request.method === "GET" && request.url === `/${token}` && !decided) {
|
|
134
|
+
response.setHeader("Content-Type", "text/html; charset=utf-8");
|
|
135
|
+
return void response.writeHead(200).end(`<!doctype html><html><meta charset="utf-8"><title>Forge adaptive approval</title><style>body{font:16px system-ui;max-width:700px;margin:4rem auto;padding:1rem}pre{white-space:pre-wrap;overflow-wrap:anywhere;background:#eee;padding:1rem}button{padding:.7rem 1rem;margin-right:1rem}</style><h1>Approve fixed local data workers</h1><p>Two bounded Node processes will digest the text below. No model, shell task, network request, or repository edit is selected by these inputs.</p><p>Repository: ${escapeHtml(view.repositoryRoot)}</p><p>Run: ${escapeHtml(view.id)}</p><p>Selected data profile: ${escapeHtml(view.profile ? `${view.profile.channel} / ${view.profile.versionId}` : "none")}</p><h2>Inventory</h2><pre>${escapeHtml(view.input.inventory)}</pre><h2>Constraints</h2><pre>${escapeHtml(view.input.constraints)}</pre><p>Proposal digest: ${escapeHtml(view.digest)}</p><form method="post" action="/decision/${token}"><input type="hidden" name="digest" value="${escapeHtml(view.digest)}"><button name="decision" value="approved">Approve</button><button name="decision" value="rejected">Reject</button></form>`);
|
|
136
|
+
}
|
|
137
|
+
const sameOrigin = request.headers.origin === origin ||
|
|
138
|
+
(request.headers.origin === "null" && request.headers["sec-fetch-site"] === "same-origin");
|
|
139
|
+
if (request.method !== "POST" || request.url !== `/decision/${token}` || decided || !sameOrigin ||
|
|
140
|
+
request.headers["content-type"] !== "application/x-www-form-urlencoded") return void response.writeHead(403).end();
|
|
141
|
+
let body = "";
|
|
142
|
+
request.on("data", (chunk: Buffer) => { body += chunk.toString("utf8"); if (body.length > 2048) request.destroy(); });
|
|
143
|
+
request.on("end", () => {
|
|
144
|
+
const values = new URLSearchParams(body);
|
|
145
|
+
const selected = values.get("decision");
|
|
146
|
+
if (values.size !== 2 || values.get("digest") !== view.digest ||
|
|
147
|
+
(selected !== "approved" && selected !== "rejected")) return void response.writeHead(400).end();
|
|
148
|
+
decided = true;
|
|
149
|
+
response.writeHead(200, { "Content-Type": "text/html; charset=utf-8" }).end("Decision recorded. You may close this window.");
|
|
150
|
+
response.once("finish", () => resolveDecision(selected));
|
|
151
|
+
});
|
|
152
|
+
});
|
|
153
|
+
await new Promise<void>((resolve, reject) => { server.once("error", reject); server.listen(0, "127.0.0.1", resolve); });
|
|
154
|
+
origin = `http://127.0.0.1:${(server.address() as AddressInfo).port}`;
|
|
155
|
+
const timer = setTimeout(() => rejectDecision(new Error("Local approval timed out")), 300_000);
|
|
156
|
+
try {
|
|
157
|
+
const command = process.platform === "win32" ? "explorer.exe" : process.platform === "darwin" ? "open" : "xdg-open";
|
|
158
|
+
await new Promise<void>((resolve, reject) => {
|
|
159
|
+
const child = spawn(command, [`${origin}/${token}`], { detached: true, stdio: "ignore", windowsHide: true });
|
|
160
|
+
child.once("error", reject); child.once("spawn", () => { child.unref(); resolve(); });
|
|
161
|
+
});
|
|
162
|
+
return await decision;
|
|
163
|
+
} finally {
|
|
164
|
+
clearTimeout(timer); server.closeAllConnections();
|
|
165
|
+
await new Promise<void>((resolve) => server.close(() => resolve()));
|
|
166
|
+
}
|
|
167
|
+
}
|
|
168
|
+
|
|
169
|
+
export class LocalAdaptiveService {
|
|
170
|
+
private readonly approvals = new Set<Digest>();
|
|
171
|
+
private readonly verifier: OwnerAuthorizationVerifier;
|
|
172
|
+
private readonly control: LocalControlStore;
|
|
173
|
+
private readonly recordsDirectory: string;
|
|
174
|
+
private readonly lockPath: string;
|
|
175
|
+
|
|
176
|
+
private constructor(private readonly repositoryRoot: string, adapter: Awaited<ReturnType<typeof createPgliteAdapter>>,
|
|
177
|
+
private readonly ownerKey: Buffer, private readonly approval: Approval) {
|
|
178
|
+
this.verifier = ownerVerifier(ownerKey, this.approvals);
|
|
179
|
+
this.control = new LocalControlStore({ adapter, clock, ownerAuthorizationVerifier: this.verifier, resourceDefinitions: WORKERS });
|
|
180
|
+
this.recordsDirectory = localFabricPath(repositoryRoot, "adaptive-runs");
|
|
181
|
+
this.lockPath = localFabricPath(repositoryRoot, "adaptive-lock");
|
|
182
|
+
mkdirSync(this.recordsDirectory, { recursive: true });
|
|
183
|
+
}
|
|
184
|
+
|
|
185
|
+
static async open(repositoryRoot: string, approval: Approval = requestAdaptiveApproval): Promise<LocalAdaptiveService> {
|
|
186
|
+
const root = realpathSync(repositoryRoot);
|
|
187
|
+
const keyPath = localFabricPath(root, "adaptive-owner-key");
|
|
188
|
+
mkdirSync(localFabricPath(root), { recursive: true });
|
|
189
|
+
if (!existsSync(keyPath)) writeFileSync(keyPath, randomBytes(32), { flag: "wx", mode: 0o600 });
|
|
190
|
+
const key = readFileSync(keyPath);
|
|
191
|
+
if (key.length !== 32) throw new AgentFabricError("AF_INVALID_STATE", "Invalid adaptive owner key");
|
|
192
|
+
const adapter = await createPgliteAdapter(localFabricPath(root, "adaptive-pglite"));
|
|
193
|
+
return new LocalAdaptiveService(root, adapter, key, approval);
|
|
194
|
+
}
|
|
195
|
+
|
|
196
|
+
private path(id: string): string {
|
|
197
|
+
if (!/^[a-f0-9]{32}$/u.test(id)) throw new AgentFabricError("AF_INVALID_STATE", "Invalid adaptive run id");
|
|
198
|
+
return localFabricPath(this.repositoryRoot, "adaptive-runs", `${id}.json`);
|
|
199
|
+
}
|
|
200
|
+
|
|
201
|
+
private approvalReceipt(record: AdaptiveRecord): Digest {
|
|
202
|
+
return `sha256:${createHmac("sha256", this.ownerKey).update("forge-local-adaptive-input/v1:")
|
|
203
|
+
.update(JSON.stringify({ id: record.id, repositoryRoot: record.repositoryRoot,
|
|
204
|
+
inputDigest: record.inputDigest, profile: record.profile,
|
|
205
|
+
approvedAt: record.approvedAt })).digest("hex")}`;
|
|
206
|
+
}
|
|
207
|
+
|
|
208
|
+
private resultReceipt(record: AdaptiveRecord): Digest {
|
|
209
|
+
return `sha256:${createHmac("sha256", this.ownerKey).update("forge-local-adaptive-result/v1:")
|
|
210
|
+
.update(JSON.stringify({ id: record.id, inputDigest: record.inputDigest,
|
|
211
|
+
profile: record.profile ?? null, result: record.result })).digest("hex")}`;
|
|
212
|
+
}
|
|
213
|
+
|
|
214
|
+
private async assertProfileBinding(record: AdaptiveRecord): Promise<void> {
|
|
215
|
+
if (!record.profile) return;
|
|
216
|
+
const evolution = await LocalEvolutionService.open(this.repositoryRoot);
|
|
217
|
+
try {
|
|
218
|
+
const binding = await evolution.registry.getAttempt(`adaptive:${record.id}`);
|
|
219
|
+
const selected = await evolution.loadSelected(LOCAL_ADAPTIVE_EXTENSION_KEY, record.profile.channel);
|
|
220
|
+
assertLocalAdaptiveInputs(parseLocalAdaptiveInputProfile(selected.artifact),
|
|
221
|
+
record.input.inventory, record.input.constraints);
|
|
222
|
+
if (!binding || binding.versionId !== record.profile.versionId ||
|
|
223
|
+
binding.extensionKey !== LOCAL_ADAPTIVE_EXTENSION_KEY ||
|
|
224
|
+
binding.channel !== record.profile.channel || selected.versionId !== record.profile.versionId) {
|
|
225
|
+
throw new AgentFabricError("AF_CONFLICT", "Approved adaptive profile version is no longer selected");
|
|
226
|
+
}
|
|
227
|
+
} finally { await evolution.close(); }
|
|
228
|
+
}
|
|
229
|
+
|
|
230
|
+
private async locked<T>(operation: () => Promise<T>): Promise<T> {
|
|
231
|
+
let descriptor: number;
|
|
232
|
+
try { descriptor = openSync(this.lockPath, "wx", 0o600); }
|
|
233
|
+
catch { throw new AgentFabricError("AF_CONFLICT", "Adaptive owner is busy; if a process crashed, inspect status before manual lock recovery"); }
|
|
234
|
+
try { return await operation(); }
|
|
235
|
+
finally { closeSync(descriptor); unlinkSync(this.lockPath); }
|
|
236
|
+
}
|
|
237
|
+
|
|
238
|
+
async propose(value: unknown, channel?: EvolutionChannel): Promise<AdaptiveStatus> {
|
|
239
|
+
const input = validateInput(value);
|
|
240
|
+
return this.locked(async () => {
|
|
241
|
+
const record: AdaptiveRecord = { schemaVersion: 1, id: randomBytes(16).toString("hex"),
|
|
242
|
+
repositoryRoot: this.repositoryRoot, input, inputDigest: digestCanonical(input, sha256Digest),
|
|
243
|
+
phase: "proposed", createdAt: clock.now() };
|
|
244
|
+
if (channel) {
|
|
245
|
+
const evolution = await LocalEvolutionService.open(this.repositoryRoot);
|
|
246
|
+
try {
|
|
247
|
+
const selected = await evolution.resolveSelectedLocalAdaptiveInputs(
|
|
248
|
+
channel, `adaptive:${record.id}`, input.inventory, input.constraints);
|
|
249
|
+
record.profile = { channel, versionId: selected.versionId };
|
|
250
|
+
} finally { await evolution.close(); }
|
|
251
|
+
}
|
|
252
|
+
writeRecord(this.path(record.id), record);
|
|
253
|
+
return this.status(record.id);
|
|
254
|
+
});
|
|
255
|
+
}
|
|
256
|
+
|
|
257
|
+
async review(id: string): Promise<AdaptiveStatus> {
|
|
258
|
+
return this.locked(async () => {
|
|
259
|
+
const path = this.path(id);
|
|
260
|
+
const record = readRecord(path);
|
|
261
|
+
if (record.phase !== "proposed") throw new AgentFabricError("AF_CONFLICT", "Adaptive run is not proposed");
|
|
262
|
+
await this.assertProfileBinding(record);
|
|
263
|
+
const decision = await this.approval({ repositoryRoot: this.repositoryRoot, id, input: record.input,
|
|
264
|
+
digest: digestCanonical({ id, repositoryRoot: this.repositoryRoot, inputDigest: record.inputDigest,
|
|
265
|
+
profile: record.profile ?? null }, sha256Digest),
|
|
266
|
+
...(record.profile ? { profile: record.profile } : {}) });
|
|
267
|
+
if (decision !== "approved" && decision !== "rejected") throw new AgentFabricError("AF_INVALID_STATE", "Invalid owner decision");
|
|
268
|
+
record.phase = decision === "approved" ? "approved" : "rejected";
|
|
269
|
+
if (decision === "approved") {
|
|
270
|
+
record.approvedAt = clock.now();
|
|
271
|
+
record.approvalReceipt = this.approvalReceipt(record);
|
|
272
|
+
}
|
|
273
|
+
writeRecord(path, record);
|
|
274
|
+
return this.status(id);
|
|
275
|
+
});
|
|
276
|
+
}
|
|
277
|
+
|
|
278
|
+
async run(id: string, signal?: AbortSignal): Promise<AdaptiveStatus> {
|
|
279
|
+
return this.locked(async () => {
|
|
280
|
+
const path = this.path(id);
|
|
281
|
+
const record = readRecord(path);
|
|
282
|
+
if (record.phase !== "approved") throw new AgentFabricError("AF_CONFLICT", "Adaptive run requires unused owner approval");
|
|
283
|
+
if (!record.approvedAt || clock.now() - record.approvedAt > 300_000) {
|
|
284
|
+
throw new AgentFabricError("AF_GRANT_REJECTED", "Adaptive owner approval expired");
|
|
285
|
+
}
|
|
286
|
+
const expectedReceipt = this.approvalReceipt(record);
|
|
287
|
+
if (!record.approvalReceipt || record.approvalReceipt.length !== expectedReceipt.length ||
|
|
288
|
+
!timingSafeEqual(Buffer.from(record.approvalReceipt), Buffer.from(expectedReceipt))) {
|
|
289
|
+
throw new AgentFabricError("AF_GRANT_REJECTED", "Adaptive owner approval does not match inputs");
|
|
290
|
+
}
|
|
291
|
+
await this.assertProfileBinding(record);
|
|
292
|
+
record.phase = "running";
|
|
293
|
+
record.startedAt = clock.now();
|
|
294
|
+
writeRecord(path, record); // A crash from here is uncertain and never reruns workers.
|
|
295
|
+
const identity = ids(id);
|
|
296
|
+
const now = clock.now();
|
|
297
|
+
const authorization: OwnerAuthorization = {
|
|
298
|
+
authorizationId: identity.authorization, principalId: "owner:local", rootExecutionId: identity.root,
|
|
299
|
+
goalIds: [identity.goal], subjectIds: ["fabric.local.coordinator", "fabric.local.inventory", "fabric.local.constraints"],
|
|
300
|
+
capabilities: ["fabric.local.read"], sourceIds: ["source:owner-input"], targetIds: ["target:adaptive-digest"],
|
|
301
|
+
effectClasses: ["read"], notBefore: now, expiresAt: now + 30_000, maximumAttempts: 3,
|
|
302
|
+
maximumDelegationDepth: 1, resourceCeilings: { workers: 2 },
|
|
303
|
+
};
|
|
304
|
+
const goal: GoalContract = {
|
|
305
|
+
goalId: identity.goal, revision: 1, authorityInvocationId: identity.authorization,
|
|
306
|
+
objectives: ["Digest owner supplied bounded data with two fixed workers"], nonObjectives: ["Run task instructions"],
|
|
307
|
+
acceptanceCriteria: ["Two authoritative child digests and one join",
|
|
308
|
+
...(record.profile ? [`Selected data profile ${record.profile.versionId}`] : [])],
|
|
309
|
+
allowedEffectClasses: ["read"], prohibitedEffectClasses: ["consequential"],
|
|
310
|
+
sourceBoundary: { sourceIds: ["source:owner-input"], allowExpansion: false },
|
|
311
|
+
};
|
|
312
|
+
try {
|
|
313
|
+
this.approvals.add(digestCanonical(authorization, sha256Digest));
|
|
314
|
+
await this.control.transition(identity.root, (conductor) => {
|
|
315
|
+
conductor.registerOwnerAuthorization(authorization);
|
|
316
|
+
conductor.registerGoal(goal);
|
|
317
|
+
const revision = compileLocalAdaptiveRevision(identity.root, identity.goal, identity.revision);
|
|
318
|
+
conductor.activatePlan(revision, null);
|
|
319
|
+
conductor.registerGrant({ grantId: identity.grant, rootAuthorizationId: identity.authorization,
|
|
320
|
+
subjectId: "fabric.local.coordinator", parentGrantId: null, capabilities: ["fabric.local.read"],
|
|
321
|
+
sourceIds: ["source:owner-input"], targetIds: ["target:adaptive-digest"], effectClasses: ["read"],
|
|
322
|
+
notBefore: now, expiresAt: now + 20_000, maximumAttempts: 3,
|
|
323
|
+
delegationDepthRemaining: 1, resourceCeilings: { workers: 2 } });
|
|
324
|
+
new LocalAdaptiveHarness({ conductor, clock, rootExecutionId: identity.root, revisionId: identity.revision,
|
|
325
|
+
parentGrantId: identity.grant, sourceId: "source:owner-input", targetId: "target:adaptive-digest",
|
|
326
|
+
...record.input }).prepare();
|
|
327
|
+
});
|
|
328
|
+
const executed = await this.control.runExternal(identity.root, async (conductor) => {
|
|
329
|
+
const harness = new LocalAdaptiveHarness({ conductor, clock, rootExecutionId: identity.root,
|
|
330
|
+
revisionId: identity.revision, parentGrantId: identity.grant, sourceId: "source:owner-input",
|
|
331
|
+
targetId: "target:adaptive-digest", ...record.input });
|
|
332
|
+
harness.resumePrepared();
|
|
333
|
+
return harness.runPrepared(signal);
|
|
334
|
+
});
|
|
335
|
+
// Sign the JSON representation that will be written to disk. PIDs are
|
|
336
|
+
// local observations; child outcomes are also checked against P0a below.
|
|
337
|
+
record.result = JSON.parse(JSON.stringify(executed.result)) as LocalAdaptiveProcessResult;
|
|
338
|
+
record.resultReceipt = this.resultReceipt(record);
|
|
339
|
+
record.phase = executed.result.join.status === "succeeded" ? "succeeded" : "blocked";
|
|
340
|
+
} catch (error) {
|
|
341
|
+
record.phase = "uncertain";
|
|
342
|
+
record.failure = error instanceof Error ? error.message : String(error);
|
|
343
|
+
} finally {
|
|
344
|
+
this.approvals.clear();
|
|
345
|
+
record.finishedAt = clock.now();
|
|
346
|
+
writeRecord(path, record);
|
|
347
|
+
}
|
|
348
|
+
return this.status(id);
|
|
349
|
+
});
|
|
350
|
+
}
|
|
351
|
+
|
|
352
|
+
async status(id: string): Promise<AdaptiveStatus> {
|
|
353
|
+
const record = readRecord(this.path(id));
|
|
354
|
+
if (record.id !== id || record.repositoryRoot !== this.repositoryRoot) {
|
|
355
|
+
throw new AgentFabricError("AF_INVALID_STATE", "Adaptive record belongs to another repository");
|
|
356
|
+
}
|
|
357
|
+
const events = await this.control.readAll(ids(id).root);
|
|
358
|
+
const state = replayControlState(events, { ownerAuthorizationVerifier: this.verifier, resourceDefinitions: WORKERS });
|
|
359
|
+
const outcomes = Object.values(state.outcomes);
|
|
360
|
+
const join = state.outcomes[`attempt:${ids(id).revision}:join`];
|
|
361
|
+
if (record.result) {
|
|
362
|
+
const expected = this.resultReceipt(record);
|
|
363
|
+
if (!record.resultReceipt || record.resultReceipt.length !== expected.length ||
|
|
364
|
+
!timingSafeEqual(Buffer.from(record.resultReceipt), Buffer.from(expected))) {
|
|
365
|
+
throw new AgentFabricError("AF_INVALID_STATE", "Adaptive saved result receipt is invalid");
|
|
366
|
+
}
|
|
367
|
+
for (const role of ["inventory", "constraints"] as const) {
|
|
368
|
+
const saved = record.result.children?.[role];
|
|
369
|
+
const authoritative = state.outcomes[`attempt:${ids(id).revision}:${role}`];
|
|
370
|
+
if (!saved) throw new AgentFabricError("AF_INVALID_STATE", "Adaptive saved child is missing");
|
|
371
|
+
if ((saved.status === "succeeded" || saved.status === "failed") &&
|
|
372
|
+
(!authoritative || digestCanonical(saved, sha256Digest) !== digestCanonical(authoritative, sha256Digest))) {
|
|
373
|
+
throw new AgentFabricError("AF_INVALID_STATE", "Adaptive saved child differs from authoritative outcome");
|
|
374
|
+
}
|
|
375
|
+
if (saved.status !== "succeeded" && saved.status !== "failed" && authoritative) {
|
|
376
|
+
throw new AgentFabricError("AF_INVALID_STATE", "Adaptive saved child differs from authoritative outcome");
|
|
377
|
+
}
|
|
378
|
+
}
|
|
379
|
+
}
|
|
380
|
+
const phase: Phase = join?.status === "succeeded" ? "succeeded" :
|
|
381
|
+
record.phase === "running" ? "uncertain" : record.phase;
|
|
382
|
+
if (record.phase === "succeeded" && !join) throw new AgentFabricError("AF_INVALID_STATE", "Adaptive result has no authoritative join");
|
|
383
|
+
if (record.result?.join.status === "succeeded" &&
|
|
384
|
+
(!join || record.result.join.outcome.reportDigest !== join.reportDigest ||
|
|
385
|
+
record.result.join.outcome.resultDigest !== join.resultDigest)) {
|
|
386
|
+
throw new AgentFabricError("AF_INVALID_STATE", "Adaptive saved result differs from authoritative join");
|
|
387
|
+
}
|
|
388
|
+
return { id, phase, inputDigest: record.inputDigest,
|
|
389
|
+
...(record.profile ? { profile: record.profile } : {}),
|
|
390
|
+
...(record.result ? { result: record.result } : {}),
|
|
391
|
+
...(record.failure ? { failure: record.failure } : {}),
|
|
392
|
+
journal: { events: events.length, childOutcomes: outcomes.filter((outcome) => outcome.attemptId.endsWith(":inventory") || outcome.attemptId.endsWith(":constraints")).length,
|
|
393
|
+
...(join ? { joinOutcome: { status: join.status, resultDigest: join.resultDigest, reportDigest: join.reportDigest } } : {}) },
|
|
394
|
+
};
|
|
395
|
+
}
|
|
396
|
+
|
|
397
|
+
async close(): Promise<void> { await this.control.close(); }
|
|
398
|
+
}
|
|
@@ -0,0 +1,146 @@
|
|
|
1
|
+
import { spawn, type ChildProcessWithoutNullStreams } from "node:child_process";
|
|
2
|
+
import { tmpdir } from "node:os";
|
|
3
|
+
import { fileURLToPath } from "node:url";
|
|
4
|
+
import { digestCanonical, sha256Digest } from "./canonical.ts";
|
|
5
|
+
import type {
|
|
6
|
+
AdapterManifest, AdapterOutcomeResult, AdapterStartResult, AgentAdapter,
|
|
7
|
+
AttemptExecutionPermit, Clock, Digest, RuntimeObservation, WorkerResultReport,
|
|
8
|
+
} from "./types.ts";
|
|
9
|
+
import type { LocalAdaptiveRole } from "./local-adaptive-harness.ts";
|
|
10
|
+
|
|
11
|
+
const WORKER_PATH = fileURLToPath(new URL("./local-adaptive-digest-worker.mjs", import.meta.url));
|
|
12
|
+
const MAX_OUTPUT_BYTES = 512;
|
|
13
|
+
const MAX_WALL_MS = 1_000;
|
|
14
|
+
|
|
15
|
+
/** Runs one fixed digest worker. Node process isolation here is a bound on this
|
|
16
|
+
* trusted worker program, not a sandbox for arbitrary user or model code. */
|
|
17
|
+
export class LocalAdaptiveProcessAdapter implements AgentAdapter {
|
|
18
|
+
private child: ChildProcessWithoutNullStreams | undefined;
|
|
19
|
+
private outcome: Promise<AdapterOutcomeResult> | undefined;
|
|
20
|
+
private aborted = false;
|
|
21
|
+
private timedOut = false;
|
|
22
|
+
private oversized = false;
|
|
23
|
+
private reportedPid: number | undefined;
|
|
24
|
+
|
|
25
|
+
constructor(
|
|
26
|
+
private readonly role: LocalAdaptiveRole,
|
|
27
|
+
private readonly input: string,
|
|
28
|
+
private readonly clock: Clock,
|
|
29
|
+
private readonly signal?: AbortSignal,
|
|
30
|
+
) {}
|
|
31
|
+
|
|
32
|
+
get pid(): number | undefined { return this.reportedPid; }
|
|
33
|
+
|
|
34
|
+
manifest(): AdapterManifest {
|
|
35
|
+
return { adapterId: "fabric.local.digest-process/v1", version: "1",
|
|
36
|
+
capabilities: ["fabric.local.read"], supportsCancellation: true,
|
|
37
|
+
supportsObservation: false };
|
|
38
|
+
}
|
|
39
|
+
|
|
40
|
+
async startAttempt(permit: AttemptExecutionPermit): Promise<AdapterStartResult> {
|
|
41
|
+
if (this.child || this.outcome) return { status: "unknown", reason: "worker_already_started" };
|
|
42
|
+
if (this.signal?.aborted) return { status: "unknown", reason: "cancelled_before_start" };
|
|
43
|
+
let child: ChildProcessWithoutNullStreams;
|
|
44
|
+
try {
|
|
45
|
+
child = spawn(process.execPath, [WORKER_PATH], {
|
|
46
|
+
cwd: tmpdir(), env: {}, stdio: ["pipe", "pipe", "pipe"],
|
|
47
|
+
windowsHide: true, shell: false,
|
|
48
|
+
});
|
|
49
|
+
} catch {
|
|
50
|
+
return { status: "unknown", reason: "worker_spawn_failed" };
|
|
51
|
+
}
|
|
52
|
+
this.child = child;
|
|
53
|
+
let output = "";
|
|
54
|
+
const deadline = setTimeout(() => {
|
|
55
|
+
this.timedOut = true;
|
|
56
|
+
child.kill();
|
|
57
|
+
}, MAX_WALL_MS);
|
|
58
|
+
const abort = () => {
|
|
59
|
+
this.aborted = true;
|
|
60
|
+
child.kill();
|
|
61
|
+
};
|
|
62
|
+
this.signal?.addEventListener("abort", abort, { once: true });
|
|
63
|
+
child.stdout.setEncoding("utf8");
|
|
64
|
+
child.stdin.on("error", () => { /* Exit is handled by the close event. */ });
|
|
65
|
+
child.stdout.on("data", (chunk: string) => {
|
|
66
|
+
output += chunk;
|
|
67
|
+
if (Buffer.byteLength(output, "utf8") > MAX_OUTPUT_BYTES) {
|
|
68
|
+
this.oversized = true;
|
|
69
|
+
child.kill();
|
|
70
|
+
}
|
|
71
|
+
});
|
|
72
|
+
// A worker may print diagnostics, but they are never surfaced as authority.
|
|
73
|
+
child.stderr.resume();
|
|
74
|
+
this.outcome = new Promise<AdapterOutcomeResult>((resolve) => {
|
|
75
|
+
child.once("close", (code) => {
|
|
76
|
+
clearTimeout(deadline);
|
|
77
|
+
this.signal?.removeEventListener("abort", abort);
|
|
78
|
+
if (this.aborted || this.timedOut || this.oversized) {
|
|
79
|
+
resolve({ status: "unknown", reason: this.aborted ? "worker_cancelled" :
|
|
80
|
+
this.timedOut ? "worker_timeout" : "worker_output_oversized" });
|
|
81
|
+
return;
|
|
82
|
+
}
|
|
83
|
+
if (code !== 0) {
|
|
84
|
+
resolve({ status: "reported", report: this.report(permit, "failed",
|
|
85
|
+
digestCanonical({ role: this.role, failure: "worker_exit" }, sha256Digest)) });
|
|
86
|
+
return;
|
|
87
|
+
}
|
|
88
|
+
let parsed: unknown;
|
|
89
|
+
try { parsed = JSON.parse(output); } catch {
|
|
90
|
+
resolve({ status: "unknown", reason: "worker_output_invalid" });
|
|
91
|
+
return;
|
|
92
|
+
}
|
|
93
|
+
const value = parsed as Record<string, unknown>;
|
|
94
|
+
const expected = digestCanonical({ role: this.role, input: this.input }, sha256Digest);
|
|
95
|
+
if (!value || typeof value !== "object" || Array.isArray(value) ||
|
|
96
|
+
Object.keys(value).sort().join(",") !== "pid,resultDigest,role" ||
|
|
97
|
+
value.pid !== child.pid || value.role !== this.role || value.resultDigest !== expected) {
|
|
98
|
+
resolve({ status: "unknown", reason: "worker_digest_mismatch" });
|
|
99
|
+
return;
|
|
100
|
+
}
|
|
101
|
+
this.reportedPid = child.pid;
|
|
102
|
+
resolve({ status: "reported", report: this.report(permit, "succeeded", expected) });
|
|
103
|
+
});
|
|
104
|
+
});
|
|
105
|
+
const started = await new Promise<boolean>((resolve) => {
|
|
106
|
+
child.once("spawn", () => resolve(true));
|
|
107
|
+
child.once("error", () => resolve(false));
|
|
108
|
+
});
|
|
109
|
+
if (!started) {
|
|
110
|
+
child.kill();
|
|
111
|
+
return { status: "unknown", reason: "worker_spawn_failed" };
|
|
112
|
+
}
|
|
113
|
+
child.stdin.end(JSON.stringify({ role: this.role, input: this.input }));
|
|
114
|
+
return { status: "started", report: {
|
|
115
|
+
startupReportId: `startup:${permit.attemptId}`, attemptId: permit.attemptId,
|
|
116
|
+
observedSpecDigest: permit.effectiveRunSpecDigest, startedAt: this.clock.now(),
|
|
117
|
+
} };
|
|
118
|
+
}
|
|
119
|
+
|
|
120
|
+
async collectOutcome(_attemptId: string): Promise<AdapterOutcomeResult> {
|
|
121
|
+
return this.outcome ?? { status: "unknown", reason: "worker_not_started" };
|
|
122
|
+
}
|
|
123
|
+
|
|
124
|
+
async observeAttempt(_attemptId: string): Promise<readonly RuntimeObservation[]> { return []; }
|
|
125
|
+
|
|
126
|
+
async requestCancellation(_attemptId: string): Promise<{ acknowledged: boolean }> {
|
|
127
|
+
this.aborted = true;
|
|
128
|
+
return { acknowledged: this.child?.kill() ?? false };
|
|
129
|
+
}
|
|
130
|
+
|
|
131
|
+
async observeTermination(_attemptId: string): Promise<"terminated" | "running" | "unknown"> {
|
|
132
|
+
if (!this.child) return "unknown";
|
|
133
|
+
return this.child.exitCode === null ? "running" : "terminated";
|
|
134
|
+
}
|
|
135
|
+
|
|
136
|
+
private report(permit: AttemptExecutionPermit, status: "succeeded" | "failed", resultDigest: Digest): WorkerResultReport {
|
|
137
|
+
return {
|
|
138
|
+
reportId: `report:${permit.attemptId}`, attemptId: permit.attemptId,
|
|
139
|
+
permitId: permit.permitId, intentId: permit.intentId,
|
|
140
|
+
planRevisionId: permit.planRevisionId,
|
|
141
|
+
effectiveRunSpecDigest: permit.effectiveRunSpecDigest,
|
|
142
|
+
fencingToken: permit.fencingToken, status, resultDigest,
|
|
143
|
+
evidenceDigests: [], reportedAt: this.clock.now(),
|
|
144
|
+
};
|
|
145
|
+
}
|
|
146
|
+
}
|