@allocator-one/rcl 4.4.19

package/dist/evidence/claim-recovery/validation/semantic-validation.js

@@ -0,0 +1,347 @@
+import { createHash } from 'node:crypto';
+import { isDeepStrictEqual } from 'node:util';
+import { z } from 'zod';
+import { claimDescriptorSchema, compareClaims } from './claims.js';
+import { decodeOriginalReport, decodeRecoveryDocument } from '../../original-run/decode.js';
+import { recoveryAnchors } from './native-state.js';
+import { ConvergeRunStateError, findingGatingReason, migratedLegacyPendingRound, verdictClearsPending } from './obligations.js';
+import { DEFAULT_SEVERITY_ORDER } from '../../../config/defaults.js';
+import { semanticCacheMatches } from './semantic-cache.js';
+import { object } from './primitives.js';
+const sha = (bytes) => createHash('sha256').update(bytes).digest('hex');
+export function verifyRoundBinding(binding, target, round, runId, raw) {
+    const bytes = Buffer.from(raw);
+    let report;
+    try {
+        const decoded = decodeOriginalReport(bytes.toString(), { exactNumbers: true });
+        if (decoded.transformations.length > 0)
+            throw new Error('bound_report_transformations_unsupported');
+        report = decoded.value;
+    }
+    catch (cause) {
+        throw new ConvergeRunStateError('Original bound report is invalid JSON.', { cause });
+    }
+    if (sha(bytes) !== binding.reportSha256 || binding.target !== target || binding.round !== round || binding.runId !== runId ||
+        report?.run?.id !== runId || report.run?.converge?.target !== target || report.run?.converge?.round !== round) {
+        throw new ConvergeRunStateError('Inconsistent immutable original report binding; refusing verdict mutation.');
+    }
+    return report;
+}
+function readBoundReport(binding, target, round, runId, sources, canonical = true) {
+    const raw = sources.reports.get(binding.reportSha256);
+    if (raw === undefined)
+        throw new ConvergeRunStateError('Original bound report bytes unavailable; refusing content qualification.');
+    sources.usedReports.add(binding.reportSha256);
+    sources.pathRequirements.push({ kind: 'report', sha256: binding.reportSha256, storedPath: binding.sourcePath,
+        ...(canonical ? { nativePathSuffix: `.evidence/${binding.reportSha256}.json` } : {}) });
+    return verifyRoundBinding(binding, target, round, runId, raw);
+}
+const bindingSchema = z.object({
+    runId: z.string().min(1), target: z.string().min(1), round: z.number().int().positive(),
+    reportSha256: z.string().regex(/^[a-f0-9]{64}$/), sourcePath: z.string().min(1),
+});
+const sightingSchema = bindingSchema.omit({ sourcePath: true }).extend({
+    findingRef: z.string().regex(/^f\d{3,}$/), reportKey: z.string().min(1), canonicalIdentity: z.string().min(1),
+    claimDescriptor: claimDescriptorSchema,
+    matchRationale: z.enum(['new_claim', 'exact_descriptor', 'supported_paraphrase', 'ambiguous', 'explicit_split']),
+    status: z.enum(['new', 'repeat', 'suppressed', 'regating']), suppressReason: z.string().optional(),
+    pendingRound: z.number().int().positive().nullable(),
+    severity: z.enum(['critical', 'important', 'minor', 'nitpick']), gating: z.string().min(1), belowThreshold: z.boolean(),
+    file: z.string(), category: z.string(), startLine: z.number().int().nonnegative(), endLine: z.number().int().nonnegative(),
+});
+/** All native consumers validate the same immutable sighting membership before effects. */
+export function validateSemanticState(state, sources, recoveryLegacy, recoveryDismissalsByRound = new Map()) {
+    try {
+        validateSemanticMembership(state, sources, recoveryLegacy, recoveryDismissalsByRound);
+    }
+    catch (cause) {
+        if (cause instanceof ConvergeRunStateError)
+            throw cause;
+        throw new ConvergeRunStateError('Invalid v2 sighting ledger or immutable source; refusing native mutation.', { cause });
+    }
+}
+function validateSemanticMembership(state, sources, recoveryLegacy, recoveryDismissalsByRound) {
+    const requireIntegrity = (valid) => {
+        if (!valid)
+            throw new ConvergeRunStateError('Invalid v2 sighting ledger or immutable membership; refusing native mutation.');
+    };
+    requireIntegrity(Array.isArray(state.sightings));
+    const sightings = state.sightings;
+    const originalTitles = new Map();
+    const sightingsByRound = new Map();
+    const sightingsByIdentity = new Map();
+    const sightingsByIdentityAndRound = new Map();
+    requireIntegrity(sightings.every(s => sightingSchema.safeParse(s).success));
+    for (const sighting of sightings) {
+        const roundMembers = sightingsByRound.get(sighting.round) ?? [];
+        roundMembers.push(sighting);
+        sightingsByRound.set(sighting.round, roundMembers);
+        const identityMembers = sightingsByIdentity.get(sighting.canonicalIdentity) ?? [];
+        identityMembers.push(sighting);
+        sightingsByIdentity.set(sighting.canonicalIdentity, identityMembers);
+        const identityRounds = sightingsByIdentityAndRound.get(sighting.canonicalIdentity) ?? new Map();
+        const identityRoundMembers = identityRounds.get(sighting.round) ?? [];
+        identityRoundMembers.push(sighting);
+        identityRounds.set(sighting.round, identityRoundMembers);
+        sightingsByIdentityAndRound.set(sighting.canonicalIdentity, identityRounds);
+    }
+    for (const anchor of recoveryAnchors(state)) {
+        requireIntegrity((sightingsByIdentity.get(anchor.identity) ?? []).every(sighting => sighting.file === anchor.source.file && sighting.category === anchor.source.category &&
+            compareClaims(sighting.claimDescriptor, anchor.descriptor) !== undefined));
+    }
+    let legacy = recoveryLegacy;
+    if (state.migration !== undefined) {
+        const migration = state.migration;
+        requireIntegrity(!!migration && typeof migration === 'object' &&
+            /^[a-f0-9]{64}$/.test(migration.sourceSha256) &&
+            typeof migration.snapshotPath === 'string');
+        sources.pathRequirements.push({ kind: 'migration', sha256: migration.sourceSha256, storedPath: migration.snapshotPath,
+            nativePathSuffix: `.v1-${migration.sourceSha256}.snapshot` });
+        try {
+            const raw = sources.snapshots.get(migration.sourceSha256);
+            requireIntegrity(raw !== undefined);
+            const original = Buffer.from(raw);
+            requireIntegrity(sha(original) === migration.sourceSha256);
+            legacy = decodeRecoveryDocument(original.toString());
+        }
+        catch (cause) {
+            throw new ConvergeRunStateError('Original v1 migration snapshot unavailable or invalid; refusing native mutation.', { cause });
+        }
+        requireIntegrity(!!legacy && legacy.version === 1 && legacy.target === state.target && Array.isArray(legacy.rounds) &&
+            !!legacy.findings && typeof legacy.findings === 'object' && !Array.isArray(legacy.findings));
+        for (const round of legacy.rounds) {
+            requireIntegrity(isDeepStrictEqual(state.rounds.find(r => r?.round === round.round), round));
+        }
+    }
+    const rounds = new Set();
+    for (const round of state.rounds) {
+        requireIntegrity(!!round && Number.isSafeInteger(round.round) && round.round > 0 && !rounds.has(round.round));
+        rounds.add(round.round);
+        const members = sightingsByRound.get(round.round) ?? [];
+        if (legacy?.rounds.some(r => r.round === round.round)) {
+            // Migrated legacy rounds deliberately have no semantic sightings. Their
+            // exact snapshot is the boundary, not an invented descriptor or ref.
+            requireIntegrity(members.length === 0);
+            if (round.reportBinding) {
+                requireIntegrity(bindingSchema.safeParse(round.reportBinding).success && round.runId === round.reportBinding.runId);
+                readBoundReport(round.reportBinding, state.target, round.round, round.runId, sources, false);
+            }
+            continue;
+        }
+        requireIntegrity(bindingSchema.safeParse(round.reportBinding).success && round.runId === round.reportBinding?.runId);
+        const binding = round.reportBinding;
+        const report = readBoundReport(binding, state.target, round.round, round.runId, sources);
+        // Later semantic rounds must agree with the native cycle (including none).
+        // Original legacy rounds remain bounded by their exact predecessor bytes.
+        const cycleRun = report.run;
+        requireIntegrity(object(cycleRun) && cycleRun.cycle_id === state.cycle?.id && (!state.cycle || object(cycleRun.target) &&
+            typeof cycleRun.target.repo === 'string' && cycleRun.target.repo.toLowerCase() === state.cycle.repo.toLowerCase() &&
+            cycleRun.target.pr_number === state.cycle.prNumber));
+        requireIntegrity(Array.isArray(report.findings) && (report.belowThresholdFindings === undefined || Array.isArray(report.belowThresholdFindings)));
+        const all = [...report.findings, ...(report.belowThresholdFindings ?? [])];
+        // A genuinely empty legacy report can start v2, but its descriptor-less
+        // appendix is not retroactively claimed as semantic evidence.
+        const described = all.some(f => f?.claimDescriptor !== undefined);
+        const original = described ? all : report.findings;
+        requireIntegrity(members.length === original.length);
+        const counts = { new: 0, repeat: 0, suppressed: 0, regating: 0 };
+        const severities = {};
+        const reportKeys = new Set();
+        for (let i = 0; i < members.length; i++) {
+            const sighting = members[i];
+            const finding = original[i];
+            requireIntegrity(!!finding && claimDescriptorSchema.safeParse(finding.claimDescriptor).success &&
+                typeof finding.identity === 'string' && finding.identity.startsWith(`report:${binding.runId}:`) && !reportKeys.has(finding.identity));
+            reportKeys.add(finding.identity);
+            const entry = state.findings[sighting.canonicalIdentity];
+            requireIntegrity(!!entry && entry.key === sighting.canonicalIdentity && claimDescriptorSchema.safeParse(entry.claimDescriptor).success &&
+                entry.file === finding.file && entry.category === finding.category &&
+                (isDeepStrictEqual(entry.claimDescriptor, finding.claimDescriptor) || compareClaims(entry.claimDescriptor, finding.claimDescriptor) !== undefined));
+            const expected = { runId: binding.runId, target: binding.target, round: binding.round, reportSha256: binding.reportSha256,
+                findingRef: `f${String(i + 1).padStart(3, '0')}`, reportKey: finding.identity, claimDescriptor: finding.claimDescriptor,
+                severity: finding.severity, gating: i < report.findings.length ? findingGatingReason(finding) : 'none',
+                belowThreshold: i >= report.findings.length, file: finding.file, category: finding.category, startLine: finding.startLine, endLine: finding.endLine };
+            for (const key of Object.keys(expected))
+                requireIntegrity(isDeepStrictEqual(sighting[key], expected[key]));
+            requireIntegrity(typeof finding.title === 'string');
+            originalTitles.set(sighting, finding.title);
+            requireIntegrity(sighting.endLine >= sighting.startLine);
+            requireIntegrity(sighting.pendingRound === null || (Number.isSafeInteger(sighting.pendingRound) && sighting.pendingRound <= sighting.round));
+            if (sighting.gating !== 'none' && (sighting.status === 'new' || sighting.status === 'regating')) {
+                requireIntegrity(sighting.pendingRound === sighting.round);
+            }
+            counts[sighting.status]++;
+            const prior = severities[sighting.canonicalIdentity];
+            if (prior === undefined || DEFAULT_SEVERITY_ORDER.indexOf(sighting.severity) < DEFAULT_SEVERITY_ORDER.indexOf(prior)) {
+                severities[sighting.canonicalIdentity] = sighting.severity;
+            }
+        }
+        requireIntegrity(isDeepStrictEqual(counts, round.counts) && isDeepStrictEqual(severities, round.severities));
+    }
+    requireIntegrity(sightings.every(s => rounds.has(s.round)));
+    validateSightingClassification(state, sightingsByIdentityAndRound, requireIntegrity, recoveryDismissalsByRound);
+    if (legacy) {
+        // Semantic admission never replaces or removes migrated original entries.
+        requireIntegrity(Object.keys(legacy.findings).every(key => Object.hasOwn(state.findings, key)));
+    }
+    for (const [key, entry] of Object.entries(state.findings)) {
+        requireIntegrity(!!entry && typeof entry === 'object' && entry.key === key);
+        const legacyOriginal = legacy?.findings[key];
+        if (entry.verdict !== undefined) {
+            requireIntegrity((entry.verdict === 'fixed' || entry.verdict === 'dismissed') &&
+                Number.isSafeInteger(entry.verdictRound) && rounds.has(entry.verdictRound));
+            const reviewed = state.rounds.find(r => r.round === entry.verdictRound);
+            const unchangedImplicitLegacySeverity = legacyOriginal?.verdict !== undefined &&
+                legacyOriginal.verdict === entry.verdict && legacyOriginal.verdictRound === entry.verdictRound &&
+                legacyOriginal.verdictSeverity === undefined && entry.verdictSeverity === undefined;
+            requireIntegrity(reviewed.severities === undefined ||
+                (reviewed.severities[key] !== undefined &&
+                    (entry.verdictSeverity === reviewed.severities[key] || unchangedImplicitLegacySeverity)));
+        }
+        else {
+            requireIntegrity(entry.verdictRound === undefined && entry.verdictSeverity === undefined);
+        }
+        if (entry.claimDescriptor === undefined) {
+            const original = legacyOriginal;
+            requireIntegrity(!!original && original.claimDescriptor === undefined);
+            if (original.verdict !== undefined) {
+                requireIntegrity(entry.verdict !== undefined && entry.verdictRound >= (original.verdictRound ?? 0));
+            }
+            const identityFields = (value) => Object.fromEntries(Object.entries(value)
+                .filter(([field]) => !['pendingRound', 'verdict', 'verdictRound', 'verdictSeverity', 'verdictReason'].includes(field)));
+            requireIntegrity(isDeepStrictEqual(identityFields(entry), identityFields(original)));
+            const initialPending = recoveryLegacy ? original.pendingRound : migratedLegacyPendingRound(original, legacy);
+            const expectedPending = initialPending !== undefined &&
+                !(entry.verdict !== undefined && verdictClearsPending(state, key, initialPending, entry.verdictRound, entry.verdictSeverity)) ? initialPending : undefined;
+            requireIntegrity(entry.pendingRound === expectedPending);
+            continue;
+        }
+        const members = sightingsByIdentity.get(key) ?? [];
+        requireIntegrity(members.length > 0 && claimDescriptorSchema.safeParse(entry.claimDescriptor).success &&
+            entry.firstRound === Math.min(...members.map(s => s.round)) && entry.lastRound === Math.max(...members.map(s => s.round)) &&
+            members.some(s => s.round === entry.firstRound && isDeepStrictEqual(s.claimDescriptor, entry.claimDescriptor)));
+        requireIntegrity(semanticCacheMatches(entry, members, originalTitles));
+        const byRound = sightingsByIdentityAndRound.get(key);
+        let latestGatedRound = null;
+        let latestGatedRoundAfterVerdict = null;
+        for (const [round, group] of [...byRound].sort(([a], [b]) => a - b)) {
+            if (group.some(s => s.gating !== 'none')) {
+                latestGatedRound = round;
+                if (entry.verdict === undefined || !verdictClearsPending(state, key, round, entry.verdictRound, entry.verdictSeverity)) {
+                    latestGatedRoundAfterVerdict = round;
+                }
+            }
+            requireIntegrity(group.every(s => s.pendingRound === group[0].pendingRound));
+            const capturedPending = group[0].pendingRound;
+            requireIntegrity(capturedPending === null || byRound.get(capturedPending)?.some(s => s.gating !== 'none') === true);
+            // A verdict is recorded after its round's sightings, so it can clear the
+            // obligation carried by later sightings without rewriting that round's
+            // immutable capture. A weaker verdict cannot clear a critical source.
+            const expectedCaptured = entry.verdict !== undefined && entry.verdictRound < round ?
+                latestGatedRoundAfterVerdict : latestGatedRound;
+            requireIntegrity(capturedPending === expectedCaptured);
+        }
+        const latestPending = byRound.get(entry.lastRound)[0].pendingRound;
+        const expectedPending = latestPending !== null &&
+            !(entry.verdict !== undefined && verdictClearsPending(state, key, latestPending, entry.verdictRound, entry.verdictSeverity)) ? latestPending : undefined;
+        requireIntegrity(entry.pendingRound === expectedPending);
+    }
+    const latest = Math.max(0, ...rounds);
+    if (latest && !legacy?.rounds.some(r => r.round === latest)) {
+        requireIntegrity(isDeepStrictEqual(state.lastAnnotations, { round: latest, identities: (sightingsByRound.get(latest) ?? [])
+                .map(s => ({ identity: s.canonicalIdentity, status: s.status, gating: s.gating })) }));
+    }
+}
+/** @internal Pure retained-history projection used by validation regressions. */
+export function recoveredDismissalsBefore(dismissalsByRound, round) {
+    const selected = new Map();
+    for (const [sourceRound, dismissals] of [...dismissalsByRound].sort(([a], [b]) => a - b)) {
+        if (sourceRound >= round)
+            continue;
+        for (const [identity, severity] of dismissals)
+            selected.set(identity, severity);
+    }
+    return selected;
+}
+/** @internal Index retained dismissal history once for bounded per-identity lookups. */
+export function createRecoveredDismissalLookup(dismissalsByRound) {
+    const histories = new Map();
+    for (const [round, dismissals] of [...dismissalsByRound].sort(([a], [b]) => a - b)) {
+        for (const [identity, severity] of dismissals) {
+            const values = histories.get(identity) ?? [];
+            values.push({ round, severity });
+            histories.set(identity, values);
+        }
+    }
+    return (round, identity) => {
+        const values = histories.get(identity);
+        if (!values)
+            return undefined;
+        let low = 0;
+        let high = values.length;
+        while (low < high) {
+            const middle = Math.floor((low + high) / 2);
+            if (values[middle].round < round)
+                low = middle + 1;
+            else
+                high = middle;
+        }
+        return low === 0 ? undefined : values[low - 1].severity;
+    };
+}
+function validateSightingClassification(state, sightingsByIdentityAndRound, requireIntegrity, recoveryDismissalsByRound) {
+    if (state.version === 1)
+        return;
+    const anchored = new Set(state.version === 3 ? recoveryAnchors(state).map(anchor => anchor.identity) : []);
+    const recoveryDismissalsForRound = createRecoveredDismissalLookup(recoveryDismissalsByRound);
+    for (const [key, entry] of Object.entries(state.findings)) {
+        if (entry.claimDescriptor === undefined)
+            continue;
+        const byRound = sightingsByIdentityAndRound.get(key) ??
+            new Map();
+        if (byRound.size === 0)
+            continue;
+        const firstRound = Math.min(...byRound.keys());
+        for (const [round, group] of byRound) {
+            const ordinaryVerdict = (entry.verdictRound ?? Infinity) < round;
+            const recoveryDismissal = recoveryDismissalsForRound(round, key);
+            const recoveredEscalation = !ordinaryVerdict && group.some(row => row.severity === 'critical') &&
+                recoveryDismissal !== undefined && recoveryDismissal !== 'critical';
+            const expectedStatus = state.version === 2 ? round === firstRound ? 'new' : undefined
+                : recoveredEscalation ? 'regating' : round === firstRound
+                    ? anchored.has(key) ? 'repeat' : 'new'
+                    : entry.verdict === undefined ? 'repeat'
+                        : ordinaryVerdict ? entry.verdict === 'dismissed' && group.some(row => row.severity === 'critical') && entry.verdictSeverity !== 'critical'
+                            ? 'regating' : entry.verdict === 'dismissed' ? 'suppressed' : 'repeat'
+                            : undefined;
+            if (expectedStatus !== undefined) {
+                requireIntegrity(group.every(row => row.status === expectedStatus));
+                if (expectedStatus === 'suppressed') {
+                    const reason = `dismissed in round ${entry.verdictRound}${entry.verdictReason ? ` (${entry.verdictReason})` : ''} — matching semantic claim; escalation to critical re-gates`;
+                    requireIntegrity(group.every(row => row.suppressReason === reason));
+                }
+            }
+            else {
+                // A later ordinary verdict overwrites the prior verdict's reason and
+                // severity. The retained schema cannot reconstruct that old decision,
+                // but it can still rule out a fresh classification.
+                requireIntegrity(group.every(row => row.status !== 'new'));
+            }
+            for (const sighting of group) {
+                // v2 retained the original producer's later match rationale without a
+                // replayable classification protocol. Its first semantic sighting is
+                // still immutable, while v3 replays every later descriptor match.
+                if (state.version === 2 && round > firstRound)
+                    continue;
+                const match = compareClaims(sighting.claimDescriptor, entry.claimDescriptor);
+                if (round > firstRound || sighting.matchRationale === 'exact_descriptor' || sighting.matchRationale === 'supported_paraphrase') {
+                    requireIntegrity(match === sighting.matchRationale);
+                }
+                else {
+                    requireIntegrity(sighting.matchRationale === 'new_claim' || sighting.matchRationale === 'ambiguous');
+                }
+            }
+        }
+    }
+}
+//# sourceMappingURL=semantic-validation.js.map

