@thoughtproof/goat-plugin 0.1.0 → 0.1.1
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/dist/actions/sentinel.d.ts.map +1 -1
- package/dist/actions/sentinel.js +7 -2
- package/dist/actions/sentinel.js.map +1 -1
- package/dist/adapters/http-thoughtproof.d.ts.map +1 -1
- package/dist/adapters/http-thoughtproof.js +16 -10
- package/dist/adapters/http-thoughtproof.js.map +1 -1
- package/dist/adapters/types.d.ts +10 -7
- package/dist/adapters/types.d.ts.map +1 -1
- package/dist/adapters/types.js +3 -3
- package/package.json +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"sentinel.d.ts","sourceRoot":"","sources":["../../src/actions/sentinel.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,KAAK,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;
|
|
1
|
+
{"version":3,"file":"sentinel.d.ts","sourceRoot":"","sources":["../../src/actions/sentinel.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,KAAK,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAa3G;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,mBAAmB,GAC3B,gBAAgB,CAAC,mBAAmB,EAAE,oBAAoB,CAAC,CAgB7D"}
|
package/dist/actions/sentinel.js
CHANGED
|
@@ -1,8 +1,13 @@
|
|
|
1
1
|
import { z } from 'zod';
|
|
2
2
|
const inputSchema = z.object({
|
|
3
3
|
claim: z.string().min(1, 'claim must not be empty — the agent reasoning or planned action to verify'),
|
|
4
|
-
|
|
5
|
-
|
|
4
|
+
evidence: z.string().optional().describe('Supporting evidence or context for the claim'),
|
|
5
|
+
mode: z.enum(['handoff', 'plan_revision', 'memory_write', 'output_synthesis', 'trade_execution'])
|
|
6
|
+
.optional()
|
|
7
|
+
.describe('Sentinel verification mode (default: output_synthesis)'),
|
|
8
|
+
tier: z.enum(['checkpoint', 'standard'])
|
|
9
|
+
.optional()
|
|
10
|
+
.describe('Verification tier: checkpoint (~$0.003, fast) or standard (~$0.005, cascade)'),
|
|
6
11
|
});
|
|
7
12
|
/**
|
|
8
13
|
* Pre-execution verification via ThoughtProof Sentinel.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"sentinel.js","sourceRoot":"","sources":["../../src/actions/sentinel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,2EAA2E,CAAC;IACrG,
|
|
1
|
+
{"version":3,"file":"sentinel.js","sourceRoot":"","sources":["../../src/actions/sentinel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,2EAA2E,CAAC;IACrG,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8CAA8C,CAAC;IACxF,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,eAAe,EAAE,cAAc,EAAE,kBAAkB,EAAE,iBAAiB,CAAC,CAAC;SAC9F,QAAQ,EAAE;SACV,QAAQ,CAAC,wDAAwD,CAAC;IACrE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;SACrC,QAAQ,EAAE;SACV,QAAQ,CAAC,8EAA8E,CAAC;CAC5F,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAA4B;IAE5B,OAAO;QACL,IAAI,EAAE,uBAAuB;QAC7B,WAAW,EACT,gFAAgF;YAChF,kGAAkG;YAClG,sEAAsE;YACtE,oEAAoE;QACtE,SAAS,EAAE,MAAM;QACjB,oBAAoB,EAAE,KAAK;QAC3B,QAAQ,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC;QAC1C,cAAc,EAAE,WAAW;QAC3B,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK;YACtB,OAAO,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC;KACF,CAAC;AACJ,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"http-thoughtproof.d.ts","sourceRoot":"","sources":["../../src/adapters/http-thoughtproof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,cAAc,EACd,WAAW,EACX,YAAY,EACZ,YAAY,EAEb,MAAM,YAAY,CAAC;AA6BpB;;;;;;;;;GASG;AACH,qBAAa,uBAAwB,YAAW,mBAAmB;IACjE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IACtC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAChC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAa;IACzC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAe;IACvC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAS;IACzC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;gBAEvB,MAAM,GAAE,kBAAuB;IAa3C,kDAAkD;IAClD,IAAI,aAAa,IAAI,OAAO,CAE3B;IAED,OAAO,CAAC,OAAO;
|
|
1
|
+
{"version":3,"file":"http-thoughtproof.d.ts","sourceRoot":"","sources":["../../src/adapters/http-thoughtproof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,cAAc,EACd,WAAW,EACX,YAAY,EACZ,YAAY,EAEb,MAAM,YAAY,CAAC;AA6BpB;;;;;;;;;GASG;AACH,qBAAa,uBAAwB,YAAW,mBAAmB;IACjE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IACtC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAChC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAa;IACzC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAe;IACvC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAS;IACzC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;gBAEvB,MAAM,GAAE,kBAAuB;IAa3C,kDAAkD;IAClD,IAAI,aAAa,IAAI,OAAO,CAE3B;IAED,OAAO,CAAC,OAAO;IAaf;;;;;;OAMG;YACW,UAAU;YAwFV,gBAAgB;IA2CxB,cAAc,CAAC,KAAK,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAyB/F,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC;IA0B7E,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC;IAyBvE,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC;CAqB1D"}
|
|
@@ -56,11 +56,16 @@ export class HttpThoughtProofAdapter {
|
|
|
56
56
|
get isX402Enabled() {
|
|
57
57
|
return !!this.x402Signer || this.fetchFn !== fetch;
|
|
58
58
|
}
|
|
59
|
-
headers() {
|
|
59
|
+
headers(backend = 'rv') {
|
|
60
60
|
const h = { 'Content-Type': 'application/json' };
|
|
61
61
|
// API key auth only when NOT using x402
|
|
62
62
|
if (this.apiKey && !this.x402Signer) {
|
|
63
|
-
|
|
63
|
+
if (backend === 'sentinel') {
|
|
64
|
+
h['X-Sentinel-Key'] = this.apiKey;
|
|
65
|
+
}
|
|
66
|
+
else {
|
|
67
|
+
h['X-API-Key'] = this.apiKey;
|
|
68
|
+
}
|
|
64
69
|
}
|
|
65
70
|
return h;
|
|
66
71
|
}
|
|
@@ -132,7 +137,7 @@ export class HttpThoughtProofAdapter {
|
|
|
132
137
|
signal,
|
|
133
138
|
});
|
|
134
139
|
}
|
|
135
|
-
async fetchWithTimeout(url, body, timeoutMs, signal) {
|
|
140
|
+
async fetchWithTimeout(url, body, timeoutMs, signal, backend = 'rv') {
|
|
136
141
|
const start = Date.now();
|
|
137
142
|
const makeSignal = () => {
|
|
138
143
|
const elapsed = Date.now() - start;
|
|
@@ -142,7 +147,7 @@ export class HttpThoughtProofAdapter {
|
|
|
142
147
|
};
|
|
143
148
|
const init = {
|
|
144
149
|
method: 'POST',
|
|
145
|
-
headers: this.headers(),
|
|
150
|
+
headers: this.headers(backend),
|
|
146
151
|
body: JSON.stringify(body),
|
|
147
152
|
signal: makeSignal(),
|
|
148
153
|
};
|
|
@@ -165,15 +170,16 @@ export class HttpThoughtProofAdapter {
|
|
|
165
170
|
async sentinelVerify(input, signal) {
|
|
166
171
|
const body = {
|
|
167
172
|
claim: input.claim,
|
|
168
|
-
|
|
169
|
-
|
|
173
|
+
evidence: input.evidence ?? '',
|
|
174
|
+
mode: input.mode ?? 'output_synthesis',
|
|
175
|
+
...(input.tier && { tier: input.tier }),
|
|
170
176
|
};
|
|
171
|
-
const raw = await this.fetchWithTimeout(`${this.sentinelBase}/sentinel/verify`, body, this.sentinelTimeout, signal);
|
|
177
|
+
const raw = await this.fetchWithTimeout(`${this.sentinelBase}/sentinel/verify`, body, this.sentinelTimeout, signal, 'sentinel');
|
|
172
178
|
return {
|
|
173
179
|
verdict: raw.verdict,
|
|
174
180
|
confidence: raw.confidence ?? 0,
|
|
175
|
-
reasons: raw.
|
|
176
|
-
requestId: raw.request_id ?? raw.requestId ?? '',
|
|
181
|
+
reasons: [raw.reasoning ?? ''],
|
|
182
|
+
requestId: raw.id ?? raw.request_id ?? raw.requestId ?? '',
|
|
177
183
|
latencyMs: raw._latencyMs,
|
|
178
184
|
};
|
|
179
185
|
}
|
|
@@ -184,7 +190,7 @@ export class HttpThoughtProofAdapter {
|
|
|
184
190
|
tier: input.tier,
|
|
185
191
|
...(input.domain && { domain: input.domain }),
|
|
186
192
|
};
|
|
187
|
-
const raw = await this.fetchWithTimeout(`${this.rvBase}/v1/
|
|
193
|
+
const raw = await this.fetchWithTimeout(`${this.rvBase}/v1/check`, body, this.rvTimeout, signal);
|
|
188
194
|
return {
|
|
189
195
|
verdict: raw.verdict,
|
|
190
196
|
confidence: raw.confidence ?? 0,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"http-thoughtproof.js","sourceRoot":"","sources":["../../src/adapters/http-thoughtproof.ts"],"names":[],"mappings":"AAaA,MAAM,oBAAoB,GAAG,kCAAkC,CAAC;AAChE,MAAM,cAAc,GAAG,6BAA6B,CAAC;AACrD,MAAM,wBAAwB,GAAG,MAAM,CAAC;AACxC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAEnC;;;GAGG;AACH,SAAS,oBAAoB,CAAC,WAAmB;IAC/C,sEAAsE;IACtE,MAAM,IAAI,GAAG,OAAO,MAAM,KAAK,WAAW;QACxC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,OAAgC;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,OAAO,OAAO,MAAM,KAAK,WAAW;QAClC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC/C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,uBAAuB;IACjB,YAAY,CAAS;IACrB,MAAM,CAAS;IACf,MAAM,CAAU;IAChB,UAAU,CAAc;IACxB,gBAAgB,CAAU;IAC1B,OAAO,CAAe;IACtB,eAAe,CAAS;IACxB,SAAS,CAAS;IAEnC,YAAY,SAA6B,EAAE;QACzC,IAAI,CAAC,YAAY,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,oBAAoB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACxF,IAAI,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,cAAc,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC5B,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;QACpC,IAAI,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9F,IAAI,CAAC,eAAe,GAAG,MAAM,CAAC,iBAAiB,IAAI,wBAAwB,CAAC;QAC5E,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,WAAW,IAAI,kBAAkB,CAAC;QAE1D,8EAA8E;QAC9E,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC;IAC3C,CAAC;IAED,kDAAkD;IAClD,IAAI,aAAa;QACf,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC;IACrD,CAAC;IAEO,OAAO;
|
|
1
|
+
{"version":3,"file":"http-thoughtproof.js","sourceRoot":"","sources":["../../src/adapters/http-thoughtproof.ts"],"names":[],"mappings":"AAaA,MAAM,oBAAoB,GAAG,kCAAkC,CAAC;AAChE,MAAM,cAAc,GAAG,6BAA6B,CAAC;AACrD,MAAM,wBAAwB,GAAG,MAAM,CAAC;AACxC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAEnC;;;GAGG;AACH,SAAS,oBAAoB,CAAC,WAAmB;IAC/C,sEAAsE;IACtE,MAAM,IAAI,GAAG,OAAO,MAAM,KAAK,WAAW;QACxC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,OAAgC;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,OAAO,OAAO,MAAM,KAAK,WAAW;QAClC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC/C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,uBAAuB;IACjB,YAAY,CAAS;IACrB,MAAM,CAAS;IACf,MAAM,CAAU;IAChB,UAAU,CAAc;IACxB,gBAAgB,CAAU;IAC1B,OAAO,CAAe;IACtB,eAAe,CAAS;IACxB,SAAS,CAAS;IAEnC,YAAY,SAA6B,EAAE;QACzC,IAAI,CAAC,YAAY,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,oBAAoB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACxF,IAAI,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,cAAc,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC5B,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;QACpC,IAAI,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9F,IAAI,CAAC,eAAe,GAAG,MAAM,CAAC,iBAAiB,IAAI,wBAAwB,CAAC;QAC5E,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,WAAW,IAAI,kBAAkB,CAAC;QAE1D,8EAA8E;QAC9E,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC;IAC3C,CAAC;IAED,kDAAkD;IAClD,IAAI,aAAa;QACf,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC;IACrD,CAAC;IAEO,OAAO,CAAC,UAA6B,IAAI;QAC/C,MAAM,CAAC,GAA2B,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC;QACzE,wCAAwC;QACxC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACpC,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;gBAC3B,CAAC,CAAC,gBAAgB,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,CAAC,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YAC/B,CAAC;QACH,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,UAAU,CACtB,GAAa,EACb,GAAW,EACX,IAAiB,EACjB,MAAoB;QAEpB,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CACb,gFAAgF;gBAChF,uEAAuE,CACxE,CAAC;QACJ,CAAC;QAED,MAAM,qBAAqB,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAClE,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,gEAAgE;gBAChE,sCAAsC,CACvC,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,oBAAoB,CAAC,qBAAqB,CAAC,CAAC;QAEjE,iEAAiE;QACjE,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC1B,MAAM,eAAe,GAAG,YAAY,CAAC,MAAM,IAAI,YAAY,CAAC,iBAAiB,CAAC;YAC9E,IAAI,eAAe,IAAI,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBAC/E,MAAM,IAAI,KAAK,CACb,oCAAoC,eAAe,wCAAwC,IAAI,CAAC,gBAAgB,IAAI;oBACpH,4EAA4E,CAC7E,CAAC;YACJ,CAAC;QACH,CAAC;QAED,gEAAgE;QAChE,kEAAkE;QAClE,MAAM,SAAS,GAAG,YAAY,CAAC,SAKlB,CAAC;QAEd,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,oDAAoD;YACpD,kEAAkE;YAClE,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC;gBACpD,MAAM,EAAG,YAAY,CAAC,MAAkC,IAAI,EAAE;gBAC9D,KAAK,EAAG,YAAY,CAAC,KAA+D,IAAI,EAAE;gBAC1F,WAAW,EAAG,YAAY,CAAC,WAAsB,IAAI,SAAS;gBAC9D,OAAO,EAAG,YAAY,CAAC,OAAmC,IAAI,YAAY;aAC3E,CAAC,CAAC;YAEH,MAAM,cAAc,GAAG;gBACrB,SAAS;gBACT,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO;gBAC/B,MAAM,EAAE,YAAY,CAAC,MAAM,IAAI,OAAO;aACvC,CAAC;YAEF,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE;gBACvB,GAAG,IAAI;gBACP,OAAO,EAAE;oBACP,GAAG,IAAI,CAAC,OAAiC;oBACzC,mBAAmB,EAAE,sBAAsB,CAAC,cAAc,CAAC;iBAC5D;gBACD,MAAM;aACP,CAAC,CAAC;QACL,CAAC;QAED,sDAAsD;QACtD,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QAEjE,MAAM,cAAc,GAAG;YACrB,SAAS;YACT,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO;YAC/B,MAAM,EAAE,YAAY,CAAC,MAAM,IAAI,OAAO;SACvC,CAAC;QAEF,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE;YACvB,GAAG,IAAI;YACP,OAAO,EAAE;gBACP,GAAG,IAAI,CAAC,OAAiC;gBACzC,mBAAmB,EAAE,sBAAsB,CAAC,cAAc,CAAC;aAC5D;YACD,MAAM;SACP,CAAC,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,gBAAgB,CAC5B,GAAW,EACX,IAAa,EACb,SAAiB,EACjB,MAAoB,EACpB,UAA6B,IAAI;QAEjC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEzB,MAAM,UAAU,GAAG,GAAgB,EAAE;YACnC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;YACnC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC;YACvD,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACrD,OAAO,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QAC3E,CAAC,CAAC;QAEF,MAAM,IAAI,GAAgB;YACxB,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;YAC9B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAC1B,MAAM,EAAE,UAAU,EAAE;SACrB,CAAC;QAEF,IAAI,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAExC,2DAA2D;QAC3D,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAgB;gBAC7B,GAAG,IAAI;gBACP,MAAM,EAAE,UAAU,EAAE,EAAE,sCAAsC;aAC7D,CAAC;YACF,GAAG,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;QACjE,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YAC9C,MAAM,IAAI,KAAK,CAAC,0BAA0B,GAAG,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;QACnE,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAA6B,CAAC;QACzD,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAa,CAAC;IAChE,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,KAA0B,EAAE,MAAoB;QACnE,MAAM,IAAI,GAAG;YACX,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;YAC9B,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,kBAAkB;YACtC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;SACxC,CAAC;QAEF,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,gBAAgB,CACrC,GAAG,IAAI,CAAC,YAAY,kBAAkB,EACtC,IAAI,EACJ,IAAI,CAAC,eAAe,EACpB,MAAM,EACN,UAAU,CACgB,CAAC;QAE7B,OAAO;YACL,OAAO,EAAE,GAAG,CAAC,OAA0C;YACvD,UAAU,EAAG,GAAG,CAAC,UAAqB,IAAI,CAAC;YAC3C,OAAO,EAAE,CAAE,GAAG,CAAC,SAAoB,IAAI,EAAE,CAAC;YAC1C,SAAS,EAAG,GAAG,CAAC,EAAa,IAAK,GAAG,CAAC,UAAqB,IAAK,GAAG,CAAC,SAAoB,IAAI,EAAE;YAC9F,SAAS,EAAE,GAAG,CAAC,UAAoB;SACpC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,KAAoB,EAAE,MAAoB;QACvD,MAAM,IAAI,GAAG;YACX,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;YAChD,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;SAC9C,CAAC;QAEF,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,gBAAgB,CACrC,GAAG,IAAI,CAAC,MAAM,WAAW,EACzB,IAAI,EACJ,IAAI,CAAC,SAAS,EACd,MAAM,CACoB,CAAC;QAE7B,OAAO;YACL,OAAO,EAAE,GAAG,CAAC,OAAoC;YACjD,UAAU,EAAG,GAAG,CAAC,UAAqB,IAAI,CAAC;YAC3C,UAAU,EAAG,GAAG,CAAC,UAAqB,IAAI,EAAE;YAC5C,QAAQ,EAAG,GAAG,CAAC,QAAmB,IAAI,EAAE;YACxC,SAAS,EAAG,GAAG,CAAC,SAAoB,IAAI,EAAE;YAC1C,SAAS,EAAG,GAAG,CAAC,UAAqB,IAAK,GAAG,CAAC,SAAoB,IAAI,EAAE;YACxE,SAAS,EAAE,GAAG,CAAC,UAAoB;SACpC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,KAAkB,EAAE,MAAoB;QACnD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9E,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,KAAK,UAAU;YACtC,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,YAAY,CAAC;QACjB,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;QAEpF,MAAM,IAAI,GAAG;YACX,UAAU,EAAE,KAAK,CAAC,SAAS;YAC3B,SAAS,EAAE,KAAK,CAAC,SAAS;SAC3B,CAAC;QAEF,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,gBAAgB,CACrC,GAAG,OAAO,GAAG,IAAI,EAAE,EACnB,IAAI,EACJ,OAAO,EACP,MAAM,CACoB,CAAC;QAE7B,OAAO;YACL,aAAa,EAAG,GAAG,CAAC,cAAyB,IAAK,GAAG,CAAC,aAAwB,IAAI,EAAE;YACpF,MAAM,EAAG,GAAG,CAAC,OAAkB,IAAK,GAAG,CAAC,MAAiB;SAC1D,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,MAAoB;QAC/B,MAAM,KAAK,GAAG,KAAK,EAAE,GAAW,EAAE,OAAe,EAAoD,EAAE;YACrG,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE;oBAClC,MAAM,EAAE,KAAK;oBACb,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC;iBACxG,CAAC,CAAC;gBACH,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;YAC5D,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;YAC3D,CAAC;QACH,CAAC,CAAC;QAEF,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACvC,KAAK,CAAC,GAAG,IAAI,CAAC,YAAY,kBAAkB,EAAE,MAAM,CAAC;YACrD,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,YAAY,EAAE,MAAM,CAAC;SAC1C,CAAC,CAAC;QAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC1B,CAAC;CACF"}
|
package/dist/adapters/types.d.ts
CHANGED
|
@@ -1,9 +1,9 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* ThoughtProof API adapter types.
|
|
3
3
|
*
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
* - RV: api.thoughtproof.ai/v1/
|
|
4
|
+
* Two backend APIs:
|
|
5
|
+
* - Sentinel: sentinel.thoughtproof.ai/sentinel/verify
|
|
6
|
+
* - RV: api.thoughtproof.ai/v1/check
|
|
7
7
|
*/
|
|
8
8
|
export type Verdict = 'ALLOW' | 'BLOCK' | 'UNCERTAIN';
|
|
9
9
|
/**
|
|
@@ -56,13 +56,16 @@ export interface ThoughtProofConfig {
|
|
|
56
56
|
sentinelTimeoutMs?: number;
|
|
57
57
|
rvTimeoutMs?: number;
|
|
58
58
|
}
|
|
59
|
+
export type SentinelMode = 'handoff' | 'plan_revision' | 'memory_write' | 'output_synthesis' | 'trade_execution';
|
|
59
60
|
export interface SentinelVerifyInput {
|
|
60
61
|
/** The agent's reasoning or planned action to verify */
|
|
61
62
|
claim: string;
|
|
62
|
-
/**
|
|
63
|
-
|
|
64
|
-
/**
|
|
65
|
-
|
|
63
|
+
/** Supporting evidence for the claim */
|
|
64
|
+
evidence?: string;
|
|
65
|
+
/** Sentinel verification mode (default: output_synthesis) */
|
|
66
|
+
mode?: SentinelMode;
|
|
67
|
+
/** Verification tier: checkpoint (~$0.003, fast) or standard (~$0.005, cascade) */
|
|
68
|
+
tier?: 'checkpoint' | 'standard';
|
|
66
69
|
}
|
|
67
70
|
export interface SentinelVerifyOutput {
|
|
68
71
|
verdict: Verdict;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/adapters/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,MAAM,MAAM,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,WAAW,CAAC;AAEtD;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,8EAA8E;IAC9E,aAAa,CAAC,CAAC,IAAI,EAAE;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC,CAAC;QAC7D,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KAClC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACpB,gCAAgC;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,kBAAkB;IACjC,wEAAwE;IACxE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,6DAA6D;IAC7D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,+EAA+E;IAC/E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;;;OAOG;IACH,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB;;;;OAIG;IACH,SAAS,CAAC,EAAE,OAAO,KAAK,CAAC;IACzB,iFAAiF;IACjF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAeD,MAAM,WAAW,mBAAmB;IAClC,wDAAwD;IACxD,KAAK,EAAE,MAAM,CAAC;IACd,
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/adapters/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,MAAM,MAAM,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,WAAW,CAAC;AAEtD;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,8EAA8E;IAC9E,aAAa,CAAC,CAAC,IAAI,EAAE;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC,CAAC;QAC7D,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KAClC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACpB,gCAAgC;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,kBAAkB;IACjC,wEAAwE;IACxE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,6DAA6D;IAC7D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,+EAA+E;IAC/E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;;;OAOG;IACH,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB;;;;OAIG;IACH,SAAS,CAAC,EAAE,OAAO,KAAK,CAAC;IACzB,iFAAiF;IACjF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAeD,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,eAAe,GAAG,cAAc,GAAG,kBAAkB,GAAG,iBAAiB,CAAC;AAEjH,MAAM,WAAW,mBAAmB;IAClC,wDAAwD;IACxD,KAAK,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,6DAA6D;IAC7D,IAAI,CAAC,EAAE,YAAY,CAAC;IACpB,mFAAmF;IACnF,IAAI,CAAC,EAAE,YAAY,GAAG,UAAU,CAAC;CAClC;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,6BAA6B;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB;AAID,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG,MAAM,CAAC;AAEzC,MAAM,WAAW,aAAa;IAC5B,0CAA0C;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd,qCAAqC;IACrC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,yBAAyB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,4DAA4D;IAC5D,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,oCAAoC;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,kCAAkC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,6BAA6B;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB;AAID,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,IAAI,CAAC;AAElD,MAAM,WAAW,WAAW;IAC1B,0CAA0C;IAC1C,MAAM,EAAE,iBAAiB,CAAC;IAC1B,oDAAoD;IACpD,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,YAAY;IAC3B,8DAA8D;IAC9D,aAAa,EAAE,MAAM,CAAC;IACtB,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAID,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IAClD,EAAE,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CAC7C;AAID,MAAM,WAAW,mBAAmB;IAClC,cAAc,CAAC,KAAK,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAChG,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC9E,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACxE,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;CACrD"}
|
package/dist/adapters/types.js
CHANGED
|
@@ -1,9 +1,9 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* ThoughtProof API adapter types.
|
|
3
3
|
*
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
* - RV: api.thoughtproof.ai/v1/
|
|
4
|
+
* Two backend APIs:
|
|
5
|
+
* - Sentinel: sentinel.thoughtproof.ai/sentinel/verify
|
|
6
|
+
* - RV: api.thoughtproof.ai/v1/check
|
|
7
7
|
*/
|
|
8
8
|
export {};
|
|
9
9
|
//# sourceMappingURL=types.js.map
|
package/package.json
CHANGED