@allocator-one/rcl 4.4.19

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

@@ -0,0 +1,209 @@
+import { createHash } from 'node:crypto';
+import { isDeepStrictEqual } from 'node:util';
+import { claimDescriptorSchema } from './claims.js';
+import { findingGatingReason } from './obligations.js';
+import { verifyNativeRecoveryLineage } from './native-state.js';
+import { normalizeUrl } from './primitives.js';
+import { scrubDeep, scrubIdentifier } from '../../../telemetry/scrub.js';
+import { validSightingBinding } from './sighting.js';
+import { isEventReceipt } from './receipts.js';
+import { decodeRecoveryOriginal as decodeOriginalReport } from './recovery-json.js';
+import { instant, object } from './primitives.js';
+import { uuidSchema } from './primitives.js';
+const sha = (text) => createHash('sha256').update(text).digest('hex');
+const identity = (value) => typeof value === 'string' && /^[a-f0-9]{16}$/.test(value);
+const positive = (value) => typeof value === 'number' && Number.isSafeInteger(value) && value > 0 && value <= 2_147_483_647;
+const requireEvidence = (valid) => { if (!valid)
+    throw new Error('claim_split_source_conflict'); };
+function original(raw, prose = false) {
+    requireEvidence(typeof raw === 'string' && Buffer.byteLength(raw, 'utf8') <= 64 * 1024 * 1024);
+    const parsed = decodeOriginalReport(raw, { exactNumbers: true, ...(prose ? { originalProse: 'control-code-units-v1' } : {}) });
+    requireEvidence(object(parsed.value) && (prose || parsed.transformations.length === 0));
+    return parsed.value;
+}
+/**
+ * Validate exact original membership and source receipts before journaling a
+ * semantic assertion. Meaning is explicitly asserted by the caller; this does
+ * not infer a verdict or claim that the new identity existed in an old review.
+ * No clock, UUID generation, filesystem, network or native mutation occurs.
+ */
+export function prepareClaimSplit(input) {
+    try {
+        return prepare(input);
+    }
+    catch {
+        throw new Error('claim_split_source_conflict');
+    }
+}
+function prepare(input) {
+    const { scope } = input;
+    requireEvidence(normalizeUrl(scope.base_url) === scope.base_url && uuidSchema.safeParse(scope.org_id).success &&
+        uuidSchema.safeParse(scope.run_id).success && /^[A-Za-z0-9_.-]+\/[A-Za-z0-9_.-]+$/.test(scope.repo) && positive(scope.pr_number));
+    requireEvidence(uuidSchema.safeParse(input.eventId).success && input.target.trim() === input.target && input.target.length > 0 &&
+        scrubIdentifier(input.target) === input.target && identity(input.previousIdentity) && identity(input.identity) &&
+        input.previousIdentity !== input.identity && Number.isSafeInteger(input.expectedEventSequence) && input.expectedEventSequence >= 0);
+    instant(input.occurredAt);
+    requireEvidence(claimDescriptorSchema.safeParse(input.descriptor).success && typeof input.reason === 'string' && input.reason.length <= 4000 &&
+        input.reason.trim().length > 0 && [...input.reason].length <= 2000 &&
+        !/[\u0000-\u0008\u000b\u000c\u000e-\u001f\u007f]/.test(input.reason));
+    const native = original(input.nativeJson);
+    const report = original(input.reportJson, true);
+    requireEvidence([1, 2, 3].includes(native.version) && native.target === input.target &&
+        Array.isArray(native.rounds) && object(native.findings) && object(report.run) && native.startOverPending === undefined);
+    requireEvidence(native.version !== 1 || native.cycle === undefined);
+    const lineage = native.version === 3 || native.cycle !== undefined || input.nativeSourceJsons !== undefined
+        ? verifyNativeRecoveryLineage(input.nativeJson, input.target, input.nativeSourceJsons) : undefined;
+    requireEvidence(!lineage?.reservedIdentities.includes(input.identity));
+    const run = report.run;
+    requireEvidence(run.id === scope.run_id && object(run.target) && object(run.converge));
+    const target = run.target;
+    const converge = run.converge;
+    requireEvidence(['pr', 'patch'].includes(target.kind) && typeof target.repo === 'string' &&
+        target.repo.toLowerCase() === scope.repo.toLowerCase() && target.pr_number === scope.pr_number &&
+        typeof target.head_sha === 'string' && /^[a-f0-9]{40}(?:[a-f0-9]{24})?$/.test(target.head_sha) &&
+        converge.target === input.target && positive(converge.round));
+    const cycle = lineage?.state.cycle;
+    requireEvidence(run.cycle_id === cycle?.id && (!cycle || cycle.repo.toLowerCase() === scope.repo.toLowerCase() &&
+        cycle.prNumber === scope.pr_number && normalizeUrl(cycle.url) === scope.base_url));
+    const round = converge.round;
+    const rounds = native.rounds.filter(r => object(r) && r.round === round);
+    requireEvidence(rounds.length === 1 && rounds[0].runId === scope.run_id);
+    const nativeFindings = native.findings;
+    requireEvidence(Object.hasOwn(nativeFindings, input.previousIdentity) && object(nativeFindings[input.previousIdentity]) &&
+        !Object.hasOwn(nativeFindings, input.identity));
+    const prior = nativeFindings[input.previousIdentity];
+    requireEvidence(prior.key === input.previousIdentity);
+    requireEvidence(Array.isArray(report.findings) && (report.belowThresholdFindings === undefined || Array.isArray(report.belowThresholdFindings)) &&
+        /^f\d{3,}$/.test(input.findingRef));
+    const kept = report.findings;
+    const all = [...kept, ...(report.belowThresholdFindings ?? [])];
+    const index = Number(input.findingRef.slice(1)) - 1;
+    requireEvidence(Number.isSafeInteger(index) && index >= 0 && input.findingRef === `f${String(index + 1).padStart(3, '0')}` && object(all[index]));
+    const finding = all[index];
+    requireEvidence(typeof finding.identity === 'string' && finding.identity.length > 0 && finding.identity.length <= 64 &&
+        typeof finding.file === 'string' && typeof finding.category === 'string' &&
+        Number.isSafeInteger(finding.startLine) && Number.isSafeInteger(finding.endLine) &&
+        finding.startLine >= 0 && finding.endLine >= finding.startLine &&
+        ['critical', 'important', 'minor', 'nitpick'].includes(finding.severity));
+    const reportSha256 = sha(input.reportJson);
+    requireEvidence(!lineage?.state.recovery?.operations.some(operation => operation.anchors.some(anchor => anchor.source.runId === scope.run_id && anchor.source.reportSha256 === reportSha256 &&
+        anchor.source.findingRef === input.findingRef)));
+    const retainedBinding = rounds[0].reportBinding;
+    if (retainedBinding !== undefined) {
+        requireEvidence(object(retainedBinding) && retainedBinding.runId === scope.run_id && retainedBinding.target === input.target &&
+            retainedBinding.round === round && retainedBinding.reportSha256 === reportSha256 &&
+            typeof retainedBinding.sourcePath === 'string' && retainedBinding.sourcePath.length > 0);
+    }
+    if ((native.version === 3 || native.version === 2 && native.cycle === undefined) && Array.isArray(native.sightings)) {
+        requireEvidence(Array.isArray(native.sightings));
+        const members = native.sightings.filter(s => object(s) && s.runId === scope.run_id && s.findingRef === input.findingRef);
+        if (members.length > 0) {
+            requireEvidence(members.length === 1);
+            const member = members[0];
+            requireEvidence(member.target === input.target && member.round === round && member.reportSha256 === reportSha256 &&
+                member.reportKey === finding.identity && member.canonicalIdentity === input.previousIdentity);
+        }
+        else {
+            // Neither legacy-v1 nor released cycle-v2 wrote semantic sightings.
+            // Prove their membership against the exact retained origin and unchanged
+            // round; a semantic-v2 origin still requires its original sighting.
+            const origin = lineage?.legacy ?? (lineage?.original.cycle ? lineage.original : undefined);
+            requireEvidence(origin && Object.hasOwn(origin.findings, input.previousIdentity) &&
+                origin.findings[input.previousIdentity]?.key === input.previousIdentity &&
+                origin.rounds.some(record => record.round === round && isDeepStrictEqual(record, rounds[0])));
+        }
+    }
+    else if (native.version === 3 || native.version === 2 && native.cycle === undefined) {
+        // A recovered successor of released cycle-v2 retains the exact cycle
+        // source but has no semantic sighting cache of its own.
+        const origin = lineage?.legacy ?? (lineage?.original.cycle ? lineage.original : undefined);
+        requireEvidence(origin && Object.hasOwn(origin.findings, input.previousIdentity) &&
+            origin.findings[input.previousIdentity]?.key === input.previousIdentity &&
+            origin.rounds.some(record => record.round === round && isDeepStrictEqual(record, rounds[0])));
+    }
+    const ids = [input.classificationId, ...(input.correctionId ? [input.correctionId] : [])];
+    requireEvidence(new Set(ids).size === ids.length && ids.every(id => uuidSchema.safeParse(id).success) && !ids.includes(input.eventId) &&
+        input.sourceReceipts.length === ids.length && new Set(input.sourceReceipts.map(r => r.id)).size === ids.length &&
+        input.sourceReceipts.every(r => ids.includes(r.id) && isEventReceipt(r, scope) && r.converge_target === input.target && r.round === round));
+    const classification = input.sourceReceipts.find(r => r.id === input.classificationId);
+    requireEvidence(classification.kind === 'round_processed' && Array.isArray(classification.payload.identities));
+    const snapshot = classification.payload;
+    const declared = Object.hasOwn(snapshot, 'classification_version') || Object.hasOwn(snapshot, 'legacy_pending_identities');
+    if (Object.hasOwn(snapshot, 'report_json_sha256'))
+        requireEvidence(snapshot.report_json_sha256 === reportSha256);
+    if (declared) {
+        requireEvidence(snapshot.classification_version === 1 && snapshot.report_json_sha256 === reportSha256);
+        const rows = snapshot.identities;
+        const refs = new Set();
+        requireEvidence(rows.length === all.length);
+        for (const row of rows) {
+            requireEvidence(object(row) && validSightingBinding(row));
+            const member = row;
+            const ref = member.finding_ref;
+            const at = Number(ref.slice(1)) - 1;
+            requireEvidence(Number.isSafeInteger(at) && at >= 0 && ref === `f${String(at + 1).padStart(3, '0')}` &&
+                !refs.has(ref) && object(all[at]));
+            refs.add(ref);
+            const original = all[at];
+            requireEvidence(member.report_json_sha256 === reportSha256 && member.identity_key === original.identity &&
+                isDeepStrictEqual(member.claim_descriptor, original.claimDescriptor) && Object.hasOwn(member, 'pending_round') &&
+                (member.pending_round === null || positive(member.pending_round) && member.pending_round <= round));
+        }
+    }
+    const identityMappings = classification.payload.identities.filter(r => object(r) && r.identity_key === finding.identity);
+    requireEvidence(identityMappings.every(m => object(m) && identity(m.matched_identity) &&
+        ['new', 'repeat', 'suppressed', 'regating'].includes(m.status)));
+    // Validate bindings before selecting the requested occurrence: a malformed
+    // marked row must not disappear behind a usable legacy identity mapping.
+    for (const raw of identityMappings) {
+        const mapping = raw;
+        if (mapping.version !== undefined || mapping.finding_ref !== undefined || mapping.report_json_sha256 !== undefined) {
+            const ref = mapping.finding_ref;
+            const at = typeof ref === 'string' ? Number(ref.slice(1)) - 1 : -1;
+            requireEvidence(mapping.version === 1 && Number.isSafeInteger(at) && at >= 0 &&
+                ref === `f${String(at + 1).padStart(3, '0')}` && object(all[at]) &&
+                all[at].identity === finding.identity && mapping.report_json_sha256 === reportSha256);
+        }
+    }
+    const mappings = identityMappings.filter(raw => {
+        const mapping = raw;
+        return mapping.version === undefined || mapping.finding_ref === input.findingRef;
+    });
+    // An unbound legacy key cannot identify one of several report occurrences.
+    // An exact positional correction below can establish that missing association.
+    requireEvidence(input.correctionId !== undefined ||
+        all.filter(member => object(member) && member.identity === finding.identity).length === 1 ||
+        mappings.every(mapping => object(mapping) && mapping.version === 1));
+    const previous = new Set(mappings.map(m => m.matched_identity));
+    requireEvidence(previous.size > 0);
+    if (input.correctionId) {
+        const correction = input.sourceReceipts.find(r => r.id === input.correctionId);
+        requireEvidence(correction.kind === 'finding_identity_corrected' && correction.payload.report_json_sha256 === reportSha256 &&
+            correction.payload.finding_ref === input.findingRef && correction.payload.identity_key === finding.identity &&
+            correction.payload.matched_identity === input.previousIdentity);
+    }
+    else
+        requireEvidence(previous.size === 1 && previous.has(input.previousIdentity));
+    const payload = {
+        version: 1, org_id: scope.org_id, repo: scope.repo, pr_number: scope.pr_number, head_sha: target.head_sha,
+        report_json_sha256: reportSha256, finding_ref: input.findingRef, identity_key: finding.identity,
+        previous_identity: input.previousIdentity, matched_identity: input.identity, classification: 'new',
+        reason: input.reason, claim_descriptor: input.descriptor,
+        native_evidence: { source: 'rcl_converge_state', state_version: native.version, state_sha256: sha(input.nativeJson) },
+        source_event_ids: ids, expected_event_sequence: input.expectedEventSequence,
+    };
+    requireEvidence(isDeepStrictEqual(scrubDeep(payload), payload));
+    // Copy the assertion so a caller cannot later mutate its descriptor through
+    // a shared reference after serializing a journal checkpoint.
+    const event = { id: input.eventId, kind: 'finding_claim_split', run_id: scope.run_id,
+        converge_target: input.target, round, payload: structuredClone(payload), occurred_at: input.occurredAt };
+    const belowThreshold = index >= kept.length;
+    requireEvidence(finding.gating === undefined || object(finding.gating) && typeof finding.gating.reason === 'string');
+    const gating = belowThreshold ? 'none' : findingGatingReason({ severity: finding.severity,
+        ...(finding.gating === undefined ? {} : { gating: finding.gating }) });
+    return { event, source: { runId: scope.run_id, target: input.target, round, reportSha256,
+            findingRef: input.findingRef, reportKey: finding.identity, previousIdentity: input.previousIdentity,
+            file: finding.file, category: finding.category, startLine: finding.startLine, endLine: finding.endLine,
+            severity: finding.severity, gating, belowThreshold } };
+}
+//# sourceMappingURL=claim-split.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claim-split.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/claim-split.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAwB,MAAM,aAAa,CAAC;AAE1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAGhE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,cAAc,EAA6C,MAAM,eAAe,CAAC;AAC1F,OAAO,EAAE,sBAAsB,IAAI,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAkC7C,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9E,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChH,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,aAAa,CAAC;AACtJ,MAAM,eAAe,GAAG,CAAC,KAAc,EAAQ,EAAE,GAAG,IAAI,CAAC,KAAK;IAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,CAAC,CAAC;AAClH,SAAS,QAAQ,CAAC,GAAW,EAAE,KAAK,GAAG,KAAK;IAC1C,eAAe,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,uBAAgC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACxI,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC,KAAgC,CAAC;AACjD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,IAAI,CAAC;QAAC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAAC,CAAC;IAC9B,MAAM,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IAAC,CAAC;AAC3D,CAAC;AAED,SAAS,OAAO,CAAC,KAAsB;IACrC,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,eAAe,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,QAAQ,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO;QAC3G,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,IAAI,oCAAoC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IACpI,eAAe,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAC5H,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC9G,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,CAAC,CAAC;IACtI,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC1B,eAAe,CAAC,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,OAAO,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI;QAC1I,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,IAAI,IAAI;QAClE,CAAC,gDAAgD,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAAC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC3F,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAiB,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC5F,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC;IAC1H,eAAe,CAAC,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,iBAAiB,KAAK,SAAS;QACzG,CAAC,CAAC,2BAA2B,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrG,eAAe,CAAC,CAAC,OAAO,EAAE,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvE,MAAM,GAAG,GAAG,MAAM,CAAC,GAA8B,CAAC;IAClD,eAAe,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,GAAG,CAAC,MAAiC,CAAC;IAAC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAmC,CAAC;IAC/G,eAAe,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAc,CAAC,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;QAChG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;QAC9F,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,iCAAiC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC9F,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;IACnC,eAAe,CAAC,GAAG,CAAC,QAAQ,KAAK,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE;QAC5G,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAe,CAAC;IACvC,MAAM,MAAM,GAAI,MAAM,CAAC,MAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACxF,eAAe,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAK,MAAM,CAAC,CAAC,CAA6B,CAAC,KAAK,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC;IACtG,MAAM,cAAc,GAAG,MAAM,CAAC,QAAmC,CAAC;IAClE,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,KAAK,CAAC,gBAAgB,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACrH,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,gBAAgB,CAA4B,CAAC;IAChF,eAAe,CAAC,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACtD,eAAe,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;QAC7I,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAqB,CAAC;IAC1C,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,sBAA+C,IAAI,EAAE,CAAC,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACpD,eAAe,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAClJ,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAA4B,CAAC;IACtD,eAAe,CAAC,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE;QAClH,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ;QACxE,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC;QAC/E,OAAO,CAAC,SAAoB,IAAI,CAAC,IAAK,OAAO,CAAC,OAAkB,IAAK,OAAO,CAAC,SAAoB;QAClG,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAkB,CAAC,CAAC,CAAC;IACtF,MAAM,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC3C,eAAe,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CACrG,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,KAAK,YAAY;QACnF,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,eAAe,GAAI,MAAM,CAAC,CAAC,CAA6B,CAAC,aAAa,CAAC;IAC7E,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,eAAe,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,eAAe,CAAC,KAAK,KAAK,KAAK,CAAC,MAAM,IAAI,eAAe,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAC1H,eAAe,CAAC,KAAK,KAAK,KAAK,IAAI,eAAe,CAAC,YAAY,KAAK,YAAY;YAChF,OAAO,eAAe,CAAC,UAAU,KAAK,QAAQ,IAAI,eAAe,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACpH,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QACjD,MAAM,OAAO,GAAI,MAAM,CAAC,SAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC;QACxI,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,eAAe,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAA4B,CAAC;YACrD,eAAe,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,IAAI,MAAM,CAAC,YAAY,KAAK,YAAY;gBAC9G,MAAM,CAAC,SAAS,KAAK,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,KAAK,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAClG,CAAC;aAAM,CAAC;YACN,oEAAoE;YACpE,yEAAyE;YACzE,oEAAoE;YACpE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC3F,eAAe,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC;gBAC9E,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,GAAG,KAAK,KAAK,CAAC,gBAAgB;gBACvE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK,IAAI,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClG,CAAC;IACH,CAAC;SACI,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACpF,qEAAqE;QACrE,wDAAwD;QACxD,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3F,eAAe,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC;YAC9E,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,GAAG,KAAK,KAAK,CAAC,gBAAgB;YACvE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK,IAAI,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClG,CAAC;IAED,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,eAAe,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;QACnI,KAAK,CAAC,cAAc,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM;QAC9G,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC;IAC9I,MAAM,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,gBAAgB,CAAE,CAAC;IACxF,eAAe,CAAC,cAAc,CAAC,IAAI,KAAK,iBAAiB,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/G,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC;IACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,wBAAwB,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,2BAA2B,CAAC,CAAC;IAC3H,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,oBAAoB,CAAC;QAAE,eAAe,CAAC,QAAQ,CAAC,kBAAkB,KAAK,YAAY,CAAC,CAAC;IACjH,IAAI,QAAQ,EAAE,CAAC;QACb,eAAe,CAAC,QAAQ,CAAC,sBAAsB,KAAK,CAAC,IAAI,QAAQ,CAAC,kBAAkB,KAAK,YAAY,CAAC,CAAC;QACvG,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAuB,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,eAAe,CAAC,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1D,MAAM,MAAM,GAAG,GAA8B,CAAC;YAC9C,MAAM,GAAG,GAAG,MAAM,CAAC,WAAqB,CAAC;YACzC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACpC,eAAe,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,KAAK,IAAI,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBAClG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,GAAG,CAAC,EAAE,CAA4B,CAAC;YACpD,eAAe,CAAC,MAAM,CAAC,kBAAkB,KAAK,YAAY,IAAI,MAAM,CAAC,YAAY,KAAK,QAAQ,CAAC,QAAQ;gBACrG,iBAAiB,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,CAAC,eAAe,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;gBAC9G,CAAC,MAAM,CAAC,aAAa,KAAK,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,MAAM,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC;QACxG,CAAC;IACH,CAAC;IACD,MAAM,gBAAgB,GAAI,cAAc,CAAC,OAAO,CAAC,UAAwB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC;IACxI,eAAe,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC;QACnF,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAgB,CAAC,CAAC,CAAC,CAAC;IAC7E,2EAA2E;IAC3E,yEAAyE;IACzE,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,GAA8B,CAAC;QAC/C,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;YACnH,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC;YAChC,MAAM,EAAE,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,eAAe,CAAC,OAAO,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;gBAC1E,GAAG,KAAK,IAAI,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC/D,GAAG,CAAC,EAAE,CAA6B,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,kBAAkB,KAAK,YAAY,CAAC,CAAC;QACvH,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;QAC7C,MAAM,OAAO,GAAG,GAA8B,CAAC;QAC/C,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,UAAU,CAAC;IACnF,CAAC,CAAC,CAAC;IACH,2EAA2E;IAC3E,+EAA+E;IAC/E,eAAe,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS;QAC9C,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;QACzF,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAA6B,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC7F,eAAe,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IACnC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACvB,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,YAAY,CAAE,CAAC;QAChF,eAAe,CAAC,UAAU,CAAC,IAAI,KAAK,4BAA4B,IAAI,UAAU,CAAC,OAAO,CAAC,kBAAkB,KAAK,YAAY;YACxH,UAAU,CAAC,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,UAAU,IAAI,UAAU,CAAC,OAAO,CAAC,YAAY,KAAK,OAAO,CAAC,QAAQ;YAC3G,UAAU,CAAC,OAAO,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACpE,CAAC;;QAAM,eAAe,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACpF,MAAM,OAAO,GAAG;QACd,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzG,kBAAkB,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,QAAQ;QAC/F,iBAAiB,EAAE,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,KAAK,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK;QAClG,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,gBAAgB,EAAE,KAAK,CAAC,UAAU;QACxD,eAAe,EAAE,EAAE,MAAM,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;QACrH,gBAAgB,EAAE,GAAG,EAAE,uBAAuB,EAAE,KAAK,CAAC,qBAAqB;KAC5E,CAAC;IACF,eAAe,CAAC,iBAAiB,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,4EAA4E;IAC5E,6DAA6D;IAC7D,MAAM,KAAK,GAAc,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM;QAC7F,eAAe,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;IAC3G,MAAM,cAAc,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC;IAC5C,eAAe,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACrH,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAkB;QACjG,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAA4B,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/F,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY;YACtF,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,QAAkB,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YAC7G,IAAI,EAAE,OAAO,CAAC,IAAc,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAkB,EAAE,SAAS,EAAE,OAAO,CAAC,SAAmB,EAAE,OAAO,EAAE,OAAO,CAAC,OAAiB;YAC9I,QAAQ,EAAE,OAAO,CAAC,QAAwC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,CAAC;AAC3F,CAAC"}

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

