@sponsio/sdk 0.1.0 → 0.2.0-alpha.10
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/contracts/benchmark/agentdojo.yaml +551 -0
- package/contracts/benchmark/odcv_bench.yaml +393 -0
- package/contracts/benchmark/redcode_exec.yaml +488 -0
- package/contracts/benchmark/swebench.yaml +176 -0
- package/contracts/benchmark/tau2_bench.yaml +984 -0
- package/contracts/capability/destructive.yaml +213 -0
- package/contracts/capability/factual-claims.yaml +79 -0
- package/contracts/capability/host-config-integrity.yaml +42 -9
- package/contracts/capability/self-modify.yaml +58 -12
- package/contracts/capability/shell.yaml +19 -10
- package/contracts/incident/claude-code-secret-bypass.yaml +48 -16
- package/contracts/incident/cursor-railway-wipe.yaml +60 -4
- package/contracts/incident/openclaw.yaml +9 -62
- package/contracts/premium/.gitkeep +5 -6
- package/dist/cli/cli.js +32 -0
- package/dist/cli/cli.js.map +1 -1
- package/dist/cli/packs.d.ts.map +1 -1
- package/dist/cli/packs.js +14 -8
- package/dist/cli/packs.js.map +1 -1
- package/dist/cli/patterns.d.ts +5 -4
- package/dist/cli/patterns.d.ts.map +1 -1
- package/dist/cli/patterns.js +11 -10
- package/dist/cli/patterns.js.map +1 -1
- package/dist/cli/prompt.js +5 -5
- package/dist/cli/prompt.js.map +1 -1
- package/dist/cli/scan.js +2 -2
- package/dist/cli/skill.d.ts +1 -1
- package/dist/cli/skill.js +1 -1
- package/dist/cli/validate.js +5 -5
- package/dist/cli/validate.js.map +1 -1
- package/dist/cloud/client.d.ts +76 -0
- package/dist/cloud/client.d.ts.map +1 -0
- package/dist/cloud/client.js +204 -0
- package/dist/cloud/client.js.map +1 -0
- package/dist/cloud/evidence.d.ts +108 -0
- package/dist/cloud/evidence.d.ts.map +1 -0
- package/dist/cloud/evidence.js +184 -0
- package/dist/cloud/evidence.js.map +1 -0
- package/dist/cloud/privacy.d.ts +67 -0
- package/dist/cloud/privacy.d.ts.map +1 -0
- package/dist/cloud/privacy.js +170 -0
- package/dist/cloud/privacy.js.map +1 -0
- package/dist/cloud/view-model.d.ts +49 -0
- package/dist/cloud/view-model.d.ts.map +1 -0
- package/dist/cloud/view-model.js +172 -0
- package/dist/cloud/view-model.js.map +1 -0
- package/dist/core/config-loader.d.ts.map +1 -1
- package/dist/core/config-loader.js +81 -9
- package/dist/core/config-loader.js.map +1 -1
- package/dist/core/evaluator.d.ts +11 -1
- package/dist/core/evaluator.d.ts.map +1 -1
- package/dist/core/evaluator.js +275 -13
- package/dist/core/evaluator.js.map +1 -1
- package/dist/core/formula.d.ts +76 -17
- package/dist/core/formula.d.ts.map +1 -1
- package/dist/core/formula.js +95 -1
- package/dist/core/formula.js.map +1 -1
- package/dist/core/grounding.d.ts +44 -8
- package/dist/core/grounding.d.ts.map +1 -1
- package/dist/core/grounding.js +208 -26
- package/dist/core/grounding.js.map +1 -1
- package/dist/core/nl-parser.d.ts +2 -2
- package/dist/core/nl-parser.d.ts.map +1 -1
- package/dist/core/nl-parser.js +617 -41
- package/dist/core/nl-parser.js.map +1 -1
- package/dist/core/pack-loader.d.ts.map +1 -1
- package/dist/core/pack-loader.js +14 -2
- package/dist/core/pack-loader.js.map +1 -1
- package/dist/core/parser.d.ts.map +1 -1
- package/dist/core/parser.js +30 -1
- package/dist/core/parser.js.map +1 -1
- package/dist/core/pattern-factory.d.ts.map +1 -1
- package/dist/core/pattern-factory.js +14 -1
- package/dist/core/pattern-factory.js.map +1 -1
- package/dist/core/patterns.d.ts +118 -1
- package/dist/core/patterns.d.ts.map +1 -1
- package/dist/core/patterns.js +189 -10
- package/dist/core/patterns.js.map +1 -1
- package/dist/core/session-log.d.ts.map +1 -1
- package/dist/core/session-log.js +20 -1
- package/dist/core/session-log.js.map +1 -1
- package/dist/core/sto.d.ts +21 -27
- package/dist/core/sto.d.ts.map +1 -1
- package/dist/core/sto.js +30 -33
- package/dist/core/sto.js.map +1 -1
- package/dist/core/tool-names.d.ts +59 -0
- package/dist/core/tool-names.d.ts.map +1 -0
- package/dist/core/tool-names.js +128 -0
- package/dist/core/tool-names.js.map +1 -0
- package/dist/index.d.ts +181 -32
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +415 -67
- package/dist/index.js.map +1 -1
- package/dist/integrations/claude-agent.d.ts +5 -0
- package/dist/integrations/claude-agent.d.ts.map +1 -1
- package/dist/integrations/claude-agent.js +42 -13
- package/dist/integrations/claude-agent.js.map +1 -1
- package/dist/integrations/google-adk.d.ts +5 -3
- package/dist/integrations/google-adk.d.ts.map +1 -1
- package/dist/integrations/google-adk.js +9 -5
- package/dist/integrations/google-adk.js.map +1 -1
- package/dist/integrations/langchain.d.ts +7 -0
- package/dist/integrations/langchain.d.ts.map +1 -1
- package/dist/integrations/langchain.js +21 -3
- package/dist/integrations/langchain.js.map +1 -1
- package/dist/integrations/openai-agents.d.ts +22 -10
- package/dist/integrations/openai-agents.d.ts.map +1 -1
- package/dist/integrations/openai-agents.js +55 -15
- package/dist/integrations/openai-agents.js.map +1 -1
- package/dist/integrations/openai.d.ts +11 -0
- package/dist/integrations/openai.d.ts.map +1 -1
- package/dist/integrations/openai.js +130 -48
- package/dist/integrations/openai.js.map +1 -1
- package/dist/integrations/vercel-ai.d.ts +20 -9
- package/dist/integrations/vercel-ai.d.ts.map +1 -1
- package/dist/integrations/vercel-ai.js +131 -32
- package/dist/integrations/vercel-ai.js.map +1 -1
- package/package.json +17 -9
- package/prompts/onboard.md +26 -17
- package/prompts/scan.md +3 -5
- package/skills/SKILL.md +13 -83
- package/contracts/core/llm_safety.yaml +0 -140
- package/prompts/refresh.md +0 -118
package/dist/index.d.ts
CHANGED
|
@@ -20,6 +20,7 @@
|
|
|
20
20
|
* if (result.blocked) { ... }
|
|
21
21
|
*/
|
|
22
22
|
import { AgentTurnSpan } from "./core/spans.js";
|
|
23
|
+
import { CloudClient } from "./cloud/client.js";
|
|
23
24
|
import type { DetFormula } from "./core/patterns.js";
|
|
24
25
|
import type { JudgeClient, JudgeConfig, StoContextSnapshot } from "./core/sto.js";
|
|
25
26
|
export { evaluate } from "./core/evaluator.js";
|
|
@@ -35,6 +36,12 @@ export { SessionLogger, rotateSessions } from "./core/session-log.js";
|
|
|
35
36
|
export type { SessionRecord, SessionLoggerOptions, } from "./core/session-log.js";
|
|
36
37
|
export { contract, ContractBuilder } from "./contract.js";
|
|
37
38
|
export { parseScore, CloudFeatureError } from "./core/sto.js";
|
|
39
|
+
export { CloudClient, CloudError, readApiKey, readProject, baseUrl, } from "./cloud/client.js";
|
|
40
|
+
export type { PulledRulebook, CloudClientOptions } from "./cloud/client.js";
|
|
41
|
+
export { LEVELS as PRIVACY_LEVELS } from "./cloud/privacy.js";
|
|
42
|
+
export type { PrivacyLevel } from "./cloud/privacy.js";
|
|
43
|
+
export { buildViewModel, newSessionId } from "./cloud/view-model.js";
|
|
44
|
+
export type { RunSpan, ViewModelInput } from "./cloud/view-model.js";
|
|
38
45
|
export type { StoEvaluator, StoContract, StoInput, StoResult, StoContextSnapshot, JudgeClient, JudgeConfig, } from "./core/sto.js";
|
|
39
46
|
/**
|
|
40
47
|
* One det violation, with enough structure to feed into downstream
|
|
@@ -61,9 +68,28 @@ export type { StoEvaluator, StoContract, StoInput, StoResult, StoContextSnapshot
|
|
|
61
68
|
* - ``alternatives`` is an optional list of suggested replacement
|
|
62
69
|
* actions for blocked / redirected outcomes.
|
|
63
70
|
*/
|
|
71
|
+
/**
|
|
72
|
+
* What the runtime did about one violation, mirroring Python's
|
|
73
|
+
* ``DetViolation.action``. Every derived verdict property reads this
|
|
74
|
+
* rather than a separate boolean, so a new outcome cannot be added
|
|
75
|
+
* without every consumer seeing it.
|
|
76
|
+
*
|
|
77
|
+
* ``blocked`` and ``redirected`` both stop the original call and are the
|
|
78
|
+
* members of the stopping set; ``escalated`` hands the decision to a
|
|
79
|
+
* human without stopping, and ``observed`` / ``warned`` record only.
|
|
80
|
+
*/
|
|
81
|
+
export type DetAction = "blocked" | "redirected" | "escalated" | "observed" | "warned";
|
|
82
|
+
/** Actions after which the original tool call must NOT run. */
|
|
83
|
+
export declare const STOPPING_ACTIONS: ReadonlySet<DetAction>;
|
|
84
|
+
/** Parity with Python's ``is_stopping_action``. */
|
|
85
|
+
export declare function isStoppingAction(action: DetAction): boolean;
|
|
64
86
|
export interface DetViolation {
|
|
65
87
|
/** Human-readable contract description (``DetFormula.desc``). */
|
|
66
88
|
desc: string;
|
|
89
|
+
/** What the runtime did. Absent on rows written before this field existed. */
|
|
90
|
+
action?: DetAction;
|
|
91
|
+
/** The tool to call instead, set when ``action`` is ``redirected``. */
|
|
92
|
+
redirectedTo?: string;
|
|
67
93
|
/** Formatted ``"[WOULD-]BLOCKED: agent.tool — det constraint …"``. */
|
|
68
94
|
message: string;
|
|
69
95
|
/** Stable rule identifier (pattern name / contract id). */
|
|
@@ -98,15 +124,49 @@ export interface CheckResult {
|
|
|
98
124
|
*/
|
|
99
125
|
detViolations: DetViolation[];
|
|
100
126
|
/**
|
|
101
|
-
* Sto-pipeline violations
|
|
102
|
-
* the
|
|
103
|
-
*
|
|
104
|
-
*
|
|
105
|
-
* ``
|
|
106
|
-
*
|
|
127
|
+
* Sto-pipeline violations. Not part of this build (the engine is
|
|
128
|
+
* deterministic-only). Always ``[]`` on the TS SDK (the ctor
|
|
129
|
+
* rejects yaml sto contracts at load time and never builds a
|
|
130
|
+
* judge). External subclasses can populate this with results from
|
|
131
|
+
* stochastic contracts (``tone`` / ``llm_judge`` / ``injection_free``
|
|
132
|
+
* / ...). Kept on the schema so dashboards / session loggers branch
|
|
133
|
+
* consistently across both surfaces.
|
|
107
134
|
*/
|
|
108
135
|
stoViolations: DetViolation[];
|
|
136
|
+
/** True when any violation returned an escalate outcome. */
|
|
137
|
+
escalated: boolean;
|
|
138
|
+
/** True when any violation returned a redirect outcome. */
|
|
139
|
+
redirected: boolean;
|
|
140
|
+
/** The substitute tool named by the first redirect, if any. */
|
|
141
|
+
redirectedTo?: string;
|
|
142
|
+
/**
|
|
143
|
+
* True when the original tool call must NOT run.
|
|
144
|
+
*
|
|
145
|
+
* **This is the gate an adapter branches on, not `blocked`.** A
|
|
146
|
+
* redirect leaves `blocked` false and `allowed` true, because the
|
|
147
|
+
* agent flow continues down the safe path; a caller reading `blocked`
|
|
148
|
+
* would run the exact call the contract forbade. Adapters that can
|
|
149
|
+
* substitute should branch on `redirected` / `redirectedTo` first and
|
|
150
|
+
* dispatch the safe tool; those that cannot must gate on this, so a
|
|
151
|
+
* redirect fails closed.
|
|
152
|
+
*/
|
|
153
|
+
stopOriginal: boolean;
|
|
154
|
+
/** Det and sto violations together, in that order. */
|
|
155
|
+
allViolations: DetViolation[];
|
|
156
|
+
/**
|
|
157
|
+
* True if any sto violation asked for a retry. Always false in this
|
|
158
|
+
* build: the engine is deterministic-only and `stoViolations` is
|
|
159
|
+
* always empty. Present so an adapter written against one runtime
|
|
160
|
+
* reads the same on the other.
|
|
161
|
+
*/
|
|
162
|
+
needsRetry: boolean;
|
|
109
163
|
}
|
|
164
|
+
/**
|
|
165
|
+
* Fill the derived half of a verdict from the violations' actions. One
|
|
166
|
+
* place, so a new `DetAction` cannot be handled inconsistently across
|
|
167
|
+
* the several sites that build a `CheckResult`.
|
|
168
|
+
*/
|
|
169
|
+
export declare function deriveVerdict(detViolations: DetViolation[], stoViolations?: DetViolation[]): Pick<CheckResult, "blocked" | "escalated" | "redirected" | "redirectedTo" | "stopOriginal" | "allViolations" | "needsRetry">;
|
|
110
170
|
export type SponsoMode = "enforce" | "observe";
|
|
111
171
|
export interface SponsoOptions {
|
|
112
172
|
/** Logical agent id — used for session log paths. */
|
|
@@ -130,7 +190,11 @@ export interface SponsoOptions {
|
|
|
130
190
|
/**
|
|
131
191
|
* Runtime mode. Precedence (matches the Python SDK):
|
|
132
192
|
*
|
|
133
|
-
* SPONSIO_MODE env > ctor arg > yaml runtime.mode
|
|
193
|
+
* SPONSIO_MODE env > ctor arg > yaml runtime.mode
|
|
194
|
+
* > yaml defaults.mode > yaml top-level mode: > "observe"
|
|
195
|
+
*
|
|
196
|
+
* A contract may also carry its own `mode:` in yaml, which overrides
|
|
197
|
+
* whatever the global resolution lands on — for that contract alone.
|
|
134
198
|
*
|
|
135
199
|
* ``observe`` (the default) logs every would-have-blocked decision
|
|
136
200
|
* to ``~/.sponsio/sessions/<agent_id>/*.jsonl`` without actually
|
|
@@ -148,13 +212,13 @@ export interface SponsoOptions {
|
|
|
148
212
|
/** Override session log base dir (tests / alternative layouts). */
|
|
149
213
|
sessionLogBaseDir?: string;
|
|
150
214
|
/**
|
|
151
|
-
* Judge config for the sto pipeline. **
|
|
152
|
-
* Either a plain config object
|
|
153
|
-
* baseUrl / fallbackMode) or a pre-built
|
|
154
|
-
* TS SDK accepts the option for shared-yaml
|
|
155
|
-
* never constructs a judge
|
|
156
|
-
*
|
|
157
|
-
*
|
|
215
|
+
* Judge config for the sto pipeline. **Not supported in this build**
|
|
216
|
+
* (the engine is deterministic-only). Either a plain config object
|
|
217
|
+
* (provider / model / apiKey / baseUrl / fallbackMode) or a pre-built
|
|
218
|
+
* ``JudgeClient``. The TS SDK accepts the option for shared-yaml
|
|
219
|
+
* compatibility but never constructs a judge: passing this surfaces
|
|
220
|
+
* a warning via the skipped-items path and the field is otherwise
|
|
221
|
+
* ignored.
|
|
158
222
|
*/
|
|
159
223
|
judge?: JudgeConfig | JudgeClient;
|
|
160
224
|
}
|
|
@@ -170,7 +234,45 @@ export declare class Sponsio {
|
|
|
170
234
|
private _violations;
|
|
171
235
|
private _logger;
|
|
172
236
|
private _turnSpans;
|
|
237
|
+
private _runSpans;
|
|
238
|
+
private _sessionId;
|
|
239
|
+
private _startedAt;
|
|
240
|
+
private _rulebookStamp;
|
|
173
241
|
constructor(options?: SponsoOptions);
|
|
242
|
+
/**
|
|
243
|
+
* Predicates whose truth depends on the *contents* of a tool call's
|
|
244
|
+
* arguments. If a call arrives with no arguments, none of these keys is
|
|
245
|
+
* written and the evaluator reads a missing key as false, which makes
|
|
246
|
+
* ``argBlacklist`` (``!arg_field_has(...)``) report "satisfied" for a
|
|
247
|
+
* call nothing looked at. Mirrors Python's
|
|
248
|
+
* ``BaseGuard._ARG_SHAPED_PREDICATES``.
|
|
249
|
+
*/
|
|
250
|
+
private static readonly ARG_SHAPED_PREDICATES;
|
|
251
|
+
/** Canonical names of the tools some contract reads the arguments of. */
|
|
252
|
+
private _toolsNeedingArgs;
|
|
253
|
+
/** ``[tool, field]`` pairs some ``arg_numeric`` rule reads. */
|
|
254
|
+
private _numericRuleTargets;
|
|
255
|
+
/**
|
|
256
|
+
* Refuse a call whose argument rules cannot be evaluated.
|
|
257
|
+
*
|
|
258
|
+
* Two cases, both of which used to read as "not violated":
|
|
259
|
+
*
|
|
260
|
+
* - The call arrived with no arguments (``{}``, ``undefined``, ``null``)
|
|
261
|
+
* but some rule reads this tool's arguments. An adapter that loses the
|
|
262
|
+
* arguments, a partial streamed call or a malformed payload all land
|
|
263
|
+
* here, and every argument check would pass vacuously.
|
|
264
|
+
* - A field an ``arg_numeric`` rule bounds is present but is not a
|
|
265
|
+
* number (``"five thousand"``). Grounding leaves ``arg_numeric`` unset
|
|
266
|
+
* and the evaluator reads the gap as 0, which passes every upper
|
|
267
|
+
* bound. An absent field is left alone: CLI-flag and positional rules
|
|
268
|
+
* on ``Bash`` legitimately see calls without their flag.
|
|
269
|
+
*
|
|
270
|
+
* ``SPONSIO_ALLOW_MISSING_ARGS=1`` restores the permissive behaviour.
|
|
271
|
+
* Mirrors Python ``BaseGuard._args_unevaluable`` and
|
|
272
|
+
* ``_unreadable_numeric_arg``; both block under rule id
|
|
273
|
+
* ``args:unevaluable``.
|
|
274
|
+
*/
|
|
275
|
+
private _unevaluableArgs;
|
|
174
276
|
/**
|
|
175
277
|
* Check a tool call against contracts before execution.
|
|
176
278
|
*
|
|
@@ -197,6 +299,28 @@ export declare class Sponsio {
|
|
|
197
299
|
turnSpans(): AgentTurnSpan[];
|
|
198
300
|
/** Drop accumulated turn spans (used between sessions in tests). */
|
|
199
301
|
resetSession(): void;
|
|
302
|
+
/**
|
|
303
|
+
* This run, in the shape the cloud stores.
|
|
304
|
+
*
|
|
305
|
+
* Exposed so a caller can see exactly what would be uploaded before
|
|
306
|
+
* uploading anything, which is the question a customer under a data
|
|
307
|
+
* agreement asks first.
|
|
308
|
+
*/
|
|
309
|
+
viewModel(): Record<string, unknown>;
|
|
310
|
+
/**
|
|
311
|
+
* Upload this run.
|
|
312
|
+
*
|
|
313
|
+
* Best-effort by construction: it resolves false rather than throwing,
|
|
314
|
+
* because losing telemetry must never change what an agent does, and a
|
|
315
|
+
* rejected upload at the end of a run is not a reason to fail the run.
|
|
316
|
+
* Silent only about the network; a misconfiguration is worth saying
|
|
317
|
+
* once, since the symptom otherwise is a customer with no runs and no
|
|
318
|
+
* explanation.
|
|
319
|
+
*/
|
|
320
|
+
uploadSession(opts?: {
|
|
321
|
+
project?: string | null;
|
|
322
|
+
client?: CloudClient;
|
|
323
|
+
}): Promise<boolean>;
|
|
200
324
|
/**
|
|
201
325
|
* Render the end-of-session view to ``out`` (defaults to stderr) —
|
|
202
326
|
* banner, contracts armed, trace tree, verdict, perf, CTA. Mirrors
|
|
@@ -247,26 +371,51 @@ export declare class Sponsio {
|
|
|
247
371
|
* violations the same way they branch on ``guardBefore``. In
|
|
248
372
|
* enforce mode, ``blocked: true`` rolls back the synthetic event.
|
|
249
373
|
*/
|
|
374
|
+
/**
|
|
375
|
+
* Record a claim-verification verdict in the trace and check the
|
|
376
|
+
* contracts that reference it.
|
|
377
|
+
*
|
|
378
|
+
* Grounds `claim_emitted(pred)`, `evidence_verdict(pred, V)` and
|
|
379
|
+
* `evidence_action(pred, a)` at one timestep, so contracts built from
|
|
380
|
+
* `claimRequiresEvidence` / `underdeterminedMustClarify` can decide.
|
|
381
|
+
* No verdict is computed here: the atoms restate what
|
|
382
|
+
* `/v1/evidence/verify` answered.
|
|
383
|
+
*
|
|
384
|
+
* Parity with feeding `EvidenceResult.to_event()` through Python's
|
|
385
|
+
* trace path.
|
|
386
|
+
*/
|
|
387
|
+
observeEvidence(predicate: string, verdict: string, action: string): CheckResult;
|
|
250
388
|
observeResponse(content: string, opts?: {
|
|
251
389
|
segment?: string;
|
|
252
390
|
}): CheckResult;
|
|
391
|
+
/**
|
|
392
|
+
* Check one synthetic (non-tool-call) event against every contract.
|
|
393
|
+
*
|
|
394
|
+
* The output lane and the evidence lane both push an event that is not
|
|
395
|
+
* a tool call and then judge the trace. Sharing the body keeps their
|
|
396
|
+
* verdicts identical: a second copy is how one lane ends up with a
|
|
397
|
+
* rollback the other lacks.
|
|
398
|
+
*
|
|
399
|
+
* `label` names the subject in violation messages and session logs.
|
|
400
|
+
*/
|
|
401
|
+
private _checkSynthetic;
|
|
253
402
|
private _logViolations;
|
|
254
403
|
private _logAllow;
|
|
255
404
|
/**
|
|
256
405
|
* Record tool output after execution.
|
|
257
406
|
*
|
|
258
|
-
*
|
|
259
|
-
* (LLM-judged) atoms are
|
|
260
|
-
*
|
|
261
|
-
* are rejected at config
|
|
262
|
-
* ``[]`` and ``allowed: true``.
|
|
407
|
+
* This build ships **no sto pipeline** (the engine is deterministic-only).
|
|
408
|
+
* Stochastic (LLM-judged) atoms are the extension point that would
|
|
409
|
+
* populate ``stoViolations``; with no external implementation and no
|
|
410
|
+
* sto contracts loaded (sto entries in yaml are rejected at config
|
|
411
|
+
* load), ``stoViolations`` is always ``[]`` and ``allowed: true``.
|
|
263
412
|
*
|
|
264
|
-
* The method stays ``async`` for API parity
|
|
265
|
-
*
|
|
266
|
-
*
|
|
267
|
-
*
|
|
268
|
-
*
|
|
269
|
-
*
|
|
413
|
+
* The method stays ``async`` for API parity: an external subclass
|
|
414
|
+
* or wrapper can run the judge pipeline and surface real
|
|
415
|
+
* ``stoViolations`` without changing the call site. In **enforce
|
|
416
|
+
* mode** such subclasses can flip ``blocked: true`` on the first
|
|
417
|
+
* sto violation; the tool output has already executed, so the
|
|
418
|
+
* caller is responsible for routing the result (retry with
|
|
270
419
|
* feedback, redirect to safe, etc.).
|
|
271
420
|
*/
|
|
272
421
|
guardAfter(_toolName: string, _output?: string): Promise<CheckResult>;
|
|
@@ -279,13 +428,13 @@ export declare class Sponsio {
|
|
|
279
428
|
/**
|
|
280
429
|
* Stash per-turn context for the sto pipeline.
|
|
281
430
|
*
|
|
282
|
-
*
|
|
283
|
-
*
|
|
284
|
-
*
|
|
285
|
-
*
|
|
286
|
-
*
|
|
287
|
-
*
|
|
288
|
-
* consumed.
|
|
431
|
+
* Not supported in this build (the engine is deterministic-only).
|
|
432
|
+
* Atoms that need grounding (``relevance`` -> ``query``,
|
|
433
|
+
* ``hallucination_free`` -> ``source``, ``scope_respect`` ->
|
|
434
|
+
* ``scope`` override, ``metric_integrity`` -> ``history``) would
|
|
435
|
+
* read from this snapshot on the next ``guardAfter`` call. This
|
|
436
|
+
* build accepts the call as a no-op so shared agent code can stay
|
|
437
|
+
* framework-neutral; the snapshot is never consumed.
|
|
289
438
|
*
|
|
290
439
|
* Merges with any previously-set context; pass ``{ query: undefined }``
|
|
291
440
|
* to explicitly clear a field. ``reset()`` clears the whole snapshot.
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAsBH,OAAO,EACL,aAAa,EAKd,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,WAAW,EAAe,MAAM,mBAAmB,CAAC;AAO7D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EACV,WAAW,EACX,WAAW,EAEX,kBAAkB,EAEnB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,YAAY,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EACL,WAAW,EACX,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACtE,YAAY,EACV,aAAa,EACb,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,EACL,WAAW,EACX,UAAU,EACV,UAAU,EACV,WAAW,EACX,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,EAAE,MAAM,IAAI,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAC9D,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACrE,YAAY,EACV,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,SAAS,EACT,kBAAkB,EAClB,WAAW,EACX,WAAW,GACZ,MAAM,eAAe,CAAC;AAEvB;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,GACjB,SAAS,GACT,YAAY,GACZ,WAAW,GACX,UAAU,GACV,QAAQ,CAAC;AAEb,+DAA+D;AAC/D,eAAO,MAAM,gBAAgB,EAAE,WAAW,CAAC,SAAS,CAGlD,CAAC;AAEH,mDAAmD;AACnD,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAE3D;AAED,MAAM,WAAW,YAAY;IAC3B,iEAAiE;IACjE,IAAI,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,uEAAuE;IACvE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,sEAAsE;IACtE,OAAO,EAAE,MAAM,CAAC;IAChB,2DAA2D;IAC3D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,4EAA4E;IAC5E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sEAAsE;IACtE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,YAAY,EAAE,EAC1B,QAAQ,GAAE,MAA6B,GACtC,MAAM,CAUR;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;OAIG;IACH,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B;;;;;;;;OAQG;IACH,aAAa,EAAE,YAAY,EAAE,CAAC;IAS9B,4DAA4D;IAC5D,SAAS,EAAE,OAAO,CAAC;IACnB,2DAA2D;IAC3D,UAAU,EAAE,OAAO,CAAC;IACpB,+DAA+D;IAC/D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;;;;;;OAUG;IACH,YAAY,EAAE,OAAO,CAAC;IACtB,sDAAsD;IACtD,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B;;;;;OAKG;IACH,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,aAAa,EAAE,YAAY,EAAE,EAC7B,aAAa,GAAE,YAAY,EAAO,GACjC,IAAI,CACL,WAAW,EACT,SAAS,GACT,WAAW,GACX,YAAY,GACZ,cAAc,GACd,cAAc,GACd,eAAe,GACf,YAAY,CACf,CAcA;AAED,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;AAE/C,MAAM,WAAW,aAAa;IAC5B,qDAAqD;IACrD,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,oFAAoF;IACpF,SAAS,CAAC,EAAE,CAAC,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC;IAEpC;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB;;;;;;;;;;;;OAYG;IACH,IAAI,CAAC,EAAE,UAAU,CAAC;IAElB;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IAErB,mEAAmE;IACnE,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAE3B;;;;;;;;OAQG;IACH,KAAK,CAAC,EAAE,WAAW,GAAG,WAAW,CAAC;CACnC;AAED,qBAAa,OAAO;IAClB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,OAAO,CAAC,UAAU,CAAe;IAIjC,OAAO,CAAC,aAAa,CAAgB;IACrC,OAAO,CAAC,WAAW,CAAqB;IACxC,OAAO,CAAC,MAAM,CAAc;IAC5B,OAAO,CAAC,MAAM,CAAiB;IAC/B,OAAO,CAAC,aAAa,CAA8B;IACnD,OAAO,CAAC,WAAW,CAAW;IAC9B,OAAO,CAAC,OAAO,CAAuB;IACtC,OAAO,CAAC,UAAU,CAAuB;IAKzC,OAAO,CAAC,SAAS,CAAiB;IAClC,OAAO,CAAC,UAAU,CAAkB;IACpC,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,cAAc,CAAqB;gBAE/B,OAAO,GAAE,aAAkB;IA8GvC;;;;;;;OAOG;IACH,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAO3C;IAEF,yEAAyE;IACzE,OAAO,CAAC,iBAAiB;IAWzB,+DAA+D;IAC/D,OAAO,CAAC,mBAAmB;IAS3B;;;;;;;;;;;;;;;;;;;OAmBG;IACH,OAAO,CAAC,gBAAgB;IAwDxB;;;;;;;;;;;;OAYG;IACH,0EAA0E;IAC1E,aAAa,IAAI,MAAM,EAAE;IAIzB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GAAG,WAAW;IA8J9E;;;;;;OAMG;IACH,SAAS,IAAI,aAAa,EAAE;IAI5B,oEAAoE;IACpE,YAAY,IAAI,IAAI;IAOpB;;;;;;OAMG;IACH,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAepC;;;;;;;;;OASG;IACG,aAAa,CACjB,IAAI,GAAE;QAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,MAAM,CAAC,EAAE,WAAW,CAAA;KAAO,GAC3D,OAAO,CAAC,OAAO,CAAC;IAsBnB;;;;;OAKG;IACH,aAAa,CAAC,IAAI,GAAE;QAClB,GAAG,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;QAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,GAAG,CAAC,EAAE,MAAM,CAAC;QACb,GAAG,CAAC,EAAE,MAAM,CAAC;QACb,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;QAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;KACf,GAAG,IAAI;IAUb,6EAA6E;IAC7E,OAAO,CAAC,cAAc;IAgBtB;;;;;;;;;OASG;IACH,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI;IAUlD;;;;;OAKG;IACH,eAAe,CAAC,IAAI,EAAE;QACpB,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;QAC5B,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,GAAG,IAAI;IAUR;;;;;;;;;OASG;IACH;;;;;;;;;;;;OAYG;IACH,eAAe,CACb,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,GACb,WAAW;IASd,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,GAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,WAAW;IAS9E;;;;;;;;;OASG;IACH,OAAO,CAAC,eAAe;IA6FvB,OAAO,CAAC,cAAc;IAoBtB,OAAO,CAAC,SAAS;IAYjB;;;;;;;;;;;;;;;;OAgBG;IACG,UAAU,CACd,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE,MAAW,GACnB,OAAO,CAAC,WAAW,CAAC;IAOvB;;;;OAIG;IACH,KAAK,IAAI,IAAI;IAUb;;;;;;;;;;;;;OAaG;IACH,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,IAAI;IAIlD;;OAEG;IACH,IAAI,UAAU,IAAI,MAAM,EAAE,CAEzB;IAED;;;OAGG;IACH,OAAO,IAAI,MAAM;IAKjB;;;;;;OAMG;IACH,YAAY,IAAI,IAAI;CAGrB"}
|