package/dist/evidence/claim-recovery/validation/semantic-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-validation.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/semantic-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAC5F,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAChI,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAIrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,MAAM,GAAG,GAAG,CAAC,KAAsB,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEzF,MAAM,UAAU,kBAAkB,CAAC,OAAsB,EAAE,MAAc,EAAE,KAAa,EAAE,KAAa,EAAE,GAAW;IAClH,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,MAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,IAAI,OAAO,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QACpG,MAAM,GAAG,OAAO,CAAC,KAAuB,CAAC;IAC3C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAAC,CAAC;IACzG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK;QACtH,MAAM,EAAE,GAAG,EAAE,EAAE,KAAK,KAAK,IAAI,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,KAAK,KAAK,EAAE,CAAC;QAClH,MAAM,IAAI,qBAAqB,CAAC,4EAA4E,CAAC,CAAC;IAChH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CAAC,OAAsB,EAAE,MAAc,EAAE,KAAa,EAAE,KAAa,EAC3F,OAAwB,EAAE,SAAS,GAAG,IAAI;IAC1C,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACtD,IAAI,GAAG,KAAK,SAAS;QAAE,MAAM,IAAI,qBAAqB,CAAC,0EAA0E,CAAC,CAAC;IACnI,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC9C,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU;QAC1G,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,aAAa,OAAO,CAAC,YAAY,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1F,OAAO,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACvF,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAChF,CAAC,CAAC;AACH,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACrE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7G,eAAe,EAAE,qBAAqB;IACtC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;IAChH,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClG,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACpD,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE;IACvH,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CAC3H,CAAC,CAAC;AAEH,2FAA2F;AAC3F,MAAM,UAAU,qBAAqB,CAAC,KAAuB,EAAE,OAAwB,EAAE,cAAiC,EACxH,4BAA4B,IAAI,GAAG,EAAuC;IAC1E,IAAI,CAAC;QACH,0BAA0B,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,yBAAyB,CAAC,CAAC;IACxF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,qBAAqB;YAAE,MAAM,KAAK,CAAC;QACxD,MAAM,IAAI,qBAAqB,CAAC,2EAA2E,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1H,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAuB,EAAE,OAAwB,EAAE,cAA4C,EACjI,yBAA2E;IAC3E,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAAQ,EAAE;QAChD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,qBAAqB,CAAC,+EAA+E,CAAC,CAAC;IAC/H,CAAC,CAAC;IACF,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAU,CAAC;IACnC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoC,CAAC;IACnE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC7D,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAA4B,CAAC;IAChE,MAAM,2BAA2B,GAAG,IAAI,GAAG,EAAyC,CAAC;IACrF,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5E,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,YAAY,GAAG,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChE,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAChF,MAAM,eAAe,GAAG,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC;QAClF,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAC,CAAC;QACrG,MAAM,cAAc,GAAG,2BAA2B,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,IAAI,GAAG,EAA4B,CAAC;QAC1H,MAAM,oBAAoB,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACtE,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;QAC9F,2BAA2B,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC;IAC9E,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5C,gBAAgB,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CACjF,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ;YACpF,aAAa,CAAC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,MAAM,GAAiC,cAAc,CAAC;IAC1D,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;QAClC,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ;YAC3D,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC;YAC7C,OAAO,SAAS,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC;QAC9C,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,YAAY,EAAE,UAAU,EAAE,SAAS,CAAC,YAAY;YACnH,gBAAgB,EAAE,OAAO,SAAS,CAAC,YAAY,WAAW,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YAC1D,gBAAgB,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;YACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAI,CAAC,CAAC;YACnC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,YAAY,CAAC,CAAC;YAC3D,MAAM,GAAG,sBAAsB,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAqB,CAAC;QAC3E,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,qBAAqB,CAAC,kFAAkF,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACjI,CAAC;QACD,gBAAgB,CAAC,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;YACjH,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/F,KAAK,MAAM,KAAK,IAAI,MAAO,CAAC,MAAM,EAAE,CAAC;YACnC,gBAAgB,CAAC,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,gBAAgB,CAAC,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,wEAAwE;YACxE,qEAAqE;YACrE,gBAAgB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;gBACxB,gBAAgB,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;gBACpH,eAAe,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAChG,CAAC;YACD,SAAS;QACX,CAAC;QACD,gBAAgB,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QACrH,MAAM,OAAO,GAAG,KAAK,CAAC,aAAc,CAAC;QACrC,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAM,EAAE,OAAO,CAAC,CAAC;QAC1F,2EAA2E;QAC3E,0EAA0E;QAC1E,MAAM,QAAQ,GAAY,MAAM,CAAC,GAAG,CAAC;QACrC,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;YACpH,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE;YACjH,QAAQ,CAAC,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvD,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,sBAAsB,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAClJ,MAAM,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3E,wEAAwE;QACxE,8DAA8D;QAC9D,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,eAAe,KAAK,SAAS,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;QACnD,gBAAgB,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACjE,MAAM,UAAU,GAAiD,EAAE,CAAC;QACpE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;YAAC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;YAC3D,gBAAgB,CAAC,CAAC,CAAC,OAAO,IAAI,qBAAqB,CAAC,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,OAAO;gBAC5F,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,OAAO,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,QAAS,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;YACzD,gBAAgB,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,KAAK,QAAQ,CAAC,iBAAiB,IAAI,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,OAAO;gBACpI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ;gBAClE,CAAC,iBAAiB,CAAC,KAAK,CAAC,eAAe,EAAE,OAAO,CAAC,eAAe,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,eAAgB,EAAE,OAAO,CAAC,eAAgB,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;YACxJ,MAAM,QAAQ,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY;gBACvH,UAAU,EAAE,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe;gBACvH,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM;gBACtG,cAAc,EAAE,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;YACxJ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAiC;gBAAE,gBAAgB,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3I,gBAAgB,CAAC,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;YACpD,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5C,gBAAgB,CAAC,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,SAAS,CAAC,CAAC;YACzD,gBAAgB,CAAC,QAAQ,CAAC,YAAY,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7I,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,KAAK,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,EAAE,CAAC;gBAChG,gBAAgB,CAAC,QAAQ,CAAC,YAAY,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;YACrD,IAAI,KAAK,KAAK,SAAS,IAAI,sBAAsB,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,sBAAsB,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrH,UAAU,CAAC,QAAQ,CAAC,iBAAiB,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;YAC7D,CAAC;QACH,CAAC;QACD,gBAAgB,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,iBAAiB,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/G,CAAC;IACD,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5D,8BAA8B,CAAC,KAAK,EAAE,2BAA2B,EAAE,gBAAgB,EAAE,yBAAyB,CAAC,CAAC;IAChH,IAAI,MAAM,EAAE,CAAC;QACX,0EAA0E;QAC1E,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,gBAAgB,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QAC5E,MAAM,cAAc,GAAG,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAChC,gBAAgB,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,WAAW,CAAC;gBAC3E,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,YAAa,CAAC,CAAC,CAAC;YAC/E,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,YAAY,CAAE,CAAC;YACzE,MAAM,+BAA+B,GAAG,cAAc,EAAE,OAAO,KAAK,SAAS;gBAC3E,cAAc,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,cAAc,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;gBAC9F,cAAc,CAAC,eAAe,KAAK,SAAS,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS,CAAC;YACtF,gBAAgB,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS;gBAChD,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,SAAS;oBACrC,CAAC,KAAK,CAAC,eAAe,KAAK,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,+BAA+B,CAAC,CAAC,CAAC,CAAC;QAChG,CAAC;aAAM,CAAC;YACN,gBAAgB,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC;QAC5F,CAAC;QACD,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,cAAc,CAAC;YAChC,gBAAgB,CAAC,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC;YACvE,IAAI,QAAS,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBACpC,gBAAgB,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,YAAa,IAAI,CAAC,QAAS,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC;YACxG,CAAC;YACD,MAAM,cAAc,GAAG,CAAC,KAAmB,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;iBACrF,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,EAAE,SAAS,EAAE,cAAc,EAAE,iBAAiB,EAAE,eAAe,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1H,gBAAgB,CAAC,iBAAiB,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,QAAS,CAAC,CAAC,CAAC,CAAC;YACtF,MAAM,cAAc,GAAG,cAAc,CAAC,CAAC,CAAC,QAAS,CAAC,YAAY,CAAC,CAAC,CAAC,0BAA0B,CAAC,QAAS,EAAE,MAAO,CAAC,CAAC;YAChH,MAAM,eAAe,GAAG,cAAc,KAAK,SAAS;gBAClD,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,oBAAoB,CAAC,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,CAAC,YAAa,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9J,gBAAgB,CAAC,KAAK,CAAC,YAAY,KAAK,eAAe,CAAC,CAAC;YACzD,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACnD,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,OAAO;YACnG,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACzH,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,UAAU,IAAI,iBAAiB,CAAC,CAAC,CAAC,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClH,gBAAgB,CAAC,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC;QACvE,MAAM,OAAO,GAAG,2BAA2B,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QACtD,IAAI,gBAAgB,GAAkB,IAAI,CAAC;QAC3C,IAAI,4BAA4B,GAAkB,IAAI,CAAC;QACvD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACpE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;gBACzC,gBAAgB,GAAG,KAAK,CAAC;gBACzB,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,YAAa,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;oBACxH,4BAA4B,GAAG,KAAK,CAAC;gBACvC,CAAC;YACH,CAAC;YACD,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC,CAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAC9E,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,YAAY,CAAC;YAC/C,gBAAgB,CAAC,eAAe,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;YACpH,yEAAyE;YACzE,uEAAuE;YACvE,sEAAsE;YACtE,MAAM,gBAAgB,GAAG,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,YAAa,GAAG,KAAK,CAAC,CAAC;gBACnF,4BAA4B,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAClD,gBAAgB,CAAC,eAAe,KAAK,gBAAgB,CAAC,CAAC;QACzD,CAAC;QACD,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAE,CAAC,CAAC,CAAE,CAAC,YAAY,CAAC;QACrE,MAAM,eAAe,GAAG,aAAa,KAAK,IAAI;YAC5C,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,oBAAoB,CAAC,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,KAAK,CAAC,YAAa,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5J,gBAAgB,CAAC,KAAK,CAAC,YAAY,KAAK,eAAe,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC;IACtC,IAAI,MAAM,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,EAAE,CAAC;QAC5D,gBAAgB,CAAC,iBAAiB,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;iBACxH,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3F,CAAC;AACH,CAAC;AAGD,iFAAiF;AACjF,MAAM,UAAU,yBAAyB,CAAC,iBAAmE,EAAE,KAAa;IAC1H,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACzF,IAAI,WAAW,IAAI,KAAK;YAAE,SAAS;QACnC,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU;YAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,8BAA8B,CAC5C,iBAAmE;IAEnE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsD,CAAC;IAChF,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACnF,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU,EAAE,CAAC;YAC9C,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YACjC,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;QACzB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,IAAI,GAAG,GAAG,CAAC,CAAC;QAAC,IAAI,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;QACtC,OAAO,GAAG,GAAG,IAAI,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,IAAI,MAAM,CAAC,MAAM,CAAE,CAAC,KAAK,GAAG,KAAK;gBAAE,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;;gBAC/C,IAAI,GAAG,MAAM,CAAC;QACrB,CAAC;QACD,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC,QAAQ,CAAC;IAC3D,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CAAC,KAAuB,EAC7D,2BAAiH,EACjH,gBAA0C,EAAE,yBAA2E;IACvH,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO;IAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3G,MAAM,0BAA0B,GAAG,8BAA8B,CAAC,yBAAyB,CAAC,CAAC;IAC7F,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS;YAAE,SAAS;QAClD,MAAM,OAAO,GAAG,2BAA2B,CAAC,GAAG,CAAC,GAAG,CAAC;YAClD,IAAI,GAAG,EAAsD,CAAC;QAChE,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/C,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;YACrC,MAAM,eAAe,GAAG,CAAC,KAAK,CAAC,YAAY,IAAI,QAAQ,CAAC,GAAG,KAAK,CAAC;YACjE,MAAM,iBAAiB,GAAG,0BAA0B,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACjE,MAAM,mBAAmB,GAAG,CAAC,eAAe,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC;gBAC5F,iBAAiB,KAAK,SAAS,IAAI,iBAAiB,KAAK,UAAU,CAAC;YACtE,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;gBACnF,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU;oBACvD,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK;oBACtC,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ;wBACxC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC,IAAI,KAAK,CAAC,eAAe,KAAK,UAAU;4BACzI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ;4BACtE,CAAC,CAAC,SAAS,CAAC;YAClB,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBACjC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpE,IAAI,cAAc,KAAK,YAAY,EAAE,CAAC;oBACpC,MAAM,MAAM,GAAG,sBAAsB,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,6DAA6D,CAAC;oBAC9K,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,cAAc,KAAK,MAAM,CAAC,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,qEAAqE;gBACrE,sEAAsE;gBACtE,oDAAoD;gBACpD,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC;YAC7D,CAAC;YACD,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;gBAC7B,sEAAsE;gBACtE,qEAAqE;gBACrE,kEAAkE;gBAClE,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,GAAG,UAAU;oBAAE,SAAS;gBACxD,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC,eAAgB,CAAC,CAAC;gBAC9E,IAAI,KAAK,GAAG,UAAU,IAAI,QAAQ,CAAC,cAAc,KAAK,kBAAkB,IAAI,QAAQ,CAAC,cAAc,KAAK,sBAAsB,EAAE,CAAC;oBAC/H,gBAAgB,CAAC,KAAK,KAAK,QAAQ,CAAC,cAAc,CAAC,CAAC;gBACtD,CAAC;qBAAM,CAAC;oBACN,gBAAgB,CAAC,QAAQ,CAAC,cAAc,KAAK,WAAW,IAAI,QAAQ,CAAC,cAAc,KAAK,WAAW,CAAC,CAAC;gBACvG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/evidence/claim-recovery/validation/sighting.d.ts

