@mneme-ai/core 2.88.0 → 2.90.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/agent_manifest.d.ts.map +1 -1
- package/dist/agent_manifest.js +4 -0
- package/dist/agent_manifest.js.map +1 -1
- package/dist/gephyra/index.d.ts +12 -0
- package/dist/gephyra/index.d.ts.map +1 -1
- package/dist/gephyra/index.js +38 -0
- package/dist/gephyra/index.js.map +1 -1
- package/dist/index.d.ts +5 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +22 -0
- package/dist/index.js.map +1 -1
- package/dist/truth_gate/claims.d.ts.map +1 -1
- package/dist/truth_gate/claims.js +14 -0
- package/dist/truth_gate/claims.js.map +1 -1
- package/dist/truth_gate/probes.d.ts.map +1 -1
- package/dist/truth_gate/probes.js +90 -0
- package/dist/truth_gate/probes.js.map +1 -1
- package/dist/truth_kernel/aletheia.d.ts +12 -0
- package/dist/truth_kernel/aletheia.d.ts.map +1 -1
- package/dist/truth_kernel/aletheia.js +15 -1
- package/dist/truth_kernel/aletheia.js.map +1 -1
- package/dist/truth_kernel/compound.d.ts +55 -0
- package/dist/truth_kernel/compound.d.ts.map +1 -0
- package/dist/truth_kernel/compound.js +72 -0
- package/dist/truth_kernel/compound.js.map +1 -0
- package/dist/truth_kernel/gauntlet_public.d.ts +37 -0
- package/dist/truth_kernel/gauntlet_public.d.ts.map +1 -0
- package/dist/truth_kernel/gauntlet_public.js +81 -0
- package/dist/truth_kernel/gauntlet_public.js.map +1 -0
- package/dist/truth_kernel/lattice.d.ts +141 -0
- package/dist/truth_kernel/lattice.d.ts.map +1 -0
- package/dist/truth_kernel/lattice.js +315 -0
- package/dist/truth_kernel/lattice.js.map +1 -0
- package/dist/truth_kernel/lattice.test.d.ts +18 -0
- package/dist/truth_kernel/lattice.test.d.ts.map +1 -0
- package/dist/truth_kernel/lattice.test.js +175 -0
- package/dist/truth_kernel/lattice.test.js.map +1 -0
- package/dist/truth_kernel/savant_diamonds.test.d.ts +11 -0
- package/dist/truth_kernel/savant_diamonds.test.d.ts.map +1 -0
- package/dist/truth_kernel/savant_diamonds.test.js +137 -0
- package/dist/truth_kernel/savant_diamonds.test.js.map +1 -0
- package/dist/truth_kernel/symbiosis.d.ts +54 -0
- package/dist/truth_kernel/symbiosis.d.ts.map +1 -0
- package/dist/truth_kernel/symbiosis.js +98 -0
- package/dist/truth_kernel/symbiosis.js.map +1 -0
- package/dist/truth_kernel/truth_mesh.d.ts +63 -0
- package/dist/truth_kernel/truth_mesh.d.ts.map +1 -0
- package/dist/truth_kernel/truth_mesh.js +124 -0
- package/dist/truth_kernel/truth_mesh.js.map +1 -0
- package/package.json +1 -1
|
@@ -21,6 +21,7 @@
|
|
|
21
21
|
*/
|
|
22
22
|
import { type SensorAdapter, type SensorVerdict } from "./index.js";
|
|
23
23
|
import { type NotaryReceipt } from "../notary/index.js";
|
|
24
|
+
import { type Contradiction } from "./lattice.js";
|
|
24
25
|
/** The savant verdict — the ONLY assertion channel. Three-valued by design:
|
|
25
26
|
* UNKNOWN is a first-class answer, never a fallback for "I'd rather guess". */
|
|
26
27
|
export type AletheiaVerdict = "TRUE" | "FALSE" | "UNKNOWN";
|
|
@@ -58,6 +59,11 @@ export interface AletheiaResult {
|
|
|
58
59
|
refusalApplied: string | null;
|
|
59
60
|
/** Ed25519 signature over {claim, verdict, lineage}. null ONLY if signing degraded. */
|
|
60
61
|
receipt: NotaryReceipt | null;
|
|
62
|
+
/** Present when opts.record persisted this to the Axiom Lattice: any existing
|
|
63
|
+
* ACTIVE truths this assertion CONTRADICTS (the loudest signal). [] = none. */
|
|
64
|
+
contradictions?: Contradiction[];
|
|
65
|
+
/** The Axiom Lattice node id when opts.record persisted this assertion. */
|
|
66
|
+
latticeNodeId?: string;
|
|
61
67
|
totalMs: number;
|
|
62
68
|
}
|
|
63
69
|
export interface AletheiaOpts {
|
|
@@ -74,6 +80,12 @@ export interface AletheiaOpts {
|
|
|
74
80
|
issuedAt?: number;
|
|
75
81
|
/** Skip the NOTARY signature (tests / offline). */
|
|
76
82
|
noSign?: boolean;
|
|
83
|
+
/** Persist this assertion to the Axiom Lattice (the living proof graph) +
|
|
84
|
+
* return any contradictions it raises against existing ACTIVE truths. */
|
|
85
|
+
record?: boolean;
|
|
86
|
+
/** When recording, declare the lattice node ids this claim's truth rests on
|
|
87
|
+
* (truth-maintenance edges — a later retraction cascades through them). */
|
|
88
|
+
dependsOn?: string[];
|
|
77
89
|
}
|
|
78
90
|
/**
|
|
79
91
|
* Assert a claim through the savant spine. Fans out to the sensors, fuses with
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"aletheia.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/aletheia.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAc,KAAK,aAAa,EAAqB,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;
|
|
1
|
+
{"version":3,"file":"aletheia.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/aletheia.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAc,KAAK,aAAa,EAAqB,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACrF,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC;AAEnE;gFACgF;AAChF,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;AAE3D,+EAA+E;AAC/E,eAAO,MAAM,QAAQ,EAAE,SAAS,MAAM,EAO5B,CAAC;AAEX,2CAA2C;AAC3C,eAAO,MAAM,IAAI,EAAE,aAAa,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAIvD,CAAC;AAEX,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,OAAO,EAAE,eAAe,CAAC;IACzB,qEAAqE;IACrE,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,+EAA+E;IAC/E,aAAa,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,sCAAsC;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,iGAAiG;IACjG,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,uFAAuF;IACvF,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9B;oFACgF;IAChF,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;IACjC,2EAA2E;IAC3E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,wEAAwE;IACxE,OAAO,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IACnC,8EAA8E;IAC9E,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kEAAkE;IAClE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sEAAsE;IACtE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;8EAC0E;IAC1E,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;gFAC4E;IAC5E,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AA2BD;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAAC,cAAc,CAAC,CAkEnH;AAoFD;mEACmE;AACnE,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,MAAM,GAAG,aAAa,EAAE,CAExE;AAUD,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,oFAAoF;IACpF,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,YAAY,CAAC;CACxC;AAED,MAAM,WAAW,oBAAoB;IACnC,CAAC,EAAE,MAAM,CAAC;IACV;6FACyF;IACzF,kBAAkB,EAAE,MAAM,CAAC;IAC3B,2FAA2F;IAC3F,UAAU,EAAE,MAAM,CAAC;IACnB,kGAAkG;IAClG,WAAW,EAAE,MAAM,CAAC;IACpB,oFAAoF;IACpF,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;QAAC,OAAO,EAAE,eAAe,CAAC;QAAC,cAAc,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACvI,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,gEAAgE;AAChE,wBAAsB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,YAAY,EAAE,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CA6ChJ;AAED,+EAA+E;AAC/E,wBAAgB,KAAK,IAAI;IAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAS9H"}
|
|
@@ -21,6 +21,7 @@
|
|
|
21
21
|
*/
|
|
22
22
|
import { checkTruth } from "./index.js";
|
|
23
23
|
import { issueReceipt, verifyReceipt } from "../notary/index.js";
|
|
24
|
+
import { recordAssertion } from "./lattice.js";
|
|
24
25
|
/** The Six Refusals — the "lesion". Identity is defined by what we give up. */
|
|
25
26
|
export const REFUSALS = [
|
|
26
27
|
"No gap-filling — if it cannot be proven, answer UNKNOWN; never synthesize a plausible claim.",
|
|
@@ -106,11 +107,24 @@ export async function assertClaim(repoRoot, claim, opts = {}) {
|
|
|
106
107
|
receipt = null;
|
|
107
108
|
}
|
|
108
109
|
}
|
|
109
|
-
|
|
110
|
+
const result = {
|
|
110
111
|
claim, verdict, pTrue: tv.pTrue, disagreement: tv.disagreement,
|
|
111
112
|
sensorsConsulted: sensors.length, informational, lineage, evidence, refusalApplied, receipt,
|
|
112
113
|
totalMs: Date.now() - t0,
|
|
113
114
|
};
|
|
115
|
+
// Persist to the Axiom Lattice (living proof graph) + surface contradictions.
|
|
116
|
+
if (opts.record) {
|
|
117
|
+
try {
|
|
118
|
+
const rec = recordAssertion(repoRoot, {
|
|
119
|
+
claim, verdict, pTrue: tv.pTrue,
|
|
120
|
+
lineageSummary: lineage.filter((n) => n.verdict === "TRUE" || n.verdict === "FALSE").map((n) => n.sensor),
|
|
121
|
+
}, { dependsOn: opts.dependsOn, issuedAt: opts.issuedAt });
|
|
122
|
+
result.contradictions = rec.contradictions;
|
|
123
|
+
result.latticeNodeId = rec.node.id;
|
|
124
|
+
}
|
|
125
|
+
catch { /* lattice persistence is best-effort; the verdict stands */ }
|
|
126
|
+
}
|
|
127
|
+
return result;
|
|
114
128
|
}
|
|
115
129
|
// ════════════════════════════════════════════════════════════════════════
|
|
116
130
|
// Default sensor pack — real Mneme organs wired as truth sensors. Each is
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"aletheia.js","sourceRoot":"","sources":["../../src/truth_kernel/aletheia.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAA6D,MAAM,YAAY,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AAMrF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,QAAQ,GAAsB;IACzC,8FAA8F;IAC9F,kFAAkF;IAClF,wFAAwF;IACxF,6FAA6F;IAC7F,6CAA6C;IAC7C,wFAAwF;CAChF,CAAC;AAEX,2CAA2C;AAC3C,MAAM,CAAC,MAAM,IAAI,GAAoD;IACnE,EAAE,GAAG,EAAE,kBAAkB,EAAE,OAAO,EAAE,mEAAmE,EAAE;IACzG,EAAE,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,0DAA0D,EAAE;IAC5F,EAAE,GAAG,EAAE,eAAe,EAAE,OAAO,EAAE,gEAAgE,EAAE;CAC3F,CAAC;AAiDX,MAAM,QAAQ,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;AAEvF;;;;;GAKG;AACH,SAAS,cAAc,CACrB,KAAa,EACb,YAAoB,EACpB,aAAqB,EACrB,IAA4F;IAE5F,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,4BAA4B;IAC3F,CAAC;IACD,IAAI,YAAY,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACzC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,kCAAkC;IACjG,CAAC;IACD,IAAI,KAAK,IAAI,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;IACnF,IAAI,KAAK,IAAI,IAAI,CAAC,eAAe;QAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;IACrF,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,gCAAgC;AAC/F,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,QAAgB,EAAE,KAAa,EAAE,OAAqB,EAAE;IACxF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG;QACjB,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,QAAQ,CAAC,cAAc;QAC9D,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe;QACjE,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe;KAClE,CAAC;IAEF,IAAI,EAAE,CAAC;IACP,IAAI,CAAC;QACH,EAAE,GAAG,MAAM,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACzF,CAAC;IAAC,MAAM,CAAC;QACP,kFAAkF;QAClF,OAAO;YACL,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,MAAM;YACxF,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,2DAA2D;YACpG,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;SACtE,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE;KACjG,CAAC,CAAC,CAAC;IACJ,MAAM,aAAa,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAC3G,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAEzG,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;IACrF,MAAM,QAAQ,GACZ,OAAO,KAAK,SAAS;QACnB,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,CAAC,8DAA8D,CAAC,CAAC,CAAC,cAAc,IAAI,8BAA8B,CAAC;QAC3I,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC,cAAc,IAAI,OAAO,MAAM,OAAO,EAAE,CAAC,CAAC;IAErI,gFAAgF;IAChF,2EAA2E;IAC3E,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;gBAC/B,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY,EAAE,OAAO,EAAE;gBACjG,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;QAAC,CAAC;IAC7B,CAAC;IAED,OAAO;QACL,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY;QAC9D,gBAAgB,EAAE,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO;QAC3F,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;KACzB,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,0EAA0E;AAC1E,gFAAgF;AAChF,4DAA4D;AAC5D,2EAA2E;AAE3E;qFACqF;AACrF,SAAS,gBAAgB;IACvB,OAAO;QACL,EAAE,EAAE,YAAY;QAChB,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,CAAC,KAAa,EAAgB,EAAE;YACnC,MAAM,CAAC,GAAG,2EAA2E,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClG,IAAI,CAAC,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YAChF,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YACtF,MAAM,IAAI,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAClG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACpG,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;YACrC,OAAO;gBACL,MAAM,EAAE,YAAY;gBACpB,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;gBAC9B,UAAU,EAAE,CAAC;gBACb,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,EAAE;aACnF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;mDASmD;AACnD,SAAS,eAAe,CAAC,QAAgB;IACvC,OAAO;QACL,EAAE,EAAE,WAAW;QACf,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,KAAK,EAAE,KAAa,EAAyB,EAAE;YAClD,IAAI,CAAC;gBACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;gBACzD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,CAA2C,CAAC;gBAC9E,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;gBACtB,IAAI,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,WAAW;oBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACvI,IAAI,CAAC,KAAK,UAAU;oBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACrH,uFAAuF;gBACvF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,QAAQ,IAAI,CAAC,6CAA6C,EAAE,CAAC;YACvJ,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,0BAA2B,CAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YACjJ,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;gEAEgE;AAChE,SAAS,cAAc;IACrB,OAAO;QACL,EAAE,EAAE,UAAU;QACd,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,KAAK,EAAE,KAAa,EAAyB,EAAE;YAClD,IAAI,CAAC;gBACH,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,oCAAoC,CAAC,CAAC;gBAC/E,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;gBACjC,yEAAyE;gBACzE,0EAA0E;gBAC1E,0EAA0E;gBAC1E,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;oBAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;gBACrH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7F,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACxE,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,sBAAsB,CAAC,QAAgB;IACrD,OAAO,CAAC,gBAAgB,EAAE,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;AAC3E,CAAC;AA+BD,gEAAgE;AAChE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,QAAgB,EAAE,KAA8B,EAAE,OAAqB,EAAE;IAC/G,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACrD,MAAM,UAAU,GAAG,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;QACjE,gFAAgF;QAChF,+EAA+E;QAC/E,MAAM,cAAc,GAClB,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,UAAU,CAAC;YACxC,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;YAC7C,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;QAChD,IAAI,cAAc;YAAE,eAAe,EAAE,CAAC;QACtC,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,OAAO;gBAAE,cAAc,EAAE,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,MAAM,EAAE,CAAC;YACT,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC;gBAC1C,IAAI,CAAC,EAAE;oBAAE,MAAM,EAAE,CAAC;YACpB,CAAC;YAAC,MAAM,CAAC;gBAAC,MAAM,EAAE,CAAC;YAAC,CAAC;QACvB,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YAC7B,UAAU,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,kBAAkB,EAAE,CAAC;QACpD,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/G,CAAC;IAED,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,kBAAkB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;IACtD,MAAM,WAAW,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,QAAQ,CAAC;IACnE,MAAM,cAAc,GAAG,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,GAAG,UAAU,CAAC;IAC9E,MAAM,QAAQ,GAAG,kCAAkC,CAAC,kBAAkB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,WAAW,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;IAChP,OAAO,EAAE,CAAC,EAAE,kBAAkB,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/F,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,KAAK;IACnB,OAAO;QACL,QAAQ,EAAE,QAAQ;QAClB,IAAI,EAAE,IAAI;QACV,MAAM,EACJ,iGAAiG;YACjG,mGAAmG;YACnG,qGAAqG;KACxG,CAAC;AACJ,CAAC"}
|
|
1
|
+
{"version":3,"file":"aletheia.js","sourceRoot":"","sources":["../../src/truth_kernel/aletheia.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAA6D,MAAM,YAAY,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AACrF,OAAO,EAAE,eAAe,EAAsB,MAAM,cAAc,CAAC;AAMnE,+EAA+E;AAC/E,MAAM,CAAC,MAAM,QAAQ,GAAsB;IACzC,8FAA8F;IAC9F,kFAAkF;IAClF,wFAAwF;IACxF,6FAA6F;IAC7F,6CAA6C;IAC7C,wFAAwF;CAChF,CAAC;AAEX,2CAA2C;AAC3C,MAAM,CAAC,MAAM,IAAI,GAAoD;IACnE,EAAE,GAAG,EAAE,kBAAkB,EAAE,OAAO,EAAE,mEAAmE,EAAE;IACzG,EAAE,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,0DAA0D,EAAE;IAC5F,EAAE,GAAG,EAAE,eAAe,EAAE,OAAO,EAAE,gEAAgE,EAAE;CAC3F,CAAC;AA4DX,MAAM,QAAQ,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;AAEvF;;;;;GAKG;AACH,SAAS,cAAc,CACrB,KAAa,EACb,YAAoB,EACpB,aAAqB,EACrB,IAA4F;IAE5F,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,4BAA4B;IAC3F,CAAC;IACD,IAAI,YAAY,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACzC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,kCAAkC;IACjG,CAAC;IACD,IAAI,KAAK,IAAI,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;IACnF,IAAI,KAAK,IAAI,IAAI,CAAC,eAAe;QAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;IACrF,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,gCAAgC;AAC/F,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,QAAgB,EAAE,KAAa,EAAE,OAAqB,EAAE;IACxF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG;QACjB,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,QAAQ,CAAC,cAAc;QAC9D,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe;QACjE,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe;KAClE,CAAC;IAEF,IAAI,EAAE,CAAC;IACP,IAAI,CAAC;QACH,EAAE,GAAG,MAAM,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACzF,CAAC;IAAC,MAAM,CAAC;QACP,kFAAkF;QAClF,OAAO;YACL,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,MAAM;YACxF,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,2DAA2D;YACpG,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;SACtE,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE;KACjG,CAAC,CAAC,CAAC;IACJ,MAAM,aAAa,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAC3G,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAEzG,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;IACrF,MAAM,QAAQ,GACZ,OAAO,KAAK,SAAS;QACnB,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,CAAC,8DAA8D,CAAC,CAAC,CAAC,cAAc,IAAI,8BAA8B,CAAC;QAC3I,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC,cAAc,IAAI,OAAO,MAAM,OAAO,EAAE,CAAC,CAAC;IAErI,gFAAgF;IAChF,2EAA2E;IAC3E,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;gBAC/B,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY,EAAE,OAAO,EAAE;gBACjG,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;QAAC,CAAC;IAC7B,CAAC;IAED,MAAM,MAAM,GAAmB;QAC7B,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY;QAC9D,gBAAgB,EAAE,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO;QAC3F,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;KACzB,CAAC;IAEF,8EAA8E;IAC9E,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,eAAe,CAAC,QAAQ,EAAE;gBACpC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK;gBAC/B,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;aAC1G,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC3D,MAAM,CAAC,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;YAC3C,MAAM,CAAC,aAAa,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,CAAC;QAAC,MAAM,CAAC,CAAC,4DAA4D,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,2EAA2E;AAC3E,0EAA0E;AAC1E,gFAAgF;AAChF,4DAA4D;AAC5D,2EAA2E;AAE3E;qFACqF;AACrF,SAAS,gBAAgB;IACvB,OAAO;QACL,EAAE,EAAE,YAAY;QAChB,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,CAAC,KAAa,EAAgB,EAAE;YACnC,MAAM,CAAC,GAAG,2EAA2E,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClG,IAAI,CAAC,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YAChF,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YACtF,MAAM,IAAI,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAClG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACpG,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;YACrC,OAAO;gBACL,MAAM,EAAE,YAAY;gBACpB,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;gBAC9B,UAAU,EAAE,CAAC;gBACb,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,EAAE;aACnF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;mDASmD;AACnD,SAAS,eAAe,CAAC,QAAgB;IACvC,OAAO;QACL,EAAE,EAAE,WAAW;QACf,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,KAAK,EAAE,KAAa,EAAyB,EAAE;YAClD,IAAI,CAAC;gBACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;gBACzD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,CAA2C,CAAC;gBAC9E,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;gBACtB,IAAI,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,WAAW;oBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACvI,IAAI,CAAC,KAAK,UAAU;oBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACrH,uFAAuF;gBACvF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,QAAQ,IAAI,CAAC,6CAA6C,EAAE,CAAC;YACvJ,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,0BAA2B,CAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YACjJ,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;gEAEgE;AAChE,SAAS,cAAc;IACrB,OAAO;QACL,EAAE,EAAE,UAAU;QACd,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,KAAK,EAAE,KAAa,EAAyB,EAAE;YAClD,IAAI,CAAC;gBACH,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,oCAAoC,CAAC,CAAC;gBAC/E,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;gBACjC,yEAAyE;gBACzE,0EAA0E;gBAC1E,0EAA0E;gBAC1E,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;oBAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;gBACrH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7F,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACxE,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,sBAAsB,CAAC,QAAgB;IACrD,OAAO,CAAC,gBAAgB,EAAE,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;AAC3E,CAAC;AA+BD,gEAAgE;AAChE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,QAAgB,EAAE,KAA8B,EAAE,OAAqB,EAAE;IAC/G,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACrD,MAAM,UAAU,GAAG,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;QACjE,gFAAgF;QAChF,+EAA+E;QAC/E,MAAM,cAAc,GAClB,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,UAAU,CAAC;YACxC,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;YAC7C,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;QAChD,IAAI,cAAc;YAAE,eAAe,EAAE,CAAC;QACtC,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,OAAO;gBAAE,cAAc,EAAE,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,MAAM,EAAE,CAAC;YACT,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC;gBAC1C,IAAI,CAAC,EAAE;oBAAE,MAAM,EAAE,CAAC;YACpB,CAAC;YAAC,MAAM,CAAC;gBAAC,MAAM,EAAE,CAAC;YAAC,CAAC;QACvB,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YAC7B,UAAU,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,kBAAkB,EAAE,CAAC;QACpD,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/G,CAAC;IAED,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,kBAAkB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;IACtD,MAAM,WAAW,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,QAAQ,CAAC;IACnE,MAAM,cAAc,GAAG,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,GAAG,UAAU,CAAC;IAC9E,MAAM,QAAQ,GAAG,kCAAkC,CAAC,kBAAkB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,WAAW,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;IAChP,OAAO,EAAE,CAAC,EAAE,kBAAkB,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/F,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,KAAK;IACnB,OAAO;QACL,QAAQ,EAAE,QAAQ;QAClB,IAAI,EAAE,IAAI;QACV,MAAM,EACJ,iGAAiG;YACjG,mGAAmG;YACnG,qGAAqG;KACxG,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,55 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.90.0 — 💎③ IDLE COMPOUNDING · the savant sharpens in its sleep.
|
|
3
|
+
*
|
|
4
|
+
* A daemon's idle window is wasted time for an LLM (its weights are frozen). For the
|
|
5
|
+
* savant it's when it gets SHARPER: it consolidates the many corroborating ACTIVE
|
|
6
|
+
* truths in the Axiom Lattice into fewer, higher-SUPPORT axioms, and quarantines any
|
|
7
|
+
* subject where the active truths conflict (a contested subject is NOT an axiom).
|
|
8
|
+
*
|
|
9
|
+
* Pure + deterministic + idempotent: this is a READ-ONLY projection over the lattice
|
|
10
|
+
* (it never mutates it), so re-running yields the identical axiom set + the identical
|
|
11
|
+
* signed digest — the savant's current, provable axiom base, attestable offline.
|
|
12
|
+
* Never throws.
|
|
13
|
+
*/
|
|
14
|
+
import { type NotaryReceipt } from "../notary/index.js";
|
|
15
|
+
export interface Axiom {
|
|
16
|
+
subject: string;
|
|
17
|
+
/** A representative claim for the subject (the earliest ACTIVE one). */
|
|
18
|
+
claim: string;
|
|
19
|
+
verdict: "TRUE" | "FALSE";
|
|
20
|
+
/** How many ACTIVE lattice nodes corroborate this verdict on this subject. */
|
|
21
|
+
support: number;
|
|
22
|
+
nodeIds: string[];
|
|
23
|
+
/** True once support ≥ minSupport — a "crystallised" high-support axiom. */
|
|
24
|
+
crystallised: boolean;
|
|
25
|
+
}
|
|
26
|
+
export interface ContestedSubject {
|
|
27
|
+
subject: string;
|
|
28
|
+
claims: string[];
|
|
29
|
+
/** Why it can't be an axiom: the active truths on this subject disagree. */
|
|
30
|
+
reason: string;
|
|
31
|
+
}
|
|
32
|
+
export interface CompoundReport {
|
|
33
|
+
totalActive: number;
|
|
34
|
+
/** Subjects whose ACTIVE truths agree → consolidated axioms (sorted by subject). */
|
|
35
|
+
axioms: Axiom[];
|
|
36
|
+
/** Subjects with conflicting ACTIVE verdicts → quarantined, NOT axioms. */
|
|
37
|
+
contested: ContestedSubject[];
|
|
38
|
+
/** Count of crystallised (high-support) axioms. */
|
|
39
|
+
crystallisedCount: number;
|
|
40
|
+
/** NOTARY-signed digest over the axiom set — the savant's attestable axiom base. */
|
|
41
|
+
receipt: NotaryReceipt | null;
|
|
42
|
+
summary: string;
|
|
43
|
+
}
|
|
44
|
+
/**
|
|
45
|
+
* Consolidate the lattice's ACTIVE truths into axioms. A subject becomes an axiom
|
|
46
|
+
* iff all its ACTIVE non-UNKNOWN nodes agree on one verdict; if they conflict it is
|
|
47
|
+
* CONTESTED (quarantined). Deterministic (sorted) + idempotent (read-only). Signs the
|
|
48
|
+
* resulting axiom set so "what the savant currently holds as proven" is verifiable.
|
|
49
|
+
*/
|
|
50
|
+
export declare function compoundLattice(repoRoot: string, opts?: {
|
|
51
|
+
minSupport?: number;
|
|
52
|
+
issuedAt?: number;
|
|
53
|
+
noSign?: boolean;
|
|
54
|
+
}): CompoundReport;
|
|
55
|
+
//# sourceMappingURL=compound.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"compound.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/compound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAgB,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEtE,MAAM,WAAW,KAAK;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,wEAAwE;IACxE,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,8EAA8E;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,4EAA4E;IAC5E,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,oFAAoF;IACpF,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,2EAA2E;IAC3E,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,mDAAmD;IACnD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,oFAAoF;IACpF,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAE;IAAE,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,cAAc,CAiDzI"}
|
|
@@ -0,0 +1,72 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.90.0 — 💎③ IDLE COMPOUNDING · the savant sharpens in its sleep.
|
|
3
|
+
*
|
|
4
|
+
* A daemon's idle window is wasted time for an LLM (its weights are frozen). For the
|
|
5
|
+
* savant it's when it gets SHARPER: it consolidates the many corroborating ACTIVE
|
|
6
|
+
* truths in the Axiom Lattice into fewer, higher-SUPPORT axioms, and quarantines any
|
|
7
|
+
* subject where the active truths conflict (a contested subject is NOT an axiom).
|
|
8
|
+
*
|
|
9
|
+
* Pure + deterministic + idempotent: this is a READ-ONLY projection over the lattice
|
|
10
|
+
* (it never mutates it), so re-running yields the identical axiom set + the identical
|
|
11
|
+
* signed digest — the savant's current, provable axiom base, attestable offline.
|
|
12
|
+
* Never throws.
|
|
13
|
+
*/
|
|
14
|
+
import { readLattice } from "./lattice.js";
|
|
15
|
+
import { issueReceipt } from "../notary/index.js";
|
|
16
|
+
/**
|
|
17
|
+
* Consolidate the lattice's ACTIVE truths into axioms. A subject becomes an axiom
|
|
18
|
+
* iff all its ACTIVE non-UNKNOWN nodes agree on one verdict; if they conflict it is
|
|
19
|
+
* CONTESTED (quarantined). Deterministic (sorted) + idempotent (read-only). Signs the
|
|
20
|
+
* resulting axiom set so "what the savant currently holds as proven" is verifiable.
|
|
21
|
+
*/
|
|
22
|
+
export function compoundLattice(repoRoot, opts = {}) {
|
|
23
|
+
const minSupport = Math.max(1, opts.minSupport ?? 2);
|
|
24
|
+
const active = readLattice(repoRoot).filter((n) => n.status === "ACTIVE" && (n.verdict === "TRUE" || n.verdict === "FALSE"));
|
|
25
|
+
// Group by subject (stable insertion via Map; keys sorted at the end for determinism).
|
|
26
|
+
const bySubject = new Map();
|
|
27
|
+
for (const n of active) {
|
|
28
|
+
if (!n.subject)
|
|
29
|
+
continue;
|
|
30
|
+
const arr = bySubject.get(n.subject) ?? [];
|
|
31
|
+
arr.push(n);
|
|
32
|
+
bySubject.set(n.subject, arr);
|
|
33
|
+
}
|
|
34
|
+
const axioms = [];
|
|
35
|
+
const contested = [];
|
|
36
|
+
for (const subject of [...bySubject.keys()].sort()) {
|
|
37
|
+
const nodes = bySubject.get(subject);
|
|
38
|
+
const verdicts = new Set(nodes.map((n) => n.verdict));
|
|
39
|
+
if (verdicts.size > 1) {
|
|
40
|
+
contested.push({ subject, claims: nodes.map((n) => n.claim), reason: "active truths disagree on this subject" });
|
|
41
|
+
continue;
|
|
42
|
+
}
|
|
43
|
+
const verdict = nodes[0].verdict;
|
|
44
|
+
const support = nodes.length;
|
|
45
|
+
axioms.push({
|
|
46
|
+
subject,
|
|
47
|
+
claim: nodes[0].claim,
|
|
48
|
+
verdict,
|
|
49
|
+
support,
|
|
50
|
+
nodeIds: nodes.map((n) => n.id),
|
|
51
|
+
crystallised: support >= minSupport,
|
|
52
|
+
});
|
|
53
|
+
}
|
|
54
|
+
const crystallisedCount = axioms.filter((a) => a.crystallised).length;
|
|
55
|
+
let receipt = null;
|
|
56
|
+
if (!opts.noSign) {
|
|
57
|
+
try {
|
|
58
|
+
receipt = issueReceipt(repoRoot, {
|
|
59
|
+
kind: "memory-capsule",
|
|
60
|
+
subject: `aletheia-axioms:${axioms.length}`,
|
|
61
|
+
payload: { engine: "aletheia-compound", axioms: axioms.map((a) => ({ subject: a.subject, verdict: a.verdict, support: a.support })), contested: contested.length },
|
|
62
|
+
issuedAt: opts.issuedAt,
|
|
63
|
+
});
|
|
64
|
+
}
|
|
65
|
+
catch {
|
|
66
|
+
receipt = null;
|
|
67
|
+
}
|
|
68
|
+
}
|
|
69
|
+
const summary = `compounded ${active.length} active truth(s) → ${axioms.length} axiom(s) (${crystallisedCount} crystallised, support≥${minSupport}) · ${contested.length} contested subject(s) quarantined`;
|
|
70
|
+
return { totalActive: active.length, axioms, contested, crystallisedCount, receipt, summary };
|
|
71
|
+
}
|
|
72
|
+
//# sourceMappingURL=compound.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"compound.js","sourceRoot":"","sources":["../../src/truth_kernel/compound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAsB,MAAM,oBAAoB,CAAC;AAkCtE;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,OAAqE,EAAE;IACvH,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC;IAE7H,uFAAuF;IACvF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,CAAC,OAAO;YAAE,SAAS;QACzB,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC3C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACtD,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,wCAAwC,EAAE,CAAC,CAAC;YACjH,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,OAA2B,CAAC;QACtD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC;YACV,OAAO;YACP,KAAK,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK;YACtB,OAAO;YACP,OAAO;YACP,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,YAAY,EAAE,OAAO,IAAI,UAAU;SACpC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC;IACtE,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;gBAC/B,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,mBAAmB,MAAM,CAAC,MAAM,EAAE;gBAC3C,OAAO,EAAE,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE;gBAClK,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;QAAC,CAAC;IAC7B,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,MAAM,CAAC,MAAM,sBAAsB,MAAM,CAAC,MAAM,cAAc,iBAAiB,0BAA0B,UAAU,OAAO,SAAS,CAAC,MAAM,mCAAmC,CAAC;IAC5M,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAChG,CAAC"}
|
|
@@ -0,0 +1,37 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.90.0 — 💎④ PUBLIC SAVANT GAUNTLET · the falsifiable proof, anyone can rerun.
|
|
3
|
+
*
|
|
4
|
+
* A claim of superhuman honesty is worthless unless a stranger can reproduce it. The
|
|
5
|
+
* Public Gauntlet ships a FIXED, labeled corpus (provable truths · provable falsehoods
|
|
6
|
+
* · genuinely-unprovable claims) and runs it through the savant spine, producing the
|
|
7
|
+
* three numbers a savant beats every LLM on — and SIGNS the report so a third party
|
|
8
|
+
* verifies the result offline with the public key alone:
|
|
9
|
+
*
|
|
10
|
+
* false-assertion rate → 0% (the savant abstains instead of guessing)
|
|
11
|
+
* forget rate → 0% (every verdict re-verifies)
|
|
12
|
+
* provability → 100% (a signed lineage on every definite verdict)
|
|
13
|
+
*
|
|
14
|
+
* Deterministic (fixed corpus + injectable issuedAt). Never throws.
|
|
15
|
+
*/
|
|
16
|
+
import { type GauntletCase, type SavantGauntletReport, type AletheiaOpts } from "./aletheia.js";
|
|
17
|
+
import { type NotaryReceipt } from "../notary/index.js";
|
|
18
|
+
/** The pinned public corpus. Arithmetic/structural truths are provable from first
|
|
19
|
+
* principles (so any machine reproduces the verdict); the unprovable rows are
|
|
20
|
+
* genuinely unknowable, so an honest savant MUST abstain on them. */
|
|
21
|
+
export declare const PUBLIC_GAUNTLET_CORPUS: readonly GauntletCase[];
|
|
22
|
+
export interface PublicGauntletReport extends SavantGauntletReport {
|
|
23
|
+
corpusSize: number;
|
|
24
|
+
/** True iff false-assertion 0% AND forget 0% AND provability 100% AND abstention 100%. */
|
|
25
|
+
passed: boolean;
|
|
26
|
+
/** Signed report card — verify offline with the public key. */
|
|
27
|
+
receipt: NotaryReceipt | null;
|
|
28
|
+
}
|
|
29
|
+
/** Run the pinned public corpus through the savant + sign the report. Never throws. */
|
|
30
|
+
export declare function runPublicGauntlet(repoRoot: string, opts?: AletheiaOpts): Promise<PublicGauntletReport>;
|
|
31
|
+
/** Verify a Public Gauntlet report card offline (signature valid + it reports a pass). */
|
|
32
|
+
export declare function verifyGauntletReport(receipt: NotaryReceipt | null): {
|
|
33
|
+
valid: boolean;
|
|
34
|
+
passed: boolean;
|
|
35
|
+
reason: string;
|
|
36
|
+
};
|
|
37
|
+
//# sourceMappingURL=gauntlet_public.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"gauntlet_public.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/gauntlet_public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAqB,KAAK,YAAY,EAAE,KAAK,oBAAoB,EAAE,KAAK,YAAY,EAAE,MAAM,eAAe,CAAC;AACnH,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAErF;;sEAEsE;AACtE,eAAO,MAAM,sBAAsB,EAAE,SAAS,YAAY,EAiBhD,CAAC;AAEX,MAAM,WAAW,oBAAqB,SAAQ,oBAAoB;IAChE,UAAU,EAAE,MAAM,CAAC;IACnB,0FAA0F;IAC1F,MAAM,EAAE,OAAO,CAAC;IAChB,+DAA+D;IAC/D,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;CAC/B;AAED,uFAAuF;AACvF,wBAAsB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAmBhH;AAED,0FAA0F;AAC1F,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,aAAa,GAAG,IAAI,GAAG;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAQvH"}
|
|
@@ -0,0 +1,81 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.90.0 — 💎④ PUBLIC SAVANT GAUNTLET · the falsifiable proof, anyone can rerun.
|
|
3
|
+
*
|
|
4
|
+
* A claim of superhuman honesty is worthless unless a stranger can reproduce it. The
|
|
5
|
+
* Public Gauntlet ships a FIXED, labeled corpus (provable truths · provable falsehoods
|
|
6
|
+
* · genuinely-unprovable claims) and runs it through the savant spine, producing the
|
|
7
|
+
* three numbers a savant beats every LLM on — and SIGNS the report so a third party
|
|
8
|
+
* verifies the result offline with the public key alone:
|
|
9
|
+
*
|
|
10
|
+
* false-assertion rate → 0% (the savant abstains instead of guessing)
|
|
11
|
+
* forget rate → 0% (every verdict re-verifies)
|
|
12
|
+
* provability → 100% (a signed lineage on every definite verdict)
|
|
13
|
+
*
|
|
14
|
+
* Deterministic (fixed corpus + injectable issuedAt). Never throws.
|
|
15
|
+
*/
|
|
16
|
+
import { runSavantGauntlet } from "./aletheia.js";
|
|
17
|
+
import { issueReceipt, verifyReceipt } from "../notary/index.js";
|
|
18
|
+
/** The pinned public corpus. Arithmetic/structural truths are provable from first
|
|
19
|
+
* principles (so any machine reproduces the verdict); the unprovable rows are
|
|
20
|
+
* genuinely unknowable, so an honest savant MUST abstain on them. */
|
|
21
|
+
export const PUBLIC_GAUNTLET_CORPUS = [
|
|
22
|
+
// provable truths
|
|
23
|
+
{ claim: "2+2=4", truth: "TRUE" },
|
|
24
|
+
{ claim: "10*10=100", truth: "TRUE" },
|
|
25
|
+
{ claim: "100-1=99", truth: "TRUE" },
|
|
26
|
+
{ claim: "7*8=56", truth: "TRUE" },
|
|
27
|
+
{ claim: "144/12=12", truth: "TRUE" },
|
|
28
|
+
// provable falsehoods
|
|
29
|
+
{ claim: "2+2=5", truth: "FALSE" },
|
|
30
|
+
{ claim: "9*9=80", truth: "FALSE" },
|
|
31
|
+
{ claim: "100-1=98", truth: "FALSE" },
|
|
32
|
+
{ claim: "3*3=10", truth: "FALSE" },
|
|
33
|
+
// genuinely unprovable — the savant MUST say UNKNOWN
|
|
34
|
+
{ claim: "The stock market will rise 3.2% next Tuesday", truth: "UNPROVABLE" },
|
|
35
|
+
{ claim: "There are exactly 1000037 grains of sand in that jar", truth: "UNPROVABLE" },
|
|
36
|
+
{ claim: "The 9001st visitor tomorrow will be wearing a red hat", truth: "UNPROVABLE" },
|
|
37
|
+
{ claim: "The number of leaves on that tree is even", truth: "UNPROVABLE" },
|
|
38
|
+
];
|
|
39
|
+
/** Run the pinned public corpus through the savant + sign the report. Never throws. */
|
|
40
|
+
export async function runPublicGauntlet(repoRoot, opts = {}) {
|
|
41
|
+
const base = await runSavantGauntlet(repoRoot, PUBLIC_GAUNTLET_CORPUS, opts);
|
|
42
|
+
const passed = base.falseAssertionRate === 0 && base.forgetRate === 0 && base.provability === 1 && base.abstentionRate === 1;
|
|
43
|
+
let receipt = null;
|
|
44
|
+
if (!opts.noSign) {
|
|
45
|
+
try {
|
|
46
|
+
receipt = issueReceipt(repoRoot, {
|
|
47
|
+
kind: "claim-verdict",
|
|
48
|
+
subject: `savant-gauntlet:${PUBLIC_GAUNTLET_CORPUS.length}`,
|
|
49
|
+
payload: {
|
|
50
|
+
engine: "aletheia-public-gauntlet",
|
|
51
|
+
falseAssertionRate: base.falseAssertionRate, forgetRate: base.forgetRate,
|
|
52
|
+
provability: base.provability, abstentionRate: base.abstentionRate, passed,
|
|
53
|
+
},
|
|
54
|
+
issuedAt: opts.issuedAt,
|
|
55
|
+
});
|
|
56
|
+
}
|
|
57
|
+
catch {
|
|
58
|
+
receipt = null;
|
|
59
|
+
}
|
|
60
|
+
}
|
|
61
|
+
return { ...base, corpusSize: PUBLIC_GAUNTLET_CORPUS.length, passed, receipt };
|
|
62
|
+
}
|
|
63
|
+
/** Verify a Public Gauntlet report card offline (signature valid + it reports a pass). */
|
|
64
|
+
export function verifyGauntletReport(receipt) {
|
|
65
|
+
if (!receipt)
|
|
66
|
+
return { valid: false, passed: false, reason: "no receipt" };
|
|
67
|
+
let v;
|
|
68
|
+
try {
|
|
69
|
+
v = verifyReceipt(receipt);
|
|
70
|
+
}
|
|
71
|
+
catch (e) {
|
|
72
|
+
return { valid: false, passed: false, reason: `verify threw: ${e.message}` };
|
|
73
|
+
}
|
|
74
|
+
if (!v.valid)
|
|
75
|
+
return { valid: false, passed: false, reason: v.reason };
|
|
76
|
+
const pl = (receipt.payload ?? {});
|
|
77
|
+
if (pl.engine !== "aletheia-public-gauntlet")
|
|
78
|
+
return { valid: true, passed: false, reason: "not a gauntlet report" };
|
|
79
|
+
return { valid: true, passed: pl.passed === true, reason: pl.passed ? "signed pass" : "signed but did not pass" };
|
|
80
|
+
}
|
|
81
|
+
//# sourceMappingURL=gauntlet_public.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"gauntlet_public.js","sourceRoot":"","sources":["../../src/truth_kernel/gauntlet_public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,iBAAiB,EAAmE,MAAM,eAAe,CAAC;AACnH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AAErF;;sEAEsE;AACtE,MAAM,CAAC,MAAM,sBAAsB,GAA4B;IAC7D,kBAAkB;IAClB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;IACjC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE;IACrC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;IACpC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE;IAClC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE;IACrC,sBAAsB;IACtB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAClC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE;IACnC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE;IACrC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE;IACnC,qDAAqD;IACrD,EAAE,KAAK,EAAE,8CAA8C,EAAE,KAAK,EAAE,YAAY,EAAE;IAC9E,EAAE,KAAK,EAAE,sDAAsD,EAAE,KAAK,EAAE,YAAY,EAAE;IACtF,EAAE,KAAK,EAAE,uDAAuD,EAAE,KAAK,EAAE,YAAY,EAAE;IACvF,EAAE,KAAK,EAAE,2CAA2C,EAAE,KAAK,EAAE,YAAY,EAAE;CACnE,CAAC;AAUX,uFAAuF;AACvF,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,QAAgB,EAAE,OAAqB,EAAE;IAC/E,MAAM,IAAI,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,sBAAsB,EAAE,IAAI,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,CAAC,IAAI,IAAI,CAAC,cAAc,KAAK,CAAC,CAAC;IAC7H,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;gBAC/B,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,mBAAmB,sBAAsB,CAAC,MAAM,EAAE;gBAC3D,OAAO,EAAE;oBACP,MAAM,EAAE,0BAA0B;oBAClC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU;oBACxE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM;iBAC3E;gBACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;QAAC,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACjF,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,oBAAoB,CAAC,OAA6B;IAChE,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IAC3E,IAAI,CAAC,CAAC;IACN,IAAI,CAAC;QAAC,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAkB,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC;IAAC,CAAC;IAC1I,IAAI,CAAC,CAAC,CAAC,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;IACvE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAA0C,CAAC;IAC5E,IAAI,EAAE,CAAC,MAAM,KAAK,0BAA0B;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;IACrH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,yBAAyB,EAAE,CAAC;AACpH,CAAC"}
|
|
@@ -0,0 +1,141 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.89.0 — 💎 THE AXIOM LATTICE · ALETHEIA's living proof graph.
|
|
3
|
+
*
|
|
4
|
+
* The savant doesn't just answer one claim and forget it (that was v2.88). A real
|
|
5
|
+
* savant — Padgett "sees frames connected by lines", never forgets, and CANNOT
|
|
6
|
+
* hold two opposing truths. The Axiom Lattice is that faculty made real: a
|
|
7
|
+
* persistent, hash-chained, Ed25519-signed graph of every assertion ALETHEIA has
|
|
8
|
+
* made — offline-verifiable, tamper-evident, self-correcting.
|
|
9
|
+
*
|
|
10
|
+
* It realises three savant axes + two vows at once:
|
|
11
|
+
* • Graph perception — claims are nodes; lineage + dependency are edges.
|
|
12
|
+
* • Anti-abstraction — lossless: the exact claim + verdict + proof, never summarised away.
|
|
13
|
+
* • Proof, not belief — `whyTrue` walks the lineage back to bedrock (deterministic) sensors.
|
|
14
|
+
* • Never Forget — append-only, hash-chained, signed; retrievable forever.
|
|
15
|
+
* • Trust Nothing — `verifyLattice` re-verifies every node + the chain, OFFLINE.
|
|
16
|
+
*
|
|
17
|
+
* Two superhuman behaviours no LLM can do structurally:
|
|
18
|
+
* 1. CONTRADICTION DETECTION — recording a claim that opposes an existing TRUE
|
|
19
|
+
* surfaces the conflict as the LOUDEST signal (the savant can't hold both).
|
|
20
|
+
* 2. RETRACTION CASCADE (truth-maintenance) — when a claim is refuted, every
|
|
21
|
+
* claim that DEPENDED on it is automatically marked PENDING_REVERIFY + a
|
|
22
|
+
* signed retraction frame is written. Change one fact → the multiverse knows.
|
|
23
|
+
*
|
|
24
|
+
* Built on NOTARY (signing/chain) — no new crypto. Never throws.
|
|
25
|
+
*/
|
|
26
|
+
import { type NotaryReceipt } from "../notary/index.js";
|
|
27
|
+
import type { AletheiaVerdict } from "./aletheia.js";
|
|
28
|
+
export type NodeStatus = "ACTIVE" | "RETRACTED" | "PENDING_REVERIFY";
|
|
29
|
+
export interface LatticeNode {
|
|
30
|
+
/** Stable id = sha256(seq|claim|verdict)[:16]. */
|
|
31
|
+
id: string;
|
|
32
|
+
seq: number;
|
|
33
|
+
claim: string;
|
|
34
|
+
/** Normalised subject for clustering + contradiction detection. */
|
|
35
|
+
subject: string;
|
|
36
|
+
verdict: AletheiaVerdict;
|
|
37
|
+
pTrue: number;
|
|
38
|
+
/** Sensor ids that drove the verdict (the proof). */
|
|
39
|
+
lineageSummary: string[];
|
|
40
|
+
/** Ids of other lattice nodes this claim's truth rests on (truth-maintenance edges). */
|
|
41
|
+
dependsOn: string[];
|
|
42
|
+
status: NodeStatus;
|
|
43
|
+
at: number;
|
|
44
|
+
/** Previous node's receiptId — the hash chain. */
|
|
45
|
+
prev: string | null;
|
|
46
|
+
/** The full NOTARY receipt (signature over the claim+verdict payload). null only
|
|
47
|
+
* if signing degraded. Embedded so the lattice verifies OFFLINE + editing the
|
|
48
|
+
* node body is detectable against the signed payload. */
|
|
49
|
+
receipt: NotaryReceipt | null;
|
|
50
|
+
}
|
|
51
|
+
export interface Contradiction {
|
|
52
|
+
kind: "opposite-verdict" | "negation-pair" | "value-conflict";
|
|
53
|
+
/** Existing node id. */
|
|
54
|
+
existing: string;
|
|
55
|
+
/** The incoming claim text. */
|
|
56
|
+
incoming: string;
|
|
57
|
+
detail: string;
|
|
58
|
+
}
|
|
59
|
+
/** Normalise a claim's SUBJECT: lowercase, strip negation + values + stopwords,
|
|
60
|
+
* token-sort. Two claims about the same thing collapse to the same key, so a
|
|
61
|
+
* contradiction (same subject, opposing verdict/value) becomes detectable. */
|
|
62
|
+
export declare function normalizeSubject(claim: string): string;
|
|
63
|
+
/** Read every lattice node. Never throws — a corrupt line is skipped. */
|
|
64
|
+
export declare function readLattice(repoRoot: string): LatticeNode[];
|
|
65
|
+
/**
|
|
66
|
+
* Detect contradictions between an incoming (claim, verdict) and the ACTIVE
|
|
67
|
+
* nodes already in the lattice. Three modes, strongest first. Never throws.
|
|
68
|
+
*/
|
|
69
|
+
export declare function detectContradictions(repoRoot: string, claim: string, verdict: AletheiaVerdict): Contradiction[];
|
|
70
|
+
export interface RecordInput {
|
|
71
|
+
claim: string;
|
|
72
|
+
verdict: AletheiaVerdict;
|
|
73
|
+
pTrue: number;
|
|
74
|
+
/** Sensor ids that drove the verdict. */
|
|
75
|
+
lineageSummary?: string[];
|
|
76
|
+
}
|
|
77
|
+
export interface RecordResult {
|
|
78
|
+
node: LatticeNode;
|
|
79
|
+
contradictions: Contradiction[];
|
|
80
|
+
}
|
|
81
|
+
/**
|
|
82
|
+
* Append a signed, hash-chained node to the lattice. Detects contradictions vs
|
|
83
|
+
* the existing ACTIVE truths FIRST (the loudest signal) and returns them.
|
|
84
|
+
* Lossless (Refusal 2). Never throws — degrades to an unsigned node if NOTARY fails.
|
|
85
|
+
*/
|
|
86
|
+
export declare function recordAssertion(repoRoot: string, input: RecordInput, opts?: {
|
|
87
|
+
dependsOn?: string[];
|
|
88
|
+
issuedAt?: number;
|
|
89
|
+
now?: number;
|
|
90
|
+
}): RecordResult;
|
|
91
|
+
export interface WhyResult {
|
|
92
|
+
found: boolean;
|
|
93
|
+
node?: LatticeNode;
|
|
94
|
+
/** Human-readable proof path: this claim ← its sensors / dependency claims ← bedrock. */
|
|
95
|
+
proof: string[];
|
|
96
|
+
}
|
|
97
|
+
/** Walk the proof of a claim: its lineage (sensors) + its dependency nodes, back
|
|
98
|
+
* toward bedrock (deterministic sensors like `arithmetic` are axioms). Never throws. */
|
|
99
|
+
export declare function whyTrue(repoRoot: string, claimOrId: string): WhyResult;
|
|
100
|
+
export interface RetractResult {
|
|
101
|
+
retracted: string[];
|
|
102
|
+
/** Node ids marked PENDING_REVERIFY because they depended on a retracted node. */
|
|
103
|
+
cascade: string[];
|
|
104
|
+
retractionReceiptId: string | null;
|
|
105
|
+
}
|
|
106
|
+
/**
|
|
107
|
+
* Retract a claim and CASCADE: every ACTIVE node that (transitively) depended on
|
|
108
|
+
* it is marked PENDING_REVERIFY — its proof rested on a now-refuted fact, so it
|
|
109
|
+
* must be re-verified before it can be trusted again. Writes a signed retraction
|
|
110
|
+
* frame. The truth-maintenance heart of the savant. Never throws.
|
|
111
|
+
*/
|
|
112
|
+
export declare function retract(repoRoot: string, claimOrId: string, reason: string, opts?: {
|
|
113
|
+
issuedAt?: number;
|
|
114
|
+
}): RetractResult;
|
|
115
|
+
export interface LatticeStatus {
|
|
116
|
+
nodes: number;
|
|
117
|
+
active: number;
|
|
118
|
+
retracted: number;
|
|
119
|
+
pending: number;
|
|
120
|
+
openContradictions: number;
|
|
121
|
+
chainValid: boolean;
|
|
122
|
+
}
|
|
123
|
+
/** Live lattice status: counts + open contradictions among ACTIVE truths + chain integrity. */
|
|
124
|
+
export declare function latticeStatus(repoRoot: string): LatticeStatus;
|
|
125
|
+
export interface VerifyLatticeResult {
|
|
126
|
+
ok: boolean;
|
|
127
|
+
nodes: number;
|
|
128
|
+
/** seq of the first broken link, if any. */
|
|
129
|
+
brokenAt?: number;
|
|
130
|
+
/** node ids whose NOTARY signature failed, OR whose body was tampered vs the signed payload. */
|
|
131
|
+
badSignatures: string[];
|
|
132
|
+
}
|
|
133
|
+
/**
|
|
134
|
+
* Re-verify the entire lattice OFFLINE: for every signed node (1) its NOTARY
|
|
135
|
+
* receipt's Ed25519 signature is valid, (2) the node's claim/verdict MATCH the
|
|
136
|
+
* signed payload (so editing the jsonl body is caught), and (3) each node's
|
|
137
|
+
* `prev` matches the predecessor's receiptId (the chain is intact). This is the
|
|
138
|
+
* savant's "Trust Nothing — including itself". Never throws.
|
|
139
|
+
*/
|
|
140
|
+
export declare function verifyLattice(repoRoot: string): VerifyLatticeResult;
|
|
141
|
+
//# sourceMappingURL=lattice.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"lattice.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/lattice.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAKH,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACrF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,WAAW,GAAG,kBAAkB,CAAC;AAErE,MAAM,WAAW,WAAW;IAC1B,kDAAkD;IAClD,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,eAAe,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,qDAAqD;IACrD,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,wFAAwF;IACxF,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,UAAU,CAAC;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,kDAAkD;IAClD,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB;;8DAE0D;IAC1D,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;CAC/B;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,kBAAkB,GAAG,eAAe,GAAG,gBAAgB,CAAC;IAC9D,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,+BAA+B;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAKD;;+EAE+E;AAC/E,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAUtD;AAgBD,yEAAyE;AACzE,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,EAAE,CAY3D;AAOD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,GAAG,aAAa,EAAE,CA+B/G;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,eAAe,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,yCAAyC;IACzC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,WAAW,CAAC;IAClB,cAAc,EAAE,aAAa,EAAE,CAAC;CACjC;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,GAAE;IAAE,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,YAAY,CA8BxJ;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,yFAAyF;IACzF,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;yFACyF;AACzF,wBAAgB,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,CAsBtE;AAED,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,kFAAkF;IAClF,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,aAAa,CAsC5H;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,+FAA+F;AAC/F,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,aAAa,CAuB7D;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,OAAO,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,4CAA4C;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gGAAgG;IAChG,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,mBAAmB,CAuBnE"}
|