@namzu/sdk 38.1.0 → 39.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +758 -0
- package/dist/advisory/executor.d.ts +10 -1
- package/dist/advisory/executor.d.ts.map +1 -1
- package/dist/advisory/executor.js +5 -26
- package/dist/advisory/executor.js.map +1 -1
- package/dist/advisory/history.d.ts +9 -0
- package/dist/advisory/history.d.ts.map +1 -0
- package/dist/advisory/history.js +120 -0
- package/dist/advisory/history.js.map +1 -0
- package/dist/advisory/index.d.ts +1 -1
- package/dist/advisory/index.d.ts.map +1 -1
- package/dist/advisory/index.js.map +1 -1
- package/dist/agents/ReactiveAgent.d.ts.map +1 -1
- package/dist/agents/ReactiveAgent.js +3 -0
- package/dist/agents/ReactiveAgent.js.map +1 -1
- package/dist/agents/runAgent.d.ts +10 -0
- package/dist/agents/runAgent.d.ts.map +1 -1
- package/dist/agents/runAgent.js +3 -0
- package/dist/agents/runAgent.js.map +1 -1
- package/dist/compaction/manual.d.ts +6 -0
- package/dist/compaction/manual.d.ts.map +1 -1
- package/dist/compaction/manual.js +21 -2
- package/dist/compaction/manual.js.map +1 -1
- package/dist/compaction/summary.d.ts.map +1 -1
- package/dist/compaction/summary.js +4 -1
- package/dist/compaction/summary.js.map +1 -1
- package/dist/config/runtime.js +2 -2
- package/dist/config/runtime.js.map +1 -1
- package/dist/contracts/schemas.js +1 -1
- package/dist/contracts/schemas.js.map +1 -1
- package/dist/eval/harness-protection.d.ts +18 -0
- package/dist/eval/harness-protection.d.ts.map +1 -0
- package/dist/eval/harness-protection.js +58 -0
- package/dist/eval/harness-protection.js.map +1 -0
- package/dist/eval/harness-verification.d.ts +6 -1
- package/dist/eval/harness-verification.d.ts.map +1 -1
- package/dist/eval/harness-verification.js +19 -2
- package/dist/eval/harness-verification.js.map +1 -1
- package/dist/eval/index.d.ts +1 -0
- package/dist/eval/index.d.ts.map +1 -1
- package/dist/eval/index.js.map +1 -1
- package/dist/manager/resident/activity.d.ts +50 -0
- package/dist/manager/resident/activity.d.ts.map +1 -0
- package/dist/manager/resident/activity.js +125 -0
- package/dist/manager/resident/activity.js.map +1 -0
- package/dist/manager/resident/agenda.d.ts +137 -0
- package/dist/manager/resident/agenda.d.ts.map +1 -0
- package/dist/manager/resident/agenda.js +586 -0
- package/dist/manager/resident/agenda.js.map +1 -0
- package/dist/manager/resident/consumption.d.ts +104 -0
- package/dist/manager/resident/consumption.d.ts.map +1 -0
- package/dist/manager/resident/consumption.js +233 -0
- package/dist/manager/resident/consumption.js.map +1 -0
- package/dist/manager/resident/delivery-window.d.ts +22 -0
- package/dist/manager/resident/delivery-window.d.ts.map +1 -0
- package/dist/manager/resident/delivery-window.js +78 -0
- package/dist/manager/resident/delivery-window.js.map +1 -0
- package/dist/manager/resident/evidence-recall.d.ts +24 -0
- package/dist/manager/resident/evidence-recall.d.ts.map +1 -0
- package/dist/manager/resident/evidence-recall.js +295 -0
- package/dist/manager/resident/evidence-recall.js.map +1 -0
- package/dist/manager/resident/history-disk.d.ts +10 -0
- package/dist/manager/resident/history-disk.d.ts.map +1 -0
- package/dist/manager/resident/history-disk.js +50 -0
- package/dist/manager/resident/history-disk.js.map +1 -0
- package/dist/manager/resident/history.d.ts +79 -0
- package/dist/manager/resident/history.d.ts.map +1 -0
- package/dist/manager/resident/history.js +203 -0
- package/dist/manager/resident/history.js.map +1 -0
- package/dist/manager/resident/host.d.ts +78 -0
- package/dist/manager/resident/host.d.ts.map +1 -0
- package/dist/manager/resident/host.js +252 -0
- package/dist/manager/resident/host.js.map +1 -0
- package/dist/manager/resident/initiative.d.ts +111 -0
- package/dist/manager/resident/initiative.d.ts.map +1 -0
- package/dist/manager/resident/initiative.js +129 -0
- package/dist/manager/resident/initiative.js.map +1 -0
- package/dist/manager/resident/learning-cycle.d.ts +131 -0
- package/dist/manager/resident/learning-cycle.d.ts.map +1 -0
- package/dist/manager/resident/learning-cycle.js +306 -0
- package/dist/manager/resident/learning-cycle.js.map +1 -0
- package/dist/manager/resident/learning-observation.d.ts +80 -0
- package/dist/manager/resident/learning-observation.d.ts.map +1 -0
- package/dist/manager/resident/learning-observation.js +22 -0
- package/dist/manager/resident/learning-observation.js.map +1 -0
- package/dist/manager/resident/learning-store.d.ts +106 -0
- package/dist/manager/resident/learning-store.d.ts.map +1 -0
- package/dist/manager/resident/learning-store.js +598 -0
- package/dist/manager/resident/learning-store.js.map +1 -0
- package/dist/manager/resident/learning.d.ts +726 -0
- package/dist/manager/resident/learning.d.ts.map +1 -0
- package/dist/manager/resident/learning.js +353 -0
- package/dist/manager/resident/learning.js.map +1 -0
- package/dist/manager/resident/loop.d.ts +31 -0
- package/dist/manager/resident/loop.d.ts.map +1 -0
- package/dist/manager/resident/loop.js +69 -0
- package/dist/manager/resident/loop.js.map +1 -0
- package/dist/manager/resident/outbox.d.ts +180 -0
- package/dist/manager/resident/outbox.d.ts.map +1 -0
- package/dist/manager/resident/outbox.js +214 -0
- package/dist/manager/resident/outbox.js.map +1 -0
- package/dist/manager/resident/proposal.d.ts +91 -0
- package/dist/manager/resident/proposal.d.ts.map +1 -0
- package/dist/manager/resident/proposal.js +75 -0
- package/dist/manager/resident/proposal.js.map +1 -0
- package/dist/manager/resident/store.d.ts +182 -0
- package/dist/manager/resident/store.d.ts.map +1 -0
- package/dist/manager/resident/store.js +199 -0
- package/dist/manager/resident/store.js.map +1 -0
- package/dist/manager/resident/tool-evidence.d.ts +71 -0
- package/dist/manager/resident/tool-evidence.d.ts.map +1 -0
- package/dist/manager/resident/tool-evidence.js +285 -0
- package/dist/manager/resident/tool-evidence.js.map +1 -0
- package/dist/manager/run/persistence.d.ts.map +1 -1
- package/dist/manager/run/persistence.js +6 -0
- package/dist/manager/run/persistence.js.map +1 -1
- package/dist/plugin/loader.d.ts.map +1 -1
- package/dist/plugin/loader.js +5 -3
- package/dist/plugin/loader.js.map +1 -1
- package/dist/prompt/coding-agent-doctrine.d.ts +1 -1
- package/dist/prompt/coding-agent-doctrine.d.ts.map +1 -1
- package/dist/prompt/coding-agent-doctrine.js +2 -0
- package/dist/prompt/coding-agent-doctrine.js.map +1 -1
- package/dist/prompt/contributions.d.ts +5 -2
- package/dist/prompt/contributions.d.ts.map +1 -1
- package/dist/prompt/contributions.js.map +1 -1
- package/dist/prompt/index.d.ts +4 -0
- package/dist/prompt/index.d.ts.map +1 -1
- package/dist/prompt/index.js +2 -0
- package/dist/prompt/index.js.map +1 -1
- package/dist/prompt/resident-learning.d.ts +19 -0
- package/dist/prompt/resident-learning.d.ts.map +1 -0
- package/dist/prompt/resident-learning.js +125 -0
- package/dist/prompt/resident-learning.js.map +1 -0
- package/dist/prompt/resident-step.d.ts +36 -0
- package/dist/prompt/resident-step.d.ts.map +1 -0
- package/dist/prompt/resident-step.js +135 -0
- package/dist/prompt/resident-step.js.map +1 -0
- package/dist/provider/collect-chat-completion.d.ts +2 -1
- package/dist/provider/collect-chat-completion.d.ts.map +1 -1
- package/dist/provider/collect-chat-completion.js +7 -6
- package/dist/provider/collect-chat-completion.js.map +1 -1
- package/dist/provider/fallback.d.ts.map +1 -1
- package/dist/provider/fallback.js +2 -1
- package/dist/provider/fallback.js.map +1 -1
- package/dist/provider/stream-text.d.ts +16 -0
- package/dist/provider/stream-text.d.ts.map +1 -0
- package/dist/provider/stream-text.js +51 -0
- package/dist/provider/stream-text.js.map +1 -0
- package/dist/public-runtime.d.ts +22 -3
- package/dist/public-runtime.d.ts.map +1 -1
- package/dist/public-runtime.js +21 -3
- package/dist/public-runtime.js.map +1 -1
- package/dist/public-tools.d.ts +2 -0
- package/dist/public-tools.d.ts.map +1 -1
- package/dist/public-tools.js +2 -0
- package/dist/public-tools.js.map +1 -1
- package/dist/public-types.d.ts +29 -3
- package/dist/public-types.d.ts.map +1 -1
- package/dist/registry/index.d.ts +1 -1
- package/dist/registry/index.d.ts.map +1 -1
- package/dist/registry/tool/execute.d.ts +18 -0
- package/dist/registry/tool/execute.d.ts.map +1 -1
- package/dist/registry/tool/execute.js +43 -6
- package/dist/registry/tool/execute.js.map +1 -1
- package/dist/run/LimitChecker.js +3 -3
- package/dist/run/LimitChecker.js.map +1 -1
- package/dist/run/evidence-query.d.ts +41 -0
- package/dist/run/evidence-query.d.ts.map +1 -0
- package/dist/run/evidence-query.js +270 -0
- package/dist/run/evidence-query.js.map +1 -0
- package/dist/run/evidence-recall.d.ts +99 -0
- package/dist/run/evidence-recall.d.ts.map +1 -0
- package/dist/run/evidence-recall.js +633 -0
- package/dist/run/evidence-recall.js.map +1 -0
- package/dist/run/index.d.ts +2 -0
- package/dist/run/index.d.ts.map +1 -1
- package/dist/run/index.js +1 -0
- package/dist/run/index.js.map +1 -1
- package/dist/run/json-claim-verifier.d.ts +83 -0
- package/dist/run/json-claim-verifier.d.ts.map +1 -0
- package/dist/run/json-claim-verifier.js +200 -0
- package/dist/run/json-claim-verifier.js.map +1 -0
- package/dist/run/preparation-context-error.d.ts +10 -0
- package/dist/run/preparation-context-error.d.ts.map +1 -0
- package/dist/run/preparation-context-error.js +15 -0
- package/dist/run/preparation-context-error.js.map +1 -0
- package/dist/run-query/index.d.ts +3 -1
- package/dist/run-query/index.d.ts.map +1 -1
- package/dist/runtime/query/callback-inference.d.ts +8 -0
- package/dist/runtime/query/callback-inference.d.ts.map +1 -0
- package/dist/runtime/query/callback-inference.js +89 -0
- package/dist/runtime/query/callback-inference.js.map +1 -0
- package/dist/runtime/query/checkpoint.d.ts +4 -0
- package/dist/runtime/query/checkpoint.d.ts.map +1 -1
- package/dist/runtime/query/checkpoint.js +13 -0
- package/dist/runtime/query/checkpoint.js.map +1 -1
- package/dist/runtime/query/events.d.ts +7 -1
- package/dist/runtime/query/events.d.ts.map +1 -1
- package/dist/runtime/query/events.js +39 -12
- package/dist/runtime/query/events.js.map +1 -1
- package/dist/runtime/query/executor.d.ts +7 -1
- package/dist/runtime/query/executor.d.ts.map +1 -1
- package/dist/runtime/query/executor.js +38 -7
- package/dist/runtime/query/executor.js.map +1 -1
- package/dist/runtime/query/file-evidence-context.d.ts +5 -0
- package/dist/runtime/query/file-evidence-context.d.ts.map +1 -0
- package/dist/runtime/query/file-evidence-context.js +64 -0
- package/dist/runtime/query/file-evidence-context.js.map +1 -0
- package/dist/runtime/query/guard.d.ts.map +1 -1
- package/dist/runtime/query/guard.js +4 -0
- package/dist/runtime/query/guard.js.map +1 -1
- package/dist/runtime/query/index.d.ts +10 -1
- package/dist/runtime/query/index.d.ts.map +1 -1
- package/dist/runtime/query/index.js +40 -25
- package/dist/runtime/query/index.js.map +1 -1
- package/dist/runtime/query/iteration/index.d.ts +9 -31
- package/dist/runtime/query/iteration/index.d.ts.map +1 -1
- package/dist/runtime/query/iteration/index.js +231 -93
- package/dist/runtime/query/iteration/index.js.map +1 -1
- package/dist/runtime/query/iteration/phases/advisory.d.ts +2 -1
- package/dist/runtime/query/iteration/phases/advisory.d.ts.map +1 -1
- package/dist/runtime/query/iteration/phases/advisory.js +2 -1
- package/dist/runtime/query/iteration/phases/advisory.js.map +1 -1
- package/dist/runtime/query/iteration/phases/context.d.ts +2 -1
- package/dist/runtime/query/iteration/phases/context.d.ts.map +1 -1
- package/dist/runtime/query/iteration/phases/context.js.map +1 -1
- package/dist/runtime/query/iteration/phases/tool-review.d.ts.map +1 -1
- package/dist/runtime/query/iteration/phases/tool-review.js +3 -0
- package/dist/runtime/query/iteration/phases/tool-review.js.map +1 -1
- package/dist/runtime/query/iteration/provider-rejected-image.d.ts +2 -1
- package/dist/runtime/query/iteration/provider-rejected-image.d.ts.map +1 -1
- package/dist/runtime/query/iteration/provider-rejected-image.js +5 -2
- package/dist/runtime/query/iteration/provider-rejected-image.js.map +1 -1
- package/dist/runtime/query/iteration/stream-turn.d.ts +4 -1
- package/dist/runtime/query/iteration/stream-turn.d.ts.map +1 -1
- package/dist/runtime/query/iteration/stream-turn.js +22 -8
- package/dist/runtime/query/iteration/stream-turn.js.map +1 -1
- package/dist/runtime/query/prompt-cache.d.ts.map +1 -1
- package/dist/runtime/query/prompt-cache.js +21 -42
- package/dist/runtime/query/prompt-cache.js.map +1 -1
- package/dist/runtime/query/resume-pending.d.ts +18 -33
- package/dist/runtime/query/resume-pending.d.ts.map +1 -1
- package/dist/runtime/query/resume-pending.js +59 -42
- package/dist/runtime/query/resume-pending.js.map +1 -1
- package/dist/runtime/query/review-policy.d.ts +4 -4
- package/dist/runtime/query/review-policy.d.ts.map +1 -1
- package/dist/runtime/query/review-policy.js +10 -9
- package/dist/runtime/query/review-policy.js.map +1 -1
- package/dist/runtime/query/sandbox-lifecycle.d.ts.map +1 -1
- package/dist/runtime/query/sandbox-lifecycle.js +4 -0
- package/dist/runtime/query/sandbox-lifecycle.js.map +1 -1
- package/dist/runtime/query/tool-output-budget.d.ts +10 -6
- package/dist/runtime/query/tool-output-budget.d.ts.map +1 -1
- package/dist/runtime/query/tool-output-budget.js +54 -12
- package/dist/runtime/query/tool-output-budget.js.map +1 -1
- package/dist/runtime/query/tooling.d.ts +3 -1
- package/dist/runtime/query/tooling.d.ts.map +1 -1
- package/dist/runtime/query/tooling.js +4 -0
- package/dist/runtime/query/tooling.js.map +1 -1
- package/dist/scheduler/completion-inbox.d.ts +3 -0
- package/dist/scheduler/completion-inbox.d.ts.map +1 -1
- package/dist/scheduler/completion-inbox.js +28 -0
- package/dist/scheduler/completion-inbox.js.map +1 -1
- package/dist/store/evidence/compaction-archive.d.ts +109 -0
- package/dist/store/evidence/compaction-archive.d.ts.map +1 -0
- package/dist/store/evidence/compaction-archive.js +125 -0
- package/dist/store/evidence/compaction-archive.js.map +1 -0
- package/dist/store/evidence/compaction-provenance.d.ts +7 -0
- package/dist/store/evidence/compaction-provenance.d.ts.map +1 -0
- package/dist/store/evidence/compaction-provenance.js +49 -0
- package/dist/store/evidence/compaction-provenance.js.map +1 -0
- package/dist/store/evidence/compaction-text.d.ts +16 -0
- package/dist/store/evidence/compaction-text.d.ts.map +1 -0
- package/dist/store/evidence/compaction-text.js +51 -0
- package/dist/store/evidence/compaction-text.js.map +1 -0
- package/dist/store/evidence/disk.d.ts +11 -0
- package/dist/store/evidence/disk.d.ts.map +1 -0
- package/dist/store/evidence/disk.js +367 -0
- package/dist/store/evidence/disk.js.map +1 -0
- package/dist/store/evidence/format.d.ts +25 -0
- package/dist/store/evidence/format.d.ts.map +1 -0
- package/dist/store/evidence/format.js +115 -0
- package/dist/store/evidence/format.js.map +1 -0
- package/dist/store/evidence/index-page.d.ts +208 -0
- package/dist/store/evidence/index-page.d.ts.map +1 -0
- package/dist/store/evidence/index-page.js +262 -0
- package/dist/store/evidence/index-page.js.map +1 -0
- package/dist/store/evidence/io.d.ts +24 -0
- package/dist/store/evidence/io.d.ts.map +1 -0
- package/dist/store/evidence/io.js +69 -0
- package/dist/store/evidence/io.js.map +1 -0
- package/dist/store/evidence/linked.d.ts +9 -0
- package/dist/store/evidence/linked.d.ts.map +1 -0
- package/dist/store/evidence/linked.js +314 -0
- package/dist/store/evidence/linked.js.map +1 -0
- package/dist/store/evidence/passages.d.ts +15 -0
- package/dist/store/evidence/passages.d.ts.map +1 -0
- package/dist/store/evidence/passages.js +72 -0
- package/dist/store/evidence/passages.js.map +1 -0
- package/dist/store/evidence/record-chain.d.ts +42 -0
- package/dist/store/evidence/record-chain.d.ts.map +1 -0
- package/dist/store/evidence/record-chain.js +111 -0
- package/dist/store/evidence/record-chain.js.map +1 -0
- package/dist/store/evidence/search-input.d.ts +21 -0
- package/dist/store/evidence/search-input.d.ts.map +1 -0
- package/dist/store/evidence/search-input.js +44 -0
- package/dist/store/evidence/search-input.js.map +1 -0
- package/dist/store/evidence/selection.d.ts +9 -0
- package/dist/store/evidence/selection.d.ts.map +1 -0
- package/dist/store/evidence/selection.js +17 -0
- package/dist/store/evidence/selection.js.map +1 -0
- package/dist/store/evidence/source-kind.d.ts +11 -0
- package/dist/store/evidence/source-kind.d.ts.map +1 -0
- package/dist/store/evidence/source-kind.js +26 -0
- package/dist/store/evidence/source-kind.js.map +1 -0
- package/dist/store/evidence/source-text.d.ts +51 -0
- package/dist/store/evidence/source-text.d.ts.map +1 -0
- package/dist/store/evidence/source-text.js +213 -0
- package/dist/store/evidence/source-text.js.map +1 -0
- package/dist/store/evidence/types.d.ts +162 -0
- package/dist/store/evidence/types.d.ts.map +1 -0
- package/dist/store/evidence/types.js +2 -0
- package/dist/store/evidence/types.js.map +1 -0
- package/dist/store/memory/disk.d.ts +2 -0
- package/dist/store/memory/disk.d.ts.map +1 -1
- package/dist/store/memory/disk.js +2 -1
- package/dist/store/memory/disk.js.map +1 -1
- package/dist/store/run/disk.d.ts +10 -0
- package/dist/store/run/disk.d.ts.map +1 -1
- package/dist/store/run/disk.js +87 -7
- package/dist/store/run/disk.js.map +1 -1
- package/dist/store/run/memory.d.ts +1 -0
- package/dist/store/run/memory.d.ts.map +1 -1
- package/dist/store/run/memory.js +10 -0
- package/dist/store/run/memory.js.map +1 -1
- package/dist/store/run/tool-executions.d.ts +13 -0
- package/dist/store/run/tool-executions.d.ts.map +1 -0
- package/dist/store/run/tool-executions.js +99 -0
- package/dist/store/run/tool-executions.js.map +1 -0
- package/dist/store/session/index.d.ts +2 -0
- package/dist/store/session/index.d.ts.map +1 -1
- package/dist/store/session/index.js +1 -0
- package/dist/store/session/index.js.map +1 -1
- package/dist/store/session/sqlite.d.ts +57 -0
- package/dist/store/session/sqlite.d.ts.map +1 -0
- package/dist/store/session/sqlite.js +430 -0
- package/dist/store/session/sqlite.js.map +1 -0
- package/dist/tools/builtins/job.d.ts.map +1 -1
- package/dist/tools/builtins/job.js +4 -5
- package/dist/tools/builtins/job.js.map +1 -1
- package/dist/tools/builtins/write-file.js +2 -2
- package/dist/tools/builtins/write-file.js.map +1 -1
- package/dist/tools/defineTool.d.ts +2 -1
- package/dist/tools/defineTool.d.ts.map +1 -1
- package/dist/tools/defineTool.js +1 -1
- package/dist/tools/defineTool.js.map +1 -1
- package/dist/tools/file-read-tracker.d.ts.map +1 -1
- package/dist/tools/file-read-tracker.js +12 -3
- package/dist/tools/file-read-tracker.js.map +1 -1
- package/dist/tools/resident-history.d.ts +10 -0
- package/dist/tools/resident-history.d.ts.map +1 -0
- package/dist/tools/resident-history.js +80 -0
- package/dist/tools/resident-history.js.map +1 -0
- package/dist/tools/resident-tool-evidence.d.ts +5 -0
- package/dist/tools/resident-tool-evidence.d.ts.map +1 -0
- package/dist/tools/resident-tool-evidence.js +57 -0
- package/dist/tools/resident-tool-evidence.js.map +1 -0
- package/dist/types/advisory/config.d.ts +7 -0
- package/dist/types/advisory/config.d.ts.map +1 -1
- package/dist/types/agent/reactive.d.ts +1 -0
- package/dist/types/agent/reactive.d.ts.map +1 -1
- package/dist/types/authorization/index.d.ts +9 -9
- package/dist/types/authorization/index.d.ts.map +1 -1
- package/dist/types/authorization/index.js +1 -1
- package/dist/types/authorization/index.js.map +1 -1
- package/dist/types/hitl/index.d.ts +4 -0
- package/dist/types/hitl/index.d.ts.map +1 -1
- package/dist/types/hitl/index.js.map +1 -1
- package/dist/types/message/index.d.ts +16 -2
- package/dist/types/message/index.d.ts.map +1 -1
- package/dist/types/message/index.js +8 -1
- package/dist/types/message/index.js.map +1 -1
- package/dist/types/provider/chat.d.ts +2 -0
- package/dist/types/provider/chat.d.ts.map +1 -1
- package/dist/types/provider/stream.d.ts +4 -0
- package/dist/types/provider/stream.d.ts.map +1 -1
- package/dist/types/run/answer-review.d.ts +34 -3
- package/dist/types/run/answer-review.d.ts.map +1 -1
- package/dist/types/run/config.d.ts +3 -0
- package/dist/types/run/config.d.ts.map +1 -1
- package/dist/types/run/entity.d.ts +7 -0
- package/dist/types/run/entity.d.ts.map +1 -1
- package/dist/types/run/events.d.ts +31 -8
- package/dist/types/run/events.d.ts.map +1 -1
- package/dist/types/run/events.js.map +1 -1
- package/dist/types/run/prepare-step.d.ts +53 -8
- package/dist/types/run/prepare-step.d.ts.map +1 -1
- package/dist/types/run/store.d.ts +29 -4
- package/dist/types/run/store.d.ts.map +1 -1
- package/dist/types/run/store.js +0 -28
- package/dist/types/run/store.js.map +1 -1
- package/dist/types/tool/index.d.ts +15 -1
- package/dist/types/tool/index.d.ts.map +1 -1
- package/dist/types/tool/index.js.map +1 -1
- package/dist/utils/await-with-abort.d.ts +8 -0
- package/dist/utils/await-with-abort.d.ts.map +1 -0
- package/dist/utils/await-with-abort.js +28 -0
- package/dist/utils/await-with-abort.js.map +1 -0
- package/dist/utils/evidence-time.d.ts +3 -0
- package/dist/utils/evidence-time.d.ts.map +1 -0
- package/dist/utils/evidence-time.js +10 -0
- package/dist/utils/evidence-time.js.map +1 -0
- package/dist/utils/evidence-tokens.d.ts +13 -0
- package/dist/utils/evidence-tokens.d.ts.map +1 -0
- package/dist/utils/evidence-tokens.js +29 -0
- package/dist/utils/evidence-tokens.js.map +1 -0
- package/package.json +1 -1
- package/src/advisory/executor.ts +15 -30
- package/src/advisory/history.ts +126 -0
- package/src/advisory/index.ts +5 -1
- package/src/agents/ReactiveAgent.ts +3 -0
- package/src/agents/runAgent.ts +14 -1
- package/src/compaction/manual.ts +30 -2
- package/src/compaction/summary.ts +4 -1
- package/src/config/runtime.ts +2 -2
- package/src/contracts/schemas.ts +1 -1
- package/src/eval/harness-protection.ts +79 -0
- package/src/eval/harness-verification.ts +31 -1
- package/src/eval/index.ts +1 -0
- package/src/manager/resident/activity.ts +187 -0
- package/src/manager/resident/agenda.ts +907 -0
- package/src/manager/resident/consumption.ts +311 -0
- package/src/manager/resident/delivery-window.ts +93 -0
- package/src/manager/resident/evidence-recall.ts +363 -0
- package/src/manager/resident/history-disk.ts +63 -0
- package/src/manager/resident/history.ts +312 -0
- package/src/manager/resident/host.ts +356 -0
- package/src/manager/resident/initiative.ts +205 -0
- package/src/manager/resident/learning-cycle.ts +499 -0
- package/src/manager/resident/learning-observation.ts +39 -0
- package/src/manager/resident/learning-store.ts +813 -0
- package/src/manager/resident/learning.ts +493 -0
- package/src/manager/resident/loop.ts +101 -0
- package/src/manager/resident/outbox.ts +307 -0
- package/src/manager/resident/proposal.ts +105 -0
- package/src/manager/resident/store.ts +257 -0
- package/src/manager/resident/tool-evidence.ts +412 -0
- package/src/manager/run/persistence.ts +6 -0
- package/src/plugin/loader.ts +8 -3
- package/src/prompt/coding-agent-doctrine.ts +2 -0
- package/src/prompt/contributions.ts +5 -2
- package/src/prompt/index.ts +4 -0
- package/src/prompt/resident-learning.ts +143 -0
- package/src/prompt/resident-step.ts +176 -0
- package/src/provider/collect-chat-completion.ts +7 -6
- package/src/provider/fallback.ts +2 -1
- package/src/provider/stream-text.ts +56 -0
- package/src/public-runtime.ts +44 -0
- package/src/public-tools.ts +3 -0
- package/src/public-types.ts +165 -0
- package/src/registry/index.ts +1 -1
- package/src/registry/tool/execute.ts +56 -9
- package/src/run/LimitChecker.ts +3 -3
- package/src/run/evidence-query.ts +333 -0
- package/src/run/evidence-recall.ts +854 -0
- package/src/run/index.ts +11 -0
- package/src/run/json-claim-verifier.ts +298 -0
- package/src/run/preparation-context-error.ts +16 -0
- package/src/run-query/index.ts +1 -1
- package/src/runtime/query/callback-inference.ts +94 -0
- package/src/runtime/query/checkpoint.ts +14 -0
- package/src/runtime/query/events.ts +46 -14
- package/src/runtime/query/executor.ts +51 -9
- package/src/runtime/query/file-evidence-context.ts +65 -0
- package/src/runtime/query/guard.ts +2 -0
- package/src/runtime/query/index.ts +50 -27
- package/src/runtime/query/iteration/index.ts +269 -86
- package/src/runtime/query/iteration/phases/advisory.ts +3 -0
- package/src/runtime/query/iteration/phases/context.ts +2 -0
- package/src/runtime/query/iteration/phases/tool-review.ts +3 -0
- package/src/runtime/query/iteration/provider-rejected-image.ts +6 -1
- package/src/runtime/query/iteration/stream-turn.ts +35 -8
- package/src/runtime/query/prompt-cache.ts +24 -47
- package/src/runtime/query/resume-pending.ts +65 -40
- package/src/runtime/query/review-policy.ts +13 -9
- package/src/runtime/query/sandbox-lifecycle.ts +3 -0
- package/src/runtime/query/tool-output-budget.ts +65 -13
- package/src/runtime/query/tooling.ts +7 -1
- package/src/scheduler/completion-inbox.ts +26 -0
- package/src/store/evidence/compaction-archive.ts +139 -0
- package/src/store/evidence/compaction-provenance.ts +52 -0
- package/src/store/evidence/compaction-text.ts +61 -0
- package/src/store/evidence/disk.ts +461 -0
- package/src/store/evidence/format.ts +126 -0
- package/src/store/evidence/index-page.ts +292 -0
- package/src/store/evidence/io.ts +95 -0
- package/src/store/evidence/linked.ts +365 -0
- package/src/store/evidence/passages.ts +88 -0
- package/src/store/evidence/record-chain.ts +108 -0
- package/src/store/evidence/search-input.ts +62 -0
- package/src/store/evidence/selection.ts +25 -0
- package/src/store/evidence/source-kind.ts +36 -0
- package/src/store/evidence/source-text.ts +285 -0
- package/src/store/evidence/types.ts +177 -0
- package/src/store/memory/disk.ts +4 -1
- package/src/store/run/disk.ts +110 -8
- package/src/store/run/memory.ts +10 -0
- package/src/store/run/tool-executions.ts +112 -0
- package/src/store/session/index.ts +2 -0
- package/src/store/session/sqlite.ts +584 -0
- package/src/tools/builtins/job.ts +4 -5
- package/src/tools/builtins/write-file.ts +2 -2
- package/src/tools/defineTool.ts +4 -2
- package/src/tools/file-read-tracker.ts +8 -2
- package/src/tools/resident-history.ts +86 -0
- package/src/tools/resident-tool-evidence.ts +68 -0
- package/src/types/advisory/config.ts +7 -0
- package/src/types/agent/reactive.ts +1 -0
- package/src/types/authorization/index.ts +2 -2
- package/src/types/hitl/index.ts +4 -0
- package/src/types/message/index.ts +20 -0
- package/src/types/provider/chat.ts +2 -0
- package/src/types/provider/stream.ts +4 -0
- package/src/types/run/answer-review.ts +34 -3
- package/src/types/run/config.ts +3 -0
- package/src/types/run/entity.ts +7 -0
- package/src/types/run/events.ts +31 -8
- package/src/types/run/prepare-step.ts +59 -8
- package/src/types/run/store.ts +35 -4
- package/src/types/tool/index.ts +19 -1
- package/src/utils/await-with-abort.ts +26 -0
- package/src/utils/evidence-time.ts +9 -0
- package/src/utils/evidence-tokens.ts +32 -0
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../src/contracts/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,2BAA2B,CAAC,CAAA;AAC/F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,uBAAuB,CAAC,CAAA;AACvF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,2BAA2B,CAAC,CAAA;AAE/F,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC9B,MAAM,CAAC;IACP,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACtD,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACzD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,
|
|
1
|
+
{"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../src/contracts/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,2BAA2B,CAAC,CAAA;AAC/F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,uBAAuB,CAAC,CAAA;AACvF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,2BAA2B,CAAC,CAAA;AAE/F,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC9B,MAAM,CAAC;IACP,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACtD,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACzD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE;IACnE,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE;IAC7E,0BAA0B,EAAE,CAAC;SAC3B,MAAM,EAAE;SACR,GAAG,EAAE;SACL,WAAW,EAAE;SACb,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC;SAC5B,QAAQ,EAAE;IACZ,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE;CACvD,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KAClC,MAAM,CAAC;IACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,iCAAiC,CAAC;IAC7D,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC9B,MAAM,CAAC;IACP,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,sBAAsB,CAAC;IACnD,MAAM,EAAE,eAAe;IACvB,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACpC,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACvC,MAAM,CAAC;IACP,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,sBAAsB,CAAC;IACnD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,qBAAqB,CAAC;IACjD,MAAM,EAAE,eAAe;IACvB,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACpC,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC1D,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;CAC9C,CAAC,CAAA;AAEF,MAAM,UAAU,kBAAkB,CAAC,KAAiB;IAMnD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAClC,OAAO;QACN,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,UAAU;YAClB,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,OAAO,EAAE;YACvD,CAAC,CAAC,mBAAmB;QACtB,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS;KAC9C,CAAA;AACF,CAAC"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
import type { HarnessComparison } from './harness-verification.js';
|
|
2
|
+
/** Host-selected preservation tasks, fixed before generation and disjoint across rounds. */
|
|
3
|
+
export interface HarnessProtectionPlan {
|
|
4
|
+
readonly verification: readonly string[];
|
|
5
|
+
readonly confirmation: readonly string[];
|
|
6
|
+
}
|
|
7
|
+
/** Recorded preservation evidence, not a guarantee about untested tasks. */
|
|
8
|
+
export interface HarnessProtectionCheck {
|
|
9
|
+
readonly status: 'passed' | 'failed' | 'inconclusive';
|
|
10
|
+
readonly missingTasks: readonly string[];
|
|
11
|
+
readonly unprovenTasks: readonly string[];
|
|
12
|
+
readonly regressedTasks: readonly string[];
|
|
13
|
+
}
|
|
14
|
+
/** Internal validated immutable admission snapshot. */
|
|
15
|
+
export declare function normalizeHarnessProtection(input: HarnessProtectionPlan): HarnessProtectionPlan;
|
|
16
|
+
/** Internal: both baseline trials must succeed before preservation can be established. */
|
|
17
|
+
export declare function checkHarnessProtection(report: HarnessComparison, tasks: readonly string[]): HarnessProtectionCheck;
|
|
18
|
+
//# sourceMappingURL=harness-protection.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"harness-protection.d.ts","sourceRoot":"","sources":["../../src/eval/harness-protection.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAElE,4FAA4F;AAC5F,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;IACxC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;CACxC;AAED,4EAA4E;AAC5E,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAAA;IACrD,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;IACxC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAA;IACzC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;CAC1C;AAwBD,uDAAuD;AACvD,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,qBAAqB,GAAG,qBAAqB,CAU9F;AAED,0FAA0F;AAC1F,wBAAgB,sBAAsB,CACrC,MAAM,EAAE,iBAAiB,EACzB,KAAK,EAAE,SAAS,MAAM,EAAE,GACtB,sBAAsB,CAsBxB"}
|
|
@@ -0,0 +1,58 @@
|
|
|
1
|
+
import { z } from 'zod';
|
|
2
|
+
const tasks = z
|
|
3
|
+
.array(z
|
|
4
|
+
.string()
|
|
5
|
+
.min(1)
|
|
6
|
+
.max(256)
|
|
7
|
+
.refine((s) => s.trim() === s))
|
|
8
|
+
.min(1)
|
|
9
|
+
.max(63);
|
|
10
|
+
const planSchema = z
|
|
11
|
+
.object({ verification: tasks, confirmation: tasks })
|
|
12
|
+
.strict()
|
|
13
|
+
.superRefine((plan, ctx) => {
|
|
14
|
+
const all = [...plan.verification, ...plan.confirmation];
|
|
15
|
+
if (new Set(all).size !== all.length)
|
|
16
|
+
ctx.addIssue({
|
|
17
|
+
code: z.ZodIssueCode.custom,
|
|
18
|
+
message: 'Protection tasks must be unique and fresh across rounds.',
|
|
19
|
+
});
|
|
20
|
+
});
|
|
21
|
+
/** Internal validated immutable admission snapshot. */
|
|
22
|
+
export function normalizeHarnessProtection(input) {
|
|
23
|
+
if (input === undefined || input === null)
|
|
24
|
+
throw new Error('Declare protection.verification and protection.confirmation task IDs before resident learning or promotion.');
|
|
25
|
+
const plan = planSchema.parse(input);
|
|
26
|
+
return Object.freeze({
|
|
27
|
+
verification: Object.freeze(plan.verification),
|
|
28
|
+
confirmation: Object.freeze(plan.confirmation),
|
|
29
|
+
});
|
|
30
|
+
}
|
|
31
|
+
/** Internal: both baseline trials must succeed before preservation can be established. */
|
|
32
|
+
export function checkHarnessProtection(report, tasks) {
|
|
33
|
+
const missingTasks = [];
|
|
34
|
+
const unprovenTasks = [];
|
|
35
|
+
const regressedTasks = [];
|
|
36
|
+
for (const id of tasks) {
|
|
37
|
+
const task = report.tasks.find((t) => t.taskId === id);
|
|
38
|
+
if (!task)
|
|
39
|
+
missingTasks.push(id);
|
|
40
|
+
else if (task.trials !== 2 || task.status === 'inconclusive' || task.baselinePasses !== 2)
|
|
41
|
+
unprovenTasks.push(id);
|
|
42
|
+
else if (task.candidatePasses !== 2 || report.regressions.includes(id))
|
|
43
|
+
regressedTasks.push(id);
|
|
44
|
+
else if (report.unresolved.includes(id))
|
|
45
|
+
unprovenTasks.push(id);
|
|
46
|
+
}
|
|
47
|
+
return {
|
|
48
|
+
status: regressedTasks.length
|
|
49
|
+
? 'failed'
|
|
50
|
+
: missingTasks.length || unprovenTasks.length
|
|
51
|
+
? 'inconclusive'
|
|
52
|
+
: 'passed',
|
|
53
|
+
missingTasks,
|
|
54
|
+
unprovenTasks,
|
|
55
|
+
regressedTasks,
|
|
56
|
+
};
|
|
57
|
+
}
|
|
58
|
+
//# sourceMappingURL=harness-protection.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"harness-protection.js","sourceRoot":"","sources":["../../src/eval/harness-protection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAiBvB,MAAM,KAAK,GAAG,CAAC;KACb,KAAK,CACL,CAAC;KACC,MAAM,EAAE;KACR,GAAG,CAAC,CAAC,CAAC;KACN,GAAG,CAAC,GAAG,CAAC;KACR,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAC/B;KACA,GAAG,CAAC,CAAC,CAAC;KACN,GAAG,CAAC,EAAE,CAAC,CAAA;AACT,MAAM,UAAU,GAAG,CAAC;KAClB,MAAM,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;KACpD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IAC1B,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,YAAY,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,CAAA;IACxD,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM;QACnC,GAAG,CAAC,QAAQ,CAAC;YACZ,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,0DAA0D;SACnE,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEH,uDAAuD;AACvD,MAAM,UAAU,0BAA0B,CAAC,KAA4B;IACtE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QACxC,MAAM,IAAI,KAAK,CACd,6GAA6G,CAC7G,CAAA;IACF,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC;QAC9C,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC;KAC9C,CAAC,CAAA;AACH,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,sBAAsB,CACrC,MAAyB,EACzB,KAAwB;IAExB,MAAM,YAAY,GAAa,EAAE,CAAA;IACjC,MAAM,aAAa,GAAa,EAAE,CAAA;IAClC,MAAM,cAAc,GAAa,EAAE,CAAA;IACnC,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAA;QACtD,IAAI,CAAC,IAAI;YAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;aAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,cAAc,IAAI,IAAI,CAAC,cAAc,KAAK,CAAC;YACxF,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;aAClB,IAAI,IAAI,CAAC,eAAe,KAAK,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;aAC1F,IAAI,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAChE,CAAC;IACD,OAAO;QACN,MAAM,EAAE,cAAc,CAAC,MAAM;YAC5B,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,YAAY,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM;gBAC5C,CAAC,CAAC,cAAc;gBAChB,CAAC,CAAC,QAAQ;QACZ,YAAY;QACZ,aAAa;QACb,cAAc;KACd,CAAA;AACF,CAAC"}
|
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
import { type HarnessProtectionCheck, type HarnessProtectionPlan } from './harness-protection.js';
|
|
1
2
|
import type { CaseResult } from './types.js';
|
|
2
3
|
/** A host-owned outcome, with enough identity to check pairing and cite its trace. */
|
|
3
4
|
export interface HarnessTrial {
|
|
@@ -53,11 +54,15 @@ export interface HarnessReview {
|
|
|
53
54
|
reason: string;
|
|
54
55
|
verification: HarnessComparison;
|
|
55
56
|
confirmation?: HarnessComparison;
|
|
57
|
+
protection?: {
|
|
58
|
+
verification: HarnessProtectionCheck;
|
|
59
|
+
confirmation?: HarnessProtectionCheck;
|
|
60
|
+
};
|
|
56
61
|
}
|
|
57
62
|
/**
|
|
58
63
|
* Evaluate recorded evidence; never applies a patch. Requires at least five tasks,
|
|
59
64
|
* exactly two trials per task, and a same-size confirmation with at most two reused tasks.
|
|
60
65
|
* Hosts own isolated execution, task selection, scoring and independent trace review.
|
|
61
66
|
*/
|
|
62
|
-
export declare function reviewHarnessCandidate(verification: HarnessVerificationBatch, confirmation?: HarnessVerificationBatch): HarnessReview;
|
|
67
|
+
export declare function reviewHarnessCandidate(verification: HarnessVerificationBatch, confirmation?: HarnessVerificationBatch, protection?: HarnessProtectionPlan): HarnessReview;
|
|
63
68
|
//# sourceMappingURL=harness-verification.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"harness-verification.d.ts","sourceRoot":"","sources":["../../src/eval/harness-verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C,sFAAsF;AACtF,MAAM,WAAW,YAAY;IAC5B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,6FAA6F;IAC7F,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,kBAAkB;IAClC,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,aAAa,GAAG,YAAY,GAAG,YAAY,CAAA;IACnD,MAAM,EAAE,MAAM,CAAA;IACd,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAA;CACxC;AAED,MAAM,WAAW,wBAAwB;IACxC,gBAAgB,EAAE,MAAM,CAAA;IACxB,iBAAiB,EAAE,MAAM,CAAA;IACzB,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,SAAS,EAAE,SAAS,YAAY,EAAE,CAAA;IAClC,mFAAmF;IACnF,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAA;CAC3C;AAED,MAAM,MAAM,qBAAqB,GAC9B,WAAW,GACX,gBAAgB,GAChB,WAAW,GACX,eAAe,GACf,OAAO,GACP,cAAc,CAAA;AAEjB,MAAM,WAAW,qBAAqB;IACrC,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,qBAAqB,CAAA;IAC7B,cAAc,EAAE,MAAM,CAAA;IACtB,eAAe,EAAE,MAAM,CAAA;IACvB,MAAM,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,iBAAiB;IACjC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAA;IACvC,iFAAiF;IACjF,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;IAC9B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,gFAAgF;IAChF,KAAK,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;CAChF;AA2CD,8FAA8F;AAC9F,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,wBAAwB,GAAG,iBAAiB,CA8FvF;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAAA;IAC9C,MAAM,EAAE,MAAM,CAAA;IACd,YAAY,EAAE,iBAAiB,CAAA;IAC/B,YAAY,CAAC,EAAE,iBAAiB,CAAA;
|
|
1
|
+
{"version":3,"file":"harness-verification.d.ts","sourceRoot":"","sources":["../../src/eval/harness-verification.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAG1B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C,sFAAsF;AACtF,MAAM,WAAW,YAAY;IAC5B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,6FAA6F;IAC7F,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,kBAAkB;IAClC,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,aAAa,GAAG,YAAY,GAAG,YAAY,CAAA;IACnD,MAAM,EAAE,MAAM,CAAA;IACd,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAA;CACxC;AAED,MAAM,WAAW,wBAAwB;IACxC,gBAAgB,EAAE,MAAM,CAAA;IACxB,iBAAiB,EAAE,MAAM,CAAA;IACzB,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,SAAS,EAAE,SAAS,YAAY,EAAE,CAAA;IAClC,mFAAmF;IACnF,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAA;CAC3C;AAED,MAAM,MAAM,qBAAqB,GAC9B,WAAW,GACX,gBAAgB,GAChB,WAAW,GACX,eAAe,GACf,OAAO,GACP,cAAc,CAAA;AAEjB,MAAM,WAAW,qBAAqB;IACrC,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,qBAAqB,CAAA;IAC7B,cAAc,EAAE,MAAM,CAAA;IACtB,eAAe,EAAE,MAAM,CAAA;IACvB,MAAM,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,iBAAiB;IACjC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAA;IACvC,iFAAiF;IACjF,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;IAC9B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,gFAAgF;IAChF,KAAK,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;CAChF;AA2CD,8FAA8F;AAC9F,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,wBAAwB,GAAG,iBAAiB,CA8FvF;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAAA;IAC9C,MAAM,EAAE,MAAM,CAAA;IACd,YAAY,EAAE,iBAAiB,CAAA;IAC/B,YAAY,CAAC,EAAE,iBAAiB,CAAA;IAChC,UAAU,CAAC,EAAE;QAAE,YAAY,EAAE,sBAAsB,CAAC;QAAC,YAAY,CAAC,EAAE,sBAAsB,CAAA;KAAE,CAAA;CAC5F;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CACrC,YAAY,EAAE,wBAAwB,EACtC,YAAY,CAAC,EAAE,wBAAwB,EACvC,UAAU,CAAC,EAAE,qBAAqB,GAChC,aAAa,CAkFf"}
|
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
import { checkHarnessProtection, normalizeHarnessProtection, } from './harness-protection.js';
|
|
1
2
|
function nonempty(value) {
|
|
2
3
|
return typeof value === 'string' && value.trim().length > 0;
|
|
3
4
|
}
|
|
@@ -125,20 +126,36 @@ export function compareHarnessTrials(batch) {
|
|
|
125
126
|
* exactly two trials per task, and a same-size confirmation with at most two reused tasks.
|
|
126
127
|
* Hosts own isolated execution, task selection, scoring and independent trace review.
|
|
127
128
|
*/
|
|
128
|
-
export function reviewHarnessCandidate(verification, confirmation) {
|
|
129
|
+
export function reviewHarnessCandidate(verification, confirmation, protection) {
|
|
130
|
+
const plan = protection === undefined ? undefined : normalizeHarnessProtection(protection);
|
|
129
131
|
const first = compareHarnessTrials(verification);
|
|
130
132
|
const second = confirmation ? compareHarnessTrials(confirmation) : undefined;
|
|
133
|
+
const protectedFirst = plan ? checkHarnessProtection(first, plan.verification) : undefined;
|
|
134
|
+
const protectedSecond = plan && second ? checkHarnessProtection(second, plan.confirmation) : undefined;
|
|
131
135
|
const result = (decision, reason) => ({
|
|
132
136
|
decision,
|
|
133
137
|
reason,
|
|
134
138
|
verification: first,
|
|
135
139
|
...(second ? { confirmation: second } : {}),
|
|
140
|
+
...(protectedFirst
|
|
141
|
+
? {
|
|
142
|
+
protection: {
|
|
143
|
+
verification: protectedFirst,
|
|
144
|
+
...(protectedSecond ? { confirmation: protectedSecond } : {}),
|
|
145
|
+
},
|
|
146
|
+
}
|
|
147
|
+
: {}),
|
|
136
148
|
});
|
|
137
149
|
const sufficient = (report) => report.tasks.length >= 5 && report.tasks.every((t) => t.trials === 2);
|
|
138
150
|
if (!sufficient(first))
|
|
139
151
|
return result('inconclusive', 'Verification requires at least five distinct tasks and two paired trials per task.');
|
|
140
|
-
if (first.regressions.length ||
|
|
152
|
+
if (first.regressions.length ||
|
|
153
|
+
second?.regressions.length ||
|
|
154
|
+
protectedFirst?.status === 'failed' ||
|
|
155
|
+
protectedSecond?.status === 'failed')
|
|
141
156
|
return result('reject', 'Observed or attributed regression blocks promotion.');
|
|
157
|
+
if (protectedFirst?.status === 'inconclusive' || protectedSecond?.status === 'inconclusive')
|
|
158
|
+
return result('inconclusive', 'Every declared protection task requires two successful baseline and candidate trials in its designated round.');
|
|
142
159
|
if (first.unresolved.length || second?.unresolved.length)
|
|
143
160
|
return result('inconclusive', 'Incomplete or ambiguous behavioral evidence.');
|
|
144
161
|
if (!first.positiveEvidence.length)
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"harness-verification.js","sourceRoot":"","sources":["../../src/eval/harness-verification.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"harness-verification.js","sourceRoot":"","sources":["../../src/eval/harness-verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,sBAAsB,EACtB,0BAA0B,GAC1B,MAAM,yBAAyB,CAAA;AAyDhC,SAAS,QAAQ,CAAC,KAAa;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;AAC5D,CAAC;AAED,SAAS,GAAG,CAAC,KAAmB;IAC/B,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AACnD,CAAC;AAED,SAAS,WAAW,CAAC,MAA+B;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAA;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IACC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YACvB,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC;YAC3B,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC;YAC7B,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;YAClC,KAAK,CAAC,KAAK,GAAG,CAAC;YAEf,MAAM,IAAI,KAAK,CACd,sFAAsF,CACtF,CAAA;QACF,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC;YAC3D,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAA;QAC7D,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;QAC7B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO,MAAM,CAAA;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAmB;IACpC,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAA;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC3C,OAAO,CACN,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK;QACjB,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;QAC1D,MAAM,CAAC,MAAM,GAAG,CAAC;QACjB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAC/F,CAAA;AACF,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,oBAAoB,CAAC,KAA+B;IACnE,IACC,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC;QACjC,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAAC;QAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB;QAElD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC3E,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IAC5C,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC9C,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;QACrD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;IACxD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAA;IACzE,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC3E,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAA;IAChD,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC/B,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;YACnD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAA;QAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;QAC7C,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAClB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACjC,CAAC;IACD,MAAM,KAAK,GAA4B,EAAE,CAAA;IACzC,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;YAClE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAA;QACxE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAiB,CAAC,CAAA;QACtE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAA;QACnE,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAA;QAClE,MAAM,MAAM,GAA0B,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC3E,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;gBACjB,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM;oBAC5B,CAAC,CAAC,gBAAgB;oBAClB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;wBACjB,CAAC,CAAC,WAAW;wBACb,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;4BACnB,CAAC,CAAC,eAAe;4BACjB,CAAC,CAAC,OAAO,CAAA;QACd,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IAC7F,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,MAAM,UAAU,GAAG,IAAI,GAAG,CACzB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAC7F,CAAA;IACD,wFAAwF;IACxF,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACvF,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC5D,MAAM,KAAK,GAAG,CAAC,GAAsB,EAAE,MAA+B,EAAE,EAAE,CACzE,GAAG,CAAC,MAAM,GAAG,CAAC;YACd,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC,CAAA;QAC7F,IACC,CAAC,IAAI;YACL,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC1B,CAAC,KAAK,CAAC,QAAQ,CAAC,oBAAoB,EAAE,KAAK,CAAC,QAAQ,CAAC;YACrD,CAAC,KAAK,CAAC,QAAQ,CAAC,qBAAqB,EAAE,KAAK,CAAC,SAAS,CAAC;YACvD,CAAC,CAAC,aAAa,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YAEtE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAA;QACrF,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;aAC7D,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;aACjE,IACJ,IAAI,CAAC,MAAM,KAAK,WAAW;YAC3B,CAAC,IAAI,CAAC,MAAM,KAAK,gBAAgB,IAAI,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,cAAc,CAAC;YAEhF,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAC3B,CAAC;IACD,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAA;IACnF,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAG;YACd,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW;YAC5B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY;YAC7B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU;SAC3B,CAAA;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QACnD,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAA;QAC5C,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9C,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAA;IAChD,CAAC;IACD,OAAO;QACN,KAAK;QACL,gBAAgB,EAAE,CAAC,GAAG,QAAQ,CAAC;QAC/B,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC;QAC7B,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,KAAK;QACL,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC;YAC5D,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI;KAC1F,CAAA;AACF,CAAC;AAUD;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACrC,YAAsC,EACtC,YAAuC,EACvC,UAAkC;IAElC,MAAM,IAAI,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAAA;IAC1F,MAAM,KAAK,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAA;IAChD,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5E,MAAM,cAAc,GAAG,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC1F,MAAM,eAAe,GACpB,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/E,MAAM,MAAM,GAAG,CAAC,QAAmC,EAAE,MAAc,EAAiB,EAAE,CAAC,CAAC;QACvF,QAAQ;QACR,MAAM;QACN,YAAY,EAAE,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,cAAc;YACjB,CAAC,CAAC;gBACA,UAAU,EAAE;oBACX,YAAY,EAAE,cAAc;oBAC5B,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC7D;aACD;YACF,CAAC,CAAC,EAAE,CAAC;KACN,CAAC,CAAA;IACF,MAAM,UAAU,GAAG,CAAC,MAAyB,EAAE,EAAE,CAChD,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAA;IACtE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QACrB,OAAO,MAAM,CACZ,cAAc,EACd,oFAAoF,CACpF,CAAA;IACF,IACC,KAAK,CAAC,WAAW,CAAC,MAAM;QACxB,MAAM,EAAE,WAAW,CAAC,MAAM;QAC1B,cAAc,EAAE,MAAM,KAAK,QAAQ;QACnC,eAAe,EAAE,MAAM,KAAK,QAAQ;QAEpC,OAAO,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC,CAAA;IAC/E,IAAI,cAAc,EAAE,MAAM,KAAK,cAAc,IAAI,eAAe,EAAE,MAAM,KAAK,cAAc;QAC1F,OAAO,MAAM,CACZ,cAAc,EACd,+GAA+G,CAC/G,CAAA;IACF,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,IAAI,MAAM,EAAE,UAAU,CAAC,MAAM;QACvD,OAAO,MAAM,CAAC,cAAc,EAAE,8CAA8C,CAAC,CAAA;IAC9E,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM;QACjC,OAAO,MAAM,CACZ,QAAQ,EACR,0EAA0E,CAC1E,CAAA;IACF,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM;QAC3B,OAAO,MAAM,CAAC,cAAc,EAAE,kDAAkD,CAAC,CAAA;IAClF,IACC,YAAY,CAAC,gBAAgB,KAAK,YAAY,CAAC,gBAAgB;QAC/D,YAAY,CAAC,iBAAiB,KAAK,YAAY,CAAC,iBAAiB;QAEjE,OAAO,MAAM,CAAC,cAAc,EAAE,0DAA0D,CAAC,CAAA;IAC1F,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5D,IACC,CAAC,UAAU,CAAC,MAAM,CAAC;QACnB,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM;QAC1C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC;QAE/D,OAAO,MAAM,CACZ,cAAc,EACd,0EAA0E,CAC1E,CAAA;IACF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAA;IAC1E,MAAM,MAAM,GAAG,IAAI,GAAG,CACrB,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAChF,CAAA;IACD,IACC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC/D,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAE7F,OAAO,MAAM,CAAC,cAAc,EAAE,0DAA0D,CAAC,CAAA;IAC1F,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,IAAI,CAAC;QAChG,OAAO,MAAM,CACZ,QAAQ,EACR,uFAAuF,CACvF,CAAA;IACF,OAAO,MAAM,CACZ,QAAQ,EACR,0GAA0G,CAC1G,CAAA;AACF,CAAC"}
|
package/dist/eval/index.d.ts
CHANGED
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
export { evalRunFromQuery, evalRunFromRun } from './from-run.js';
|
|
2
2
|
export { compareHarnessTrials, reviewHarnessCandidate } from './harness-verification.js';
|
|
3
|
+
export type { HarnessProtectionPlan, HarnessProtectionCheck } from './harness-protection.js';
|
|
3
4
|
export type { HarnessTrial, HarnessAttribution, HarnessVerificationBatch, HarnessBehaviorStatus, HarnessTaskComparison, HarnessComparison, HarnessReview, } from './harness-verification.js';
|
|
4
5
|
export { formatReport, runExperiment } from './experiment.js';
|
|
5
6
|
export type { ExperimentConfig } from './experiment.js';
|
package/dist/eval/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/eval/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AACxF,YAAY,EACX,YAAY,EACZ,kBAAkB,EAClB,wBAAwB,EACxB,qBAAqB,EACrB,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,GACb,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAC7D,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AACxC,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EACN,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AACrE,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,YAAY,EACX,UAAU,EACV,UAAU,EACV,QAAQ,EACR,OAAO,EACP,gBAAgB,EAChB,KAAK,EACL,MAAM,GACN,MAAM,YAAY,CAAA"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/eval/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AACxF,YAAY,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAC5F,YAAY,EACX,YAAY,EACZ,kBAAkB,EAClB,wBAAwB,EACxB,qBAAqB,EACrB,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,GACb,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAC7D,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AACxC,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EACN,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AACrE,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,YAAY,EACX,UAAU,EACV,UAAU,EACV,QAAQ,EACR,OAAO,EACP,gBAAgB,EAChB,KAAK,EACL,MAAM,GACN,MAAM,YAAY,CAAA"}
|
package/dist/eval/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/eval/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/eval/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAWxF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAE7D,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAExC,OAAO,EACN,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA"}
|
|
@@ -0,0 +1,50 @@
|
|
|
1
|
+
import type { ResidentAgendaState } from './agenda.js';
|
|
2
|
+
import { type ResidentHistoryReadBudget } from './history-disk.js';
|
|
3
|
+
/** @experimental An immutable upper boundary; new work requires a new source. */
|
|
4
|
+
export interface ResidentActivityScope {
|
|
5
|
+
readonly tenantId: string;
|
|
6
|
+
readonly agentKey: string;
|
|
7
|
+
readonly throughRevision: number;
|
|
8
|
+
}
|
|
9
|
+
/** @experimental Admission is authority to inspect an attempt, not proof that it executed. */
|
|
10
|
+
export interface ResidentAdmission {
|
|
11
|
+
readonly revision: number;
|
|
12
|
+
readonly pursuitRevision: number;
|
|
13
|
+
readonly pursuitId: string;
|
|
14
|
+
readonly claimId: string;
|
|
15
|
+
readonly step: number;
|
|
16
|
+
readonly objective: string;
|
|
17
|
+
}
|
|
18
|
+
/** @experimental Settlement is an agenda decision, not proof of verification or delivery. */
|
|
19
|
+
export interface ResidentSettlement {
|
|
20
|
+
readonly revision: number;
|
|
21
|
+
readonly pursuitId: string;
|
|
22
|
+
readonly claimId: string;
|
|
23
|
+
readonly outcome: 'wait' | 'complete' | 'blocked';
|
|
24
|
+
}
|
|
25
|
+
/** @experimental Forward pages; cursor is the next revision to inspect, initially 1. */
|
|
26
|
+
export interface ResidentActivityOptions {
|
|
27
|
+
readonly cursor?: number;
|
|
28
|
+
readonly maxRevisions?: number;
|
|
29
|
+
readonly maxReadBytes?: number;
|
|
30
|
+
}
|
|
31
|
+
/** @experimental Gaps stay explicit; counts cover only the scanned revision range. */
|
|
32
|
+
export interface ResidentActivityPage {
|
|
33
|
+
readonly scope: ResidentActivityScope;
|
|
34
|
+
readonly fromRevision: number;
|
|
35
|
+
readonly throughRevision: number;
|
|
36
|
+
readonly nextCursor: number | null;
|
|
37
|
+
readonly scannedBytes: number;
|
|
38
|
+
readonly unavailableRevisions: readonly number[];
|
|
39
|
+
readonly admissions: readonly ResidentAdmission[];
|
|
40
|
+
readonly settlements: readonly ResidentSettlement[];
|
|
41
|
+
readonly archivedPursuits: readonly string[];
|
|
42
|
+
}
|
|
43
|
+
/** @experimental A backend must enforce scope, cancellation and read bounds. */
|
|
44
|
+
export interface ResidentActivitySource {
|
|
45
|
+
readonly scope: ResidentActivityScope;
|
|
46
|
+
read(options?: ResidentActivityOptions, signal?: AbortSignal): Promise<ResidentActivityPage>;
|
|
47
|
+
}
|
|
48
|
+
/** Internal adapter for the immutable disk agenda. */
|
|
49
|
+
export declare function createResidentActivitySource(scopeInput: ResidentActivityScope, load: (revision: number, budget: ResidentHistoryReadBudget) => Promise<ResidentAgendaState>): ResidentActivitySource;
|
|
50
|
+
//# sourceMappingURL=activity.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"activity.d.ts","sourceRoot":"","sources":["../../../src/manager/resident/activity.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACtD,OAAO,EAA4B,KAAK,yBAAyB,EAAE,MAAM,mBAAmB,CAAA;AAE5F,iFAAiF;AACjF,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CAChC;AAED,8FAA8F;AAC9F,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC1B;AAED,6FAA6F;AAC7F,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAA;CACjD;AAED,wFAAwF;AACxF,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,sFAAsF;AACtF,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAA;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAA;IAChD,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAA;IACjD,QAAQ,CAAC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAA;IACnD,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;CAC5C;AAED,gFAAgF;AAChF,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAA;IACrC,IAAI,CAAC,OAAO,CAAC,EAAE,uBAAuB,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAA;CAC5F;AAED,sDAAsD;AACtD,wBAAgB,4BAA4B,CAC3C,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,yBAAyB,KAAK,OAAO,CAAC,mBAAmB,CAAC,GACzF,sBAAsB,CA+HxB"}
|
|
@@ -0,0 +1,125 @@
|
|
|
1
|
+
import { z } from 'zod';
|
|
2
|
+
import { ResidentHistoryPageLimit } from './history-disk.js';
|
|
3
|
+
/** Internal adapter for the immutable disk agenda. */
|
|
4
|
+
export function createResidentActivitySource(scopeInput, load) {
|
|
5
|
+
const scope = Object.freeze(z
|
|
6
|
+
.object({
|
|
7
|
+
tenantId: z.string().uuid(),
|
|
8
|
+
agentKey: z.string().min(1).max(200),
|
|
9
|
+
throughRevision: z.number().int().positive().safe(),
|
|
10
|
+
})
|
|
11
|
+
.parse(scopeInput));
|
|
12
|
+
return {
|
|
13
|
+
scope,
|
|
14
|
+
async read(options = {}, signal) {
|
|
15
|
+
const from = z
|
|
16
|
+
.number()
|
|
17
|
+
.int()
|
|
18
|
+
.positive()
|
|
19
|
+
.max(scope.throughRevision)
|
|
20
|
+
.parse(options.cursor ?? 1);
|
|
21
|
+
const count = z
|
|
22
|
+
.number()
|
|
23
|
+
.int()
|
|
24
|
+
.positive()
|
|
25
|
+
.max(32)
|
|
26
|
+
.parse(options.maxRevisions ?? 32);
|
|
27
|
+
const budget = {
|
|
28
|
+
remaining: z
|
|
29
|
+
.number()
|
|
30
|
+
.int()
|
|
31
|
+
.positive()
|
|
32
|
+
.max(8 * 1024 * 1024)
|
|
33
|
+
.parse(options.maxReadBytes ?? 8 * 1024 * 1024),
|
|
34
|
+
bytesRead: 0,
|
|
35
|
+
signal,
|
|
36
|
+
};
|
|
37
|
+
const unavailable = new Set();
|
|
38
|
+
const read = async (revision) => {
|
|
39
|
+
signal?.throwIfAborted();
|
|
40
|
+
try {
|
|
41
|
+
const state = await load(revision, budget);
|
|
42
|
+
if (state.tenantId !== scope.tenantId ||
|
|
43
|
+
state.agentKey !== scope.agentKey ||
|
|
44
|
+
state.revision !== revision)
|
|
45
|
+
throw new Error('Resident activity scope mismatch.');
|
|
46
|
+
return state;
|
|
47
|
+
}
|
|
48
|
+
catch (error) {
|
|
49
|
+
signal?.throwIfAborted();
|
|
50
|
+
if (error instanceof ResidentHistoryPageLimit)
|
|
51
|
+
throw error;
|
|
52
|
+
unavailable.add(revision);
|
|
53
|
+
return null;
|
|
54
|
+
}
|
|
55
|
+
};
|
|
56
|
+
const admissions = [];
|
|
57
|
+
const settlements = [];
|
|
58
|
+
const archivedPursuits = [];
|
|
59
|
+
let through = from - 1;
|
|
60
|
+
try {
|
|
61
|
+
let before = from > 1 ? await read(from - 1) : null;
|
|
62
|
+
for (let revision = from; revision <= Math.min(scope.throughRevision, from + count - 1); revision++) {
|
|
63
|
+
const after = await read(revision);
|
|
64
|
+
if (before && after) {
|
|
65
|
+
for (const pursuit of after.pursuits) {
|
|
66
|
+
const previous = before.pursuits.find((p) => p.id === pursuit.id)?.state;
|
|
67
|
+
const current = pursuit.state;
|
|
68
|
+
if (!previous)
|
|
69
|
+
continue;
|
|
70
|
+
if (current.revision === previous.revision + 1 &&
|
|
71
|
+
previous.phase !== 'running' &&
|
|
72
|
+
current.phase === 'running' &&
|
|
73
|
+
current.claimId &&
|
|
74
|
+
current.stepsAdmitted === previous.stepsAdmitted + 1) {
|
|
75
|
+
admissions.push({
|
|
76
|
+
revision,
|
|
77
|
+
pursuitRevision: current.revision,
|
|
78
|
+
pursuitId: pursuit.id,
|
|
79
|
+
claimId: current.claimId,
|
|
80
|
+
step: current.stepsAdmitted,
|
|
81
|
+
objective: current.objective,
|
|
82
|
+
});
|
|
83
|
+
}
|
|
84
|
+
if (current.revision === previous.revision + 1 &&
|
|
85
|
+
previous.phase === 'running' &&
|
|
86
|
+
previous.claimId &&
|
|
87
|
+
current.phase !== 'running' &&
|
|
88
|
+
current.claimId === null &&
|
|
89
|
+
current.stepsAdmitted === previous.stepsAdmitted) {
|
|
90
|
+
settlements.push({
|
|
91
|
+
revision,
|
|
92
|
+
pursuitId: pursuit.id,
|
|
93
|
+
claimId: previous.claimId,
|
|
94
|
+
outcome: current.phase === 'waiting' ? 'wait' : current.phase,
|
|
95
|
+
});
|
|
96
|
+
}
|
|
97
|
+
}
|
|
98
|
+
if (after.archiveHead === revision)
|
|
99
|
+
for (const pursuit of before.pursuits)
|
|
100
|
+
if (!after.pursuits.some((p) => p.id === pursuit.id))
|
|
101
|
+
archivedPursuits.push(pursuit.id);
|
|
102
|
+
}
|
|
103
|
+
through = revision;
|
|
104
|
+
before = after;
|
|
105
|
+
}
|
|
106
|
+
}
|
|
107
|
+
catch (error) {
|
|
108
|
+
if (!(error instanceof ResidentHistoryPageLimit))
|
|
109
|
+
throw error;
|
|
110
|
+
}
|
|
111
|
+
return {
|
|
112
|
+
scope,
|
|
113
|
+
fromRevision: from,
|
|
114
|
+
throughRevision: through,
|
|
115
|
+
nextCursor: through < scope.throughRevision ? through + 1 : null,
|
|
116
|
+
scannedBytes: budget.bytesRead,
|
|
117
|
+
unavailableRevisions: [...unavailable],
|
|
118
|
+
admissions,
|
|
119
|
+
settlements,
|
|
120
|
+
archivedPursuits,
|
|
121
|
+
};
|
|
122
|
+
},
|
|
123
|
+
};
|
|
124
|
+
}
|
|
125
|
+
//# sourceMappingURL=activity.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"activity.js","sourceRoot":"","sources":["../../../src/manager/resident/activity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,wBAAwB,EAAkC,MAAM,mBAAmB,CAAA;AAqD5F,sDAAsD;AACtD,MAAM,UAAU,4BAA4B,CAC3C,UAAiC,EACjC,IAA2F;IAE3F,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAC1B,CAAC;SACC,MAAM,CAAC;QACP,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE;QAC3B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QACpC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;KACnD,CAAC;SACD,KAAK,CAAC,UAAU,CAAC,CACnB,CAAA;IACD,OAAO;QACN,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,UAAmC,EAAE,EAAE,MAAoB;YACrE,MAAM,IAAI,GAAG,CAAC;iBACZ,MAAM,EAAE;iBACR,GAAG,EAAE;iBACL,QAAQ,EAAE;iBACV,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC;iBAC1B,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAA;YAC5B,MAAM,KAAK,GAAG,CAAC;iBACb,MAAM,EAAE;iBACR,GAAG,EAAE;iBACL,QAAQ,EAAE;iBACV,GAAG,CAAC,EAAE,CAAC;iBACP,KAAK,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAA;YACnC,MAAM,MAAM,GAA8B;gBACzC,SAAS,EAAE,CAAC;qBACV,MAAM,EAAE;qBACR,GAAG,EAAE;qBACL,QAAQ,EAAE;qBACV,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;qBACpB,KAAK,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;gBAChD,SAAS,EAAE,CAAC;gBACZ,MAAM;aACN,CAAA;YACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;YACrC,MAAM,IAAI,GAAG,KAAK,EAAE,QAAgB,EAAE,EAAE;gBACvC,MAAM,EAAE,cAAc,EAAE,CAAA;gBACxB,IAAI,CAAC;oBACJ,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;oBAC1C,IACC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;wBACjC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;wBACjC,KAAK,CAAC,QAAQ,KAAK,QAAQ;wBAE3B,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;oBACrD,OAAO,KAAK,CAAA;gBACb,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAChB,MAAM,EAAE,cAAc,EAAE,CAAA;oBACxB,IAAI,KAAK,YAAY,wBAAwB;wBAAE,MAAM,KAAK,CAAA;oBAC1D,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;oBACzB,OAAO,IAAI,CAAA;gBACZ,CAAC;YACF,CAAC,CAAA;YACD,MAAM,UAAU,GAAwB,EAAE,CAAA;YAC1C,MAAM,WAAW,GAAyB,EAAE,CAAA;YAC5C,MAAM,gBAAgB,GAAa,EAAE,CAAA;YACrC,IAAI,OAAO,GAAG,IAAI,GAAG,CAAC,CAAA;YACtB,IAAI,CAAC;gBACJ,IAAI,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;gBACnD,KACC,IAAI,QAAQ,GAAG,IAAI,EACnB,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC,EAC7D,QAAQ,EAAE,EACT,CAAC;oBACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAA;oBAClC,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;wBACrB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;4BACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAA;4BACxE,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAA;4BAC7B,IAAI,CAAC,QAAQ;gCAAE,SAAQ;4BACvB,IACC,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,GAAG,CAAC;gCAC1C,QAAQ,CAAC,KAAK,KAAK,SAAS;gCAC5B,OAAO,CAAC,KAAK,KAAK,SAAS;gCAC3B,OAAO,CAAC,OAAO;gCACf,OAAO,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,GAAG,CAAC,EACnD,CAAC;gCACF,UAAU,CAAC,IAAI,CAAC;oCACf,QAAQ;oCACR,eAAe,EAAE,OAAO,CAAC,QAAQ;oCACjC,SAAS,EAAE,OAAO,CAAC,EAAE;oCACrB,OAAO,EAAE,OAAO,CAAC,OAAO;oCACxB,IAAI,EAAE,OAAO,CAAC,aAAa;oCAC3B,SAAS,EAAE,OAAO,CAAC,SAAS;iCAC5B,CAAC,CAAA;4BACH,CAAC;4BACD,IACC,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,GAAG,CAAC;gCAC1C,QAAQ,CAAC,KAAK,KAAK,SAAS;gCAC5B,QAAQ,CAAC,OAAO;gCAChB,OAAO,CAAC,KAAK,KAAK,SAAS;gCAC3B,OAAO,CAAC,OAAO,KAAK,IAAI;gCACxB,OAAO,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,EAC/C,CAAC;gCACF,WAAW,CAAC,IAAI,CAAC;oCAChB,QAAQ;oCACR,SAAS,EAAE,OAAO,CAAC,EAAE;oCACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;oCACzB,OAAO,EAAE,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK;iCAC7D,CAAC,CAAA;4BACH,CAAC;wBACF,CAAC;wBACD,IAAI,KAAK,CAAC,WAAW,KAAK,QAAQ;4BACjC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;gCACpC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC;oCACnD,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;oBACrC,CAAC;oBACD,OAAO,GAAG,QAAQ,CAAA;oBAClB,MAAM,GAAG,KAAK,CAAA;gBACf,CAAC;YACF,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,IAAI,CAAC,CAAC,KAAK,YAAY,wBAAwB,CAAC;oBAAE,MAAM,KAAK,CAAA;YAC9D,CAAC;YACD,OAAO;gBACN,KAAK;gBACL,YAAY,EAAE,IAAI;gBAClB,eAAe,EAAE,OAAO;gBACxB,UAAU,EAAE,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI;gBAChE,YAAY,EAAE,MAAM,CAAC,SAAS;gBAC9B,oBAAoB,EAAE,CAAC,GAAG,WAAW,CAAC;gBACtC,UAAU;gBACV,WAAW;gBACX,gBAAgB;aAChB,CAAA;QACF,CAAC;KACD,CAAA;AACF,CAAC"}
|
|
@@ -0,0 +1,137 @@
|
|
|
1
|
+
import type { TenantId } from '../../types/ids/index.js';
|
|
2
|
+
import { type ResidentDecision, type ResidentExecutionStore, type ResidentState } from './store.js';
|
|
3
|
+
import { type ResidentActivitySource } from './activity.js';
|
|
4
|
+
import { type ResidentHistorySource } from './history.js';
|
|
5
|
+
import { type ResidentFeedback, type ResidentObservation } from './initiative.js';
|
|
6
|
+
import { type ResidentLearningEvidence, type ResidentLearningState, type ResidentProfileUpdate, type ResidentSkillCandidate, type ResidentSkillEvaluation } from './learning.js';
|
|
7
|
+
import { type ResidentDeliveryOutcome, type ResidentMessageInput, type ResidentOutboxMessage } from './outbox.js';
|
|
8
|
+
import { type ResidentProposal, type ResidentProposalLimits, type ResidentProposalOrigin } from './proposal.js';
|
|
9
|
+
/** @experimental One pursuit shares its agent's identity, but has its own lifecycle. */
|
|
10
|
+
export interface ResidentPursuit {
|
|
11
|
+
readonly id: string;
|
|
12
|
+
readonly state: ResidentState;
|
|
13
|
+
readonly feedback?: ResidentFeedback;
|
|
14
|
+
readonly origin?: ResidentProposalOrigin;
|
|
15
|
+
/** Archived direct children still consume the parent's lifetime admission bound. */
|
|
16
|
+
readonly retiredChildren?: number;
|
|
17
|
+
}
|
|
18
|
+
/** @experimental Bounded shared admission record; at most one pursuit may be running. */
|
|
19
|
+
export interface ResidentAgendaState {
|
|
20
|
+
readonly tenantId: string;
|
|
21
|
+
readonly agentKey: string;
|
|
22
|
+
readonly identity: string;
|
|
23
|
+
readonly revision: number;
|
|
24
|
+
readonly paused: boolean;
|
|
25
|
+
/** Durable pause requests; absent means zero. Resuming never resets this generation. */
|
|
26
|
+
readonly pauseGeneration?: number;
|
|
27
|
+
readonly pursuits: readonly ResidentPursuit[];
|
|
28
|
+
readonly outbox?: readonly ResidentOutboxMessage[];
|
|
29
|
+
readonly archiveHead?: number;
|
|
30
|
+
readonly learning?: ResidentLearningState;
|
|
31
|
+
}
|
|
32
|
+
/** @experimental Explicit terminal entries to retire from active capacity together. */
|
|
33
|
+
export interface ResidentArchiveRequest {
|
|
34
|
+
readonly pursuitIds?: readonly string[];
|
|
35
|
+
readonly messageIds?: readonly string[];
|
|
36
|
+
}
|
|
37
|
+
/** @experimental A committed removal, whose immutable predecessor preserves the full records. */
|
|
38
|
+
export interface ResidentArchiveEntry {
|
|
39
|
+
readonly revision: number;
|
|
40
|
+
readonly pursuits: readonly ResidentPursuit[];
|
|
41
|
+
readonly messages: readonly ResidentOutboxMessage[];
|
|
42
|
+
}
|
|
43
|
+
/** @experimental Pages count archive events; each event contains at most 32 pursuits and 128 messages. */
|
|
44
|
+
export interface ResidentArchivePage {
|
|
45
|
+
readonly entries: readonly ResidentArchiveEntry[];
|
|
46
|
+
readonly nextBeforeRevision: number | null;
|
|
47
|
+
}
|
|
48
|
+
/** @experimental The cursor is the next archive-event revision returned by a previous page. */
|
|
49
|
+
export interface ResidentArchiveListOptions {
|
|
50
|
+
readonly beforeRevision?: number;
|
|
51
|
+
/** Number of archive events to inspect; defaults to 8 and cannot exceed 32. */
|
|
52
|
+
readonly limit?: number;
|
|
53
|
+
}
|
|
54
|
+
/** @experimental Atomic whole-agent admission plus independently addressable pursuits. */
|
|
55
|
+
export interface ResidentAgendaStore {
|
|
56
|
+
read(): Promise<ResidentAgendaState | null>;
|
|
57
|
+
create(identity: string): Promise<ResidentAgendaState>;
|
|
58
|
+
add(expected: ResidentAgendaState, objective: string): Promise<ResidentPursuit>;
|
|
59
|
+
/** Each committed true request advances pauseGeneration, even when already paused. */
|
|
60
|
+
setPaused(expected: ResidentAgendaState, paused: boolean): Promise<ResidentAgendaState>;
|
|
61
|
+
wake(id: string, expected: ResidentState, reason: string, now: number): Promise<ResidentState>;
|
|
62
|
+
execution(id: string): ResidentExecutionStore;
|
|
63
|
+
/** Optional atomic extensions required by a configured resident initiative host. */
|
|
64
|
+
executionAt?(id: string, expected: ResidentAgendaState): ResidentExecutionStore;
|
|
65
|
+
settleObserved?(id: string, expected: ResidentState, decision: ResidentDecision, observation: ResidentObservation, now: number): Promise<ResidentState>;
|
|
66
|
+
/** Optional atomic settlement and outbound intent; no transport runs during persistence. */
|
|
67
|
+
settleWithMessage?(id: string, expected: ResidentState, decision: ResidentDecision, message: ResidentMessageInput, now: number, observation?: ResidentObservation): Promise<ResidentState>;
|
|
68
|
+
enqueueMessage?(expected: ResidentAgendaState, input: ResidentMessageInput): Promise<ResidentOutboxMessage>;
|
|
69
|
+
claimMessage?(expected: ResidentAgendaState, id: string, now: number): Promise<ResidentOutboxMessage>;
|
|
70
|
+
settleMessage?(expected: ResidentOutboxMessage, outcome: ResidentDeliveryOutcome, now: number): Promise<ResidentOutboxMessage>;
|
|
71
|
+
}
|
|
72
|
+
/**
|
|
73
|
+
* @experimental One immutable revision contains identity, pause state and all
|
|
74
|
+
* pursuits. Admission therefore serializes this agent even across processes
|
|
75
|
+
* choosing different pursuits. Trusted local filesystems only; no lease expiry.
|
|
76
|
+
*/
|
|
77
|
+
export declare class DiskResidentAgenda implements ResidentAgendaStore {
|
|
78
|
+
private readonly records;
|
|
79
|
+
private readonly historyRecords;
|
|
80
|
+
private readonly location;
|
|
81
|
+
private readonly tenantId;
|
|
82
|
+
private readonly agentKey;
|
|
83
|
+
private readonly historyRoot;
|
|
84
|
+
private readonly historyRevisions;
|
|
85
|
+
constructor(root: string, scope: {
|
|
86
|
+
tenantId: TenantId;
|
|
87
|
+
agentKey: string;
|
|
88
|
+
});
|
|
89
|
+
private checked;
|
|
90
|
+
read(): Promise<ResidentAgendaState | null>;
|
|
91
|
+
/** Read one authoritative immutable commit, never the compatibility projection. */
|
|
92
|
+
readRevision(revision: number): Promise<ResidentAgendaState | null>;
|
|
93
|
+
/**
|
|
94
|
+
* Bind bounded historical reads to this pursuit and a host-selected upper
|
|
95
|
+
* agenda revision (normally ResidentStepContext.agendaRevision). No I/O or
|
|
96
|
+
* inference occurs until search/read; the boundary never advances itself.
|
|
97
|
+
*/
|
|
98
|
+
history(pursuit: ResidentState, throughRevision: number): ResidentHistorySource;
|
|
99
|
+
/** @experimental Bounded admission/settlement history, including archived pursuits. */
|
|
100
|
+
activity(throughRevision: number): ResidentActivitySource;
|
|
101
|
+
private retire;
|
|
102
|
+
/** Free active slots while preserving full records in the immutable predecessor commit. */
|
|
103
|
+
archive(expected: ResidentAgendaState, input: ResidentArchiveRequest): Promise<ResidentAgendaState>;
|
|
104
|
+
private archiveEntry;
|
|
105
|
+
/** Bounded archive-event pages; exact-ID deduplication may inspect the complete chain. */
|
|
106
|
+
listArchived(options?: ResidentArchiveListOptions): Promise<ResidentArchivePage>;
|
|
107
|
+
private archivedMatch;
|
|
108
|
+
private assertArchivedIntent;
|
|
109
|
+
create(identity: string): Promise<ResidentAgendaState>;
|
|
110
|
+
private change;
|
|
111
|
+
private pursuit;
|
|
112
|
+
add(expected: ResidentAgendaState, objective: string): Promise<ResidentPursuit>;
|
|
113
|
+
/** Host-approved proposal admission is atomic and inert until a future invocation. */
|
|
114
|
+
admitProposal(expected: ResidentAgendaState, input: ResidentProposal, limits: ResidentProposalLimits): Promise<ResidentPursuit>;
|
|
115
|
+
setPaused(expected: ResidentAgendaState, paused: boolean): Promise<ResidentAgendaState>;
|
|
116
|
+
private learn;
|
|
117
|
+
/** Append a host-evidenced correction only while pursuit admission is idle. */
|
|
118
|
+
updateProfile(expected: ResidentAgendaState, input: ResidentProfileUpdate): Promise<ResidentAgendaState>;
|
|
119
|
+
/** Bind evaluated guidance to the current learning version and an idle agenda. */
|
|
120
|
+
promoteSkill(expected: ResidentAgendaState, candidate: ResidentSkillCandidate, evaluation: ResidentSkillEvaluation, evidence: ResidentLearningEvidence): Promise<ResidentAgendaState>;
|
|
121
|
+
/** Restore one skill from an immutable agenda revision while retaining the current profile. */
|
|
122
|
+
rollbackSkill(expected: ResidentAgendaState, name: string, fromRevision: number, evidence: ResidentLearningEvidence): Promise<ResidentAgendaState>;
|
|
123
|
+
private updatePursuit;
|
|
124
|
+
wake(id: string, expected: ResidentState, reason: string, now: number): Promise<ResidentState>;
|
|
125
|
+
settleObserved(id: string, expected: ResidentState, decision: ResidentDecision, observation: ResidentObservation, now: number): Promise<ResidentState>;
|
|
126
|
+
/** Commit the step, observation and message intent together; delivery is separate. */
|
|
127
|
+
settleWithMessage(id: string, expected: ResidentState, decision: ResidentDecision, message: ResidentMessageInput, now: number, observation?: ResidentObservation): Promise<ResidentState>;
|
|
128
|
+
/** Enqueue host-authorized intent without invoking a transport or changing pursuit state. */
|
|
129
|
+
enqueueMessage(expected: ResidentAgendaState, input: ResidentMessageInput): Promise<ResidentOutboxMessage>;
|
|
130
|
+
/** Admit one delivery against the same agenda snapshot used by the host's gate. */
|
|
131
|
+
claimMessage(expected: ResidentAgendaState, id: string, now: number): Promise<ResidentOutboxMessage>;
|
|
132
|
+
/** Settle the exact delivery claim; unrelated agenda writes never repeat the transport. */
|
|
133
|
+
settleMessage(expected: ResidentOutboxMessage, outcome: ResidentDeliveryOutcome, now: number): Promise<ResidentOutboxMessage>;
|
|
134
|
+
executionAt(id: string, expected: ResidentAgendaState): ResidentExecutionStore;
|
|
135
|
+
execution(id: string): ResidentExecutionStore;
|
|
136
|
+
}
|
|
137
|
+
//# sourceMappingURL=agenda.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"agenda.d.ts","sourceRoot":"","sources":["../../../src/manager/resident/agenda.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAEN,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,aAAa,EAOlB,MAAM,YAAY,CAAA;AAEnB,OAAO,EAAE,KAAK,sBAAsB,EAAgC,MAAM,eAAe,CAAA;AAEzF,OAAO,EAAE,KAAK,qBAAqB,EAA+B,MAAM,cAAc,CAAA;AACtF,OAAO,EACN,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EAKxB,MAAM,iBAAiB,CAAA;AACxB,OAAO,EACN,KAAK,wBAAwB,EAC7B,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC3B,KAAK,uBAAuB,EAO5B,MAAM,eAAe,CAAA;AACtB,OAAO,EACN,KAAK,uBAAuB,EAC5B,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAO1B,MAAM,aAAa,CAAA;AACpB,OAAO,EACN,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAK3B,MAAM,eAAe,CAAA;AAyEtB,wFAAwF;AACxF,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAA;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,sBAAsB,CAAA;IACxC,oFAAoF;IACpF,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CACjC;AAED,yFAAyF;AACzF,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,wFAAwF;IACxF,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAA;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,qBAAqB,EAAE,CAAA;IAClD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAA;CACzC;AAED,uFAAuF;AACvF,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CACvC;AAED,iGAAiG;AACjG,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAA;IAC7C,QAAQ,CAAC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAA;CACnD;AAED,0GAA0G;AAC1G,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAA;IACjD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAA;CAC1C;AAED,+FAA+F;AAC/F,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACvB;AAmBD,0FAA0F;AAC1F,MAAM,WAAW,mBAAmB;IACnC,IAAI,IAAI,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC,CAAA;IAC3C,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAA;IACtD,GAAG,CAAC,QAAQ,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAA;IAC/E,sFAAsF;IACtF,SAAS,CAAC,QAAQ,EAAE,mBAAmB,EAAE,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAA;IACvF,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CAAA;IAC9F,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,sBAAsB,CAAA;IAC7C,oFAAoF;IACpF,WAAW,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,mBAAmB,GAAG,sBAAsB,CAAA;IAC/E,cAAc,CAAC,CACd,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,gBAAgB,EAC1B,WAAW,EAAE,mBAAmB,EAChC,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,aAAa,CAAC,CAAA;IACzB,4FAA4F;IAC5F,iBAAiB,CAAC,CACjB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,EAAE,oBAAoB,EAC7B,GAAG,EAAE,MAAM,EACX,WAAW,CAAC,EAAE,mBAAmB,GAC/B,OAAO,CAAC,aAAa,CAAC,CAAA;IACzB,cAAc,CAAC,CACd,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,oBAAoB,GACzB,OAAO,CAAC,qBAAqB,CAAC,CAAA;IACjC,YAAY,CAAC,CACZ,QAAQ,EAAE,mBAAmB,EAC7B,EAAE,EAAE,MAAM,EACV,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,qBAAqB,CAAC,CAAA;IACjC,aAAa,CAAC,CACb,QAAQ,EAAE,qBAAqB,EAC/B,OAAO,EAAE,uBAAuB,EAChC,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,qBAAqB,CAAC,CAAA;CACjC;AAED;;;;GAIG;AACH,qBAAa,kBAAmB,YAAW,mBAAmB;IAC7D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAIvB;IACD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA+D;IAC9F,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAA;IACzB,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAU;IACnC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAQ;IACjC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAQ;IACpC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAQ;gBAE7B,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;QAAE,QAAQ,EAAE,QAAQ,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE;IAazE,OAAO,CAAC,OAAO;IAuBT,IAAI,IAAI,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAKjD,mFAAmF;IAC7E,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAWzE;;;;OAIG;IACH,OAAO,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,GAAG,qBAAqB;IAwB/E,uFAAuF;IACvF,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,sBAAsB;IAczD,OAAO,CAAC,MAAM;IAqCd,2FAA2F;IACrF,OAAO,CACZ,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,sBAAsB,GAC3B,OAAO,CAAC,mBAAmB,CAAC;YAKjB,YAAY;IAoC1B,0FAA0F;IACpF,YAAY,CAAC,OAAO,GAAE,0BAA+B,GAAG,OAAO,CAAC,mBAAmB,CAAC;YAqB5E,aAAa;IAc3B,OAAO,CAAC,oBAAoB;IAetB,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC;YAe9C,MAAM;IAcpB,OAAO,CAAC,OAAO;IAwBT,GAAG,CAAC,QAAQ,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;IAMrF,sFAAsF;IAChF,aAAa,CAClB,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,sBAAsB,GAC5B,OAAO,CAAC,eAAe,CAAC;IA0BrB,SAAS,CAAC,QAAQ,EAAE,mBAAmB,EAAE,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,mBAAmB,CAAC;YAS/E,KAAK;IAYnB,+EAA+E;IACzE,aAAa,CAClB,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,qBAAqB,GAC1B,OAAO,CAAC,mBAAmB,CAAC;IAM/B,kFAAkF;IAC5E,YAAY,CACjB,QAAQ,EAAE,mBAAmB,EAC7B,SAAS,EAAE,sBAAsB,EACjC,UAAU,EAAE,uBAAuB,EACnC,QAAQ,EAAE,wBAAwB,GAChC,OAAO,CAAC,mBAAmB,CAAC;IAM/B,+FAA+F;IACzF,aAAa,CAClB,QAAQ,EAAE,mBAAmB,EAC7B,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,wBAAwB,GAChC,OAAO,CAAC,mBAAmB,CAAC;YAkBjB,aAAa;IAiFrB,IAAI,CACT,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,aAAa,CAAC;IAInB,cAAc,CACnB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,gBAAgB,EAC1B,WAAW,EAAE,mBAAmB,EAChC,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,aAAa,CAAC;IAYzB,sFAAsF;IAChF,iBAAiB,CACtB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,EAAE,oBAAoB,EAC7B,GAAG,EAAE,MAAM,EACX,WAAW,CAAC,EAAE,mBAAmB,GAC/B,OAAO,CAAC,aAAa,CAAC;IAkBzB,6FAA6F;IACvF,cAAc,CACnB,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,oBAAoB,GACzB,OAAO,CAAC,qBAAqB,CAAC;IAoBjC,mFAAmF;IAC7E,YAAY,CACjB,QAAQ,EAAE,mBAAmB,EAC7B,EAAE,EAAE,MAAM,EACV,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,qBAAqB,CAAC;IAmBjC,2FAA2F;IACrF,aAAa,CAClB,QAAQ,EAAE,qBAAqB,EAC/B,OAAO,EAAE,uBAAuB,EAChC,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,qBAAqB,CAAC;IAoCjC,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,mBAAmB,GAAG,sBAAsB;IAmB9E,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,sBAAsB;CAU7C"}
|