@@ -0,0 +1,2 @@
+/** Inspect retained bindings without normalizing or replacing their original values. */
+export declare function validSightingBinding(entry: Record<string, unknown>): boolean;

package/dist/evidence/claim-recovery/validation/sighting.js

@@ -0,0 +1,15 @@
+import { claimDescriptorSchema } from './claims.js';
+/** Inspect retained bindings without normalizing or replacing their original values. */
+export function validSightingBinding(entry) {
+    const key = (value) => typeof value === 'string' && value.length > 0 && value.length <= 64;
+    return entry.version === 1 && key(entry.identity_key) && key(entry.matched_identity) &&
+        ['new', 'repeat', 'suppressed', 'regating'].includes(entry.status) &&
+        typeof entry.finding_ref === 'string' && Buffer.byteLength(entry.finding_ref, 'utf8') > 0 &&
+        Buffer.byteLength(entry.finding_ref, 'utf8') <= 32 &&
+        typeof entry.report_json_sha256 === 'string' && /^[a-f0-9]{64}(?![\s\S])/.test(entry.report_json_sha256) &&
+        claimDescriptorSchema.safeParse(entry.claim_descriptor).success &&
+        ['new_claim', 'exact_descriptor', 'supported_paraphrase', 'ambiguous', 'explicit_split'].includes(entry.match_rationale) &&
+        (!Object.hasOwn(entry, 'pending_round') || entry.pending_round === null ||
+            (typeof entry.pending_round === 'number' && Number.isSafeInteger(entry.pending_round) && entry.pending_round >= 1));
+}
+//# sourceMappingURL=sighting.js.map

