kiokuko-dsh 0.2.7 → 0.2.9
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/PERMISSIONS.md +1 -1
- package/README.ja.md +38 -11
- package/README.ko.md +34 -3
- package/README.md +39 -13
- package/README.zh-CN.md +34 -3
- package/THIRD_PARTY_NOTICES.md +4 -0
- package/dist/db/transaction.d.ts +2 -1
- package/dist/db/transaction.d.ts.map +1 -1
- package/dist/db/transaction.js +44 -7
- package/dist/db/transaction.js.map +1 -1
- package/dist/deep-planning-config.d.ts +32 -0
- package/dist/deep-planning-config.d.ts.map +1 -0
- package/dist/deep-planning-config.js +20 -0
- package/dist/deep-planning-config.js.map +1 -0
- package/dist/deep-thinker/core/contracts.d.ts +1 -29
- package/dist/deep-thinker/core/contracts.d.ts.map +1 -1
- package/dist/deep-thinker/core/contracts.js +2 -17
- package/dist/deep-thinker/core/contracts.js.map +1 -1
- package/dist/deep-thinker/memory-finalizer.d.ts.map +1 -1
- package/dist/deep-thinker/memory-finalizer.js +1 -114
- package/dist/deep-thinker/memory-finalizer.js.map +1 -1
- package/dist/deep-thinker/native-executor.d.ts.map +1 -1
- package/dist/deep-thinker/native-executor.js +3 -4
- package/dist/deep-thinker/native-executor.js.map +1 -1
- package/dist/deep-thinker/store.js +1 -2
- package/dist/deep-thinker/store.js.map +1 -1
- package/dist/dsh/agenticreplay-event-mapper.d.ts +1 -1
- package/dist/dsh/agenticreplay-event-mapper.d.ts.map +1 -1
- package/dist/dsh/agenticreplay-event-mapper.js +5 -1
- package/dist/dsh/agenticreplay-event-mapper.js.map +1 -1
- package/dist/dsh/agenticreplay-files.d.ts +1 -0
- package/dist/dsh/agenticreplay-files.d.ts.map +1 -1
- package/dist/dsh/agenticreplay-files.js +19 -2
- package/dist/dsh/agenticreplay-files.js.map +1 -1
- package/dist/dsh/agenticreplay-host.js +3 -3
- package/dist/dsh/agenticreplay-host.js.map +1 -1
- package/dist/dsh/agenticreplay-read-service.d.ts +20 -0
- package/dist/dsh/agenticreplay-read-service.d.ts.map +1 -1
- package/dist/dsh/agenticreplay-read-service.js +27 -0
- package/dist/dsh/agenticreplay-read-service.js.map +1 -1
- package/dist/dsh/agenticreplay-recorder.d.ts +18 -12
- package/dist/dsh/agenticreplay-recorder.d.ts.map +1 -1
- package/dist/dsh/agenticreplay-recorder.js +43 -13
- package/dist/dsh/agenticreplay-recorder.js.map +1 -1
- package/dist/dsh/agenticreplay-security.d.ts +1 -0
- package/dist/dsh/agenticreplay-security.d.ts.map +1 -1
- package/dist/dsh/agenticreplay-security.js +84 -3
- package/dist/dsh/agenticreplay-security.js.map +1 -1
- package/dist/dsh/answer-review/coordinator.js +2 -1
- package/dist/dsh/answer-review/coordinator.js.map +1 -1
- package/dist/dsh/auto-memory-review.d.ts.map +1 -1
- package/dist/dsh/auto-memory-review.js +10 -193
- package/dist/dsh/auto-memory-review.js.map +1 -1
- package/dist/dsh/coding-workflow/contracts.d.ts +2 -0
- package/dist/dsh/coding-workflow/contracts.d.ts.map +1 -1
- package/dist/dsh/coding-workflow/contracts.js.map +1 -1
- package/dist/dsh/coding-workflow/intent.d.ts.map +1 -1
- package/dist/dsh/coding-workflow/intent.js +12 -4
- package/dist/dsh/coding-workflow/intent.js.map +1 -1
- package/dist/dsh/coding-workflow/service.d.ts +10 -81
- package/dist/dsh/coding-workflow/service.d.ts.map +1 -1
- package/dist/dsh/coding-workflow/service.js +52 -1
- package/dist/dsh/coding-workflow/service.js.map +1 -1
- package/dist/dsh/coding-workflow/store.d.ts +22 -0
- package/dist/dsh/coding-workflow/store.d.ts.map +1 -1
- package/dist/dsh/coding-workflow/store.js +51 -0
- package/dist/dsh/coding-workflow/store.js.map +1 -1
- package/dist/dsh/completion-verifiers.d.ts +6 -0
- package/dist/dsh/completion-verifiers.d.ts.map +1 -1
- package/dist/dsh/completion-verifiers.js.map +1 -1
- package/dist/dsh/composition.d.ts +2 -0
- package/dist/dsh/composition.d.ts.map +1 -1
- package/dist/dsh/composition.js +3 -0
- package/dist/dsh/composition.js.map +1 -1
- package/dist/dsh/config.d.ts +1 -1
- package/dist/dsh/config.d.ts.map +1 -1
- package/dist/dsh/config.js +3 -3
- package/dist/dsh/config.js.map +1 -1
- package/dist/dsh/core/host.d.ts.map +1 -1
- package/dist/dsh/core/host.js +159 -34
- package/dist/dsh/core/host.js.map +1 -1
- package/dist/dsh/core/tasks.d.ts +5 -2
- package/dist/dsh/core/tasks.d.ts.map +1 -1
- package/dist/dsh/core/tasks.js +124 -93
- package/dist/dsh/core/tasks.js.map +1 -1
- package/dist/dsh/decisions/request-intent.d.ts +114 -1
- package/dist/dsh/decisions/request-intent.d.ts.map +1 -1
- package/dist/dsh/decisions/request-intent.js +102 -18
- package/dist/dsh/decisions/request-intent.js.map +1 -1
- package/dist/dsh/execution-result.d.ts +1 -0
- package/dist/dsh/execution-result.d.ts.map +1 -1
- package/dist/dsh/execution-support.d.ts +2 -0
- package/dist/dsh/execution-support.d.ts.map +1 -1
- package/dist/dsh/execution-support.js +39 -4
- package/dist/dsh/execution-support.js.map +1 -1
- package/dist/dsh/existing-task-intake.d.ts +22 -0
- package/dist/dsh/existing-task-intake.d.ts.map +1 -0
- package/dist/dsh/existing-task-intake.js +46 -0
- package/dist/dsh/existing-task-intake.js.map +1 -0
- package/dist/dsh/finalization-request.d.ts +1 -1
- package/dist/dsh/finalization-request.d.ts.map +1 -1
- package/dist/dsh/finalization-request.js +1 -1
- package/dist/dsh/finalization-request.js.map +1 -1
- package/dist/dsh/guardrail/contracts.d.ts +85 -0
- package/dist/dsh/guardrail/contracts.d.ts.map +1 -0
- package/dist/dsh/guardrail/contracts.js +10 -0
- package/dist/dsh/guardrail/contracts.js.map +1 -0
- package/dist/dsh/guardrail/engine.d.ts +19 -0
- package/dist/dsh/guardrail/engine.d.ts.map +1 -0
- package/dist/dsh/guardrail/engine.js +178 -0
- package/dist/dsh/guardrail/engine.js.map +1 -0
- package/dist/dsh/guardrail/evidence.d.ts +16 -0
- package/dist/dsh/guardrail/evidence.d.ts.map +1 -0
- package/dist/dsh/guardrail/evidence.js +101 -0
- package/dist/dsh/guardrail/evidence.js.map +1 -0
- package/dist/dsh/guardrail/service.d.ts +27 -0
- package/dist/dsh/guardrail/service.d.ts.map +1 -0
- package/dist/dsh/guardrail/service.js +253 -0
- package/dist/dsh/guardrail/service.js.map +1 -0
- package/dist/dsh/host-adapter/admission.d.ts.map +1 -1
- package/dist/dsh/host-adapter/admission.js +143 -144
- package/dist/dsh/host-adapter/admission.js.map +1 -1
- package/dist/dsh/host-adapter/lifecycle.d.ts +1 -0
- package/dist/dsh/host-adapter/lifecycle.d.ts.map +1 -1
- package/dist/dsh/host-adapter/lifecycle.js +107 -77
- package/dist/dsh/host-adapter/lifecycle.js.map +1 -1
- package/dist/dsh/host-adapter/routing.d.ts.map +1 -1
- package/dist/dsh/host-adapter/routing.js +4 -4
- package/dist/dsh/host-adapter/routing.js.map +1 -1
- package/dist/dsh/host-adapter/turn-state.d.ts +4 -2
- package/dist/dsh/host-adapter/turn-state.d.ts.map +1 -1
- package/dist/dsh/host-adapter/turn-state.js +14 -7
- package/dist/dsh/host-adapter/turn-state.js.map +1 -1
- package/dist/dsh/host-adapter.d.ts.map +1 -1
- package/dist/dsh/host-adapter.js +125 -24
- package/dist/dsh/host-adapter.js.map +1 -1
- package/dist/dsh/intake-clarification.js +2 -2
- package/dist/dsh/intake-clarification.js.map +1 -1
- package/dist/dsh/intake-gate.js +6 -7
- package/dist/dsh/intake-gate.js.map +1 -1
- package/dist/dsh/legacy-session-codecs.d.ts +1 -0
- package/dist/dsh/legacy-session-codecs.d.ts.map +1 -1
- package/dist/dsh/legacy-session-codecs.js +831 -127
- package/dist/dsh/legacy-session-codecs.js.map +4 -4
- package/dist/dsh/lifecycle-memory.d.ts +66 -0
- package/dist/dsh/lifecycle-memory.d.ts.map +1 -0
- package/dist/dsh/lifecycle-memory.js +380 -0
- package/dist/dsh/lifecycle-memory.js.map +1 -0
- package/dist/dsh/lisp/candidate.d.ts +2 -2
- package/dist/dsh/lisp/ci.d.ts +2 -1
- package/dist/dsh/lisp/ci.d.ts.map +1 -1
- package/dist/dsh/lisp/ci.js +15 -2
- package/dist/dsh/lisp/ci.js.map +1 -1
- package/dist/dsh/lisp/contracts.d.ts +1 -18
- package/dist/dsh/lisp/contracts.d.ts.map +1 -1
- package/dist/dsh/lisp/contracts.js +1 -10
- package/dist/dsh/lisp/contracts.js.map +1 -1
- package/dist/dsh/lisp/files.d.ts +1 -1
- package/dist/dsh/lisp/files.d.ts.map +1 -1
- package/dist/dsh/lisp/files.js +17 -4
- package/dist/dsh/lisp/files.js.map +1 -1
- package/dist/dsh/lisp/hot-store.d.ts.map +1 -1
- package/dist/dsh/lisp/hot-store.js +4 -0
- package/dist/dsh/lisp/hot-store.js.map +1 -1
- package/dist/dsh/lisp/hot-tools.d.ts +2 -0
- package/dist/dsh/lisp/hot-tools.d.ts.map +1 -1
- package/dist/dsh/lisp/hot-tools.js +10 -0
- package/dist/dsh/lisp/hot-tools.js.map +1 -1
- package/dist/dsh/lisp/manager.d.ts +14 -1
- package/dist/dsh/lisp/manager.d.ts.map +1 -1
- package/dist/dsh/lisp/manager.js +238 -37
- package/dist/dsh/lisp/manager.js.map +1 -1
- package/dist/dsh/lisp/memory-verification.d.ts +5 -2
- package/dist/dsh/lisp/memory-verification.d.ts.map +1 -1
- package/dist/dsh/lisp/memory-verification.js +5 -1
- package/dist/dsh/lisp/memory-verification.js.map +1 -1
- package/dist/dsh/lisp/package-manager.d.ts +1 -1
- package/dist/dsh/lisp/package-manager.d.ts.map +1 -1
- package/dist/dsh/lisp/package-manager.js +10 -1
- package/dist/dsh/lisp/package-manager.js.map +1 -1
- package/dist/dsh/lisp/packages.d.ts +1 -1
- package/dist/dsh/lisp/packages.d.ts.map +1 -1
- package/dist/dsh/lisp/packages.js +15 -5
- package/dist/dsh/lisp/packages.js.map +1 -1
- package/dist/dsh/lisp/proposal-batch.d.ts +2 -0
- package/dist/dsh/lisp/proposal-batch.d.ts.map +1 -1
- package/dist/dsh/lisp/proposal-batch.js +17 -3
- package/dist/dsh/lisp/proposal-batch.js.map +1 -1
- package/dist/dsh/lisp/request-surface.d.ts +12 -0
- package/dist/dsh/lisp/request-surface.d.ts.map +1 -1
- package/dist/dsh/lisp/store.d.ts +2 -1
- package/dist/dsh/lisp/store.d.ts.map +1 -1
- package/dist/dsh/lisp/store.js +5 -1
- package/dist/dsh/lisp/store.js.map +1 -1
- package/dist/dsh/lisp/surface.d.ts.map +1 -1
- package/dist/dsh/lisp/surface.js +107 -13
- package/dist/dsh/lisp/surface.js.map +1 -1
- package/dist/dsh/lisp/task-authority.d.ts +29 -0
- package/dist/dsh/lisp/task-authority.d.ts.map +1 -0
- package/dist/dsh/lisp/task-authority.js +87 -0
- package/dist/dsh/lisp/task-authority.js.map +1 -0
- package/dist/dsh/lisp/worker.d.ts +3 -1
- package/dist/dsh/lisp/worker.d.ts.map +1 -1
- package/dist/dsh/lisp/worker.js +26 -4
- package/dist/dsh/lisp/worker.js.map +1 -1
- package/dist/dsh/lisp-config.d.ts +21 -0
- package/dist/dsh/lisp-config.d.ts.map +1 -0
- package/dist/dsh/lisp-config.js +13 -0
- package/dist/dsh/lisp-config.js.map +1 -0
- package/dist/dsh/memory-application.d.ts +3 -2
- package/dist/dsh/memory-application.d.ts.map +1 -1
- package/dist/dsh/memory-application.js +31 -22
- package/dist/dsh/memory-application.js.map +1 -1
- package/dist/dsh/model-handoff.d.ts.map +1 -1
- package/dist/dsh/model-handoff.js +2 -1
- package/dist/dsh/model-handoff.js.map +1 -1
- package/dist/dsh/models/service.d.ts.map +1 -1
- package/dist/dsh/models/service.js +13 -2
- package/dist/dsh/models/service.js.map +1 -1
- package/dist/dsh/models/vendor/opencode-codec.d.ts.map +1 -1
- package/dist/dsh/models/vendor/opencode-codec.js +71 -0
- package/dist/dsh/models/vendor/opencode-codec.js.map +1 -1
- package/dist/dsh/native-cancellation-observer.d.ts +13 -0
- package/dist/dsh/native-cancellation-observer.d.ts.map +1 -0
- package/dist/dsh/native-cancellation-observer.js +54 -0
- package/dist/dsh/native-cancellation-observer.js.map +1 -0
- package/dist/dsh/native-execution-ownership.d.ts +6 -0
- package/dist/dsh/native-execution-ownership.d.ts.map +1 -0
- package/dist/dsh/native-execution-ownership.js +34 -0
- package/dist/dsh/native-execution-ownership.js.map +1 -0
- package/dist/dsh/native-subagent.d.ts +2 -2
- package/dist/dsh/native-subagent.d.ts.map +1 -1
- package/dist/dsh/native-subagent.js +2 -3
- package/dist/dsh/native-subagent.js.map +1 -1
- package/dist/dsh/native-task-authority.d.ts +66 -0
- package/dist/dsh/native-task-authority.d.ts.map +1 -0
- package/dist/dsh/native-task-authority.js +220 -0
- package/dist/dsh/native-task-authority.js.map +1 -0
- package/dist/dsh/node-tap-summary.d.ts +1 -2
- package/dist/dsh/node-tap-summary.d.ts.map +1 -1
- package/dist/dsh/node-tap-summary.js +2 -24
- package/dist/dsh/node-tap-summary.js.map +1 -1
- package/dist/dsh/observation-pack/policy.d.ts +1 -0
- package/dist/dsh/observation-pack/policy.d.ts.map +1 -1
- package/dist/dsh/observation-pack/policy.js +3 -0
- package/dist/dsh/observation-pack/policy.js.map +1 -1
- package/dist/dsh/observation-pack/service.d.ts.map +1 -1
- package/dist/dsh/observation-pack/service.js +3 -1
- package/dist/dsh/observation-pack/service.js.map +1 -1
- package/dist/dsh/on-demand-intake.d.ts +28 -1
- package/dist/dsh/on-demand-intake.d.ts.map +1 -1
- package/dist/dsh/on-demand-intake.js +171 -10
- package/dist/dsh/on-demand-intake.js.map +1 -1
- package/dist/dsh/orchestration/execution-owner.js +1 -1
- package/dist/dsh/orchestration/execution-owner.js.map +1 -1
- package/dist/dsh/orchestration/managed-agent-executor.d.ts +12 -1
- package/dist/dsh/orchestration/managed-agent-executor.d.ts.map +1 -1
- package/dist/dsh/orchestration/managed-agent-executor.js +28 -2
- package/dist/dsh/orchestration/managed-agent-executor.js.map +1 -1
- package/dist/dsh/owned-completion-evidence.d.ts +11 -0
- package/dist/dsh/owned-completion-evidence.d.ts.map +1 -0
- package/dist/dsh/owned-completion-evidence.js +59 -0
- package/dist/dsh/owned-completion-evidence.js.map +1 -0
- package/dist/dsh/owned-execution.d.ts +28 -1
- package/dist/dsh/owned-execution.d.ts.map +1 -1
- package/dist/dsh/owned-execution.js +325 -101
- package/dist/dsh/owned-execution.js.map +1 -1
- package/dist/dsh/owned-read-owner.d.ts +6 -0
- package/dist/dsh/owned-read-owner.d.ts.map +1 -0
- package/dist/dsh/owned-read-owner.js +22 -0
- package/dist/dsh/owned-read-owner.js.map +1 -0
- package/dist/dsh/replay-memory-extract.d.ts +36 -0
- package/dist/dsh/replay-memory-extract.d.ts.map +1 -0
- package/dist/dsh/replay-memory-extract.js +192 -0
- package/dist/dsh/replay-memory-extract.js.map +1 -0
- package/dist/dsh/semantic-compaction/coordinator.d.ts.map +1 -1
- package/dist/dsh/semantic-compaction/coordinator.js +2 -1
- package/dist/dsh/semantic-compaction/coordinator.js.map +1 -1
- package/dist/dsh/session-bridge.d.ts +3 -0
- package/dist/dsh/session-bridge.d.ts.map +1 -1
- package/dist/dsh/session-bridge.js +22 -25
- package/dist/dsh/session-bridge.js.map +1 -1
- package/dist/dsh/session-history-compatibility.d.ts.map +1 -1
- package/dist/dsh/session-history-compatibility.js +15 -1
- package/dist/dsh/session-history-compatibility.js.map +1 -1
- package/dist/dsh/session-history-lookup.d.ts +1 -1
- package/dist/dsh/session-history-lookup.d.ts.map +1 -1
- package/dist/dsh/session-history-lookup.js +4 -3
- package/dist/dsh/session-history-lookup.js.map +1 -1
- package/dist/dsh/session-memory-finalizer.d.ts.map +1 -1
- package/dist/dsh/session-memory-finalizer.js +129 -117
- package/dist/dsh/session-memory-finalizer.js.map +1 -1
- package/dist/dsh/setup.d.ts +1 -1
- package/dist/dsh/setup.d.ts.map +1 -1
- package/dist/dsh/setup.js +1 -1
- package/dist/dsh/skill-prompts.json +1 -1
- package/dist/dsh/task-authority-context.d.ts +8 -0
- package/dist/dsh/task-authority-context.d.ts.map +1 -0
- package/dist/dsh/task-authority-context.js +28 -0
- package/dist/dsh/task-authority-context.js.map +1 -0
- package/dist/dsh/task-completion-host.d.ts +2 -1
- package/dist/dsh/task-completion-host.d.ts.map +1 -1
- package/dist/dsh/task-completion-host.js +17 -5
- package/dist/dsh/task-completion-host.js.map +1 -1
- package/dist/dsh/task-completion.d.ts +13 -0
- package/dist/dsh/task-completion.d.ts.map +1 -1
- package/dist/dsh/task-completion.js +23 -6
- package/dist/dsh/task-completion.js.map +1 -1
- package/dist/dsh/task-intake.d.ts.map +1 -1
- package/dist/dsh/task-intake.js +7 -16
- package/dist/dsh/task-intake.js.map +1 -1
- package/dist/dsh/task-source-history.d.ts +33 -0
- package/dist/dsh/task-source-history.d.ts.map +1 -0
- package/dist/dsh/task-source-history.js +62 -0
- package/dist/dsh/task-source-history.js.map +1 -0
- package/dist/dsh/task-state-host.d.ts +124 -0
- package/dist/dsh/task-state-host.d.ts.map +1 -0
- package/dist/dsh/task-state-host.js +403 -0
- package/dist/dsh/task-state-host.js.map +1 -0
- package/dist/dsh/task-state-surface.d.ts +8 -0
- package/dist/dsh/task-state-surface.d.ts.map +1 -0
- package/dist/dsh/task-state-surface.js +113 -0
- package/dist/dsh/task-state-surface.js.map +1 -0
- package/dist/dsh/task-state.d.ts +217 -0
- package/dist/dsh/task-state.d.ts.map +1 -0
- package/dist/dsh/task-state.js +315 -0
- package/dist/dsh/task-state.js.map +1 -0
- package/dist/dsh/tool-exposure-config.d.ts +12 -0
- package/dist/dsh/tool-exposure-config.d.ts.map +1 -0
- package/dist/dsh/tool-exposure-config.js +4 -0
- package/dist/dsh/tool-exposure-config.js.map +1 -0
- package/dist/dsh/tool-exposure.d.ts +2 -11
- package/dist/dsh/tool-exposure.d.ts.map +1 -1
- package/dist/dsh/tool-exposure.js +2 -2
- package/dist/dsh/tool-exposure.js.map +1 -1
- package/dist/dsh/tools.d.ts +2 -2
- package/dist/dsh/tools.d.ts.map +1 -1
- package/dist/dsh/tools.js +3 -2
- package/dist/dsh/tools.js.map +1 -1
- package/dist/enno-oduno/memory-verification.d.ts +2 -1
- package/dist/enno-oduno/memory-verification.d.ts.map +1 -1
- package/dist/enno-oduno/memory-verification.js +42 -30
- package/dist/enno-oduno/memory-verification.js.map +1 -1
- package/dist/enno-oduno/schemas.d.ts +1 -1
- package/dist/enno-oduno/store.d.ts +7 -0
- package/dist/enno-oduno/store.d.ts.map +1 -1
- package/dist/enno-oduno/store.js +42 -0
- package/dist/enno-oduno/store.js.map +1 -1
- package/dist/ledger/store.d.ts.map +1 -1
- package/dist/ledger/store.js +0 -5
- package/dist/ledger/store.js.map +1 -1
- package/dist/locale/en.json +1 -1
- package/dist/locale/ja.json +1 -1
- package/dist/locale/ko.json +1 -1
- package/dist/locale/zh-CN.json +1 -1
- package/dist/memory/application.js +1 -1
- package/dist/memory/application.js.map +1 -1
- package/dist/memory/auto-globalization.d.ts.map +1 -1
- package/dist/memory/auto-globalization.js +4 -82
- package/dist/memory/auto-globalization.js.map +1 -1
- package/dist/memory/evolution/contracts.d.ts +3 -1
- package/dist/memory/evolution/contracts.d.ts.map +1 -1
- package/dist/memory/evolution/contracts.js +1 -1
- package/dist/memory/evolution/contracts.js.map +1 -1
- package/dist/memory/evolution/store.d.ts +2 -1
- package/dist/memory/evolution/store.d.ts.map +1 -1
- package/dist/memory/evolution/store.js +75 -34
- package/dist/memory/evolution/store.js.map +1 -1
- package/dist/memory/evolution/worker.d.ts +1 -0
- package/dist/memory/evolution/worker.d.ts.map +1 -1
- package/dist/memory/evolution/worker.js +6 -18
- package/dist/memory/evolution/worker.js.map +1 -1
- package/dist/memory/explain.d.ts.map +1 -1
- package/dist/memory/explain.js +2 -2
- package/dist/memory/explain.js.map +1 -1
- package/dist/memory/forget.d.ts.map +1 -1
- package/dist/memory/forget.js +12 -3
- package/dist/memory/forget.js.map +1 -1
- package/dist/memory/hybrid-retrieval.d.ts.map +1 -1
- package/dist/memory/hybrid-retrieval.js +3 -0
- package/dist/memory/hybrid-retrieval.js.map +1 -1
- package/dist/memory/index-reasoning/service.d.ts.map +1 -1
- package/dist/memory/index-reasoning/service.js +5 -43
- package/dist/memory/index-reasoning/service.js.map +1 -1
- package/dist/memory/index-reasoning/worker.d.ts.map +1 -1
- package/dist/memory/index-reasoning/worker.js +1 -15
- package/dist/memory/index-reasoning/worker.js.map +1 -1
- package/dist/memory/lifecycle-cache.d.ts +12 -0
- package/dist/memory/lifecycle-cache.d.ts.map +1 -0
- package/dist/memory/lifecycle-cache.js +36 -0
- package/dist/memory/lifecycle-cache.js.map +1 -0
- package/dist/memory/lifecycle-database.d.ts +5 -0
- package/dist/memory/lifecycle-database.d.ts.map +1 -0
- package/dist/memory/lifecycle-database.js +32 -0
- package/dist/memory/lifecycle-database.js.map +1 -0
- package/dist/memory/lifecycle-global-state.d.ts +5 -0
- package/dist/memory/lifecycle-global-state.d.ts.map +1 -0
- package/dist/memory/lifecycle-global-state.js +23 -0
- package/dist/memory/lifecycle-global-state.js.map +1 -0
- package/dist/memory/lifecycle-global.d.ts +23 -0
- package/dist/memory/lifecycle-global.d.ts.map +1 -0
- package/dist/memory/lifecycle-global.js +56 -0
- package/dist/memory/lifecycle-global.js.map +1 -0
- package/dist/memory/lifecycle.d.ts +152 -0
- package/dist/memory/lifecycle.d.ts.map +1 -0
- package/dist/memory/lifecycle.js +152 -0
- package/dist/memory/lifecycle.js.map +1 -0
- package/dist/memory/replay-review.d.ts +90 -0
- package/dist/memory/replay-review.d.ts.map +1 -0
- package/dist/memory/replay-review.js +82 -0
- package/dist/memory/replay-review.js.map +1 -0
- package/dist/memory/replay-store.d.ts +14 -0
- package/dist/memory/replay-store.d.ts.map +1 -0
- package/dist/memory/replay-store.js +117 -0
- package/dist/memory/replay-store.js.map +1 -0
- package/dist/memory/review/adoption.d.ts.map +1 -1
- package/dist/memory/review/adoption.js +2 -106
- package/dist/memory/review/adoption.js.map +1 -1
- package/dist/memory/review/store.d.ts.map +1 -1
- package/dist/memory/review/store.js +9 -5
- package/dist/memory/review/store.js.map +1 -1
- package/dist/memory/review/worker.d.ts.map +1 -1
- package/dist/memory/review/worker.js +1 -7
- package/dist/memory/review/worker.js.map +1 -1
- package/dist/memory/scoped-memory.js +1 -1
- package/dist/memory/scoped-memory.js.map +1 -1
- package/dist/model-tools/contracts.d.ts +4 -4
- package/dist/model-tools/contracts.d.ts.map +1 -1
- package/dist/model-tools/contracts.js +1 -11
- package/dist/model-tools/contracts.js.map +1 -1
- package/dist/model-tools/names.d.ts +4 -0
- package/dist/model-tools/names.d.ts.map +1 -0
- package/dist/model-tools/names.js +13 -0
- package/dist/model-tools/names.js.map +1 -0
- package/docs/agenticreplay-recording.md +1 -1
- package/docs/code-intelligence.md +54 -119
- package/docs/dsh-plugin.md +86 -9
- package/docs/getting-started.md +10 -0
- package/docs/guardrail-licenses/Apache-2.0.txt +73 -0
- package/docs/guardrail-licenses/BSD-2-Clause.txt +9 -0
- package/docs/guardrail-licenses/COPYRIGHT-Rust.txt +34 -0
- package/docs/guardrail-licenses/COPYRIGHT-library.html +29357 -0
- package/docs/guardrail-licenses/ISC.txt +7 -0
- package/docs/guardrail-licenses/LICENSE-APACHE +176 -0
- package/docs/guardrail-licenses/LICENSE-MIT +25 -0
- package/docs/guardrail-licenses/LLVM-exception.txt +15 -0
- package/docs/guardrail-licenses/MIT.txt +9 -0
- package/docs/guardrail-licenses/NCSA.txt +29 -0
- package/docs/guardrail-licenses/README.md +7 -0
- package/docs/guardrail-licenses/Unicode-3.0.txt +39 -0
- package/docs/guardrail-licenses/libunwind-LICENSE.txt +311 -0
- package/docs/guardrail-licenses/manifest.json +71 -0
- package/docs/guardrail-licenses/musl-COPYRIGHT.txt +193 -0
- package/docs/guardrail.md +33 -0
- package/docs/lifecycle-memory.md +25 -0
- package/docs/lisp.md +33 -9
- package/docs/memory-evolution.md +6 -6
- package/docs/owned-execution.md +3 -3
- package/docs/replay-memory-review.md +26 -0
- package/docs/semantic-compaction.md +2 -0
- package/guardrail/aarch64-apple-darwin/kiokuko-guardrail +0 -0
- package/guardrail/aarch64-apple-darwin/manifest.json +71 -0
- package/guardrail/aarch64-unknown-linux-musl/kiokuko-guardrail +0 -0
- package/guardrail/aarch64-unknown-linux-musl/manifest.json +69 -0
- package/guardrail/manifest.json +204 -0
- package/guardrail/node-runner.mjs +37 -0
- package/guardrail/protocols/coding-routine.lisp +33 -0
- package/guardrail/x86_64-apple-darwin/kiokuko-guardrail +0 -0
- package/guardrail/x86_64-apple-darwin/manifest.json +71 -0
- package/guardrail/x86_64-unknown-linux-musl/kiokuko-guardrail +0 -0
- package/guardrail/x86_64-unknown-linux-musl/manifest.json +68 -0
- package/migrations/038_coding_admission.sql +19 -0
- package/migrations/039_memory_lifecycle.sql +336 -0
- package/migrations/040_task_state.sql +45 -0
- package/migrations/041_task_source_history.sql +88 -0
- package/migrations/042_evolution_source_epochs.sql +148 -0
- package/package.json +45 -27
- package/scripts/guardrail-artifacts.d.mts +13 -0
- package/scripts/guardrail-artifacts.mjs +136 -0
- package/skills/kiokuko-lisp/SKILL.md +1 -1
- package/skills/kiokuko-soul/SKILL.md +6 -6
|
@@ -1,5 +1,22 @@
|
|
|
1
1
|
import { AsyncLocalStorage } from 'node:async_hooks';
|
|
2
2
|
import { KiokukoError } from '../../errors.js';
|
|
3
|
+
function scopedTools(agent) {
|
|
4
|
+
return agent.ctx?.get?.('tools', false);
|
|
5
|
+
}
|
|
6
|
+
/** alpha.2 advertises backend filtering; alpha.3 exposes the same native mask on
|
|
7
|
+
* the exact child scope. Missing capabilities never imply an unrestricted child. */
|
|
8
|
+
export function spawnRestrictionMode(backend, parent) {
|
|
9
|
+
if (!backend)
|
|
10
|
+
return undefined;
|
|
11
|
+
if (!backend.getProvider)
|
|
12
|
+
return 'backend'; // Legacy adapters own the declared request contract.
|
|
13
|
+
const capabilities = backend.getProvider('spawn')?.capabilities;
|
|
14
|
+
if (!capabilities?.agentOptions || !capabilities.depthLimit)
|
|
15
|
+
return undefined;
|
|
16
|
+
if (capabilities.toolFilter)
|
|
17
|
+
return 'backend';
|
|
18
|
+
return typeof scopedTools(parent)?.restrict === 'function' ? 'scope' : undefined;
|
|
19
|
+
}
|
|
3
20
|
/** Mechanical child ownership only. Each mode supplies and validates its own durable authority. */
|
|
4
21
|
export class ManagedAgentExecutor {
|
|
5
22
|
backend;
|
|
@@ -12,6 +29,12 @@ export class ManagedAgentExecutor {
|
|
|
12
29
|
const pending = this.#pending.getStore();
|
|
13
30
|
if (!pending || pending.child)
|
|
14
31
|
return undefined;
|
|
32
|
+
if (pending.filter) {
|
|
33
|
+
const tools = scopedTools(agent);
|
|
34
|
+
if (typeof tools?.restrict !== 'function')
|
|
35
|
+
throw new KiokukoError('SERVICE_UNAVAILABLE', 'Exact child scoped tool restriction is unavailable');
|
|
36
|
+
tools.restrict(pending.filter);
|
|
37
|
+
}
|
|
15
38
|
pending.child = agent;
|
|
16
39
|
this.#children.set(agent, pending.binding);
|
|
17
40
|
return pending.binding;
|
|
@@ -21,11 +44,14 @@ export class ManagedAgentExecutor {
|
|
|
21
44
|
async execute(binding, request, consume) {
|
|
22
45
|
if (!this.backend)
|
|
23
46
|
throw new KiokukoError('SERVICE_UNAVAILABLE', 'Native spawn delegation is unavailable');
|
|
24
|
-
const
|
|
47
|
+
const mode = spawnRestrictionMode(this.backend, request.parent);
|
|
48
|
+
if (!mode)
|
|
49
|
+
throw new KiokukoError('SERVICE_UNAVAILABLE', 'Native spawn cannot enforce model, depth and scoped tool restrictions');
|
|
50
|
+
const pending = { binding, ...(mode === 'scope' ? { filter: { allow: [...request.toolFilter.allow] } } : {}) };
|
|
25
51
|
const run = await this.#pending.run(pending, () => this.backend.startActivation({
|
|
26
52
|
provider: 'spawn', label: request.label, signal: request.signal, delivery: 'caller',
|
|
27
53
|
request: { parent: request.parent, prompt: request.prompt, agentOptions: request.agentOptions,
|
|
28
|
-
maxDepth: request.maxDepth, toolFilter: request.toolFilter },
|
|
54
|
+
maxDepth: request.maxDepth, ...(mode === 'backend' ? { toolFilter: request.toolFilter } : {}) },
|
|
29
55
|
}));
|
|
30
56
|
let disposal;
|
|
31
57
|
const dispose = () => disposal ??= Promise.resolve().then(() => run.dispose());
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"managed-agent-executor.js","sourceRoot":"","sources":["../../../src/dsh/orchestration/managed-agent-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;
|
|
1
|
+
{"version":3,"file":"managed-agent-executor.js","sourceRoot":"","sources":["../../../src/dsh/orchestration/managed-agent-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAgB9C,SAAS,WAAW,CAAC,KAAmB;IACtC,OAAQ,KAAK,CAAC,GAAwE,EAAE,GAAG,EAAE,CAAC,OAAO,EAAC,KAAK,CAAC,CAAA;AAC9G,CAAC;AACD;oFACoF;AACpF,MAAM,UAAU,oBAAoB,CAAC,OAAiC,EAAC,MAAoB;IACzF,IAAG,CAAC,OAAO;QAAC,OAAO,SAAS,CAAA;IAC5B,IAAG,CAAC,OAAO,CAAC,WAAW;QAAC,OAAO,SAAS,CAAA,CAAC,qDAAqD;IAC9F,MAAM,YAAY,GAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,YAAY,CAAA;IAC7D,IAAG,CAAC,YAAY,EAAE,YAAY,IAAE,CAAC,YAAY,CAAC,UAAU;QAAC,OAAO,SAAS,CAAA;IACzE,IAAG,YAAY,CAAC,UAAU;QAAC,OAAO,SAAS,CAAA;IAC3C,OAAO,OAAO,WAAW,CAAC,MAAM,CAAC,EAAE,QAAQ,KAAG,UAAU,CAAA,CAAC,CAAA,OAAO,CAAA,CAAC,CAAA,SAAS,CAAA;AAC5E,CAAC;AAED,mGAAmG;AACnG,MAAM,OAAO,oBAAoB;IAGV;IAFZ,QAAQ,GAAG,IAAI,iBAAiB,EAA6D,CAAA;IAC7F,SAAS,GAAG,IAAI,OAAO,EAAa,CAAA;IAC7C,YAAqB,OAAoC;QAApC,YAAO,GAAP,OAAO,CAA6B;IAAG,CAAC;IAC7D,OAAO,CAAC,KAAoB;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAA;QACxC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK;YAAE,OAAO,SAAS,CAAA;QAC/C,IAAG,OAAO,CAAC,MAAM,EAAC,CAAC;YACjB,MAAM,KAAK,GAAC,WAAW,CAAC,KAAK,CAAC,CAAA;YAC9B,IAAG,OAAO,KAAK,EAAE,QAAQ,KAAG,UAAU;gBAAC,MAAM,IAAI,YAAY,CAAC,qBAAqB,EAAC,oDAAoD,CAAC,CAAA;YACzI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAChC,CAAC;QACD,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;QAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;QACjE,OAAO,OAAO,CAAC,OAAO,CAAA;IACxB,CAAC;IACD,IAAI,CAAC,KAAa,EAAE,OAAU,IAAU,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC;IAC5E,OAAO,CAAC,KAAa,IAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA,CAAC,CAAC;IAC1E,KAAK,CAAC,OAAO,CAAI,OAAU,EAAE,OAAqI,EAAE,OAAiI;QACnS,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,YAAY,CAAC,qBAAqB,EAAE,wCAAwC,CAAC,CAAA;QAC1G,MAAM,IAAI,GAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAC5D,IAAG,CAAC,IAAI;YAAC,MAAM,IAAI,YAAY,CAAC,qBAAqB,EAAC,uEAAuE,CAAC,CAAA;QAC9H,MAAM,OAAO,GAA8D,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,KAAG,OAAO,CAAA,CAAC,CAAA,EAAC,MAAM,EAAC,EAAC,KAAK,EAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAC,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAE,CAAA;QAC7J,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,OAAQ,CAAC,eAAe,CAAC;YAC/E,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ;YACnF,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY;gBAC3F,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,KAAG,SAAS,CAAA,CAAC,CAAA,EAAC,UAAU,EAAC,OAAO,CAAC,UAAU,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAE;SACzF,CAAC,CAAC,CAAA;QACH,IAAI,QAAmC,CAAA;QACvC,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAA;QAC9E,MAAM,KAAK,GAAG,GAAG,EAAE,GAAG,KAAK,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAA,CAAC,CAAC,CAAA;QACtD,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;QAC/D,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO;YAAE,KAAK,EAAE,CAAA;QACnC,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAA;YAC3B,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO;gBAAE,MAAM,IAAI,YAAY,CAAC,iBAAiB,EAAE,wEAAwE,CAAC,CAAA;YAClK,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,KAAK,CAAC,EAAE,CAAC;gBAAE,MAAM,IAAI,YAAY,CAAC,iBAAiB,EAAE,sEAAsE,CAAC,CAAA;YACtK,OAAO,MAAM,OAAO,CAAC,MAAM,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;QAC/C,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YAClD,MAAM,OAAO,EAAE,CAAA;QACjB,CAAC;IACH,CAAC;CACF"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import type { SqliteDatabase } from '../db/adapter.js';
|
|
2
|
+
import type { ExecutionReceipt } from './owned-execution.js';
|
|
3
|
+
import { type TaskSnapshot } from './task-state.js';
|
|
4
|
+
/** Called only from the host's actual completed operation, never from result
|
|
5
|
+
* paging, a journal replay, model JSON, or an imported receipt. This records
|
|
6
|
+
* observation provenance, not a Goal-completion verdict. */
|
|
7
|
+
export declare function recordOwnedCompletionObservation(db: SqliteDatabase, receipt: ExecutionReceipt): void;
|
|
8
|
+
/** Resolve only explicitly referenced successful observations for the exact
|
|
9
|
+
* current task lease. The caller must still enforce required Goal criteria. */
|
|
10
|
+
export declare function observedTaskCompletionEvidence(db: SqliteDatabase, task: TaskSnapshot, refs: readonly string[]): string[];
|
|
11
|
+
//# sourceMappingURL=owned-completion-evidence.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"owned-completion-evidence.d.ts","sourceRoot":"","sources":["../../src/dsh/owned-completion-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AAC5D,OAAO,EAA0C,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAa3F;;4DAE4D;AAC5D,wBAAgB,gCAAgC,CAAC,EAAE,EAAC,cAAc,EAAC,OAAO,EAAC,gBAAgB,GAAE,IAAI,CAQhG;AACD;+EAC+E;AAC/E,wBAAgB,8BAA8B,CAAC,EAAE,EAAC,cAAc,EAAC,IAAI,EAAC,YAAY,EAAC,IAAI,EAAC,SAAS,MAAM,EAAE,GAAE,MAAM,EAAE,CAmBlH"}
|
|
@@ -0,0 +1,59 @@
|
|
|
1
|
+
import { canonicalContentHash } from '../serialization/validate.js';
|
|
2
|
+
import { authorizeTaskLease, recordTaskEvidence } from './task-state.js';
|
|
3
|
+
function receiptDigest(receipt) {
|
|
4
|
+
const { persistence: _p, persistenceError: _error, ...observation } = receipt;
|
|
5
|
+
return canonicalContentHash(observation);
|
|
6
|
+
}
|
|
7
|
+
function successful(receipt) {
|
|
8
|
+
if (receipt.state !== 'completed' || receipt.authority !== 'current' || receipt.error || !receipt.taskAuthority)
|
|
9
|
+
return false;
|
|
10
|
+
if (receipt.kind === 'kioku_exec')
|
|
11
|
+
return receipt.processStarted === true && receipt.exitCode === 0 && receipt.signal === null
|
|
12
|
+
&& receipt.cancelled === false && receipt.timedOut === false && receipt.outputComplete === true && typeof receipt.outputDigest === 'string';
|
|
13
|
+
return ['kioku_read', 'kioku_write', 'kioku_edit', 'kioku_remove'].includes(receipt.kind)
|
|
14
|
+
&& receipt.verification === 'passed' && receipt.targets.length === 1;
|
|
15
|
+
}
|
|
16
|
+
/** Called only from the host's actual completed operation, never from result
|
|
17
|
+
* paging, a journal replay, model JSON, or an imported receipt. This records
|
|
18
|
+
* observation provenance, not a Goal-completion verdict. */
|
|
19
|
+
export function recordOwnedCompletionObservation(db, receipt) {
|
|
20
|
+
if (!successful(receipt))
|
|
21
|
+
return;
|
|
22
|
+
authorizeTaskLease(db, receipt.taskAuthority);
|
|
23
|
+
const stored = db.prepare('SELECT receipt_json FROM dsh_owned_operations WHERE operation_id=? AND run_id=? AND session_id=? AND state=\'completed\'')
|
|
24
|
+
.get(receipt.operationId, receipt.runId, receipt.sessionId);
|
|
25
|
+
if (!stored || receiptDigest(JSON.parse(stored.receipt_json)) !== receiptDigest(receipt))
|
|
26
|
+
return;
|
|
27
|
+
recordTaskEvidence(db, receipt.taskAuthority, { ref: `observation:${receipt.evidenceRef}`, kind: 'verification', generation: receipt.taskAuthority.generation, verified: false,
|
|
28
|
+
details: { source: 'owned-execution', receiptDigest: receiptDigest(receipt) } });
|
|
29
|
+
}
|
|
30
|
+
/** Resolve only explicitly referenced successful observations for the exact
|
|
31
|
+
* current task lease. The caller must still enforce required Goal criteria. */
|
|
32
|
+
export function observedTaskCompletionEvidence(db, task, refs) {
|
|
33
|
+
return [...new Set(refs)].filter(ref => {
|
|
34
|
+
if (!/^owned:[a-f0-9]{64}$/u.test(ref))
|
|
35
|
+
return false;
|
|
36
|
+
try {
|
|
37
|
+
const row = db.prepare('SELECT receipt_json FROM dsh_owned_operations WHERE operation_id=? AND run_id=? AND state=\'completed\'')
|
|
38
|
+
.get(ref.slice(6), task.taskId);
|
|
39
|
+
if (!row)
|
|
40
|
+
return false;
|
|
41
|
+
const receipt = JSON.parse(row.receipt_json), lease = receipt.taskAuthority;
|
|
42
|
+
if (!successful(receipt) || receipt.evidenceRef !== ref || receipt.runId !== task.taskId || receipt.repositoryRoot !== task.repositoryRoot
|
|
43
|
+
|| !lease || lease.taskId !== task.taskId || lease.sessionId !== task.sessionId || lease.repositoryRoot !== task.repositoryRoot
|
|
44
|
+
|| lease.revision !== task.revision || lease.generation !== task.generation)
|
|
45
|
+
return false;
|
|
46
|
+
authorizeTaskLease(db, lease);
|
|
47
|
+
const proof = db.prepare("SELECT details_json FROM ledger_task_evidence WHERE run_id=? AND evidence_ref=? AND generation=? AND kind='verification' AND verified=0")
|
|
48
|
+
.get(task.taskId, `observation:${ref}`, task.generation);
|
|
49
|
+
if (!proof)
|
|
50
|
+
return false;
|
|
51
|
+
const details = JSON.parse(proof.details_json);
|
|
52
|
+
return details.source === 'owned-execution' && details.receiptDigest === receiptDigest(receipt);
|
|
53
|
+
}
|
|
54
|
+
catch {
|
|
55
|
+
return false;
|
|
56
|
+
}
|
|
57
|
+
});
|
|
58
|
+
}
|
|
59
|
+
//# sourceMappingURL=owned-completion-evidence.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"owned-completion-evidence.js","sourceRoot":"","sources":["../../src/dsh/owned-completion-evidence.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAEnE,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAqB,MAAM,iBAAiB,CAAA;AAE3F,SAAS,aAAa,CAAC,OAAwB;IAC7C,MAAM,EAAC,WAAW,EAAC,EAAE,EAAC,gBAAgB,EAAC,MAAM,EAAC,GAAG,WAAW,EAAC,GAAC,OAAO,CAAA;IACrE,OAAO,oBAAoB,CAAC,WAAkB,CAAC,CAAA;AACjD,CAAC;AACD,SAAS,UAAU,CAAC,OAAwB;IAC1C,IAAG,OAAO,CAAC,KAAK,KAAG,WAAW,IAAE,OAAO,CAAC,SAAS,KAAG,SAAS,IAAE,OAAO,CAAC,KAAK,IAAE,CAAC,OAAO,CAAC,aAAa;QAAC,OAAO,KAAK,CAAA;IACjH,IAAG,OAAO,CAAC,IAAI,KAAG,YAAY;QAAC,OAAO,OAAO,CAAC,cAAc,KAAG,IAAI,IAAE,OAAO,CAAC,QAAQ,KAAG,CAAC,IAAE,OAAO,CAAC,MAAM,KAAG,IAAI;eAC5G,OAAO,CAAC,SAAS,KAAG,KAAK,IAAE,OAAO,CAAC,QAAQ,KAAG,KAAK,IAAE,OAAO,CAAC,cAAc,KAAG,IAAI,IAAE,OAAO,OAAO,CAAC,YAAY,KAAG,QAAQ,CAAA;IAC9H,OAAO,CAAC,YAAY,EAAC,aAAa,EAAC,YAAY,EAAC,cAAc,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;WAClF,OAAO,CAAC,YAAY,KAAG,QAAQ,IAAE,OAAO,CAAC,OAAO,CAAC,MAAM,KAAG,CAAC,CAAA;AACjE,CAAC;AACD;;4DAE4D;AAC5D,MAAM,UAAU,gCAAgC,CAAC,EAAiB,EAAC,OAAwB;IACzF,IAAG,CAAC,UAAU,CAAC,OAAO,CAAC;QAAC,OAAM;IAC9B,kBAAkB,CAAC,EAAE,EAAC,OAAO,CAAC,aAAc,CAAC,CAAA;IAC7C,MAAM,MAAM,GAAC,EAAE,CAAC,OAAO,CAAC,0HAA0H,CAAC;SAChJ,GAAG,CAAwB,OAAO,CAAC,WAAW,EAAC,OAAO,CAAC,KAAK,EAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IAClF,IAAG,CAAC,MAAM,IAAE,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,KAAG,aAAa,CAAC,OAAO,CAAC;QAAC,OAAM;IAC1F,kBAAkB,CAAC,EAAE,EAAC,OAAO,CAAC,aAAc,EAAC,EAAC,GAAG,EAAC,eAAe,OAAO,CAAC,WAAW,EAAE,EAAC,IAAI,EAAC,cAAc,EAAC,UAAU,EAAC,OAAO,CAAC,aAAc,CAAC,UAAU,EAAC,QAAQ,EAAC,KAAK;QACpK,OAAO,EAAC,EAAC,MAAM,EAAC,iBAAiB,EAAC,aAAa,EAAC,aAAa,CAAC,OAAO,CAAC,EAAC,EAAC,CAAC,CAAA;AAC7E,CAAC;AACD;+EAC+E;AAC/E,MAAM,UAAU,8BAA8B,CAAC,EAAiB,EAAC,IAAiB,EAAC,IAAsB;IACvG,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA,EAAE;QACpC,IAAG,CAAC,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC;YAAC,OAAO,KAAK,CAAA;QAClD,IAAI,CAAC;YACH,MAAM,GAAG,GAAC,EAAE,CAAC,OAAO,CAAC,yGAAyG,CAAC;iBAC5H,GAAG,CAAwB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACvD,IAAG,CAAC,GAAG;gBAAC,OAAO,KAAK,CAAA;YACpB,MAAM,OAAO,GAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAqB,EAAC,KAAK,GAAC,OAAO,CAAC,aAAa,CAAA;YAC1F,IAAG,CAAC,UAAU,CAAC,OAAO,CAAC,IAAE,OAAO,CAAC,WAAW,KAAG,GAAG,IAAE,OAAO,CAAC,KAAK,KAAG,IAAI,CAAC,MAAM,IAAE,OAAO,CAAC,cAAc,KAAG,IAAI,CAAC,cAAc;mBACzH,CAAC,KAAK,IAAE,KAAK,CAAC,MAAM,KAAG,IAAI,CAAC,MAAM,IAAE,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,SAAS,IAAE,KAAK,CAAC,cAAc,KAAG,IAAI,CAAC,cAAc;mBAChH,KAAK,CAAC,QAAQ,KAAG,IAAI,CAAC,QAAQ,IAAE,KAAK,CAAC,UAAU,KAAG,IAAI,CAAC,UAAU;gBAAC,OAAO,KAAK,CAAA;YACnF,kBAAkB,CAAC,EAAE,EAAC,KAAK,CAAC,CAAA;YAC5B,MAAM,KAAK,GAAC,EAAE,CAAC,OAAO,CAAC,yIAAyI,CAAC;iBAC9J,GAAG,CAAwB,IAAI,CAAC,MAAM,EAAC,eAAe,GAAG,EAAE,EAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC/E,IAAG,CAAC,KAAK;gBAAC,OAAO,KAAK,CAAA;YACtB,MAAM,OAAO,GAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;YAC5C,OAAO,OAAO,CAAC,MAAM,KAAG,iBAAiB,IAAE,OAAO,CAAC,aAAa,KAAG,aAAa,CAAC,OAAO,CAAC,CAAA;QAC3F,CAAC;QAAA,MAAK,CAAC;YAAA,OAAO,KAAK,CAAA;QAAA,CAAC;IACtB,CAAC,CAAC,CAAA;AACJ,CAAC"}
|
|
@@ -3,6 +3,7 @@ import type { DshCoreRuntime } from './core-runtime.js';
|
|
|
3
3
|
import { type MemoryApplicationIdentity } from '../memory/application.js';
|
|
4
4
|
import { type TapSummary } from './node-tap-summary.js';
|
|
5
5
|
import type { RequestIntentDecision, RequestIntentContext } from './decisions/request-intent.js';
|
|
6
|
+
import { type TaskLease, type TaskAuthorityExecution } from './task-state.js';
|
|
6
7
|
export interface ExecutionIdentity extends MemoryApplicationIdentity {
|
|
7
8
|
generation: string;
|
|
8
9
|
agent: any;
|
|
@@ -30,6 +31,7 @@ export interface ExecutionReceipt {
|
|
|
30
31
|
exitCode?: number | null;
|
|
31
32
|
signal?: string | null;
|
|
32
33
|
processStarted?: boolean;
|
|
34
|
+
processStopped?: boolean;
|
|
33
35
|
cancelled?: boolean;
|
|
34
36
|
timedOut?: boolean;
|
|
35
37
|
outputComplete?: boolean;
|
|
@@ -42,6 +44,8 @@ export interface ExecutionReceipt {
|
|
|
42
44
|
persistence: 'saved' | 'pending';
|
|
43
45
|
persistenceError?: string;
|
|
44
46
|
error?: string;
|
|
47
|
+
authority?: 'current' | 'stale';
|
|
48
|
+
taskAuthority?: TaskLease;
|
|
45
49
|
checks?: {
|
|
46
50
|
sourcePaths: string[];
|
|
47
51
|
sourceDigest: string;
|
|
@@ -50,7 +54,7 @@ export interface ExecutionReceipt {
|
|
|
50
54
|
assertion: string;
|
|
51
55
|
}[];
|
|
52
56
|
}
|
|
53
|
-
interface NativeExecution {
|
|
57
|
+
interface NativeExecution extends TaskAuthorityExecution {
|
|
54
58
|
agent?: any;
|
|
55
59
|
callId: string;
|
|
56
60
|
signal: AbortSignal;
|
|
@@ -60,20 +64,39 @@ interface NativeExecution {
|
|
|
60
64
|
export interface OwnedHost {
|
|
61
65
|
runtime: DshCoreRuntime;
|
|
62
66
|
resolve(execution: NativeExecution): ExecutionIdentity | undefined;
|
|
67
|
+
resolveRead?(execution: NativeExecution): Promise<ExecutionIdentity | undefined>;
|
|
63
68
|
planActive?(agent: any): boolean;
|
|
64
69
|
confirm?(identity: ExecutionIdentity, detail: string, signal: AbortSignal): Promise<boolean>;
|
|
70
|
+
isTaskControl?(execution: NativeExecution): boolean;
|
|
71
|
+
unownedNative?(execution: NativeExecution): boolean;
|
|
65
72
|
}
|
|
66
73
|
export declare const isOwnedExecutionCall: (execution: object) => boolean;
|
|
74
|
+
/** Known effect surfaces. Composite Lisp/PTC programs guard their inner calls;
|
|
75
|
+
* reading, cancellation and pure evaluation do not acquire execution authority. */
|
|
76
|
+
export declare function taskEffectTool(name: string, args: unknown): boolean;
|
|
67
77
|
declare const resultInput: z.ZodObject<{
|
|
68
78
|
operationId: z.ZodString;
|
|
69
79
|
cancel: z.ZodDefault<z.ZodBoolean>;
|
|
70
80
|
}, z.core.$strict>;
|
|
81
|
+
/** Host-only stop observation. A crash receipt is not proof of a stopped child. */
|
|
82
|
+
export declare function stopTaskOwnedExecutions(runtime: DshCoreRuntime, identity: {
|
|
83
|
+
taskId: string;
|
|
84
|
+
repositoryRoot: string;
|
|
85
|
+
}, signal?: AbortSignal): Promise<boolean>;
|
|
71
86
|
/** One owner for effects and observed evidence. Saved-result reads never execute an effect. */
|
|
72
87
|
export declare class OwnedExecutionService {
|
|
73
88
|
#private;
|
|
74
89
|
private readonly host;
|
|
75
90
|
constructor(host: OwnedHost);
|
|
76
91
|
private current;
|
|
92
|
+
private assertAuthority;
|
|
93
|
+
private checkAuthority;
|
|
94
|
+
/** The caller may carry an earlier lease (for example an asynchronous Lisp job).
|
|
95
|
+
* Never replace it with the current task after a stop/resume or owner change. */
|
|
96
|
+
captureAuthority(execution: NativeExecution, identity?: ExecutionIdentity): Promise<TaskLease>;
|
|
97
|
+
/** A pure composite may run in any state, but its later inner effects must
|
|
98
|
+
* retain the task (or absence of one) observed when the composite began. */
|
|
99
|
+
composite<T>(execution: NativeExecution, next: () => Promise<T>): Promise<T>;
|
|
77
100
|
private persist;
|
|
78
101
|
private journal;
|
|
79
102
|
private snapshot;
|
|
@@ -86,6 +109,10 @@ export declare class OwnedExecutionService {
|
|
|
86
109
|
private disposable;
|
|
87
110
|
private command;
|
|
88
111
|
result(identity: ExecutionIdentity, input: z.infer<typeof resultInput>): Promise<unknown>;
|
|
112
|
+
stopTask(identity: {
|
|
113
|
+
taskId: string;
|
|
114
|
+
repositoryRoot: string;
|
|
115
|
+
}, signal?: AbortSignal): Promise<void>;
|
|
89
116
|
close(): Promise<void>;
|
|
90
117
|
}
|
|
91
118
|
/** Normal user environment, process group cancellation, bounded complete output. */
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"owned-execution.d.ts","sourceRoot":"","sources":["../../src/dsh/owned-execution.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"owned-execution.d.ts","sourceRoot":"","sources":["../../src/dsh/owned-execution.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAA;AAC3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAIvD,OAAO,EAA0E,KAAK,yBAAyB,EAAE,MAAM,0BAA0B,CAAA;AAGjJ,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAMzE,OAAO,KAAK,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AAGhG,OAAO,EAAwD,KAAK,SAAS,EAAE,KAAK,sBAAsB,EAAE,MAAM,iBAAiB,CAAA;AAGnI,MAAM,WAAW,iBAAkB,SAAQ,yBAAyB;IAAG,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,GAAG,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAChI,aAAa,CAAC,EAAE,qBAAqB,GAAG,SAAS,CAAC;IAAC,oBAAoB,CAAC,EAAE,oBAAoB,GAAG,SAAS,CAAA;CAAE;AAC9G,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,CAAC,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;IACrF,IAAI,EAAE,MAAM,CAAC;IAAC,cAAc,EAAC,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC1F,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,EAAE,CAAA;IACxE,KAAK,EAAE,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5F,cAAc,CAAC,EAAC,OAAO,CAAC;IAAC,cAAc,CAAC,EAAC,OAAO,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IACpK,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;IAAC,YAAY,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAA;IACvG,WAAW,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,gBAAgB,CAAC,EAAC,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IAC/F,SAAS,CAAC,EAAE,SAAS,GAAG,OAAO,CAAA;IAC/B,aAAa,CAAC,EAAE,SAAS,CAAA;IACzB,MAAM,CAAC,EAAC;QAAC,WAAW,EAAC,MAAM,EAAE,CAAC;QAAA,YAAY,EAAC,MAAM,CAAC;QAAA,gBAAgB,CAAC,EAAC,MAAM,CAAC;QAAA,OAAO,EAAC,MAAM,CAAC;QAAA,SAAS,EAAC,MAAM,CAAA;KAAC,EAAE,CAAA;CAC9G;AACD,UAAU,eAAgB,SAAQ,sBAAsB;IAAG,KAAK,CAAC,EAAE,GAAG,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,GAAG,CAAA;CAAE;AAC5I,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,cAAc,CAAA;IACvB,OAAO,CAAC,SAAS,EAAE,eAAe,GAAG,iBAAiB,GAAG,SAAS,CAAA;IAClE,WAAW,CAAC,CAAC,SAAS,EAAE,eAAe,GAAG,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC,CAAA;IAChF,UAAU,CAAC,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAAA;IAChC,OAAO,CAAC,CAAC,QAAQ,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IAC5F,aAAa,CAAC,CAAC,SAAS,EAAE,eAAe,GAAG,OAAO,CAAA;IACnD,aAAa,CAAC,CAAC,SAAS,EAAE,eAAe,GAAG,OAAO,CAAA;CACpD;AAKD,eAAO,MAAM,oBAAoB,GAAI,WAAW,MAAM,YAA8B,CAAA;AACpF;mFACmF;AACnF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO,CAGnE;AAGD,QAAA,MAAM,WAAW;;;kBAAuF,CAAA;AAGxG,mFAAmF;AACnF,wBAAsB,uBAAuB,CAAC,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAYnK;AAED,+FAA+F;AAC/F,qBAAa,qBAAqB;;IAGpB,OAAO,CAAC,QAAQ,CAAC,IAAI;gBAAJ,IAAI,EAAE,SAAS;IAI5C,OAAO,CAAC,OAAO;IAMf,OAAO,CAAC,eAAe;YAQT,cAAc;IAG5B;qFACiF;IAC3E,gBAAgB,CAAC,SAAS,EAAE,eAAe,EAAE,QAAQ,oBAA0B,GAAG,OAAO,CAAC,SAAS,CAAC;IAU1G;gFAC4E;IACtE,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;YAepE,OAAO;IAcrB,OAAO,CAAC,OAAO;YAGD,QAAQ;IAGhB,cAAc,CAAC,SAAS,EAAC,eAAe,GAAE,OAAO,CAAC,IAAI,CAAC;YAa/C,QAAQ;YA4CR,OAAO;YAIP,KAAK;IAKb,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC;YAmGzE,IAAI;YAoEJ,UAAU;YAIV,OAAO;IAmDf,MAAM,CAAC,QAAQ,EAAC,iBAAiB,EAAC,KAAK,EAAC,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,GAAE,OAAO,CAAC,OAAO,CAAC;IAiBrF,QAAQ,CAAC,QAAQ,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAMnG,KAAK,IAAG,OAAO,CAAC,IAAI,CAAC;CAK5B;AAED,oFAAoF;AACpF,wBAAgB,eAAe,CAAC,OAAO,EAAC,MAAM,EAAC,GAAG,EAAC,MAAM,EAAC,KAAK,EAAC,MAAM,GAAC,KAAK,EAAC,MAAM,EAAC,WAAW,EAAC,SAAS,EAAC,MAAM,EAAC,SAAS,CAAC,EAAC,MAAI,IAAI,8DA+BnI;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAC;IAAC,KAAK,EAAC;QAAC,QAAQ,CAAC,IAAI,EAAC,GAAG,GAAE,MAAI,IAAI,CAAC;QAAA,GAAG,CAAC,CAAC,IAAI,EAAC,MAAM,EAAC,KAAK,CAAC,EAAC,GAAG,GAAE,GAAG,CAAC;QAAA,SAAS,CAAC,CAAC,IAAI,EAAC,QAAQ,GAAE,MAAI,IAAI,CAAA;KAAC,CAAC;IAAA,EAAE,CAAC,CAAC,IAAI,EAAC,MAAM,EAAC,QAAQ,EAAC,CAAC,GAAG,IAAI,EAAC,GAAG,EAAE,KAAG,OAAO,EAAC,OAAO,CAAC,EAAC,GAAG,GAAE,MAAI,IAAI,CAAA;CAAC,EAAC,IAAI,EAAC,SAAS,GAAE,MAAI,OAAO,CAAC,IAAI,CAAC,CAqC3P"}
|