@mmnto/totem 1.63.0 → 1.64.1

package/dist/artifacts/panel.test.js

@@ -0,0 +1,335 @@
+/**
+ * Panel-synthesis engine tests (mmnto-ai/totem#2104, strategy#474 slice 5).
+ *
+ * The invariants the cohort + strategy pre-build rounds locked in:
+ *   - Tenet 9: aggregation is a pure deterministic script (order-independent).
+ *   - dedup anchor = `ruleName`; divergence = pass∧fail present, abstain neutral.
+ *   - honest diversity (Prop 291): distinctProviders is a cluster count only while
+ *     provider-string ≡ family; an unrecognized string trips `coarse` (PP1 tripwire).
+ *   - sensor-only: no panel-level gate field (PP3).
+ *   - codex folds: persist reports w/ ADR-109 invariant at write+read; within-lane
+ *     duplicate ruleName throws; conflicting tier throws; canonical-order hash.
+ *   - agy folds: missing ruleName across lanes ⇒ implicit abstain (Σ === N); N=1.
+ */
+import * as fs from 'node:fs';
+import * as os from 'node:os';
+import * as path from 'node:path';
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { TotemParseError } from '../errors.js';
+import { cleanTmpDir } from '../test-utils.js';
+import { assemblePanelArtifact, classifyDiversity, computePanelArtifactContentHash, PANEL_ARTIFACT_SCHEMA_VERSION, PanelArtifactSchema, panelsDir, readPanelArtifact, synthesizePanel, writePanelArtifact, } from './panel.js';
+import { RUN_ARTIFACT_SCHEMA_VERSION } from './schema.js';
+// ─── Fixtures ──────────────────────────────────────────────────────────────
+function runArtifact(provider, seed = provider) {
+    return {
+        schemaVersion: RUN_ARTIFACT_SCHEMA_VERSION,
+        inputBundle: { maskedPrompt: `prompt ${seed}` },
+        inputHash: 'a'.repeat(64),
+        grounding: { hash: 'b'.repeat(64), provenanceSummary: 'similarity-only' },
+        backend: {
+            provider,
+            model: `${provider}-model`,
+            qualifiedModel: `${provider}:${provider}-model`,
+            admissionClass: 'completion_only',
+            taskProfile: 'Review',
+        },
+        output: { content: `response ${seed}`, metrics: { durationMs: 1000 } },
+        createdAt: '2026-06-14T00:00:00.000Z',
+    };
+}
+function finding(ruleName, verdict, tier = 'decidable', message = `${ruleName}:${verdict}`) {
+    return { ruleName, tier, verdict, message };
+}
+function report(findings, isRejected) {
+    return {
+        findings,
+        isRejected: isRejected ?? findings.some((f) => f.tier === 'decidable' && f.verdict === 'fail'),
+    };
+}
+function lane(laneId, provider, findings = [], isRejected) {
+    return { laneId, artifact: runArtifact(provider, laneId), report: report(findings, isRejected) };
+}
+const AT = '2026-06-14T12:00:00.000Z';
+// ─── classifyDiversity ───────────────────────────────────────────────────────
+describe('classifyDiversity — honest labeling (Prop 291)', () => {
+    it('two same-family lanes are same-vendor-isolated, not cross-vendor', () => {
+        const d = classifyDiversity(['gemini', 'gemini']);
+        expect(d).toMatchObject({
+            distinctProviders: 1,
+            class: 'same-vendor-isolated',
+            diversityConfidence: 'verified',
+            unrecognizedProviders: [],
+        });
+        expect(d.providers).toEqual(['gemini', 'gemini']); // lossless
+    });
+    it('distinct families are cross-vendor + verified', () => {
+        expect(classifyDiversity(['gemini', 'anthropic'])).toMatchObject({
+            distinctProviders: 2,
+            class: 'cross-vendor',
+            diversityConfidence: 'verified',
+            unrecognizedProviders: [],
+        });
+    });
+    it('PP1 tripwire: an unrecognized provider string is coarse, never a confident cross-vendor', () => {
+        const d = classifyDiversity(['gemini', 'vertex']);
+        expect(d.distinctProviders).toBe(2);
+        expect(d.unrecognizedProviders).toEqual(['vertex']);
+        // The class reflects the raw count, but confidence MUST flag it untrustworthy
+        // so a consumer cannot read it as a confident independent-cluster claim.
+        expect(d.diversityConfidence).toBe('coarse');
+    });
+    it('N=1 baseline labels cleanly without throwing', () => {
+        expect(classifyDiversity(['anthropic'])).toMatchObject({
+            distinctProviders: 1,
+            class: 'same-vendor-isolated',
+            diversityConfidence: 'verified',
+        });
+    });
+});
+// ─── synthesizePanel ─────────────────────────────────────────────────────────
+describe('synthesizePanel — deterministic aggregation (Tenet 9)', () => {
+    it('groups findings by ruleName across lanes (one entry per rule)', () => {
+        const s = synthesizePanel([
+            lane('l1', 'gemini', [finding('rA', 'pass')]),
+            lane('l2', 'gemini', [finding('rA', 'pass')]),
+            lane('l3', 'gemini', [finding('rA', 'pass')]),
+        ]);
+        expect(s.findings).toHaveLength(1);
+        expect(s.findings[0]).toMatchObject({ ruleName: 'rA', tier: 'decidable' });
+        expect(s.findings[0].verdicts).toEqual({ pass: 3, fail: 0, abstain: 0 });
+    });
+    it('is order-independent under lane permutation', () => {
+        const lanes = [
+            lane('l1', 'gemini', [finding('rA', 'pass'), finding('rB', 'fail')]),
+            lane('l2', 'anthropic', [finding('rA', 'fail'), finding('rB', 'fail')]),
+            lane('l3', 'openai', [finding('rA', 'pass')]),
+        ];
+        const forward = synthesizePanel(lanes);
+        const reversed = synthesizePanel([...lanes].reverse());
+        expect(reversed).toEqual(forward);
+    });
+    it('divergence: a rule with both pass and fail is divergent; abstain is neutral', () => {
+        const s = synthesizePanel([
+            lane('l1', 'gemini', [finding('rDiv', 'pass'), finding('rCalm', 'pass')]),
+            lane('l2', 'gemini', [finding('rDiv', 'fail'), finding('rCalm', 'abstain')]),
+        ]);
+        const div = s.findings.find((f) => f.ruleName === 'rDiv');
+        const calm = s.findings.find((f) => f.ruleName === 'rCalm');
+        expect(div.divergent).toBe(true);
+        expect(calm.divergent).toBe(false); // pass + abstain is NOT divergence
+        expect(s.divergences).toBe(1);
+    });
+    it('missing ruleName across lanes counts as implicit abstain (Σ verdicts === lane count)', () => {
+        const s = synthesizePanel([
+            lane('l1', 'gemini', [finding('rOnly1', 'pass')]),
+            lane('l2', 'gemini', []), // rOnly1 absent here
+        ]);
+        const f = s.findings.find((x) => x.ruleName === 'rOnly1');
+        expect(f.verdicts).toEqual({ pass: 1, fail: 0, abstain: 1 });
+        const sum = f.verdicts.pass + f.verdicts.fail + f.verdicts.abstain;
+        expect(sum).toBe(2);
+    });
+    it('preserves lane messages verbatim, sorted', () => {
+        const s = synthesizePanel([
+            lane('l1', 'gemini', [finding('rA', 'pass', 'decidable', 'zebra reason')]),
+            lane('l2', 'gemini', [finding('rA', 'pass', 'decidable', 'apple reason')]),
+        ]);
+        expect(s.findings[0].messages).toEqual(['apple reason', 'zebra reason']);
+    });
+    it('verdictDistribution tallies each lane isRejected (accepted/rejected, sums to N)', () => {
+        const s = synthesizePanel([
+            lane('l1', 'gemini', [finding('rA', 'fail')]), // decidable fail ⇒ rejected
+            lane('l2', 'gemini', [finding('rA', 'pass')]), // accepted
+            lane('l3', 'gemini', [finding('rA', 'pass')]), // accepted
+        ]);
+        expect(s.verdictDistribution).toEqual({ accepted: 2, rejected: 1 });
+    });
+    it('throws on a within-lane duplicate ruleName (codex #2)', () => {
+        expect(() => synthesizePanel([lane('l1', 'gemini', [finding('rDup', 'pass'), finding('rDup', 'fail')])])).toThrow(/duplicate finding for ruleName/);
+    });
+    it('throws on conflicting tier for one ruleName across lanes (codex #9)', () => {
+        expect(() => synthesizePanel([
+            lane('l1', 'gemini', [finding('rT', 'pass', 'decidable')]),
+            lane('l2', 'gemini', [finding('rT', 'pass', 'sensor')]),
+        ])).toThrow(/conflicting tiers/);
+    });
+    it('throws on zero lanes', () => {
+        expect(() => synthesizePanel([])).toThrow(/at least one lane/);
+    });
+});
+// ─── sensor-only: NO panel gate field (PP3) ──────────────────────────────────
+describe('panel is a sensor, never a gate (PP3)', () => {
+    it('PanelSynthesis exposes only verdictDistribution/findings/divergences', () => {
+        const s = synthesizePanel([lane('l1', 'gemini', [finding('rA', 'fail')])]);
+        expect(Object.keys(s).sort()).toEqual(['divergences', 'findings', 'verdictDistribution']);
+        expect(s).not.toHaveProperty('isRejected');
+        expect(s).not.toHaveProperty('verdict');
+        expect(s).not.toHaveProperty('accepted');
+    });
+    it('PanelArtifact exposes no top-level gate boolean', () => {
+        const a = assemblePanelArtifact([lane('l1', 'gemini', [finding('rA', 'fail')])], AT);
+        expect(Object.keys(a).sort()).toEqual([
+            'createdAt',
+            'diversity',
+            'lanes',
+            'schemaVersion',
+            'synthesis',
+        ]);
+        expect(a).not.toHaveProperty('isRejected');
+    });
+});
+// ─── assemble + schema version tolerance ─────────────────────────────────────
+describe('assemblePanelArtifact + schema-version tolerance (F1)', () => {
+    it('assembles a canonical artifact (lanes sorted by laneId)', () => {
+        const a = assemblePanelArtifact([
+            lane('zzz', 'gemini', [finding('rA', 'pass')]),
+            lane('aaa', 'anthropic', [finding('rA', 'pass')]),
+        ], AT);
+        expect(a.lanes.map((l) => l.laneId)).toEqual(['aaa', 'zzz']);
+        expect(a.diversity.class).toBe('cross-vendor');
+        expect(a.schemaVersion).toBe(PANEL_ARTIFACT_SCHEMA_VERSION);
+    });
+    it('rejects an input lane whose report.isRejected breaks the ADR-109 invariant', () => {
+        // isRejected:true but no decidable fail ⇒ corrupt; assemble validates on the way out.
+        const bad = lane('l1', 'gemini', [finding('rA', 'pass')], /* isRejected */ true);
+        expect(() => assemblePanelArtifact([bad], AT)).toThrow();
+    });
+    it('accepts any 1.x schemaVersion, rejects ≥2.x loud', () => {
+        const a = assemblePanelArtifact([lane('l1', 'gemini', [finding('rA', 'pass')])], AT);
+        expect(() => PanelArtifactSchema.parse({ ...a, schemaVersion: '1.5.0' })).not.toThrow();
+        expect(() => PanelArtifactSchema.parse({ ...a, schemaVersion: '2.0.0' })).toThrow();
+    });
+});
+// ─── cross-field invariants Zod-enforced, not just documented (greptile P2 / CR) ──
+describe('cross-field invariants fail parse, not silently pass (greptile P2, CR F1/F2)', () => {
+    // rA: fail in l1, pass in l2 ⇒ divergent; 2 lanes ⇒ N=2, verdictDistribution {1,1}.
+    const valid = () => assemblePanelArtifact([
+        lane('l1', 'gemini', [finding('rA', 'fail')]),
+        lane('l2', 'anthropic', [finding('rA', 'pass')]),
+    ], AT);
+    it('a verdictDistribution that does not sum to lane count fails parse', () => {
+        const c = structuredClone(valid());
+        c.synthesis.verdictDistribution.accepted = 99;
+        expect(() => PanelArtifactSchema.parse(c)).toThrow();
+    });
+    it('a finding whose verdicts do not sum to lane count fails parse', () => {
+        const c = structuredClone(valid());
+        c.synthesis.findings[0].verdicts.pass += 5;
+        expect(() => PanelArtifactSchema.parse(c)).toThrow();
+    });
+    it('a stale divergences count fails parse', () => {
+        const c = structuredClone(valid());
+        c.synthesis.divergences += 1;
+        expect(() => PanelArtifactSchema.parse(c)).toThrow();
+    });
+    it('a divergent flag inconsistent with its verdicts fails parse', () => {
+        const c = structuredClone(valid());
+        c.synthesis.findings[0].divergent = false; // rA is genuinely divergent
+        c.synthesis.divergences = 0; // keep the count consistent so only the flag check fires
+        expect(() => PanelArtifactSchema.parse(c)).toThrow();
+    });
+    it('a diversity.providers length mismatch with lane count fails parse', () => {
+        const c = structuredClone(valid());
+        c.diversity.providers = [...c.diversity.providers, 'extra'];
+        expect(() => PanelArtifactSchema.parse(c)).toThrow();
+    });
+    it('a providers array with wrong contents (right length + distinct count) fails parse', () => {
+        const c = structuredClone(valid());
+        // lanes are l1=gemini, l2=anthropic; swap providers so length (2) and distinct
+        // count (2) still match but the per-lane mapping is wrong (CodeRabbit round 2).
+        c.diversity.providers = ['anthropic', 'gemini'];
+        expect(() => PanelArtifactSchema.parse(c)).toThrow();
+    });
+    it('a diversityConfidence overclaiming "verified" over an unrecognized provider fails parse (greptile — PP1 read guard)', () => {
+        // A lane genuinely on an unrecognized provider assembles correctly as coarse.
+        const a = assemblePanelArtifact([
+            lane('l1', 'gemini', [finding('rA', 'pass')]),
+            lane('l2', 'vertex', [finding('rA', 'pass')]),
+        ], AT);
+        expect(a.diversity.diversityConfidence).toBe('coarse'); // sanity: correct assembly
+        const c = structuredClone(a);
+        c.diversity.diversityConfidence = 'verified'; // overclaim — must not pass read
+        expect(() => PanelArtifactSchema.parse(c)).toThrow();
+    });
+    it('a class inconsistent with providers fails parse (greptile — re-derived label)', () => {
+        const a = assemblePanelArtifact([
+            lane('l1', 'gemini', [finding('rA', 'pass')]),
+            lane('l2', 'gemini', [finding('rA', 'pass')]),
+        ], AT);
+        const c = structuredClone(a); // providers ['gemini','gemini'] ⇒ same-vendor-isolated
+        c.diversity.class = 'cross-vendor'; // overclaim
+        expect(() => PanelArtifactSchema.parse(c)).toThrow();
+    });
+});
+// ─── storage: content-address, dedup, round-trip, invariant-at-read ──────────
+describe('panel storage (mirrors run storage)', () => {
+    let totemDir;
+    beforeEach(() => {
+        totemDir = fs.mkdtempSync(path.join(os.tmpdir(), 'totem-panel-'));
+    });
+    afterEach(() => {
+        cleanTmpDir(totemDir);
+    });
+    it('writes at artifacts/panels/<hash>.json and reads it back', () => {
+        const a = assemblePanelArtifact([lane('l1', 'gemini', [finding('rA', 'pass')])], AT);
+        const saved = writePanelArtifact(totemDir, a);
+        expect(saved.existed).toBe(false);
+        expect(saved.path).toBe(path.join(totemDir, 'artifacts', 'panels', `${saved.hash}.json`));
+        expect(panelsDir(totemDir)).toBe(path.join(totemDir, 'artifacts', 'panels'));
+        expect(readPanelArtifact(totemDir, saved.hash)).toEqual(a);
+    });
+    it('content address excludes createdAt — identical panels dedup across time', () => {
+        const lanes = [lane('l1', 'gemini', [finding('rA', 'pass')])];
+        const early = assemblePanelArtifact(lanes, '2026-06-14T00:00:00.000Z');
+        const late = assemblePanelArtifact(lanes, '2026-06-15T09:30:00.000Z');
+        expect(computePanelArtifactContentHash(early)).toBe(computePanelArtifactContentHash(late));
+        const first = writePanelArtifact(totemDir, early);
+        const second = writePanelArtifact(totemDir, late);
+        expect(second.existed).toBe(true);
+        expect(second.hash).toBe(first.hash);
+        // first-write-wins: the stored createdAt is the early one.
+        expect(readPanelArtifact(totemDir, first.hash).createdAt).toBe('2026-06-14T00:00:00.000Z');
+    });
+    it('content address is stable under lane input permutation', () => {
+        const a = [
+            lane('a', 'gemini', [finding('rA', 'pass')]),
+            lane('b', 'anthropic', [finding('rA', 'fail')]),
+        ];
+        const h1 = computePanelArtifactContentHash(assemblePanelArtifact(a, AT));
+        const h2 = computePanelArtifactContentHash(assemblePanelArtifact([...a].reverse(), AT));
+        expect(h1).toBe(h2);
+    });
+    it('throws TotemParseError on a ≥2.x panel on disk', () => {
+        const a = assemblePanelArtifact([lane('l1', 'gemini', [finding('rA', 'pass')])], AT);
+        const hash = 'c'.repeat(64);
+        fs.mkdirSync(panelsDir(totemDir), { recursive: true });
+        fs.writeFileSync(path.join(panelsDir(totemDir), `${hash}.json`), JSON.stringify({ ...a, schemaVersion: '2.0.0' }));
+        expect(() => readPanelArtifact(totemDir, hash)).toThrow(TotemParseError);
+    });
+    it('throws on a disk panel whose persisted report breaks the isRejected invariant', () => {
+        const a = assemblePanelArtifact([lane('l1', 'gemini', [finding('rA', 'pass')])], AT);
+        const corrupt = structuredClone(a);
+        corrupt.lanes[0].report.isRejected = true; // no decidable fail ⇒ invariant broken
+        const hash = 'd'.repeat(64);
+        fs.mkdirSync(panelsDir(totemDir), { recursive: true });
+        fs.writeFileSync(path.join(panelsDir(totemDir), `${hash}.json`), JSON.stringify(corrupt));
+        expect(() => readPanelArtifact(totemDir, hash)).toThrow(TotemParseError);
+    });
+    it('rejects a disk panel with an inconsistent tally (greptile P2 / CR — re-auditable contract)', () => {
+        const a = assemblePanelArtifact([lane('l1', 'gemini', [finding('rA', 'pass')])], AT);
+        const corrupt = structuredClone(a);
+        corrupt.synthesis.verdictDistribution.accepted = 99; // no longer sums to lane count
+        const badHash = 'e'.repeat(64);
+        fs.mkdirSync(panelsDir(totemDir), { recursive: true });
+        fs.writeFileSync(path.join(panelsDir(totemDir), `${badHash}.json`), JSON.stringify(corrupt));
+        expect(() => readPanelArtifact(totemDir, badHash)).toThrow(TotemParseError);
+    });
+    it('rejects an invalid id (not a sha256 hex)', () => {
+        expect(() => readPanelArtifact(totemDir, 'not-a-hash')).toThrow(TotemParseError);
+    });
+    it('throws TotemParseError when a valid hash points to a non-existent file (greptile P2, doc contract)', () => {
+        const missing = 'f'.repeat(64); // well-formed id, but no file on disk
+        expect(() => readPanelArtifact(totemDir, missing)).toThrow(TotemParseError);
+    });
+});
+//# sourceMappingURL=panel.test.js.map

