@deksden-com/dd-flow-cli 0.9.0-beta.14 → 0.9.0-beta.140
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/CHANGELOG.md +733 -0
- package/README.md +143 -1
- package/dist/build-info.json +8 -8
- package/dist/cli/argument-values.js +38 -0
- package/dist/cli/command-inputs.js +376 -0
- package/dist/cli/command-metadata.js +197 -0
- package/dist/cli/command-option-descriptions.js +191 -0
- package/dist/cli/completion-cli.js +70 -0
- package/dist/cli/completion.js +57 -0
- package/dist/cli/error-output.js +52 -0
- package/dist/cli/executor-onboarding.js +76 -0
- package/dist/cli/flows.js +29 -0
- package/dist/cli/harnesses.js +84 -0
- package/dist/cli/help.js +328 -18
- package/dist/cli/hook-ingress.js +78 -0
- package/dist/cli/input-preparation.js +165 -0
- package/dist/cli/memory-flow-admission.js +44 -0
- package/dist/cli/memory-init-invocation.js +78 -0
- package/dist/cli/memory-init.js +240 -0
- package/dist/cli/memory-storage-admission.js +53 -0
- package/dist/cli/models.js +39 -0
- package/dist/cli/native-hook-ingress.js +80 -0
- package/dist/cli/operator-profiles.js +61 -0
- package/dist/cli/output-options.js +35 -0
- package/dist/cli/response-file.js +71 -0
- package/dist/cli/run-cli.js +1689 -545
- package/dist/cli/runtime-maintenance-diagnostics.js +46 -0
- package/dist/cli/runtime-maintenance-ingress.js +52 -0
- package/dist/cli/runtime-process.js +153 -0
- package/dist/cli/setup.js +149 -0
- package/dist/cli.js +71 -2
- package/dist/domain/stage-catalog.js +1 -1
- package/dist/domain/stage-handler-identities.js +20 -0
- package/dist/harness-runtime/DD-ZCODE.md +112 -0
- package/dist/harness-runtime/OPENCODE-LICENSE.txt +24 -0
- package/dist/harness-runtime/bin/dd-agy.mjs +56 -0
- package/dist/harness-runtime/bin/dd-codex.mjs +27 -0
- package/dist/harness-runtime/bin/dd-droid.mjs +34 -0
- package/dist/harness-runtime/bin/dd-grok.mjs +40 -0
- package/dist/harness-runtime/bin/dd-opencode.mjs +22 -0
- package/dist/harness-runtime/bin/dd-zcode.mjs +87 -0
- package/dist/harness-runtime/lib/adapter-timeouts.d.mts +5 -0
- package/dist/harness-runtime/lib/adapter-timeouts.mjs +34 -0
- package/dist/harness-runtime/lib/agy-hooks.d.mts +1 -0
- package/dist/harness-runtime/lib/agy-hooks.mjs +9 -0
- package/dist/harness-runtime/lib/daemon-observation.d.mts +2 -0
- package/dist/harness-runtime/lib/daemon-observation.mjs +163 -0
- package/dist/harness-runtime/lib/daemon-operations.d.mts +1 -0
- package/dist/harness-runtime/lib/daemon-operations.mjs +371 -0
- package/dist/harness-runtime/lib/dd-agy-daemon.d.mts +6 -0
- package/dist/harness-runtime/lib/dd-agy-daemon.mjs +724 -0
- package/dist/harness-runtime/lib/dd-agy.mjs +70 -0
- package/dist/harness-runtime/lib/dd-codex-daemon.d.mts +1 -0
- package/dist/harness-runtime/lib/dd-codex-daemon.mjs +196 -0
- package/dist/harness-runtime/lib/dd-codex.d.mts +1 -0
- package/dist/harness-runtime/lib/dd-codex.mjs +817 -0
- package/dist/harness-runtime/lib/dd-droid-daemon.mjs +129 -0
- package/dist/harness-runtime/lib/dd-droid.mjs +584 -0
- package/dist/harness-runtime/lib/dd-grok-daemon.mjs +498 -0
- package/dist/harness-runtime/lib/dd-grok.mjs +177 -0
- package/dist/harness-runtime/lib/dd-opencode-daemon.mjs +507 -0
- package/dist/harness-runtime/lib/dd-opencode.mjs +354 -0
- package/dist/harness-runtime/lib/dd-zcode-daemon.mjs +750 -0
- package/dist/harness-runtime/lib/dd-zcode.mjs +1145 -0
- package/dist/harness-runtime/lib/delegation-instructions.d.mts +14 -0
- package/dist/harness-runtime/lib/delegation-instructions.mjs +157 -0
- package/dist/harness-runtime/lib/dispatch-fence.mjs +14 -0
- package/dist/harness-runtime/lib/driver-recovery.mjs +139 -0
- package/dist/harness-runtime/lib/droid-observation.mjs +66 -0
- package/dist/harness-runtime/lib/lease-renewal.d.mts +8 -0
- package/dist/harness-runtime/lib/lease-renewal.mjs +37 -0
- package/dist/harness-runtime/lib/lifecycle-command.d.mts +20 -0
- package/dist/harness-runtime/lib/lifecycle-command.mjs +273 -0
- package/dist/harness-runtime/lib/lifecycle-contract.d.mts +10 -0
- package/dist/harness-runtime/lib/lifecycle-contract.mjs +19 -0
- package/dist/harness-runtime/lib/managed-daemon.d.mts +13 -0
- package/dist/harness-runtime/lib/managed-daemon.mjs +654 -0
- package/dist/harness-runtime/lib/managed-flow-env.mjs +15 -0
- package/dist/harness-runtime/lib/model-observations.mjs +101 -0
- package/dist/harness-runtime/lib/native-children.d.mts +16 -0
- package/dist/harness-runtime/lib/native-children.mjs +113 -0
- package/dist/harness-runtime/lib/native-hook-command.d.mts +7 -0
- package/dist/harness-runtime/lib/native-hook-command.mjs +251 -0
- package/dist/harness-runtime/lib/native-request-proof.d.mts +2 -0
- package/dist/harness-runtime/lib/native-request-proof.mjs +65 -0
- package/dist/harness-runtime/lib/native-streams.mjs +45 -0
- package/dist/harness-runtime/lib/observation-clock.d.mts +18 -0
- package/dist/harness-runtime/lib/observation-clock.mjs +92 -0
- package/dist/harness-runtime/lib/opencode-plugin.mjs +85 -0
- package/dist/harness-runtime/lib/operation-context.mjs +5 -0
- package/dist/harness-runtime/lib/operation-errors.d.mts +14 -0
- package/dist/harness-runtime/lib/operation-errors.mjs +116 -0
- package/dist/harness-runtime/lib/operation-progress.d.mts +7 -0
- package/dist/harness-runtime/lib/operation-progress.mjs +114 -0
- package/dist/harness-runtime/lib/process-json.d.mts +5 -0
- package/dist/harness-runtime/lib/process-json.mjs +201 -0
- package/dist/harness-runtime/lib/process-snapshot.mjs +10 -0
- package/dist/harness-runtime/lib/provider-overload-policy.d.mts +13 -0
- package/dist/harness-runtime/lib/provider-overload-policy.mjs +138 -0
- package/dist/harness-runtime/lib/runner-events.mjs +200 -0
- package/dist/harness-runtime/lib/runner-lock.mjs +42 -0
- package/dist/harness-runtime/lib/session-settlement.mjs +30 -0
- package/dist/harness-runtime/lib/setup-progress.d.mts +9 -0
- package/dist/harness-runtime/lib/setup-progress.mjs +51 -0
- package/dist/harness-runtime/lib/tool-observations.d.mts +21 -0
- package/dist/harness-runtime/lib/tool-observations.mjs +228 -0
- package/dist/harness-runtime/lib/zcode-usage.mjs +55 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-1y4a697q.js +81 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-2ny4vxct.js +92 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-6mptkzbc.js +0 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-7x67cf1q.js +52 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-9rqn6x4v.js +16 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-9vdz0zwn.js +1661 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-ecs5ftka.js +1466 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-frbwqjmf.js +145 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-gne7h7mq.js +50 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-gx9wnkzr.js +105 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-m2eywc8w.js +0 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-nwcpakzx.js +12 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-q4g3afnw.js +623 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-qav6mfdz.js +0 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-sxt88q69.js +12 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-t1xa31vm.js +39 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-ve4aws36.js +103 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-vmytr4q8.js +4 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-vt9jbch8.js +36 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-vyas3vgt.js +0 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-wjyeq25y.js +30 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-xgnj2w4v.js +20 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-y2etg5bs.js +9 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-ydhz1zrh.js +238 -0
- package/dist/harness-runtime/vendor/opencode-client/chunks/service-probe-z6qdwcsf.js +62 -0
- package/dist/harness-runtime/vendor/opencode-client/contract.d.ts +1 -0
- package/dist/harness-runtime/vendor/opencode-client/contract.js +12 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/api/api.d.ts +2806 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/api/api.js +0 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/api.d.ts +4 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/api.js +0 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/client.d.ts +2530 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/client.js +15 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/generated/client-error.d.ts +7 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/generated/client-error.js +6 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/generated/client.d.ts +2529 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/generated/client.js +8 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/generated/index.d.ts +2 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/generated/index.js +12 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/index.d.ts +35 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/index.js +75 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/rpc.d.ts +20 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/rpc.js +11 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/service.d.ts +90 -0
- package/dist/harness-runtime/vendor/opencode-client/effect/service.js +187 -0
- package/dist/harness-runtime/vendor/opencode-client/package.json +84 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/api.d.ts +21 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/api.js +0 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/client.d.ts +252 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/client.js +14 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/generated/client-error.d.ts +8 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/generated/client-error.js +6 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/generated/client.d.ts +259 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/generated/client.js +7 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/generated/index.d.ts +3 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/generated/index.js +79 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/generated/types.d.ts +8932 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/generated/types.js +70 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/index.d.ts +6 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/index.js +83 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/rpc.d.ts +32 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/rpc.js +7 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/service.d.ts +24 -0
- package/dist/harness-runtime/vendor/opencode-client/promise/service.js +187 -0
- package/dist/harness-runtime/vendor/opencode-client/pty-handoff.d.ts +12 -0
- package/dist/harness-runtime/vendor/opencode-client/pty-handoff.js +14 -0
- package/dist/harness-runtime/vendor/opencode-client/rpc-runtime.d.ts +20 -0
- package/dist/harness-runtime/vendor/opencode-client/rpc-runtime.js +14 -0
- package/dist/harness-runtime/vendor/opencode-client/service-contender.d.ts +37 -0
- package/dist/harness-runtime/vendor/opencode-client/service-contender.js +10 -0
- package/dist/harness-runtime/vendor/opencode-client/service-probe.d.ts +70 -0
- package/dist/harness-runtime/vendor/opencode-client/service-probe.js +16 -0
- package/dist/harness-runtime/vendor/opencode-client/service-timing.d.ts +12 -0
- package/dist/harness-runtime/vendor/opencode-client/service-timing.js +10 -0
- package/dist/harness-runtime/vendor/opencode-client/service-version.d.ts +2 -0
- package/dist/harness-runtime/vendor/opencode-client/service-version.js +6 -0
- package/dist/harness-runtime/vendor/opencode-client/service.d.ts +52 -0
- package/dist/harness-runtime/vendor/opencode-client/service.js +1 -0
- package/dist/harness-runtime/vendor/opencode-client/shared-events.d.ts +11 -0
- package/dist/harness-runtime/vendor/opencode-client/shared-events.js +8 -0
- package/dist/harness-runtime/vendor/opencode-client/solid/connection.d.ts +37 -0
- package/dist/harness-runtime/vendor/opencode-client/solid/connection.js +10 -0
- package/dist/harness-runtime/vendor/opencode-client/solid/data.d.ts +211 -0
- package/dist/harness-runtime/vendor/opencode-client/solid/data.js +18 -0
- package/dist/harness-runtime/vendor/opencode-client/solid/index.d.ts +3 -0
- package/dist/harness-runtime/vendor/opencode-client/solid/index.js +32 -0
- package/dist/harness-runtime/vendor/opencode-client/solid/pty.d.ts +22 -0
- package/dist/harness-runtime/vendor/opencode-client/solid/pty.js +8 -0
- package/dist/harness-runtime/vendor/opencode-plugin.mjs +3 -0
- package/dist/protocol/local-files.js +18 -9
- package/dist/runtime/context.js +8 -4
- package/dist/schemas/agent-profile.schema.json +1 -1
- package/dist/schemas/code-review-result.schema.json +1 -1
- package/dist/schemas/code-verification.schema.json +7 -5
- package/dist/schemas/code-work-batch.schema.json +2 -2
- package/dist/schemas/discovery-result.schema.json +184 -0
- package/dist/schemas/execution-bundle.schema.json +205 -0
- package/dist/schemas/execution-settings.schema.json +162 -0
- package/dist/schemas/flow-descriptor.schema.json +54 -0
- package/dist/schemas/flow-run.schema.json +28 -0
- package/dist/schemas/harness-catalog.schema.json +80 -0
- package/dist/schemas/mb-init-compose-result.schema.json +457 -0
- package/dist/schemas/mb-init-discover-result.schema.json +500 -0
- package/dist/schemas/mb-init-finish-result.schema.json +422 -0
- package/dist/schemas/mb-init-preflight-result.schema.json +367 -0
- package/dist/schemas/mb-init-review-result.schema.json +396 -0
- package/dist/schemas/mb-init-verify-result.schema.json +391 -0
- package/dist/schemas/memory-bootstrap-receipt-v2.schema.json +67 -0
- package/dist/schemas/memory-bootstrap-receipt.schema.json +354 -0
- package/dist/schemas/memory-composition-work-result.schema.json +38 -0
- package/dist/schemas/memory-repair-work-result.schema.json +49 -0
- package/dist/schemas/memory-review-correction-plan.schema.json +30 -0
- package/dist/schemas/memory-review-work-result.schema.json +43 -0
- package/dist/schemas/model-catalog.schema.json +153 -0
- package/dist/schemas/plan-review-decision.schema.json +3 -3
- package/dist/schemas/plan-review-result.schema.json +2 -2
- package/dist/schemas/profile-settings.schema.json +122 -0
- package/dist/schemas/release-manifest.schema.json +291 -0
- package/dist/schemas/run-control-receipt.schema.json +118 -0
- package/dist/schemas/run-control-request.schema.json +36 -0
- package/dist/schemas/run-engine-binding.schema.json +1 -1
- package/dist/schemas/vnext-protocol-plan.schema.json +2 -2
- package/dist/services/branch-context.js +3 -3
- package/dist/services/canon.js +11 -8
- package/dist/services/check-runner-evidence.js +168 -0
- package/dist/services/cleanup.js +133 -40
- package/dist/services/cli-operation-classifier.js +25 -62
- package/dist/services/cli-upgrade-allowlist.js +27 -0
- package/dist/services/code-checks.js +1156 -107
- package/dist/services/codex-hook-delivery.js +32 -0
- package/dist/services/command-context.js +80 -0
- package/dist/services/compatibility-preflight.js +13 -3
- package/dist/services/config.js +11 -8
- package/dist/services/continuation-outcome.js +20 -0
- package/dist/services/controller-child-capacity.js +13 -0
- package/dist/services/controller-child-observer.js +115 -0
- package/dist/services/controller-execution.js +88 -0
- package/dist/services/controller-fanout.js +202 -0
- package/dist/services/dashboard.js +143 -58
- package/dist/services/descriptor-coordinator-session.js +35 -0
- package/dist/services/descriptor-root-work.js +53 -0
- package/dist/services/descriptor-run-settlement.js +105 -0
- package/dist/services/descriptor-run-start.js +449 -0
- package/dist/services/descriptor-stage-coordinator.js +197 -0
- package/dist/services/descriptor-stage-settlement.js +222 -0
- package/dist/services/descriptor-stage-start.js +139 -0
- package/dist/services/discovery/agy-discovery.js +2 -0
- package/dist/services/discovery/codex-discovery.js +2 -0
- package/dist/services/discovery/droid-discovery.js +2 -0
- package/dist/services/discovery/grok-discovery.js +2 -0
- package/dist/services/discovery/opencode-discovery.js +2 -0
- package/dist/services/discovery/static.js +31 -0
- package/dist/services/discovery/zcode-discovery.js +2 -0
- package/dist/services/engines.js +294 -153
- package/dist/services/eval-snapshots.js +1215 -116
- package/dist/services/execution-bundles.js +263 -0
- package/dist/services/execution-policy.js +185 -0
- package/dist/services/executor-onboarding.js +56 -0
- package/dist/services/external-work-launch.js +308 -0
- package/dist/services/flow-catalog.js +21 -0
- package/dist/services/flow-descriptors.js +82 -0
- package/dist/services/frozen-engine.js +250 -0
- package/dist/services/generic-execution.js +164 -0
- package/dist/services/harness-adapter.js +355 -36
- package/dist/services/harness-config.js +2 -0
- package/dist/services/harness-discovery.js +29 -0
- package/dist/services/harness-doctor.js +75 -0
- package/dist/services/harness-probe-effects.js +51 -0
- package/dist/services/harness-version-probe.js +100 -0
- package/dist/services/hooks.js +771 -325
- package/dist/services/hybrid-contracts.js +483 -0
- package/dist/services/ids.js +29 -1
- package/dist/services/installation-lock.js +95 -0
- package/dist/services/installed-flow-source.js +183 -0
- package/dist/services/lanes.js +78 -65
- package/dist/services/lifecycle-command.js +1 -288
- package/dist/services/lifecycle-contract.js +1 -0
- package/dist/services/lifecycle-invocations.js +2007 -0
- package/dist/services/managed-daemon-binding.js +38 -0
- package/dist/services/managed-lease-monitor.js +133 -0
- package/dist/services/managed-processes.js +475 -55
- package/dist/services/memory-accepted-composition.js +77 -0
- package/dist/services/memory-baseline-preservation.js +65 -0
- package/dist/services/memory-completed-correction-wave.js +320 -0
- package/dist/services/memory-compose-handler.js +258 -0
- package/dist/services/memory-composition-acceptance.js +199 -0
- package/dist/services/memory-composition-graph.js +134 -0
- package/dist/services/memory-composition-registration.js +146 -0
- package/dist/services/memory-composition-work-custody.js +151 -0
- package/dist/services/memory-composition-work-results.js +96 -0
- package/dist/services/memory-corrected-review-acceptance.js +129 -0
- package/dist/services/memory-corrected-review-batch.js +30 -0
- package/dist/services/memory-corrected-review-findings.js +106 -0
- package/dist/services/memory-corrected-review-inputs.js +210 -0
- package/dist/services/memory-corrected-review-projection.js +78 -0
- package/dist/services/memory-corrected-review-receipt.js +170 -0
- package/dist/services/memory-corrected-review-registration.js +191 -0
- package/dist/services/memory-correction-check-receipt.js +219 -0
- package/dist/services/memory-correction-input-owner.js +6 -0
- package/dist/services/memory-discover-handler.js +104 -0
- package/dist/services/memory-finish-evidence.js +435 -0
- package/dist/services/memory-finish-handler.js +215 -0
- package/dist/services/memory-finish-integration.js +280 -0
- package/dist/services/memory-finish-readiness.js +122 -0
- package/dist/services/memory-git-integration.js +151 -0
- package/dist/services/memory-historical-corrected-review.js +206 -0
- package/dist/services/memory-historical-original-review.js +130 -0
- package/dist/services/memory-historical-repair-registration.js +99 -0
- package/dist/services/memory-historical-second-review.js +128 -0
- package/dist/services/memory-init-bootstrap-readiness.js +210 -0
- package/dist/services/memory-init-contexts.js +89 -0
- package/dist/services/memory-init-controller-start.js +84 -0
- package/dist/services/memory-init-engine-release.js +223 -0
- package/dist/services/memory-init-git-policy.js +136 -0
- package/dist/services/memory-init-lint-capability.js +185 -0
- package/dist/services/memory-init-native-capacity.js +296 -0
- package/dist/services/memory-init-preflight.js +330 -0
- package/dist/services/memory-init-project-bootstrap.js +599 -0
- package/dist/services/memory-init-request-candidate.js +157 -0
- package/dist/services/memory-init-request-input.js +66 -0
- package/dist/services/memory-init-resource-storage.js +125 -0
- package/dist/services/memory-init-run-allocation.js +81 -0
- package/dist/services/memory-init-run-bundle.js +98 -0
- package/dist/services/memory-init-start.js +181 -0
- package/dist/services/memory-init-startup-custody.js +80 -0
- package/dist/services/memory-init-startup-input.js +240 -0
- package/dist/services/memory-init-storage.js +81 -0
- package/dist/services/memory-init-stores.js +359 -0
- package/dist/services/memory-init-worktrunk-capability.js +178 -0
- package/dist/services/memory-layer-publication.js +611 -0
- package/dist/services/memory-layer.js +156 -0
- package/dist/services/memory-lint-config.js +85 -0
- package/dist/services/memory-native-review-copy.js +165 -0
- package/dist/services/memory-normal-flow-entry.js +75 -0
- package/dist/services/memory-ordinary-defaults.js +112 -0
- package/dist/services/memory-preflight-bootstrap-custody.js +115 -0
- package/dist/services/memory-preflight-handler.js +259 -0
- package/dist/services/memory-repair-current-view.js +299 -0
- package/dist/services/memory-repair-document-delta.js +451 -0
- package/dist/services/memory-repair-history.js +491 -0
- package/dist/services/memory-repair-physical-binding.js +312 -0
- package/dist/services/memory-repair-publication-files.js +152 -0
- package/dist/services/memory-repair-publication-intent.js +27 -0
- package/dist/services/memory-repair-publication-plan.js +160 -0
- package/dist/services/memory-repair-publication-source.js +225 -0
- package/dist/services/memory-repair-publication.js +794 -0
- package/dist/services/memory-repair-registration.js +239 -0
- package/dist/services/memory-repair-work-baseline.js +413 -0
- package/dist/services/memory-repair-work-completion.js +97 -0
- package/dist/services/memory-repair-work-custody.js +73 -0
- package/dist/services/memory-repair-work-results.js +89 -0
- package/dist/services/memory-repair-workspace.js +252 -0
- package/dist/services/memory-repair-writer-copy.js +735 -0
- package/dist/services/memory-result-binding.js +173 -0
- package/dist/services/memory-retained-review-authority.js +129 -0
- package/dist/services/memory-retained-review-results.js +70 -0
- package/dist/services/memory-retained-second-baseline.js +102 -0
- package/dist/services/memory-retained-second-repairs.js +156 -0
- package/dist/services/memory-review-acceptance.js +214 -0
- package/dist/services/memory-review-correction-plan.js +171 -0
- package/dist/services/memory-review-handler.js +585 -0
- package/dist/services/memory-review-inputs.js +200 -0
- package/dist/services/memory-review-receipt.js +180 -0
- package/dist/services/memory-review-registration.js +108 -0
- package/dist/services/memory-review-work-custody.js +124 -0
- package/dist/services/memory-review-work-input.js +72 -0
- package/dist/services/memory-review-work-results.js +73 -0
- package/dist/services/memory-second-corrected-review-inputs.js +165 -0
- package/dist/services/memory-second-correction-plan.js +76 -0
- package/dist/services/memory-second-repair-baseline.js +91 -0
- package/dist/services/memory-second-repair-launch.js +614 -0
- package/dist/services/memory-second-repair-registration.js +88 -0
- package/dist/services/memory-second-repair-source.js +187 -0
- package/dist/services/memory-second-review-acceptance.js +115 -0
- package/dist/services/memory-source-observations.js +117 -0
- package/dist/services/memory-stage-dispatch.js +28 -0
- package/dist/services/memory-stage-results.js +199 -0
- package/dist/services/memory-verification-acceptance.js +135 -0
- package/dist/services/memory-verification-checks.js +252 -0
- package/dist/services/memory-verification-receipt.js +159 -0
- package/dist/services/memory-verify-handler.js +135 -0
- package/dist/services/memory-work-result-preparation.js +63 -0
- package/dist/services/merge-queue.js +228 -149
- package/dist/services/merge-server.js +161 -35
- package/dist/services/migrations.js +37 -16
- package/dist/services/model-catalog.js +109 -0
- package/dist/services/model-discovery.js +46 -0
- package/dist/services/native-daemon-history.js +49 -0
- package/dist/services/native-session-control.js +39 -0
- package/dist/services/operator-profiles.js +236 -0
- package/dist/services/plan-runtime.js +26 -11
- package/dist/services/plans.js +28 -25
- package/dist/services/projects.js +37 -17
- package/dist/services/prompts.js +28 -17
- package/dist/services/protocols.js +163 -87
- package/dist/services/provider-capacity.js +385 -0
- package/dist/services/recovery-observation-budget.js +121 -0
- package/dist/services/recovery-snapshot-database.js +560 -0
- package/dist/services/release-archive-producer.js +52 -0
- package/dist/services/release-archive.js +143 -0
- package/dist/services/release-cache.js +142 -0
- package/dist/services/release-compatibility.js +18 -0
- package/dist/services/release-download.js +67 -0
- package/dist/services/release-envelope.js +104 -0
- package/dist/services/release-manifest.js +45 -0
- package/dist/services/release-payload.js +114 -0
- package/dist/services/release-producer.js +63 -0
- package/dist/services/release-provenance.js +160 -0
- package/dist/services/release-registry.js +66 -0
- package/dist/services/release-source.js +194 -0
- package/dist/services/repair-intents.js +42 -0
- package/dist/services/review-copy.js +165 -0
- package/dist/services/review-deferral.js +23 -0
- package/dist/services/run-control-receipt.js +56 -0
- package/dist/services/run-control-worker.js +411 -0
- package/dist/services/run-control.js +1056 -0
- package/dist/services/run-controller-adapter.js +399 -0
- package/dist/services/run-controller-capture.js +186 -0
- package/dist/services/run-controller-process.js +208 -0
- package/dist/services/run-controller-recovery.js +289 -0
- package/dist/services/run-controller-state.js +97 -0
- package/dist/services/run-controller.js +1205 -0
- package/dist/services/run-engine-bindings.js +1 -1
- package/dist/services/run-fork.js +147 -0
- package/dist/services/run-health.js +149 -0
- package/dist/services/run-observations.js +152 -0
- package/dist/services/run-projection.js +22 -64
- package/dist/services/run-recovery-guard.js +77 -0
- package/dist/services/run-recovery-runtime.js +112 -0
- package/dist/services/run-recovery.js +489 -0
- package/dist/services/run-start-custody.js +177 -0
- package/dist/services/runs.js +1019 -247
- package/dist/services/runtime-budget.js +430 -0
- package/dist/services/runtime-command.js +43 -0
- package/dist/services/runtime-scope-capture.js +52 -0
- package/dist/services/runtime-scope-control.js +468 -0
- package/dist/services/runtime-scope-resume.js +599 -0
- package/dist/services/runtime-scope-stop.js +210 -0
- package/dist/services/runtime-scope-worker.js +287 -0
- package/dist/services/runtime-service.js +96 -0
- package/dist/services/schema-validation.js +10 -8
- package/dist/services/scope-writer-cleanup.js +27 -0
- package/dist/services/sessions.js +35 -69
- package/dist/services/setup.js +377 -0
- package/dist/services/stage-blocker.js +17 -7
- package/dist/services/stage-context.js +193 -19
- package/dist/services/stage-handlers.js +74 -0
- package/dist/services/stage-lifecycle.js +100 -108
- package/dist/services/stage-pause.js +89 -75
- package/dist/services/stage-report-renderer.js +234 -6
- package/dist/services/stage-work-graph.js +52 -0
- package/dist/services/tooling.js +32 -23
- package/dist/services/usage.js +49 -101
- package/dist/services/verification-matrix.js +374 -0
- package/dist/services/vnext-code-review.js +223 -88
- package/dist/services/vnext-code.js +327 -226
- package/dist/services/vnext-contracts.js +10 -1
- package/dist/services/vnext-execution-profile.js +80 -5
- package/dist/services/vnext-fanout.js +311 -19
- package/dist/services/vnext-merge.js +332 -111
- package/dist/services/vnext-plan-review.js +279 -127
- package/dist/services/vnext-plan.js +229 -104
- package/dist/services/vnext-protocolize.js +411 -86
- package/dist/services/vnext-specify.js +119 -81
- package/dist/services/vnext-workspace-policy.js +7 -2
- package/dist/services/work-registry.js +1627 -199
- package/dist/services/workspace-bootstrap.js +52 -15
- package/dist/services/workspace-files.js +85 -0
- package/dist/services/worktrees.js +98 -44
- package/dist/shared/entity-references.js +8 -0
- package/dist/shared/errors.js +17 -0
- package/dist/storage/agent-output.js +26 -0
- package/dist/storage/database.js +891 -39
- package/dist/storage/foreign-key-transaction.js +39 -0
- package/dist/storage/immutable-input.js +45 -0
- package/dist/storage/import-guard.js +102 -0
- package/dist/storage/native-cleanup.js +52 -0
- package/dist/storage/paths.js +17 -4
- package/dist/storage/projection-lock.js +73 -0
- package/dist/storage/work-references.js +23 -0
- package/dist/storage/writer-contract.js +89 -0
- package/dist/storage/writer-migration.js +85 -0
- package/package.json +43 -13
- package/tools/create-canon-release.mjs +33 -0
- package/tools/produce-hybrid-release.mjs +41 -0
- package/tools/repair-paused-run-status.mjs +84 -0
|
@@ -0,0 +1,191 @@
|
|
|
1
|
+
import { Buffer } from "node:buffer";
|
|
2
|
+
import { AppError } from "../shared/errors.js";
|
|
3
|
+
import { appendAudit } from "./audit.js";
|
|
4
|
+
import { hybridDigest } from "./hybrid-contracts.js";
|
|
5
|
+
import { isMemoryCorrectionInputOwner } from "./memory-correction-input-owner.js";
|
|
6
|
+
import { PreparedMemoryCorrectionCheckReceipt } from "./memory-correction-check-receipt.js";
|
|
7
|
+
import { memoryCorrectedReviewBatch } from "./memory-corrected-review-batch.js";
|
|
8
|
+
import { addWorkBatch, prepareWorkBatch, readWorkBatchCustody } from "./work-registry.js";
|
|
9
|
+
const token = Symbol("registered-corrected-memory-review");
|
|
10
|
+
const event = "memory.corrected_review_registration";
|
|
11
|
+
function refuse(reason) {
|
|
12
|
+
throw new AppError("memory_corrected_review_registration_invalid", "Corrected reviewers lack independent current-view, checks and allocation custody", 2, { reason, effect: "no_effect" });
|
|
13
|
+
}
|
|
14
|
+
function batchScope(view) {
|
|
15
|
+
return { project_id: view.scope.project_id, run_id: view.scope.run_id, stage: "review", attempt: view.scope.attempt,
|
|
16
|
+
cycle: "", parent_work_id: view.scope.parent_work_id, request_key: `memory-review-wave-${view.wave}` };
|
|
17
|
+
}
|
|
18
|
+
function selected(context, inputs, checks) {
|
|
19
|
+
inputs.assertCustody(context);
|
|
20
|
+
checks.assertOwner(inputs);
|
|
21
|
+
checks.assertRegisteredCustody(context);
|
|
22
|
+
const view = inputs.value(), scope = view.scope;
|
|
23
|
+
const receipt = readRetainedRegistration(context, scope, inputs.sha256, checks.sha256, view.wave);
|
|
24
|
+
if (receipt && hybridDigest(receipt.view) !== hybridDigest(view))
|
|
25
|
+
refuse("changed_registration");
|
|
26
|
+
return receipt;
|
|
27
|
+
}
|
|
28
|
+
/** SQL-only retained allocation proof. Expected identities must be pinned by
|
|
29
|
+
* an independent accepted receipt. This reader never grants current-view or
|
|
30
|
+
* new allocation rights and does not inspect an obsolete private copy. */
|
|
31
|
+
export function readRetainedCorrectedMemoryReviewRegistration(context, scope, inputSha256, checkReceiptSha256) {
|
|
32
|
+
return readRetainedRegistration(context, scope, inputSha256, checkReceiptSha256, 1);
|
|
33
|
+
}
|
|
34
|
+
/** Second historical metadata only, pinned by independent accepted hashes.
|
|
35
|
+
* This is not a current input owner or allocation admission. */
|
|
36
|
+
export function readRetainedSecondCorrectedMemoryReviewRegistration(context, scope, inputSha256, checkReceiptSha256) {
|
|
37
|
+
return readRetainedRegistration(context, scope, inputSha256, checkReceiptSha256, 2);
|
|
38
|
+
}
|
|
39
|
+
function readRetainedRegistration(context, scope, inputSha256, checkReceiptSha256, wave) {
|
|
40
|
+
const rows = context.db.all("SELECT payload_json FROM audit_events WHERE project_id=? AND event_type=? AND json_extract(payload_json,'$.run_id')=? AND json_extract(payload_json,'$.scope.attempt')=? AND json_extract(payload_json,'$.scope.parent_work_id')=? AND json_extract(payload_json,'$.wave')=? LIMIT 2", [scope.project_id, event, scope.run_id, scope.attempt, scope.parent_work_id, wave]);
|
|
41
|
+
if (!rows.length)
|
|
42
|
+
return null;
|
|
43
|
+
if (rows.length !== 1 || Buffer.byteLength(rows[0].payload_json) > 2 * 1024 * 1024)
|
|
44
|
+
refuse("ambiguous_or_unbounded_registration");
|
|
45
|
+
let receipt;
|
|
46
|
+
try {
|
|
47
|
+
receipt = JSON.parse(rows[0].payload_json);
|
|
48
|
+
}
|
|
49
|
+
catch {
|
|
50
|
+
return refuse("invalid_registration");
|
|
51
|
+
}
|
|
52
|
+
const view = receipt?.view;
|
|
53
|
+
if (!view || hybridDigest(view.scope) !== hybridDigest(scope) || view.wave !== wave
|
|
54
|
+
|| hybridDigest(view) !== inputSha256 || !/^[a-f0-9]{64}$/.test(inputSha256)
|
|
55
|
+
|| !/^[a-f0-9]{64}$/.test(checkReceiptSha256))
|
|
56
|
+
refuse("changed_retained_view");
|
|
57
|
+
const batch = memoryCorrectedReviewBatch(view), ids = receipt?.work_ids;
|
|
58
|
+
if (!ids || typeof ids !== "object" || Array.isArray(ids)
|
|
59
|
+
|| Object.keys(ids).length !== batch.works.length || Object.values(ids).some(id => typeof id !== "string" || !id)
|
|
60
|
+
|| new Set(Object.values(ids)).size !== batch.works.length)
|
|
61
|
+
refuse("invalid_work_ids");
|
|
62
|
+
const expected = { schema_id: "dd-flow/memory-corrected-review-registration@1", run_id: scope.run_id, scope, wave: view.wave,
|
|
63
|
+
input_sha256: inputSha256, view, check_receipt_sha256: checkReceiptSha256, batch_sha256: hybridDigest(batch.works), work_ids: ids };
|
|
64
|
+
if (hybridDigest(receipt) !== hybridDigest(expected))
|
|
65
|
+
refuse("changed_registration");
|
|
66
|
+
for (const item of batch.works) {
|
|
67
|
+
const id = ids[item.key];
|
|
68
|
+
if (!id)
|
|
69
|
+
refuse("missing_review_work");
|
|
70
|
+
const custody = readWorkBatchCustody(context, id);
|
|
71
|
+
if (custody.item_key !== item.key || custody.batch_sha256 !== expected.batch_sha256
|
|
72
|
+
|| hybridDigest(custody.scope) !== hybridDigest(batchScope(view))
|
|
73
|
+
|| hybridDigest(custody.work_ids) !== hybridDigest(ids))
|
|
74
|
+
refuse("changed_work_custody");
|
|
75
|
+
const work = context.db.get("SELECT parent_work_id,task,launch_policy,result_schema,payload_json,depends_on_json FROM works WHERE project_id=? AND run_id=? AND work_id=?", [scope.project_id, scope.run_id, id]);
|
|
76
|
+
let payload, dependencies;
|
|
77
|
+
try {
|
|
78
|
+
payload = JSON.parse(work?.payload_json ?? "null");
|
|
79
|
+
dependencies = JSON.parse(work?.depends_on_json ?? "null");
|
|
80
|
+
}
|
|
81
|
+
catch {
|
|
82
|
+
return refuse("invalid_review_work");
|
|
83
|
+
}
|
|
84
|
+
if (!work || work.parent_work_id !== scope.parent_work_id || work.task !== item.task
|
|
85
|
+
|| work.launch_policy !== item.launch_policy || work.result_schema !== item.result_schema
|
|
86
|
+
|| hybridDigest(dependencies) !== hybridDigest([])
|
|
87
|
+
|| hybridDigest(payload) !== hybridDigest({ ...item.payload, _dd_flow_batch_request: {
|
|
88
|
+
request_sha256: custody.request_sha256, batch_sha256: custody.batch_sha256, item_key: item.key
|
|
89
|
+
} }))
|
|
90
|
+
refuse("changed_review_work");
|
|
91
|
+
}
|
|
92
|
+
return structuredClone(receipt);
|
|
93
|
+
}
|
|
94
|
+
/** A selective wave is allocated only after independent current-view checks.
|
|
95
|
+
* The generic batch and this receipt commit together. Replay never allocates
|
|
96
|
+
* replacements after receipt loss and never grants provider or Session scope. */
|
|
97
|
+
export class PreparedRegisteredCorrectedMemoryReview {
|
|
98
|
+
static isPrepared(value) {
|
|
99
|
+
return typeof value === "object" && value !== null && #inputs in value;
|
|
100
|
+
}
|
|
101
|
+
sha256;
|
|
102
|
+
#inputs;
|
|
103
|
+
#checks;
|
|
104
|
+
#receipt;
|
|
105
|
+
constructor(key, inputs, checks, receipt) {
|
|
106
|
+
if (key !== token)
|
|
107
|
+
refuse("registration_token_required");
|
|
108
|
+
this.#inputs = inputs;
|
|
109
|
+
this.#checks = checks;
|
|
110
|
+
this.#receipt = structuredClone(receipt);
|
|
111
|
+
this.sha256 = hybridDigest(receipt);
|
|
112
|
+
Object.freeze(this);
|
|
113
|
+
}
|
|
114
|
+
static restore(context, inputs, checks) {
|
|
115
|
+
if (!isMemoryCorrectionInputOwner(inputs) || !PreparedMemoryCorrectionCheckReceipt.isPrepared(checks))
|
|
116
|
+
refuse("prepared_registration_owners_required");
|
|
117
|
+
if (context.db.isOwnedWriteTransaction?.())
|
|
118
|
+
refuse("preparation_outside_writer_required");
|
|
119
|
+
checks.assertOwner(inputs);
|
|
120
|
+
checks.revalidate(context);
|
|
121
|
+
checks.assertRegisteredCustody(context);
|
|
122
|
+
const receipt = context.db.readSnapshot(() => selected(context, inputs, checks));
|
|
123
|
+
if (!receipt)
|
|
124
|
+
refuse("registered_corrected_review_required");
|
|
125
|
+
const prepared = new PreparedRegisteredCorrectedMemoryReview(token, inputs, checks, receipt);
|
|
126
|
+
prepared.assertCustody(context);
|
|
127
|
+
return prepared;
|
|
128
|
+
}
|
|
129
|
+
receipt() { return structuredClone(this.#receipt); }
|
|
130
|
+
inputs() { return this.#inputs; }
|
|
131
|
+
batch() { return memoryCorrectedReviewBatch(this.#inputs.value()); }
|
|
132
|
+
assertCustody(context) {
|
|
133
|
+
if (hybridDigest(selected(context, this.#inputs, this.#checks)) !== this.sha256)
|
|
134
|
+
refuse("registered_review_custody_changed");
|
|
135
|
+
}
|
|
136
|
+
revalidate(context) {
|
|
137
|
+
this.#checks.revalidate(context);
|
|
138
|
+
this.assertCustody(context);
|
|
139
|
+
}
|
|
140
|
+
}
|
|
141
|
+
export function registerCorrectedMemoryReview(context, inputs, checks) {
|
|
142
|
+
if (!isMemoryCorrectionInputOwner(inputs) || !PreparedMemoryCorrectionCheckReceipt.isPrepared(checks))
|
|
143
|
+
refuse("prepared_registration_owners_required");
|
|
144
|
+
if (context.db.isOwnedWriteTransaction?.())
|
|
145
|
+
refuse("preparation_outside_writer_required");
|
|
146
|
+
checks.assertOwner(inputs);
|
|
147
|
+
checks.assertRegisteredCustody(context);
|
|
148
|
+
const view = inputs.value(), batch = memoryCorrectedReviewBatch(view), scope = batchScope(view);
|
|
149
|
+
const batchInput = { parentWorkId: scope.parent_work_id, requestKey: scope.request_key, stage: "review", value: batch };
|
|
150
|
+
const prepared = prepareWorkBatch(context, batchInput);
|
|
151
|
+
inputs.revalidate(context);
|
|
152
|
+
checks.revalidate(context);
|
|
153
|
+
const result = context.db.writeTransaction(() => {
|
|
154
|
+
if (!context.db.isOwnedWriteTransaction?.())
|
|
155
|
+
refuse("owned_registration_writer_required");
|
|
156
|
+
const prior = selected(context, inputs, checks);
|
|
157
|
+
if (!prior) {
|
|
158
|
+
// If allocation committed without this receipt, do not manufacture a
|
|
159
|
+
// new wave or adopt an orphaned Work graph from its status alone.
|
|
160
|
+
if (context.db.get("SELECT 1 FROM works w JOIN stage_work_memberships m ON m.work_id=w.work_id AND m.project_id=w.project_id AND m.run_id=w.run_id WHERE w.project_id=? AND w.run_id=? AND w.parent_work_id=? AND m.stage='review' AND m.attempt=? AND json_extract(w.payload_json,'$.kind')='memory-review' AND json_extract(w.payload_json,'$.memory_review.wave')=? LIMIT 1", [scope.project_id, scope.run_id, scope.parent_work_id, scope.attempt, view.wave]))
|
|
161
|
+
refuse("review_registration_missing");
|
|
162
|
+
inputs.assertAllocationAllowed(context);
|
|
163
|
+
}
|
|
164
|
+
const allocated = addWorkBatch(context, { ...batchInput, prepared }), ids = allocated.work_ids;
|
|
165
|
+
if (prior) {
|
|
166
|
+
if (!allocated.replayed || hybridDigest(ids) !== hybridDigest(prior.work_ids))
|
|
167
|
+
refuse("changed_allocation");
|
|
168
|
+
}
|
|
169
|
+
else {
|
|
170
|
+
if (allocated.replayed)
|
|
171
|
+
refuse("review_registration_missing");
|
|
172
|
+
const receipt = { schema_id: "dd-flow/memory-corrected-review-registration@1", run_id: scope.run_id, scope: view.scope, wave: view.wave,
|
|
173
|
+
input_sha256: inputs.sha256, view, check_receipt_sha256: checks.sha256, batch_sha256: hybridDigest(batch.works), work_ids: ids };
|
|
174
|
+
if (Buffer.byteLength(JSON.stringify(receipt)) > 2 * 1024 * 1024)
|
|
175
|
+
refuse("unbounded_registration");
|
|
176
|
+
appendAudit(context, { projectId: scope.project_id, eventType: event, payload: receipt });
|
|
177
|
+
}
|
|
178
|
+
const retained = selected(context, inputs, checks);
|
|
179
|
+
if (!retained)
|
|
180
|
+
refuse("registration_readback_missing");
|
|
181
|
+
return { input_sha256: retained.input_sha256, wave: view.wave, work_ids: { ...retained.work_ids }, replayed: Boolean(prior) };
|
|
182
|
+
}, "memory.registerCorrectedReview");
|
|
183
|
+
try {
|
|
184
|
+
inputs.revalidate(context);
|
|
185
|
+
checks.revalidate(context);
|
|
186
|
+
}
|
|
187
|
+
catch (error) {
|
|
188
|
+
throw new AppError("memory_corrected_review_registration_pending", "Reviewer allocation committed but current-view revalidation needs recovery", 1, { effect: "committed", input_sha256: inputs.sha256, work_ids: result.work_ids, cause: error instanceof Error ? error.message : String(error) });
|
|
189
|
+
}
|
|
190
|
+
return result;
|
|
191
|
+
}
|
|
@@ -0,0 +1,219 @@
|
|
|
1
|
+
import { Buffer } from "node:buffer";
|
|
2
|
+
import { AppError } from "../shared/errors.js";
|
|
3
|
+
import { hybridDigest } from "./hybrid-contracts.js";
|
|
4
|
+
import { appendAudit } from "./audit.js";
|
|
5
|
+
import { PreparedRetainedCheckEvidence } from "./code-checks.js";
|
|
6
|
+
import { isMemoryCorrectionInputOwner } from "./memory-correction-input-owner.js";
|
|
7
|
+
import { PreparedMemoryVerificationChecks } from "./memory-verification-checks.js";
|
|
8
|
+
import { runtimeCommand } from "./runtime-command.js";
|
|
9
|
+
const token = Symbol("memory-correction-check-receipt");
|
|
10
|
+
const event = "memory.correction_checks";
|
|
11
|
+
function refuse(reason) {
|
|
12
|
+
throw new AppError("memory_correction_checks_invalid", "Correction checks lack independent current-view and policy custody", 2, { reason, effect: "no_effect" });
|
|
13
|
+
}
|
|
14
|
+
function stored(context, corrected) {
|
|
15
|
+
corrected.assertCustody(context);
|
|
16
|
+
const view = corrected.value();
|
|
17
|
+
const rows = context.db.all("SELECT payload_json FROM audit_events WHERE project_id=? AND event_type=? AND json_extract(payload_json,'$.run_id')=? AND json_extract(payload_json,'$.wave')=? LIMIT 2", [view.scope.project_id, event, view.scope.run_id, view.wave]);
|
|
18
|
+
if (!rows.length)
|
|
19
|
+
return null;
|
|
20
|
+
if (rows.length !== 1 || Buffer.byteLength(rows[0].payload_json) > 2 * 1024 * 1024)
|
|
21
|
+
refuse("ambiguous_or_unbounded_check_receipt");
|
|
22
|
+
let value;
|
|
23
|
+
try {
|
|
24
|
+
value = JSON.parse(rows[0].payload_json);
|
|
25
|
+
}
|
|
26
|
+
catch {
|
|
27
|
+
return refuse("invalid_check_receipt");
|
|
28
|
+
}
|
|
29
|
+
if (!value || typeof value !== "object" || Array.isArray(value))
|
|
30
|
+
refuse("invalid_check_receipt");
|
|
31
|
+
return value;
|
|
32
|
+
}
|
|
33
|
+
/** Independent finite-check acceptance, not reviewer or Stage acceptance.
|
|
34
|
+
* Registration and reconnect use exact current-view evidence. They never
|
|
35
|
+
* execute a command, allocate Work or declare semantic completeness. */
|
|
36
|
+
export class PreparedMemoryCorrectionCheckReceipt {
|
|
37
|
+
static isPrepared(value) {
|
|
38
|
+
return typeof value === "object" && value !== null && #corrected in value;
|
|
39
|
+
}
|
|
40
|
+
sha256;
|
|
41
|
+
#corrected;
|
|
42
|
+
#policy;
|
|
43
|
+
#evidence;
|
|
44
|
+
#receipt;
|
|
45
|
+
#registered;
|
|
46
|
+
constructor(key, corrected, policy, evidence, receipt, registered) {
|
|
47
|
+
if (key !== token)
|
|
48
|
+
refuse("check_receipt_token_required");
|
|
49
|
+
this.#corrected = corrected;
|
|
50
|
+
this.#policy = policy;
|
|
51
|
+
this.#evidence = evidence;
|
|
52
|
+
this.#receipt = structuredClone(receipt);
|
|
53
|
+
this.#registered = registered;
|
|
54
|
+
this.sha256 = hybridDigest(receipt);
|
|
55
|
+
Object.freeze(this);
|
|
56
|
+
}
|
|
57
|
+
static prepare(context, corrected, policy) {
|
|
58
|
+
if (!isMemoryCorrectionInputOwner(corrected) || !PreparedMemoryVerificationChecks.isPrepared(policy))
|
|
59
|
+
refuse("prepared_check_owners_required");
|
|
60
|
+
if (context.db.isOwnedWriteTransaction?.())
|
|
61
|
+
refuse("preparation_outside_writer_required");
|
|
62
|
+
policy.assertCorrectionOwner(corrected);
|
|
63
|
+
// evidence() revalidates the policy and its exact bound correction owner.
|
|
64
|
+
const view = corrected.value(), evidence = policy.evidence(context);
|
|
65
|
+
evidence.assertOwner({ projectId: view.scope.project_id, runId: view.scope.run_id, scope: "aggregate" });
|
|
66
|
+
const receipt = { schema_id: "dd-flow/memory-correction-checks@1", project_id: view.scope.project_id, run_id: view.scope.run_id,
|
|
67
|
+
wave: view.wave, review_input_sha256: view.scope.input_sha256, corrected_input_sha256: corrected.sha256,
|
|
68
|
+
completed_correction_sha256: view.completed_correction_sha256, profile_sha256: corrected.verificationProfileHash(context),
|
|
69
|
+
declarations_sha256: hybridDigest(policy.declarations()), checks: evidence.retainedReferences(context) };
|
|
70
|
+
if (!receipt.checks.length || receipt.checks.length > 4096 || Buffer.byteLength(JSON.stringify(receipt)) > 2 * 1024 * 1024)
|
|
71
|
+
refuse("unbounded_check_receipt");
|
|
72
|
+
const existing = context.db.readSnapshot(() => stored(context, corrected));
|
|
73
|
+
if (existing && hybridDigest(existing) !== hybridDigest(receipt))
|
|
74
|
+
refuse("registered_check_receipt_changed");
|
|
75
|
+
const prepared = new PreparedMemoryCorrectionCheckReceipt(token, corrected, policy, evidence, receipt, Boolean(existing));
|
|
76
|
+
prepared.assertCustody(context);
|
|
77
|
+
return prepared;
|
|
78
|
+
}
|
|
79
|
+
static restore(context, corrected) {
|
|
80
|
+
if (!isMemoryCorrectionInputOwner(corrected))
|
|
81
|
+
refuse("prepared_check_owners_required");
|
|
82
|
+
if (context.db.isOwnedWriteTransaction?.())
|
|
83
|
+
refuse("preparation_outside_writer_required");
|
|
84
|
+
if (!context.db.readSnapshot(() => stored(context, corrected))) {
|
|
85
|
+
const view = corrected.value(), projectRoot = corrected.bundle().execution.snapshot().scope.projectRoot;
|
|
86
|
+
const args = ["--run", view.scope.run_id, "--project-root", projectRoot, "--wave", String(view.wave), "--json"];
|
|
87
|
+
throw new AppError("memory_correction_checks_invalid", "Correction checks have not been registered for the settled corrected view", 2, { reason: "registered_check_receipt_required", phase: "prepare", effect: "no_effect", recoverable: true,
|
|
88
|
+
correction_instruction: `Run ${runtimeCommand(context, ["memory", "corrections", "checks", ...args])}, then ${runtimeCommand(context, ["memory", "review", "selective-register", ...args])}. End this Turn so the controller can dispatch the independent reviewers. Use retry_command only after their selective review completes; do not retry Finish before checks and selective review.` });
|
|
89
|
+
}
|
|
90
|
+
const bundle = corrected.bundle(), scope = corrected.value().scope;
|
|
91
|
+
const policy = PreparedMemoryVerificationChecks.prepare(context, { projectId: scope.project_id, runId: scope.run_id,
|
|
92
|
+
execution: bundle.execution, flow: bundle.descriptor, corrected });
|
|
93
|
+
return PreparedMemoryCorrectionCheckReceipt.prepare(context, corrected, policy);
|
|
94
|
+
}
|
|
95
|
+
value() {
|
|
96
|
+
return structuredClone(this.#receipt);
|
|
97
|
+
}
|
|
98
|
+
assertOwner(corrected) {
|
|
99
|
+
if (!isMemoryCorrectionInputOwner(corrected) || corrected.sha256 !== this.#corrected.sha256)
|
|
100
|
+
refuse("foreign_corrected_check_receipt");
|
|
101
|
+
}
|
|
102
|
+
assertRegisteredCustody(context) {
|
|
103
|
+
if (!this.#registered)
|
|
104
|
+
refuse("registered_check_receipt_required");
|
|
105
|
+
this.assertCustody(context);
|
|
106
|
+
}
|
|
107
|
+
assertCustody(context) {
|
|
108
|
+
this.#corrected.assertCustody(context);
|
|
109
|
+
this.#policy.assertCustody(context);
|
|
110
|
+
this.#evidence.assertCustody(context);
|
|
111
|
+
const existing = stored(context, this.#corrected);
|
|
112
|
+
if ((this.#registered && !existing) || (existing && hybridDigest(existing) !== this.sha256))
|
|
113
|
+
refuse("registered_check_receipt_changed");
|
|
114
|
+
if (hybridDigest(this.#evidence.retainedReferences(context)) !== hybridDigest(this.#receipt.checks))
|
|
115
|
+
refuse("selected_check_evidence_changed");
|
|
116
|
+
}
|
|
117
|
+
revalidate(context) {
|
|
118
|
+
this.#policy.revalidate(context);
|
|
119
|
+
this.#evidence.revalidate(context);
|
|
120
|
+
this.assertCustody(context);
|
|
121
|
+
}
|
|
122
|
+
register(context) {
|
|
123
|
+
this.revalidate(context);
|
|
124
|
+
const replay = context.db.writeTransaction(() => {
|
|
125
|
+
if (!context.db.isOwnedWriteTransaction?.())
|
|
126
|
+
refuse("owned_check_writer_required");
|
|
127
|
+
this.assertCustody(context);
|
|
128
|
+
const existing = stored(context, this.#corrected);
|
|
129
|
+
if (existing)
|
|
130
|
+
return true;
|
|
131
|
+
appendAudit(context, { projectId: this.#receipt.project_id, eventType: event, payload: this.#receipt });
|
|
132
|
+
return false;
|
|
133
|
+
}, "memory.registerCorrectionChecks");
|
|
134
|
+
this.#registered = true;
|
|
135
|
+
this.assertCustody(context);
|
|
136
|
+
try {
|
|
137
|
+
this.revalidate(context);
|
|
138
|
+
}
|
|
139
|
+
catch (error) {
|
|
140
|
+
throw new AppError("memory_correction_checks_pending", "Check receipt committed but current-view revalidation needs recovery", 1, { effect: "committed", receipt_sha256: this.sha256, cause: error instanceof Error ? error.message : String(error) });
|
|
141
|
+
}
|
|
142
|
+
return { receipt: this.value(), receipt_sha256: this.sha256, replay };
|
|
143
|
+
}
|
|
144
|
+
}
|
|
145
|
+
function historicalReceipt(context, scope) {
|
|
146
|
+
const rows = context.db.all("SELECT payload_json FROM audit_events WHERE project_id=? AND event_type=? AND json_extract(payload_json,'$.run_id')=? AND json_extract(payload_json,'$.wave')=? LIMIT 2", [scope.projectId, event, scope.runId, scope.wave]);
|
|
147
|
+
if (rows.length !== 1 || Buffer.byteLength(rows[0].payload_json) > 2 * 1024 * 1024)
|
|
148
|
+
refuse("historical_check_receipt_missing");
|
|
149
|
+
let value;
|
|
150
|
+
try {
|
|
151
|
+
value = JSON.parse(rows[0].payload_json);
|
|
152
|
+
}
|
|
153
|
+
catch {
|
|
154
|
+
return refuse("invalid_check_receipt");
|
|
155
|
+
}
|
|
156
|
+
if (!value || typeof value !== "object" || Array.isArray(value)
|
|
157
|
+
|| value.schema_id !== "dd-flow/memory-correction-checks@1" || value.project_id !== scope.projectId
|
|
158
|
+
|| value.run_id !== scope.runId || value.wave !== scope.wave || value.corrected_input_sha256 !== scope.correctedInputSha256
|
|
159
|
+
|| hybridDigest(value) !== scope.receiptSha256
|
|
160
|
+
|| [value.review_input_sha256, value.corrected_input_sha256, value.completed_correction_sha256, value.declarations_sha256]
|
|
161
|
+
.some(hash => typeof hash !== "string" || !/^[a-f0-9]{64}$/.test(hash))
|
|
162
|
+
|| (value.profile_sha256 !== null && (typeof value.profile_sha256 !== "string" || !/^[a-f0-9]{64}$/.test(value.profile_sha256)))
|
|
163
|
+
|| Object.keys(value).some(key => !["schema_id", "project_id", "run_id", "wave", "review_input_sha256", "corrected_input_sha256",
|
|
164
|
+
"completed_correction_sha256", "profile_sha256", "declarations_sha256", "checks"].includes(key))
|
|
165
|
+
|| !Array.isArray(value.checks) || !value.checks.length || value.checks.length > 4096
|
|
166
|
+
|| value.checks.some(ref => !ref || typeof ref !== "object" || Array.isArray(ref)
|
|
167
|
+
|| typeof ref.id !== "string" || !ref.id || typeof ref.path !== "string"
|
|
168
|
+
|| Object.keys(ref).some(key => !["id", "path", "sha256", "sql_sha256"].includes(key))
|
|
169
|
+
|| [ref.sha256, ref.sql_sha256].some(hash => typeof hash !== "string" || !/^[a-f0-9]{64}$/.test(hash))))
|
|
170
|
+
refuse("historical_check_receipt_changed");
|
|
171
|
+
for (const reference of value.checks) {
|
|
172
|
+
const row = context.db.get("SELECT profile_hash FROM check_receipts WHERE project_id=? AND run_id=? AND id=?", [scope.projectId, scope.runId, reference?.id]);
|
|
173
|
+
if (!row || row.profile_hash !== value.profile_sha256)
|
|
174
|
+
refuse("historical_check_policy_changed");
|
|
175
|
+
}
|
|
176
|
+
return value;
|
|
177
|
+
}
|
|
178
|
+
/** Retained finite-check proof for accepted-review replay. Expected hashes
|
|
179
|
+
* must come from the independent reviewer/Stage receipt, not a caller claim.
|
|
180
|
+
* This owner proves only the scoped historical check receipt and executions;
|
|
181
|
+
* it grants no current-view, reviewer allocation or Stage acceptance rights. */
|
|
182
|
+
export class PreparedRetainedMemoryCorrectionChecks {
|
|
183
|
+
#scope;
|
|
184
|
+
#checks;
|
|
185
|
+
constructor(key, scope, checks) {
|
|
186
|
+
if (key !== token)
|
|
187
|
+
refuse("check_receipt_token_required");
|
|
188
|
+
this.#scope = { ...scope };
|
|
189
|
+
this.#checks = checks;
|
|
190
|
+
Object.freeze(this);
|
|
191
|
+
}
|
|
192
|
+
static prepare(context, scope) {
|
|
193
|
+
return this.prepareWave(context, scope, 1);
|
|
194
|
+
}
|
|
195
|
+
static prepareSecond(context, scope) {
|
|
196
|
+
return this.prepareWave(context, scope, 2);
|
|
197
|
+
}
|
|
198
|
+
static prepareWave(context, scope, wave) {
|
|
199
|
+
if (wave !== 1 && wave !== 2)
|
|
200
|
+
refuse("historical_check_wave_required");
|
|
201
|
+
if (!scope || typeof scope.projectId !== "string" || !scope.projectId || typeof scope.runId !== "string" || !scope.runId
|
|
202
|
+
|| [scope.receiptSha256, scope.correctedInputSha256].some(hash => typeof hash !== "string" || !/^[a-f0-9]{64}$/.test(hash)))
|
|
203
|
+
refuse("historical_check_scope_required");
|
|
204
|
+
if (context.db.isOwnedWriteTransaction?.())
|
|
205
|
+
refuse("preparation_outside_writer_required");
|
|
206
|
+
const selectedScope = { ...scope, wave };
|
|
207
|
+
const receipt = context.db.readSnapshot(() => historicalReceipt(context, selectedScope));
|
|
208
|
+
const checks = PreparedRetainedCheckEvidence.prepare(context, { projectId: scope.projectId, runId: scope.runId, references: receipt.checks });
|
|
209
|
+
const prepared = new PreparedRetainedMemoryCorrectionChecks(token, selectedScope, checks);
|
|
210
|
+
prepared.assertCustody(context);
|
|
211
|
+
return prepared;
|
|
212
|
+
}
|
|
213
|
+
assertCustody(context) {
|
|
214
|
+
historicalReceipt(context, this.#scope);
|
|
215
|
+
this.#checks.assertCustody(context);
|
|
216
|
+
}
|
|
217
|
+
value(context) { this.assertCustody(context); return structuredClone(historicalReceipt(context, this.#scope)); }
|
|
218
|
+
revalidate(context) { this.#checks.revalidate(context); this.assertCustody(context); }
|
|
219
|
+
}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import { PreparedCorrectedMemoryReviewInputs } from "./memory-corrected-review-inputs.js";
|
|
2
|
+
import { PreparedSecondCorrectedMemoryReviewInputs } from "./memory-second-corrected-review-inputs.js";
|
|
3
|
+
/** Only the two sealed wave owners, never a structural evidence interface. */
|
|
4
|
+
export function isMemoryCorrectionInputOwner(value) {
|
|
5
|
+
return PreparedCorrectedMemoryReviewInputs.isPrepared(value) || PreparedSecondCorrectedMemoryReviewInputs.isPrepared(value);
|
|
6
|
+
}
|
|
@@ -0,0 +1,104 @@
|
|
|
1
|
+
import { AppError } from "../shared/errors.js";
|
|
2
|
+
import { PreparedMemoryStageResult, memorySourceKey } from "./memory-stage-results.js";
|
|
3
|
+
import { PreparedMemoryResultBinding } from "./memory-result-binding.js";
|
|
4
|
+
import { PreparedMemoryBaselinePreservation } from "./memory-baseline-preservation.js";
|
|
5
|
+
import { captureMemoryPreflightSources } from "./memory-preflight-handler.js";
|
|
6
|
+
import { PreparedDescriptorStageStart } from "./descriptor-stage-start.js";
|
|
7
|
+
import { PreparedDescriptorStageCoordinator } from "./descriptor-stage-coordinator.js";
|
|
8
|
+
import { PreparedDescriptorStageSettlement } from "./descriptor-stage-settlement.js";
|
|
9
|
+
import { readAcceptedStageData } from "./stage-report-renderer.js";
|
|
10
|
+
import { assertPreparedRunBundleSqlAuthority, readFlowRunExecutionBundle } from "./runs.js";
|
|
11
|
+
import { requireProjectByRoot } from "./projects.js";
|
|
12
|
+
import { resolveProjectRoot } from "../storage/paths.js";
|
|
13
|
+
function refuse(reason) {
|
|
14
|
+
throw new AppError("memory_discover_handler_invalid", "Memory discovery lacks accepted scope or bounded evidence", 2, { reason, effect: "no_effect" });
|
|
15
|
+
}
|
|
16
|
+
function selected(context, input) {
|
|
17
|
+
if (!(input.bytes instanceof Uint8Array) || input.bytes.length > 1024 * 1024)
|
|
18
|
+
refuse("invalid_input_bytes");
|
|
19
|
+
const bundle = readFlowRunExecutionBundle(context, input);
|
|
20
|
+
if (!bundle || bundle.descriptor.descriptor.id !== "mb-init" || bundle.descriptor.successor("preflight", "accepted") !== "discover")
|
|
21
|
+
refuse("registered_memory_bundle_required");
|
|
22
|
+
const project = requireProjectByRoot(context, resolveProjectRoot(input.projectRoot)), scope = { projectId: project.id, runId: input.runId, stage: "discover" };
|
|
23
|
+
const run = assertPreparedRunBundleSqlAuthority(context, scope, bundle), index = JSON.parse(run.index_json);
|
|
24
|
+
return { bundle, scope, accepted: index.stage_runs.find((stage) => stage.stage === "discover")?.status === "done" };
|
|
25
|
+
}
|
|
26
|
+
/** Result-level discovery checks, not physical/RUN or semantic completeness
|
|
27
|
+
* authority. The handler separately supplies independently selected SQL scope
|
|
28
|
+
* and physical baseline observations. Unknown facts remain valid with their
|
|
29
|
+
* frozen-schema reason/next-action rather than being converted to confirmations.
|
|
30
|
+
*/
|
|
31
|
+
export class PreparedMemoryDiscoveryAcceptance {
|
|
32
|
+
#sha256;
|
|
33
|
+
constructor(result) { this.#sha256 = result.sha256; Object.freeze(this); }
|
|
34
|
+
static prepare(result) {
|
|
35
|
+
if (!(result instanceof PreparedMemoryStageResult))
|
|
36
|
+
refuse("prepared_result_required");
|
|
37
|
+
const value = JSON.parse(result.bytes().toString("utf8"));
|
|
38
|
+
if (value.stage !== "discover" || value.outcome !== "accepted"
|
|
39
|
+
|| value.findings.some((finding) => finding.severity !== "minor" && finding.status !== "resolved"))
|
|
40
|
+
refuse("discovery_not_accepted");
|
|
41
|
+
const inventory = new Map();
|
|
42
|
+
for (const source of value.details.inventory) {
|
|
43
|
+
const key = memorySourceKey(source.root, source.path);
|
|
44
|
+
if (inventory.has(key))
|
|
45
|
+
refuse("duplicate_inventory_source");
|
|
46
|
+
inventory.set(key, source.sha256);
|
|
47
|
+
}
|
|
48
|
+
const exclusions = new Set();
|
|
49
|
+
for (const exclusion of value.details.exclusions) {
|
|
50
|
+
if (!exclusion.reason.trim() || exclusions.has(exclusion.path))
|
|
51
|
+
refuse("invalid_or_duplicate_exclusion");
|
|
52
|
+
exclusions.add(exclusion.path);
|
|
53
|
+
const excluded = exclusion.path.replace(/\/+$/, "");
|
|
54
|
+
if (value.details.inventory.some((source) => source.path === excluded || source.path.startsWith(`${excluded}/`)))
|
|
55
|
+
refuse("observed_source_excluded");
|
|
56
|
+
}
|
|
57
|
+
return new PreparedMemoryDiscoveryAcceptance(result);
|
|
58
|
+
}
|
|
59
|
+
assertResult(result) {
|
|
60
|
+
if (!(result instanceof PreparedMemoryStageResult) || result.sha256 !== this.#sha256)
|
|
61
|
+
refuse("discovery_result_changed");
|
|
62
|
+
}
|
|
63
|
+
}
|
|
64
|
+
/** Unregistered implementation until the complete memory registry is ready.
|
|
65
|
+
* Entry inherits accepted preflight and preserves its independent bootstrap
|
|
66
|
+
* baseline through Stage/coordinator writers, without dispatching a provider.
|
|
67
|
+
*/
|
|
68
|
+
export function startMemoryDiscovery(context, input) {
|
|
69
|
+
const { bundle, scope, accepted } = selected(context, input);
|
|
70
|
+
if (accepted)
|
|
71
|
+
refuse("use_accepted_finish_replay");
|
|
72
|
+
const preservation = PreparedMemoryBaselinePreservation.prepare(context, bundle.execution);
|
|
73
|
+
const preflight = context.db.readSnapshot(() => readAcceptedStageData(context, { ...scope, stage: "preflight" }));
|
|
74
|
+
const value = JSON.parse(preflight.bytes.toString("utf8"));
|
|
75
|
+
if (value.schema_id !== "dd-flow/mb-init-preflight-result@1" || value.outcome !== "accepted" || value.run_id !== input.runId)
|
|
76
|
+
refuse("foreign_preflight_baseline");
|
|
77
|
+
const fence = (writer) => {
|
|
78
|
+
preservation.assertCustody(writer);
|
|
79
|
+
if (readAcceptedStageData(writer, { ...scope, stage: "preflight" }).authority_sha256 !== preflight.authority_sha256)
|
|
80
|
+
refuse("preflight_custody_changed");
|
|
81
|
+
};
|
|
82
|
+
const start = PreparedDescriptorStageStart.prepare(context, { ...input, stage: "discover" });
|
|
83
|
+
preservation.revalidate(context);
|
|
84
|
+
const stage = start.apply(context, fence);
|
|
85
|
+
const coordinator = PreparedDescriptorStageCoordinator.prepare(context, { ...input, stage: "discover" });
|
|
86
|
+
preservation.revalidate(context);
|
|
87
|
+
return { ...stage, ...coordinator.apply(context, fence) };
|
|
88
|
+
}
|
|
89
|
+
export function finishMemoryDiscovery(context, input) {
|
|
90
|
+
const { bundle, scope, accepted } = selected(context, input);
|
|
91
|
+
const sources = captureMemoryPreflightSources(context, bundle, input.bytes);
|
|
92
|
+
const binding = PreparedMemoryResultBinding.prepare(context, { ...scope, flow: bundle.descriptor, execution: bundle.execution, bundle, sources, acceptedReplay: accepted });
|
|
93
|
+
const replay = binding.acceptedBytes();
|
|
94
|
+
if (replay && !replay.equals(input.bytes))
|
|
95
|
+
refuse("accepted_result_changed");
|
|
96
|
+
const result = PreparedMemoryStageResult.prepare(input.bytes, bundle.descriptor, binding.binding());
|
|
97
|
+
const acceptance = PreparedMemoryDiscoveryAcceptance.prepare(result);
|
|
98
|
+
const settlement = PreparedDescriptorStageSettlement.prepare(context, { ...input, stage: "discover", bytes: result.bytes() });
|
|
99
|
+
binding.revalidate(context);
|
|
100
|
+
return settlement.apply(context, writer => {
|
|
101
|
+
binding.assertCustody(writer);
|
|
102
|
+
acceptance.assertResult(result);
|
|
103
|
+
});
|
|
104
|
+
}
|