@mneme-ai/core 2.23.1 → 2.23.2
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/squadron/acgv.d.ts.map +1 -1
- package/dist/squadron/acgv.js +127 -1
- package/dist/squadron/acgv.js.map +1 -1
- package/dist/squadron/acgv_explain.d.ts.map +1 -1
- package/dist/squadron/acgv_explain.js +58 -0
- package/dist/squadron/acgv_explain.js.map +1 -1
- package/dist/squadron/acgv_v23_2.test.d.ts +2 -0
- package/dist/squadron/acgv_v23_2.test.d.ts.map +1 -0
- package/dist/squadron/acgv_v23_2.test.js +127 -0
- package/dist/squadron/acgv_v23_2.test.js.map +1 -0
- package/dist/squadron/hyperbole_detector.d.ts +41 -0
- package/dist/squadron/hyperbole_detector.d.ts.map +1 -0
- package/dist/squadron/hyperbole_detector.js +61 -0
- package/dist/squadron/hyperbole_detector.js.map +1 -0
- package/package.json +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"acgv.d.ts","sourceRoot":"","sources":["../../src/squadron/acgv.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAmB,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAyB,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EAAmB,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEpE,OAAO,EAAyC,KAAK,iBAAiB,EAAE,KAAK,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC7H,OAAO,EAAqC,KAAK,YAAY,EAAE,MAAM,mBAAmB,CAAC;
|
|
1
|
+
{"version":3,"file":"acgv.d.ts","sourceRoot":"","sources":["../../src/squadron/acgv.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAmB,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAyB,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EAAmB,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEpE,OAAO,EAAyC,KAAK,iBAAiB,EAAE,KAAK,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC7H,OAAO,EAAqC,KAAK,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAIzF,OAAO,EAAwD,KAAK,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACvG,OAAO,EAAmB,KAAK,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAG/E,MAAM,MAAM,WAAW,GACnB,mBAAmB,GACnB,aAAa,GACb,YAAY,GACZ,QAAQ,GACR,OAAO,GACP,aAAa,CAAC;AAElB,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,uEAAuE;IACvE,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,gDAAgD;IAChD,WAAW,CAAC,EAAE,KAAK,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,UAAU,GAAG,aAAa,GAAG,SAAS,GAAG,YAAY,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzH,wEAAwE;IACxE,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,oDAAoD;IACpD,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,WAAW,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,iEAAiE;IACjE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,gCAAgC;IAChC,MAAM,EAAE;QACN,YAAY,EAAE,YAAY,GAAG,IAAI,CAAC;QAClC,SAAS,EAAE,eAAe,EAAE,CAAC;QAC7B,aAAa,EAAE,mBAAmB,CAAC;QACnC,KAAK,EAAE,WAAW,CAAC;QACnB,UAAU,EAAE,iBAAiB,GAAG,IAAI,CAAC;QACrC,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;QAC5C;mFAC2E;QAC3E,IAAI,CAAC,EAAE,UAAU,CAAC;QAClB;oEAC4D;QAC5D,UAAU,CAAC,EAAE,iBAAiB,CAAC;KAChC,CAAC;IACF,wBAAwB;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,kDAAkD;IAClD,SAAS,EAAE,MAAM,CAAC;IAClB,8CAA8C;IAC9C,cAAc,EAAE,OAAO,CAAC;CACzB;AAaD;6EAC6E;AAC7E;;;;;mCAKmC;AACnC,wBAAsB,YAAY,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,UAAU,GAAG;IAAE,MAAM,EAAE,IAAI,GAAG,eAAe,CAAA;CAAE,CAAC,CAoJhH;AAmBD,wBAAgB,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,UAAU,CAwUvD"}
|
package/dist/squadron/acgv.js
CHANGED
|
@@ -49,6 +49,7 @@ import { godelPostMortem } from "./acgv_godel.js";
|
|
|
49
49
|
import { godelPostMortemZ3 } from "./acgv_godel_z3.js";
|
|
50
50
|
import { evaluateConfession, requestConfession } from "./acgv_confession.js";
|
|
51
51
|
import { checkAgainstVaccines, emitVaccine } from "./acgv_vaccine.js";
|
|
52
|
+
import { detectHyperbole } from "./hyperbole_detector.js";
|
|
52
53
|
import { liveMnemeToolNames } from "./fact_grounding.js";
|
|
53
54
|
import { noteBotOutcome } from "./acgv_stake.js";
|
|
54
55
|
import { primeResonance, twoWitnessAgreement, prtfCertificate } from "./acgv_prtf.js";
|
|
@@ -76,6 +77,32 @@ export async function runACGVAsync(input) {
|
|
|
76
77
|
// Run the sync pipeline up to + including chandrasekhar; we'll upgrade
|
|
77
78
|
// the godel layer with Z3 if available, then re-evaluate the verdict.
|
|
78
79
|
const prelim = runACGV({ ...input, noEmitVaccine: true, noStake: true });
|
|
80
|
+
// v2.23.2 — HYPERBOLE SHORT-CIRCUIT. When the sync layer already fired
|
|
81
|
+
// the hyperbole detector + emitted a verdict, the async wrapper MUST
|
|
82
|
+
// NOT re-run Z3 over the mock chandrasekhar — Z3 has no semantic model
|
|
83
|
+
// for "cured cancer" / "world's best" and returns SAT with a generic
|
|
84
|
+
// BLACK_HOLE certificate, overwriting the precise hyperbole godel core
|
|
85
|
+
// we already built (the audit-fix that surfaced this bug: explainer
|
|
86
|
+
// saw "BLACK_HOLE verdict stands..." instead of "medical-cure :: cured
|
|
87
|
+
// cancer" and rendered a garbled headline). Emit vaccine here too so
|
|
88
|
+
// the runACGVAsync caller (CLI verify) still gets vaccineEmitted=true.
|
|
89
|
+
if (prelim.caveats.includes("HYPERBOLE_DETECTOR_FIRED")) {
|
|
90
|
+
if (!input.noEmitVaccine && !prelim.vaccineEmitted) {
|
|
91
|
+
const sig = prelim.layers.godel.certificate.split("\n")[0] || prelim.summary;
|
|
92
|
+
try {
|
|
93
|
+
emitVaccine(input.repoRoot, input.claim, sig);
|
|
94
|
+
}
|
|
95
|
+
catch { /* best-effort */ }
|
|
96
|
+
prelim.vaccineEmitted = true;
|
|
97
|
+
}
|
|
98
|
+
return { ...prelim, engine: "propositional" };
|
|
99
|
+
}
|
|
100
|
+
// Same short-circuit for INPUT_UNVERIFIABLE — there is no claim text for
|
|
101
|
+
// Z3 or arithmetic to operate on, and re-running them risks injecting
|
|
102
|
+
// noise into a verdict that is already explicit + deterministic.
|
|
103
|
+
if (prelim.caveats.some((c) => c.startsWith("INPUT_UNVERIFIABLE:"))) {
|
|
104
|
+
return { ...prelim, engine: "propositional" };
|
|
105
|
+
}
|
|
79
106
|
// v1.55.0 -- Z3 ARITHMETIC LAYER. Runs alongside the existing pipeline
|
|
80
107
|
// and can fire on claims that have numeric / logical shapes
|
|
81
108
|
// ("between 200 and 500 tools", "Mneme has more than 200 tools", etc).
|
|
@@ -197,10 +224,109 @@ export async function runACGVAsync(input) {
|
|
|
197
224
|
}
|
|
198
225
|
return { ...finalResult, engine: z3Godel.engine };
|
|
199
226
|
}
|
|
227
|
+
// v2.23.2 — explicit input limits + visible verdicts for boundary
|
|
228
|
+
// inputs that previously fell through as silent NONE / PASSTHROUGH.
|
|
229
|
+
// Audit findings: empty / whitespace / null-byte / unicode-only / RTL
|
|
230
|
+
// inputs all returned PASSTHROUGH without a useful rationale; 50K-char
|
|
231
|
+
// inputs got silently truncated. Now: all return IMPOSSIBLE_REFUTE
|
|
232
|
+
// (when adversarial) or PASSTHROUGH with explicit caveat (when benign).
|
|
233
|
+
const MAX_CLAIM_CHARS = 8000;
|
|
234
|
+
function isUnverifiableEmptyish(claim) {
|
|
235
|
+
if (!claim || claim.length === 0)
|
|
236
|
+
return { yes: true, reason: "EMPTY_INPUT" };
|
|
237
|
+
if (/^\s+$/.test(claim))
|
|
238
|
+
return { yes: true, reason: "WHITESPACE_ONLY" };
|
|
239
|
+
// Mostly control chars / null bytes — < 30% printable
|
|
240
|
+
const printable = (claim.match(/[\x20-\x7E\p{L}\p{N}]/gu) ?? []).length;
|
|
241
|
+
if (printable / claim.length < 0.3)
|
|
242
|
+
return { yes: true, reason: "CONTROL_CHAR_ONLY" };
|
|
243
|
+
return { yes: false, reason: "" };
|
|
244
|
+
}
|
|
200
245
|
export function runACGV(input) {
|
|
201
|
-
const
|
|
246
|
+
const rawClaim = input.claim ?? "";
|
|
202
247
|
const repoRoot = input.repoRoot;
|
|
203
248
|
const caveats = [];
|
|
249
|
+
// ───── Layer -1: INPUT VALIDATION (v2.23.2) ───────────────────────────
|
|
250
|
+
// Empty / whitespace / control-char-only inputs return an EXPLICIT
|
|
251
|
+
// verdict + reason instead of silently falling through as PASSTHROUGH.
|
|
252
|
+
// Closes the audit finding "Empty/whitespace/null-byte/Unicode/RTL →
|
|
253
|
+
// silent NONE". Use RAW claim (not trimmed) so whitespace-only inputs
|
|
254
|
+
// are tagged WHITESPACE_ONLY (not EMPTY_INPUT).
|
|
255
|
+
const ish = isUnverifiableEmptyish(rawClaim);
|
|
256
|
+
if (ish.yes) {
|
|
257
|
+
const chandra = {
|
|
258
|
+
verdict: "UNKNOWN_MASS", mass: 0, density: 0, rhoCritLow: 0, rhoCritHigh: 0,
|
|
259
|
+
confidence: 0, citations: [], reasoning: "input was empty / whitespace / control-char-only",
|
|
260
|
+
};
|
|
261
|
+
const godel = { status: "SKIPPED", core: [], certificate: "", upgrade: false };
|
|
262
|
+
return {
|
|
263
|
+
verdict: "PASSTHROUGH",
|
|
264
|
+
confidence: 0.0,
|
|
265
|
+
caveats: [`INPUT_UNVERIFIABLE:${ish.reason}`],
|
|
266
|
+
layers: {
|
|
267
|
+
vaccineMatch: null,
|
|
268
|
+
grounding: [],
|
|
269
|
+
chandrasekhar: chandra,
|
|
270
|
+
godel,
|
|
271
|
+
confession: null,
|
|
272
|
+
confessionRequest: null,
|
|
273
|
+
},
|
|
274
|
+
summary: `INPUT_UNVERIFIABLE (${ish.reason}) — no factual content to verify.`,
|
|
275
|
+
reasoning: `The input did not contain enough printable characters for the verifier to extract any claim. Provide a sentence with at least one specific entity (file / function / version / count) and re-run.`,
|
|
276
|
+
vaccineEmitted: false,
|
|
277
|
+
};
|
|
278
|
+
}
|
|
279
|
+
// Now trim for downstream extraction.
|
|
280
|
+
let claim = rawClaim.trim();
|
|
281
|
+
// Cap oversize inputs to prevent silent truncation downstream + record
|
|
282
|
+
// the cap as a caveat so callers know the verdict applies to the head
|
|
283
|
+
// of the input only (full text not used). Better than silent NONE.
|
|
284
|
+
if (claim.length > MAX_CLAIM_CHARS) {
|
|
285
|
+
caveats.push(`INPUT_TRUNCATED:${MAX_CLAIM_CHARS}/${claim.length}`);
|
|
286
|
+
claim = claim.slice(0, MAX_CLAIM_CHARS);
|
|
287
|
+
}
|
|
288
|
+
// ───── Layer 0a: HYPERBOLE / IMPOSSIBLE-CLAIM DETECTOR (v2.23.2) ──────
|
|
289
|
+
// Catches the audit failure class: "Mneme cured cancer" / "world's
|
|
290
|
+
// best AI" / "reads your mind" used to slip through as PASSTHROUGH
|
|
291
|
+
// (no extractable fact-tuple). Now: hyperbole class fires
|
|
292
|
+
// IMPOSSIBLE_REFUTE deterministically + emits vaccine.
|
|
293
|
+
const hyp = detectHyperbole(claim);
|
|
294
|
+
if (hyp.flagged) {
|
|
295
|
+
const sig = hyp.vaccineSignature;
|
|
296
|
+
if (!input.noEmitVaccine) {
|
|
297
|
+
try {
|
|
298
|
+
emitVaccine(repoRoot, claim, sig);
|
|
299
|
+
}
|
|
300
|
+
catch { /* best-effort */ }
|
|
301
|
+
}
|
|
302
|
+
const chandra = {
|
|
303
|
+
verdict: "BLACK_HOLE", mass: 0, density: 0, rhoCritLow: 0, rhoCritHigh: 0,
|
|
304
|
+
confidence: 0.97, citations: [],
|
|
305
|
+
reasoning: "hyperbole detector matched — claim is in an unverifiable category",
|
|
306
|
+
};
|
|
307
|
+
const godel = {
|
|
308
|
+
status: "UNSAT",
|
|
309
|
+
core: hyp.matches.map((m) => ({ asserted: m.reason, proof: [m.matched] })),
|
|
310
|
+
certificate: hyp.matches.map((m) => `${m.category} :: ${m.matched}`).join("\n"),
|
|
311
|
+
upgrade: true,
|
|
312
|
+
};
|
|
313
|
+
return {
|
|
314
|
+
verdict: "IMPOSSIBLE_REFUTE",
|
|
315
|
+
confidence: 0.97,
|
|
316
|
+
caveats: [...caveats, "HYPERBOLE_DETECTOR_FIRED"],
|
|
317
|
+
layers: {
|
|
318
|
+
vaccineMatch: null,
|
|
319
|
+
grounding: [],
|
|
320
|
+
chandrasekhar: chandra,
|
|
321
|
+
godel,
|
|
322
|
+
confession: null,
|
|
323
|
+
confessionRequest: null,
|
|
324
|
+
},
|
|
325
|
+
summary: `IMPOSSIBLE_REFUTE -- hyperbole detector matched: ${hyp.matches.map((m) => m.category).join(", ")}`,
|
|
326
|
+
reasoning: `The claim asserts something the hyperbole detector classifies as unverifiable in this category:\n${hyp.matches.map((m) => ` - ${m.category}: ${m.reason}\n matched: "${m.matched}"`).join("\n")}`,
|
|
327
|
+
vaccineEmitted: !input.noEmitVaccine,
|
|
328
|
+
};
|
|
329
|
+
}
|
|
204
330
|
// ───── Layer 0: VACCINE CHECK (v2.19.44 OSMOSIS-gated) ────────────────
|
|
205
331
|
//
|
|
206
332
|
// N3-overshoot bug (v2.19.42): vaccine simhash matched a TRUE claim
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"acgv.js","sourceRoot":"","sources":["../../src/squadron/acgv.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAwB,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAA4B,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EAAE,eAAe,EAAoB,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAsB,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAkD,MAAM,sBAAsB,CAAC;AAC7H,OAAO,EAAE,oBAAoB,EAAE,WAAW,EAAqB,MAAM,mBAAmB,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,eAAe,EAAmB,MAAM,gBAAgB,CAAC;AACvG,OAAO,EAAE,eAAe,EAA0B,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAmDtD,MAAM,WAAW,GAAG;IAClB,WAAW,EAAE,qBAAqB;IAClC,UAAU,EAAE,mBAAmB;IAC/B,UAAU,EAAE,wBAAwB;IACpC,KAAK,EAAE,oCAAoC;IAC3C,aAAa,EAAE,wBAAwB;IACvC,kBAAkB,EAAE,oBAAoB;IACxC,kBAAkB,EAAE,4BAA4B;IAChD,eAAe,EAAE,4BAA4B;CACrC,CAAC;AAEX;6EAC6E;AAC7E;;;;;mCAKmC;AACnC,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAmB;IACpD,uEAAuE;IACvE,sEAAsE;IACtE,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzE,uEAAuE;IACvE,4DAA4D;IAC5D,uEAAuE;IACvE,oEAAoE;IACpE,yEAAyE;IACzE,IAAI,UAAyC,CAAC;IAC9C,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClD,UAAU,GAAG,MAAM,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACP,UAAU,GAAG,SAAS,CAAC;IACzB,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,EAAE,CAAC;QACzE,kEAAkE;QAClE,sEAAsE;QACtE,sDAAsD;QACtD,iEAAiE;QACjE,6DAA6D;QAC7D,IAAI,UAAU,IAAI,UAAU,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,EAAE,CAAC;YACzE,OAAO;gBACL,GAAG,MAAM;gBACT,OAAO,EAAE,mBAAmB;gBAC5B,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC3F,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE;gBACxC,OAAO,EAAE,4FAA4F;gBACrG,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACpE,MAAM,EAAE,IAAI;aACb,CAAC;QACJ,CAAC;QACD,uEAAuE;QACvE,sEAAsE;QACtE,qEAAqE;QACrE,sEAAsE;QACtE,IACE,UAAU;YACV,UAAU,CAAC,MAAM,KAAK,KAAK;YAC3B,UAAU,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;YACjC,MAAM,CAAC,OAAO,KAAK,aAAa,EAChC,CAAC;YACD,OAAO;gBACL,GAAG,MAAM;gBACT,OAAO,EAAE,QAAQ;gBACjB,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACzF,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE;gBACxC,OAAO,EAAE,gFAAgF;gBACzF,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACpE,MAAM,EAAE,IAAI;aACb,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,IAAI,eAAe,EAAE,CAAC;IAChH,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,oEAAoE;QACpE,qEAAqE;QACrE,mCAAmC;QACnC,IAAI,UAAU,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YACrC,OAAO;gBACL,GAAG,MAAM;gBACT,OAAO,EAAE,mBAAmB;gBAC5B,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC3F,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE;gBACxC,OAAO,EAAE,wFAAwF;gBACjG,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACpE,MAAM,EAAE,IAAI;aACb,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1F,CAAC;IAED,gEAAgE;IAChE,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,UAAU,EAAE,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,mBAAmB,CAAC;IAE/G,+CAA+C;IAC/C,MAAM,WAAW,GAAe,QAAQ;QACtC,CAAC,CAAC;YACE,GAAG,MAAM;YACT,OAAO,EAAE,mBAAmB;YAC5B,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAChI,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE;YACxD,OAAO,EAAE,2BAA2B,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,kDAAkD,CAAC,CAAC,CAAC,2CAA2C,KAAK,MAAM,CAAC,OAAO,EAAE;YAC3K,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SACnH;QACH,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC;IAE5E,0EAA0E;IAC1E,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,WAAW,CAAC,OAAO,KAAK,mBAAmB,IAAI,WAAW,CAAC,OAAO,KAAK,YAAY,CAAC,EAAE,CAAC;QAClH,MAAM,GAAG,GAAG,GAAG,WAAW,CAAC,OAAO,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS;aAClF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;aACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;aACtB,IAAI,CAAC,KAAK,CAAC,CAAC;QACf,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;QACrE,WAAW,CAAC,cAAc,GAAG,IAAI,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,KAAK,mBAAmB,IAAI,WAAW,CAAC,OAAO,KAAK,YAAY,CAAC;QAC1G,MAAM,cAAc,GAAG,WAAW,CAAC,OAAO,KAAK,QAAQ,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAClC,IAAI,OAAO,GAAmB,IAAI,CAAC;YACnC,IAAI,aAAa,EAAE,CAAC;gBAClB,IAAI,CAAC,CAAC,OAAO,KAAK,aAAa;oBAAE,OAAO,GAAG,IAAI,CAAC;qBAC3C,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;oBAAE,OAAO,GAAG,KAAK,CAAC;YACrD,CAAC;iBAAM,IAAI,cAAc,EAAE,CAAC;gBAC1B,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;oBAAE,OAAO,GAAG,IAAI,CAAC;qBACxC,IAAI,CAAC,CAAC,OAAO,KAAK,aAAa;oBAAE,OAAO,GAAG,KAAK,CAAC;YACxD,CAAC;YACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC;oBAAC,cAAc,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;YACnG,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAmB;IACzC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,yEAAyE;IACzE,EAAE;IACF,oEAAoE;IACpE,qEAAqE;IACrE,oEAAoE;IACpE,oEAAoE;IACpE,EAAE;IACF,0DAA0D;IAC1D,gEAAgE;IAChE,gEAAgE;IAChE,oEAAoE;IACpE,oEAAoE;IACpE,mEAAmE;IACnE,EAAE;IACF,iEAAiE;IACjE,qEAAqE;IACrE,oEAAoE;IACpE,qEAAqE;IACrE,MAAM,YAAY,GAAG,oBAAoB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3D,IAAI,YAAY,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC;QACzC,kEAAkE;QAClE,iEAAiE;QACjE,6DAA6D;QAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,iDAAiD,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChH,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;gBAC1C,KAAK,MAAM,CAAC,IAAI,QAAQ;oBAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;wBAAE,WAAW,IAAI,CAAC,CAAC;YAC5E,CAAC;YAAC,MAAM,CAAC,CAAC,mEAAmE,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;YACtB,8DAA8D;YAC9D,gDAAgD;YAChD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;YACtC,OAAO;gBACL,OAAO,EAAE,aAAa;gBACtB,UAAU,EAAE,IAAI;gBAChB,OAAO;gBACP,MAAM,EAAE;oBACN,YAAY;oBACZ,SAAS,EAAE,EAAE;oBACb,aAAa,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,wBAAwB,EAAE;oBACjK,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,wBAAwB,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC7F,UAAU,EAAE,IAAI;oBAChB,iBAAiB,EAAE,IAAI;iBACxB;gBACD,OAAO,EAAE,qDAAqD,YAAY,CAAC,OAAO,CAAC,EAAE,cAAc,YAAY,CAAC,QAAQ,GAAG;gBAC3H,SAAS,EAAE,4CAA4C,YAAY,CAAC,OAAO,CAAC,SAAS,0BAA0B,YAAY,CAAC,OAAO,CAAC,SAAS,iBAAiB,YAAY,CAAC,OAAO,CAAC,WAAW,qBAAqB;gBACnN,cAAc,EAAE,KAAK;aACtB,CAAC;QACJ,CAAC;QACD,oEAAoE;QACpE,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACvC,0EAA0E;IAC5E,CAAC;IAED,wEAAwE;IACxE,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC;IAChE,IAAI,eAAe;QAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;IAE7D,wEAAwE;IACxE,MAAM,OAAO,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAEjD,4CAA4C;IAC5C,IAAI,OAAO,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACvC,OAAO;YACL,OAAO,EAAE,aAAa;YACtB,UAAU,EAAE,CAAC;YACb,OAAO;YACP,MAAM,EAAE;gBACN,YAAY,EAAE,IAAI;gBAClB,SAAS;gBACT,aAAa,EAAE,OAAO;gBACtB,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,+BAA+B,EAAE,OAAO,EAAE,KAAK,EAAE;gBACpG,UAAU,EAAE,IAAI;gBAChB,iBAAiB,EAAE,IAAI;aACxB;YACD,OAAO,EAAE,4FAA4F;YACrG,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,cAAc,EAAE,KAAK;SACtB,CAAC;IACJ,CAAC;IAED,wEAAwE;IACxE,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAElD,wEAAwE;IACxE,uEAAuE;IACvE,0EAA0E;IAC1E,wEAAwE;IACxE,mEAAmE;IACnE,iCAAiC;IACjC,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7D,IAAI,SAAS,KAAK,UAAU;QAAE,OAAO,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACpE,IAAI,SAAS,KAAK,cAAc;QAAE,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACrE,IAAI,SAAS,KAAK,eAAe;QAAE,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU;QAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAE/D,wEAAwE;IACxE,IAAI,UAAU,GAA6B,IAAI,CAAC;IAChD,IAAI,iBAAiB,GAA6B,IAAI,CAAC;IACvD,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QACxC,8BAA8B;QAC9B,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;QACxE,IAAI,CAAC,UAAU,CAAC,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC;QACxE,IAAI,UAAU,CAAC,YAAY;YAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACxC,oEAAoE;QACpE,yCAAyC;QACzC,iBAAiB,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC;IAC/C,CAAC;IAED,6BAA6B;IAC7B,IAAI,OAAoB,CAAC;IACzB,IAAI,UAAkB,CAAC;IACvB,IAAI,OAAe,CAAC;IACpB,IAAI,SAAiB,CAAC;IAEtB,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,GAAG,mBAAmB,CAAC;QAC9B,UAAU,GAAG,IAAI,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACrC,OAAO,GAAG,8HAA8H,CAAC;QACzI,SAAS,GAAG;YACV,OAAO,CAAC,SAAS;YACjB,EAAE;YACF,KAAK,CAAC,WAAW;SAClB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;SAAM,IAAI,OAAO,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;QAC5C,OAAO,GAAG,YAAY,CAAC;QACvB,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACrC,OAAO,GAAG,0BAA0B,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM,OAAO,OAAO,CAAC,SAAS,CAAC,MAAM,2CAA2C,CAAC;QAC5K,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IAChC,CAAC;SAAM,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACxC,2EAA2E;QAC3E,IAAI,UAAU,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;YAC1C,OAAO,GAAG,YAAY,CAAC;YACvB,UAAU,GAAG,GAAG,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YACrC,OAAO,GAAG,uHAAuH,CAAC;YAClI,SAAS,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,QAAQ,CAAC;YACnB,UAAU,GAAG,UAAU;gBACrB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC,oBAAoB,CAAC;gBACrE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;YACvB,OAAO,GAAG,iFAAiF,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;YACzH,SAAS,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,OAAO,CAAC;QAClB,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO,GAAG,wFAAwF,CAAC;QACnG,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IAChC,CAAC;IAED,wEAAwE;IACxE,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,8CAA8C;IAC9C,IAAI,SAAS,KAAK,cAAc,IAAI,CAAC,OAAO,KAAK,YAAY,IAAI,OAAO,KAAK,mBAAmB,CAAC,EAAE,CAAC;QAClG,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC;QAC/C,SAAS,GAAG,CAAC,SAAS,EAAE,EAAE,EAAE,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;SAAM,IAAI,SAAS,KAAK,eAAe,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACjE,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC;QAC/C,SAAS,GAAG,CAAC,SAAS,EAAE,EAAE,EAAE,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;SAAM,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QACpC,gEAAgE;QAChE,sEAAsE;QACtE,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YACrD,SAAS,GAAG;gBACV,SAAS,EAAE,EAAE;gBACb,4CAA4C,OAAO,CAAC,OAAO,eAAe,IAAI,CAAC,OAAO,GAAG;gBACzF,gFAAgF;gBAChF,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC;aACjC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACb,2EAA2E;YAC3E,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,GAAG,GAAG,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;SAAM,IAAI,SAAS,KAAK,aAAa,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QAC9D,SAAS,GAAG,CAAC,SAAS,EAAE,EAAE,EAAE,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;IAED,yEAAyE;IACzE,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,OAAO,KAAK,mBAAmB,IAAI,OAAO,KAAK,YAAY,CAAC,EAAE,CAAC;QAC1F,MAAM,GAAG,GAAG,GAAG,OAAO,MAAM,GAAG,OAAO,CAAC,SAAS;aAC7C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;aACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;aACtB,IAAI,CAAC,KAAK,CAAC,CAAC;QACf,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QAC7C,cAAc,GAAG,IAAI,CAAC;IACxB,CAAC;IAED,wEAAwE;IACxE,sEAAsE;IACtE,mDAAmD;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,CAAC,GAAgB,OAAO,CAAC;QAC/B,MAAM,aAAa,GAAG,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,YAAY,CAAC;QACtE,MAAM,cAAc,GAAG,CAAC,KAAK,QAAQ,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAClC,IAAI,OAAO,GAAmB,IAAI,CAAC;YACnC,IAAI,aAAa,EAAE,CAAC;gBAClB,IAAI,CAAC,CAAC,OAAO,KAAK,aAAa;oBAAE,OAAO,GAAG,IAAI,CAAC;qBAC3C,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;oBAAE,OAAO,GAAG,KAAK,CAAC;YACrD,CAAC;iBAAM,IAAI,cAAc,EAAE,CAAC;gBAC1B,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;oBAAE,OAAO,GAAG,IAAI,CAAC;qBACxC,IAAI,CAAC,CAAC,OAAO,KAAK,aAAa;oBAAE,OAAO,GAAG,KAAK,CAAC;YACxD,CAAC;YACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC;oBAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC7F,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO;QACP,UAAU;QACV,OAAO;QACP,MAAM,EAAE;YACN,YAAY;YACZ,SAAS;YACT,aAAa,EAAE,OAAO;YACtB,KAAK;YACL,IAAI;YACJ,UAAU;YACV,iBAAiB;SAClB;QACD,OAAO;QACP,SAAS;QACT,cAAc;KACf,CAAC;AACJ,CAAC"}
|
|
1
|
+
{"version":3,"file":"acgv.js","sourceRoot":"","sources":["../../src/squadron/acgv.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAwB,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAA4B,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EAAE,eAAe,EAAoB,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAsB,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAkD,MAAM,sBAAsB,CAAC;AAC7H,OAAO,EAAE,oBAAoB,EAAE,WAAW,EAAqB,MAAM,mBAAmB,CAAC;AACzF,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,eAAe,EAAmB,MAAM,gBAAgB,CAAC;AACvG,OAAO,EAAE,eAAe,EAA0B,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAmDtD,MAAM,WAAW,GAAG;IAClB,WAAW,EAAE,qBAAqB;IAClC,UAAU,EAAE,mBAAmB;IAC/B,UAAU,EAAE,wBAAwB;IACpC,KAAK,EAAE,oCAAoC;IAC3C,aAAa,EAAE,wBAAwB;IACvC,kBAAkB,EAAE,oBAAoB;IACxC,kBAAkB,EAAE,4BAA4B;IAChD,eAAe,EAAE,4BAA4B;CACrC,CAAC;AAEX;6EAC6E;AAC7E;;;;;mCAKmC;AACnC,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAmB;IACpD,uEAAuE;IACvE,sEAAsE;IACtE,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzE,uEAAuE;IACvE,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,uEAAuE;IACvE,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,uEAAuE;IACvE,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;YACnD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC;YAC7E,IAAI,CAAC;gBAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAClF,MAAM,CAAC,cAAc,GAAG,IAAI,CAAC;QAC/B,CAAC;QACD,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAChD,CAAC;IAED,yEAAyE;IACzE,sEAAsE;IACtE,iEAAiE;IACjE,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAChD,CAAC;IAED,uEAAuE;IACvE,4DAA4D;IAC5D,uEAAuE;IACvE,oEAAoE;IACpE,yEAAyE;IACzE,IAAI,UAAyC,CAAC;IAC9C,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClD,UAAU,GAAG,MAAM,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACP,UAAU,GAAG,SAAS,CAAC;IACzB,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,EAAE,CAAC;QACzE,kEAAkE;QAClE,sEAAsE;QACtE,sDAAsD;QACtD,iEAAiE;QACjE,6DAA6D;QAC7D,IAAI,UAAU,IAAI,UAAU,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,EAAE,CAAC;YACzE,OAAO;gBACL,GAAG,MAAM;gBACT,OAAO,EAAE,mBAAmB;gBAC5B,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC3F,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE;gBACxC,OAAO,EAAE,4FAA4F;gBACrG,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACpE,MAAM,EAAE,IAAI;aACb,CAAC;QACJ,CAAC;QACD,uEAAuE;QACvE,sEAAsE;QACtE,qEAAqE;QACrE,sEAAsE;QACtE,IACE,UAAU;YACV,UAAU,CAAC,MAAM,KAAK,KAAK;YAC3B,UAAU,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;YACjC,MAAM,CAAC,OAAO,KAAK,aAAa,EAChC,CAAC;YACD,OAAO;gBACL,GAAG,MAAM;gBACT,OAAO,EAAE,QAAQ;gBACjB,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACzF,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE;gBACxC,OAAO,EAAE,gFAAgF;gBACzF,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACpE,MAAM,EAAE,IAAI;aACb,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,IAAI,eAAe,EAAE,CAAC;IAChH,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,oEAAoE;QACpE,qEAAqE;QACrE,mCAAmC;QACnC,IAAI,UAAU,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YACrC,OAAO;gBACL,GAAG,MAAM;gBACT,OAAO,EAAE,mBAAmB;gBAC5B,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC3F,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE;gBACxC,OAAO,EAAE,wFAAwF;gBACjG,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACpE,MAAM,EAAE,IAAI;aACb,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1F,CAAC;IAED,gEAAgE;IAChE,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,UAAU,EAAE,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,mBAAmB,CAAC;IAE/G,+CAA+C;IAC/C,MAAM,WAAW,GAAe,QAAQ;QACtC,CAAC,CAAC;YACE,GAAG,MAAM;YACT,OAAO,EAAE,mBAAmB;YAC5B,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAChI,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE;YACxD,OAAO,EAAE,2BAA2B,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,kDAAkD,CAAC,CAAC,CAAC,2CAA2C,KAAK,MAAM,CAAC,OAAO,EAAE;YAC3K,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SACnH;QACH,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC;IAE5E,0EAA0E;IAC1E,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,WAAW,CAAC,OAAO,KAAK,mBAAmB,IAAI,WAAW,CAAC,OAAO,KAAK,YAAY,CAAC,EAAE,CAAC;QAClH,MAAM,GAAG,GAAG,GAAG,WAAW,CAAC,OAAO,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS;aAClF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;aACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;aACtB,IAAI,CAAC,KAAK,CAAC,CAAC;QACf,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;QACrE,WAAW,CAAC,cAAc,GAAG,IAAI,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,KAAK,mBAAmB,IAAI,WAAW,CAAC,OAAO,KAAK,YAAY,CAAC;QAC1G,MAAM,cAAc,GAAG,WAAW,CAAC,OAAO,KAAK,QAAQ,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAClC,IAAI,OAAO,GAAmB,IAAI,CAAC;YACnC,IAAI,aAAa,EAAE,CAAC;gBAClB,IAAI,CAAC,CAAC,OAAO,KAAK,aAAa;oBAAE,OAAO,GAAG,IAAI,CAAC;qBAC3C,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;oBAAE,OAAO,GAAG,KAAK,CAAC;YACrD,CAAC;iBAAM,IAAI,cAAc,EAAE,CAAC;gBAC1B,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;oBAAE,OAAO,GAAG,IAAI,CAAC;qBACxC,IAAI,CAAC,CAAC,OAAO,KAAK,aAAa;oBAAE,OAAO,GAAG,KAAK,CAAC;YACxD,CAAC;YACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC;oBAAC,cAAc,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;YACnG,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AACpD,CAAC;AAED,kEAAkE;AAClE,oEAAoE;AACpE,sEAAsE;AACtE,uEAAuE;AACvE,mEAAmE;AACnE,wEAAwE;AACxE,MAAM,eAAe,GAAG,IAAI,CAAC;AAE7B,SAAS,sBAAsB,CAAC,KAAa;IAC3C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC9E,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IACzE,sDAAsD;IACtD,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,yBAAyB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACxE,IAAI,SAAS,GAAG,KAAK,CAAC,MAAM,GAAG,GAAG;QAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;IACtF,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAmB;IACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,yEAAyE;IACzE,mEAAmE;IACnE,uEAAuE;IACvE,qEAAqE;IACrE,uEAAuE;IACvE,gDAAgD;IAChD,MAAM,GAAG,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;QACZ,MAAM,OAAO,GAAwB;YACnC,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;YAC3E,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,kDAAkD;SACrE,CAAC;QACzB,MAAM,KAAK,GAAgB,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC5F,OAAO;YACL,OAAO,EAAE,aAAa;YACtB,UAAU,EAAE,GAAG;YACf,OAAO,EAAE,CAAC,sBAAsB,GAAG,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,EAAE;gBACN,YAAY,EAAE,IAAI;gBAClB,SAAS,EAAE,EAAE;gBACb,aAAa,EAAE,OAAO;gBACtB,KAAK;gBACL,UAAU,EAAE,IAAI;gBAChB,iBAAiB,EAAE,IAAI;aACxB;YACD,OAAO,EAAE,uBAAuB,GAAG,CAAC,MAAM,mCAAmC;YAC7E,SAAS,EAAE,mMAAmM;YAC9M,cAAc,EAAE,KAAK;SACR,CAAC;IAClB,CAAC;IAED,sCAAsC;IACtC,IAAI,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAE5B,uEAAuE;IACvE,sEAAsE;IACtE,mEAAmE;IACnE,IAAI,KAAK,CAAC,MAAM,GAAG,eAAe,EAAE,CAAC;QACnC,OAAO,CAAC,IAAI,CAAC,mBAAmB,eAAe,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACnE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC;IAC1C,CAAC;IAED,yEAAyE;IACzE,mEAAmE;IACnE,mEAAmE;IACnE,0DAA0D;IAC1D,uDAAuD;IACvD,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAChB,MAAM,GAAG,GAAG,GAAG,CAAC,gBAAgB,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;YACzB,IAAI,CAAC;gBAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,OAAO,GAAwB;YACnC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;YACzE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE;YAC/B,SAAS,EAAE,mEAAmE;SACxD,CAAC;QACzB,MAAM,KAAK,GAAgB;YACzB,MAAM,EAAE,OAAO;YACf,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC1E,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/E,OAAO,EAAE,IAAI;SACd,CAAC;QACF,OAAO;YACL,OAAO,EAAE,mBAAmB;YAC5B,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,CAAC,GAAG,OAAO,EAAE,0BAA0B,CAAC;YACjD,MAAM,EAAE;gBACN,YAAY,EAAE,IAAI;gBAClB,SAAS,EAAE,EAAE;gBACb,aAAa,EAAE,OAAO;gBACtB,KAAK;gBACL,UAAU,EAAE,IAAI;gBAChB,iBAAiB,EAAE,IAAI;aACxB;YACD,OAAO,EAAE,oDAAoD,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC5G,SAAS,EAAE,oGAAoG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,MAAM,mBAAmB,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACjN,cAAc,EAAE,CAAC,KAAK,CAAC,aAAa;SACvB,CAAC;IAClB,CAAC;IAED,yEAAyE;IACzE,EAAE;IACF,oEAAoE;IACpE,qEAAqE;IACrE,oEAAoE;IACpE,oEAAoE;IACpE,EAAE;IACF,0DAA0D;IAC1D,gEAAgE;IAChE,gEAAgE;IAChE,oEAAoE;IACpE,oEAAoE;IACpE,mEAAmE;IACnE,EAAE;IACF,iEAAiE;IACjE,qEAAqE;IACrE,oEAAoE;IACpE,qEAAqE;IACrE,MAAM,YAAY,GAAG,oBAAoB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3D,IAAI,YAAY,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC;QACzC,kEAAkE;QAClE,iEAAiE;QACjE,6DAA6D;QAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,iDAAiD,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChH,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;gBAC1C,KAAK,MAAM,CAAC,IAAI,QAAQ;oBAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;wBAAE,WAAW,IAAI,CAAC,CAAC;YAC5E,CAAC;YAAC,MAAM,CAAC,CAAC,mEAAmE,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;YACtB,8DAA8D;YAC9D,gDAAgD;YAChD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;YACtC,OAAO;gBACL,OAAO,EAAE,aAAa;gBACtB,UAAU,EAAE,IAAI;gBAChB,OAAO;gBACP,MAAM,EAAE;oBACN,YAAY;oBACZ,SAAS,EAAE,EAAE;oBACb,aAAa,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,wBAAwB,EAAE;oBACjK,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,wBAAwB,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC7F,UAAU,EAAE,IAAI;oBAChB,iBAAiB,EAAE,IAAI;iBACxB;gBACD,OAAO,EAAE,qDAAqD,YAAY,CAAC,OAAO,CAAC,EAAE,cAAc,YAAY,CAAC,QAAQ,GAAG;gBAC3H,SAAS,EAAE,4CAA4C,YAAY,CAAC,OAAO,CAAC,SAAS,0BAA0B,YAAY,CAAC,OAAO,CAAC,SAAS,iBAAiB,YAAY,CAAC,OAAO,CAAC,WAAW,qBAAqB;gBACnN,cAAc,EAAE,KAAK;aACtB,CAAC;QACJ,CAAC;QACD,oEAAoE;QACpE,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACvC,0EAA0E;IAC5E,CAAC;IAED,wEAAwE;IACxE,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC;IAChE,IAAI,eAAe;QAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;IAE7D,wEAAwE;IACxE,MAAM,OAAO,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAEjD,4CAA4C;IAC5C,IAAI,OAAO,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACvC,OAAO;YACL,OAAO,EAAE,aAAa;YACtB,UAAU,EAAE,CAAC;YACb,OAAO;YACP,MAAM,EAAE;gBACN,YAAY,EAAE,IAAI;gBAClB,SAAS;gBACT,aAAa,EAAE,OAAO;gBACtB,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,+BAA+B,EAAE,OAAO,EAAE,KAAK,EAAE;gBACpG,UAAU,EAAE,IAAI;gBAChB,iBAAiB,EAAE,IAAI;aACxB;YACD,OAAO,EAAE,4FAA4F;YACrG,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,cAAc,EAAE,KAAK;SACtB,CAAC;IACJ,CAAC;IAED,wEAAwE;IACxE,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAElD,wEAAwE;IACxE,uEAAuE;IACvE,0EAA0E;IAC1E,wEAAwE;IACxE,mEAAmE;IACnE,iCAAiC;IACjC,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7D,IAAI,SAAS,KAAK,UAAU;QAAE,OAAO,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACpE,IAAI,SAAS,KAAK,cAAc;QAAE,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACrE,IAAI,SAAS,KAAK,eAAe;QAAE,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU;QAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAE/D,wEAAwE;IACxE,IAAI,UAAU,GAA6B,IAAI,CAAC;IAChD,IAAI,iBAAiB,GAA6B,IAAI,CAAC;IACvD,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QACxC,8BAA8B;QAC9B,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;QACxE,IAAI,CAAC,UAAU,CAAC,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC;QACxE,IAAI,UAAU,CAAC,YAAY;YAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACxC,oEAAoE;QACpE,yCAAyC;QACzC,iBAAiB,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC;IAC/C,CAAC;IAED,6BAA6B;IAC7B,IAAI,OAAoB,CAAC;IACzB,IAAI,UAAkB,CAAC;IACvB,IAAI,OAAe,CAAC;IACpB,IAAI,SAAiB,CAAC;IAEtB,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,GAAG,mBAAmB,CAAC;QAC9B,UAAU,GAAG,IAAI,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACrC,OAAO,GAAG,8HAA8H,CAAC;QACzI,SAAS,GAAG;YACV,OAAO,CAAC,SAAS;YACjB,EAAE;YACF,KAAK,CAAC,WAAW;SAClB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;SAAM,IAAI,OAAO,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;QAC5C,OAAO,GAAG,YAAY,CAAC;QACvB,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACrC,OAAO,GAAG,0BAA0B,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM,OAAO,OAAO,CAAC,SAAS,CAAC,MAAM,2CAA2C,CAAC;QAC5K,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IAChC,CAAC;SAAM,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACxC,2EAA2E;QAC3E,IAAI,UAAU,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;YAC1C,OAAO,GAAG,YAAY,CAAC;YACvB,UAAU,GAAG,GAAG,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YACrC,OAAO,GAAG,uHAAuH,CAAC;YAClI,SAAS,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,QAAQ,CAAC;YACnB,UAAU,GAAG,UAAU;gBACrB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC,oBAAoB,CAAC;gBACrE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;YACvB,OAAO,GAAG,iFAAiF,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;YACzH,SAAS,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,OAAO,CAAC;QAClB,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO,GAAG,wFAAwF,CAAC;QACnG,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IAChC,CAAC;IAED,wEAAwE;IACxE,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,8CAA8C;IAC9C,IAAI,SAAS,KAAK,cAAc,IAAI,CAAC,OAAO,KAAK,YAAY,IAAI,OAAO,KAAK,mBAAmB,CAAC,EAAE,CAAC;QAClG,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC;QAC/C,SAAS,GAAG,CAAC,SAAS,EAAE,EAAE,EAAE,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;SAAM,IAAI,SAAS,KAAK,eAAe,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACjE,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC;QAC/C,SAAS,GAAG,CAAC,SAAS,EAAE,EAAE,EAAE,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;SAAM,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QACpC,gEAAgE;QAChE,sEAAsE;QACtE,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YACrD,SAAS,GAAG;gBACV,SAAS,EAAE,EAAE;gBACb,4CAA4C,OAAO,CAAC,OAAO,eAAe,IAAI,CAAC,OAAO,GAAG;gBACzF,gFAAgF;gBAChF,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC;aACjC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACb,2EAA2E;YAC3E,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,GAAG,GAAG,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;SAAM,IAAI,SAAS,KAAK,aAAa,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QAC9D,SAAS,GAAG,CAAC,SAAS,EAAE,EAAE,EAAE,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;IAED,yEAAyE;IACzE,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,OAAO,KAAK,mBAAmB,IAAI,OAAO,KAAK,YAAY,CAAC,EAAE,CAAC;QAC1F,MAAM,GAAG,GAAG,GAAG,OAAO,MAAM,GAAG,OAAO,CAAC,SAAS;aAC7C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;aACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;aACtB,IAAI,CAAC,KAAK,CAAC,CAAC;QACf,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QAC7C,cAAc,GAAG,IAAI,CAAC;IACxB,CAAC;IAED,wEAAwE;IACxE,sEAAsE;IACtE,mDAAmD;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,CAAC,GAAgB,OAAO,CAAC;QAC/B,MAAM,aAAa,GAAG,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,YAAY,CAAC;QACtE,MAAM,cAAc,GAAG,CAAC,KAAK,QAAQ,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAClC,IAAI,OAAO,GAAmB,IAAI,CAAC;YACnC,IAAI,aAAa,EAAE,CAAC;gBAClB,IAAI,CAAC,CAAC,OAAO,KAAK,aAAa;oBAAE,OAAO,GAAG,IAAI,CAAC;qBAC3C,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;oBAAE,OAAO,GAAG,KAAK,CAAC;YACrD,CAAC;iBAAM,IAAI,cAAc,EAAE,CAAC;gBAC1B,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;oBAAE,OAAO,GAAG,IAAI,CAAC;qBACxC,IAAI,CAAC,CAAC,OAAO,KAAK,aAAa;oBAAE,OAAO,GAAG,KAAK,CAAC;YACxD,CAAC;YACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC;oBAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC7F,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO;QACP,UAAU;QACV,OAAO;QACP,MAAM,EAAE;YACN,YAAY;YACZ,SAAS;YACT,aAAa,EAAE,OAAO;YACtB,KAAK;YACL,IAAI;YACJ,UAAU;YACV,iBAAiB;SAClB;QACD,OAAO;QACP,SAAS;QACT,cAAc;KACf,CAAC;AACJ,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"acgv_explain.d.ts","sourceRoot":"","sources":["../../src/squadron/acgv_explain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,MAAM,WAAW,gBAAgB;IAC/B,uDAAuD;IACvD,QAAQ,EAAE,MAAM,CAAC;IACjB,uEAAuE;IACvE,KAAK,EAAE,MAAM,CAAC;IACd,gDAAgD;IAChD,UAAU,EAAE,MAAM,CAAC;IACnB,wFAAwF;IACxF,YAAY,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,OAAO,CAAC;IACnD,sDAAsD;IACtD,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,0DAA0D;AAC1D,wBAAgB,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,gBAAgB,
|
|
1
|
+
{"version":3,"file":"acgv_explain.d.ts","sourceRoot":"","sources":["../../src/squadron/acgv_explain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,MAAM,WAAW,gBAAgB;IAC/B,uDAAuD;IACvD,QAAQ,EAAE,MAAM,CAAC;IACjB,uEAAuE;IACvE,KAAK,EAAE,MAAM,CAAC;IACd,gDAAgD;IAChD,UAAU,EAAE,MAAM,CAAC;IACnB,wFAAwF;IACxF,YAAY,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,OAAO,CAAC;IACnD,sDAAsD;IACtD,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,0DAA0D;AAC1D,wBAAgB,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,gBAAgB,CAmI3E;AA+BD,8EAA8E;AAC9E,wBAAgB,eAAe,CAAC,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAe7E"}
|
|
@@ -21,6 +21,22 @@ export function explain(result, claim) {
|
|
|
21
21
|
const truncatedClaim = claim.length > 60 ? claim.slice(0, 57) + "..." : claim;
|
|
22
22
|
switch (result.verdict) {
|
|
23
23
|
case "IMPOSSIBLE_REFUTE": {
|
|
24
|
+
// v2.23.2 — hyperbole-class refute gets a specific headline that
|
|
25
|
+
// quotes the matched phrase + category, so the user sees WHY the
|
|
26
|
+
// claim was refused, not a generic "an assertion is impossible".
|
|
27
|
+
if (result.caveats.includes("HYPERBOLE_DETECTOR_FIRED")) {
|
|
28
|
+
const cert = result.layers.godel.certificate || "";
|
|
29
|
+
const firstLine = cert.split("\n")[0] || "";
|
|
30
|
+
const [category = "hyperbole", phrase = ""] = firstLine.split("::").map((s) => s.trim());
|
|
31
|
+
const quoted = phrase ? `"${phrase}"` : "this claim";
|
|
32
|
+
return {
|
|
33
|
+
headline: `REFUTED -- ${quoted} is an unverifiable ${category} claim (${pct} confidence)`,
|
|
34
|
+
plain: `Mneme's hyperbole detector flagged ${quoted} as ${category}. Claims in this category (medical cure / impossible-physics / impossible-faculty / superlative-absolute) cannot be grounded in repo evidence and are auto-refuted to prevent silent fall-through.`,
|
|
35
|
+
nextAction: "Drop the unverifiable phrase, or replace it with a citation-grounded statement (file path, version, commit hash).",
|
|
36
|
+
trafficLight: "black",
|
|
37
|
+
confidencePct: pct,
|
|
38
|
+
};
|
|
39
|
+
}
|
|
24
40
|
const unsatCore = result.layers.godel.core;
|
|
25
41
|
const cited = unsatCore.length > 0 ? unsatCore[0].asserted : "an assertion";
|
|
26
42
|
return {
|
|
@@ -74,6 +90,48 @@ export function explain(result, claim) {
|
|
|
74
90
|
}
|
|
75
91
|
case "PASSTHROUGH":
|
|
76
92
|
default: {
|
|
93
|
+
// v2.23.2 — explicit headlines for INPUT_UNVERIFIABLE: previously these
|
|
94
|
+
// landed in the catch-all "no checkable facts" line, which hid the
|
|
95
|
+
// genuine reason from the user (empty input / whitespace-only / control
|
|
96
|
+
// chars only / truncated). Now each surfaces its own headline.
|
|
97
|
+
const inputCaveat = result.caveats.find((c) => c.startsWith("INPUT_UNVERIFIABLE:") || c === "INPUT_TRUNCATED");
|
|
98
|
+
if (inputCaveat === "INPUT_UNVERIFIABLE:EMPTY_INPUT") {
|
|
99
|
+
return {
|
|
100
|
+
headline: `INSUFFICIENT-INPUT -- claim is empty`,
|
|
101
|
+
plain: `Mneme received an empty claim. There is nothing to verify. This is explicit (not a silent NONE) so AI agents can detect + retry with a real claim.`,
|
|
102
|
+
nextAction: "Provide a non-empty claim with at least one specific entity (file name, version, function, fact).",
|
|
103
|
+
trafficLight: "yellow",
|
|
104
|
+
confidencePct: pct,
|
|
105
|
+
};
|
|
106
|
+
}
|
|
107
|
+
if (inputCaveat === "INPUT_UNVERIFIABLE:WHITESPACE_ONLY") {
|
|
108
|
+
return {
|
|
109
|
+
headline: `INSUFFICIENT-INPUT -- claim is whitespace only`,
|
|
110
|
+
plain: `The input contains only whitespace characters (spaces / tabs / newlines). There is nothing to verify. Returned explicitly so AI agents can distinguish this from "no checkable facts in a real sentence".`,
|
|
111
|
+
nextAction: "Trim the input and provide a real claim.",
|
|
112
|
+
trafficLight: "yellow",
|
|
113
|
+
confidencePct: pct,
|
|
114
|
+
};
|
|
115
|
+
}
|
|
116
|
+
if (inputCaveat === "INPUT_UNVERIFIABLE:CONTROL_CHAR_ONLY") {
|
|
117
|
+
return {
|
|
118
|
+
headline: `INSUFFICIENT-INPUT -- claim contains only control characters`,
|
|
119
|
+
plain: `The input contains only non-printable control characters (no printable text). Likely a binary blob or corrupted input. Returned explicitly so AI agents can flag the upstream pipeline.`,
|
|
120
|
+
nextAction: "Inspect the upstream pipeline producing this input; pass real printable text.",
|
|
121
|
+
trafficLight: "yellow",
|
|
122
|
+
confidencePct: pct,
|
|
123
|
+
};
|
|
124
|
+
}
|
|
125
|
+
// INPUT_TRUNCATED is informational — flag it but keep PASSTHROUGH headline.
|
|
126
|
+
if (inputCaveat === "INPUT_TRUNCATED") {
|
|
127
|
+
return {
|
|
128
|
+
headline: `NEEDS-DATA -- input was truncated to fit the verifier`,
|
|
129
|
+
plain: `The claim exceeded the verifier's input cap and was truncated before analysis. ACGV processed the truncated head; the verdict may not reflect content past the cap. Returned explicitly so the user knows analysis was partial.`,
|
|
130
|
+
nextAction: "Split the claim into smaller verifiable assertions and re-run.",
|
|
131
|
+
trafficLight: "yellow",
|
|
132
|
+
confidencePct: pct,
|
|
133
|
+
};
|
|
134
|
+
}
|
|
77
135
|
return {
|
|
78
136
|
headline: `NEEDS-DATA -- "${truncatedClaim}" has no checkable facts`,
|
|
79
137
|
plain: `The claim is vague or opinion-shaped -- there are no specific entities (file names, version numbers, function names) for Mneme to verify. The legacy 6-bot squadron may still have a view, but ACGV defers.`,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"acgv_explain.js","sourceRoot":"","sources":["../../src/squadron/acgv_explain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAiBH,0DAA0D;AAC1D,MAAM,UAAU,OAAO,CAAC,MAAkB,EAAE,KAAa;IACvD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC;IACtD,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAE9E,QAAQ,MAAM,CAAC,OAAO,EAAE,CAAC;QACvB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;YAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC;YAC7E,OAAO;gBACL,QAAQ,EAAE,cAAc,KAAK,gCAAgC,GAAG,cAAc;gBAC9E,KAAK,EAAE,gDAAgD,KAAK,mJAAmJ;gBAC/M,UAAU,EAAE,mFAAmF;gBAC/F,YAAY,EAAE,OAAO;gBACrB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC;YAC9C,OAAO;gBACL,QAAQ,EAAE,gDAAgD,GAAG,GAAG;gBAChE,KAAK,EAAE,4CAA4C,CAAC,EAAE,WAAW,IAAI,CAAC,4BAA4B,CAAC,EAAE,EAAE,IAAI,GAAG,oBAAoB;gBAClI,UAAU,EAAE,gEAAgE;gBAC5E,YAAY,EAAE,OAAO;gBACrB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;YAC1F,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC;YACtG,OAAO;gBACL,QAAQ,EAAE,+BAA+B,MAAM,CAAC,MAAM,6BAA6B,GAAG,GAAG;gBACzF,KAAK,EAAE,sBAAsB,aAAa,uKAAuK;gBACjN,UAAU,EAAE,sEAAsE;gBAClF,YAAY,EAAE,KAAK;gBACnB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;YAChG,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC;YAC3D,OAAO;gBACL,QAAQ,EAAE,gBAAgB,MAAM,IAAI,KAAK,2BAA2B,GAAG,GAAG;gBAC1E,KAAK,EAAE,wJAAwJ;gBAC/J,UAAU,EAAE,uEAAuE;gBACnF,YAAY,EAAE,OAAO;gBACrB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO;gBACL,QAAQ,EAAE,6CAA6C,GAAG,GAAG;gBAC7D,KAAK,EAAE,sLAAsL;gBAC7L,UAAU,EAAE,iHAAiH;gBAC7H,YAAY,EAAE,QAAQ;gBACtB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;QAED,KAAK,aAAa,CAAC;QACnB,OAAO,CAAC,CAAC,CAAC;YACR,OAAO;gBACL,QAAQ,EAAE,kBAAkB,cAAc,0BAA0B;gBACpE,KAAK,EAAE,6MAA6M;gBACpN,UAAU,EAAE,yGAAyG;gBACrH,YAAY,EAAE,QAAQ;gBACtB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,0BAA0B,CAAC,KAAa,EAAE,aAAmD;IACpG,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,2DAA2D;IAC3D,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,GAAG,CAAC;IAClD,MAAM,KAAK,GAA2B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC1F,MAAM,IAAI,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IAClC,OAAO,KAAK;SACT,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,eAAe,CAAC,EAAoB,EAAE,KAAa;IACjE,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/H,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC;IACzJ,MAAM,UAAU,GAAG,0BAA0B,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC;IACzE,OAAO;QACL,GAAG,KAAK,IAAI,IAAI,OAAO,EAAE,CAAC,QAAQ,EAAE;QACpC,EAAE;QACF,WAAW,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG;QACpE,EAAE;QACF,kBAAkB;QAClB,KAAK,UAAU,EAAE;QACjB,EAAE;QACF,YAAY;QACZ,QAAQ,EAAE,CAAC,UAAU,EAAE;KACxB,CAAC;AACJ,CAAC"}
|
|
1
|
+
{"version":3,"file":"acgv_explain.js","sourceRoot":"","sources":["../../src/squadron/acgv_explain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAiBH,0DAA0D;AAC1D,MAAM,UAAU,OAAO,CAAC,MAAkB,EAAE,KAAa;IACvD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC;IACtD,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAE9E,QAAQ,MAAM,CAAC,OAAO,EAAE,CAAC;QACvB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,iEAAiE;YACjE,iEAAiE;YACjE,iEAAiE;YACjE,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,CAAC;gBACxD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC;gBACnD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC5C,MAAM,CAAC,QAAQ,GAAG,WAAW,EAAE,MAAM,GAAG,EAAE,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzF,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC;gBACrD,OAAO;oBACL,QAAQ,EAAE,cAAc,MAAM,uBAAuB,QAAQ,WAAW,GAAG,cAAc;oBACzF,KAAK,EAAE,sCAAsC,MAAM,OAAO,QAAQ,oMAAoM;oBACtQ,UAAU,EAAE,mHAAmH;oBAC/H,YAAY,EAAE,OAAO;oBACrB,aAAa,EAAE,GAAG;iBACnB,CAAC;YACJ,CAAC;YACD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;YAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC;YAC7E,OAAO;gBACL,QAAQ,EAAE,cAAc,KAAK,gCAAgC,GAAG,cAAc;gBAC9E,KAAK,EAAE,gDAAgD,KAAK,mJAAmJ;gBAC/M,UAAU,EAAE,mFAAmF;gBAC/F,YAAY,EAAE,OAAO;gBACrB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC;YAC9C,OAAO;gBACL,QAAQ,EAAE,gDAAgD,GAAG,GAAG;gBAChE,KAAK,EAAE,4CAA4C,CAAC,EAAE,WAAW,IAAI,CAAC,4BAA4B,CAAC,EAAE,EAAE,IAAI,GAAG,oBAAoB;gBAClI,UAAU,EAAE,gEAAgE;gBAC5E,YAAY,EAAE,OAAO;gBACrB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;YAC1F,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC;YACtG,OAAO;gBACL,QAAQ,EAAE,+BAA+B,MAAM,CAAC,MAAM,6BAA6B,GAAG,GAAG;gBACzF,KAAK,EAAE,sBAAsB,aAAa,uKAAuK;gBACjN,UAAU,EAAE,sEAAsE;gBAClF,YAAY,EAAE,KAAK;gBACnB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;YAChG,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC;YAC3D,OAAO;gBACL,QAAQ,EAAE,gBAAgB,MAAM,IAAI,KAAK,2BAA2B,GAAG,GAAG;gBAC1E,KAAK,EAAE,wJAAwJ;gBAC/J,UAAU,EAAE,uEAAuE;gBACnF,YAAY,EAAE,OAAO;gBACrB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO;gBACL,QAAQ,EAAE,6CAA6C,GAAG,GAAG;gBAC7D,KAAK,EAAE,sLAAsL;gBAC7L,UAAU,EAAE,iHAAiH;gBAC7H,YAAY,EAAE,QAAQ;gBACtB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;QAED,KAAK,aAAa,CAAC;QACnB,OAAO,CAAC,CAAC,CAAC;YACR,wEAAwE;YACxE,mEAAmE;YACnE,wEAAwE;YACxE,+DAA+D;YAC/D,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,iBAAiB,CAAC,CAAC;YAC/G,IAAI,WAAW,KAAK,gCAAgC,EAAE,CAAC;gBACrD,OAAO;oBACL,QAAQ,EAAE,sCAAsC;oBAChD,KAAK,EAAE,oJAAoJ;oBAC3J,UAAU,EAAE,mGAAmG;oBAC/G,YAAY,EAAE,QAAQ;oBACtB,aAAa,EAAE,GAAG;iBACnB,CAAC;YACJ,CAAC;YACD,IAAI,WAAW,KAAK,oCAAoC,EAAE,CAAC;gBACzD,OAAO;oBACL,QAAQ,EAAE,gDAAgD;oBAC1D,KAAK,EAAE,2MAA2M;oBAClN,UAAU,EAAE,0CAA0C;oBACtD,YAAY,EAAE,QAAQ;oBACtB,aAAa,EAAE,GAAG;iBACnB,CAAC;YACJ,CAAC;YACD,IAAI,WAAW,KAAK,sCAAsC,EAAE,CAAC;gBAC3D,OAAO;oBACL,QAAQ,EAAE,8DAA8D;oBACxE,KAAK,EAAE,yLAAyL;oBAChM,UAAU,EAAE,+EAA+E;oBAC3F,YAAY,EAAE,QAAQ;oBACtB,aAAa,EAAE,GAAG;iBACnB,CAAC;YACJ,CAAC;YACD,4EAA4E;YAC5E,IAAI,WAAW,KAAK,iBAAiB,EAAE,CAAC;gBACtC,OAAO;oBACL,QAAQ,EAAE,uDAAuD;oBACjE,KAAK,EAAE,iOAAiO;oBACxO,UAAU,EAAE,gEAAgE;oBAC5E,YAAY,EAAE,QAAQ;oBACtB,aAAa,EAAE,GAAG;iBACnB,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,QAAQ,EAAE,kBAAkB,cAAc,0BAA0B;gBACpE,KAAK,EAAE,6MAA6M;gBACpN,UAAU,EAAE,yGAAyG;gBACrH,YAAY,EAAE,QAAQ;gBACtB,aAAa,EAAE,GAAG;aACnB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,0BAA0B,CAAC,KAAa,EAAE,aAAmD;IACpG,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,2DAA2D;IAC3D,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,GAAG,CAAC;IAClD,MAAM,KAAK,GAA2B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC1F,MAAM,IAAI,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IAClC,OAAO,KAAK;SACT,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,eAAe,CAAC,EAAoB,EAAE,KAAa;IACjE,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/H,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC;IACzJ,MAAM,UAAU,GAAG,0BAA0B,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC;IACzE,OAAO;QACL,GAAG,KAAK,IAAI,IAAI,OAAO,EAAE,CAAC,QAAQ,EAAE;QACpC,EAAE;QACF,WAAW,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG;QACpE,EAAE;QACF,kBAAkB;QAClB,KAAK,UAAU,EAAE;QACjB,EAAE;QACF,YAAY;QACZ,QAAQ,EAAE,CAAC,UAAU,EAAE;KACxB,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"acgv_v23_2.test.d.ts","sourceRoot":"","sources":["../../src/squadron/acgv_v23_2.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,127 @@
|
|
|
1
|
+
// v2.23.2 — regression tests for the audit findings: hyperbole
|
|
2
|
+
// detection, input-size cap, empty/whitespace/control-char handling,
|
|
3
|
+
// vaccine learning loop.
|
|
4
|
+
import { describe, expect, it, beforeEach, afterEach } from "vitest";
|
|
5
|
+
import { mkdtempSync, rmSync, writeFileSync, mkdirSync, readFileSync, existsSync } from "node:fs";
|
|
6
|
+
import { tmpdir } from "node:os";
|
|
7
|
+
import { join } from "node:path";
|
|
8
|
+
import { runACGV } from "./acgv.js";
|
|
9
|
+
import { detectHyperbole, HYPERBOLE_PATTERNS } from "./hyperbole_detector.js";
|
|
10
|
+
describe("ACGV v2.23.2 — audit-driven hardening", () => {
|
|
11
|
+
let repo;
|
|
12
|
+
beforeEach(() => {
|
|
13
|
+
repo = mkdtempSync(join(tmpdir(), "mneme-acgv-"));
|
|
14
|
+
mkdirSync(join(repo, "packages"), { recursive: true });
|
|
15
|
+
writeFileSync(join(repo, "package.json"), JSON.stringify({ name: "mneme-ai", version: "2.23.2" }));
|
|
16
|
+
});
|
|
17
|
+
afterEach(() => { try {
|
|
18
|
+
rmSync(repo, { recursive: true, force: true });
|
|
19
|
+
}
|
|
20
|
+
catch { /* */ } });
|
|
21
|
+
// ─── HYPERBOLE DETECTOR ────────────────────────────────────────────
|
|
22
|
+
describe("hyperbole detector — closes the 'Mneme cured cancer' gap", () => {
|
|
23
|
+
it("ships ≥ 4 pattern categories", () => {
|
|
24
|
+
const categories = new Set(HYPERBOLE_PATTERNS.map((p) => p.category));
|
|
25
|
+
expect(categories.size).toBeGreaterThanOrEqual(4);
|
|
26
|
+
});
|
|
27
|
+
it("detects medical-cure: 'Mneme cured cancer'", () => {
|
|
28
|
+
const r = detectHyperbole("Mneme cured cancer");
|
|
29
|
+
expect(r.flagged).toBe(true);
|
|
30
|
+
expect(r.matches.some((m) => m.category === "medical-cure")).toBe(true);
|
|
31
|
+
});
|
|
32
|
+
it("detects superlative-absolute: 'world's best AI tool'", () => {
|
|
33
|
+
const r = detectHyperbole("Mneme is the world's best AI tool");
|
|
34
|
+
expect(r.flagged).toBe(true);
|
|
35
|
+
expect(r.matches.some((m) => m.category === "superlative-absolute")).toBe(true);
|
|
36
|
+
});
|
|
37
|
+
it("detects impossible-faculty: 'reads your mind'", () => {
|
|
38
|
+
const r = detectHyperbole("Mneme reads your mind to predict bugs");
|
|
39
|
+
expect(r.flagged).toBe(true);
|
|
40
|
+
expect(r.matches.some((m) => m.category === "impossible-faculty")).toBe(true);
|
|
41
|
+
});
|
|
42
|
+
it("detects impossible-physics: 'faster-than-light'", () => {
|
|
43
|
+
const r = detectHyperbole("Mneme runs faster-than-light memory queries");
|
|
44
|
+
expect(r.flagged).toBe(true);
|
|
45
|
+
expect(r.matches.some((m) => m.category === "impossible-physics")).toBe(true);
|
|
46
|
+
});
|
|
47
|
+
it("does NOT flag neutral claims", () => {
|
|
48
|
+
const r = detectHyperbole("Mneme version 2.23.2 is installed");
|
|
49
|
+
expect(r.flagged).toBe(false);
|
|
50
|
+
});
|
|
51
|
+
it("vaccineSignature populated when flagged, empty when not", () => {
|
|
52
|
+
expect(detectHyperbole("Mneme cured cancer").vaccineSignature).toContain("HYPERBOLE");
|
|
53
|
+
expect(detectHyperbole("Hello").vaccineSignature).toBe("");
|
|
54
|
+
});
|
|
55
|
+
});
|
|
56
|
+
// ─── HYPERBOLE INTEGRATED INTO ACGV ─────────────────────────────────
|
|
57
|
+
describe("ACGV hyperbole integration", () => {
|
|
58
|
+
it("'Mneme cured cancer' → IMPOSSIBLE_REFUTE (not PASSTHROUGH)", () => {
|
|
59
|
+
const r = runACGV({ claim: "Mneme cured cancer", repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
60
|
+
expect(r.verdict).toBe("IMPOSSIBLE_REFUTE");
|
|
61
|
+
expect(r.caveats.some((c) => c.includes("HYPERBOLE"))).toBe(true);
|
|
62
|
+
});
|
|
63
|
+
it("'world's best AI' → IMPOSSIBLE_REFUTE", () => {
|
|
64
|
+
const r = runACGV({ claim: "Mneme is the world's best AI tool ever made", repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
65
|
+
expect(r.verdict).toBe("IMPOSSIBLE_REFUTE");
|
|
66
|
+
});
|
|
67
|
+
it("hyperbole verdict is DETERMINISTIC across repeated runs", () => {
|
|
68
|
+
const claim = "Mneme cured cancer and reads your mind";
|
|
69
|
+
const a = runACGV({ claim, repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
70
|
+
const b = runACGV({ claim, repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
71
|
+
const c = runACGV({ claim, repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
72
|
+
expect(a.verdict).toBe(b.verdict);
|
|
73
|
+
expect(b.verdict).toBe(c.verdict);
|
|
74
|
+
expect(a.verdict).toBe("IMPOSSIBLE_REFUTE");
|
|
75
|
+
});
|
|
76
|
+
it("hyperbole emits vaccine when noEmitVaccine is FALSE", () => {
|
|
77
|
+
const claim = "Mneme cures all diseases";
|
|
78
|
+
runACGV({ claim, repoRoot: repo, noStake: true });
|
|
79
|
+
// Vaccine file should exist + contain a HYPERBOLE entry.
|
|
80
|
+
const vacPath = join(repo, ".mneme", "vaccines.jsonl");
|
|
81
|
+
if (existsSync(vacPath)) {
|
|
82
|
+
const body = readFileSync(vacPath, "utf8");
|
|
83
|
+
expect(body).toContain("HYPERBOLE");
|
|
84
|
+
}
|
|
85
|
+
});
|
|
86
|
+
});
|
|
87
|
+
// ─── EMPTY / WHITESPACE / CONTROL-CHAR INPUTS ──────────────────────
|
|
88
|
+
describe("input validation — closes 'silent NONE' audit finding", () => {
|
|
89
|
+
it("empty input returns INPUT_UNVERIFIABLE:EMPTY_INPUT caveat", () => {
|
|
90
|
+
const r = runACGV({ claim: "", repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
91
|
+
expect(r.caveats.some((c) => c.includes("EMPTY_INPUT"))).toBe(true);
|
|
92
|
+
expect(r.confidence).toBe(0);
|
|
93
|
+
expect(r.summary).toContain("UNVERIFIABLE");
|
|
94
|
+
});
|
|
95
|
+
it("whitespace-only input returns INPUT_UNVERIFIABLE:WHITESPACE_ONLY", () => {
|
|
96
|
+
const r = runACGV({ claim: " \t\n ", repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
97
|
+
expect(r.caveats.some((c) => c.includes("WHITESPACE_ONLY"))).toBe(true);
|
|
98
|
+
});
|
|
99
|
+
it("control-char-only input returns INPUT_UNVERIFIABLE:CONTROL_CHAR_ONLY", () => {
|
|
100
|
+
const r = runACGV({ claim: "\x01\x02\x03\x04\x05", repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
101
|
+
expect(r.caveats.some((c) => c.includes("CONTROL_CHAR_ONLY"))).toBe(true);
|
|
102
|
+
});
|
|
103
|
+
it("explicit rationale string, not silent NONE", () => {
|
|
104
|
+
const r = runACGV({ claim: "", repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
105
|
+
expect(r.reasoning.length).toBeGreaterThan(20);
|
|
106
|
+
expect(r.reasoning).toContain("printable");
|
|
107
|
+
});
|
|
108
|
+
});
|
|
109
|
+
// ─── INPUT-SIZE CAP ────────────────────────────────────────────────
|
|
110
|
+
describe("input-size cap — closes '50K silent truncation' finding", () => {
|
|
111
|
+
it("input > 8000 chars adds INPUT_TRUNCATED caveat", () => {
|
|
112
|
+
const huge = "Mneme has 8 verification agents. ".repeat(1000); // ~33000 chars
|
|
113
|
+
const r = runACGV({ claim: huge, repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
114
|
+
expect(r.caveats.some((c) => c.startsWith("INPUT_TRUNCATED:"))).toBe(true);
|
|
115
|
+
});
|
|
116
|
+
it("oversized input still produces a real verdict (not NONE)", () => {
|
|
117
|
+
const huge = "Mneme has 8 verification agents. ".repeat(500);
|
|
118
|
+
const r = runACGV({ claim: huge, repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
119
|
+
expect(["PASSTHROUGH", "FUSION", "BLACK_HOLE", "IMPOSSIBLE_REFUTE", "LIMBO", "AUTO_REFUTE"]).toContain(r.verdict);
|
|
120
|
+
});
|
|
121
|
+
it("≤ 8000 chars does NOT add INPUT_TRUNCATED", () => {
|
|
122
|
+
const r = runACGV({ claim: "Mneme has 8 verification agents", repoRoot: repo, noEmitVaccine: true, noStake: true });
|
|
123
|
+
expect(r.caveats.some((c) => c.startsWith("INPUT_TRUNCATED:"))).toBe(false);
|
|
124
|
+
});
|
|
125
|
+
});
|
|
126
|
+
});
|
|
127
|
+
//# sourceMappingURL=acgv_v23_2.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"acgv_v23_2.test.js","sourceRoot":"","sources":["../../src/squadron/acgv_v23_2.test.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,qEAAqE;AACrE,yBAAyB;AAEzB,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAClG,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE9E,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAI,IAAY,CAAC;IACjB,UAAU,CAAC,GAAG,EAAE;QACd,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;QAClD,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IACrG,CAAC,CAAC,CAAC;IACH,SAAS,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;QAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7F,sEAAsE;IAEtE,QAAQ,CAAC,0DAA0D,EAAE,GAAG,EAAE;QACxE,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACtE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,CAAC,GAAG,eAAe,CAAC,oBAAoB,CAAC,CAAC;YAChD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,CAAC,GAAG,eAAe,CAAC,mCAAmC,CAAC,CAAC;YAC/D,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,CAAC,GAAG,eAAe,CAAC,uCAAuC,CAAC,CAAC;YACnE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,CAAC,GAAG,eAAe,CAAC,6CAA6C,CAAC,CAAC;YACzE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,GAAG,eAAe,CAAC,mCAAmC,CAAC,CAAC;YAC/D,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAC,gBAAgB,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YACtF,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,uEAAuE;IAEvE,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,oBAAoB,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACvG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAC5C,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,6CAA6C,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAChI,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,KAAK,GAAG,wCAAwC,CAAC;YACvD,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,KAAK,GAAG,0BAA0B,CAAC;YACzC,OAAO,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAClD,yDAAyD;YACzD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACvD,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YACtC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,sEAAsE;IAEtE,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACrE,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACrF,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/F,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,sBAAsB,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACzG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACrF,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;YAC/C,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,sEAAsE;IAEtE,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACvE,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,IAAI,GAAG,mCAAmC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe;YAC9E,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACvF,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,IAAI,GAAG,mCAAmC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7D,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACvF,MAAM,CAAC,CAAC,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,mBAAmB,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACpH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,iCAAiC,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACpH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.23.2 — HYPERBOLE / IMPOSSIBLE-CLAIM DETECTOR.
|
|
3
|
+
*
|
|
4
|
+
* Closes the audit gap: lies like "Mneme cured cancer" / "Mneme is
|
|
5
|
+
* the world's best AI" / "Mneme can read your mind" used to pass
|
|
6
|
+
* through ACGV as PASSTHROUGH (no extractable fact-tuple → no
|
|
7
|
+
* refutation). This module catches them deterministically + emits
|
|
8
|
+
* IMPOSSIBLE_REFUTE so the vaccine bank learns the pattern.
|
|
9
|
+
*
|
|
10
|
+
* Categories:
|
|
11
|
+
* - medical-cure — claims of curing/treating a disease
|
|
12
|
+
* - superlative-absolute — "best ever", "the only one", "world's first"
|
|
13
|
+
* without evidence
|
|
14
|
+
* - impossible-faculty — claims of psychic / future-predicting /
|
|
15
|
+
* mind-reading abilities
|
|
16
|
+
* - impossible-physics — claims of perpetual-motion / faster-than-
|
|
17
|
+
* light / zero-resource compute
|
|
18
|
+
*
|
|
19
|
+
* Pure function; no LLM, no disk. Caller composes verdict into ACGV
|
|
20
|
+
* pipeline.
|
|
21
|
+
*/
|
|
22
|
+
export type HyperboleCategory = "medical-cure" | "superlative-absolute" | "impossible-faculty" | "impossible-physics";
|
|
23
|
+
export interface HyperbolePattern {
|
|
24
|
+
category: HyperboleCategory;
|
|
25
|
+
detector: RegExp;
|
|
26
|
+
reason: string;
|
|
27
|
+
}
|
|
28
|
+
export declare const HYPERBOLE_PATTERNS: HyperbolePattern[];
|
|
29
|
+
export interface HyperboleVerdict {
|
|
30
|
+
/** True if at least one pattern matched. */
|
|
31
|
+
flagged: boolean;
|
|
32
|
+
matches: Array<{
|
|
33
|
+
category: HyperboleCategory;
|
|
34
|
+
matched: string;
|
|
35
|
+
reason: string;
|
|
36
|
+
}>;
|
|
37
|
+
/** Stable signature usable as a vaccine key. */
|
|
38
|
+
vaccineSignature: string;
|
|
39
|
+
}
|
|
40
|
+
export declare function detectHyperbole(claim: string): HyperboleVerdict;
|
|
41
|
+
//# sourceMappingURL=hyperbole_detector.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"hyperbole_detector.d.ts","sourceRoot":"","sources":["../../src/squadron/hyperbole_detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,MAAM,MAAM,iBAAiB,GACzB,cAAc,GACd,sBAAsB,GACtB,oBAAoB,GACpB,oBAAoB,CAAC;AAEzB,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,eAAO,MAAM,kBAAkB,EAAE,gBAAgB,EAyBhD,CAAC;AAEF,MAAM,WAAW,gBAAgB;IAC/B,4CAA4C;IAC5C,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,iBAAiB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACjF,gDAAgD;IAChD,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB,CAW/D"}
|
|
@@ -0,0 +1,61 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.23.2 — HYPERBOLE / IMPOSSIBLE-CLAIM DETECTOR.
|
|
3
|
+
*
|
|
4
|
+
* Closes the audit gap: lies like "Mneme cured cancer" / "Mneme is
|
|
5
|
+
* the world's best AI" / "Mneme can read your mind" used to pass
|
|
6
|
+
* through ACGV as PASSTHROUGH (no extractable fact-tuple → no
|
|
7
|
+
* refutation). This module catches them deterministically + emits
|
|
8
|
+
* IMPOSSIBLE_REFUTE so the vaccine bank learns the pattern.
|
|
9
|
+
*
|
|
10
|
+
* Categories:
|
|
11
|
+
* - medical-cure — claims of curing/treating a disease
|
|
12
|
+
* - superlative-absolute — "best ever", "the only one", "world's first"
|
|
13
|
+
* without evidence
|
|
14
|
+
* - impossible-faculty — claims of psychic / future-predicting /
|
|
15
|
+
* mind-reading abilities
|
|
16
|
+
* - impossible-physics — claims of perpetual-motion / faster-than-
|
|
17
|
+
* light / zero-resource compute
|
|
18
|
+
*
|
|
19
|
+
* Pure function; no LLM, no disk. Caller composes verdict into ACGV
|
|
20
|
+
* pipeline.
|
|
21
|
+
*/
|
|
22
|
+
export const HYPERBOLE_PATTERNS = [
|
|
23
|
+
// Medical: action verb + disease/condition
|
|
24
|
+
{
|
|
25
|
+
category: "medical-cure",
|
|
26
|
+
detector: /\b(cure[ds]?|cures|treat(?:s|ed|ing)?|heal[eds]?|prevent[s]?|reverse[ds]?|eliminat[esd]+)\s+(?:[a-z]+\s+){0,3}(?:cancer|diabetes|alzheimer'?s?|als|aids|hiv|covid|disease|infection|tumou?rs?|stroke|dementia|parkinson'?s?|autism)/i,
|
|
27
|
+
reason: "claim asserts medical cure/treatment without clinical evidence",
|
|
28
|
+
},
|
|
29
|
+
// Superlative absolute without evidence
|
|
30
|
+
{
|
|
31
|
+
category: "superlative-absolute",
|
|
32
|
+
detector: /\b(world'?s?\s+(?:best|first|only|fastest|smartest|most\s+accurate)|the\s+only\s+(?:way|tool|system|ai)\s+(?:that|to)|never\s+been\s+done|nothing\s+(?:like|comes\s+close)\s+to|unmatched\s+by|literally\s+(?:perfect|flawless|the\s+best))/i,
|
|
33
|
+
reason: "superlative-absolute claim without supporting evidence",
|
|
34
|
+
},
|
|
35
|
+
// Impossible faculties
|
|
36
|
+
{
|
|
37
|
+
category: "impossible-faculty",
|
|
38
|
+
detector: /\b(read[s]?\s+(?:your\s+)?(?:mind|thoughts)|predict[s]?\s+the\s+future|see[s]?\s+the\s+future|knows?\s+what\s+you'?re?\s+thinking|telepath(?:ic|y)|clairvoyan(?:t|ce)|precognition)/i,
|
|
39
|
+
reason: "claim asserts physically-impossible faculty (telepathy / precognition)",
|
|
40
|
+
},
|
|
41
|
+
// Impossible physics
|
|
42
|
+
{
|
|
43
|
+
category: "impossible-physics",
|
|
44
|
+
detector: /\b(perpetual\s+motion|faster[- ]than[- ]light|infinite\s+energy|zero[- ](?:cost|resource|latency)|free\s+energy|negative\s+entropy\s+machine|over[- ]?unity)/i,
|
|
45
|
+
reason: "claim asserts physically-impossible mechanism",
|
|
46
|
+
},
|
|
47
|
+
];
|
|
48
|
+
export function detectHyperbole(claim) {
|
|
49
|
+
const matches = [];
|
|
50
|
+
for (const p of HYPERBOLE_PATTERNS) {
|
|
51
|
+
const m = p.detector.exec(claim);
|
|
52
|
+
if (m)
|
|
53
|
+
matches.push({ category: p.category, matched: m[0], reason: p.reason });
|
|
54
|
+
}
|
|
55
|
+
const flagged = matches.length > 0;
|
|
56
|
+
const vaccineSignature = flagged
|
|
57
|
+
? `HYPERBOLE :: ${matches.map((m) => m.category).join(",")} :: ${matches.map((m) => m.matched).join(" | ")}`
|
|
58
|
+
: "";
|
|
59
|
+
return { flagged, matches, vaccineSignature };
|
|
60
|
+
}
|
|
61
|
+
//# sourceMappingURL=hyperbole_detector.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"hyperbole_detector.js","sourceRoot":"","sources":["../../src/squadron/hyperbole_detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAcH,MAAM,CAAC,MAAM,kBAAkB,GAAuB;IACpD,2CAA2C;IAC3C;QACE,QAAQ,EAAE,cAAc;QACxB,QAAQ,EAAE,sOAAsO;QAChP,MAAM,EAAE,gEAAgE;KACzE;IACD,wCAAwC;IACxC;QACE,QAAQ,EAAE,sBAAsB;QAChC,QAAQ,EAAE,8OAA8O;QACxP,MAAM,EAAE,wDAAwD;KACjE;IACD,uBAAuB;IACvB;QACE,QAAQ,EAAE,oBAAoB;QAC9B,QAAQ,EAAE,sLAAsL;QAChM,MAAM,EAAE,wEAAwE;KACjF;IACD,qBAAqB;IACrB;QACE,QAAQ,EAAE,oBAAoB;QAC9B,QAAQ,EAAE,+JAA+J;QACzK,MAAM,EAAE,+CAA+C;KACxD;CACF,CAAC;AAUF,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,MAAM,OAAO,GAAgC,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,kBAAkB,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IACnC,MAAM,gBAAgB,GAAG,OAAO;QAC9B,CAAC,CAAC,gBAAgB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;QAC5G,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;AAChD,CAAC"}
|