package/dist/artifacts/panel.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"panel.test.js","sourceRoot":"","sources":["../../src/artifacts/panel.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,+BAA+B,EAC/B,6BAA6B,EAC7B,mBAAmB,EAEnB,SAAS,EACT,iBAAiB,EACjB,eAAe,EACf,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAOpB,OAAO,EAAE,2BAA2B,EAAoB,MAAM,aAAa,CAAC;AAE5E,8EAA8E;AAE9E,SAAS,WAAW,CAAC,QAAgB,EAAE,IAAI,GAAG,QAAQ;IACpD,OAAO;QACL,aAAa,EAAE,2BAA2B;QAC1C,WAAW,EAAE,EAAE,YAAY,EAAE,UAAU,IAAI,EAAE,EAAE;QAC/C,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,SAAS,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,iBAAiB,EAAE,iBAAiB,EAAE;QACzE,OAAO,EAAE;YACP,QAAQ;YACR,KAAK,EAAE,GAAG,QAAQ,QAAQ;YAC1B,cAAc,EAAE,GAAG,QAAQ,IAAI,QAAQ,QAAQ;YAC/C,cAAc,EAAE,iBAAiB;YACjC,WAAW,EAAE,QAAQ;SACtB;QACD,MAAM,EAAE,EAAE,OAAO,EAAE,YAAY,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE;QACtE,SAAS,EAAE,0BAA0B;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CACd,QAAgB,EAChB,OAAqB,EACrB,OAAwB,WAAW,EACnC,OAAO,GAAG,GAAG,QAAQ,IAAI,OAAO,EAAE;IAElC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,MAAM,CAAC,QAA4B,EAAE,UAAoB;IAChE,OAAO;QACL,QAAQ;QACR,UAAU,EAAE,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC;KAC/F,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CACX,MAAc,EACd,QAAgB,EAChB,WAA+B,EAAE,EACjC,UAAoB;IAEpB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;AACnG,CAAC;AAED,MAAM,EAAE,GAAG,0BAA0B,CAAC;AAEtC,gFAAgF;AAEhF,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YACtB,iBAAiB,EAAE,CAAC;YACpB,KAAK,EAAE,sBAAsB;YAC7B,mBAAmB,EAAE,UAAU;YAC/B,qBAAqB,EAAE,EAAE;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,iBAAiB,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC/D,iBAAiB,EAAE,CAAC;YACpB,KAAK,EAAE,cAAc;YACrB,mBAAmB,EAAE,UAAU;YAC/B,qBAAqB,EAAE,EAAE;SAC1B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpD,8EAA8E;QAC9E,yEAAyE;QACzE,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,iBAAiB,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YACrD,iBAAiB,EAAE,CAAC;YACpB,KAAK,EAAE,sBAAsB;YAC7B,mBAAmB,EAAE,UAAU;SAChC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,eAAe,CAAC;YACxB,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;SAC9C,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAC3E,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG;YACZ,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YACvE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;SAC9C,CAAC;QACF,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACvD,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,eAAe,CAAC;YACxB,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;YACzE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;SAC7E,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAE,CAAC;QAC7D,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,mCAAmC;QACvE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,CAAC,GAAG,eAAe,CAAC;YACxB,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;YACjD,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,qBAAqB;SAChD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAE,CAAC;QAC3D,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QACnE,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,eAAe,CAAC;YACxB,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC;YAC1E,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC;SAC3E,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,GAAG,eAAe,CAAC;YACxB,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,4BAA4B;YAC3E,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW;YAC1D,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW;SAC3D,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,EAAE,CACV,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAC5F,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,CAAC,GAAG,EAAE,CACV,eAAe,CAAC;YACd,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;SACxD,CAAC,CACH,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,UAAU,EAAE,qBAAqB,CAAC,CAAC,CAAC;QAC1F,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;YACpC,WAAW;YACX,WAAW;YACX,OAAO;YACP,eAAe;YACf,WAAW;SACZ,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,qBAAqB,CAC7B;YACE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC9C,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;SAClD,EACD,EAAE,CACH,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,sFAAsF;QACtF,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACjF,MAAM,CAAC,GAAG,EAAE,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACxF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACtF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,qFAAqF;AAErF,QAAQ,CAAC,8EAA8E,EAAE,GAAG,EAAE;IAC5F,oFAAoF;IACpF,MAAM,KAAK,GAAG,GAAG,EAAE,CACjB,qBAAqB,CACnB;QACE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;KACjD,EACD,EAAE,CACH,CAAC;IAEJ,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;QACnC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,QAAQ,GAAG,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;QACnC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;QACnC,CAAC,CAAC,SAAS,CAAC,WAAW,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;QACnC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,KAAK,CAAC,CAAC,4BAA4B;QACvE,CAAC,CAAC,SAAS,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,yDAAyD;QACtF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;QACnC,CAAC,CAAC,SAAS,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;QACnC,+EAA+E;QAC/E,gFAAgF;QAChF,CAAC,CAAC,SAAS,CAAC,SAAS,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qHAAqH,EAAE,GAAG,EAAE;QAC7H,8EAA8E;QAC9E,MAAM,CAAC,GAAG,qBAAqB,CAC7B;YACE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;SAC9C,EACD,EAAE,CACH,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,2BAA2B;QACnF,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC,CAAC,SAAS,CAAC,mBAAmB,GAAG,UAAU,CAAC,CAAC,iCAAiC;QAC/E,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,GAAG,qBAAqB,CAC7B;YACE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;SAC9C,EACD,EAAE,CACH,CAAC;QACF,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,uDAAuD;QACrF,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,cAAc,CAAC,CAAC,YAAY;QAChD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAI,QAAgB,CAAC;IAErB,UAAU,CAAC,GAAG,EAAE;QACd,QAAQ,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,SAAS,CAAC,GAAG,EAAE;QACb,WAAW,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC;QAC1F,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;QACvE,MAAM,IAAI,GAAG,qBAAqB,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;QACtE,MAAM,CAAC,+BAA+B,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3F,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,2DAA2D;QAC3D,MAAM,CAAC,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG;YACR,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC5C,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;SAChD,CAAC;QACF,MAAM,EAAE,GAAG,+BAA+B,CAAC,qBAAqB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACzE,MAAM,EAAE,GAAG,+BAA+B,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACxF,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5B,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,EAC9C,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CACjD,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC,uCAAuC;QAClF,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5B,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1F,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,CAAC,SAAS,CAAC,mBAAmB,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,+BAA+B;QACpF,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/B,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,GAAG,OAAO,OAAO,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7F,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oGAAoG,EAAE,GAAG,EAAE;QAC5G,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,sCAAsC;QACtE,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/artifacts/post-checks-rules.d.ts

@@ -0,0 +1,93 @@
+/**
+ * The default deterministic post-check rule set (mmnto-ai/totem#2103, strategy#474
+ * slice 4). Each rule is zero-LLM and returns a verdict at its STATIC tier; the
+ * aggregator ({@link evaluatePostChecks}) owns rejection. Rule decomposition
+ * follows the cohort pre-build round (codex): the OutputContract's three knobs
+ * (`schema` / `citationsRequired` / `verifyFallback`) are distinct
+ * responsibilities, not one rule.
+ *
+ * Helpers (containment, citation extraction, line-range) are exported for
+ * direct unit testing — they are the load-bearing edge-case surface (agy).
+ */
+import { type PostCheckRule } from './post-checks.js';
+/**
+ * Is `citedPath` a relative path nested inside `configRoot`? Rejects absolute
+ * paths and Windows drive-letters up front, normalizes separators BEFORE
+ * resolving (win32: `src\..\..\etc/passwd` must not slip), then requires the
+ * resolved path to stay under the root (agy review on mmnto-ai/totem#2103).
+ */
+export declare function isContained(configRoot: string, citedPath: string): boolean;
+/** A parsed citation token: the path plus an optional 1-indexed line or line range. */
+export interface Citation {
+    raw: string;
+    filePath: string;
+    line?: number;
+    endLine?: number;
+}
+/**
+ * Conservatively extract `path` / `path:line` / `path:start-end` citations from
+ * backticked spans in `content`. Strips fenced code blocks first (their sample
+ * paths / command logs would false-fail), and ignores backticked tokens that
+ * carry neither a path separator nor a known extension — so `` `main` `` /
+ * `` `pnpm test` `` are not treated as citations (agy review on mmnto-ai/totem#2103).
+ */
+export declare function extractCitations(content: string): Citation[];
+/**
+ * Is a citation's line reference valid against a file of `totalLines` lines?
+ * Path-only citations (no line) always pass the line check. 1-indexed; a range
+ * requires `0 < start <= end <= totalLines` (agy boundary matrix).
+ */
+export declare function lineRefValid(totalLines: number, line?: number, endLine?: number): boolean;
+/**
+ * Structured-output contract (decidable, all callers). Absent `schema` ⇒
+ * abstain (prose output is never treated as malformed JSON). Present ⇒
+ * `output.content` must parse as JSON; non-JSON is a decidable fail. NOTE: deep
+ * JSON-Schema shape validation is a follow-on — core carries no validator
+ * dependency this slice, so the gate is parse-only (codex review: "non-JSON is
+ * a decidable fail").
+ */
+export declare const structuredOutputRule: PostCheckRule;
+/**
+ * Citation resolution (decidable). Gates only when the caller declared
+ * `citationsRequired`. For each cited path: must be in-root, the file must
+ * exist, and any line reference must be in range. For a `review` run, a citation
+ * outside the delivered grounding bundle is also a fail (review cites what it was
+ * given). Claim *support* (does the cited text back the claim) stays sensor-only
+ * — out of scope here (ADR-109).
+ *
+ * Intentional overlap (CR #2177 review): on a `spec` run with `citationsRequired`,
+ * an unresolved path is ALSO flagged by spec-verify — both correctly fail it, so the
+ * report can carry two decidable findings for one path. The rules are independent by
+ * design (different escapes: spec-verify owns the `VERIFY:` fallback, this owns
+ * line-range + bundle membership); de-duplicating overlapping decidable fails belongs
+ * at the live-wiring / aggregation layer (#2104), not by coupling rules in this slice.
+ */
+export declare const citationResolvesRule: PostCheckRule;
+/**
+ * Spec VERIFY requirement (decidable, caller `spec`). A spec that references a
+ * path which does not resolve on disk must mark it with `VERIFY:` — otherwise it
+ * is a fabricated path (the mmnto-ai/totem#2090/#2091 class). `VERIFY:` is accepted
+ * as the escape UNLESS the caller set `outputContract.verifyFallback === false`
+ * (the verify-fallback knob, folded here where `VERIFY:` is actually consumed —
+ * codex review).
+ */
+export declare const specVerifyRule: PostCheckRule;
+/**
+ * Override-memory reappearance (decidable, caller `review`). A finding the
+ * operator dispositioned (rejected) must not reappear in a later review. The
+ * anchored-span key format lives in the store (mmnto-ai/totem#2105); this rule only
+ * asks the injected {@link OverrideSet} whether any reappears. Absent store ⇒
+ * abstain (the rule no-ops until #2105 wires a store).
+ */
+export declare const overrideReappearanceRule: PostCheckRule;
+/**
+ * Provenance fail-safe-down sensor (SENSOR, all grounded runs; mmnto-ai/totem#2101
+ * F2 rider, enforcement test rides #2103). A grounding item whose `provenance`
+ * is not a canonical class is surfaced as NOT-upgraded (lowest trust). SENSOR
+ * tier: it is telemetry and can NEVER gate — an invented class must not confer,
+ * nor deny, trust by gating.
+ */
+export declare const provenanceSensorRule: PostCheckRule;
+/** The default rule set, in execution order. */
+export declare const DEFAULT_RULES: readonly PostCheckRule[];
+//# sourceMappingURL=post-checks-rules.d.ts.map

package/dist/artifacts/post-checks-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"post-checks-rules.d.ts","sourceRoot":"","sources":["../../src/artifacts/post-checks-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AASH,OAAO,EAGL,KAAK,aAAa,EAEnB,MAAM,kBAAkB,CAAC;AAoB1B;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAe1E;AAED,uFAAuF;AACvF,MAAM,WAAW,QAAQ;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,EAAE,CAoB5D;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO,CAOzF;AAQD;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB,EAAE,aAmBlC,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,oBAAoB,EAAE,aA8ClC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,EAAE,aAqC5B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,EAAE,aAkBtC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,EAAE,aAkBlC,CAAC;AAEF,gDAAgD;AAChD,eAAO,MAAM,aAAa,EAAE,SAAS,aAAa,EAMjD,CAAC"}