@@ -0,0 +1,20 @@
+import { z } from 'zod';
+/** Wire version, independent of native state and matching algorithm versions. */
+export interface ClaimDescriptor {
+    version: 1;
+    operation: string;
+    invariant: string;
+    evidence: string[];
+}
+export type MatchRationale = 'new_claim' | 'exact_descriptor' | 'supported_paraphrase' | 'ambiguous' | 'explicit_split';
+export declare const claimDescriptorSchema: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    operation: z.ZodString;
+    invariant: z.ZodString;
+    evidence: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export declare function descriptorKey(d: ClaimDescriptor): string;
+/** A versioned semantic key; historical stableFindingKey deliberately stays unchanged. */
+export declare function semanticFindingKey(file: string, category: string, descriptor: ClaimDescriptor): string;
+/** High confidence lexical support, not arbitrary-language equivalence. */
+export declare function compareClaims(a: ClaimDescriptor, b: ClaimDescriptor): 'exact_descriptor' | 'supported_paraphrase' | undefined;

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

@@ -0,0 +1,108 @@
+// Shared wire validation and claim comparison; retained descriptors are never regenerated.
+import { createHash } from 'node:crypto';
+import { z } from 'zod';
+import { hasOpposingSentiment, jaccardSimilarity, tokenize } from './lexical.js';
+import { compareContractDescriptors, isContractDescriptor } from '../../../consensus/claim-contract.js';
+const descriptorText = z.string().refine((s) => s.trim().length > 0 && [...s].length <= 500 &&
+    Buffer.byteLength(s, 'utf8') <= 2000 && !/[\u0000-\u0008\u000b\u000c\u000e-\u001f\u007f]/.test(s) &&
+    !/[\uD800-\uDFFF]/u.test(s), 'Invalid claim descriptor text');
+export const claimDescriptorSchema = z.object({ version: z.literal(1), operation: descriptorText,
+    invariant: descriptorText, evidence: z.array(descriptorText).min(1).max(20) }).strict();
+function anchors(s) {
+    return [...new Set([...s.matchAll(/`([^`]+)`|\b([A-Za-z_$][\w.$]*(?:\/\d+|(?=\()))/g)]
+            .map(m => m[1] ?? m[2]))].sort();
+}
+export function descriptorKey(d) {
+    return JSON.stringify([d.version, d.operation, d.invariant, d.evidence]);
+}
+/** A versioned semantic key; historical stableFindingKey deliberately stays unchanged. */
+export function semanticFindingKey(file, category, descriptor) {
+    return createHash('sha256').update(JSON.stringify(['semantic-claim-v1', file, category, descriptorKey(descriptor)])).digest('hex').slice(0, 16);
+}
+function substantive(s) {
+    return [...tokenize(s)].filter(t => !new Set(['code', 'issue', 'bug', 'function', 'method', 'should', 'could', 'would', 'may', 'fix', 'change', 'value', 'data']).has(t));
+}
+function invariantWords(s) {
+    const grammar = new Set(['the', 'a', 'an', 'their', 'its', 'is', 'are', 'was', 'were', 'been', 'being']);
+    const inflections = { returns: 'return', returned: 'return', returning: 'return', checks: 'check', checked: 'check', checking: 'check', entries: 'entry' };
+    // Whole-assertion grammar: "X lacks Y" and "X has Y gaps" assert the
+    // same absent condition. Preserve all subject/condition words in order.
+    const canonical = s.toLowerCase().trim().replace(/[.!]$/, '')
+        .replace(/^(.+) lacks (.+)$/, '$1 missing $2')
+        .replace(/^(.+) has (.+) gaps$/, '$1 missing $2');
+    return (canonical.match(/[\p{L}\p{N}_]+|[<>!=]=?/gu) ?? []).filter(t => !grammar.has(t))
+        .map(t => Object.hasOwn(inflections, t) ? inflections[t] : t);
+}
+function similarity(a, b) {
+    return substantive(a).length >= 3 && substantive(b).length >= 3 ? jaccardSimilarity(a, b) : 0;
+}
+function opposed(a, b) {
+    // Negation changes an invariant even when nearly every other token agrees.
+    const negative = (s) => /\b(?:not|never|no|without|cannot|can't|mustn't)\b/i.test(s);
+    if (negative(a.invariant) !== negative(b.invariant))
+        return true;
+    const asFinding = (d) => ({ title: d.invariant, description: d.evidence.join(' ') });
+    return hasOpposingSentiment(asFinding(a), asFinding(b), true);
+}
+/** Different ordinary operation titles need an explicit grammar, not shared generic evidence. */
+function sameOperation(a, b) {
+    if (a === b)
+        return true;
+    const expiryOperation = (operation) => {
+        const separator = operation.indexOf(' :: ');
+        if (separator < 0)
+            return;
+        const title = operation.slice(separator + 4);
+        // These two complete expiry assertions preserve the named collection and
+        // read effect. All other titles require exact operation identity.
+        const match = /^(?:([A-Za-z]+) result survives expiry|Expired ([A-Za-z]+) entries are returned)$/.exec(title);
+        return match ? (match[1] ?? match[2]).toLowerCase() : undefined;
+    };
+    const left = expiryOperation(a);
+    return left !== undefined && left === expiryOperation(b);
+}
+/** High confidence lexical support, not arbitrary-language equivalence. */
+export function compareClaims(a, b) {
+    if (!claimDescriptorSchema.safeParse(a).success || !claimDescriptorSchema.safeParse(b).success)
+        return undefined;
+    const informative = (d) => ![d.operation, d.invariant, ...d.evidence].some(t => t.includes('[redacted]') || t.includes('[insufficient-evidence:')) &&
+        d.evidence.some(e => e !== d.invariant && substantive(e).length >= 3);
+    if (!informative(a) || !informative(b))
+        return undefined;
+    if (isContractDescriptor(a) || isContractDescriptor(b))
+        return compareContractDescriptors(a, b);
+    if (substantive(a.invariant).length < 3 || substantive(b.invariant).length < 3 || opposed(a, b))
+        return undefined;
+    if (descriptorKey(a) === descriptorKey(b))
+        return 'exact_descriptor';
+    // Explicit symbols, digit-bearing constraints and omitted-text commitments must agree.
+    const guards = (d) => JSON.stringify([
+        anchors([d.operation, d.invariant, ...d.evidence].join(' ')),
+        [...new Set([d.operation, d.invariant, ...d.evidence].flatMap(text => (text.match(/\S+/g) ?? []).filter(token => /\d/.test(token))))].sort(),
+        [...d.operation.matchAll(/\[sha256:[a-f0-9]{64}\]/g), ...d.invariant.matchAll(/\[sha256:[a-f0-9]{64}\]/g),
+            ...d.evidence.flatMap(e => [...e.matchAll(/\[sha256:[a-f0-9]{64}\]/g)])].map(m => m[0]).sort(),
+    ]);
+    if (guards(a) !== guards(b))
+        return undefined;
+    const scope = (d) => d.operation.split(' :: ')[0];
+    if (scope(a) !== scope(b))
+        return undefined;
+    if (!sameOperation(a.operation, b.operation))
+        return undefined;
+    // Require invariant support AND a second independent field, not merely a
+    // helper name, broad concept, location or identical suggested fix.
+    // Lexical overlap alone cannot establish subject, argument or condition
+    // equivalence. Only grammatical variants of the same ordered assertion
+    // qualify automatically; broader paraphrases remain separate for triage.
+    if (JSON.stringify(invariantWords(a.invariant)) !== JSON.stringify(invariantWords(b.invariant)))
+        return undefined;
+    if (similarity(a.invariant, b.invariant) < 0.72)
+        return undefined;
+    const independent = (d) => d.evidence.filter(e => e !== d.invariant);
+    if (!independent(a).some(x => independent(b).some(y => similarity(x, y) >= 0.72 ||
+        substantive(x).length >= 3 && substantive(y).length >= 3 &&
+            JSON.stringify(invariantWords(x)) === JSON.stringify(invariantWords(y)))))
+        return undefined;
+    return 'supported_paraphrase';
+}
+//# sourceMappingURL=claims.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/claims.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACjF,OAAO,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAWxG,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,GAAG;IACzF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,gDAAgD,CAAC,IAAI,CAAC,CAAC,CAAC;IACjG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,+BAA+B,CAAC,CAAC;AAChE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,cAAc;IAC9F,SAAS,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAE1F,SAAS,OAAO,CAAC,CAAS;IACxB,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,kDAAkD,CAAC,CAAC;aACnF,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACtC,CAAC;AACD,MAAM,UAAU,aAAa,CAAC,CAAkB;IAC9C,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,QAAgB,EAAE,UAA2B;IAC5F,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAClJ,CAAC;AAED,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5K,CAAC;AACD,SAAS,cAAc,CAAC,CAAS;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACzG,MAAM,WAAW,GAA2B,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACnL,qEAAqE;IACrE,wEAAwE;IACxE,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;SAC1D,OAAO,CAAC,mBAAmB,EAAE,eAAe,CAAC;SAC7C,OAAO,CAAC,sBAAsB,EAAE,eAAe,CAAC,CAAC;IACpD,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,2BAA2B,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACrF,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AACD,SAAS,UAAU,CAAC,CAAS,EAAE,CAAS;IACtC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChG,CAAC;AACD,SAAS,OAAO,CAAC,CAAkB,EAAE,CAAkB;IACrD,2EAA2E;IAC3E,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,oDAAoD,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7F,IAAI,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,MAAM,SAAS,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAY,CAAC;IACjH,OAAO,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAChE,CAAC;AAED,iGAAiG;AACjG,SAAS,aAAa,CAAC,CAAS,EAAE,CAAS;IACzC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,eAAe,GAAG,CAAC,SAAiB,EAAsB,EAAE;QAChE,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,SAAS,GAAG,CAAC;YAAE,OAAO;QAC1B,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;QAC7C,yEAAyE;QACzE,kEAAkE;QAClE,MAAM,KAAK,GAAG,mFAAmF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9G,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAChC,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,aAAa,CAAC,CAAkB,EAAE,CAAkB;IAClE,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IACjH,MAAM,WAAW,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;QACjK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzD,IAAI,oBAAoB,CAAC,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,CAAC;QAAE,OAAO,0BAA0B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChG,IAAI,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAClH,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC;QAAE,OAAO,kBAAkB,CAAC;IACrE,uFAAuF;IACvF,MAAM,MAAM,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;QACpD,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5D,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;QAC5I,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,0BAA0B,CAAC;YACvG,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;KACjG,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,KAAK,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,yEAAyE;IACzE,mEAAmE;IACnE,wEAAwE;IACxE,uEAAuE;IACvE,yEAAyE;IACzE,IAAI,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAClH,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,WAAW,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;IACtF,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI;QAC7E,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC;YACxD,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9F,OAAO,sBAAsB,CAAC;AAChC,CAAC"}

package/dist/evidence/claim-recovery/validation/current-projection.d.ts

@@ -0,0 +1,36 @@
+import type { ClaimHistoryContent } from '../carrier-inventory.js';
+import type { NativeCorrectionAnchor } from './anchors.js';
+import type { ConvergeRunState } from './types.js';
+import type { NativeOccurrenceEvidence } from './native-occurrences.js';
+import type { OccurrenceCarrierProjection } from './carrier-types.js';
+export interface CurrentClaimProjection {
+    version: 1 | 2;
+    nativeFingerprint: string;
+    history: ClaimHistoryContent;
+    actionableIdentities: string[];
+    carriers: OccurrenceCarrierProjection[];
+    claims: Array<{
+        identity: string;
+        standing: 'pending' | 'dismissed' | 'confirmed-fixed' | 'nongating';
+        dispositionEventId: string | null;
+        reasons: string[];
+    }>;
+    residuals: Array<{
+        reason: string;
+        runId?: string;
+        round?: number;
+    }>;
+}
+/** Any ordinary round/verdict change invalidates a previous remote projection. */
+export declare function nativeProjectionFingerprint(state: ConvergeRunState): string;
+export interface RecoveryProjectionFreshness {
+    readWindow: ClaimHistoryContent['readWindow'];
+    proofSha256: string;
+    validForNative: boolean;
+    qualification: 'authenticated snapshot; not current server approval';
+}
+/** Report the retained read boundary without claiming a new authenticated read. */
+export declare function recoveryProjectionFreshness(state: ConvergeRunState): RecoveryProjectionFreshness | undefined;
+/** Content replay only. The native write boundary separately requires the live
+ * opaque complete-history token; saved booleans never authorize clearing. */
+export declare function deriveCurrentClaimProjection(state: ConvergeRunState, anchors: NativeCorrectionAnchor[], evidence: NativeOccurrenceEvidence[], history: ClaimHistoryContent, nativeSourceJsons?: string[], sourceJson?: string, projectionVersion?: CurrentClaimProjection['version']): CurrentClaimProjection;