package/dist/evidence/claim-recovery/validation/sighting.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sighting.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/sighting.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAEpD,wFAAwF;AACxF,MAAM,UAAU,oBAAoB,CAAC,KAA8B;IACjE,MAAM,GAAG,GAAG,CAAC,KAAc,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IACpG,OAAO,KAAK,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC;QAClF,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAgB,CAAC;QAC5E,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC;QACzF,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE;QAClD,OAAO,KAAK,CAAC,kBAAkB,KAAK,QAAQ,IAAI,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;QACxG,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,OAAO;QAC/D,CAAC,WAAW,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAyB,CAAC;QAClI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC,IAAI,KAAK,CAAC,aAAa,KAAK,IAAI;YACrE,CAAC,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC;AAC1H,CAAC"}

package/dist/evidence/claim-recovery/validation/sources.d.ts

@@ -0,0 +1,15 @@
+/** Requirements for an OUTER filesystem adapter, never proof that a path was read safely. */
+export interface SourcePathRequirement {
+    kind: 'report' | 'migration' | 'native-predecessor';
+    sha256: string;
+    /** Exact path retained in the source, including any original alias. */
+    storedPath?: string;
+    /** Append to the canonical target's native state path, then qualify with realpath. */
+    nativePathSuffix?: string;
+}
+export interface RetainedSources {
+    reports: Map<string, string>;
+    snapshots: Map<string, string>;
+    usedReports: Set<string>;
+    pathRequirements: SourcePathRequirement[];
+}

