kiokuko-dsh 0.2.39 → 0.2.41
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 +2 -2
- package/README.ja.md +17 -5
- package/README.ko.md +17 -5
- package/README.md +17 -5
- package/README.zh-CN.md +17 -5
- package/dist/akinator/skill-discovery-attempt.d.ts +3 -1
- package/dist/akinator/skill-discovery-attempt.d.ts.map +1 -1
- package/dist/akinator/skill-discovery-attempt.js +12 -11
- package/dist/akinator/skill-discovery-attempt.js.map +1 -1
- package/dist/client.cjs +7 -10
- package/dist/client.d.ts.map +1 -1
- package/dist/context/continuity-view.d.ts +0 -11
- package/dist/context/continuity-view.d.ts.map +1 -1
- package/dist/context/continuity-view.js +5 -9
- package/dist/context/continuity-view.js.map +1 -1
- package/dist/deep-thinker/controller.d.ts +4 -1
- package/dist/deep-thinker/controller.d.ts.map +1 -1
- package/dist/deep-thinker/controller.js +10 -0
- package/dist/deep-thinker/controller.js.map +1 -1
- package/dist/deep-thinker/core/contracts.d.ts +11 -11
- package/dist/deep-thinker/memory-finalizer.d.ts +1 -1
- package/dist/deep-thinker/native-executor.d.ts +1 -1
- package/dist/deep-thinker/native-executor.d.ts.map +1 -1
- package/dist/deep-thinker/prompts.js +1 -1
- package/dist/deep-thinker/prompts.js.map +1 -1
- package/dist/deep-thinker/quality-prompts.js +1 -1
- package/dist/deep-thinker/quality-prompts.js.map +1 -1
- package/dist/deep-thinker/report.d.ts +1 -1
- package/dist/deep-thinker/store.d.ts +1 -1
- package/dist/dsh/agenticreplay-hooks.d.ts.map +1 -1
- package/dist/dsh/agenticreplay-hooks.js +13 -0
- package/dist/dsh/agenticreplay-hooks.js.map +1 -1
- package/dist/dsh/agenticreplay-recorder.d.ts +5 -0
- package/dist/dsh/agenticreplay-recorder.d.ts.map +1 -1
- package/dist/dsh/agenticreplay-recorder.js +19 -0
- package/dist/dsh/agenticreplay-recorder.js.map +1 -1
- package/dist/dsh/coding-workflow/contracts.d.ts +2 -5
- package/dist/dsh/coding-workflow/contracts.d.ts.map +1 -1
- package/dist/dsh/coding-workflow/contracts.js +1 -1
- package/dist/dsh/coding-workflow/contracts.js.map +1 -1
- package/dist/dsh/coding-workflow/host.d.ts.map +1 -1
- package/dist/dsh/coding-workflow/host.js +1 -4
- package/dist/dsh/coding-workflow/host.js.map +1 -1
- package/dist/dsh/coding-workflow/intent.d.ts.map +1 -1
- package/dist/dsh/coding-workflow/intent.js +0 -6
- package/dist/dsh/coding-workflow/intent.js.map +1 -1
- package/dist/dsh/coding-workflow/service.d.ts +4 -8
- package/dist/dsh/coding-workflow/service.d.ts.map +1 -1
- package/dist/dsh/coding-workflow/service.js +5 -57
- package/dist/dsh/coding-workflow/service.js.map +1 -1
- package/dist/dsh/completion-report.d.ts +0 -31
- package/dist/dsh/completion-report.d.ts.map +1 -1
- package/dist/dsh/completion-report.js +16 -94
- package/dist/dsh/completion-report.js.map +1 -1
- package/dist/dsh/composition.d.ts +1 -3
- package/dist/dsh/composition.d.ts.map +1 -1
- package/dist/dsh/composition.js +13 -34
- package/dist/dsh/composition.js.map +1 -1
- package/dist/dsh/config.d.ts +1 -22
- package/dist/dsh/config.d.ts.map +1 -1
- package/dist/dsh/config.js +0 -8
- package/dist/dsh/config.js.map +1 -1
- package/dist/dsh/context-injection.d.ts +1 -11
- package/dist/dsh/context-injection.d.ts.map +1 -1
- package/dist/dsh/context-injection.js +3 -24
- package/dist/dsh/context-injection.js.map +1 -1
- package/dist/dsh/continuity-adapter.d.ts +0 -5
- package/dist/dsh/continuity-adapter.d.ts.map +1 -1
- package/dist/dsh/continuity-adapter.js +1 -39
- package/dist/dsh/continuity-adapter.js.map +1 -1
- package/dist/dsh/decisions/contracts.d.ts +0 -1
- package/dist/dsh/decisions/contracts.d.ts.map +1 -1
- package/dist/dsh/decisions/contracts.js +1 -1
- package/dist/dsh/decisions/contracts.js.map +1 -1
- package/dist/dsh/decisions/diagnostics.d.ts +8 -11
- package/dist/dsh/decisions/diagnostics.d.ts.map +1 -1
- package/dist/dsh/decisions/diagnostics.js +1 -9
- package/dist/dsh/decisions/diagnostics.js.map +1 -1
- package/dist/dsh/decisions/intent-assessment.d.ts +2 -5
- package/dist/dsh/decisions/intent-assessment.d.ts.map +1 -1
- package/dist/dsh/decisions/intent-assessment.js +17 -9
- package/dist/dsh/decisions/intent-assessment.js.map +1 -1
- package/dist/dsh/efficiency.d.ts +0 -3
- package/dist/dsh/efficiency.d.ts.map +1 -1
- package/dist/dsh/efficiency.js +1 -9
- package/dist/dsh/efficiency.js.map +1 -1
- package/dist/dsh/execution-selection.d.ts +6 -7
- package/dist/dsh/execution-selection.d.ts.map +1 -1
- package/dist/dsh/execution-selection.js +10 -15
- package/dist/dsh/execution-selection.js.map +1 -1
- package/dist/dsh/execution-support.d.ts +0 -4
- package/dist/dsh/execution-support.d.ts.map +1 -1
- package/dist/dsh/execution-support.js +3 -15
- package/dist/dsh/execution-support.js.map +1 -1
- package/dist/dsh/harness/factory.d.ts +109 -0
- package/dist/dsh/harness/factory.d.ts.map +1 -0
- package/dist/dsh/harness/factory.js +566 -0
- package/dist/dsh/harness/factory.js.map +1 -0
- package/dist/dsh/harness/inbox.d.ts +22 -0
- package/dist/dsh/harness/inbox.d.ts.map +1 -0
- package/dist/dsh/harness/inbox.js +61 -0
- package/dist/dsh/harness/inbox.js.map +1 -0
- package/dist/dsh/harness/index.d.ts +19 -0
- package/dist/dsh/harness/index.d.ts.map +1 -0
- package/dist/dsh/harness/index.js +26 -0
- package/dist/dsh/harness/index.js.map +1 -0
- package/dist/dsh/harness/lifecycle.d.ts +26 -0
- package/dist/dsh/harness/lifecycle.d.ts.map +1 -0
- package/dist/dsh/harness/lifecycle.js +21 -0
- package/dist/dsh/harness/lifecycle.js.map +1 -0
- package/dist/dsh/harness/projections.d.ts +16 -0
- package/dist/dsh/harness/projections.d.ts.map +1 -0
- package/dist/dsh/harness/projections.js +34 -0
- package/dist/dsh/harness/projections.js.map +1 -0
- package/dist/dsh/head-worker-configuration.d.ts +1 -2
- package/dist/dsh/head-worker-configuration.d.ts.map +1 -1
- package/dist/dsh/head-worker-configuration.js +0 -5
- package/dist/dsh/head-worker-configuration.js.map +1 -1
- package/dist/dsh/host-adapter/admission.d.ts +1 -8
- package/dist/dsh/host-adapter/admission.d.ts.map +1 -1
- package/dist/dsh/host-adapter/admission.js +51 -260
- package/dist/dsh/host-adapter/admission.js.map +1 -1
- package/dist/dsh/host-adapter/boundaries.d.ts +1 -28
- package/dist/dsh/host-adapter/boundaries.d.ts.map +1 -1
- package/dist/dsh/host-adapter/boundaries.js +27 -328
- package/dist/dsh/host-adapter/boundaries.js.map +1 -1
- package/dist/dsh/host-adapter/context.d.ts +1 -7
- package/dist/dsh/host-adapter/context.d.ts.map +1 -1
- package/dist/dsh/host-adapter/context.js +5 -28
- package/dist/dsh/host-adapter/context.js.map +1 -1
- package/dist/dsh/host-adapter/efficiency-host.d.ts +0 -2
- package/dist/dsh/host-adapter/efficiency-host.d.ts.map +1 -1
- package/dist/dsh/host-adapter/efficiency-host.js +2 -2
- package/dist/dsh/host-adapter/efficiency-host.js.map +1 -1
- package/dist/dsh/host-adapter/lifecycle.d.ts +0 -7
- package/dist/dsh/host-adapter/lifecycle.d.ts.map +1 -1
- package/dist/dsh/host-adapter/lifecycle.js +58 -71
- package/dist/dsh/host-adapter/lifecycle.js.map +1 -1
- package/dist/dsh/host-adapter/memory-application-host.d.ts +0 -2
- package/dist/dsh/host-adapter/memory-application-host.d.ts.map +1 -1
- package/dist/dsh/host-adapter/memory-application-host.js +2 -2
- package/dist/dsh/host-adapter/memory-application-host.js.map +1 -1
- package/dist/dsh/host-adapter/routing.d.ts +1 -5
- package/dist/dsh/host-adapter/routing.d.ts.map +1 -1
- package/dist/dsh/host-adapter/routing.js +21 -73
- package/dist/dsh/host-adapter/routing.js.map +1 -1
- package/dist/dsh/host-adapter/session-observation.d.ts +1 -8
- package/dist/dsh/host-adapter/session-observation.d.ts.map +1 -1
- package/dist/dsh/host-adapter/session-observation.js +2 -55
- package/dist/dsh/host-adapter/session-observation.js.map +1 -1
- package/dist/dsh/host-adapter/tool-host.d.ts +3 -41
- package/dist/dsh/host-adapter/tool-host.d.ts.map +1 -1
- package/dist/dsh/host-adapter/tool-host.js +14 -243
- package/dist/dsh/host-adapter/tool-host.js.map +1 -1
- package/dist/dsh/host-adapter/turn-state.d.ts +0 -4
- package/dist/dsh/host-adapter/turn-state.d.ts.map +1 -1
- package/dist/dsh/host-adapter/turn-state.js +16 -93
- package/dist/dsh/host-adapter/turn-state.js.map +1 -1
- package/dist/dsh/host-adapter.d.ts +0 -11
- package/dist/dsh/host-adapter.d.ts.map +1 -1
- package/dist/dsh/host-adapter.js +17 -179
- package/dist/dsh/host-adapter.js.map +1 -1
- package/dist/dsh/index.d.ts +3 -16
- package/dist/dsh/index.d.ts.map +1 -1
- package/dist/dsh/index.js +0 -6
- package/dist/dsh/index.js.map +1 -1
- package/dist/dsh/lifecycle-memory.d.ts +3 -0
- package/dist/dsh/lifecycle-memory.d.ts.map +1 -1
- package/dist/dsh/lifecycle-memory.js +67 -45
- package/dist/dsh/lifecycle-memory.js.map +1 -1
- package/dist/dsh/lisp/candidate.d.ts +2 -2
- package/dist/dsh/lisp/code-intelligence-contracts.d.ts +1 -1
- package/dist/dsh/lisp/compiled-cache.d.ts.map +1 -1
- package/dist/dsh/lisp/compiled-cache.js +27 -6
- package/dist/dsh/lisp/compiled-cache.js.map +1 -1
- package/dist/dsh/lisp/host-tool-dispatch.d.ts.map +1 -1
- package/dist/dsh/lisp/host-tool-dispatch.js +14 -5
- package/dist/dsh/lisp/host-tool-dispatch.js.map +1 -1
- package/dist/dsh/lisp/manager.d.ts +7 -4
- package/dist/dsh/lisp/manager.d.ts.map +1 -1
- package/dist/dsh/lisp/manager.js +132 -103
- package/dist/dsh/lisp/manager.js.map +1 -1
- package/dist/dsh/lisp/sandbox.d.ts.map +1 -1
- package/dist/dsh/lisp/sandbox.js +1 -5
- package/dist/dsh/lisp/sandbox.js.map +1 -1
- package/dist/dsh/lisp/supervision.d.ts +33 -0
- package/dist/dsh/lisp/supervision.d.ts.map +1 -0
- package/dist/dsh/lisp/supervision.js +89 -0
- package/dist/dsh/lisp/supervision.js.map +1 -0
- package/dist/dsh/lisp/surface.d.ts +2 -2
- package/dist/dsh/lisp/surface.d.ts.map +1 -1
- package/dist/dsh/lisp/surface.js +105 -11
- package/dist/dsh/lisp/surface.js.map +1 -1
- package/dist/dsh/lisp/worker.d.ts +2 -1
- package/dist/dsh/lisp/worker.d.ts.map +1 -1
- package/dist/dsh/lisp/worker.js +7 -1
- package/dist/dsh/lisp/worker.js.map +1 -1
- package/dist/dsh/loop-guard.d.ts +0 -8
- package/dist/dsh/loop-guard.d.ts.map +1 -1
- package/dist/dsh/loop-guard.js +0 -51
- package/dist/dsh/loop-guard.js.map +1 -1
- package/dist/dsh/memory-application.d.ts.map +1 -1
- package/dist/dsh/memory-application.js +0 -6
- package/dist/dsh/memory-application.js.map +1 -1
- package/dist/dsh/message-sources.d.ts +2 -12
- package/dist/dsh/message-sources.d.ts.map +1 -1
- package/dist/dsh/message-sources.js +20 -39
- package/dist/dsh/message-sources.js.map +1 -1
- package/dist/dsh/model-configuration.d.ts +6 -24
- package/dist/dsh/model-configuration.d.ts.map +1 -1
- package/dist/dsh/model-configuration.js +1 -78
- package/dist/dsh/model-configuration.js.map +1 -1
- package/dist/dsh/model-routing.d.ts +1 -3
- package/dist/dsh/model-routing.d.ts.map +1 -1
- package/dist/dsh/model-routing.js +0 -11
- package/dist/dsh/model-routing.js.map +1 -1
- package/dist/dsh/model-selection-ui.d.ts +1 -2
- package/dist/dsh/model-selection-ui.d.ts.map +1 -1
- package/dist/dsh/model-selection-ui.js +48 -309
- package/dist/dsh/model-selection-ui.js.map +1 -1
- package/dist/dsh/models/contracts.d.ts +2 -2
- package/dist/dsh/models/service.d.ts +1 -1
- package/dist/dsh/modules/legacy-bindings.d.ts +3 -1
- package/dist/dsh/modules/legacy-bindings.d.ts.map +1 -1
- package/dist/dsh/modules/legacy-bindings.js +5 -5
- package/dist/dsh/modules/legacy-bindings.js.map +1 -1
- package/dist/dsh/modules/lisp.js +1 -1
- package/dist/dsh/modules/lisp.js.map +1 -1
- package/dist/dsh/native-execution-ownership.d.ts.map +1 -1
- package/dist/dsh/native-execution-ownership.js +0 -2
- package/dist/dsh/native-execution-ownership.js.map +1 -1
- package/dist/dsh/native-worker-routing.d.ts.map +1 -1
- package/dist/dsh/native-worker-routing.js +7 -2
- package/dist/dsh/native-worker-routing.js.map +1 -1
- package/dist/dsh/on-demand-intake.d.ts.map +1 -1
- package/dist/dsh/on-demand-intake.js +17 -8
- package/dist/dsh/on-demand-intake.js.map +1 -1
- package/dist/dsh/orchestration/execution-owner.d.ts +3 -1
- package/dist/dsh/orchestration/execution-owner.d.ts.map +1 -1
- package/dist/dsh/orchestration/execution-owner.js.map +1 -1
- package/dist/dsh/owned-execution.js +1 -1
- package/dist/dsh/owned-execution.js.map +1 -1
- package/dist/dsh/replay-memory-extract.d.ts.map +1 -1
- package/dist/dsh/replay-memory-extract.js +15 -1
- package/dist/dsh/replay-memory-extract.js.map +1 -1
- package/dist/dsh/repository-learning.d.ts.map +1 -1
- package/dist/dsh/repository-learning.js +3 -0
- package/dist/dsh/repository-learning.js.map +1 -1
- package/dist/dsh/runtime.d.ts +10 -2
- package/dist/dsh/runtime.d.ts.map +1 -1
- package/dist/dsh/runtime.js +22 -43
- package/dist/dsh/runtime.js.map +1 -1
- package/dist/dsh/semantic-compaction/policy.js +1 -1
- package/dist/dsh/semantic-compaction/policy.js.map +1 -1
- package/dist/dsh/session-bridge.d.ts +1 -1
- package/dist/dsh/session-bridge.d.ts.map +1 -1
- package/dist/dsh/session-bridge.js +1 -1
- package/dist/dsh/session-bridge.js.map +1 -1
- package/dist/dsh/session-memory-finalizer.js +1 -1
- package/dist/dsh/session-memory-finalizer.js.map +1 -1
- package/dist/dsh/session-review-context.d.ts.map +1 -1
- package/dist/dsh/session-review-context.js +3 -16
- package/dist/dsh/session-review-context.js.map +1 -1
- package/dist/dsh/setup.d.ts +1 -1
- package/dist/dsh/setup.d.ts.map +1 -1
- package/dist/dsh/skill-compiler.js +1 -1
- package/dist/dsh/skill-compiler.js.map +1 -1
- package/dist/dsh/skill-prompt-contracts.d.ts +2 -2
- package/dist/dsh/skill-prompt-contracts.js +1 -1
- package/dist/dsh/skill-prompts.json +1 -1
- package/dist/dsh/standard-skills.d.ts +1 -8
- package/dist/dsh/standard-skills.d.ts.map +1 -1
- package/dist/dsh/standard-skills.js +1 -8
- package/dist/dsh/standard-skills.js.map +1 -1
- package/dist/dsh/task-authority-context.d.ts +3 -0
- package/dist/dsh/task-authority-context.d.ts.map +1 -1
- package/dist/dsh/task-authority-context.js +3 -0
- package/dist/dsh/task-authority-context.js.map +1 -1
- package/dist/dsh/task-completion-guidance.d.ts +1 -5
- package/dist/dsh/task-completion-guidance.d.ts.map +1 -1
- package/dist/dsh/task-completion-guidance.js +4 -6
- package/dist/dsh/task-completion-guidance.js.map +1 -1
- package/dist/dsh/task-completion-host.js +4 -4
- package/dist/dsh/task-completion-host.js.map +1 -1
- package/dist/dsh/task-completion.d.ts +1 -13
- package/dist/dsh/task-completion.d.ts.map +1 -1
- package/dist/dsh/task-completion.js +9 -104
- package/dist/dsh/task-completion.js.map +1 -1
- package/dist/dsh/task-intake.d.ts +2 -3
- package/dist/dsh/task-intake.d.ts.map +1 -1
- package/dist/dsh/task-intake.js +90 -86
- package/dist/dsh/task-intake.js.map +1 -1
- package/dist/dsh/task-state.d.ts.map +1 -1
- package/dist/dsh/task-state.js +0 -8
- package/dist/dsh/task-state.js.map +1 -1
- package/dist/dsh/tool-exposure.d.ts +1 -1
- package/dist/dsh/tool-exposure.d.ts.map +1 -1
- package/dist/dsh/tool-exposure.js +0 -2
- package/dist/dsh/tool-exposure.js.map +1 -1
- package/dist/dsh/tool-policy.d.ts +5 -8
- package/dist/dsh/tool-policy.d.ts.map +1 -1
- package/dist/dsh/tool-policy.js +3 -35
- package/dist/dsh/tool-policy.js.map +1 -1
- package/dist/dsh/tools.d.ts +2 -6
- package/dist/dsh/tools.d.ts.map +1 -1
- package/dist/dsh/tools.js +7 -63
- package/dist/dsh/tools.js.map +1 -1
- package/dist/dsh/turn-process.d.ts +0 -93
- package/dist/dsh/turn-process.d.ts.map +1 -1
- package/dist/dsh/turn-process.js +1 -307
- package/dist/dsh/turn-process.js.map +1 -1
- package/dist/dsh/user-interaction.d.ts +9 -16
- package/dist/dsh/user-interaction.d.ts.map +1 -1
- package/dist/dsh/user-interaction.js +19 -158
- package/dist/dsh/user-interaction.js.map +1 -1
- package/dist/index.js +2 -19
- package/dist/ledger/types.d.ts +1 -1
- package/dist/ledger/types.d.ts.map +1 -1
- package/dist/ledger/types.js +0 -7
- package/dist/ledger/types.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/correction-contract.d.ts +4 -4
- package/dist/memory/lifecycle.d.ts +1 -1
- package/dist/memory/review/evidence.js +1 -1
- package/dist/memory/review/evidence.js.map +1 -1
- package/dist/model-tools/contracts.d.ts +0 -437
- package/dist/model-tools/contracts.d.ts.map +1 -1
- package/dist/model-tools/contracts.js +0 -13
- package/dist/model-tools/contracts.js.map +1 -1
- package/dist/model-tools/names.d.ts +1 -1
- package/dist/model-tools/names.d.ts.map +1 -1
- package/dist/model-tools/names.js +0 -7
- package/dist/model-tools/names.js.map +1 -1
- package/dist/model-tools/registry.js +1 -1
- package/dist/model-tools/registry.js.map +1 -1
- package/dist/models-client.cjs +2 -2
- package/dist/models-client.js +2 -2
- package/dist/models-client.js.map +1 -1
- package/docs/README.ja.md +0 -1
- package/docs/README.md +0 -1
- package/docs/agenticreplay-recording.md +1 -1
- package/docs/agenticreplay-verification.md +1 -1
- package/docs/answer-review.md +2 -2
- package/docs/architecture.md +4 -7
- package/docs/auto-memory-review.md +3 -3
- package/docs/coding-workflow.md +1 -1
- package/docs/concepts.ja.md +3 -5
- package/docs/concepts.md +3 -5
- package/docs/core-modules.md +5 -16
- package/docs/database.md +5 -10
- package/docs/decision-diagnostics.md +1 -2
- package/docs/deep-planning.md +3 -3
- package/docs/dsh-plugin.md +42 -178
- package/docs/execution-ledger.md +1 -2
- package/docs/execution-support.md +6 -7
- package/docs/harness-map.md +1 -1
- package/docs/japanese-output.md +1 -1
- package/docs/keyboard-shortcuts.md +1 -1
- package/docs/kiokuko-harness.md +71 -0
- package/docs/kiokuko-models.md +4 -9
- package/docs/lisp-hot-tools.md +12 -7
- package/docs/lisp.md +43 -9
- package/docs/memory-application.md +5 -5
- package/docs/memory-delivery.md +1 -1
- package/docs/memory-reuse.md +1 -1
- package/docs/model-selection.ja.md +40 -123
- package/docs/model-selection.md +45 -114
- package/docs/on-demand-intake.md +2 -2
- package/docs/owned-execution.md +7 -7
- package/docs/pr72-ci-verification.md +2 -2
- package/docs/pstack-adaptation.json +0 -34
- package/docs/pstack-skills.md +1 -1
- package/docs/semantic-compaction.md +2 -2
- package/docs/session-history-repair.md +2 -2
- package/docs/skill-compiler.md +2 -4
- package/docs/tool-exposure.md +1 -1
- package/docs/typed-decisions.md +1 -9
- package/docs/verification.md +11 -7
- package/dsh/cordis.legacy.patch.yml +7 -0
- package/dsh/cordis.patch.yml +6 -1
- package/lisp/supervisor.mjs +16 -7
- package/lisp/tools.lisp +1 -1
- package/migrations/051_drop_enno.sql +19 -0
- package/package.json +5 -14
- package/scripts/session-history-codec.mjs +1 -1
- package/skills/coding-ideal-routine-skill/SKILL.md +1 -1
- package/skills/kiokuko-lisp/SKILL.md +11 -5
- package/skills/kiokuko-single-purpose-functions/SKILL.md +1 -1
- package/skills/kiokuko-ui-design-soul/SKILL.md +2 -2
- package/skills/one-shot-software-completion/SKILL.md +4 -7
- package/skills/one-shot-software-completion/references/boundaries-and-lifecycle.md +3 -5
- package/dist/dsh/advisory-runner.d.ts +0 -32
- package/dist/dsh/advisory-runner.d.ts.map +0 -1
- package/dist/dsh/advisory-runner.js +0 -116
- package/dist/dsh/advisory-runner.js.map +0 -1
- package/dist/dsh/completion-verifiers.d.ts +0 -45
- package/dist/dsh/completion-verifiers.d.ts.map +0 -1
- package/dist/dsh/completion-verifiers.js +0 -9
- package/dist/dsh/completion-verifiers.js.map +0 -1
- package/dist/dsh/continuation.d.ts +0 -24
- package/dist/dsh/continuation.d.ts.map +0 -1
- package/dist/dsh/continuation.js +0 -215
- package/dist/dsh/continuation.js.map +0 -1
- package/dist/dsh/decisions/check-model.d.ts +0 -6
- package/dist/dsh/decisions/check-model.d.ts.map +0 -1
- package/dist/dsh/decisions/check-model.js +0 -36
- package/dist/dsh/decisions/check-model.js.map +0 -1
- package/dist/dsh/decisions/plan-review.d.ts +0 -17
- package/dist/dsh/decisions/plan-review.d.ts.map +0 -1
- package/dist/dsh/decisions/plan-review.js +0 -68
- package/dist/dsh/decisions/plan-review.js.map +0 -1
- package/dist/dsh/directive-projection.d.ts +0 -7
- package/dist/dsh/directive-projection.d.ts.map +0 -1
- package/dist/dsh/directive-projection.js +0 -32
- package/dist/dsh/directive-projection.js.map +0 -1
- package/dist/dsh/enno-controller.d.ts +0 -132
- package/dist/dsh/enno-controller.d.ts.map +0 -1
- package/dist/dsh/enno-controller.js +0 -368
- package/dist/dsh/enno-controller.js.map +0 -1
- package/dist/dsh/enno-delegation.d.ts +0 -36
- package/dist/dsh/enno-delegation.d.ts.map +0 -1
- package/dist/dsh/enno-delegation.js +0 -203
- package/dist/dsh/enno-delegation.js.map +0 -1
- package/dist/dsh/enno-memory-refresh-store.d.ts +0 -26
- package/dist/dsh/enno-memory-refresh-store.d.ts.map +0 -1
- package/dist/dsh/enno-memory-refresh-store.js +0 -45
- package/dist/dsh/enno-memory-refresh-store.js.map +0 -1
- package/dist/dsh/enno-memory-refresh.d.ts +0 -57
- package/dist/dsh/enno-memory-refresh.d.ts.map +0 -1
- package/dist/dsh/enno-memory-refresh.js +0 -280
- package/dist/dsh/enno-memory-refresh.js.map +0 -1
- package/dist/dsh/host-adapter/enno-memory-host.d.ts +0 -29
- package/dist/dsh/host-adapter/enno-memory-host.d.ts.map +0 -1
- package/dist/dsh/host-adapter/enno-memory-host.js +0 -49
- package/dist/dsh/host-adapter/enno-memory-host.js.map +0 -1
- package/dist/dsh/modules/enno.d.ts +0 -70
- package/dist/dsh/modules/enno.d.ts.map +0 -1
- package/dist/dsh/modules/enno.js +0 -22
- package/dist/dsh/modules/enno.js.map +0 -1
- package/dist/dsh/verification-identity.d.ts +0 -3
- package/dist/dsh/verification-identity.d.ts.map +0 -1
- package/dist/dsh/verification-identity.js +0 -15
- package/dist/dsh/verification-identity.js.map +0 -1
- package/dist/enno-oduno/advisory-store.d.ts +0 -31
- package/dist/enno-oduno/advisory-store.d.ts.map +0 -1
- package/dist/enno-oduno/advisory-store.js +0 -105
- package/dist/enno-oduno/advisory-store.js.map +0 -1
- package/dist/enno-oduno/advisory.d.ts +0 -18
- package/dist/enno-oduno/advisory.d.ts.map +0 -1
- package/dist/enno-oduno/advisory.js +0 -311
- package/dist/enno-oduno/advisory.js.map +0 -1
- package/dist/enno-oduno/coding-workflow.d.ts +0 -39
- package/dist/enno-oduno/coding-workflow.d.ts.map +0 -1
- package/dist/enno-oduno/coding-workflow.js +0 -33
- package/dist/enno-oduno/coding-workflow.js.map +0 -1
- package/dist/enno-oduno/confirmation.d.ts +0 -4
- package/dist/enno-oduno/confirmation.d.ts.map +0 -1
- package/dist/enno-oduno/confirmation.js +0 -146
- package/dist/enno-oduno/confirmation.js.map +0 -1
- package/dist/enno-oduno/directives.d.ts +0 -10
- package/dist/enno-oduno/directives.d.ts.map +0 -1
- package/dist/enno-oduno/directives.js +0 -294
- package/dist/enno-oduno/directives.js.map +0 -1
- package/dist/enno-oduno/experts.d.ts +0 -3
- package/dist/enno-oduno/experts.d.ts.map +0 -1
- package/dist/enno-oduno/experts.js +0 -28
- package/dist/enno-oduno/experts.js.map +0 -1
- package/dist/enno-oduno/handoff.d.ts +0 -4
- package/dist/enno-oduno/handoff.d.ts.map +0 -1
- package/dist/enno-oduno/handoff.js +0 -18
- package/dist/enno-oduno/handoff.js.map +0 -1
- package/dist/enno-oduno/language.d.ts +0 -4
- package/dist/enno-oduno/language.d.ts.map +0 -1
- package/dist/enno-oduno/language.js +0 -6
- package/dist/enno-oduno/language.js.map +0 -1
- package/dist/enno-oduno/memory-focus.d.ts +0 -32
- package/dist/enno-oduno/memory-focus.d.ts.map +0 -1
- package/dist/enno-oduno/memory-focus.js +0 -87
- package/dist/enno-oduno/memory-focus.js.map +0 -1
- package/dist/enno-oduno/memory-refresh-policy.d.ts +0 -17
- package/dist/enno-oduno/memory-refresh-policy.d.ts.map +0 -1
- package/dist/enno-oduno/memory-refresh-policy.js +0 -11
- package/dist/enno-oduno/memory-refresh-policy.js.map +0 -1
- package/dist/enno-oduno/memory-verification.d.ts +0 -7
- package/dist/enno-oduno/memory-verification.d.ts.map +0 -1
- package/dist/enno-oduno/memory-verification.js +0 -59
- package/dist/enno-oduno/memory-verification.js.map +0 -1
- package/dist/enno-oduno/plan-draft.d.ts +0 -15
- package/dist/enno-oduno/plan-draft.d.ts.map +0 -1
- package/dist/enno-oduno/plan-draft.js +0 -20
- package/dist/enno-oduno/plan-draft.js.map +0 -1
- package/dist/enno-oduno/plan-recovery.d.ts +0 -44
- package/dist/enno-oduno/plan-recovery.d.ts.map +0 -1
- package/dist/enno-oduno/plan-recovery.js +0 -160
- package/dist/enno-oduno/plan-recovery.js.map +0 -1
- package/dist/enno-oduno/repository-state.d.ts +0 -10
- package/dist/enno-oduno/repository-state.d.ts.map +0 -1
- package/dist/enno-oduno/repository-state.js +0 -146
- package/dist/enno-oduno/repository-state.js.map +0 -1
- package/dist/enno-oduno/sanitize.d.ts +0 -17
- package/dist/enno-oduno/sanitize.d.ts.map +0 -1
- package/dist/enno-oduno/sanitize.js +0 -88
- package/dist/enno-oduno/sanitize.js.map +0 -1
- package/dist/enno-oduno/schemas.d.ts +0 -968
- package/dist/enno-oduno/schemas.d.ts.map +0 -1
- package/dist/enno-oduno/schemas.js +0 -622
- package/dist/enno-oduno/schemas.js.map +0 -1
- package/dist/enno-oduno/service.d.ts +0 -62
- package/dist/enno-oduno/service.d.ts.map +0 -1
- package/dist/enno-oduno/service.js +0 -1505
- package/dist/enno-oduno/service.js.map +0 -1
- package/dist/enno-oduno/skills.d.ts +0 -22
- package/dist/enno-oduno/skills.d.ts.map +0 -1
- package/dist/enno-oduno/skills.js +0 -127
- package/dist/enno-oduno/skills.js.map +0 -1
- package/dist/enno-oduno/store.d.ts +0 -109
- package/dist/enno-oduno/store.d.ts.map +0 -1
- package/dist/enno-oduno/store.js +0 -833
- package/dist/enno-oduno/store.js.map +0 -1
- package/dist/enno-oduno/types.d.ts +0 -457
- package/dist/enno-oduno/types.d.ts.map +0 -1
- package/dist/enno-oduno/types.js +0 -66
- package/dist/enno-oduno/types.js.map +0 -1
- package/dist/enno-oduno/validation-errors.d.ts +0 -93
- package/dist/enno-oduno/validation-errors.d.ts.map +0 -1
- package/dist/enno-oduno/validation-errors.js +0 -159
- package/dist/enno-oduno/validation-errors.js.map +0 -1
- package/dist/enno-oduno/verifier.d.ts +0 -16
- package/dist/enno-oduno/verifier.d.ts.map +0 -1
- package/dist/enno-oduno/verifier.js +0 -271
- package/dist/enno-oduno/verifier.js.map +0 -1
- package/docs/enno-memory-benchmark.json +0 -761
- package/docs/enno-memory-evaluation.md +0 -137
- package/docs/enno-oduno.ja.md +0 -68
- package/docs/enno-oduno.md +0 -94
- package/skills/kiokuko-enno-oduno/SKILL.md +0 -64
- package/skills/kiokuko-enno-oduno/enno-oduno.png +0 -0
|
@@ -11,9 +11,6 @@ export declare const STANDARD_FUNCTION_SKILL_MANAGED_MARKER = "<!-- KIOKUKO MANA
|
|
|
11
11
|
export declare const STANDARD_FUNCTION_EXPERT_IDS: readonly ["code.boundary.v1", "code.domain.v1", "code.effects.v1", "code.protocol.v1", "code.verification.v1", "code.modeling.v1"];
|
|
12
12
|
export declare const STANDARD_FUNCTION_EXPERT_FILES: readonly ["references/boundaries-and-ownership.md", "references/domain-and-types.md", "references/effects-and-data.md", "references/protocols-and-idempotency.md", "references/verification.md", "references/problem-shaping-and-language.md"];
|
|
13
13
|
export declare const STANDARD_FUNCTION_SKILL_FILES: readonly ["SKILL.md", "references/boundaries-and-ownership.md", "references/domain-and-types.md", "references/effects-and-data.md", "references/protocols-and-idempotency.md", "references/verification.md", "references/problem-shaping-and-language.md", "references/kiokuko-patterns.md", "references/review-checklist.md"];
|
|
14
|
-
export declare const STANDARD_ENNO_SKILL_NAME = "kiokuko-enno-oduno";
|
|
15
|
-
export declare const STANDARD_ENNO_SKILL_MANAGED_MARKER = "<!-- KIOKUKO MANAGED STANDARD SKILL: kiokuko-enno-oduno -->";
|
|
16
|
-
export declare const STANDARD_ENNO_SKILL_FILES: readonly ["SKILL.md"];
|
|
17
14
|
export declare const STANDARD_MEMORY_SKILL_NAME = "memory-reasoning";
|
|
18
15
|
export declare const STANDARD_MEMORY_SKILL_MANAGED_MARKER = "<!-- KIOKUKO MANAGED STANDARD SKILL: memory-reasoning -->";
|
|
19
16
|
export declare const STANDARD_MEMORY_SKILL_FILES: readonly ["SKILL.md"];
|
|
@@ -30,7 +27,7 @@ export declare const STANDARD_COMPLETION_SKILL_NAME = "one-shot-software-complet
|
|
|
30
27
|
export declare const STANDARD_COMPLETION_SKILL_MANAGED_MARKER = "<!-- KIOKUKO MANAGED STANDARD SKILL: one-shot-software-completion -->";
|
|
31
28
|
export declare const STANDARD_COMPLETION_SKILL_FILES: readonly ["SKILL.md", "references/discovery-and-scope.md", "references/boundaries-and-lifecycle.md", "references/verification-and-completion.md", "references/failure-recovery.md"];
|
|
32
29
|
export declare const DSH_INTAKE_OWNERSHIP_GUIDANCE = "DSH intake belongs to the kiokuko-dsh host. Never substitute same-named task_prepare/task_answer MCP tools from kiokuko or kiokuko-ai. A failed external MCP call does not prove DSH intake failed; preserve the admitted host state and follow its current directive.";
|
|
33
|
-
export declare const SOUL_ROUTING_ENTRY_CONTRACT = "Before any non-trivial Kiokuko-governed DSH work, read and apply the complete bundled `kiokuko-soul` Skill before any other Kiokuko Skill. The DSH host performs Akinator intake, binds the native session and complete capability catalog, and resolves actionable intake. Optional enrichment failures are degraded guidance. For new build, debug, review and devops tasks the host
|
|
30
|
+
export declare const SOUL_ROUTING_ENTRY_CONTRACT = "Before any non-trivial Kiokuko-governed DSH work, read and apply the complete bundled `kiokuko-soul` Skill before any other Kiokuko Skill. The DSH host performs Akinator intake, binds the native session and complete capability catalog, and resolves actionable intake. Optional enrichment failures are degraded guidance. For new build, debug, review and devops tasks the host may ask for the execution mode and a model configuration; unanswered execution choices stay pending. Preserve memory, Skills, native permissions and focused verification. Model routing and child delegation are host-owned. `task_prepare` and `task_answer` are host operations, not model tools. DSH intake belongs to the kiokuko-dsh host. Never substitute same-named task_prepare/task_answer MCP tools from kiokuko or kiokuko-ai. A failed external MCP call does not prove DSH intake failed; preserve the admitted host state and follow its current directive. Follow the admitted state, then route to `kiokuko-simple-work`, `kiokuko-single-purpose-functions`, and `kiokuko-ui-design-soul` only when applicable. For changes spanning setup, delivery, persisted state, or runtime handoffs, apply `veteran-programmer-skill` before and after implementation. When writing or changing code, also apply `one-shot-software-completion` and `coding-ideal-routine-skill` through the SOUL route. Read every applicable specialist `SKILL.md` index, then only the expert fragments selected by the concrete risk. Never substitute, install, or execute fetched external Skill content.";
|
|
34
31
|
export declare const STANDARD_SKILL_MANIFESTS: readonly [{
|
|
35
32
|
readonly name: "kiokuko-investigate";
|
|
36
33
|
readonly managedMarker: "<!-- KIOKUKO MANAGED STANDARD SKILL: kiokuko-investigate -->";
|
|
@@ -71,10 +68,6 @@ export declare const STANDARD_SKILL_MANIFESTS: readonly [{
|
|
|
71
68
|
readonly name: "kiokuko-single-purpose-functions";
|
|
72
69
|
readonly managedMarker: "<!-- KIOKUKO MANAGED STANDARD SKILL: kiokuko-single-purpose-functions -->";
|
|
73
70
|
readonly files: readonly ["SKILL.md", "references/boundaries-and-ownership.md", "references/domain-and-types.md", "references/effects-and-data.md", "references/protocols-and-idempotency.md", "references/verification.md", "references/problem-shaping-and-language.md", "references/kiokuko-patterns.md", "references/review-checklist.md"];
|
|
74
|
-
}, {
|
|
75
|
-
readonly name: "kiokuko-enno-oduno";
|
|
76
|
-
readonly managedMarker: "<!-- KIOKUKO MANAGED STANDARD SKILL: kiokuko-enno-oduno -->";
|
|
77
|
-
readonly files: readonly ["SKILL.md"];
|
|
78
71
|
}, {
|
|
79
72
|
readonly name: "memory-reasoning";
|
|
80
73
|
readonly managedMarker: "<!-- KIOKUKO MANAGED STANDARD SKILL: memory-reasoning -->";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"standard-skills.d.ts","sourceRoot":"","sources":["../../src/dsh/standard-skills.ts"],"names":[],"mappings":"AAKA,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AAC/D,eAAO,MAAM,gCAAgC,oEAAoE,CAAC;AAClH,eAAO,MAAM,sBAAsB,qHAOzB,CAAC;AACX,eAAO,MAAM,wBAAwB,+OAO3B,CAAC;AACX,eAAO,MAAM,uBAAuB,yRAI1B,CAAC;AACX,eAAO,MAAM,0BAA0B,wBAAwB,CAAC;AAChE,eAAO,MAAM,oCAAoC,iEAAiE,CAAC;AACnH,eAAO,MAAM,2BAA2B,uBAAwB,CAAC;AACjE,eAAO,MAAM,4BAA4B,qCAAqC,CAAC;AAC/E,eAAO,MAAM,sCAAsC,8EAA8E,CAAC;AAClI,eAAO,MAAM,4BAA4B,oIAO/B,CAAC;AACX,eAAO,MAAM,8BAA8B,gPAOjC,CAAC;AACX,eAAO,MAAM,6BAA6B,gUAKhC,CAAC;AACX,eAAO,MAAM,
|
|
1
|
+
{"version":3,"file":"standard-skills.d.ts","sourceRoot":"","sources":["../../src/dsh/standard-skills.ts"],"names":[],"mappings":"AAKA,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AAC/D,eAAO,MAAM,gCAAgC,oEAAoE,CAAC;AAClH,eAAO,MAAM,sBAAsB,qHAOzB,CAAC;AACX,eAAO,MAAM,wBAAwB,+OAO3B,CAAC;AACX,eAAO,MAAM,uBAAuB,yRAI1B,CAAC;AACX,eAAO,MAAM,0BAA0B,wBAAwB,CAAC;AAChE,eAAO,MAAM,oCAAoC,iEAAiE,CAAC;AACnH,eAAO,MAAM,2BAA2B,uBAAwB,CAAC;AACjE,eAAO,MAAM,4BAA4B,qCAAqC,CAAC;AAC/E,eAAO,MAAM,sCAAsC,8EAA8E,CAAC;AAClI,eAAO,MAAM,4BAA4B,oIAO/B,CAAC;AACX,eAAO,MAAM,8BAA8B,gPAOjC,CAAC;AACX,eAAO,MAAM,6BAA6B,gUAKhC,CAAC;AACX,eAAO,MAAM,0BAA0B,qBAAqB,CAAC;AAC7D,eAAO,MAAM,oCAAoC,8DAA8D,CAAC;AAChH,eAAO,MAAM,2BAA2B,uBAAwB,CAAC;AACjE,eAAO,MAAM,2BAA2B,6BAA6B,CAAC;AACtE,eAAO,MAAM,qCAAqC,sEAAsE,CAAC;AACzH,eAAO,MAAM,4BAA4B,uBAAwB,CAAC;AAClE,eAAO,MAAM,wBAAwB,iBAAiB,CAAC;AACvD,eAAO,MAAM,kCAAkC,0DAA0D,CAAC;AAC1G,eAAO,MAAM,yBAAyB,uBAAwB,CAAC;AAC/D,eAAO,MAAM,kCAAkC,+BAA+B,CAAC;AAC/E,eAAO,MAAM,4CAA4C,wEAAwE,CAAC;AAClI,eAAO,MAAM,mCAAmC,uBAAwB,CAAC;AACzE,eAAO,MAAM,8BAA8B,iCAAiC,CAAC;AAC7E,eAAO,MAAM,wCAAwC,0EAA0E,CAAC;AAChI,eAAO,MAAM,+BAA+B,qLAMlC,CAAC;AAEX,eAAO,MAAM,6BAA6B,2QAA2Q,CAAC;AAEtT,eAAO,MAAM,2BAA2B,qgDAAo2C,CAAC;AAQ74C,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAwCiB,CAAC;AAEvD,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAkCD,wBAAsB,6BAA6B,IAAI,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAEzF;AAED,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,OAAO,EAAE,wBAAwB,EACjC,eAAe,CAAC,EAAE,MAAM,GACvB;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,WAAW,CAAA;CAAE,CAclE"}
|
|
@@ -52,9 +52,6 @@ export const STANDARD_FUNCTION_SKILL_FILES = [
|
|
|
52
52
|
'references/kiokuko-patterns.md',
|
|
53
53
|
'references/review-checklist.md',
|
|
54
54
|
];
|
|
55
|
-
export const STANDARD_ENNO_SKILL_NAME = 'kiokuko-enno-oduno';
|
|
56
|
-
export const STANDARD_ENNO_SKILL_MANAGED_MARKER = '<!-- KIOKUKO MANAGED STANDARD SKILL: kiokuko-enno-oduno -->';
|
|
57
|
-
export const STANDARD_ENNO_SKILL_FILES = ['SKILL.md'];
|
|
58
55
|
export const STANDARD_MEMORY_SKILL_NAME = 'memory-reasoning';
|
|
59
56
|
export const STANDARD_MEMORY_SKILL_MANAGED_MARKER = '<!-- KIOKUKO MANAGED STANDARD SKILL: memory-reasoning -->';
|
|
60
57
|
export const STANDARD_MEMORY_SKILL_FILES = ['SKILL.md'];
|
|
@@ -77,7 +74,7 @@ export const STANDARD_COMPLETION_SKILL_FILES = [
|
|
|
77
74
|
'references/failure-recovery.md',
|
|
78
75
|
];
|
|
79
76
|
export const DSH_INTAKE_OWNERSHIP_GUIDANCE = 'DSH intake belongs to the kiokuko-dsh host. Never substitute same-named task_prepare/task_answer MCP tools from kiokuko or kiokuko-ai. A failed external MCP call does not prove DSH intake failed; preserve the admitted host state and follow its current directive.';
|
|
80
|
-
export const SOUL_ROUTING_ENTRY_CONTRACT = `Before any non-trivial Kiokuko-governed DSH work, read and apply the complete bundled \`${STANDARD_SOUL_SKILL_NAME}\` Skill before any other Kiokuko Skill. The DSH host performs Akinator intake, binds the native session and complete capability catalog, and resolves actionable intake. Optional enrichment failures are degraded guidance. For new build, debug, review and devops tasks the host
|
|
77
|
+
export const SOUL_ROUTING_ENTRY_CONTRACT = `Before any non-trivial Kiokuko-governed DSH work, read and apply the complete bundled \`${STANDARD_SOUL_SKILL_NAME}\` Skill before any other Kiokuko Skill. The DSH host performs Akinator intake, binds the native session and complete capability catalog, and resolves actionable intake. Optional enrichment failures are degraded guidance. For new build, debug, review and devops tasks the host may ask for the execution mode and a model configuration; unanswered execution choices stay pending. Preserve memory, Skills, native permissions and focused verification. Model routing and child delegation are host-owned. \`task_prepare\` and \`task_answer\` are host operations, not model tools. ${DSH_INTAKE_OWNERSHIP_GUIDANCE} Follow the admitted state, then route to \`${STANDARD_SIMPLE_SKILL_NAME}\`, \`${STANDARD_FUNCTION_SKILL_NAME}\`, and \`${STANDARD_UI_SKILL_NAME}\` only when applicable. For changes spanning setup, delivery, persisted state, or runtime handoffs, apply \`${STANDARD_VETERAN_SKILL_NAME}\` before and after implementation. When writing or changing code, also apply \`${STANDARD_COMPLETION_SKILL_NAME}\` and \`${STANDARD_CODING_ROUTINE_SKILL_NAME}\` through the SOUL route. Read every applicable specialist \`SKILL.md\` index, then only the expert fragments selected by the concrete risk. Never substitute, install, or execute fetched external Skill content.`;
|
|
81
78
|
export const STANDARD_SKILL_MANIFESTS = [
|
|
82
79
|
{ name: 'kiokuko-investigate', managedMarker: '<!-- KIOKUKO MANAGED STANDARD SKILL: kiokuko-investigate -->', files: ['SKILL.md', 'references/cases.md'] },
|
|
83
80
|
{ name: 'kiokuko-architecture', managedMarker: '<!-- KIOKUKO MANAGED STANDARD SKILL: kiokuko-architecture -->', files: ['SKILL.md', 'references/cases.md'] },
|
|
@@ -98,10 +95,6 @@ export const STANDARD_SKILL_MANIFESTS = [
|
|
|
98
95
|
name: STANDARD_FUNCTION_SKILL_NAME,
|
|
99
96
|
managedMarker: STANDARD_FUNCTION_SKILL_MANAGED_MARKER,
|
|
100
97
|
files: STANDARD_FUNCTION_SKILL_FILES,
|
|
101
|
-
}, {
|
|
102
|
-
name: STANDARD_ENNO_SKILL_NAME,
|
|
103
|
-
managedMarker: STANDARD_ENNO_SKILL_MANAGED_MARKER,
|
|
104
|
-
files: STANDARD_ENNO_SKILL_FILES,
|
|
105
98
|
}, {
|
|
106
99
|
name: STANDARD_MEMORY_SKILL_NAME,
|
|
107
100
|
managedMarker: STANDARD_MEMORY_SKILL_MANAGED_MARKER,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"standard-skills.js","sourceRoot":"","sources":["../../src/dsh/standard-skills.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AAC/D,MAAM,CAAC,MAAM,gCAAgC,GAAG,iEAAiE,CAAC;AAClH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,mBAAmB;IACnB,aAAa;IACb,aAAa;IACb,qBAAqB;IACrB,cAAc;IACd,cAAc;CACN,CAAC;AACX,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,oCAAoC;IACpC,8BAA8B;IAC9B,kCAAkC;IAClC,4CAA4C;IAC5C,uCAAuC;IACvC,iCAAiC;CACzB,CAAC;AACX,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,UAAU;IACV,GAAG,wBAAwB;IAC3B,4BAA4B;CACpB,CAAC;AACX,MAAM,CAAC,MAAM,0BAA0B,GAAG,qBAAqB,CAAC;AAChE,MAAM,CAAC,MAAM,oCAAoC,GAAG,8DAA8D,CAAC;AACnH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,UAAU,CAAU,CAAC;AACjE,MAAM,CAAC,MAAM,4BAA4B,GAAG,kCAAkC,CAAC;AAC/E,MAAM,CAAC,MAAM,sCAAsC,GAAG,2EAA2E,CAAC;AAClI,MAAM,CAAC,MAAM,4BAA4B,GAAG;IAC1C,kBAAkB;IAClB,gBAAgB;IAChB,iBAAiB;IACjB,kBAAkB;IAClB,sBAAsB;IACtB,kBAAkB;CACV,CAAC;AACX,MAAM,CAAC,MAAM,8BAA8B,GAAG;IAC5C,wCAAwC;IACxC,gCAAgC;IAChC,gCAAgC;IAChC,yCAAyC;IACzC,4BAA4B;IAC5B,4CAA4C;CACpC,CAAC;AACX,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,UAAU;IACV,GAAG,8BAA8B;IACjC,gCAAgC;IAChC,gCAAgC;CACxB,CAAC;AACX,MAAM,CAAC,MAAM,
|
|
1
|
+
{"version":3,"file":"standard-skills.js","sourceRoot":"","sources":["../../src/dsh/standard-skills.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AAC/D,MAAM,CAAC,MAAM,gCAAgC,GAAG,iEAAiE,CAAC;AAClH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,mBAAmB;IACnB,aAAa;IACb,aAAa;IACb,qBAAqB;IACrB,cAAc;IACd,cAAc;CACN,CAAC;AACX,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,oCAAoC;IACpC,8BAA8B;IAC9B,kCAAkC;IAClC,4CAA4C;IAC5C,uCAAuC;IACvC,iCAAiC;CACzB,CAAC;AACX,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,UAAU;IACV,GAAG,wBAAwB;IAC3B,4BAA4B;CACpB,CAAC;AACX,MAAM,CAAC,MAAM,0BAA0B,GAAG,qBAAqB,CAAC;AAChE,MAAM,CAAC,MAAM,oCAAoC,GAAG,8DAA8D,CAAC;AACnH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,UAAU,CAAU,CAAC;AACjE,MAAM,CAAC,MAAM,4BAA4B,GAAG,kCAAkC,CAAC;AAC/E,MAAM,CAAC,MAAM,sCAAsC,GAAG,2EAA2E,CAAC;AAClI,MAAM,CAAC,MAAM,4BAA4B,GAAG;IAC1C,kBAAkB;IAClB,gBAAgB;IAChB,iBAAiB;IACjB,kBAAkB;IAClB,sBAAsB;IACtB,kBAAkB;CACV,CAAC;AACX,MAAM,CAAC,MAAM,8BAA8B,GAAG;IAC5C,wCAAwC;IACxC,gCAAgC;IAChC,gCAAgC;IAChC,yCAAyC;IACzC,4BAA4B;IAC5B,4CAA4C;CACpC,CAAC;AACX,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,UAAU;IACV,GAAG,8BAA8B;IACjC,gCAAgC;IAChC,gCAAgC;CACxB,CAAC;AACX,MAAM,CAAC,MAAM,0BAA0B,GAAG,kBAAkB,CAAC;AAC7D,MAAM,CAAC,MAAM,oCAAoC,GAAG,2DAA2D,CAAC;AAChH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,UAAU,CAAU,CAAC;AACjE,MAAM,CAAC,MAAM,2BAA2B,GAAG,0BAA0B,CAAC;AACtE,MAAM,CAAC,MAAM,qCAAqC,GAAG,mEAAmE,CAAC;AACzH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,UAAU,CAAU,CAAC;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,cAAc,CAAC;AACvD,MAAM,CAAC,MAAM,kCAAkC,GAAG,uDAAuD,CAAC;AAC1G,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,UAAU,CAAU,CAAC;AAC/D,MAAM,CAAC,MAAM,kCAAkC,GAAG,4BAA4B,CAAC;AAC/E,MAAM,CAAC,MAAM,4CAA4C,GAAG,qEAAqE,CAAC;AAClI,MAAM,CAAC,MAAM,mCAAmC,GAAG,CAAC,UAAU,CAAU,CAAC;AACzE,MAAM,CAAC,MAAM,8BAA8B,GAAG,8BAA8B,CAAC;AAC7E,MAAM,CAAC,MAAM,wCAAwC,GAAG,uEAAuE,CAAC;AAChI,MAAM,CAAC,MAAM,+BAA+B,GAAG;IAC7C,UAAU;IACV,mCAAmC;IACnC,wCAAwC;IACxC,2CAA2C;IAC3C,gCAAgC;CACxB,CAAC;AAEX,MAAM,CAAC,MAAM,6BAA6B,GAAG,wQAAwQ,CAAC;AAEtT,MAAM,CAAC,MAAM,2BAA2B,GAAG,2FAA2F,wBAAwB,ikBAAikB,6BAA6B,+CAA+C,0BAA0B,SAAS,4BAA4B,aAAa,sBAAsB,gHAAgH,2BAA2B,mFAAmF,8BAA8B,YAAY,kCAAkC,qNAAqN,CAAC;AAQ74C,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,EAAE,IAAI,EAAE,qBAAqB,EAAE,aAAa,EAAE,8DAA8D,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE;IAC1J,EAAE,IAAI,EAAE,sBAAsB,EAAE,aAAa,EAAE,+DAA+D,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE;IAC5J,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,yDAAyD,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE;IAChJ,EAAE,IAAI,EAAE,mBAAmB,EAAE,aAAa,EAAE,4DAA4D,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE;IACtJ,EAAE,IAAI,EAAE,sBAAsB,EAAE,aAAa,EAAE,+DAA+D,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE;IAC5J,EAAE,IAAI,EAAE,yBAAyB,EAAE,aAAa,EAAE,kEAAkE,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE;IAClK,EAAE,IAAI,EAAE,2BAA2B,EAAE,aAAa,EAAE,oEAAoE,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE;IACxK;QACE,IAAI,EAAE,sBAAsB;QAC5B,aAAa,EAAE,gCAAgC;QAC/C,KAAK,EAAE,uBAAuB;KAC/B,EAAE;QACD,IAAI,EAAE,0BAA0B;QAChC,aAAa,EAAE,oCAAoC;QACnD,KAAK,EAAE,2BAA2B;KACnC,EAAE;QACD,IAAI,EAAE,4BAA4B;QAClC,aAAa,EAAE,sCAAsC;QACrD,KAAK,EAAE,6BAA6B;KACrC,EAAE;QACD,IAAI,EAAE,0BAA0B;QAChC,aAAa,EAAE,oCAAoC;QACnD,KAAK,EAAE,2BAA2B;KACnC,EAAE;QACD,IAAI,EAAE,2BAA2B;QACjC,aAAa,EAAE,qCAAqC;QACpD,KAAK,EAAE,4BAA4B;KACpC,EAAE;QACD,IAAI,EAAE,wBAAwB;QAC9B,aAAa,EAAE,kCAAkC;QACjD,KAAK,EAAE,yBAAyB;KACjC,EAAE;QACD,IAAI,EAAE,kCAAkC;QACxC,aAAa,EAAE,4CAA4C;QAC3D,KAAK,EAAE,mCAAmC;KAC3C,EAAE;QACD,IAAI,EAAE,8BAA8B;QACpC,aAAa,EAAE,wCAAwC;QACvD,KAAK,EAAE,+BAA+B;KACvC;CAAqD,CAAC;AASvD,SAAS,iBAAiB,CAAC,SAAiB;IAC1C,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,WAAW,CAAC,OAAe,EAAE,aAAqB;IACzD,OAAO,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AACjD,CAAC;AAED,KAAK,UAAU,wBAAwB,CACrC,QAA+B;IAE/B,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE;QAC3D,IAAI,OAAe,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC;QAClE,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,YAAY,CAAC,iBAAiB,EAAE,+CAA+C,QAAQ,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC,CAAC;QAC5H,CAAC;QACD,IAAI,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,YAAY,CAAC,iBAAiB,EAAE,iEAAiE,QAAQ,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC,CAAC;QAC9I,CAAC;QACD,OAAO;YACL,SAAS,EAAE,QAAQ,CAAC,IAAI;YACxB,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,YAAY;YACZ,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,6BAA6B;IACjD,OAAO,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,QAA4B,EAC5B,OAAiC,EACjC,eAAwB;IAExB,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACnF,IAAI,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,eAAe,IAAI,GAAG,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACjF,MAAM,IAAI,YAAY,CACpB,UAAU,EACV,2DAA2D,MAAM,wEAAwE,EACzI,EAAE,IAAI,EAAE,MAAM,EAAE,CACjB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,MAAM,EAAE,QAAQ,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;KAC/D,CAAC;AACJ,CAAC"}
|
|
@@ -2,6 +2,9 @@ import type { SqliteDatabase } from '../db/adapter.js';
|
|
|
2
2
|
import { type TaskIdentity, type TaskLease, type TaskAuthorityExecution } from './task-state.js';
|
|
3
3
|
export declare function withTaskAuthority<T>(lease: TaskLease, operation: () => T): T;
|
|
4
4
|
export declare function withNoTaskAuthority<T>(operation: () => T): T;
|
|
5
|
+
/** A separately scheduled agent resolves its own authority at tool admission.
|
|
6
|
+
* Neither a caller's lease nor its explicit no-task binding is transferable. */
|
|
7
|
+
export declare function withoutInheritedTaskAuthority<T>(operation: () => T): T;
|
|
5
8
|
export declare function hasNoTaskAuthority(): boolean;
|
|
6
9
|
export declare function currentTaskAuthority(): TaskLease | undefined;
|
|
7
10
|
export declare function captureExecutionTaskLease(db: SqliteDatabase, identity: TaskIdentity, execution?: TaskAuthorityExecution): TaskLease;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"task-authority-context.d.ts","sourceRoot":"","sources":["../../src/dsh/task-authority-context.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,EAA4E,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,KAAK,sBAAsB,EAAE,MAAM,iBAAiB,CAAA;AAK1K,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,CAE5E;AACD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,CAA0C;AACvG,wBAAgB,kBAAkB,IAAI,OAAO,CAAyC;AACtF,wBAAgB,oBAAoB,IAAI,SAAS,GAAG,SAAS,CAE5D;AACD,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,sBAAsB,GAAG,SAAS,CAWnI"}
|
|
1
|
+
{"version":3,"file":"task-authority-context.d.ts","sourceRoot":"","sources":["../../src/dsh/task-authority-context.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,EAA4E,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,KAAK,sBAAsB,EAAE,MAAM,iBAAiB,CAAA;AAK1K,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,CAE5E;AACD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,CAA0C;AACvG;gFACgF;AAChF,wBAAgB,6BAA6B,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,CAAqC;AAC5G,wBAAgB,kBAAkB,IAAI,OAAO,CAAyC;AACtF,wBAAgB,oBAAoB,IAAI,SAAS,GAAG,SAAS,CAE5D;AACD,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,sBAAsB,GAAG,SAAS,CAWnI"}
|
|
@@ -8,6 +8,9 @@ export function withTaskAuthority(lease, operation) {
|
|
|
8
8
|
return authority.run(Object.freeze({ ...lease }), operation);
|
|
9
9
|
}
|
|
10
10
|
export function withNoTaskAuthority(operation) { return authority.run(null, operation); }
|
|
11
|
+
/** A separately scheduled agent resolves its own authority at tool admission.
|
|
12
|
+
* Neither a caller's lease nor its explicit no-task binding is transferable. */
|
|
13
|
+
export function withoutInheritedTaskAuthority(operation) { return authority.exit(operation); }
|
|
11
14
|
export function hasNoTaskAuthority() { return authority.getStore() === null; }
|
|
12
15
|
export function currentTaskAuthority() {
|
|
13
16
|
return authority.getStore() ?? undefined;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"task-authority-context.js","sourceRoot":"","sources":["../../src/dsh/task-authority-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAE3C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,kBAAkB,EAAkE,MAAM,iBAAiB,CAAA;AAE1K,0EAA0E;AAC1E,8EAA8E;AAC9E,MAAM,SAAS,GAAG,IAAI,iBAAiB,EAAoB,CAAA;AAC3D,MAAM,UAAU,iBAAiB,CAAI,KAAgB,EAAE,SAAkB;IACvE,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;AAC9D,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAI,SAAkB,IAAO,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA,CAAC,CAAC;AACvG,MAAM,UAAU,kBAAkB,KAAc,OAAO,SAAS,CAAC,QAAQ,EAAE,KAAK,IAAI,CAAA,CAAC,CAAC;AACtF,MAAM,UAAU,oBAAoB;IAClC,OAAO,SAAS,CAAC,QAAQ,EAAE,IAAI,SAAS,CAAA;AAC1C,CAAC;AACD,MAAM,UAAU,yBAAyB,CAAC,EAAkB,EAAE,QAAsB,EAAE,SAAkC;IACtH,IAAI,kBAAkB,EAAE;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,+CAA+C,CAAC,CAAA;IAC7G,MAAM,SAAS,GAAG,SAAS,EAAE,CAAC,cAAc,CAAC,IAAI,oBAAoB,EAAE,CAAA;IACvE,IAAI,SAAS,EAAE,CAAC;QACd,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,SAAS,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,IAAI,SAAS,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;YAC5I,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,8BAA8B,CAAC,CAAA;QACpE,kBAAkB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAA;QACjC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;IAChC,OAAO,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAA;AACtD,CAAC"}
|
|
1
|
+
{"version":3,"file":"task-authority-context.js","sourceRoot":"","sources":["../../src/dsh/task-authority-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAE3C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,kBAAkB,EAAkE,MAAM,iBAAiB,CAAA;AAE1K,0EAA0E;AAC1E,8EAA8E;AAC9E,MAAM,SAAS,GAAG,IAAI,iBAAiB,EAAoB,CAAA;AAC3D,MAAM,UAAU,iBAAiB,CAAI,KAAgB,EAAE,SAAkB;IACvE,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;AAC9D,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAI,SAAkB,IAAO,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA,CAAC,CAAC;AACvG;gFACgF;AAChF,MAAM,UAAU,6BAA6B,CAAI,SAAkB,IAAO,OAAO,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA,CAAC,CAAC;AAC5G,MAAM,UAAU,kBAAkB,KAAc,OAAO,SAAS,CAAC,QAAQ,EAAE,KAAK,IAAI,CAAA,CAAC,CAAC;AACtF,MAAM,UAAU,oBAAoB;IAClC,OAAO,SAAS,CAAC,QAAQ,EAAE,IAAI,SAAS,CAAA;AAC1C,CAAC;AACD,MAAM,UAAU,yBAAyB,CAAC,EAAkB,EAAE,QAAsB,EAAE,SAAkC;IACtH,IAAI,kBAAkB,EAAE;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,+CAA+C,CAAC,CAAA;IAC7G,MAAM,SAAS,GAAG,SAAS,EAAE,CAAC,cAAc,CAAC,IAAI,oBAAoB,EAAE,CAAA;IACvE,IAAI,SAAS,EAAE,CAAC;QACd,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,SAAS,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,IAAI,SAAS,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;YAC5I,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,8BAA8B,CAAC,CAAA;QACpE,kBAAkB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAA;QACjC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;IAChC,OAAO,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAA;AACtD,CAAC"}
|
|
@@ -5,16 +5,12 @@ export declare const COMPLETION_BINDING_GUIDE: {
|
|
|
5
5
|
readonly requiredFields: readonly ["kind", "command", "cwd", "sourcePaths", "assertion"];
|
|
6
6
|
readonly sourcePaths: "At least one repository-relative current implementation/test path; include an asserted artifact. No absolute path or parent traversal.";
|
|
7
7
|
readonly conditions: {
|
|
8
|
-
readonly selected_tests_pass: "Observe complete
|
|
8
|
+
readonly selected_tests_pass: "Observe complete Node TAP output from the exact bound command: use node --test --test-reporter=tap with the selected test files. Spec reporter output cannot establish coverage. Binding or exit 0 alone is not proof.";
|
|
9
9
|
readonly output_matches: "Requires expectedOutput and exact observed output.";
|
|
10
10
|
readonly artifact_matches: "Requires artifactPath, artifactSha256 and artifactPath in sourcePaths.";
|
|
11
11
|
readonly exit_zero: "Only when the current non-coding criterion permits it; never sufficient for a coding criterion.";
|
|
12
12
|
};
|
|
13
13
|
};
|
|
14
|
-
readonly enno_verifier: {
|
|
15
|
-
readonly requiredFields: readonly ["kind", "verifierId", "assertion"];
|
|
16
|
-
readonly condition: "Use a verifier in the current approved Enno contract; add workUnitId only for its focused verifier. No native command substitute.";
|
|
17
|
-
};
|
|
18
14
|
};
|
|
19
15
|
export interface CompletionInputIssue {
|
|
20
16
|
field: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"task-completion-guidance.d.ts","sourceRoot":"","sources":["../../src/dsh/task-completion-guidance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,YAAY,EAAC,MAAM,cAAc,CAAA;AACzC,wBAAgB,qBAAqB,CAAC,QAAQ,EAAC,MAAM,GAAE,qBAAqB,GAAC,gBAAgB,GAAC,kBAAkB,CAE/G;AACD,eAAO,MAAM,wBAAwB
|
|
1
|
+
{"version":3,"file":"task-completion-guidance.d.ts","sourceRoot":"","sources":["../../src/dsh/task-completion-guidance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,YAAY,EAAC,MAAM,cAAc,CAAA;AACzC,wBAAgB,qBAAqB,CAAC,QAAQ,EAAC,MAAM,GAAE,qBAAqB,GAAC,gBAAgB,GAAC,kBAAkB,CAE/G;AACD,eAAO,MAAM,wBAAwB;;;;;;;;;;;CAM3B,CAAA;AAaV,MAAM,WAAW,oBAAoB;IAAE,KAAK,EAAC,MAAM,CAAC;IAAA,MAAM,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,EAAC,MAAM,CAAA;CAAC;AACnF,wBAAgB,oBAAoB,CAAC,MAAM,EAAC,SAAS,oBAAoB,EAAE,GAAE,YAAY,CASxF"}
|
|
@@ -5,15 +5,14 @@ export function assertionForCriterion(evidence) {
|
|
|
5
5
|
export const COMPLETION_BINDING_GUIDE = {
|
|
6
6
|
native_command: { requiredFields: ['kind', 'command', 'cwd', 'sourcePaths', 'assertion'],
|
|
7
7
|
sourcePaths: 'At least one repository-relative current implementation/test path; include an asserted artifact. No absolute path or parent traversal.',
|
|
8
|
-
conditions: { selected_tests_pass: 'Observe complete
|
|
8
|
+
conditions: { selected_tests_pass: 'Observe complete Node TAP output from the exact bound command: use node --test --test-reporter=tap with the selected test files. Spec reporter output cannot establish coverage. Binding or exit 0 alone is not proof.',
|
|
9
9
|
output_matches: 'Requires expectedOutput and exact observed output.', artifact_matches: 'Requires artifactPath, artifactSha256 and artifactPath in sourcePaths.',
|
|
10
10
|
exit_zero: 'Only when the current non-coding criterion permits it; never sufficient for a coding criterion.' } },
|
|
11
|
-
enno_verifier: { requiredFields: ['kind', 'verifierId', 'assertion'], condition: 'Use a verifier in the current approved Enno contract; add workUnitId only for its focused verifier. No native command substitute.' },
|
|
12
11
|
};
|
|
13
12
|
const corrections = {
|
|
14
13
|
action: 'Use status to read current criteria, or bind to propose a check.',
|
|
15
14
|
criterionId: 'Copy the exact current criterionId from task_completion status.',
|
|
16
|
-
'method.kind': '
|
|
15
|
+
'method.kind': 'Use native_command for the current approved route.',
|
|
17
16
|
'method.command': 'Supply the exact authorized foreground command matching the intended check procedure; bind does not execute it.',
|
|
18
17
|
'method.cwd': 'Supply an existing working directory inside the current repository; use . for its root.',
|
|
19
18
|
'method.sourcePaths': COMPLETION_BINDING_GUIDE.native_command.sourcePaths,
|
|
@@ -21,16 +20,15 @@ const corrections = {
|
|
|
21
20
|
'method.expectedOutput': 'Supply the exact expected output for output_matches.',
|
|
22
21
|
'method.artifactPath': 'Supply the current repository-relative artifact path and include it in sourcePaths.',
|
|
23
22
|
'method.artifactSha256': 'Supply the expected artifact SHA-256 as 64 lowercase hexadecimal characters.',
|
|
24
|
-
'method.verifierId': 'Use the exact verifierId from the current approved Enno contract, not an arbitrary command.',
|
|
25
23
|
};
|
|
26
24
|
export function completionInputError(issues) {
|
|
27
25
|
const recovery = { code: 'TASK_COMPLETION_INPUT_INVALID', executed: false, verified: false, permissions: 'unchanged_native_policy', issueCount: issues.length, omittedIssues: Math.max(0, issues.length - 16),
|
|
28
26
|
issues: issues.slice(0, 16).map(issue => ({ ...issue, correction: corrections[issue.field.replace(/\.\d+$/u, '')] ?? 'Read task_completion status and correct this field without changing task scope or native permissions.' })),
|
|
29
27
|
bindingGuide: structuredClone(COMPLETION_BINDING_GUIDE),
|
|
30
28
|
examples: [{ condition: 'For a current selected_tests criterion in native mode; replace the illustrative ID, command and paths using its actual authorized procedure.',
|
|
31
|
-
arguments: { action: 'bind', criterionId: 'current-criterion-id', method: { kind: 'native_command', command: 'node --test tests/example.test.mjs', cwd: '.', sourcePaths: ['src/example.mjs', 'tests/example.test.mjs'], assertion: 'selected_tests_pass' } } },
|
|
29
|
+
arguments: { action: 'bind', criterionId: 'current-criterion-id', method: { kind: 'native_command', command: 'node --test --test-reporter=tap tests/example.test.mjs', cwd: '.', sourcePaths: ['src/example.mjs', 'tests/example.test.mjs'], assertion: 'selected_tests_pass' } } },
|
|
32
30
|
{ condition: 'For a current output criterion in native mode; use its real expected output and authorized paths.', arguments: { action: 'bind', criterionId: 'current-output-criterion-id', method: { kind: 'native_command', command: 'node src/example.mjs', cwd: '.', sourcePaths: ['src/example.mjs'], assertion: 'output_matches', expectedOutput: '42' } } }],
|
|
33
|
-
nextAction: 'correct_current_binding_input', note: 'Examples are shapes, not permission or evidence. A successful bind remains unverified until the exact approved check is observed on current sources.
|
|
31
|
+
nextAction: 'correct_current_binding_input', note: 'Examples are shapes, not permission or evidence. A successful bind remains unverified until the exact approved check is observed on current sources.' };
|
|
34
32
|
return new KiokukoError('VALIDATION_ERROR', `Invalid task_completion input.\nRecovery: ${JSON.stringify(recovery)}`, recovery);
|
|
35
33
|
}
|
|
36
34
|
//# sourceMappingURL=task-completion-guidance.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"task-completion-guidance.js","sourceRoot":"","sources":["../../src/dsh/task-completion-guidance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,YAAY,EAAC,MAAM,cAAc,CAAA;AACzC,MAAM,UAAU,qBAAqB,CAAC,QAAe;IACnD,OAAO,QAAQ,KAAG,UAAU,CAAA,CAAC,CAAA,kBAAkB,CAAA,CAAC,CAAA,QAAQ,KAAG,QAAQ,CAAA,CAAC,CAAA,gBAAgB,CAAA,CAAC,CAAA,qBAAqB,CAAA;AAC5G,CAAC;AACD,MAAM,CAAC,MAAM,wBAAwB,GAAC;IACpC,cAAc,EAAC,EAAC,cAAc,EAAC,CAAC,MAAM,EAAC,SAAS,EAAC,KAAK,EAAC,aAAa,EAAC,WAAW,CAAC;QAC/E,WAAW,EAAC,wIAAwI;QACpJ,UAAU,EAAC,EAAC,mBAAmB,EAAC,
|
|
1
|
+
{"version":3,"file":"task-completion-guidance.js","sourceRoot":"","sources":["../../src/dsh/task-completion-guidance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,YAAY,EAAC,MAAM,cAAc,CAAA;AACzC,MAAM,UAAU,qBAAqB,CAAC,QAAe;IACnD,OAAO,QAAQ,KAAG,UAAU,CAAA,CAAC,CAAA,kBAAkB,CAAA,CAAC,CAAA,QAAQ,KAAG,QAAQ,CAAA,CAAC,CAAA,gBAAgB,CAAA,CAAC,CAAA,qBAAqB,CAAA;AAC5G,CAAC;AACD,MAAM,CAAC,MAAM,wBAAwB,GAAC;IACpC,cAAc,EAAC,EAAC,cAAc,EAAC,CAAC,MAAM,EAAC,SAAS,EAAC,KAAK,EAAC,aAAa,EAAC,WAAW,CAAC;QAC/E,WAAW,EAAC,wIAAwI;QACpJ,UAAU,EAAC,EAAC,mBAAmB,EAAC,wNAAwN;YACtP,cAAc,EAAC,oDAAoD,EAAC,gBAAgB,EAAC,wEAAwE;YAC7J,SAAS,EAAC,iGAAiG,EAAC,EAAC;CACzG,CAAA;AACV,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAC,kEAAkE;IACzE,WAAW,EAAC,iEAAiE;IAC7E,aAAa,EAAC,oDAAoD;IAClE,gBAAgB,EAAC,iHAAiH;IAClI,YAAY,EAAC,yFAAyF;IACtG,oBAAoB,EAAC,wBAAwB,CAAC,cAAc,CAAC,WAAW;IACxE,kBAAkB,EAAC,8JAA8J;IACjL,uBAAuB,EAAC,sDAAsD;IAC9E,qBAAqB,EAAC,qFAAqF;IAC3G,uBAAuB,EAAC,8EAA8E;CACvG,CAAA;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAsC;IACzE,MAAM,QAAQ,GAAC,EAAC,IAAI,EAAC,+BAA+B,EAAC,QAAQ,EAAC,KAAK,EAAC,QAAQ,EAAC,KAAK,EAAC,WAAW,EAAC,yBAAyB,EAAC,UAAU,EAAC,MAAM,CAAC,MAAM,EAAC,aAAa,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAC,MAAM,CAAC,MAAM,GAAC,EAAE,CAAC;QAC1L,MAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAA,EAAE,CAAA,CAAC,EAAC,GAAG,KAAK,EAAC,UAAU,EAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,EAAC,EAAE,CAAC,CAAC,IAAE,uGAAuG,EAAC,CAAC,CAAC;QACrN,YAAY,EAAC,eAAe,CAAC,wBAAwB,CAAC;QACtD,QAAQ,EAAC,CAAC,EAAC,SAAS,EAAC,8IAA8I;gBACjK,SAAS,EAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAC,sBAAsB,EAAC,MAAM,EAAC,EAAC,IAAI,EAAC,gBAAgB,EAAC,OAAO,EAAC,wDAAwD,EAAC,GAAG,EAAC,GAAG,EAAC,WAAW,EAAC,CAAC,iBAAiB,EAAC,wBAAwB,CAAC,EAAC,SAAS,EAAC,qBAAqB,EAAC,EAAC,EAAC;YAC9P,EAAC,SAAS,EAAC,mGAAmG,EAAC,SAAS,EAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAC,6BAA6B,EAAC,MAAM,EAAC,EAAC,IAAI,EAAC,gBAAgB,EAAC,OAAO,EAAC,sBAAsB,EAAC,GAAG,EAAC,GAAG,EAAC,WAAW,EAAC,CAAC,iBAAiB,CAAC,EAAC,SAAS,EAAC,gBAAgB,EAAC,cAAc,EAAC,IAAI,EAAC,EAAC,EAAC,CAAC;QAC3U,UAAU,EAAC,+BAA+B,EAAC,IAAI,EAAC,sJAAsJ,EAAC,CAAA;IACzM,OAAO,IAAI,YAAY,CAAC,kBAAkB,EAAC,6CAA6C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAC,QAAQ,CAAC,CAAA;AAC9H,CAAC"}
|
|
@@ -12,17 +12,17 @@ const input = z.discriminatedUnion('action', [
|
|
|
12
12
|
z.object({ action: z.literal('bind'), criterionId: z.string().min(1).max(256), method: CompletionMethodSchema }).strict(),
|
|
13
13
|
]);
|
|
14
14
|
const transport = z.object({ action: z.enum(['status', 'bind']), criterionId: z.string().optional(),
|
|
15
|
-
method: z.object({ kind: z.
|
|
16
|
-
cwd: z.string()
|
|
15
|
+
method: z.object({ kind: z.literal('native_command'), command: z.string(),
|
|
16
|
+
cwd: z.string(), sourcePaths: z.array(z.string()).min(1).max(32).describe('Required: at least one current repository-relative implementation/test path; include an asserted artifact.'),
|
|
17
17
|
protocol: ProtocolRecipeSchema.optional(),
|
|
18
|
-
assertion: z.enum(['exit_zero', 'selected_tests_pass', 'output_matches', 'artifact_matches']).describe('Match the criterion evidence. output_matches requires expectedOutput; artifact_matches requires artifactPath, artifactSha256, and artifact in sourcePaths. Coding never accepts exit_zero alone.').optional(), expectedOutput: z.string().optional(), artifactPath: z.string().optional(), artifactSha256: z.string().optional() }).strict().optional(),
|
|
18
|
+
assertion: z.enum(['exit_zero', 'selected_tests_pass', 'output_matches', 'artifact_matches']).describe('Match the criterion evidence. selected_tests_pass needs complete Node TAP: node --test --test-reporter=tap <test files>. output_matches requires expectedOutput; artifact_matches requires artifactPath, artifactSha256, and artifact in sourcePaths. Coding never accepts exit_zero alone.').optional(), expectedOutput: z.string().optional(), artifactPath: z.string().optional(), artifactSha256: z.string().optional() }).strict().optional(),
|
|
19
19
|
}).strict();
|
|
20
20
|
/** A model proposes a check; the host owns identity, approval, observation and verdict. */
|
|
21
21
|
export function mountTaskCompletion(ctx, host) {
|
|
22
22
|
const pending = new WeakMap();
|
|
23
23
|
const disposers = [];
|
|
24
24
|
disposers.push(ctx.tools.register({ name: 'task_completion', modelFacing: true,
|
|
25
|
-
description: 'Inspect task completion criteria or propose one exact check before running it. Bind never runs a command or marks a criterion successful. The host checks approval and actual evidence.
|
|
25
|
+
description: 'Inspect task completion criteria or propose one exact check before running it. Bind never runs a command or marks a criterion successful. The host checks approval and actual evidence. Supply command, cwd, nonempty sourcePaths and assertion. Read status for criterion-specific requirements.',
|
|
26
26
|
parameters: JSON.parse(JSON.stringify(z.toJSONSchema(transport, { unrepresentable: 'any' }))),
|
|
27
27
|
output: { schema: {}, render: (_, value) => [{ type: 'text', text: JSON.stringify(value) }] },
|
|
28
28
|
execute: async (args, execution) => {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"task-completion-host.js","sourceRoot":"","sources":["../../src/dsh/task-completion-host.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAA;AAC/D,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAA;AAE3B,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,oBAAoB,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,sBAAsB,EACpG,6BAA6B,EAAE,8BAA8B,EAAE,yBAAyB,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAA;AACpJ,OAAO,EAAE,kBAAkB,EAA+C,MAAM,iBAAiB,CAAA;AACjG,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAA;AACvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAA;AAa/D,MAAM,KAAK,GAAG,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE;IAC3C,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IAClD,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE;CAC1H,CAAC,CAAA;AACF,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjG,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,
|
|
1
|
+
{"version":3,"file":"task-completion-host.js","sourceRoot":"","sources":["../../src/dsh/task-completion-host.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAA;AAC/D,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAA;AAE3B,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,oBAAoB,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,sBAAsB,EACpG,6BAA6B,EAAE,8BAA8B,EAAE,yBAAyB,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAA;AACpJ,OAAO,EAAE,kBAAkB,EAA+C,MAAM,iBAAiB,CAAA;AACjG,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAA;AACvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAA;AAa/D,MAAM,KAAK,GAAG,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE;IAC3C,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IAClD,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE;CAC1H,CAAC,CAAA;AACF,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjG,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACvE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,4GAA4G,CAAC;QACvL,QAAQ,EAAE,oBAAoB,CAAC,QAAQ,EAAE;QACzC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,qBAAqB,EAAC,gBAAgB,EAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,6RAA6R,CAAC,CAAC,QAAQ,EAAE,EAAC,cAAc,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAC,YAAY,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAC,cAAc,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACrhB,CAAC,CAAC,MAAM,EAAE,CAAA;AAEX,2FAA2F;AAC3F,MAAM,UAAU,mBAAmB,CAAC,GAAY,EAAE,IAAoB;IACpE,MAAM,OAAO,GAAG,IAAI,OAAO,EAAiG,CAAA;IAC5H,MAAM,SAAS,GAAmB,EAAE,CAAA;IACpC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,WAAW,EAAE,IAAI;QAC5E,WAAW,EAAE,mSAAmS;QAChT,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC7F,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAU,EAAE,KAAc,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE;QAC/G,OAAO,EAAE,KAAK,EAAE,IAAa,EAAE,SAA0B,EAAE,EAAE;YAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC,QAAQ,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACtD,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,qDAAqD,CAAC,CAAA;YAC3F,CAAC;YACD,SAAS,CAAC,MAAM,CAAC,cAAc,EAAE,CAAA;YACjC,MAAM,UAAU,GAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;YACtC,IAAG,CAAC,UAAU,CAAC,OAAO;gBAAC,MAAM,oBAAoB,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAA,EAAE,CAAA,CAAC,EAAC,KAAK,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAE,OAAO;oBACpI,MAAM,EAAC,KAAK,CAAC,IAAI,KAAG,QAAQ,CAAA,CAAC,CAAA,KAAK,CAAC,OAAO,CAAA,CAAC,CAAA,6DAA6D,EAAC,CAAC,CAAC,CAAC,CAAA;YAC9G,MAAM,MAAM,GAAC,UAAU,CAAC,IAAI,CAAA;YAC5B,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAC,GAAG,yBAAyB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAC,YAAY,EAAC,0BAA0B,CAAC,EAAE,EAAC,QAAQ,CAAC,KAAK,CAAC,EAAC,CAAC,CAAC,CAAA;YACvL,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,8BAA8B,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,EACpG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;YACvD,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAA;YACzB,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,oBAAoB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,QAAQ;iBACtG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;YACzD,IAAI,CAAC,SAAS;gBAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,yCAAyC,CAAC,CAAA;YAC7F,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,CAAA;YACpG,SAAS,CAAC,MAAM,CAAC,cAAc,EAAE,CAAA;YACjC,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,QAAQ,CAAC,KAAK;gBAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,8CAA8C,CAAC,CAAA;YACzI,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM;gBAC5G,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAA,EAAE;gBAChF,IAAG,KAAK,YAAY,YAAY,IAAE,KAAK,CAAC,IAAI,KAAG,kBAAkB;oBAAC,MAAM,oBAAoB,CAAC,CAAC,EAAC,KAAK,EAAC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,KAAG,QAAQ,CAAA,CAAC,CAAA,KAAK,CAAC,OAAO,CAAC,KAAK,CAAA,CAAC,CAAA,QAAQ;4BACrK,MAAM,EAAC,KAAK,CAAC,OAAO,EAAC,GAAG,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAG,QAAQ,CAAA,CAAC,CAAA,EAAC,QAAQ,EAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,CAAC,CAAC,CAAA;gBAC5G,MAAM,KAAK,CAAA;YACb,CAAC,CAAC,CAAA;QACN,CAAC;KACF,CAAC,CAAC,CAAA;IACH,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,mBAAmB,EAAE,KAAK,EAAE,SAA0B,EAAE,IAA4B,EAAE,EAAE;QAC5G,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QACxC,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAG,uBAAuB,CAAC,SAAS,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAA;QAC3E,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,yBAAyB,CAAC,EAAE,EAAE;oBAChF,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc;iBAC/F,EAAE,SAAS,CAAC,CAAC,CAAA;gBACd,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,wBAAwB,CAAC,EAAE,EAAE,GAAG,EAAE;oBACtF,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;oBAC7B,OAAO,4BAA4B,CAAC,EAAE,EAAE;wBACtC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc;qBAAE,CAAC,CAAA;gBACxG,CAAC,CAAC,CAAC,CAAA;gBACH,IAAI,OAAO;oBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK;wBAC1G,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;YAC3C,CAAC;YAAC,MAAM,CAAC,CAAC,+EAA+E,CAAC,CAAC;QAC7F,CAAC;QACD,OAAO,IAAI,EAAE,CAAA;IACf,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IACtB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,cAAc,EAAE,CAAC,SAA0B,EAAE,MAAe,EAAE,EAAE;QACpF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QACtC,IAAI,CAAC,OAAO;YAAE,OAAM;QACpB,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QACxC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS;eACxF,QAAQ,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK;YAAE,OAAM;QAC7C,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,wBAAwB,CAAC,EAAE,EAAE,GAAG,EAAE;YACvE,kBAAkB,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;YACrC,6BAA6B,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;YAC3F,yBAAyB,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;QAC9C,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAiD,CAAC,CAAC,CAAA;IACpE,CAAC,CAAC,CAAC,CAAA;IACH,OAAO,GAAG,EAAE,GAAG,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,OAAO,EAAE;QAAE,OAAO,EAAE,CAAA,CAAC,CAAC,CAAA;AACvE,CAAC"}
|
|
@@ -29,14 +29,6 @@ export declare const CompletionMethodSchema: z.ZodDiscriminatedUnion<[z.ZodObjec
|
|
|
29
29
|
expectedOutput: z.ZodOptional<z.ZodString>;
|
|
30
30
|
artifactPath: z.ZodOptional<z.ZodString>;
|
|
31
31
|
artifactSha256: z.ZodOptional<z.ZodString>;
|
|
32
|
-
}, z.core.$strict>, z.ZodObject<{
|
|
33
|
-
kind: z.ZodLiteral<"enno_verifier">;
|
|
34
|
-
verifierId: z.ZodString;
|
|
35
|
-
workUnitId: z.ZodOptional<z.ZodString>;
|
|
36
|
-
assertion: z.ZodEnum<{
|
|
37
|
-
selected_tests_pass: "selected_tests_pass";
|
|
38
|
-
exit_zero: "exit_zero";
|
|
39
|
-
}>;
|
|
40
32
|
}, z.core.$strict>], "kind">;
|
|
41
33
|
export type CompletionMethod = z.infer<typeof CompletionMethodSchema>;
|
|
42
34
|
export type CriterionAssessment = {
|
|
@@ -81,16 +73,12 @@ export declare function taskCompletionBindingGuide(database: SqliteDatabase, run
|
|
|
81
73
|
readonly requiredFields: readonly ["kind", "command", "cwd", "sourcePaths", "assertion"];
|
|
82
74
|
readonly sourcePaths: "At least one repository-relative current implementation/test path; include an asserted artifact. No absolute path or parent traversal.";
|
|
83
75
|
readonly conditions: {
|
|
84
|
-
readonly selected_tests_pass: "Observe complete
|
|
76
|
+
readonly selected_tests_pass: "Observe complete Node TAP output from the exact bound command: use node --test --test-reporter=tap with the selected test files. Spec reporter output cannot establish coverage. Binding or exit 0 alone is not proof.";
|
|
85
77
|
readonly output_matches: "Requires expectedOutput and exact observed output.";
|
|
86
78
|
readonly artifact_matches: "Requires artifactPath, artifactSha256 and artifactPath in sourcePaths.";
|
|
87
79
|
readonly exit_zero: "Only when the current non-coding criterion permits it; never sufficient for a coding criterion.";
|
|
88
80
|
};
|
|
89
81
|
};
|
|
90
|
-
enno_verifier: {
|
|
91
|
-
readonly requiredFields: readonly ["kind", "verifierId", "assertion"];
|
|
92
|
-
readonly condition: "Use a verifier in the current approved Enno contract; add workUnitId only for its focused verifier. No native command substitute.";
|
|
93
|
-
};
|
|
94
82
|
};
|
|
95
83
|
export declare function bindTaskCriterion(database: SqliteDatabase, input: {
|
|
96
84
|
runId: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"task-completion.d.ts","sourceRoot":"","sources":["../../src/dsh/task-completion.ts"],"names":[],"mappings":"AAIA,OAAO,EAEL,qBAAqB,EACtB,MAAM,0BAA0B,CAAC;AAUlC,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAC;AAC5B,OAAO,KAAK,EAAE,cAAc,EAAa,MAAM,kBAAkB,CAAC;
|
|
1
|
+
{"version":3,"file":"task-completion.d.ts","sourceRoot":"","sources":["../../src/dsh/task-completion.ts"],"names":[],"mappings":"AAIA,OAAO,EAEL,qBAAqB,EACtB,MAAM,0BAA0B,CAAC;AAUlC,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAC;AAC5B,OAAO,KAAK,EAAE,cAAc,EAAa,MAAM,kBAAkB,CAAC;AAMlE,OAAO,EAEL,mBAAmB,EAEnB,uBAAuB,EAExB,MAAM,uBAAuB,CAAC;AAU/B,eAAO,MAAM,gBAAgB;;;;;kBAElB,CAAC;AACZ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAYtE,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;4BAkDjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AACtE,MAAM,MAAM,mBAAmB,GAAG;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,WAAW,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC;IACnD,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC;AACF,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,cAAc,CAAC;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,MAAM,CAAC,EAAE;QACP,UAAU,EAAE,MAAM,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC;QACd,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,CAAC,EAAE;YACT,IAAI,EAAE,gBAAgB,CAAC;YACvB,KAAK,EAAE,MAAM,CAAC;YACd,MAAM,CAAC,EAAE,MAAM,CAAC;YAChB,UAAU,EAAE,MAAM,CAAC;YACnB,YAAY,EAAE,OAAO,qBAAqB,CAAC;SAC5C,CAAC;QACF,gBAAgB,EAAE,MAAM,EAAE,CAAC;QAC3B,gBAAgB,EAAE,MAAM,EAAE,CAAC;KAC5B,CAAC;CACH,CAAC;AAyBF,OAAO,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,CAAC;AAExD,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,cAAc,GACnB,IAAI,CAMN;AAsDD,uGAAuG;AACvG,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,MAAM;;;;;;;;;;;;;;;;EAoBd;AAwCD,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE;IACL,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;CACnB,GACA;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAkIlE;AAED,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,OAAO,GAEf;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAiB7E;AAED,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE;IACL,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,GACA,OAAO,CAqHT;AAED,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE;IACL,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;CACjB,GACA,IAAI,CA+IN;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,MAAM,GACZ,oBAAoB,CAsOtB;AAED,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,MAAM,GACZ,oBAAoB,CAetB;AAED,wBAAgB,yBAAyB,CACvC,UAAU,EAAE,oBAAoB,GAC/B,OAAO,CAOT;AAED,sFAAsF;AACtF,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EAAE,GACd,MAAM,CA2BR"}
|
|
@@ -9,7 +9,6 @@ import { withImmediateTransaction } from "../db/transaction.js";
|
|
|
9
9
|
import { KiokukoError } from "../errors.js";
|
|
10
10
|
import { applicationSourceDigest } from "../memory/application.js";
|
|
11
11
|
import { canonicalContentHash } from "../serialization/validate.js";
|
|
12
|
-
import { completionVerifiers } from "./completion-verifiers.js";
|
|
13
12
|
import { readExecutionFrame } from "./execution-frame.js";
|
|
14
13
|
import { hasExplicitTestCases, parseNodeTapSummary, parseTestSummary, selectedNodeTestCommand, } from "./node-tap-summary.js";
|
|
15
14
|
import { isHostExecutionResult } from "./execution-result.js";
|
|
@@ -77,14 +76,6 @@ export const CompletionMethodSchema = z.discriminatedUnion("kind", [
|
|
|
77
76
|
});
|
|
78
77
|
}
|
|
79
78
|
}),
|
|
80
|
-
z
|
|
81
|
-
.object({
|
|
82
|
-
kind: z.literal("enno_verifier"),
|
|
83
|
-
verifierId: text,
|
|
84
|
-
workUnitId: text.optional(),
|
|
85
|
-
assertion: z.enum(["exit_zero", "selected_tests_pass"]),
|
|
86
|
-
})
|
|
87
|
-
.strict(),
|
|
88
79
|
]);
|
|
89
80
|
export { parseNodeTapSummary, selectedNodeTestCommand };
|
|
90
81
|
export function initializeTaskCompletion(database, runId, mode) {
|
|
@@ -102,9 +93,6 @@ function criteriaForRun(database, runId) {
|
|
|
102
93
|
if (coding)
|
|
103
94
|
return {
|
|
104
95
|
repositoryRoot: coding.repositoryRoot,
|
|
105
|
-
enno: database
|
|
106
|
-
.prepare("SELECT 1 FROM dsh_execution_selections WHERE run_id=? AND json_extract(state_json,'$.mode')='enno'")
|
|
107
|
-
.get(runId) !== undefined,
|
|
108
96
|
criteria: (coding.definition?.criteria ?? []).map((item) => ({
|
|
109
97
|
id: `coding:${coding.workflowId}:${item.criterionId}`,
|
|
110
98
|
description: `${item.outcome} / ${item.procedure} / ${item.expected}`,
|
|
@@ -113,33 +101,13 @@ function criteriaForRun(database, runId) {
|
|
|
113
101
|
})),
|
|
114
102
|
};
|
|
115
103
|
const row = database
|
|
116
|
-
.prepare(
|
|
117
|
-
contract.orchestration_session_id AS orchestrationId FROM ledger_runs AS ledger
|
|
118
|
-
LEFT JOIN enno_contracts AS contract ON contract.run_id = ledger.run_id WHERE ledger.run_id = ?`)
|
|
104
|
+
.prepare("SELECT workspace FROM ledger_runs WHERE run_id = ?")
|
|
119
105
|
.get(runId);
|
|
120
106
|
if (!row)
|
|
121
107
|
throw new KiokukoError("NOT_FOUND", "Task completion run does not exist");
|
|
122
|
-
if (row.workspace && row.orchestrationId && row.root) {
|
|
123
|
-
const snapshot = completionVerifiers().criteria(database, {
|
|
124
|
-
runId,
|
|
125
|
-
workspace: row.workspace,
|
|
126
|
-
orchestrationId: row.orchestrationId,
|
|
127
|
-
});
|
|
128
|
-
return {
|
|
129
|
-
repositoryRoot: row.root,
|
|
130
|
-
enno: true,
|
|
131
|
-
criteria: snapshot.criteria.map((item) => ({
|
|
132
|
-
id: item.id,
|
|
133
|
-
description: item.description,
|
|
134
|
-
revision: snapshot.revision,
|
|
135
|
-
approval: "approved",
|
|
136
|
-
})),
|
|
137
|
-
};
|
|
138
|
-
}
|
|
139
108
|
const frame = readExecutionFrame(database, runId);
|
|
140
109
|
return {
|
|
141
110
|
repositoryRoot: frame?.workspace ?? "",
|
|
142
|
-
enno: false,
|
|
143
111
|
criteria: (frame?.conditions ?? [])
|
|
144
112
|
.filter((item) => item.field === "completion" && item.approval !== "proposed")
|
|
145
113
|
.map((item, index) => ({
|
|
@@ -161,7 +129,7 @@ export function taskCompletionBindingGuide(database, runId) {
|
|
|
161
129
|
const source = criteriaForRun(database, runId), coding = readCodingWorkflow(database, runId);
|
|
162
130
|
return {
|
|
163
131
|
...structuredClone(COMPLETION_BINDING_GUIDE),
|
|
164
|
-
kind:
|
|
132
|
+
kind: "native_command",
|
|
165
133
|
criteria: source.criteria.map((criterion) => {
|
|
166
134
|
const definition = coding?.definition?.criteria.find((item) => criterion.id === `coding:${coding.workflowId}:${item.criterionId}`);
|
|
167
135
|
return {
|
|
@@ -178,15 +146,10 @@ function binding(database, runId, criterionId) {
|
|
|
178
146
|
.prepare("SELECT * FROM dsh_completion_bindings WHERE run_id = ? AND criterion_id = ?")
|
|
179
147
|
.get(runId, criterionId);
|
|
180
148
|
}
|
|
181
|
-
function validateMethod(database, runId, method, repositoryRoot
|
|
149
|
+
function validateMethod(database, runId, method, repositoryRoot) {
|
|
182
150
|
const coding = readCodingWorkflow(database, runId);
|
|
183
151
|
if (coding && method.assertion === "exit_zero")
|
|
184
152
|
throw new KiokukoError("VALIDATION_ERROR", "Coding criteria require selected tests or observable output/artifact assertions, not exit 0 alone");
|
|
185
|
-
if (enno !== (method.kind === "enno_verifier"))
|
|
186
|
-
throw new KiokukoError("VALIDATION_ERROR", "Completion method does not match execution mode", {
|
|
187
|
-
field: "method.kind",
|
|
188
|
-
expected: enno ? "enno_verifier" : "native_command",
|
|
189
|
-
});
|
|
190
153
|
if (method.kind === "native_command") {
|
|
191
154
|
const cwd = realpathSync(path.resolve(repositoryRoot, method.cwd));
|
|
192
155
|
const relative = path.relative(realpathSync(repositoryRoot), cwd);
|
|
@@ -196,26 +159,6 @@ function validateMethod(database, runId, method, repositoryRoot, enno) {
|
|
|
196
159
|
// The pre-bound command selects the operation; complete process output,
|
|
197
160
|
// rather than a command-name allowlist, establishes test coverage.
|
|
198
161
|
}
|
|
199
|
-
else {
|
|
200
|
-
const row = database
|
|
201
|
-
.prepare("SELECT contract_json FROM enno_contracts WHERE run_id = ?")
|
|
202
|
-
.get(runId);
|
|
203
|
-
const contract = row
|
|
204
|
-
? JSON.parse(row.contract_json)
|
|
205
|
-
: undefined;
|
|
206
|
-
const verifiers = method.workUnitId
|
|
207
|
-
? contract?.workPlan?.units.find((unit) => unit.id === method.workUnitId)
|
|
208
|
-
?.focusedVerifiers
|
|
209
|
-
: contract?.finalVerifiers;
|
|
210
|
-
const verifier = verifiers?.find((item) => item.id === method.verifierId);
|
|
211
|
-
if (!verifier)
|
|
212
|
-
throw new KiokukoError("VALIDATION_ERROR", "Completion verifier is absent from the approved Enno contract", { field: "method.verifierId", expected: "approved_contract_verifier" });
|
|
213
|
-
if (!coding &&
|
|
214
|
-
method.assertion === "selected_tests_pass" &&
|
|
215
|
-
!selectedNodeTestCommand([verifier.executable, ...verifier.args].join(" "))) {
|
|
216
|
-
throw new KiokukoError("VALIDATION_ERROR", "Selected-test proof requires an explicit Node TAP verifier");
|
|
217
|
-
}
|
|
218
|
-
}
|
|
219
162
|
}
|
|
220
163
|
export function bindTaskCriterion(database, input) {
|
|
221
164
|
const method = CompletionMethodSchema.parse(input.method);
|
|
@@ -245,10 +188,9 @@ export function bindTaskCriterion(database, input) {
|
|
|
245
188
|
method.artifactPath &&
|
|
246
189
|
!method.sourcePaths.includes(method.artifactPath))
|
|
247
190
|
throw new KiokukoError("VALIDATION_ERROR", "Include the asserted artifact in sourcePaths so changes invalidate its evidence", { field: "method.sourcePaths", expected: "include_asserted_artifact" });
|
|
248
|
-
validateMethod(database, input.runId, method, source.repositoryRoot
|
|
191
|
+
validateMethod(database, input.runId, method, source.repositoryRoot);
|
|
249
192
|
const approved = input.approved ||
|
|
250
|
-
criterion.description.trim() ===
|
|
251
|
-
(method.kind === "native_command" ? method.command : method.verifierId);
|
|
193
|
+
criterion.description.trim() === method.command;
|
|
252
194
|
// One approved command may substantiate several criteria in the same
|
|
253
195
|
// revision, but never a criterion from a later contract revision.
|
|
254
196
|
const coding = readCodingWorkflow(database, input.runId);
|
|
@@ -306,8 +248,7 @@ export function readTaskCriterionBindingReplay(database, runId, callId, criterio
|
|
|
306
248
|
}
|
|
307
249
|
export function beginTaskCompletionExecution(database, input) {
|
|
308
250
|
const source = criteriaForRun(database, input.runId);
|
|
309
|
-
if (source.
|
|
310
|
-
realpathSync(input.repositoryRoot) !== realpathSync(source.repositoryRoot))
|
|
251
|
+
if (realpathSync(input.repositoryRoot) !== realpathSync(source.repositoryRoot))
|
|
311
252
|
return false;
|
|
312
253
|
const rows = database
|
|
313
254
|
.prepare("SELECT * FROM dsh_completion_bindings WHERE run_id = ? AND approved = 1")
|
|
@@ -484,49 +425,13 @@ export function assessTaskCompletion(database, runId) {
|
|
|
484
425
|
reason: "criterion_changed",
|
|
485
426
|
};
|
|
486
427
|
const method = CompletionMethodSchema.parse(JSON.parse(row.method_json));
|
|
487
|
-
if (method.kind
|
|
488
|
-
const contractRow = database
|
|
489
|
-
.prepare("SELECT workspace, orchestration_session_id AS orchestrationId FROM enno_contracts WHERE run_id = ?")
|
|
490
|
-
.get(runId);
|
|
491
|
-
const fresh = completionVerifiers().results(database, { runId, ...contractRow }, source.repositoryRoot, method.workUnitId);
|
|
492
|
-
const result = fresh?.find((item) => item.verifierId === method.verifierId);
|
|
493
|
-
if (!result)
|
|
494
|
-
return {
|
|
495
|
-
criterionId: criterion.id,
|
|
496
|
-
description: criterion.description,
|
|
497
|
-
state: "stale",
|
|
498
|
-
reason: "verifier_evidence_missing_or_stale",
|
|
499
|
-
};
|
|
500
|
-
const complete = method.assertion === "exit_zero" ||
|
|
501
|
-
((!coding || result.explicitCases === true) &&
|
|
502
|
-
result.tapSummary !== undefined &&
|
|
503
|
-
result.tapSummary.tests > 0 &&
|
|
504
|
-
result.tapSummary.pass === result.tapSummary.tests &&
|
|
505
|
-
result.tapSummary.skipped === 0 &&
|
|
506
|
-
result.tapSummary.todo === 0);
|
|
507
|
-
const skipped = method.assertion === "selected_tests_pass" &&
|
|
508
|
-
result.tapSummary !== undefined &&
|
|
509
|
-
(result.tapSummary.skipped > 0 ||
|
|
510
|
-
result.tapSummary.todo > 0 ||
|
|
511
|
-
result.tapSummary.fail > 0);
|
|
428
|
+
if (method.kind !== "native_command")
|
|
512
429
|
return {
|
|
513
430
|
criterionId: criterion.id,
|
|
514
431
|
description: criterion.description,
|
|
515
|
-
state:
|
|
516
|
-
|
|
517
|
-
: complete
|
|
518
|
-
? "satisfied"
|
|
519
|
-
: "unknown",
|
|
520
|
-
reason: result.status !== "passed"
|
|
521
|
-
? "verifier_failed"
|
|
522
|
-
: skipped
|
|
523
|
-
? "selected_tests_unmet"
|
|
524
|
-
: complete
|
|
525
|
-
? "fresh_verifier"
|
|
526
|
-
: "selected_test_coverage_unknown",
|
|
527
|
-
evidenceRef: result.receiptId ?? `${runId}:${method.verifierId}`,
|
|
432
|
+
state: "stale",
|
|
433
|
+
reason: "unsupported_completion_method",
|
|
528
434
|
};
|
|
529
|
-
}
|
|
530
435
|
const executions = database
|
|
531
436
|
.prepare(`SELECT * FROM dsh_completion_executions WHERE run_id = ? AND method_digest = ?
|
|
532
437
|
ORDER BY updated_at DESC, rowid DESC LIMIT 1`)
|