@mneme-ai/core 1.62.0 → 1.64.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/cognitive/cognitive.test.d.ts +10 -0
- package/dist/cognitive/cognitive.test.d.ts.map +1 -0
- package/dist/cognitive/cognitive.test.js +485 -0
- package/dist/cognitive/cognitive.test.js.map +1 -0
- package/dist/cognitive/consolidation.d.ts +73 -0
- package/dist/cognitive/consolidation.d.ts.map +1 -0
- package/dist/cognitive/consolidation.js +170 -0
- package/dist/cognitive/consolidation.js.map +1 -0
- package/dist/cognitive/counterfactual.d.ts +73 -0
- package/dist/cognitive/counterfactual.d.ts.map +1 -0
- package/dist/cognitive/counterfactual.js +184 -0
- package/dist/cognitive/counterfactual.js.map +1 -0
- package/dist/cognitive/curiosity.d.ts +37 -0
- package/dist/cognitive/curiosity.d.ts.map +1 -0
- package/dist/cognitive/curiosity.js +191 -0
- package/dist/cognitive/curiosity.js.map +1 -0
- package/dist/cognitive/debate.d.ts +48 -0
- package/dist/cognitive/debate.d.ts.map +1 -0
- package/dist/cognitive/debate.js +223 -0
- package/dist/cognitive/debate.js.map +1 -0
- package/dist/cognitive/decision_atom.d.ts +119 -0
- package/dist/cognitive/decision_atom.d.ts.map +1 -0
- package/dist/cognitive/decision_atom.js +187 -0
- package/dist/cognitive/decision_atom.js.map +1 -0
- package/dist/cognitive/index.d.ts +31 -0
- package/dist/cognitive/index.d.ts.map +1 -0
- package/dist/cognitive/index.js +24 -0
- package/dist/cognitive/index.js.map +1 -0
- package/dist/cognitive/theory_of_mind.d.ts +56 -0
- package/dist/cognitive/theory_of_mind.d.ts.map +1 -0
- package/dist/cognitive/theory_of_mind.js +212 -0
- package/dist/cognitive/theory_of_mind.js.map +1 -0
- package/dist/cognitive/tree_of_thought.d.ts +55 -0
- package/dist/cognitive/tree_of_thought.d.ts.map +1 -0
- package/dist/cognitive/tree_of_thought.js +134 -0
- package/dist/cognitive/tree_of_thought.js.map +1 -0
- package/dist/index.d.ts +5 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +21 -0
- package/dist/index.js.map +1 -1
- package/dist/innerlife/ai_teacher.d.ts +83 -0
- package/dist/innerlife/ai_teacher.d.ts.map +1 -0
- package/dist/innerlife/ai_teacher.js +152 -0
- package/dist/innerlife/ai_teacher.js.map +1 -0
- package/dist/innerlife/innerlife.d.ts +104 -0
- package/dist/innerlife/innerlife.d.ts.map +1 -0
- package/dist/innerlife/innerlife.js +228 -0
- package/dist/innerlife/innerlife.js.map +1 -0
- package/dist/innerlife/innerlife.test.d.ts +5 -0
- package/dist/innerlife/innerlife.test.d.ts.map +1 -0
- package/dist/innerlife/innerlife.test.js +219 -0
- package/dist/innerlife/innerlife.test.js.map +1 -0
- package/dist/metamorphosis/metamorphosis.d.ts +116 -0
- package/dist/metamorphosis/metamorphosis.d.ts.map +1 -0
- package/dist/metamorphosis/metamorphosis.js +278 -0
- package/dist/metamorphosis/metamorphosis.js.map +1 -0
- package/dist/metamorphosis/metamorphosis.test.d.ts +5 -0
- package/dist/metamorphosis/metamorphosis.test.d.ts.map +1 -0
- package/dist/metamorphosis/metamorphosis.test.js +176 -0
- package/dist/metamorphosis/metamorphosis.test.js.map +1 -0
- package/dist/tribunal/tribunal.d.ts +111 -0
- package/dist/tribunal/tribunal.d.ts.map +1 -0
- package/dist/tribunal/tribunal.js +294 -0
- package/dist/tribunal/tribunal.js.map +1 -0
- package/dist/tribunal/tribunal.test.d.ts +5 -0
- package/dist/tribunal/tribunal.test.d.ts.map +1 -0
- package/dist/tribunal/tribunal.test.js +184 -0
- package/dist/tribunal/tribunal.test.js.map +1 -0
- package/package.json +1 -1
|
@@ -0,0 +1,111 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v1.64.0 -- PATH B: TRIBUNAL.
|
|
3
|
+
*
|
|
4
|
+
* 5 federated / decentralized layers that turn Mneme into a multi-vendor
|
|
5
|
+
* truth referee instead of a single-vendor inspector.
|
|
6
|
+
*
|
|
7
|
+
* 1. COURT OF LAST APPEAL -- N-vendor tournament when ACGV vs AI conflict
|
|
8
|
+
* 2. CONSENSUS NETWORK -- N Mneme votes on a claim; ratio + caveats
|
|
9
|
+
* 3. ZERO-KNOWLEDGE PROOFS -- attest correctness without leaking internals
|
|
10
|
+
* (Schnorr-style commit + reveal commitment)
|
|
11
|
+
* 4. CROSS-PROJECT WISDOM -- merge vaccines / lessons across user's repos
|
|
12
|
+
* 5. DEPENDENCY ORACLE -- predict npm package futures (deprecate /
|
|
13
|
+
* vuln / fork / die) via Bayesian signals
|
|
14
|
+
*/
|
|
15
|
+
export interface VendorVote {
|
|
16
|
+
vendor: string;
|
|
17
|
+
verdict: "true" | "false" | "unknown";
|
|
18
|
+
confidence: number;
|
|
19
|
+
rationale: string;
|
|
20
|
+
}
|
|
21
|
+
export interface CourtRuling {
|
|
22
|
+
claim: string;
|
|
23
|
+
acgvVerdict: "true" | "false" | "unknown";
|
|
24
|
+
votes: VendorVote[];
|
|
25
|
+
agreementRate: number;
|
|
26
|
+
/** Vendors ranked by alignment with ACGV across rulings. */
|
|
27
|
+
trustRanking: Array<{
|
|
28
|
+
vendor: string;
|
|
29
|
+
alignmentRate: number;
|
|
30
|
+
}>;
|
|
31
|
+
/** Final court verdict (majority OR ACGV if tied). */
|
|
32
|
+
finalVerdict: "true" | "false" | "unknown";
|
|
33
|
+
decidedAt: string;
|
|
34
|
+
}
|
|
35
|
+
export declare function rule(repoRoot: string, claim: string, acgvVerdict: "true" | "false" | "unknown", votes: VendorVote[]): CourtRuling;
|
|
36
|
+
export interface ConsensusInput {
|
|
37
|
+
/** Mneme instance ids that voted. */
|
|
38
|
+
voters: Array<{
|
|
39
|
+
instanceId: string;
|
|
40
|
+
verdict: "true" | "false" | "unknown";
|
|
41
|
+
confidence: number;
|
|
42
|
+
}>;
|
|
43
|
+
}
|
|
44
|
+
export interface ConsensusResult {
|
|
45
|
+
claim: string;
|
|
46
|
+
totalVoters: number;
|
|
47
|
+
agreementRate: number;
|
|
48
|
+
consensusVerdict: "true" | "false" | "unknown";
|
|
49
|
+
/** Weighted by confidence. */
|
|
50
|
+
weightedConfidence: number;
|
|
51
|
+
caveats: string[];
|
|
52
|
+
}
|
|
53
|
+
export declare function reachConsensus(claim: string, input: ConsensusInput): ConsensusResult;
|
|
54
|
+
export interface ZKProof {
|
|
55
|
+
/** Public claim id (hash of claim text). */
|
|
56
|
+
claimId: string;
|
|
57
|
+
/** Public commitment (HMAC over claim || nonce). */
|
|
58
|
+
commitment: string;
|
|
59
|
+
/** Public verdict. */
|
|
60
|
+
verdict: "true" | "false" | "unknown";
|
|
61
|
+
/** Public salt for re-verification. */
|
|
62
|
+
salt: string;
|
|
63
|
+
/** ISO timestamp. */
|
|
64
|
+
issuedAt: string;
|
|
65
|
+
}
|
|
66
|
+
/** Build a ZK-style proof: the holder can later reveal `salt` to prove
|
|
67
|
+
* knowledge of the verdict at the issued time, WITHOUT revealing the
|
|
68
|
+
* full reasoning chain. */
|
|
69
|
+
export declare function issueZkProof(repoRoot: string, claim: string, verdict: "true" | "false" | "unknown"): ZKProof;
|
|
70
|
+
export declare function verifyZkProof(repoRoot: string, claim: string, proof: ZKProof): {
|
|
71
|
+
valid: boolean;
|
|
72
|
+
reason: string;
|
|
73
|
+
};
|
|
74
|
+
export interface CrossProjectIndex {
|
|
75
|
+
projects: Array<{
|
|
76
|
+
path: string;
|
|
77
|
+
lastSyncedAt: string | null;
|
|
78
|
+
vaccineCount: number;
|
|
79
|
+
commitCount: number;
|
|
80
|
+
}>;
|
|
81
|
+
totalProjects: number;
|
|
82
|
+
totalVaccines: number;
|
|
83
|
+
}
|
|
84
|
+
export declare function indexProjects(personalRoot: string): CrossProjectIndex;
|
|
85
|
+
export declare function registerProject(personalRoot: string, projectPath: string): CrossProjectIndex;
|
|
86
|
+
export declare function mergeCrossProjectVaccines(personalRoot: string): {
|
|
87
|
+
mergedCount: number;
|
|
88
|
+
sources: string[];
|
|
89
|
+
};
|
|
90
|
+
export interface DependencyRisk {
|
|
91
|
+
name: string;
|
|
92
|
+
/** 0..1; higher = more risk. */
|
|
93
|
+
riskScore: number;
|
|
94
|
+
band: "very-low" | "low" | "moderate" | "elevated" | "high";
|
|
95
|
+
signals: string[];
|
|
96
|
+
/** Predicted-fate label. */
|
|
97
|
+
fate: "stable" | "watch" | "deprecate" | "vuln" | "fork" | "die";
|
|
98
|
+
}
|
|
99
|
+
export interface OracleReport {
|
|
100
|
+
generatedAt: string;
|
|
101
|
+
totalDeps: number;
|
|
102
|
+
risks: DependencyRisk[];
|
|
103
|
+
highRiskCount: number;
|
|
104
|
+
}
|
|
105
|
+
export declare function dependencyOracle(repoRoot: string): OracleReport;
|
|
106
|
+
export declare function tribunalStatus(repoRoot: string): {
|
|
107
|
+
courtRulings: number;
|
|
108
|
+
crossProjectCount: number;
|
|
109
|
+
oracleDeps: number;
|
|
110
|
+
};
|
|
111
|
+
//# sourceMappingURL=tribunal.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"tribunal.d.ts","sourceRoot":"","sources":["../../src/tribunal/tribunal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAgBH,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;IAC1C,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,YAAY,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/D,sDAAsD;IACtD,YAAY,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;IAC3C,SAAS,EAAE,MAAM,CAAC;CACnB;AAID,wBAAgB,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,WAAW,CAiBjI;AA8BD,MAAM,WAAW,cAAc;IAC7B,qCAAqC;IACrC,MAAM,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAClG;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;IAC/C,8BAA8B;IAC9B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,GAAG,eAAe,CAkBpF;AAID,MAAM,WAAW,OAAO;IACtB,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,oDAAoD;IACpD,UAAU,EAAE,MAAM,CAAC;IACnB,sBAAsB;IACtB,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;IACtC,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,qBAAqB;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAWD;;4BAE4B;AAC5B,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,CAK5G;AAED,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CASjH;AAID,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1G,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,iBAAiB,CAWrE;AAED,wBAAgB,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,iBAAiB,CA2B5F;AAED,wBAAgB,yBAAyB,CAAC,YAAY,EAAE,MAAM,GAAG;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAwB1G;AAID,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,gCAAgC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,UAAU,GAAG,KAAK,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,CAAC;IAC5D,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,4BAA4B;IAC5B,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC;CAClE;AAED,MAAM,WAAW,YAAY;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;CACvB;AAkED,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,CAkB/D;AAID,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG;IAChD,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;CACpB,CASA"}
|
|
@@ -0,0 +1,294 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v1.64.0 -- PATH B: TRIBUNAL.
|
|
3
|
+
*
|
|
4
|
+
* 5 federated / decentralized layers that turn Mneme into a multi-vendor
|
|
5
|
+
* truth referee instead of a single-vendor inspector.
|
|
6
|
+
*
|
|
7
|
+
* 1. COURT OF LAST APPEAL -- N-vendor tournament when ACGV vs AI conflict
|
|
8
|
+
* 2. CONSENSUS NETWORK -- N Mneme votes on a claim; ratio + caveats
|
|
9
|
+
* 3. ZERO-KNOWLEDGE PROOFS -- attest correctness without leaking internals
|
|
10
|
+
* (Schnorr-style commit + reveal commitment)
|
|
11
|
+
* 4. CROSS-PROJECT WISDOM -- merge vaccines / lessons across user's repos
|
|
12
|
+
* 5. DEPENDENCY ORACLE -- predict npm package futures (deprecate /
|
|
13
|
+
* vuln / fork / die) via Bayesian signals
|
|
14
|
+
*/
|
|
15
|
+
import { existsSync, mkdirSync, readFileSync, writeFileSync, appendFileSync } from "node:fs";
|
|
16
|
+
import { join } from "node:path";
|
|
17
|
+
import { createHash, createHmac, randomBytes } from "node:crypto";
|
|
18
|
+
const TRIBUNAL_DIR = ".mneme/tribunal";
|
|
19
|
+
function ensureDir(repoRoot, sub) {
|
|
20
|
+
const d = sub ? join(repoRoot, TRIBUNAL_DIR, sub) : join(repoRoot, TRIBUNAL_DIR);
|
|
21
|
+
if (!existsSync(d))
|
|
22
|
+
mkdirSync(d, { recursive: true });
|
|
23
|
+
return d;
|
|
24
|
+
}
|
|
25
|
+
const COURT_LEDGER = "court-rulings.jsonl";
|
|
26
|
+
export function rule(repoRoot, claim, acgvVerdict, votes) {
|
|
27
|
+
const aligned = votes.filter((v) => v.verdict === acgvVerdict).length;
|
|
28
|
+
const agreementRate = votes.length === 0 ? 0 : aligned / votes.length;
|
|
29
|
+
// Final verdict: majority of (votes + ACGV).
|
|
30
|
+
const tally = { true: 0, false: 0, unknown: 0 };
|
|
31
|
+
for (const v of votes)
|
|
32
|
+
tally[v.verdict] = (tally[v.verdict] ?? 0) + 1;
|
|
33
|
+
tally[acgvVerdict] = (tally[acgvVerdict] ?? 0) + 1; // ACGV gets a vote too
|
|
34
|
+
const finalVerdict = (Object.entries(tally).sort((a, b) => b[1] - a[1])[0]?.[0] ?? "unknown");
|
|
35
|
+
// Update trust ranking from the rolling ledger (prior rulings).
|
|
36
|
+
const trustRanking = computeTrustRanking(repoRoot, votes);
|
|
37
|
+
const ruling = {
|
|
38
|
+
claim, acgvVerdict, votes, agreementRate, trustRanking, finalVerdict,
|
|
39
|
+
decidedAt: new Date().toISOString(),
|
|
40
|
+
};
|
|
41
|
+
ensureDir(repoRoot, "court");
|
|
42
|
+
appendFileSync(join(repoRoot, TRIBUNAL_DIR, "court", COURT_LEDGER), JSON.stringify(ruling) + "\n", "utf8");
|
|
43
|
+
return ruling;
|
|
44
|
+
}
|
|
45
|
+
function computeTrustRanking(repoRoot, includeVotes = []) {
|
|
46
|
+
const path = join(repoRoot, TRIBUNAL_DIR, "court", COURT_LEDGER);
|
|
47
|
+
const counts = {};
|
|
48
|
+
if (existsSync(path)) {
|
|
49
|
+
try {
|
|
50
|
+
const lines = readFileSync(path, "utf8").split("\n").filter(Boolean);
|
|
51
|
+
for (const line of lines) {
|
|
52
|
+
try {
|
|
53
|
+
const r = JSON.parse(line);
|
|
54
|
+
for (const v of r.votes) {
|
|
55
|
+
counts[v.vendor] ??= { total: 0, aligned: 0 };
|
|
56
|
+
counts[v.vendor].total += 1;
|
|
57
|
+
if (v.verdict === r.acgvVerdict)
|
|
58
|
+
counts[v.vendor].aligned += 1;
|
|
59
|
+
}
|
|
60
|
+
}
|
|
61
|
+
catch { /* */ }
|
|
62
|
+
}
|
|
63
|
+
}
|
|
64
|
+
catch { /* */ }
|
|
65
|
+
}
|
|
66
|
+
for (const v of includeVotes) {
|
|
67
|
+
counts[v.vendor] ??= { total: 0, aligned: 0 };
|
|
68
|
+
}
|
|
69
|
+
return Object.entries(counts).map(([vendor, c]) => ({
|
|
70
|
+
vendor, alignmentRate: c.total === 0 ? 0 : c.aligned / c.total,
|
|
71
|
+
})).sort((a, b) => b.alignmentRate - a.alignmentRate);
|
|
72
|
+
}
|
|
73
|
+
export function reachConsensus(claim, input) {
|
|
74
|
+
const caveats = [];
|
|
75
|
+
if (input.voters.length < 3)
|
|
76
|
+
caveats.push("LOW_VOTER_COUNT");
|
|
77
|
+
const weight = { true: 0, false: 0, unknown: 0 };
|
|
78
|
+
for (const v of input.voters)
|
|
79
|
+
weight[v.verdict] += v.confidence;
|
|
80
|
+
const sorted = Object.entries(weight).sort((a, b) => b[1] - a[1]);
|
|
81
|
+
const top = sorted[0];
|
|
82
|
+
const second = sorted[1]?.[1] ?? 0;
|
|
83
|
+
if (top[1] > 0 && (top[1] - second) / top[1] < 0.2)
|
|
84
|
+
caveats.push("CLOSE_VOTE");
|
|
85
|
+
const aligned = input.voters.filter((v) => v.verdict === top[0]).length;
|
|
86
|
+
return {
|
|
87
|
+
claim,
|
|
88
|
+
totalVoters: input.voters.length,
|
|
89
|
+
agreementRate: input.voters.length === 0 ? 0 : aligned / input.voters.length,
|
|
90
|
+
consensusVerdict: top[0],
|
|
91
|
+
weightedConfidence: input.voters.length === 0 ? 0 : top[1] / input.voters.reduce((a, v) => a + v.confidence, 0),
|
|
92
|
+
caveats,
|
|
93
|
+
};
|
|
94
|
+
}
|
|
95
|
+
function zkSecret(repoRoot) {
|
|
96
|
+
ensureDir(repoRoot, "zk");
|
|
97
|
+
const p = join(repoRoot, TRIBUNAL_DIR, "zk", ".secret");
|
|
98
|
+
if (existsSync(p))
|
|
99
|
+
return readFileSync(p, "utf8").trim();
|
|
100
|
+
const s = randomBytes(32).toString("hex");
|
|
101
|
+
writeFileSync(p, s, "utf8");
|
|
102
|
+
return s;
|
|
103
|
+
}
|
|
104
|
+
/** Build a ZK-style proof: the holder can later reveal `salt` to prove
|
|
105
|
+
* knowledge of the verdict at the issued time, WITHOUT revealing the
|
|
106
|
+
* full reasoning chain. */
|
|
107
|
+
export function issueZkProof(repoRoot, claim, verdict) {
|
|
108
|
+
const salt = randomBytes(16).toString("hex");
|
|
109
|
+
const claimId = createHash("sha256").update(claim).digest("hex").slice(0, 16);
|
|
110
|
+
const commitment = createHmac("sha256", zkSecret(repoRoot)).update(`${claimId}|${verdict}|${salt}`).digest("hex").slice(0, 32);
|
|
111
|
+
return { claimId, commitment, verdict, salt, issuedAt: new Date().toISOString() };
|
|
112
|
+
}
|
|
113
|
+
export function verifyZkProof(repoRoot, claim, proof) {
|
|
114
|
+
const expectedClaimId = createHash("sha256").update(claim).digest("hex").slice(0, 16);
|
|
115
|
+
if (expectedClaimId !== proof.claimId) {
|
|
116
|
+
return { valid: false, reason: "claim id mismatch" };
|
|
117
|
+
}
|
|
118
|
+
const expectedCommit = createHmac("sha256", zkSecret(repoRoot)).update(`${proof.claimId}|${proof.verdict}|${proof.salt}`).digest("hex").slice(0, 32);
|
|
119
|
+
return expectedCommit === proof.commitment
|
|
120
|
+
? { valid: true, reason: "commitment verified" }
|
|
121
|
+
: { valid: false, reason: "commitment mismatch" };
|
|
122
|
+
}
|
|
123
|
+
export function indexProjects(personalRoot) {
|
|
124
|
+
const dir = ensureDir(personalRoot, "cross-project");
|
|
125
|
+
const indexPath = join(dir, "index.json");
|
|
126
|
+
let existing;
|
|
127
|
+
if (existsSync(indexPath)) {
|
|
128
|
+
try {
|
|
129
|
+
existing = JSON.parse(readFileSync(indexPath, "utf8"));
|
|
130
|
+
}
|
|
131
|
+
catch {
|
|
132
|
+
existing = { projects: [], totalProjects: 0, totalVaccines: 0 };
|
|
133
|
+
}
|
|
134
|
+
}
|
|
135
|
+
else {
|
|
136
|
+
existing = { projects: [], totalProjects: 0, totalVaccines: 0 };
|
|
137
|
+
}
|
|
138
|
+
return existing;
|
|
139
|
+
}
|
|
140
|
+
export function registerProject(personalRoot, projectPath) {
|
|
141
|
+
const dir = ensureDir(personalRoot, "cross-project");
|
|
142
|
+
const indexPath = join(dir, "index.json");
|
|
143
|
+
const idx = indexProjects(personalRoot);
|
|
144
|
+
let vaccineCount = 0;
|
|
145
|
+
const vp = join(projectPath, ".mneme/squadron/lie-vaccines.jsonl");
|
|
146
|
+
if (existsSync(vp)) {
|
|
147
|
+
try {
|
|
148
|
+
vaccineCount = readFileSync(vp, "utf8").split("\n").filter(Boolean).length;
|
|
149
|
+
}
|
|
150
|
+
catch { /* */ }
|
|
151
|
+
}
|
|
152
|
+
let commitCount = 0;
|
|
153
|
+
const gp = join(projectPath, ".git");
|
|
154
|
+
if (existsSync(gp)) {
|
|
155
|
+
// approximate via .git/HEAD's reachable history depth; cheap heuristic
|
|
156
|
+
commitCount = 1; // we just stamp 'present'; caller can refine via git log if desired
|
|
157
|
+
}
|
|
158
|
+
const existingIdx = idx.projects.findIndex((p) => p.path === projectPath);
|
|
159
|
+
const record = {
|
|
160
|
+
path: projectPath,
|
|
161
|
+
lastSyncedAt: new Date().toISOString(),
|
|
162
|
+
vaccineCount, commitCount,
|
|
163
|
+
};
|
|
164
|
+
if (existingIdx >= 0)
|
|
165
|
+
idx.projects[existingIdx] = record;
|
|
166
|
+
else
|
|
167
|
+
idx.projects.push(record);
|
|
168
|
+
idx.totalProjects = idx.projects.length;
|
|
169
|
+
idx.totalVaccines = idx.projects.reduce((a, p) => a + p.vaccineCount, 0);
|
|
170
|
+
writeFileSync(indexPath, JSON.stringify(idx, null, 2), "utf8");
|
|
171
|
+
return idx;
|
|
172
|
+
}
|
|
173
|
+
export function mergeCrossProjectVaccines(personalRoot) {
|
|
174
|
+
const idx = indexProjects(personalRoot);
|
|
175
|
+
const mergedDir = ensureDir(personalRoot, "cross-project");
|
|
176
|
+
const out = join(mergedDir, "merged-vaccines.jsonl");
|
|
177
|
+
const seen = new Set();
|
|
178
|
+
let merged = 0;
|
|
179
|
+
const sources = [];
|
|
180
|
+
// Dedup by sha of line content.
|
|
181
|
+
for (const p of idx.projects) {
|
|
182
|
+
const vp = join(p.path, ".mneme/squadron/lie-vaccines.jsonl");
|
|
183
|
+
if (!existsSync(vp))
|
|
184
|
+
continue;
|
|
185
|
+
try {
|
|
186
|
+
const lines = readFileSync(vp, "utf8").split("\n").filter(Boolean);
|
|
187
|
+
for (const line of lines) {
|
|
188
|
+
const sha = createHash("sha256").update(line).digest("hex").slice(0, 12);
|
|
189
|
+
if (seen.has(sha))
|
|
190
|
+
continue;
|
|
191
|
+
seen.add(sha);
|
|
192
|
+
appendFileSync(out, line + "\n", "utf8");
|
|
193
|
+
merged += 1;
|
|
194
|
+
}
|
|
195
|
+
sources.push(p.path);
|
|
196
|
+
}
|
|
197
|
+
catch { /* */ }
|
|
198
|
+
}
|
|
199
|
+
return { mergedCount: merged, sources };
|
|
200
|
+
}
|
|
201
|
+
/** Heuristic risk scoring based on cheap signals. */
|
|
202
|
+
function scoreDependency(name, version) {
|
|
203
|
+
const signals = [];
|
|
204
|
+
let risk = 0;
|
|
205
|
+
let fate = "stable";
|
|
206
|
+
// Signal 1: very old / deprecated typical names.
|
|
207
|
+
const deprecatedNames = ["request", "left-pad", "node-uuid", "harmony-collections", "babel-preset-es2015", "node-sass"];
|
|
208
|
+
if (deprecatedNames.includes(name)) {
|
|
209
|
+
signals.push("known-deprecated");
|
|
210
|
+
risk += 0.6;
|
|
211
|
+
fate = "deprecate";
|
|
212
|
+
}
|
|
213
|
+
// Signal 2: ancient version pin.
|
|
214
|
+
if (/^[\^~]?0\./.test(version)) {
|
|
215
|
+
signals.push("pre-1.0");
|
|
216
|
+
risk += 0.2;
|
|
217
|
+
}
|
|
218
|
+
// Signal 3: namespace cohort that's gone unmaintained.
|
|
219
|
+
const riskyScopes = ["@types/babel__core", "@types/node@10", "@types/node@12"];
|
|
220
|
+
if (riskyScopes.some((r) => name.includes(r))) {
|
|
221
|
+
signals.push("unmaintained-namespace");
|
|
222
|
+
risk += 0.3;
|
|
223
|
+
}
|
|
224
|
+
// Signal 4: tiny-deps (left-pad-class).
|
|
225
|
+
if (/(left-pad|is-odd|is-even|is-thirteen)$/.test(name)) {
|
|
226
|
+
signals.push("tiny-dep");
|
|
227
|
+
risk += 0.4;
|
|
228
|
+
fate = "die";
|
|
229
|
+
}
|
|
230
|
+
// Signal 5: known forked + recommended replacement.
|
|
231
|
+
const forkedReplaced = {
|
|
232
|
+
"request": "use undici or axios",
|
|
233
|
+
"node-uuid": "use uuid",
|
|
234
|
+
"moment": "use luxon or date-fns",
|
|
235
|
+
};
|
|
236
|
+
if (forkedReplaced[name]) {
|
|
237
|
+
signals.push(`replace-with: ${forkedReplaced[name]}`);
|
|
238
|
+
risk = Math.max(risk, 0.55);
|
|
239
|
+
fate = "fork";
|
|
240
|
+
}
|
|
241
|
+
// Signal 6: pure-stable cohort.
|
|
242
|
+
const stableCohort = ["typescript", "react", "vue", "lodash", "express", "vitest", "commander"];
|
|
243
|
+
if (stableCohort.includes(name)) {
|
|
244
|
+
signals.push("stable-cohort");
|
|
245
|
+
risk *= 0.3;
|
|
246
|
+
}
|
|
247
|
+
risk = Math.min(1, Math.max(0, risk));
|
|
248
|
+
const band = risk < 0.05 ? "very-low"
|
|
249
|
+
: risk < 0.15 ? "low"
|
|
250
|
+
: risk < 0.35 ? "moderate"
|
|
251
|
+
: risk < 0.6 ? "elevated"
|
|
252
|
+
: "high";
|
|
253
|
+
if (risk >= 0.6 && fate === "stable")
|
|
254
|
+
fate = "watch";
|
|
255
|
+
return { name, riskScore: Number(risk.toFixed(3)), band, signals, fate };
|
|
256
|
+
}
|
|
257
|
+
export function dependencyOracle(repoRoot) {
|
|
258
|
+
const path = join(repoRoot, "package.json");
|
|
259
|
+
if (!existsSync(path)) {
|
|
260
|
+
return { generatedAt: new Date().toISOString(), totalDeps: 0, risks: [], highRiskCount: 0 };
|
|
261
|
+
}
|
|
262
|
+
let pkg;
|
|
263
|
+
try {
|
|
264
|
+
pkg = JSON.parse(readFileSync(path, "utf8"));
|
|
265
|
+
}
|
|
266
|
+
catch {
|
|
267
|
+
return { generatedAt: new Date().toISOString(), totalDeps: 0, risks: [], highRiskCount: 0 };
|
|
268
|
+
}
|
|
269
|
+
const all = { ...(pkg.dependencies ?? {}), ...(pkg.devDependencies ?? {}) };
|
|
270
|
+
const risks = Object.entries(all).map(([name, version]) => scoreDependency(name, version));
|
|
271
|
+
risks.sort((a, b) => b.riskScore - a.riskScore);
|
|
272
|
+
const highRiskCount = risks.filter((r) => r.band === "high" || r.band === "elevated").length;
|
|
273
|
+
return {
|
|
274
|
+
generatedAt: new Date().toISOString(),
|
|
275
|
+
totalDeps: risks.length,
|
|
276
|
+
risks,
|
|
277
|
+
highRiskCount,
|
|
278
|
+
};
|
|
279
|
+
}
|
|
280
|
+
// ─── Status rollup ────────────────────────────────────────────────────
|
|
281
|
+
export function tribunalStatus(repoRoot) {
|
|
282
|
+
let rulings = 0;
|
|
283
|
+
const courtLedger = join(repoRoot, TRIBUNAL_DIR, "court", COURT_LEDGER);
|
|
284
|
+
if (existsSync(courtLedger)) {
|
|
285
|
+
try {
|
|
286
|
+
rulings = readFileSync(courtLedger, "utf8").split("\n").filter(Boolean).length;
|
|
287
|
+
}
|
|
288
|
+
catch { /* */ }
|
|
289
|
+
}
|
|
290
|
+
const idx = indexProjects(repoRoot);
|
|
291
|
+
const oracle = dependencyOracle(repoRoot);
|
|
292
|
+
return { courtRulings: rulings, crossProjectCount: idx.totalProjects, oracleDeps: oracle.totalDeps };
|
|
293
|
+
}
|
|
294
|
+
//# sourceMappingURL=tribunal.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"tribunal.js","sourceRoot":"","sources":["../../src/tribunal/tribunal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAyB,MAAM,SAAS,CAAC;AACpH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAElE,MAAM,YAAY,GAAG,iBAAiB,CAAC;AAEvC,SAAS,SAAS,CAAC,QAAgB,EAAE,GAAY;IAC/C,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACjF,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAAE,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,OAAO,CAAC,CAAC;AACX,CAAC;AAuBD,MAAM,YAAY,GAAG,qBAAqB,CAAC;AAE3C,MAAM,UAAU,IAAI,CAAC,QAAgB,EAAE,KAAa,EAAE,WAAyC,EAAE,KAAmB;IAClH,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC;IACtE,6CAA6C;IAC7C,MAAM,KAAK,GAA2B,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACxE,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACtE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,uBAAuB;IAC3E,MAAM,YAAY,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,SAAS,CAAiC,CAAC;IAC9H,gEAAgE;IAChE,MAAM,YAAY,GAAG,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAgB;QAC1B,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY;QACpE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC;IACF,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3G,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAgB,EAAE,eAA6B,EAAE;IAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IACjE,MAAM,MAAM,GAAuD,EAAE,CAAC;IACtE,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACrE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC;oBACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAgB,CAAC;oBAC1C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;wBACxB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;wBAC9C,MAAM,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,KAAK,IAAI,CAAC,CAAC;wBAC7B,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,WAAW;4BAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,OAAO,IAAI,CAAC,CAAC;oBAClE,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAChD,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK;KAC/D,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;AACxD,CAAC;AAmBD,MAAM,UAAU,cAAc,CAAC,KAAa,EAAE,KAAqB;IACjE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC7D,MAAM,MAAM,GAA2B,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACzE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM;QAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;IACvB,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACxE,OAAO;QACL,KAAK;QACL,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;QAChC,aAAa,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM;QAC5E,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAiC;QACxD,kBAAkB,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QAC/G,OAAO;KACR,CAAC;AACJ,CAAC;AAiBD,SAAS,QAAQ,CAAC,QAAgB;IAChC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACxD,IAAI,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IACzD,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1C,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5B,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;4BAE4B;AAC5B,MAAM,UAAU,YAAY,CAAC,QAAgB,EAAE,KAAa,EAAE,OAAqC;IACjG,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9E,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,OAAO,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/H,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,KAAa,EAAE,KAAc;IAC3E,MAAM,eAAe,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtF,IAAI,eAAe,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;QACtC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;IACvD,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrJ,OAAO,cAAc,KAAK,KAAK,CAAC,UAAU;QACxC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE;QAChD,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;AACtD,CAAC;AAUD,MAAM,UAAU,aAAa,CAAC,YAAoB;IAChD,MAAM,GAAG,GAAG,SAAS,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAC1C,IAAI,QAA2B,CAAC;IAChC,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC;YAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAsB,CAAC;QAAC,CAAC;QACpF,MAAM,CAAC;YAAC,QAAQ,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;QAAC,CAAC;IAC5E,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;IAClE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,YAAoB,EAAE,WAAmB;IACvE,MAAM,GAAG,GAAG,SAAS,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;IACxC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE,oCAAoC,CAAC,CAAC;IACnE,IAAI,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;QACnB,IAAI,CAAC;YAAC,YAAY,GAAG,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;QACnB,uEAAuE;QACvE,WAAW,GAAG,CAAC,CAAC,CAAC,oEAAoE;IACvF,CAAC;IACD,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,WAAW;QACjB,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,YAAY,EAAE,WAAW;KAC1B,CAAC;IACF,IAAI,WAAW,IAAI,CAAC;QAAE,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC;;QACpD,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,GAAG,CAAC,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;IACxC,GAAG,CAAC,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IACzE,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC/D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,YAAoB;IAC5D,MAAM,GAAG,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,SAAS,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,EAAE,uBAAuB,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,gCAAgC;IAChC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;QAC9D,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAAE,SAAS;QAC9B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACzE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,cAAc,CAAC,GAAG,EAAE,IAAI,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;gBACzC,MAAM,IAAI,CAAC,CAAC;YACd,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;QAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC1C,CAAC;AA2BD,qDAAqD;AACrD,SAAS,eAAe,CAAC,IAAY,EAAE,OAAe;IACpD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,IAAI,GAA2B,QAAQ,CAAC;IAE5C,iDAAiD;IACjD,MAAM,eAAe,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,WAAW,CAAC,CAAC;IACxH,IAAI,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACjC,IAAI,IAAI,GAAG,CAAC;QACZ,IAAI,GAAG,WAAW,CAAC;IACrB,CAAC;IACD,iCAAiC;IACjC,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IACD,uDAAuD;IACvD,MAAM,WAAW,GAAG,CAAC,oBAAoB,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACvC,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IACD,wCAAwC;IACxC,IAAI,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzB,IAAI,IAAI,GAAG,CAAC;QACZ,IAAI,GAAG,KAAK,CAAC;IACf,CAAC;IACD,oDAAoD;IACpD,MAAM,cAAc,GAA2B;QAC7C,SAAS,EAAE,qBAAqB;QAChC,WAAW,EAAE,UAAU;QACvB,QAAQ,EAAE,uBAAuB;KAClC,CAAC;IACF,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,iBAAiB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtD,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,IAAI,GAAG,MAAM,CAAC;IAChB,CAAC;IACD,gCAAgC;IAChC,MAAM,YAAY,GAAG,CAAC,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IAChG,IAAI,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9B,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IACD,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACtC,MAAM,IAAI,GACR,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU;QACxB,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK;YACrB,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU;gBAC1B,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU;oBACzB,CAAC,CAAC,MAAM,CAAC;IACX,IAAI,IAAI,IAAI,GAAG,IAAI,IAAI,KAAK,QAAQ;QAAE,IAAI,GAAG,OAAO,CAAC;IACrD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC5C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;IAC9F,CAAC;IACD,IAAI,GAAgB,CAAC;IACrB,IAAI,CAAC;QAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAgB,CAAC;IAAC,CAAC;IACpE,MAAM,CAAC;QAAC,OAAO,EAAE,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;IAAC,CAAC;IACtG,MAAM,GAAG,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC,EAAE,CAAC;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3F,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IAChD,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAC7F,OAAO;QACL,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,SAAS,EAAE,KAAK,CAAC,MAAM;QACvB,KAAK;QACL,aAAa;KACd,CAAC;AACJ,CAAC;AAED,yEAAyE;AAEzE,MAAM,UAAU,cAAc,CAAC,QAAgB;IAK7C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IACxE,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC;YAAC,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IACzG,CAAC;IACD,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC1C,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;AACvG,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"tribunal.test.d.ts","sourceRoot":"","sources":["../../src/tribunal/tribunal.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}
|
|
@@ -0,0 +1,184 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v1.64.0 -- TRIBUNAL test suite.
|
|
3
|
+
*/
|
|
4
|
+
import { describe, it, expect, beforeEach, afterEach } from "vitest";
|
|
5
|
+
import { mkdtempSync, rmSync, mkdirSync, writeFileSync } from "node:fs";
|
|
6
|
+
import { tmpdir } from "node:os";
|
|
7
|
+
import { join } from "node:path";
|
|
8
|
+
import { rule, reachConsensus, issueZkProof, verifyZkProof, indexProjects, registerProject, mergeCrossProjectVaccines, dependencyOracle, tribunalStatus, } from "./tribunal.js";
|
|
9
|
+
function setupRepo() { return mkdtempSync(join(tmpdir(), "mneme-trib-")); }
|
|
10
|
+
function cleanup(r) { try {
|
|
11
|
+
rmSync(r, { recursive: true, force: true });
|
|
12
|
+
}
|
|
13
|
+
catch { /* */ } }
|
|
14
|
+
// ─── Layer 1: Court ──────────────────────────────────────────────────
|
|
15
|
+
describe("v1.64 Tribunal L1 · Court of Last Appeal", () => {
|
|
16
|
+
let r;
|
|
17
|
+
beforeEach(() => { r = setupRepo(); });
|
|
18
|
+
afterEach(() => cleanup(r));
|
|
19
|
+
it("rules with majority verdict when ACGV agrees", () => {
|
|
20
|
+
const votes = [
|
|
21
|
+
{ vendor: "claude", verdict: "true", confidence: 0.9, rationale: "" },
|
|
22
|
+
{ vendor: "gpt", verdict: "true", confidence: 0.85, rationale: "" },
|
|
23
|
+
{ vendor: "gemini", verdict: "false", confidence: 0.6, rationale: "" },
|
|
24
|
+
];
|
|
25
|
+
const r1 = rule(r, "test claim", "true", votes);
|
|
26
|
+
expect(r1.finalVerdict).toBe("true");
|
|
27
|
+
expect(r1.agreementRate).toBeCloseTo(2 / 3, 2);
|
|
28
|
+
});
|
|
29
|
+
it("ACGV gets a vote too -- breaks ties", () => {
|
|
30
|
+
const votes = [
|
|
31
|
+
{ vendor: "a", verdict: "true", confidence: 1, rationale: "" },
|
|
32
|
+
{ vendor: "b", verdict: "false", confidence: 1, rationale: "" },
|
|
33
|
+
];
|
|
34
|
+
const ruling = rule(r, "tie", "true", votes);
|
|
35
|
+
expect(ruling.finalVerdict).toBe("true"); // ACGV breaks tie
|
|
36
|
+
});
|
|
37
|
+
it("trustRanking tracks vendor alignment over time", () => {
|
|
38
|
+
rule(r, "c1", "true", [{ vendor: "honest", verdict: "true", confidence: 1, rationale: "" }]);
|
|
39
|
+
rule(r, "c2", "true", [{ vendor: "honest", verdict: "true", confidence: 1, rationale: "" }, { vendor: "liar", verdict: "false", confidence: 1, rationale: "" }]);
|
|
40
|
+
rule(r, "c3", "false", [{ vendor: "honest", verdict: "false", confidence: 1, rationale: "" }, { vendor: "liar", verdict: "true", confidence: 1, rationale: "" }]);
|
|
41
|
+
const last = rule(r, "c4", "true", [
|
|
42
|
+
{ vendor: "honest", verdict: "true", confidence: 1, rationale: "" },
|
|
43
|
+
{ vendor: "liar", verdict: "false", confidence: 1, rationale: "" },
|
|
44
|
+
]);
|
|
45
|
+
const honest = last.trustRanking.find((v) => v.vendor === "honest");
|
|
46
|
+
const liar = last.trustRanking.find((v) => v.vendor === "liar");
|
|
47
|
+
expect(honest.alignmentRate).toBeGreaterThan(liar.alignmentRate);
|
|
48
|
+
});
|
|
49
|
+
});
|
|
50
|
+
// ─── Layer 2: Consensus ──────────────────────────────────────────────
|
|
51
|
+
describe("v1.64 Tribunal L2 · Consensus Network", () => {
|
|
52
|
+
it("unanimous vote -> high agreement", () => {
|
|
53
|
+
const c = reachConsensus("x", { voters: [
|
|
54
|
+
{ instanceId: "a", verdict: "true", confidence: 1 },
|
|
55
|
+
{ instanceId: "b", verdict: "true", confidence: 1 },
|
|
56
|
+
{ instanceId: "c", verdict: "true", confidence: 1 },
|
|
57
|
+
] });
|
|
58
|
+
expect(c.consensusVerdict).toBe("true");
|
|
59
|
+
expect(c.agreementRate).toBe(1);
|
|
60
|
+
expect(c.caveats).not.toContain("LOW_VOTER_COUNT");
|
|
61
|
+
});
|
|
62
|
+
it("flags LOW_VOTER_COUNT under 3 voters", () => {
|
|
63
|
+
const c = reachConsensus("x", { voters: [{ instanceId: "a", verdict: "true", confidence: 1 }] });
|
|
64
|
+
expect(c.caveats).toContain("LOW_VOTER_COUNT");
|
|
65
|
+
});
|
|
66
|
+
it("flags CLOSE_VOTE on near-tie", () => {
|
|
67
|
+
const c = reachConsensus("x", { voters: [
|
|
68
|
+
{ instanceId: "a", verdict: "true", confidence: 0.55 },
|
|
69
|
+
{ instanceId: "b", verdict: "true", confidence: 0.5 },
|
|
70
|
+
{ instanceId: "c", verdict: "false", confidence: 1.0 },
|
|
71
|
+
] });
|
|
72
|
+
expect(c.caveats).toContain("CLOSE_VOTE");
|
|
73
|
+
});
|
|
74
|
+
});
|
|
75
|
+
// ─── Layer 3: ZK Proofs ──────────────────────────────────────────────
|
|
76
|
+
describe("v1.64 Tribunal L3 · ZK Proofs", () => {
|
|
77
|
+
let r;
|
|
78
|
+
beforeEach(() => { r = setupRepo(); });
|
|
79
|
+
afterEach(() => cleanup(r));
|
|
80
|
+
it("issued proof verifies on same machine + claim", () => {
|
|
81
|
+
const proof = issueZkProof(r, "Mneme is fast", "true");
|
|
82
|
+
const v = verifyZkProof(r, "Mneme is fast", proof);
|
|
83
|
+
expect(v.valid).toBe(true);
|
|
84
|
+
});
|
|
85
|
+
it("verify fails for different claim", () => {
|
|
86
|
+
const proof = issueZkProof(r, "claim A", "true");
|
|
87
|
+
const v = verifyZkProof(r, "claim B", proof);
|
|
88
|
+
expect(v.valid).toBe(false);
|
|
89
|
+
expect(v.reason).toContain("claim id");
|
|
90
|
+
});
|
|
91
|
+
it("verify fails on tampered verdict", () => {
|
|
92
|
+
const proof = issueZkProof(r, "claim", "true");
|
|
93
|
+
const tampered = { ...proof, verdict: "false" };
|
|
94
|
+
const v = verifyZkProof(r, "claim", tampered);
|
|
95
|
+
expect(v.valid).toBe(false);
|
|
96
|
+
});
|
|
97
|
+
});
|
|
98
|
+
// ─── Layer 4: Cross-Project ──────────────────────────────────────────
|
|
99
|
+
describe("v1.64 Tribunal L4 · Cross-Project Wisdom", () => {
|
|
100
|
+
let r;
|
|
101
|
+
beforeEach(() => { r = setupRepo(); });
|
|
102
|
+
afterEach(() => cleanup(r));
|
|
103
|
+
it("indexProjects returns empty initially", () => {
|
|
104
|
+
const i = indexProjects(r);
|
|
105
|
+
expect(i.totalProjects).toBe(0);
|
|
106
|
+
});
|
|
107
|
+
it("registerProject adds entry + counts vaccines", () => {
|
|
108
|
+
const projectA = mkdtempSync(join(tmpdir(), "proj-"));
|
|
109
|
+
try {
|
|
110
|
+
mkdirSync(join(projectA, ".mneme/squadron"), { recursive: true });
|
|
111
|
+
writeFileSync(join(projectA, ".mneme/squadron/lie-vaccines.jsonl"), JSON.stringify({ id: "v1", simhash: "abc" }) + "\n");
|
|
112
|
+
const idx = registerProject(r, projectA);
|
|
113
|
+
expect(idx.totalProjects).toBe(1);
|
|
114
|
+
expect(idx.projects[0].vaccineCount).toBe(1);
|
|
115
|
+
}
|
|
116
|
+
finally {
|
|
117
|
+
rmSync(projectA, { recursive: true, force: true });
|
|
118
|
+
}
|
|
119
|
+
});
|
|
120
|
+
it("mergeCrossProjectVaccines deduplicates by line hash", () => {
|
|
121
|
+
const projectA = mkdtempSync(join(tmpdir(), "proj-"));
|
|
122
|
+
const projectB = mkdtempSync(join(tmpdir(), "proj-"));
|
|
123
|
+
try {
|
|
124
|
+
for (const p of [projectA, projectB]) {
|
|
125
|
+
mkdirSync(join(p, ".mneme/squadron"), { recursive: true });
|
|
126
|
+
writeFileSync(join(p, ".mneme/squadron/lie-vaccines.jsonl"), JSON.stringify({ id: "v1", simhash: "shared-vaccine" }) + "\n");
|
|
127
|
+
}
|
|
128
|
+
registerProject(r, projectA);
|
|
129
|
+
registerProject(r, projectB);
|
|
130
|
+
const result = mergeCrossProjectVaccines(r);
|
|
131
|
+
expect(result.mergedCount).toBe(1); // dedup
|
|
132
|
+
expect(result.sources.length).toBe(2);
|
|
133
|
+
}
|
|
134
|
+
finally {
|
|
135
|
+
rmSync(projectA, { recursive: true, force: true });
|
|
136
|
+
rmSync(projectB, { recursive: true, force: true });
|
|
137
|
+
}
|
|
138
|
+
});
|
|
139
|
+
});
|
|
140
|
+
// ─── Layer 5: Dependency Oracle ──────────────────────────────────────
|
|
141
|
+
describe("v1.64 Tribunal L5 · Dependency Oracle", () => {
|
|
142
|
+
let r;
|
|
143
|
+
beforeEach(() => { r = setupRepo(); });
|
|
144
|
+
afterEach(() => cleanup(r));
|
|
145
|
+
it("flags known-deprecated packages as high risk", () => {
|
|
146
|
+
writeFileSync(join(r, "package.json"), JSON.stringify({
|
|
147
|
+
dependencies: { request: "^2.88.2", "node-uuid": "^1.4.8" },
|
|
148
|
+
}));
|
|
149
|
+
const o = dependencyOracle(r);
|
|
150
|
+
expect(o.totalDeps).toBe(2);
|
|
151
|
+
const request = o.risks.find((x) => x.name === "request");
|
|
152
|
+
expect(request).toBeDefined();
|
|
153
|
+
expect(["elevated", "high"]).toContain(request.band);
|
|
154
|
+
expect(request.signals).toContain("known-deprecated");
|
|
155
|
+
});
|
|
156
|
+
it("stable-cohort packages get low risk", () => {
|
|
157
|
+
writeFileSync(join(r, "package.json"), JSON.stringify({
|
|
158
|
+
dependencies: { typescript: "^5.0.0", react: "^18.0.0" },
|
|
159
|
+
}));
|
|
160
|
+
const o = dependencyOracle(r);
|
|
161
|
+
for (const risk of o.risks) {
|
|
162
|
+
expect(risk.band).toBe("very-low");
|
|
163
|
+
}
|
|
164
|
+
});
|
|
165
|
+
it("no package.json -> empty report", () => {
|
|
166
|
+
const o = dependencyOracle(r);
|
|
167
|
+
expect(o.totalDeps).toBe(0);
|
|
168
|
+
expect(o.risks).toEqual([]);
|
|
169
|
+
});
|
|
170
|
+
});
|
|
171
|
+
// ─── Status rollup ───────────────────────────────────────────────────
|
|
172
|
+
describe("v1.64 Tribunal · status rollup", () => {
|
|
173
|
+
let r;
|
|
174
|
+
beforeEach(() => { r = setupRepo(); });
|
|
175
|
+
afterEach(() => cleanup(r));
|
|
176
|
+
it("status reports across 3 layers with data", () => {
|
|
177
|
+
rule(r, "c1", "true", [{ vendor: "v", verdict: "true", confidence: 1, rationale: "" }]);
|
|
178
|
+
writeFileSync(join(r, "package.json"), JSON.stringify({ dependencies: { typescript: "^5.0.0" } }));
|
|
179
|
+
const s = tribunalStatus(r);
|
|
180
|
+
expect(s.courtRulings).toBeGreaterThanOrEqual(1);
|
|
181
|
+
expect(s.oracleDeps).toBe(1);
|
|
182
|
+
});
|
|
183
|
+
});
|
|
184
|
+
//# sourceMappingURL=tribunal.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"tribunal.test.js","sourceRoot":"","sources":["../../src/tribunal/tribunal.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAA8B,MAAM,SAAS,CAAC;AACpG,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EACL,IAAI,EACJ,cAAc,EACd,YAAY,EAAE,aAAa,EAC3B,aAAa,EAAE,eAAe,EAAE,yBAAyB,EACzD,gBAAgB,EAChB,cAAc,GACf,MAAM,eAAe,CAAC;AAEvB,SAAS,SAAS,KAAa,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AACnF,SAAS,OAAO,CAAC,CAAS,IAAI,IAAI,CAAC;IAAC,MAAM,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAAC,CAAC;AAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEpG,wEAAwE;AAExE,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAiB;YAC1B,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE;YACrE,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE;YACnE,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE;SACvE,CAAC;QACF,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAiB;YAC1B,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;YAC9D,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;SAChE,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7F,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACjK,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAClK,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;YACjC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;YACnE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;SACnE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QAChE,MAAM,CAAC,MAAO,CAAC,aAAa,CAAC,CAAC,eAAe,CAAC,IAAK,CAAC,aAAa,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AAExE,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE;gBACtC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE;gBACnD,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE;gBACnD,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE;aACpD,EAAE,CAAC,CAAC;QACL,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE;gBACtC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE;gBACtD,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE;gBACrD,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE;aACvD,EAAE,CAAC,CAAC;QACL,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AAExE,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,OAAgB,EAAE,CAAC;QACzD,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AAExE,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;QACtD,IAAI,CAAC;YACH,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAClE,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,oCAAoC,CAAC,EAChE,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;YACvD,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACzC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;QACtD,IAAI,CAAC;YACH,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACrC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3D,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,oCAAoC,CAAC,EACzD,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;YACpE,CAAC;YACD,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC7B,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC7B,MAAM,MAAM,GAAG,yBAAyB,CAAC,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;YAC5C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACnD,MAAM,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AAExE,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC;YACpD,YAAY,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE;SAC5D,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAC1D,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,MAAM,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,OAAQ,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,CAAC,OAAQ,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC;YACpD,YAAY,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE;SACzD,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AAExE,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACxF,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;QACnG,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|