package/dist/evidence/claim-recovery/validation/sources.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=sources.js.map

package/dist/evidence/claim-recovery/validation/sources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/sources.ts"],"names":[],"mappings":""}

package/dist/evidence/claim-recovery/validation/types.d.ts

@@ -0,0 +1,126 @@
+import type { NativeReviewCycle } from '../../../converge/review-cycle.js';
+import type { NativeMaterialReference } from './native-material.js';
+import type { NativeOccurrenceEvidence } from './native-occurrences.js';
+import type { ConsensusFinding, ReviewResult } from '../../../consensus/types.js';
+import type { ClaimDescriptor, MatchRationale } from './claims.js';
+import type { NativeCorrectionAnchor } from './anchors.js';
+import type { EventReceipt } from './receipts.js';
+export interface RetainedFinding extends ConsensusFinding {
+    claimDescriptor?: ClaimDescriptor;
+}
+export interface RetainedReport extends Omit<ReviewResult, 'findings' | 'belowThresholdFindings'> {
+    findings: RetainedFinding[];
+    belowThresholdFindings?: RetainedFinding[];
+}
+export interface NativeRecoveryOperation {
+    operationId: string;
+    sourceVersion: 1 | 2 | 3;
+    sourceSha256: string;
+    anchors: NativeCorrectionAnchor[];
+    sourceReceipts: EventReceipt[];
+    occurrences?: NativeOccurrenceEvidence;
+    material?: NativeMaterialReference;
+}
+export interface NativeRecoveryMetadata {
+    version: 1 | 2;
+    operations: NativeRecoveryOperation[];
+}
+export type FindingVerdict = 'fixed' | 'dismissed';
+export interface FindingEntry {
+    key: string;
+    file: string;
+    category: string;
+    startLine: number;
+    endLine: number;
+    title: string;
+    severity: string;
+    models: string[];
+    firstRound: number;
+    lastRound: number;
+    verdict?: FindingVerdict;
+    verdictReason?: string;
+    verdictRound?: number;
+    /**
+     * Severity at the moment the verdict was recorded (RCL-30). A dismissal is
+     * terminal on that evidence; only escalation past it re-gates. Absent on
+     * pre-2.1.1 states — the retained `severity` is frozen before new sightings.
+     */
+    verdictSeverity?: string;
+    claimDescriptor?: ClaimDescriptor;
+    pendingRound?: number;
+}
+export interface RoundCounts {
+    new: number;
+    repeat: number;
+    suppressed: number;
+    regating: number;
+}
+export interface ConvergeRunState {
+    version: 1 | 2 | 3;
+    /** Released cycle-v2 and its recovered successors retain original cycle/accounting metadata. */
+    cycle?: NativeReviewCycle;
+    recovery?: NativeRecoveryMetadata;
+    sightings?: SemanticSighting[];
+    migration?: {
+        sourceSha256: string;
+        snapshotPath: string;
+        migratedAt: string;
+    };
+    target: string;
+    roundCap: number;
+    /** `runId` is the report's `run.id` (rcl ≥ 3.0), which converge-verdict sends with every verdict. */
+    rounds: Array<{
+        round: number;
+        counts: RoundCounts;
+        runId?: string;
+        reportBinding?: ReportBinding;
+        /** Strongest sighting per identity in this round, including for delayed verdicts. Absent in legacy state. */
+        severities?: Record<string, ConsensusFinding['severity']>;
+    }>;
+    findings: Record<string, FindingEntry>;
+    updatedAt: string;
+    /**
+     * The most recent round's classified identities (RCL-30), so
+     * `converge-verdict` can decide the round's resolution — in particular
+     * whether a dismissal-only round converges — without re-reading the report.
+     * Replaced whenever a round is processed; absent on pre-2.1.1 states.
+     */
+    lastAnnotations?: {
+        round: number;
+        identities: Array<{
+            identity: string;
+            status: FindingStatus;
+            gating: string;
+        }>;
+    };
+}
+export type FindingStatus = 'new' | 'repeat' | 'suppressed' | 'regating';
+export interface ReportBinding {
+    runId: string;
+    target: string;
+    round: number;
+    reportSha256: string;
+    sourcePath: string;
+}
+export interface SemanticSighting {
+    runId: string;
+    target: string;
+    round: number;
+    reportSha256: string;
+    findingRef: string;
+    reportKey: string;
+    canonicalIdentity: string;
+    claimDescriptor: ClaimDescriptor;
+    matchRationale: MatchRationale;
+    status: FindingStatus;
+    /** Obligation immediately after this sighting, before subsequent verdicts. */
+    pendingRound: number | null;
+    suppressReason?: string;
+    severity: ConsensusFinding['severity'];
+    gating: string;
+    belowThreshold: boolean;
+    file: string;
+    category: string;
+    startLine: number;
+    endLine: number;
+}

