@namzu/sdk 38.2.1 → 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 +700 -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 +13 -1
- package/dist/manager/resident/agenda.d.ts.map +1 -1
- package/dist/manager/resident/agenda.js +40 -5
- package/dist/manager/resident/agenda.js.map +1 -1
- 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/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/initiative.d.ts.map +1 -1
- package/dist/manager/resident/initiative.js +11 -3
- package/dist/manager/resident/initiative.js.map +1 -1
- 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 +246 -3
- package/dist/manager/resident/learning.d.ts.map +1 -1
- package/dist/manager/resident/learning.js +96 -6
- package/dist/manager/resident/learning.js.map +1 -1
- package/dist/manager/resident/outbox.d.ts +4 -4
- package/dist/manager/resident/store.d.ts +37 -4
- package/dist/manager/resident/store.d.ts.map +1 -1
- package/dist/manager/resident/store.js +27 -3
- package/dist/manager/resident/store.js.map +1 -1
- 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/index.d.ts +2 -0
- package/dist/prompt/index.d.ts.map +1 -1
- package/dist/prompt/index.js +1 -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 +8 -1
- package/dist/prompt/resident-step.d.ts.map +1 -1
- package/dist/prompt/resident-step.js +65 -4
- package/dist/prompt/resident-step.js.map +1 -1
- 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 +13 -3
- package/dist/public-runtime.d.ts.map +1 -1
- package/dist/public-runtime.js +12 -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 +15 -3
- package/dist/public-types.d.ts.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 +1 -0
- package/dist/runtime/query/events.d.ts.map +1 -1
- package/dist/runtime/query/events.js +18 -0
- 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 +39 -24
- 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/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 +59 -5
- package/src/manager/resident/consumption.ts +311 -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/initiative.ts +13 -3
- 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 +132 -8
- package/src/manager/resident/store.ts +31 -3
- 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/index.ts +2 -0
- package/src/prompt/resident-learning.ts +143 -0
- package/src/prompt/resident-step.ts +83 -3
- 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 +30 -0
- package/src/public-tools.ts +3 -0
- package/src/public-types.ts +98 -0
- 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 +22 -0
- 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 +49 -25
- 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/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"}
|
|
@@ -1,5 +1,7 @@
|
|
|
1
1
|
import type { TenantId } from '../../types/ids/index.js';
|
|
2
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';
|
|
3
5
|
import { type ResidentFeedback, type ResidentObservation } from './initiative.js';
|
|
4
6
|
import { type ResidentLearningEvidence, type ResidentLearningState, type ResidentProfileUpdate, type ResidentSkillCandidate, type ResidentSkillEvaluation } from './learning.js';
|
|
5
7
|
import { type ResidentDeliveryOutcome, type ResidentMessageInput, type ResidentOutboxMessage } from './outbox.js';
|
|
@@ -74,10 +76,12 @@ export interface ResidentAgendaStore {
|
|
|
74
76
|
*/
|
|
75
77
|
export declare class DiskResidentAgenda implements ResidentAgendaStore {
|
|
76
78
|
private readonly records;
|
|
77
|
-
private readonly
|
|
79
|
+
private readonly historyRecords;
|
|
78
80
|
private readonly location;
|
|
79
81
|
private readonly tenantId;
|
|
80
82
|
private readonly agentKey;
|
|
83
|
+
private readonly historyRoot;
|
|
84
|
+
private readonly historyRevisions;
|
|
81
85
|
constructor(root: string, scope: {
|
|
82
86
|
tenantId: TenantId;
|
|
83
87
|
agentKey: string;
|
|
@@ -86,6 +90,14 @@ export declare class DiskResidentAgenda implements ResidentAgendaStore {
|
|
|
86
90
|
read(): Promise<ResidentAgendaState | null>;
|
|
87
91
|
/** Read one authoritative immutable commit, never the compatibility projection. */
|
|
88
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;
|
|
89
101
|
private retire;
|
|
90
102
|
/** Free active slots while preserving full records in the immutable predecessor commit. */
|
|
91
103
|
archive(expected: ResidentAgendaState, input: ResidentArchiveRequest): Promise<ResidentAgendaState>;
|
|
@@ -1 +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,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;
|
|
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"}
|
|
@@ -1,12 +1,15 @@
|
|
|
1
1
|
import { randomUUID } from 'node:crypto';
|
|
2
|
-
import { join } from 'node:path';
|
|
2
|
+
import { join, resolve } from 'node:path';
|
|
3
3
|
import { isDeepStrictEqual } from 'node:util';
|
|
4
4
|
import { z } from 'zod';
|
|
5
5
|
import { DiskRecordStore } from '../../store/kv/record-store.js';
|
|
6
6
|
import { DiskRevisionRecordStore } from '../../store/kv/revision-record-store.js';
|
|
7
|
-
import { defineSchema } from '../../store/schema.js';
|
|
7
|
+
import { defineSchema, migrate } from '../../store/schema.js';
|
|
8
8
|
import { asTenantId } from '../../utils/id.js';
|
|
9
9
|
import { ResidentConflictError, claimResidentState, residentDecisionSchema, residentKeySegment, residentStateSchema, settleResidentState, wakeResidentState, } from './store.js';
|
|
10
|
+
import { createResidentActivitySource } from './activity.js';
|
|
11
|
+
import { readResidentHistoryRecord } from './history-disk.js';
|
|
12
|
+
import { createResidentHistorySource } from './history.js';
|
|
10
13
|
import { freezeResidentFeedback, observeResidentStep, residentFeedbackSchema, residentObservationSchema, } from './initiative.js';
|
|
11
14
|
import { freezeResidentLearning, promoteResidentSkill, residentLearningEvidenceSchema, residentLearningSchema, restoreResidentSkill, reviseResidentProfile, } from './learning.js';
|
|
12
15
|
import { appendResidentMessage, claimResidentOutboxMessage, residentDeliveryOutcomeSchema, residentMessageInputSchema, residentOutboxMessageSchema, settleResidentOutboxMessage, } from './outbox.js';
|
|
@@ -67,12 +70,13 @@ const agendaSchema = z
|
|
|
67
70
|
});
|
|
68
71
|
const agendaRecordSchema = defineSchema({
|
|
69
72
|
kind: 'resident-agenda',
|
|
70
|
-
current:
|
|
73
|
+
current: 6,
|
|
71
74
|
migrations: {
|
|
72
75
|
1: (record) => record,
|
|
73
76
|
2: (record) => record,
|
|
74
77
|
3: (record) => record,
|
|
75
78
|
4: (record) => record,
|
|
79
|
+
5: (record) => record,
|
|
76
80
|
},
|
|
77
81
|
});
|
|
78
82
|
const archiveRequestSchema = z.object({
|
|
@@ -86,10 +90,12 @@ const archiveRequestSchema = z.object({
|
|
|
86
90
|
*/
|
|
87
91
|
export class DiskResidentAgenda {
|
|
88
92
|
records = new DiskRevisionRecordStore(agendaRecordSchema, 'resident agenda', (record) => record.revision);
|
|
89
|
-
|
|
93
|
+
historyRecords = new DiskRecordStore(agendaRecordSchema);
|
|
90
94
|
location;
|
|
91
95
|
tenantId;
|
|
92
96
|
agentKey;
|
|
97
|
+
historyRoot;
|
|
98
|
+
historyRevisions;
|
|
93
99
|
constructor(root, scope) {
|
|
94
100
|
this.tenantId = asTenantId(scope.tenantId);
|
|
95
101
|
this.agentKey = z.string().min(1).max(200).parse(scope.agentKey);
|
|
@@ -99,6 +105,8 @@ export class DiskResidentAgenda {
|
|
|
99
105
|
revisionsDir: join(directory, 'revisions'),
|
|
100
106
|
publishLegacyProjection: false,
|
|
101
107
|
};
|
|
108
|
+
this.historyRoot = resolve(root);
|
|
109
|
+
this.historyRevisions = resolve(this.location.revisionsDir);
|
|
102
110
|
}
|
|
103
111
|
checked(record) {
|
|
104
112
|
const agenda = agendaSchema.parse(record);
|
|
@@ -125,7 +133,7 @@ export class DiskResidentAgenda {
|
|
|
125
133
|
/** Read one authoritative immutable commit, never the compatibility projection. */
|
|
126
134
|
async readRevision(revision) {
|
|
127
135
|
z.number().int().positive().safe().parse(revision);
|
|
128
|
-
const record = await this.
|
|
136
|
+
const record = await this.historyRecords.read(join(this.location.revisionsDir, `${revision}.json`));
|
|
129
137
|
if (record === null)
|
|
130
138
|
return null;
|
|
131
139
|
const state = this.checked(record);
|
|
@@ -133,6 +141,33 @@ export class DiskResidentAgenda {
|
|
|
133
141
|
throw new Error('Agenda revision filename and body disagree.');
|
|
134
142
|
return state;
|
|
135
143
|
}
|
|
144
|
+
/**
|
|
145
|
+
* Bind bounded historical reads to this pursuit and a host-selected upper
|
|
146
|
+
* agenda revision (normally ResidentStepContext.agendaRevision). No I/O or
|
|
147
|
+
* inference occurs until search/read; the boundary never advances itself.
|
|
148
|
+
*/
|
|
149
|
+
history(pursuit, throughRevision) {
|
|
150
|
+
const state = residentStateSchema.parse(pursuit);
|
|
151
|
+
if (state.tenantId !== this.tenantId || state.agentKey !== this.agentKey || !state.pursuitId)
|
|
152
|
+
throw new Error('History requires a pursuit belonging to this resident agenda.');
|
|
153
|
+
z.number().int().positive().safe().parse(throughRevision);
|
|
154
|
+
return createResidentHistorySource({
|
|
155
|
+
tenantId: this.tenantId,
|
|
156
|
+
agentKey: this.agentKey,
|
|
157
|
+
pursuitId: state.pursuitId,
|
|
158
|
+
throughRevision,
|
|
159
|
+
}, state, async (revision, budget) => {
|
|
160
|
+
const raw = await readResidentHistoryRecord(this.historyRoot, join(this.historyRevisions, `${revision}.json`), budget);
|
|
161
|
+
return this.checked(migrate(agendaRecordSchema, raw));
|
|
162
|
+
});
|
|
163
|
+
}
|
|
164
|
+
/** @experimental Bounded admission/settlement history, including archived pursuits. */
|
|
165
|
+
activity(throughRevision) {
|
|
166
|
+
return createResidentActivitySource({ tenantId: this.tenantId, agentKey: this.agentKey, throughRevision }, async (revision, budget) => {
|
|
167
|
+
const raw = await readResidentHistoryRecord(this.historyRoot, join(this.historyRevisions, `${revision}.json`), budget);
|
|
168
|
+
return this.checked(migrate(agendaRecordSchema, raw));
|
|
169
|
+
});
|
|
170
|
+
}
|
|
136
171
|
retire(state, input) {
|
|
137
172
|
const request = archiveRequestSchema.parse(input);
|
|
138
173
|
const pursuits = new Set(request.pursuitIds);
|