agentfootprint 12.2.0 → 13.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/CAPABILITIES.md +1 -0
- package/dist/adapters/code/output.js +8 -29
- package/dist/adapters/code/output.js.map +1 -1
- package/dist/adapters/observability/audit.js +151 -159
- package/dist/adapters/observability/audit.js.map +1 -1
- package/dist/adapters/observability/auditBounding.js +411 -0
- package/dist/adapters/observability/auditBounding.js.map +1 -0
- package/dist/adapters/observability/auditKeptByContract.js +107 -0
- package/dist/adapters/observability/auditKeptByContract.js.map +1 -0
- package/dist/adapters/observability/auditShapes.js +1731 -0
- package/dist/adapters/observability/auditShapes.js.map +1 -0
- package/dist/answer-account/account.js +92 -15
- package/dist/answer-account/account.js.map +1 -1
- package/dist/answer-account/facts/calls.js +7 -9
- package/dist/answer-account/facts/calls.js.map +1 -1
- package/dist/answer-account/facts/checked.js +2 -2
- package/dist/answer-account/facts/checked.js.map +1 -1
- package/dist/answer-account/facts/common.js +40 -7
- package/dist/answer-account/facts/common.js.map +1 -1
- package/dist/answer-account/facts/found.js +1 -1
- package/dist/answer-account/facts/found.js.map +1 -1
- package/dist/answer-account/facts/howSure.js +21 -3
- package/dist/answer-account/facts/howSure.js.map +1 -1
- package/dist/answer-account/facts/inView.js +3 -4
- package/dist/answer-account/facts/inView.js.map +1 -1
- package/dist/answer-account/facts/pausedLeg.js +1 -1
- package/dist/answer-account/facts/pausedLeg.js.map +1 -1
- package/dist/answer-account/facts/scripts.js +222 -0
- package/dist/answer-account/facts/scripts.js.map +1 -0
- package/dist/answer-account/facts/understood.js +5 -5
- package/dist/answer-account/facts/understood.js.map +1 -1
- package/dist/answer-account/pointerKey.js +1 -1
- package/dist/answer-account/shown.js +25 -7
- package/dist/answer-account/shown.js.map +1 -1
- package/dist/answer-account/signals.js +1 -1
- package/dist/answer-account/signals.js.map +1 -1
- package/dist/answer-account/size.js +152 -0
- package/dist/answer-account/size.js.map +1 -0
- package/dist/answer-account/templates.js +39 -1
- package/dist/answer-account/templates.js.map +1 -1
- package/dist/core/Agent.js +25 -1
- package/dist/core/Agent.js.map +1 -1
- package/dist/core/agent/AgentBuilder.js +85 -1
- package/dist/core/agent/AgentBuilder.js.map +1 -1
- package/dist/core/agent/arguments/ask.js +85 -2
- package/dist/core/agent/arguments/ask.js.map +1 -1
- package/dist/core/agent/arguments/partialWindow.js +120 -0
- package/dist/core/agent/arguments/partialWindow.js.map +1 -0
- package/dist/core/agent/assessment/assess.js +37 -0
- package/dist/core/agent/assessment/assess.js.map +1 -1
- package/dist/core/agent/assessment/compose.js +5 -1
- package/dist/core/agent/assessment/compose.js.map +1 -1
- package/dist/core/agent/assessment/reasons.js +7 -0
- package/dist/core/agent/assessment/reasons.js.map +1 -1
- package/dist/core/agent/assessment/witness.js +37 -4
- package/dist/core/agent/assessment/witness.js.map +1 -1
- package/dist/core/agent/buildAgentChart.js.map +1 -1
- package/dist/core/agent/evidence/codeRegions.js +279 -0
- package/dist/core/agent/evidence/codeRegions.js.map +1 -0
- package/dist/core/agent/evidence/gate.js +13 -2
- package/dist/core/agent/evidence/gate.js.map +1 -1
- package/dist/core/agent/evidence/recovery.js +11 -2
- package/dist/core/agent/evidence/recovery.js.map +1 -1
- package/dist/core/agent/findings/types.js.map +1 -1
- package/dist/core/agent/scripts/attachment.js +375 -0
- package/dist/core/agent/scripts/attachment.js.map +1 -0
- package/dist/core/agent/scripts/inert.js +88 -0
- package/dist/core/agent/scripts/inert.js.map +1 -0
- package/dist/core/agent/scripts/judge.js +41 -0
- package/dist/core/agent/scripts/judge.js.map +1 -0
- package/dist/core/agent/scripts/label.js +143 -0
- package/dist/core/agent/scripts/label.js.map +1 -0
- package/dist/core/agent/scripts/match.js +233 -0
- package/dist/core/agent/scripts/match.js.map +1 -0
- package/dist/core/agent/scripts/recovery.js +81 -0
- package/dist/core/agent/scripts/recovery.js.map +1 -0
- package/dist/core/agent/scripts/rows.js +221 -0
- package/dist/core/agent/scripts/rows.js.map +1 -0
- package/dist/core/agent/scripts/types.js +22 -0
- package/dist/core/agent/scripts/types.js.map +1 -0
- package/dist/core/agent/scripts/wrapper.js +63 -0
- package/dist/core/agent/scripts/wrapper.js.map +1 -0
- package/dist/core/agent/stages/argumentAsk.js +161 -19
- package/dist/core/agent/stages/argumentAsk.js.map +1 -1
- package/dist/core/agent/stages/evidenceRecheck.js +4 -1
- package/dist/core/agent/stages/evidenceRecheck.js.map +1 -1
- package/dist/core/agent/stages/prepareFinal.js +65 -10
- package/dist/core/agent/stages/prepareFinal.js.map +1 -1
- package/dist/core/agent/stages/route.js +53 -3
- package/dist/core/agent/stages/route.js.map +1 -1
- package/dist/core/agent/stages/seed.js +14 -1
- package/dist/core/agent/stages/seed.js.map +1 -1
- package/dist/core/agent/stages/toolCalls.js +339 -18
- package/dist/core/agent/stages/toolCalls.js.map +1 -1
- package/dist/core/codeRunnerTool.js +32 -3
- package/dist/core/codeRunnerTool.js.map +1 -1
- package/dist/core/runCheckpoint.js +19 -6
- package/dist/core/runCheckpoint.js.map +1 -1
- package/dist/esm/adapters/code/output.d.ts +1 -4
- package/dist/esm/adapters/code/output.js +3 -24
- package/dist/esm/adapters/code/output.js.map +1 -1
- package/dist/esm/adapters/observability/audit.d.ts +79 -12
- package/dist/esm/adapters/observability/audit.js +132 -142
- package/dist/esm/adapters/observability/audit.js.map +1 -1
- package/dist/esm/adapters/observability/auditBounding.d.ts +215 -0
- package/dist/esm/adapters/observability/auditBounding.js +390 -0
- package/dist/esm/adapters/observability/auditBounding.js.map +1 -0
- package/dist/esm/adapters/observability/auditKeptByContract.d.ts +65 -0
- package/dist/esm/adapters/observability/auditKeptByContract.js +103 -0
- package/dist/esm/adapters/observability/auditKeptByContract.js.map +1 -0
- package/dist/esm/adapters/observability/auditShapes.d.ts +78 -0
- package/dist/esm/adapters/observability/auditShapes.js +1726 -0
- package/dist/esm/adapters/observability/auditShapes.js.map +1 -0
- package/dist/esm/answer-account/account.js +91 -14
- package/dist/esm/answer-account/account.js.map +1 -1
- package/dist/esm/answer-account/facts/calls.d.ts +0 -2
- package/dist/esm/answer-account/facts/calls.js +1 -3
- package/dist/esm/answer-account/facts/calls.js.map +1 -1
- package/dist/esm/answer-account/facts/checked.js +2 -2
- package/dist/esm/answer-account/facts/checked.js.map +1 -1
- package/dist/esm/answer-account/facts/common.d.ts +16 -4
- package/dist/esm/answer-account/facts/common.js +38 -6
- package/dist/esm/answer-account/facts/common.js.map +1 -1
- package/dist/esm/answer-account/facts/found.js +2 -2
- package/dist/esm/answer-account/facts/found.js.map +1 -1
- package/dist/esm/answer-account/facts/howSure.d.ts +1 -1
- package/dist/esm/answer-account/facts/howSure.js +22 -4
- package/dist/esm/answer-account/facts/howSure.js.map +1 -1
- package/dist/esm/answer-account/facts/inView.js +1 -2
- package/dist/esm/answer-account/facts/inView.js.map +1 -1
- package/dist/esm/answer-account/facts/pausedLeg.js +2 -2
- package/dist/esm/answer-account/facts/pausedLeg.js.map +1 -1
- package/dist/esm/answer-account/facts/scripts.d.ts +34 -0
- package/dist/esm/answer-account/facts/scripts.js +218 -0
- package/dist/esm/answer-account/facts/scripts.js.map +1 -0
- package/dist/esm/answer-account/facts/understood.js +2 -2
- package/dist/esm/answer-account/facts/understood.js.map +1 -1
- package/dist/esm/answer-account/pointerKey.d.ts +1 -1
- package/dist/esm/answer-account/pointerKey.js +1 -1
- package/dist/esm/answer-account/shown.d.ts +9 -2
- package/dist/esm/answer-account/shown.js +25 -7
- package/dist/esm/answer-account/shown.js.map +1 -1
- package/dist/esm/answer-account/signals.js +2 -2
- package/dist/esm/answer-account/signals.js.map +1 -1
- package/dist/esm/answer-account/size.d.ts +59 -0
- package/dist/esm/answer-account/size.js +147 -0
- package/dist/esm/answer-account/size.js.map +1 -0
- package/dist/esm/answer-account/templates.d.ts +29 -1
- package/dist/esm/answer-account/templates.js +39 -1
- package/dist/esm/answer-account/templates.js.map +1 -1
- package/dist/esm/core/Agent.d.ts +8 -1
- package/dist/esm/core/Agent.js +25 -1
- package/dist/esm/core/Agent.js.map +1 -1
- package/dist/esm/core/agent/AgentBuilder.d.ts +52 -0
- package/dist/esm/core/agent/AgentBuilder.js +85 -1
- package/dist/esm/core/agent/AgentBuilder.js.map +1 -1
- package/dist/esm/core/agent/arguments/ask.d.ts +11 -0
- package/dist/esm/core/agent/arguments/ask.js +83 -1
- package/dist/esm/core/agent/arguments/ask.js.map +1 -1
- package/dist/esm/core/agent/arguments/partialWindow.d.ts +42 -0
- package/dist/esm/core/agent/arguments/partialWindow.js +111 -0
- package/dist/esm/core/agent/arguments/partialWindow.js.map +1 -0
- package/dist/esm/core/agent/assessment/assess.js +37 -0
- package/dist/esm/core/agent/assessment/assess.js.map +1 -1
- package/dist/esm/core/agent/assessment/compose.d.ts +3 -1
- package/dist/esm/core/agent/assessment/compose.js +5 -1
- package/dist/esm/core/agent/assessment/compose.js.map +1 -1
- package/dist/esm/core/agent/assessment/reasons.js +7 -0
- package/dist/esm/core/agent/assessment/reasons.js.map +1 -1
- package/dist/esm/core/agent/assessment/types.d.ts +12 -2
- package/dist/esm/core/agent/assessment/witness.d.ts +44 -4
- package/dist/esm/core/agent/assessment/witness.js +35 -3
- package/dist/esm/core/agent/assessment/witness.js.map +1 -1
- package/dist/esm/core/agent/buildAgentChart.d.ts +9 -0
- package/dist/esm/core/agent/buildAgentChart.js.map +1 -1
- package/dist/esm/core/agent/evidence/codeRegions.d.ts +130 -0
- package/dist/esm/core/agent/evidence/codeRegions.js +275 -0
- package/dist/esm/core/agent/evidence/codeRegions.js.map +1 -0
- package/dist/esm/core/agent/evidence/gate.d.ts +3 -0
- package/dist/esm/core/agent/evidence/gate.js +12 -2
- package/dist/esm/core/agent/evidence/gate.js.map +1 -1
- package/dist/esm/core/agent/evidence/recovery.d.ts +5 -1
- package/dist/esm/core/agent/evidence/recovery.js +11 -2
- package/dist/esm/core/agent/evidence/recovery.js.map +1 -1
- package/dist/esm/core/agent/evidence/types.d.ts +35 -0
- package/dist/esm/core/agent/findings/types.d.ts +3 -2
- package/dist/esm/core/agent/findings/types.js.map +1 -1
- package/dist/esm/core/agent/scripts/attachment.d.ts +179 -0
- package/dist/esm/core/agent/scripts/attachment.js +361 -0
- package/dist/esm/core/agent/scripts/attachment.js.map +1 -0
- package/dist/esm/core/agent/scripts/inert.d.ts +38 -0
- package/dist/esm/core/agent/scripts/inert.js +84 -0
- package/dist/esm/core/agent/scripts/inert.js.map +1 -0
- package/dist/esm/core/agent/scripts/judge.d.ts +36 -0
- package/dist/esm/core/agent/scripts/judge.js +37 -0
- package/dist/esm/core/agent/scripts/judge.js.map +1 -0
- package/dist/esm/core/agent/scripts/label.d.ts +103 -0
- package/dist/esm/core/agent/scripts/label.js +136 -0
- package/dist/esm/core/agent/scripts/label.js.map +1 -0
- package/dist/esm/core/agent/scripts/match.d.ts +99 -0
- package/dist/esm/core/agent/scripts/match.js +226 -0
- package/dist/esm/core/agent/scripts/match.js.map +1 -0
- package/dist/esm/core/agent/scripts/recovery.d.ts +54 -0
- package/dist/esm/core/agent/scripts/recovery.js +77 -0
- package/dist/esm/core/agent/scripts/recovery.js.map +1 -0
- package/dist/esm/core/agent/scripts/rows.d.ts +143 -0
- package/dist/esm/core/agent/scripts/rows.js +211 -0
- package/dist/esm/core/agent/scripts/rows.js.map +1 -0
- package/dist/esm/core/agent/scripts/types.d.ts +91 -0
- package/dist/esm/core/agent/scripts/types.js +21 -0
- package/dist/esm/core/agent/scripts/types.js.map +1 -0
- package/dist/esm/core/agent/scripts/wrapper.d.ts +36 -0
- package/dist/esm/core/agent/scripts/wrapper.js +58 -0
- package/dist/esm/core/agent/scripts/wrapper.js.map +1 -0
- package/dist/esm/core/agent/stages/argumentAsk.d.ts +4 -1
- package/dist/esm/core/agent/stages/argumentAsk.js +164 -22
- package/dist/esm/core/agent/stages/argumentAsk.js.map +1 -1
- package/dist/esm/core/agent/stages/evidenceRecheck.js +4 -1
- package/dist/esm/core/agent/stages/evidenceRecheck.js.map +1 -1
- package/dist/esm/core/agent/stages/prepareFinal.d.ts +11 -0
- package/dist/esm/core/agent/stages/prepareFinal.js +65 -10
- package/dist/esm/core/agent/stages/prepareFinal.js.map +1 -1
- package/dist/esm/core/agent/stages/route.js +53 -3
- package/dist/esm/core/agent/stages/route.js.map +1 -1
- package/dist/esm/core/agent/stages/seed.js +14 -1
- package/dist/esm/core/agent/stages/seed.js.map +1 -1
- package/dist/esm/core/agent/stages/toolCalls.d.ts +14 -0
- package/dist/esm/core/agent/stages/toolCalls.js +337 -16
- package/dist/esm/core/agent/stages/toolCalls.js.map +1 -1
- package/dist/esm/core/agent/types.d.ts +41 -0
- package/dist/esm/core/codeRunnerTool.d.ts +23 -0
- package/dist/esm/core/codeRunnerTool.js +31 -2
- package/dist/esm/core/codeRunnerTool.js.map +1 -1
- package/dist/esm/core/runCheckpoint.js +16 -3
- package/dist/esm/core/runCheckpoint.js.map +1 -1
- package/dist/esm/events/payloads.d.ts +46 -1
- package/dist/esm/hosting/answerAccounts.js +4 -2
- package/dist/esm/hosting/answerAccounts.js.map +1 -1
- package/dist/esm/hosting/artifactWire.d.ts +3 -2
- package/dist/esm/hosting/artifactWire.js.map +1 -1
- package/dist/esm/index.d.ts +3 -1
- package/dist/esm/index.js.map +1 -1
- package/dist/esm/lib/boundedJson.d.ts +24 -0
- package/dist/esm/lib/boundedJson.js +45 -2
- package/dist/esm/lib/boundedJson.js.map +1 -1
- package/dist/esm/lib/scriptRecord.d.ts +139 -0
- package/dist/esm/lib/scriptRecord.js +18 -0
- package/dist/esm/lib/scriptRecord.js.map +1 -0
- package/dist/esm/lib/utf8.d.ts +36 -0
- package/dist/esm/lib/utf8.js +70 -0
- package/dist/esm/lib/utf8.js.map +1 -0
- package/dist/esm/mcp/toolExtras.d.ts +9 -0
- package/dist/esm/mcp/toolExtras.js +6 -0
- package/dist/esm/mcp/toolExtras.js.map +1 -1
- package/dist/esm/redaction/conversation.js +10 -0
- package/dist/esm/redaction/conversation.js.map +1 -1
- package/dist/esm/redaction/knownStrings.js +34 -0
- package/dist/esm/redaction/knownStrings.js.map +1 -1
- package/dist/esm/semantics/coverage/answer.d.ts +12 -1
- package/dist/esm/semantics/coverage/answer.js +26 -3
- package/dist/esm/semantics/coverage/answer.js.map +1 -1
- package/dist/esm/tools/script.d.ts +85 -0
- package/dist/esm/tools/script.js +157 -0
- package/dist/esm/tools/script.js.map +1 -0
- package/dist/esm/tools/tools.d.ts +30 -0
- package/dist/esm/tools/tools.js +4 -0
- package/dist/esm/tools/tools.js.map +1 -1
- package/dist/hosting/answerAccounts.js +4 -2
- package/dist/hosting/answerAccounts.js.map +1 -1
- package/dist/hosting/artifactWire.js.map +1 -1
- package/dist/index.js.map +1 -1
- package/dist/lib/boundedJson.js +48 -3
- package/dist/lib/boundedJson.js.map +1 -1
- package/dist/lib/scriptRecord.js +19 -0
- package/dist/lib/scriptRecord.js.map +1 -0
- package/dist/lib/utf8.js +77 -0
- package/dist/lib/utf8.js.map +1 -0
- package/dist/mcp/toolExtras.js +6 -0
- package/dist/mcp/toolExtras.js.map +1 -1
- package/dist/redaction/conversation.js +10 -0
- package/dist/redaction/conversation.js.map +1 -1
- package/dist/redaction/knownStrings.js +34 -0
- package/dist/redaction/knownStrings.js.map +1 -1
- package/dist/semantics/coverage/answer.js +26 -3
- package/dist/semantics/coverage/answer.js.map +1 -1
- package/dist/tools/script.js +163 -0
- package/dist/tools/script.js.map +1 -0
- package/dist/tools/tools.js +4 -0
- package/dist/tools/tools.js.map +1 -1
- package/dist/types/adapters/code/output.d.ts +1 -4
- package/dist/types/adapters/code/output.d.ts.map +1 -1
- package/dist/types/adapters/observability/audit.d.ts +79 -12
- package/dist/types/adapters/observability/audit.d.ts.map +1 -1
- package/dist/types/adapters/observability/auditBounding.d.ts +216 -0
- package/dist/types/adapters/observability/auditBounding.d.ts.map +1 -0
- package/dist/types/adapters/observability/auditKeptByContract.d.ts +66 -0
- package/dist/types/adapters/observability/auditKeptByContract.d.ts.map +1 -0
- package/dist/types/adapters/observability/auditShapes.d.ts +79 -0
- package/dist/types/adapters/observability/auditShapes.d.ts.map +1 -0
- package/dist/types/answer-account/account.d.ts.map +1 -1
- package/dist/types/answer-account/facts/calls.d.ts +0 -2
- package/dist/types/answer-account/facts/calls.d.ts.map +1 -1
- package/dist/types/answer-account/facts/checked.d.ts.map +1 -1
- package/dist/types/answer-account/facts/common.d.ts +16 -4
- package/dist/types/answer-account/facts/common.d.ts.map +1 -1
- package/dist/types/answer-account/facts/found.d.ts.map +1 -1
- package/dist/types/answer-account/facts/howSure.d.ts +1 -1
- package/dist/types/answer-account/facts/howSure.d.ts.map +1 -1
- package/dist/types/answer-account/facts/inView.d.ts.map +1 -1
- package/dist/types/answer-account/facts/pausedLeg.d.ts.map +1 -1
- package/dist/types/answer-account/facts/scripts.d.ts +35 -0
- package/dist/types/answer-account/facts/scripts.d.ts.map +1 -0
- package/dist/types/answer-account/facts/understood.d.ts.map +1 -1
- package/dist/types/answer-account/pointerKey.d.ts +1 -1
- package/dist/types/answer-account/shown.d.ts +9 -2
- package/dist/types/answer-account/shown.d.ts.map +1 -1
- package/dist/types/answer-account/signals.d.ts.map +1 -1
- package/dist/types/answer-account/size.d.ts +60 -0
- package/dist/types/answer-account/size.d.ts.map +1 -0
- package/dist/types/answer-account/templates.d.ts +29 -1
- package/dist/types/answer-account/templates.d.ts.map +1 -1
- package/dist/types/core/Agent.d.ts +8 -1
- package/dist/types/core/Agent.d.ts.map +1 -1
- package/dist/types/core/agent/AgentBuilder.d.ts +52 -0
- package/dist/types/core/agent/AgentBuilder.d.ts.map +1 -1
- package/dist/types/core/agent/arguments/ask.d.ts +11 -0
- package/dist/types/core/agent/arguments/ask.d.ts.map +1 -1
- package/dist/types/core/agent/arguments/partialWindow.d.ts +43 -0
- package/dist/types/core/agent/arguments/partialWindow.d.ts.map +1 -0
- package/dist/types/core/agent/assessment/assess.d.ts.map +1 -1
- package/dist/types/core/agent/assessment/compose.d.ts +3 -1
- package/dist/types/core/agent/assessment/compose.d.ts.map +1 -1
- package/dist/types/core/agent/assessment/reasons.d.ts.map +1 -1
- package/dist/types/core/agent/assessment/types.d.ts +12 -2
- package/dist/types/core/agent/assessment/types.d.ts.map +1 -1
- package/dist/types/core/agent/assessment/witness.d.ts +44 -4
- package/dist/types/core/agent/assessment/witness.d.ts.map +1 -1
- package/dist/types/core/agent/buildAgentChart.d.ts +9 -0
- package/dist/types/core/agent/buildAgentChart.d.ts.map +1 -1
- package/dist/types/core/agent/evidence/codeRegions.d.ts +131 -0
- package/dist/types/core/agent/evidence/codeRegions.d.ts.map +1 -0
- package/dist/types/core/agent/evidence/gate.d.ts +3 -0
- package/dist/types/core/agent/evidence/gate.d.ts.map +1 -1
- package/dist/types/core/agent/evidence/recovery.d.ts +5 -1
- package/dist/types/core/agent/evidence/recovery.d.ts.map +1 -1
- package/dist/types/core/agent/evidence/types.d.ts +35 -0
- package/dist/types/core/agent/evidence/types.d.ts.map +1 -1
- package/dist/types/core/agent/findings/types.d.ts +3 -2
- package/dist/types/core/agent/findings/types.d.ts.map +1 -1
- package/dist/types/core/agent/scripts/attachment.d.ts +180 -0
- package/dist/types/core/agent/scripts/attachment.d.ts.map +1 -0
- package/dist/types/core/agent/scripts/inert.d.ts +39 -0
- package/dist/types/core/agent/scripts/inert.d.ts.map +1 -0
- package/dist/types/core/agent/scripts/judge.d.ts +37 -0
- package/dist/types/core/agent/scripts/judge.d.ts.map +1 -0
- package/dist/types/core/agent/scripts/label.d.ts +104 -0
- package/dist/types/core/agent/scripts/label.d.ts.map +1 -0
- package/dist/types/core/agent/scripts/match.d.ts +100 -0
- package/dist/types/core/agent/scripts/match.d.ts.map +1 -0
- package/dist/types/core/agent/scripts/recovery.d.ts +55 -0
- package/dist/types/core/agent/scripts/recovery.d.ts.map +1 -0
- package/dist/types/core/agent/scripts/rows.d.ts +144 -0
- package/dist/types/core/agent/scripts/rows.d.ts.map +1 -0
- package/dist/types/core/agent/scripts/types.d.ts +92 -0
- package/dist/types/core/agent/scripts/types.d.ts.map +1 -0
- package/dist/types/core/agent/scripts/wrapper.d.ts +37 -0
- package/dist/types/core/agent/scripts/wrapper.d.ts.map +1 -0
- package/dist/types/core/agent/stages/argumentAsk.d.ts +4 -1
- package/dist/types/core/agent/stages/argumentAsk.d.ts.map +1 -1
- package/dist/types/core/agent/stages/evidenceRecheck.d.ts.map +1 -1
- package/dist/types/core/agent/stages/prepareFinal.d.ts +11 -0
- package/dist/types/core/agent/stages/prepareFinal.d.ts.map +1 -1
- package/dist/types/core/agent/stages/route.d.ts.map +1 -1
- package/dist/types/core/agent/stages/seed.d.ts.map +1 -1
- package/dist/types/core/agent/stages/toolCalls.d.ts +14 -0
- package/dist/types/core/agent/stages/toolCalls.d.ts.map +1 -1
- package/dist/types/core/agent/types.d.ts +41 -0
- package/dist/types/core/agent/types.d.ts.map +1 -1
- package/dist/types/core/codeRunnerTool.d.ts +23 -0
- package/dist/types/core/codeRunnerTool.d.ts.map +1 -1
- package/dist/types/core/runCheckpoint.d.ts.map +1 -1
- package/dist/types/events/payloads.d.ts +46 -1
- package/dist/types/events/payloads.d.ts.map +1 -1
- package/dist/types/hosting/answerAccounts.d.ts.map +1 -1
- package/dist/types/hosting/artifactWire.d.ts +3 -2
- package/dist/types/hosting/artifactWire.d.ts.map +1 -1
- package/dist/types/index.d.ts +3 -1
- package/dist/types/index.d.ts.map +1 -1
- package/dist/types/lib/boundedJson.d.ts +24 -0
- package/dist/types/lib/boundedJson.d.ts.map +1 -1
- package/dist/types/lib/scriptRecord.d.ts +140 -0
- package/dist/types/lib/scriptRecord.d.ts.map +1 -0
- package/dist/types/lib/utf8.d.ts +37 -0
- package/dist/types/lib/utf8.d.ts.map +1 -0
- package/dist/types/mcp/toolExtras.d.ts +9 -0
- package/dist/types/mcp/toolExtras.d.ts.map +1 -1
- package/dist/types/redaction/conversation.d.ts.map +1 -1
- package/dist/types/redaction/knownStrings.d.ts.map +1 -1
- package/dist/types/semantics/coverage/answer.d.ts +12 -1
- package/dist/types/semantics/coverage/answer.d.ts.map +1 -1
- package/dist/types/tools/script.d.ts +86 -0
- package/dist/types/tools/script.d.ts.map +1 -0
- package/dist/types/tools/tools.d.ts +30 -0
- package/dist/types/tools/tools.d.ts.map +1 -1
- package/package.json +2 -1
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"auditBounding.d.ts","sourceRoot":"","sources":["../../../../src/adapters/observability/auditBounding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AA0BH;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,SAAI,EAAE,IAAI,cAAoB,GAAG,OAAO,CA6CzF;AAID,6CAA6C;AAC7C,MAAM,MAAM,SAAS,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;AAEpD,2DAA2D;AAC3D,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEtF,kGAAkG;AAClG,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS,CAejE;AAED;;;;GAIG;AACH,MAAM,MAAM,QAAQ;AAClB,oFAAoF;AAClF;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAA;CAAE;AAClF,mFAAmF;GACjF;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAA;CAAE;AAC9E,2EAA2E;GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAA;CAAE;AACrF,yEAAyE;GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CAAE;AAC7E,qCAAqC;GACnC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE;AACrD,yEAAyE;GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE;AACxD,qDAAqD;GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE;AACvD,8CAA8C;GAC5C;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE;AACxD,2EAA2E;GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE;AAC1E,6EAA6E;GAC3E;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B;AACH,0GAA0G;GACxG;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,CAAC;AAQ3F,kFAAkF;AAClF,wBAAgB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,QAAQ,GAAG,SAAS,CAE9D;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,CAyBrE;AAID,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAE/C;AAED,wDAAwD;AACxD,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAElD;AAED,kEAAkE;AAClE,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAIjD;AAED,gFAAgF;AAChF,eAAO,MAAM,UAAU,EAAE,SAAmD,CAAC;AAa7E,mDAAmD;AACnD,eAAO,MAAM,cAAc,WAA0B,CAAC;AACtD,oDAAoD;AACpD,eAAO,MAAM,YAAY,WAAwB,CAAC;AAClD,+DAA+D;AAC/D,eAAO,MAAM,eAAe,WAA2B,CAAC;AAIxD,+FAA+F;AAC/F,eAAO,MAAM,GAAG,EAAE,SAIjB,CAAC;AAEF,sDAAsD;AACtD,eAAO,MAAM,IAAI,EAAE,SAGlB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,GAAG,EAAE,SAGjB,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,GAAG,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAMlF;AAID;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC;AAE9D;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE;IAAE,QAAQ,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS;CAAE,GAAG,SAAS,CAmBzF;AAED,6FAA6F;AAC7F,wBAAgB,MAAM,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAajD;AAED,gHAAgH;AAChH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAgBnD;AAED,yFAAyF;AACzF,wBAAgB,MAAM,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAMjD;AAED,wEAAwE;AACxE,wBAAgB,MAAM,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAKjD;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,GAAG,YAAY,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,CAcvE;AAED;;;;GAIG;AACH,wBAAgB,IAAI,CAClB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,EACjC,IAAI,EAAE,SAAS,EACf,SAAS,EAAE,SAAS,GACnB,SAAS,CAOX;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,GAAG,SAAS,CAExE;AAED,mGAAmG;AACnG,eAAO,MAAM,iBAAiB,EAAE,SAA0D,CAAC;AAQ3F;;;;;GAKG;AACH,wBAAgB,oBAAoB,IAAI;IACtC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IAC9C,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;CAC5B,CA+BA"}
|
|
@@ -0,0 +1,66 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* auditKeptByContract — what a BOUNDED audit record keeps although its value
|
|
3
|
+
* may come from the run: the named exceptions to "structure is kept, content
|
|
4
|
+
* is a marker", in one place.
|
|
5
|
+
*
|
|
6
|
+
* Pattern: a closed list of named exceptions (`KEPT_BY_CONTRACT`), each a rule
|
|
7
|
+
* built from `auditBounding.ts` and wrapped in `byContract`, so a walker
|
|
8
|
+
* finds every one by name.
|
|
9
|
+
* Role: `auditShapes.ts` places these rules in the event shapes and the meta
|
|
10
|
+
* shape; no other rule keeps a value the run composed.
|
|
11
|
+
* Emits: N/A.
|
|
12
|
+
*
|
|
13
|
+
* An exception is a POSITION, never a pass-through: each one still checks its
|
|
14
|
+
* value like every other rule — it keeps a value of its declared kind (a
|
|
15
|
+
* string, or decide() evidence's own shape, field by field), and a value of any
|
|
16
|
+
* other kind, or a child its type does not declare, is a marker.
|
|
17
|
+
*
|
|
18
|
+
* Adding an exception, or placing one somewhere new, changes the pin in
|
|
19
|
+
* `test/observability-providers/audit-bounded-sweep.test.ts` — a reviewed
|
|
20
|
+
* change, never a silent one. The module documentation of `audit.ts`, the
|
|
21
|
+
* observability README and the exporters page state the same list.
|
|
22
|
+
*/
|
|
23
|
+
import type { DecisionEvidence, SelectionEvidence } from 'footprintjs';
|
|
24
|
+
import { type BoundRule } from './auditBounding.js';
|
|
25
|
+
/** The exceptions, by name — what each keeps, and why the record keeps it. */
|
|
26
|
+
export declare const KEPT_BY_CONTRACT: {
|
|
27
|
+
readonly 'meta-identity': "who a run is for — the session id, principal and tenant the caller named — on each record's meta: the who of an audit record";
|
|
28
|
+
readonly 'decide-evidence': "decide()/select() evidence an app emits on `composition.route_decided`, as the engine summarized it: rule labels, branches, operators, thresholds and verdicts, each field checked";
|
|
29
|
+
readonly 'decision-summary': "the engine's summary of a value a decision rule read (decide() evidence, a skill guard's condition) — redaction-aware: under an agent's `redact` a selected key is the placeholder; otherwise the summary shows the value";
|
|
30
|
+
readonly 'policy-reason-tag': "a permission policy's telemetry `reason` tag (`permission.check`, `permission.halt`) — the policy's own word";
|
|
31
|
+
readonly 'app-reason-word': "the reason word an app attaches to a lifecycle event it emits itself (`skill.deactivated`, `tools.offered`, `permission.gate_closed`) — the app’s own words, as written";
|
|
32
|
+
readonly 'seen-tool-name': "a `tryInsteadTool` name, once this strategy has seen that tool run";
|
|
33
|
+
};
|
|
34
|
+
/** The name of a kept-by-contract exception. */
|
|
35
|
+
export type KeptByContract = keyof typeof KEPT_BY_CONTRACT;
|
|
36
|
+
/** decide()/select() evidence, as footprintjs declares it. */
|
|
37
|
+
export type DecideEvidence = DecisionEvidence | SelectionEvidence;
|
|
38
|
+
/**
|
|
39
|
+
* What a decide() filter compares against — a value the app declared, or a
|
|
40
|
+
* list of them — as this record keeps it. Anything else is a marker.
|
|
41
|
+
*/
|
|
42
|
+
export type DecideThreshold = string | number | boolean | null | readonly (string | number | boolean | null)[];
|
|
43
|
+
/** A value the app declared: a word, a number or a flag — or a declared "none". */
|
|
44
|
+
export declare const declaredValue: BoundRule;
|
|
45
|
+
/** `meta.sessionId`, `meta.principal`, `meta.tenant`: the caller's own names for who. */
|
|
46
|
+
export declare const metaIdentity: BoundRule;
|
|
47
|
+
/** The engine's summary of a value a rule read. */
|
|
48
|
+
export declare const decisionSummary: BoundRule;
|
|
49
|
+
/** A permission policy's telemetry tag. */
|
|
50
|
+
export declare const policyReasonTag: BoundRule;
|
|
51
|
+
/** A reason word an app attaches to a lifecycle event it emits itself. */
|
|
52
|
+
export declare const appReasonWord: BoundRule;
|
|
53
|
+
/**
|
|
54
|
+
* A `tryInsteadTool` name: kept only once this strategy has seen that tool run —
|
|
55
|
+
* a tool the agent holds, by construction (`otel.ts` · `coverageAttrs`, the same
|
|
56
|
+
* rule); otherwise it is the tool author's word for a tool this agent may not
|
|
57
|
+
* hold.
|
|
58
|
+
*/
|
|
59
|
+
export declare function seenToolName(toolRan: (name: string) => boolean): BoundRule;
|
|
60
|
+
/**
|
|
61
|
+
* `composition.route_decided.evidence`: decide() evidence is kept by contract,
|
|
62
|
+
* as its own shape; any other evidence (a router's own `{ reason }`) is a
|
|
63
|
+
* free-form record — its key names only.
|
|
64
|
+
*/
|
|
65
|
+
export declare const routeEvidence: BoundRule;
|
|
66
|
+
//# sourceMappingURL=auditKeptByContract.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"auditKeptByContract.d.ts","sourceRoot":"","sources":["../../../../src/adapters/observability/auditKeptByContract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAgB,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAErF,OAAO,EAcL,KAAK,SAAS,EACf,MAAM,oBAAoB,CAAC;AAE5B,8EAA8E;AAC9E,eAAO,MAAM,gBAAgB;;;;;;;CAYnB,CAAC;AAEX,gDAAgD;AAChD,MAAM,MAAM,cAAc,GAAG,MAAM,OAAO,gBAAgB,CAAC;AAI3D,8DAA8D;AAC9D,MAAM,MAAM,cAAc,GAAG,gBAAgB,GAAG,iBAAiB,CAAC;AAMlE;;;GAGG;AACH,MAAM,MAAM,eAAe,GACvB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;AAElD,mFAAmF;AACnF,eAAO,MAAM,aAAa,EAAE,SAA0C,CAAC;AAIvE,yFAAyF;AACzF,eAAO,MAAM,YAAY,EAAE,SAA2C,CAAC;AAEvE,mDAAmD;AACnD,eAAO,MAAM,eAAe,EAAE,SAA8C,CAAC;AAE7E,2CAA2C;AAC3C,eAAO,MAAM,eAAe,EAAE,SAA+C,CAAC;AAE9E,0EAA0E;AAC1E,eAAO,MAAM,aAAa,EAAE,SAA6C,CAAC;AAE1E;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAAG,SAAS,CAO1E;AAmDD;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,SAK3B,CAAC"}
|
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* auditShapes — WHAT the audit chain's bounded mode keeps of each event: one
|
|
3
|
+
* shape per registered event type, every field of its payload ruled.
|
|
4
|
+
*
|
|
5
|
+
* Pattern: a declarative table, total over the registry
|
|
6
|
+
* (`{ [T in keyof AgentfootprintEventMap]-?: BoundRule }`), built from
|
|
7
|
+
* the combinators in `auditBounding.ts`.
|
|
8
|
+
* Role: the bounding layer's data. `audit.ts` asks it for every event in
|
|
9
|
+
* `payloadMode: 'bounded'`; an event type it does not know is
|
|
10
|
+
* `unknownEventShape` — every field a marker.
|
|
11
|
+
* Emits: N/A.
|
|
12
|
+
*
|
|
13
|
+
* A new event type, or a new field on a payload, does not compile until it is
|
|
14
|
+
* classified here. Content (what a person, the model, a tool or the data
|
|
15
|
+
* wrote, or a message composed from it) is a marker; structure (ids, names,
|
|
16
|
+
* kinds, codes, verdicts, counts, the library's own sentences, the words the
|
|
17
|
+
* app declared up front) is kept — and every kept value is CHECKED at runtime
|
|
18
|
+
* as the kind its type declares: `num`, `bool`, `str` (an open string: an id,
|
|
19
|
+
* a name, a label), `oneOf` (a closed union: exactly its words). No container
|
|
20
|
+
* is kept whole; each is spelled out field by field, so a child its type does
|
|
21
|
+
* not declare is a marker. The type walker
|
|
22
|
+
* (`test/type-regressions/AuditBoundingDepth.test.ts`) holds every rule here
|
|
23
|
+
* to the type beneath it; the runtime sweep
|
|
24
|
+
* (`test/observability-providers/audit-bounded-sweep.test.ts`) hands every rule
|
|
25
|
+
* what its kind forbids.
|
|
26
|
+
*
|
|
27
|
+
* The positions a record keeps although their value may come from the run —
|
|
28
|
+
* meta's who, decision evidence, a policy's tag, an app's reason word, a seen
|
|
29
|
+
* tool's name — are the rules `auditKeptByContract.ts` names, placed here.
|
|
30
|
+
*
|
|
31
|
+
* `audit.ts` looks an event's shape up in `eventShapeTable` — a `Map`, so an
|
|
32
|
+
* event NAME is never a key into a plain object (`constructor`, `__proto__`).
|
|
33
|
+
*/
|
|
34
|
+
import type { AgentfootprintEventMap } from '../../events/registry.js';
|
|
35
|
+
import { type BoundRule } from './auditBounding.js';
|
|
36
|
+
/** Attachment summary: preserve every declared field, check every runtime child. */
|
|
37
|
+
export declare const boundScripts: BoundRule;
|
|
38
|
+
/**
|
|
39
|
+
* A typed answer's limits: the three lists, the declared periods, what a read
|
|
40
|
+
* found still running and the values an `assume` rule filled. Every sentence
|
|
41
|
+
* and value is a marker; the tool and argument NAMES, the call ids, counts,
|
|
42
|
+
* kinds and the library's `'unknown'` stay.
|
|
43
|
+
*/
|
|
44
|
+
export declare const boundAnswerCoverage: BoundRule;
|
|
45
|
+
/**
|
|
46
|
+
* A typed answer's negatives: each statement and the population it is about
|
|
47
|
+
* are markers; the answer field's declared name, the codes, verdicts, ids,
|
|
48
|
+
* tool names and counts stay.
|
|
49
|
+
*/
|
|
50
|
+
export declare const boundAnswerNegatives: BoundRule;
|
|
51
|
+
type EventType = keyof AgentfootprintEventMap;
|
|
52
|
+
/**
|
|
53
|
+
* Each record's meta: the run and stage ids, paths, indices and engine
|
|
54
|
+
* coordinates the dispatcher stamps — and the who the caller named
|
|
55
|
+
* (`sessionId`, `principal`, `tenant`), kept by contract. A field `EventMeta`
|
|
56
|
+
* does not declare, or a value of another kind, is a marker. (`wallClockMs` is
|
|
57
|
+
* the record's `timestamp`; `runId` its run anchor — `audit.ts` lifts both.)
|
|
58
|
+
*/
|
|
59
|
+
export declare const boundMeta: BoundRule;
|
|
60
|
+
/**
|
|
61
|
+
* The whole-event shapes as a `Map`, by event type — what `audit.ts` looks an
|
|
62
|
+
* event up in. An event's name is the emitter's to choose (`agent.emit()`
|
|
63
|
+
* takes any string), so it is never a key into a plain object: a name
|
|
64
|
+
* `Object.prototype` holds (`constructor`, `toString`, `__proto__`) finds no
|
|
65
|
+
* shape here, and that event is bounded as unknown — every field a marker.
|
|
66
|
+
*/
|
|
67
|
+
export declare function eventShapeTable(toolRan: (name: string) => boolean): ReadonlyMap<string, BoundRule>;
|
|
68
|
+
/**
|
|
69
|
+
* The whole-event shapes, by event type. `toolRan` answers whether this
|
|
70
|
+
* strategy has seen a tool of that name run (`createToolRunTracker`): a
|
|
71
|
+
* `tryInsteadTool` names another tool, and that name is kept only then —
|
|
72
|
+
* otherwise it is the tool author's word for a tool this agent may not hold
|
|
73
|
+
* (`otel.ts` · `coverageAttrs`, the same rule).
|
|
74
|
+
*/
|
|
75
|
+
export declare function eventShapes(toolRan: (name: string) => boolean): {
|
|
76
|
+
readonly [T in EventType]-?: BoundRule;
|
|
77
|
+
};
|
|
78
|
+
export {};
|
|
79
|
+
//# sourceMappingURL=auditShapes.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"auditShapes.d.ts","sourceRoot":"","sources":["../../../../src/adapters/observability/auditShapes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAuBH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAqBvE,OAAO,EAkBL,KAAK,SAAS,EACf,MAAM,oBAAoB,CAAC;AAwC5B,oFAAoF;AACpF,eAAO,MAAM,YAAY,WAQvB,CAAC;AA6JH;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,WA4B9B,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,WAyC/B,CAAC;AAIH,KAAK,SAAS,GAAG,MAAM,sBAAsB,CAAC;AA4K9C;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,EAAE,SAqBtB,CAAC;AA4DH;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GACjC,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAEhC;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAAG;IAC/D,QAAQ,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,GAAG,SAAS;CACvC,CA49CA"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"account.d.ts","sourceRoot":"","sources":["../../../src/answer-account/account.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;
|
|
1
|
+
{"version":3,"file":"account.d.ts","sourceRoot":"","sources":["../../../src/answer-account/account.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAqBH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AAGzE,OAAO,KAAK,EAEV,aAAa,EACb,yBAAyB,EAW1B,MAAM,YAAY,CAAC;AAYpB,OAAO,EAOL,KAAK,gBAAgB,EAEtB,MAAM,mBAAmB,CAAC;AAW3B,MAAM,WAAW,cAAc;IAC7B,8GAA8G;IAC9G,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,+FAA+F;AAC/F,eAAO,MAAM,gBAAgB,OAAO,CAAC;AAifrC,uGAAuG;AACvG,wBAAgB,YAAY,CAC1B,SAAS,EAAE,OAAO,EAClB,YAAY,EAAE,yBAAyB,GAAG,SAAS,EACnD,OAAO,EAAE,cAAc,GAAG,SAAS,EACnC,SAAS,CAAC,EAAE,gBAAgB,GAC3B,aAAa,CA4Hf;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,SAAS,EACpB,YAAY,CAAC,EAAE,yBAAyB,EACxC,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GACpC,aAAa,CAEf"}
|
|
@@ -27,8 +27,6 @@
|
|
|
27
27
|
import type { RecordPointer, SentenceVar, ToolCallFact } from '../types.js';
|
|
28
28
|
import { type ViewEvent } from '../view.js';
|
|
29
29
|
import { type EmptinessReading, type ReadContext } from './common.js';
|
|
30
|
-
/** A text value a call's FACT carries is cut here (the sentence that prints it carries up to 2,000). */
|
|
31
|
-
export declare const FACT_TEXT_CHARS = 200;
|
|
32
30
|
/**
|
|
33
31
|
* At most this many calls are LISTED in `facts.calls`; the rest are counted.
|
|
34
32
|
* A cap on what is listed, never on what is judged: the checks, the error
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"calls.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/calls.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAIH,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAqC,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAC/E,OAAO,
|
|
1
|
+
{"version":3,"file":"calls.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/calls.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAIH,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAqC,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAC/E,OAAO,EAUL,KAAK,gBAAgB,EACrB,KAAK,WAAW,EACjB,MAAM,aAAa,CAAC;AAErB;;;;GAIG;AACH,eAAO,MAAM,SAAS,KAAK,CAAC;AAE5B,MAAM,MAAM,kBAAkB,GAAG,SAAS,GAAG,YAAY,GAAG,aAAa,CAAC;AAE1E,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC;IACrC,iFAAiF;IACjF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC;IACtC;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,KAAK,aAAa,CAAC;IACxE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,CAAC;IACrC,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,kGAAkG;IAClG,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;KAAE,CAAC;IAChF,mGAAmG;IACnG,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC5C,QAAQ,CAAC,cAAc,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;KAAE,CAAC;CACtF;AAED,iFAAiF;AACjF,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC;IACzB,iEAAiE;IACjE,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,yFAAyF;IACzF,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;IAC9B,mGAAmG;IACnG,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC;IACrC,mGAAmG;IACnG,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,iGAAiG;IACjG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;CACzB;AAED,MAAM,WAAW,SAAS;IACxB,gFAAgF;IAChF,QAAQ,CAAC,GAAG,EAAE,SAAS,QAAQ,EAAE,CAAC;IAClC,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,mDAAmD;IACnD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,qFAAqF;IACrF,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACnC;AAyID,2FAA2F;AAC3F,eAAO,MAAM,kBAAkB,qBAAqB,CAAC;AAErD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,SAAS,OAAO,EAAE,EACxB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,OAAO,GACd,YAAY,GAAG,SAAS,CAc1B;AAqCD,+DAA+D;AAC/D,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,OAAO,CAA6B,CAAC;AAuEnF,uFAAuF;AACvF,wBAAgB,UAAU,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,gBAAgB,GAAG,aAAa,CAQrF;AAiHD,8FAA8F;AAC9F,wBAAgB,SAAS,CAAC,GAAG,EAAE,WAAW,GAAG,SAAS,CAiBrD;AAED,uGAAuG;AACvG,wBAAgB,YAAY,CAAC,QAAQ,EAAE,YAAY,GAAG,aAAa,CAElE;AAED,2CAA2C;AAC3C,eAAO,MAAM,MAAM,SAAU,gBAAgB,SAAS,MAAM,GAAG,OAAO,GAAG,MAAM,KAAG,aACnC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checked.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/checked.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,
|
|
1
|
+
{"version":3,"file":"checked.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/checked.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,EAIL,KAAK,SAAS,EAEd,KAAK,YAAY,EAElB,MAAM,YAAY,CAAC;AACpB,OAAO,EAA4C,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AACzF,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAErE,2CAA2C;AAC3C,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAIlC,uGAAuG;AACvG,UAAU,QAAQ;IAChB,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,qFAAqF;IACrF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;CAC7C;AASD,4EAA4E;AAC5E,eAAO,MAAM,mBAAmB,SAAU,eAAe,KAAG,QAK1D,CAAC;AAEH,wFAAwF;AACxF,eAAO,MAAM,QAAQ,QAAO,IAAqD,CAAC;AA4PlF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,EAAE,CAAC;IACzC,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC;CACpC;AAED,sFAAsF;AACtF,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,GAAG,aAAa,EAAE,CAM/D;AAED,yFAAyF;AACzF,wBAAgB,eAAe,CAC7B,GAAG,EAAE,WAAW,EAChB,MAAM,EAAE,SAAS,eAAe,EAAE,GACjC,QAAQ,GAAG,SAAS,CAUtB;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,WAAW,GAAG,QAAQ,CAa/D;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,GAAG,QAAQ,GAAG,SAAS,CASjF;AAED,wBAAgB,eAAe,CAC7B,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,SAAS,EAChB,SAAS,EAAE,aAAa,GACvB,WAAW,CA+Eb"}
|
|
@@ -23,7 +23,7 @@ export interface ReadContext {
|
|
|
23
23
|
say(id: TemplateId, spec?: SentenceSpec): Sentence;
|
|
24
24
|
/** Count one row the account passed over because its shape did not fit. */
|
|
25
25
|
noteUnread(): void;
|
|
26
|
-
/** Items (and their characters) already printed — the
|
|
26
|
+
/** Items (and their characters) already printed — the readability budget. */
|
|
27
27
|
readonly budget: {
|
|
28
28
|
itemChars: number;
|
|
29
29
|
items: number;
|
|
@@ -34,7 +34,7 @@ export interface ReadContext {
|
|
|
34
34
|
* flagged values. Each item rides a sentence (its text three times: `text`,
|
|
35
35
|
* `parts`, `vars`, plus pointers, about 1 KB of structure), so both the count
|
|
36
36
|
* and the characters are bounded; past either, items fold into `items.more@1`
|
|
37
|
-
*
|
|
37
|
+
* for readability. `size.ts` separately enforces the serialized-byte bound.
|
|
38
38
|
*/
|
|
39
39
|
export declare const ITEM_BUDGET: {
|
|
40
40
|
readonly items: 12;
|
|
@@ -49,15 +49,27 @@ export interface AccountInternals {
|
|
|
49
49
|
/**
|
|
50
50
|
* Long text the account prints in TOTAL, past the first `SHORT_TEXT_CHARS` of
|
|
51
51
|
* each value: once spent, every later value is cut at `SHORT_TEXT_CHARS` (marked
|
|
52
|
-
* `clipped`, followed by `part.clipped@1`).
|
|
53
|
-
*
|
|
52
|
+
* `clipped`, followed by `part.clipped@1`). This keeps ordinary accounts
|
|
53
|
+
* readable; `size.ts` separately enforces the serialized-byte bound.
|
|
54
54
|
*/
|
|
55
55
|
export declare const LONG_TEXT_BUDGET = 3000;
|
|
56
56
|
export declare const SHORT_TEXT_CHARS = 300;
|
|
57
|
+
/**
|
|
58
|
+
* A text value a call's FACT carries is cut here (the sentence that prints it
|
|
59
|
+
* carries up to 2,000). A cut that keeps an ordinary account readable; the
|
|
60
|
+
* account's size bound itself is measured in bytes (`../size.ts`).
|
|
61
|
+
*/
|
|
62
|
+
export declare const FACT_TEXT_CHARS = 200;
|
|
57
63
|
export declare function makeSay(internals: AccountInternals | undefined, onUnread: () => void, budget?: {
|
|
58
64
|
longChars: number;
|
|
59
65
|
}): (id: TemplateId, spec?: SentenceSpec) => Sentence;
|
|
60
66
|
export declare const jsonPointer: (...keys: readonly (string | number)[]) => string;
|
|
67
|
+
/**
|
|
68
|
+
* A pointer the account did not build itself — the standing fold's witnesses
|
|
69
|
+
* (`core/agent/assessment/assess.ts`) — with its identity cut as the
|
|
70
|
+
* builders below cut theirs.
|
|
71
|
+
*/
|
|
72
|
+
export declare function boundedPointer(p: RecordPointer): RecordPointer;
|
|
61
73
|
export declare function at(event: ViewEvent, ...keys: readonly (string | number)[]): RecordPointer;
|
|
62
74
|
/** A derived leaf on an event (`#emptiness`, `#meta/runId`). */
|
|
63
75
|
export declare function derived(event: ViewEvent, path: string): RecordPointer;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/common.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,cAAc,EACd,aAAa,EACb,KAAK,gBAAgB,EACtB,MAAM,+BAA+B,CAAC;
|
|
1
|
+
{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/common.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,cAAc,EACd,aAAa,EACb,KAAK,gBAAgB,EACtB,MAAM,+BAA+B,CAAC;AAIvC,OAAO,EAAe,KAAK,YAAY,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EACV,aAAa,EACb,yBAAyB,EACzB,aAAa,EACb,QAAQ,EACR,WAAW,EACZ,MAAM,aAAa,CAAC;AACrB,OAAO,EAAiB,KAAK,aAAa,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAE/E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,yBAAyB,CAAC;IACjD,6EAA6E;IAC7E,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,gGAAgG;IAChG,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IACrC,qDAAqD;IACrD,GAAG,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,YAAY,GAAG,QAAQ,CAAC;IACnD,2EAA2E;IAC3E,UAAU,IAAI,IAAI,CAAC;IACnB,6EAA6E;IAC7E,QAAQ,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACvD;AAED;;;;;;GAMG;AACH,eAAO,MAAM,WAAW;;;CAAuC,CAAC;AAEhE,8EAA8E;AAC9E,wBAAgB,QAAQ,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAMjE;AAED,2EAA2E;AAC3E,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,OAAQ,CAAC;AACtC,eAAO,MAAM,gBAAgB,MAAM,CAAC;AAEpC;;;;GAIG;AACH,eAAO,MAAM,eAAe,MAAM,CAAC;AA0BnC,wBAAgB,OAAO,CACrB,SAAS,EAAE,gBAAgB,GAAG,SAAS,EACvC,QAAQ,EAAE,MAAM,IAAI,EACpB,MAAM,GAAE;IAAE,SAAS,EAAE,MAAM,CAAA;CAAqB,GAC/C,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,YAAY,KAAK,QAAQ,CAkBnD;AAQD,eAAO,MAAM,WAAW,YAAa,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,KAAG,MACxB,CAAC;AAa7C;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,aAAa,GAAG,aAAa,CAQ9D;AAED,wBAAgB,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,GAAG,aAAa,CASzF;AAED,gEAAgE;AAChE,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CASrE;AAED,eAAO,MAAM,OAAO,QAAS,MAAM,WAAW,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,KAAG,aAI3E,CAAC;AAEH,eAAO,MAAM,SAAS,UAAW,MAAM,QAAQ,MAAM,eAAe,MAAM,KAAG,aAK3E,CAAC;AAEH,wBAAgB,aAAa,CAC3B,YAAY,EAAE,yBAAyB,EACvC,KAAK,EAAE,MAAM,GACZ,aAAa,CAQf;AAID,iFAAiF;AACjF,eAAO,MAAM,OAAO,SAAU,MAAM,SAAS,aAAa,KAAG,WACnC,CAAC;AAE3B;;;GAGG;AACH,wBAAgB,SAAS,CACvB,GAAG,EAAE,WAAW,EAChB,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,EACV,IAAI,CAAC,EAAE,aAAa,GACnB,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAmB7B;AAQD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,KAAK,gBAAgB,EAAE,CAAC;AAEhE,sEAAsE;AACtE,eAAO,MAAM,QAAQ,iBACL,yBAAyB,YAC7B,MAAM,KACf,MAAM,GAAG,SAAmD,CAAC;AAEhE,wDAAwD;AACxD,eAAO,MAAM,eAAe,YAAa;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,KAAK,CAAA;CAAE,KAAG,aACrC,CAAC;AAE/C;;;;;GAKG;AACH,eAAO,MAAM,aAAa,YACf,gBAAgB,KACxB;IACD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,GAAG,KAAK,CAAC;IAC7C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAK5B,CAAC;AAEH;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,OAAO,EAAE,CAIjE;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAQrD"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"found.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/found.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,EAAiB,aAAa,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,
|
|
1
|
+
{"version":3,"file":"found.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/found.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,EAAiB,aAAa,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAML,KAAK,WAAW,EACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAA6B,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AASrE,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA2IzD,0CAA0C;AAC1C,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU;;;;EAM1C;AAED,4FAA4F;AAC5F,wBAAgB,cAAc,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,GAAG,aAAa,EAAE,CAQlF;AAoBD,gFAAgF;AAChF,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,eAAe,GAAG,aAAa,EAAE,CAO1E;AAyDD,wBAAgB,YAAY,CAC1B,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,SAAS,EAChB,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,aAAa,GACvB,QAAQ,EAAE,CAkCZ"}
|
|
@@ -21,7 +21,7 @@
|
|
|
21
21
|
*/
|
|
22
22
|
import type { AnswerFacts, EvidenceFact, AccountFact, Sentence } from '../types.js';
|
|
23
23
|
import { type ReadContext } from './common.js';
|
|
24
|
-
import type
|
|
24
|
+
import { type CallsRead } from './calls.js';
|
|
25
25
|
/** A flagged value is a name or a number from the answer; longer is clipped. */
|
|
26
26
|
export declare const FLAGGED_VALUE_CHARS = 200;
|
|
27
27
|
export interface HowSureRead {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"howSure.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/howSure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAYH,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAiB,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEnG,OAAO,
|
|
1
|
+
{"version":3,"file":"howSure.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/howSure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAYH,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAiB,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEnG,OAAO,EAML,KAAK,WAAW,EACjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAa,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAIvD,gFAAgF;AAChF,eAAO,MAAM,mBAAmB,MAAM,CAAC;AAEvC,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;CAC5C;AA6YD,wBAAgB,WAAW,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,GAAG,WAAW,CA+G3E"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"inView.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/inView.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"inView.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/inView.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EAKL,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,YAAY,CAAC;AACpB,OAAO,EASL,KAAK,gBAAgB,EACrB,KAAK,WAAW,EACjB,MAAM,aAAa,CAAC;AAErB,kEAAkE;AAClE,eAAO,MAAM,WAAW,IAAI,CAAC;AAE7B,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,qGAAqG;IACrG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;CACpC;AAED,gFAAgF;AAChF,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,GAAG,SAAS,CAM1E;AAED,sEAAsE;AACtE,wBAAgB,WAAW,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,EAAE,CAgB3F;AAED,MAAM,WAAW,SAAS;IACxB,wEAAwE;IACxE,QAAQ,CAAC,GAAG,EAAE,SAAS,UAAU,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,sCAAsC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CA8DpF"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"pausedLeg.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/pausedLeg.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,
|
|
1
|
+
{"version":3,"file":"pausedLeg.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/pausedLeg.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAGL,KAAK,SAAS,EACd,KAAK,YAAY,EAClB,MAAM,YAAY,CAAC;AACpB,OAAO,EAOL,KAAK,gBAAgB,EACrB,KAAK,WAAW,EACjB,MAAM,aAAa,CAAC;AAErB,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,iDAAiD;IACjD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yGAAyG;IACzG,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,qGAAqG;IACrG,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,sGAAsG;IACtG,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;CAClC;AAED,MAAM,WAAW,aAAa;IAC5B,4HAA4H;IAC5H,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,kGAAkG;IAClG,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;CAC5C;AAID;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,GAAG,aAAa,CAyC/E"}
|
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The "How sure" row's script lines — one per fenced block the answer SHOWED
|
|
3
|
+
* (`.namesAndNumbersFromEvidence({ code: 'match' })`) and one per script the
|
|
4
|
+
* library ATTACHED (`.scriptTravelsWithTheAnswer()`).
|
|
5
|
+
*
|
|
6
|
+
* Read from the record, never rebuilt from text: a shown block's verdict is
|
|
7
|
+
* the answering iteration's `agent.evidence_checked.scripts`; an attached
|
|
8
|
+
* script is `agent.turn_end.scripts`; the details a label's words need (a
|
|
9
|
+
* service error, a withheld result, a before-tool rewrite) are the call's own
|
|
10
|
+
* `script` row in the committed `findingsLedger`. F1 ("this is the script
|
|
11
|
+
* submitted") and F2 ("this script ran") are said; F3 stays the evidence
|
|
12
|
+
* lines' — no sentence here joins a script to a value.
|
|
13
|
+
*
|
|
14
|
+
* The program itself is never printed and never shown: it is a tool
|
|
15
|
+
* argument (`shown.ts` keeps `text` off every allow-list).
|
|
16
|
+
*
|
|
17
|
+
* Each saved shape is read by its ONE reader — the verdicts by
|
|
18
|
+
* `core/agent/scripts/match.ts` · `recordedBlocks`, the attached scripts by
|
|
19
|
+
* `core/agent/scripts/attachment.ts` · `recordedScripts`, a call's row by
|
|
20
|
+
* `core/agent/scripts/rows.ts` · `scriptRowIsWellFormed` — the rules the
|
|
21
|
+
* writers and the checkpoint door share. A value no writer of
|
|
22
|
+
* this library files never becomes a line; it is counted (`unread`). Each
|
|
23
|
+
* kind is listed as every per-call listing of the account is (README laws 7
|
|
24
|
+
* and 8): the first `MAX_LISTED_CALLS`, then one "…and N more" line.
|
|
25
|
+
*/
|
|
26
|
+
import type { Sentence } from '../types.js';
|
|
27
|
+
import { type ViewEvent } from '../view.js';
|
|
28
|
+
import { type ReadContext } from './common.js';
|
|
29
|
+
/**
|
|
30
|
+
* Every script line of the answer: the shown blocks (when the answering
|
|
31
|
+
* iteration's verdict carries them), then the attached scripts. Empty on a
|
|
32
|
+
* record without either arm.
|
|
33
|
+
*/
|
|
34
|
+
export declare function scriptLines(ctx: ReadContext, evidence: ViewEvent | undefined): Sentence[];
|
|
35
|
+
//# sourceMappingURL=scripts.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"scripts.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/scripts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAYH,OAAO,KAAK,EAAiB,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAEhE,OAAO,EAAgC,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAuN7E;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,GAAG,SAAS,GAAG,QAAQ,EAAE,CAEzF"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"understood.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/understood.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,KAAK,EAEV,UAAU,EACV,aAAa,EACb,YAAY,EACZ,QAAQ,EAET,MAAM,aAAa,CAAC;AAIrB,OAAO,
|
|
1
|
+
{"version":3,"file":"understood.d.ts","sourceRoot":"","sources":["../../../../src/answer-account/facts/understood.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,KAAK,EAEV,UAAU,EACV,aAAa,EACb,YAAY,EACZ,QAAQ,EAET,MAAM,aAAa,CAAC;AAIrB,OAAO,EAQL,KAAK,WAAW,EACjB,MAAM,aAAa,CAAC;AAErB,8FAA8F;AAC9F,eAAO,MAAM,YAAY,KAAK,CAAC;AAC/B,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAInC,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG,aAAa,GAAG,gBAAgB,CAAC;AAExE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,iEAAiE;IACjE,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC;IAChC,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC;IAC3B,wEAAwE;IACxE,QAAQ,CAAC,aAAa,EAAE,SAAS,aAAa,EAAE,CAAC;IACjD;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CACxC;AAED,wFAAwF;AACxF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,qDAAqD;IACrD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,gDAAgD;IAChD,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC9D,2FAA2F;IAC3F,QAAQ,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,cAAc,KAAK,aAAa,CAAC;IAChF,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,OAAO,KAAK,aAAa,CAAC;IAC1E,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAwED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,WAAW,GAAG,cAAc,GAAG,SAAS,CAQ7E;AAwFD,wBAAgB,cAAc,CAAC,GAAG,EAAE,WAAW,GAAG,cAAc,CAwW/D"}
|
|
@@ -8,7 +8,7 @@
|
|
|
8
8
|
* format, published from `agentfootprint/observe`: a reader that re-derived it
|
|
9
9
|
* would drift the day a pointer kind is added. (Stamping the key on every
|
|
10
10
|
* pointer instead was measured and refused: +3.1 KB on the flagship's 34 KB
|
|
11
|
-
* account, and a pointer-heavy account would cross its 128
|
|
11
|
+
* account, and a pointer-heavy account would cross its 128 KiB cap.)
|
|
12
12
|
*
|
|
13
13
|
* @example
|
|
14
14
|
* ```ts
|
|
@@ -13,11 +13,18 @@
|
|
|
13
13
|
* history content, and any event of another run.
|
|
14
14
|
*
|
|
15
15
|
* Bounds: a leaf over 2,048 serialized characters is `too-large`; the whole map
|
|
16
|
-
* stops at
|
|
17
|
-
*
|
|
16
|
+
* stops at its share of the op's body, measured in serialized UTF-8 bytes
|
|
17
|
+
* (`size.ts` · `SHOWN_BYTES`, 64 KiB less the body's frame) — no later pointer
|
|
18
|
+
* adds a key; one `#more` entry says the rest is withheld as `too-large`.
|
|
18
19
|
*/
|
|
19
20
|
import type { AnswerAccount, AnswerAccountDeclarations, AnswerAccountShownLeaf, RecordPointer } from './types.js';
|
|
20
21
|
export declare const MAX_LEAF_CHARS = 2048;
|
|
22
|
+
/**
|
|
23
|
+
* The map's size, in its own unit — serialized UTF-8 bytes (`size.ts` ·
|
|
24
|
+
* `SHOWN_BYTES`): what the account and the body's frame leave of the op's
|
|
25
|
+
* 192 KiB body. Each entry is measured as JSON writes it (`jsonBytes`), so a
|
|
26
|
+
* leaf of characters JSON writes six bytes wide costs six.
|
|
27
|
+
*/
|
|
21
28
|
export declare const MAX_SHOWN_BYTES: number;
|
|
22
29
|
/**
|
|
23
30
|
* The one key added when the map reaches `MAX_SHOWN_BYTES`: every pointer with
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"shown.d.ts","sourceRoot":"","sources":["../../../src/answer-account/shown.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"shown.d.ts","sourceRoot":"","sources":["../../../src/answer-account/shown.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAMH,OAAO,KAAK,EACV,aAAa,EACb,yBAAyB,EACzB,sBAAsB,EAEtB,aAAa,EAEd,MAAM,YAAY,CAAC;AAGpB,eAAO,MAAM,cAAc,OAAO,CAAC;AACnC;;;;;GAKG;AACH,eAAO,MAAM,eAAe,QAAc,CAAC;AAE3C;;;;GAIG;AACH,eAAO,MAAM,cAAc,UAAU,CAAC;AActC;;;GAGG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAkEzE,CAAC;AAMH,sFAAsF;AACtF,eAAO,MAAM,gBAAgB,EAAE,SAAS,MAAM,EAAkC,CAAC;AACjF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAcxE,CAAC;AA2BH;;;;;GAKG;AACH,wBAAgB,UAAU,CACxB,CAAC,EAAE,aAAa,EAChB,SAAS,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAsB,GAC1E,OAAO,CAkBT;AAqCD,0DAA0D;AAC1D,wBAAgB,eAAe,CAAC,OAAO,EAAE,aAAa,GAAG,aAAa,EAAE,CAgCvE;AA4BD;;;GAGG;AACH,wBAAgB,UAAU,CACxB,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,EACrE,YAAY,GAAE,yBAA8B,GAC3C,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAuExC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signals.d.ts","sourceRoot":"","sources":["../../../src/answer-account/signals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EACV,OAAO,EACP,aAAa,EACb,QAAQ,EAER,MAAM,EACN,WAAW,EACZ,MAAM,YAAY,CAAC;AACpB,OAAO,
|
|
1
|
+
{"version":3,"file":"signals.d.ts","sourceRoot":"","sources":["../../../src/answer-account/signals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EACV,OAAO,EACP,aAAa,EACb,QAAQ,EAER,MAAM,EACN,WAAW,EACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAML,KAAK,WAAW,EACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAU,KAAK,SAAS,EAAqB,MAAM,kBAAkB,CAAC;AAG7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D,4FAA4F;AAC5F,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,oFAAoF;IACpF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,+FAA+F;IAC/F,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,SAAS,aAAa,EAAE,CAAC;IACnD,QAAQ,CAAC,WAAW,EAAE,SAAS,WAAW,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,OAAO,EAAE,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,SAAS,OAAO,EAAE,CAAC;IAC3C,iEAAiE;IACjE,QAAQ,CAAC,aAAa,EAAE,SAAS,aAAa,EAAE,CAAC;IACjD,yGAAyG;IACzG,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAID,wBAAgB,SAAS,CACvB,GAAG,EAAE,WAAW,EAChB,UAAU,EAAE,cAAc,EAC1B,KAAK,EAAE,SAAS,EAChB,MAAM,EAAE,SAAS;AACjB,oHAAoH;AACpH,SAAS,GAAE,aAA+C,GACzD,UAAU,CA6SZ;AAED,kDAAkD;AAClD,wBAAgB,UAAU,CACxB,GAAG,EAAE,WAAW,EAChB,MAAM,EAAE,UAAU,EAClB,KAAK,EAAE,SAAS,EAChB,SAAS,GAAE,aAA+C,GACzD,QAAQ,EAAE,CAgGZ;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,GAAG,KAAK,GAAG,SAAS,CAAC;CAClD;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,GAAG,EAAE,WAAW,EAChB,MAAM,EAAE,UAAU,EAClB,QAAQ,EAAE,OAAO,EACjB,SAAS,GAAE,aAA+C,GACzD,WAAW,CAUb"}
|
|
@@ -0,0 +1,60 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The account's size — README law 8 in its OWN unit, and its one authority.
|
|
3
|
+
*
|
|
4
|
+
* The contract is in serialized bytes: the account at most `ACCOUNT_BYTES`,
|
|
5
|
+
* the op's body (`{ account, shown }`) at most `BODY_BYTES` — the UTF-8 bytes
|
|
6
|
+
* of the JSON a reader is sent, escaping included (`lib/boundedJson.ts` ·
|
|
7
|
+
* `jsonBytes`). A cut in characters per field cannot add up to that: JSON
|
|
8
|
+
* writes a control character or a lone surrogate as six bytes, UTF-8 a BMP
|
|
9
|
+
* character as up to three, a sentence carries each value three times
|
|
10
|
+
* (`text`, `parts`, `vars`), and a pointer repeats its identity on every line
|
|
11
|
+
* that names its event. So the bound is not composed from the fields — it is
|
|
12
|
+
* MEASURED, here, on what the account serializes to.
|
|
13
|
+
*
|
|
14
|
+
* {@link fitAccount} is the last step of every account the reader tells:
|
|
15
|
+
*
|
|
16
|
+
* - within the bound (every ordinary record) — the same object, unchanged;
|
|
17
|
+
* - over it — the LISTINGS are fitted, never the judgements: the seven
|
|
18
|
+
* rows' lines and the three fact lists (`calls`, `beforePause`, `inView`)
|
|
19
|
+
* share what the rest of the account leaves, each up to an equal share
|
|
20
|
+
* of what is left (max-min fair, so one long row cannot crowd out the
|
|
21
|
+
* others), in their own order. What a row cannot list is ONE line that
|
|
22
|
+
* counts it (`row.sizeBound`); what a fact list cannot is added to its
|
|
23
|
+
* omitted count (`callsOmitted`, …). Every count, check, chip and status
|
|
24
|
+
* was taken over everything before this step and is kept as it is;
|
|
25
|
+
* - when even the rest is over the bound (only a record built to be: every
|
|
26
|
+
* text at its cut in characters that JSON writes six bytes wide) — the
|
|
27
|
+
* account says this record is too large to explain within the limit,
|
|
28
|
+
* and counts it unread. Never a truncated account that looks whole.
|
|
29
|
+
*
|
|
30
|
+
* The per-field cuts (`FACT_TEXT_CHARS`, `MAX_VAR_CHARS`, the item and
|
|
31
|
+
* long-text budgets) keep an ordinary account readable; this keeps every
|
|
32
|
+
* account within its bound.
|
|
33
|
+
*/
|
|
34
|
+
import type { AnswerAccount } from './types.js';
|
|
35
|
+
/** The account, serialized: at most this many UTF-8 bytes (README law 8). */
|
|
36
|
+
export declare const ACCOUNT_BYTES: number;
|
|
37
|
+
/** The op's body, `{ account, shown }` (`hosting/artifactWire.ts` · `AnswerAccountWireBody`), serialized. */
|
|
38
|
+
export declare const BODY_BYTES: number;
|
|
39
|
+
/** The show-me map's share of the body: what the account and the frame leave (`shown.ts`). */
|
|
40
|
+
export declare const SHOWN_BYTES: number;
|
|
41
|
+
/**
|
|
42
|
+
* An identity a pointer copies from the record — an event's `runtimeStageId`,
|
|
43
|
+
* a history message's `toolCallId` — at most this many serialized bytes
|
|
44
|
+
* (`facts/common.ts` · `boundedPointer`). It rides every pointer into its
|
|
45
|
+
* event, so it is bounded in the contract's unit where it is copied.
|
|
46
|
+
*/
|
|
47
|
+
export declare const POINTER_ID_BYTES = 200;
|
|
48
|
+
/**
|
|
49
|
+
* Max-min fair shares of `available` among `needs`: in order of need, each
|
|
50
|
+
* gets all it needs up to an equal share of what is left; what one does not
|
|
51
|
+
* need is shared by the rest. Deterministic.
|
|
52
|
+
*/
|
|
53
|
+
export declare function fairShares(needs: readonly number[], available: number): number[];
|
|
54
|
+
/**
|
|
55
|
+
* `account` within {@link ACCOUNT_BYTES} — itself when it is (every ordinary
|
|
56
|
+
* record), else its listings fitted as the module doc says; `tooLarge()` when
|
|
57
|
+
* the part that is not a listing is over the bound on its own.
|
|
58
|
+
*/
|
|
59
|
+
export declare function fitAccount(account: AnswerAccount, tooLarge: () => AnswerAccount): AnswerAccount;
|
|
60
|
+
//# sourceMappingURL=size.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"size.d.ts","sourceRoot":"","sources":["../../../src/answer-account/size.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAIH,OAAO,KAAK,EAAE,aAAa,EAAyB,MAAM,YAAY,CAAC;AAEvE,6EAA6E;AAC7E,eAAO,MAAM,aAAa,QAAa,CAAC;AAExC,6GAA6G;AAC7G,eAAO,MAAM,UAAU,QAAa,CAAC;AAKrC,8FAA8F;AAC9F,eAAO,MAAM,WAAW,QAAgD,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,MAAM,CAAC;AAcpC;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAYhF;AAgBD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,aAAa,GAAG,aAAa,CAkD/F"}
|
|
@@ -39,7 +39,7 @@ export interface AccountTemplate {
|
|
|
39
39
|
readonly voucher: TemplateVoucher;
|
|
40
40
|
}
|
|
41
41
|
/** Bumped whenever any template's words change (a pinned digest enforces it). */
|
|
42
|
-
export declare const ANSWER_ACCOUNT_TEMPLATE_SET_VERSION =
|
|
42
|
+
export declare const ANSWER_ACCOUNT_TEMPLATE_SET_VERSION = 14;
|
|
43
43
|
/** The closed table. Ids are `row.part@version` in prose; the version lives on the entry. */
|
|
44
44
|
export declare const ANSWER_ACCOUNT_TEMPLATES: Readonly<{
|
|
45
45
|
'row.asked': AccountTemplate;
|
|
@@ -51,6 +51,7 @@ export declare const ANSWER_ACCOUNT_TEMPLATES: Readonly<{
|
|
|
51
51
|
'row.wrong': AccountTemplate;
|
|
52
52
|
'row.more': AccountTemplate;
|
|
53
53
|
'items.more': AccountTemplate;
|
|
54
|
+
'row.sizeBound': AccountTemplate;
|
|
54
55
|
'items.keptOut': AccountTemplate;
|
|
55
56
|
'chip.saidBy': AccountTemplate;
|
|
56
57
|
'chip.who.person': AccountTemplate;
|
|
@@ -185,6 +186,7 @@ export declare const ANSWER_ACCOUNT_TEMPLATES: Readonly<{
|
|
|
185
186
|
'howSure.check.resultShape': AccountTemplate;
|
|
186
187
|
'howSure.check.namesAndNumbers': AccountTemplate;
|
|
187
188
|
'howSure.check.answerChecks': AccountTemplate;
|
|
189
|
+
'howSure.check.scriptMatch': AccountTemplate;
|
|
188
190
|
'howSure.check.argumentRules': AccountTemplate;
|
|
189
191
|
'howSure.check.argumentSources': AccountTemplate;
|
|
190
192
|
'howSure.check.resultPeriod': AccountTemplate;
|
|
@@ -207,6 +209,7 @@ export declare const ANSWER_ACCOUNT_TEMPLATES: Readonly<{
|
|
|
207
209
|
'howSure.reason.valueUnsupported': AccountTemplate;
|
|
208
210
|
'howSure.reason.valueSurvivedRevision': AccountTemplate;
|
|
209
211
|
'howSure.reason.derivedFromReading': AccountTemplate;
|
|
212
|
+
'howSure.reason.scriptUnmatched': AccountTemplate;
|
|
210
213
|
'howSure.reason.stoppedEarly': AccountTemplate;
|
|
211
214
|
'howSure.reason.stepsUnfinished': AccountTemplate;
|
|
212
215
|
'howSure.reason.negativeProseUnverified': AccountTemplate;
|
|
@@ -233,6 +236,29 @@ export declare const ANSWER_ACCOUNT_TEMPLATES: Readonly<{
|
|
|
233
236
|
'howSure.evidence.off': AccountTemplate;
|
|
234
237
|
'howSure.evidence.keptOut': AccountTemplate;
|
|
235
238
|
'howSure.evidence.notRecorded': AccountTemplate;
|
|
239
|
+
'howSure.script.shown.submitted': AccountTemplate;
|
|
240
|
+
'howSure.script.shown.returned': AccountTemplate;
|
|
241
|
+
'howSure.script.shown.reportedSuccess': AccountTemplate;
|
|
242
|
+
'howSure.script.shown.reportedFailure': AccountTemplate;
|
|
243
|
+
'howSure.script.shown.completed': AccountTemplate;
|
|
244
|
+
'howSure.script.shown.completedWithFailure': AccountTemplate;
|
|
245
|
+
'howSure.script.shown.unknown': AccountTemplate;
|
|
246
|
+
'howSure.script.shown.unknownService': AccountTemplate;
|
|
247
|
+
'howSure.script.shown.withheld': AccountTemplate;
|
|
248
|
+
'howSure.script.withheld': AccountTemplate;
|
|
249
|
+
'howSure.script.rewritten': AccountTemplate;
|
|
250
|
+
'howSure.script.unmatched': AccountTemplate;
|
|
251
|
+
'howSure.script.shown.more': AccountTemplate;
|
|
252
|
+
'howSure.script.attached.returned': AccountTemplate;
|
|
253
|
+
'howSure.script.attached.reportedSuccess': AccountTemplate;
|
|
254
|
+
'howSure.script.attached.reportedFailure': AccountTemplate;
|
|
255
|
+
'howSure.script.attached.completed': AccountTemplate;
|
|
256
|
+
'howSure.script.attached.completedWithFailure': AccountTemplate;
|
|
257
|
+
'howSure.script.attached.unknown': AccountTemplate;
|
|
258
|
+
'howSure.script.attached.cut': AccountTemplate;
|
|
259
|
+
'howSure.script.attached.notInText': AccountTemplate;
|
|
260
|
+
'howSure.script.attached.omitted': AccountTemplate;
|
|
261
|
+
'howSure.script.attached.more': AccountTemplate;
|
|
236
262
|
'signal.decidedNotDelivered': AccountTemplate;
|
|
237
263
|
'signal.existenceNotChecked': AccountTemplate;
|
|
238
264
|
'signal.existenceNotChecked.full': AccountTemplate;
|
|
@@ -269,6 +295,8 @@ export declare const ANSWER_ACCOUNT_TEMPLATES: Readonly<{
|
|
|
269
295
|
'row.notInRecord': AccountTemplate;
|
|
270
296
|
'scope.keptOut': AccountTemplate;
|
|
271
297
|
'row.keptOut': AccountTemplate;
|
|
298
|
+
'scope.tooLarge': AccountTemplate;
|
|
299
|
+
'row.tooLarge': AccountTemplate;
|
|
272
300
|
'scope.unfiltered': AccountTemplate;
|
|
273
301
|
'summary.signal': AccountTemplate;
|
|
274
302
|
'summary.signals': AccountTemplate;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"templates.d.ts","sourceRoot":"","sources":["../../../src/answer-account/templates.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,CAAC;AAE9E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;CACnC;AAED,iFAAiF;AACjF,eAAO,MAAM,mCAAmC,KAAK,CAAC;AAKtD,6FAA6F;AAC7F,eAAO,MAAM,wBAAwB
|
|
1
|
+
{"version":3,"file":"templates.d.ts","sourceRoot":"","sources":["../../../src/answer-account/templates.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,CAAC;AAE9E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;CACnC;AAED,iFAAiF;AACjF,eAAO,MAAM,mCAAmC,KAAK,CAAC;AAKtD,6FAA6F;AAC7F,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6nBO,CAAC;AAE7C,MAAM,MAAM,UAAU,GAAG,MAAM,OAAO,wBAAwB,CAAC"}
|
|
@@ -30,6 +30,7 @@ import type { MemoryIdentity } from '../memory/identity/types.js';
|
|
|
30
30
|
import type { SelfExplainBinding } from '../trace-toolpack/selfExplain.js';
|
|
31
31
|
import { type ChildOutcome } from './terminalVerdict.js';
|
|
32
32
|
import type { ResolvedEvidenceGate } from './agent/evidence/types.js';
|
|
33
|
+
import type { ResolvedScriptTravel } from './agent/scripts/types.js';
|
|
33
34
|
import type { Injection, InjectionContext } from '../injection-engine/types.js';
|
|
34
35
|
import type { CursorMove, EntryScoring, TurnRoutingPlan } from '../injection-engine/skillGraph.js';
|
|
35
36
|
import { type ResolvedOutputFallback } from './outputFallback.js';
|
|
@@ -236,6 +237,12 @@ export declare class Agent extends RunnerBase<AgentInput, AgentOutput> {
|
|
|
236
237
|
* primitives does not consult it.
|
|
237
238
|
*/
|
|
238
239
|
private readonly limitsTravelWithTheAnswerValue;
|
|
240
|
+
/**
|
|
241
|
+
* `.scriptTravelsWithTheAnswer()` — the resolved arm, or undefined for every
|
|
242
|
+
* agent that did not ask. With `code: 'match'` on the gate it arms the
|
|
243
|
+
* script record (`scriptRecordArmed`); alone it also picks the final stage.
|
|
244
|
+
*/
|
|
245
|
+
private readonly scriptTravel?;
|
|
239
246
|
private readonly skillGraphCascade?;
|
|
240
247
|
/** Side channel for the conversation's inherited skill cursor (SG-C) —
|
|
241
248
|
* stashed by `applyContinuation`, consumed-and-cleared by seed. */
|
|
@@ -664,7 +671,7 @@ export declare class Agent extends RunnerBase<AgentInput, AgentOutput> {
|
|
|
664
671
|
readonly strictness: 'assist' | 'guard' | 'rails';
|
|
665
672
|
readonly continuity: 'turn' | 'conversation';
|
|
666
673
|
readonly nodeIds: ReadonlySet<string>;
|
|
667
|
-
}, skillBrains?: import('./agent/skillBrains.js').FoldedSkillBrains, evidenceGate?: ResolvedEvidenceGate, limitsTravelWithTheAnswer?: boolean, recipes?: readonly AppliedRecipe[], skillGraphDeclared?: SkillGraphDeclaredMap, mapsPlan?: import('../maps/engagement/types.js').EngagementPlan, claimContract?: readonly import('../integrity/unsupported-claim/check.js').DeclaredClaim[], answerValidationConfig?: ResolvedAnswerValidation, systemPromptCacheExplicit?: boolean, negativeClaimsConfig?: ResolvedNegativeClaims);
|
|
674
|
+
}, skillBrains?: import('./agent/skillBrains.js').FoldedSkillBrains, evidenceGate?: ResolvedEvidenceGate, limitsTravelWithTheAnswer?: boolean, recipes?: readonly AppliedRecipe[], skillGraphDeclared?: SkillGraphDeclaredMap, mapsPlan?: import('../maps/engagement/types.js').EngagementPlan, claimContract?: readonly import('../integrity/unsupported-claim/check.js').DeclaredClaim[], answerValidationConfig?: ResolvedAnswerValidation, systemPromptCacheExplicit?: boolean, negativeClaimsConfig?: ResolvedNegativeClaims, scriptTravel?: ResolvedScriptTravel);
|
|
668
675
|
static create(opts: AgentOptions): AgentBuilder;
|
|
669
676
|
/**
|
|
670
677
|
* Cache policy for the base system prompt. Read by the CacheDecision
|