package/dist/evidence/claim-recovery/validation/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/evidence/claim-recovery/validation/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/types.ts"],"names":[],"mappings":""}

package/dist/evidence/claim-split.d.ts

@@ -0,0 +1 @@
+export * from './claim-recovery/validation/claim-split.js';

package/dist/evidence/claim-split.js

@@ -0,0 +1,2 @@
+export * from './claim-recovery/validation/claim-split.js';
+//# sourceMappingURL=claim-split.js.map

package/dist/evidence/claim-split.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-split.js","sourceRoot":"","sources":["../../src/evidence/claim-split.ts"],"names":[],"mappings":"AAAA,cAAc,4CAA4C,CAAC"}

package/dist/evidence/event-receipts.d.ts

@@ -0,0 +1,16 @@
+import type { HarnessSink, SinkOutcome } from '../telemetry/sink.js';
+import { type StoredEventReceipt, type EventReceiptScope } from './claim-recovery/validation/receipts.js';
+export { matchesPreparedEventReceipt } from './claim-recovery/validation/receipts.js';
+export { isStoredEventReceipt } from './claim-recovery/validation/receipts.js';
+export type { StoredEventReceipt, EventReceipt, EventReceiptScope } from './claim-recovery/validation/receipts.js';
+export interface SelectedEventReceipts {
+    receipts: StoredEventReceipt[];
+    missing: string[];
+}
+export declare const MAX_SELECTED_EVENT_RECEIPTS = 50;
+export { isEventReceipt } from './claim-recovery/validation/receipts.js';
+/**
+ * Read only explicitly selected receipts. A successful empty result proves
+ * none of these IDs were returned; a failed read makes no absence claim.
+ */
+export declare function readEventReceipts(sink: HarnessSink, scope: EventReceiptScope, ids: readonly string[]): Promise<SinkOutcome<SelectedEventReceipts>>;