@tenphi/akno-core 0.1.0

package/dist/maintenance/conflicts.js

@@ -0,0 +1,368 @@
+import { z } from 'zod';
+import { parseJsonLoose } from "../models/client.js";
+import { sha256 } from "../store/ids.js";
+import { valuesConflict } from "../write/conflict.js";
+/**
+ * Structural candidates: live facts from `full` pages, grouped by subject and attribute,
+ * where two pages carry values that disagree.
+ *
+ * No model call. That matters for the same reason it matters inline — the pass has to be
+ * runnable on a machine with no model at all, and a candidate list is useful on its own.
+ */
+export function findCrossPageConflicts(ctx, maxPairs) {
+    return findCrossPageConflictsInStore(ctx.store, maxPairs);
+}
+/** The model-free candidate pass, shared with graph eligibility rebuilding. */
+export function findCrossPageConflictsInStore(store, maxPairs) {
+    const rows = store.db
+        .prepare(`SELECT p.slug, f.line_start, f.subject, f.attribute, f.value, f.claim, f.confidence, f.first_seen
+         FROM facts f JOIN pages p ON p.id = f.page_id
+        WHERE f.valid_to IS NULL
+          AND p.role = 'knowledge'
+          -- A structural write keeps old facts for retryability but moves body_hash ahead.
+          -- Those facts describe the previous bytes and cannot classify the current page.
+          AND p.derived_hash = p.body_hash
+          AND f.subject IS NOT NULL
+          AND f.attribute IS NOT NULL
+          AND f.value IS NOT NULL
+          -- A shaky claim must not fight a solid one; the same floor inline uses.
+          AND f.confidence >= 0.5
+        ORDER BY p.slug, f.line_start`)
+        .all();
+    const groups = new Map();
+    for (const row of rows) {
+        const key = `${normalize(row.subject)}|${normalize(row.attribute)}`;
+        const existing = groups.get(key);
+        if (existing)
+            existing.push(row);
+        else
+            groups.set(key, [row]);
+    }
+    const out = [];
+    for (const [key, facts] of groups) {
+        if (facts.length < 2)
+            continue;
+        // Same page, same attribute is inline's job and usually a list rather than a
+        // contradiction — two lines of one table, say.
+        if (new Set(facts.map((fact) => fact.slug)).size < 2)
+            continue;
+        const disagreeing = pickDisagreeing(facts);
+        if (disagreeing.length < 2)
+            continue;
+        const [subject, attribute] = key.split('|');
+        const conflict = {
+            fingerprint: '',
+            subject: subject,
+            attribute: attribute,
+            claims: disagreeing.map((fact) => ({
+                slug: fact.slug,
+                line: fact.line_start,
+                value: fact.value,
+                claim: fact.claim,
+                confidence: fact.confidence,
+                seen: fact.first_seen.slice(0, 10),
+            })),
+            verdict: 'unverified',
+        };
+        conflict.fingerprint = conflictFingerprint(conflict);
+        out.push(conflict);
+        if (out.length >= maxPairs)
+            break;
+    }
+    return out;
+}
+/** The first pair that genuinely disagrees, plus anything else disagreeing with it. */
+function pickDisagreeing(facts) {
+    for (let i = 0; i < facts.length; i++) {
+        const anchor = facts[i];
+        const against = facts.filter((other, index) => index !== i && other.slug !== anchor.slug && valuesConflict(anchor.value, other.value));
+        if (against.length > 0)
+            return [anchor, ...against];
+    }
+    return [];
+}
+export const CONFLICT_PROMPT_VERSION = 'typed-v2-qualified';
+const VERIFY = `You classify structurally incompatible claims from a personal knowledge base.
+
+Reply with JSON only:
+{ "outcome": "unresolved", "current": null, "qualification": null, "reason": "brief content-safe reason" }
+
+Allowed outcomes:
+- not_a_conflict: different subjects, fields, scopes, equivalent values, or total-versus-part.
+- time_scoped: both claims explicitly describe different periods and can remain true together.
+- superseded: one claim explicitly establishes the current/effective value and the other is stale history.
+- qualified: one broad claim is accurate only within a scope explicitly established by another supplied claim.
+- unresolved: the claims are incompatible but the supplied text does not prove which one is current.
+
+For superseded, "current" must be copied exactly from one supplied slug. Never infer recency from page order,
+confidence, or the date Akno first indexed a page. Use superseded only when the claim text itself establishes
+an exact YYYY-MM-DD boundary with as-of, effective, from, or since. When uncertain, use unresolved. The reason
+must describe the class of evidence without repeating names, values, or claim text.
+
+For qualified, set "current" to null and set "qualification" to:
+{ "target": "slug:line", "evidence": "slug:line", "scope": "exact phrase copied from evidence" }
+The target must be the broad claim. The evidence must be a different supplied claim that contains both the
+target's exact value and the exact scope phrase. Scope is a short noun phrase such as "standard coverage", not
+a sentence or an invented opposite. If those conditions are not explicit in the supplied claims, use
+unresolved.`;
+const QUALIFICATION_SCHEMA = z.object({
+    target: z.string(),
+    evidence: z.string(),
+    scope: z.string(),
+});
+export const VERIFY_SCHEMA = z.object({
+    outcome: z.enum(['not_a_conflict', 'time_scoped', 'superseded', 'qualified', 'unresolved']),
+    current: z.string().nullable(),
+    qualification: QUALIFICATION_SCHEMA.nullable(),
+    reason: z.string(),
+});
+/**
+ * Asks the derive model whether each candidate really is a contradiction.
+ *
+ * This belongs here rather than inline, because correctness that requires a model call per
+ * write belongs in the background. A verdict of `unverified` is left on anything
+ * the model could not judge, because dropping those would turn "we did not check" into "we
+ * checked and it was fine".
+ */
+export async function verifyConflicts(ctx, candidates) {
+    if (!ctx.models.derive.available || candidates.length === 0) {
+        return { conflicts: candidates, warnings: [] };
+    }
+    const warnings = [];
+    const conflicts = [];
+    for (const candidate of candidates) {
+        const cached = cachedConflictVerdict(ctx.store, candidate, ctx.models.derive.modelId);
+        if (cached) {
+            conflicts.push(cached);
+            continue;
+        }
+        const listed = candidate.claims
+            .map((claim) => `- slug="${claim.slug}" ref="${claimReference(claim)}" ${claim.claim} (recorded ${claim.seen})`)
+            .join('\n');
+        const result = await ctx.models.derive.chat([
+            { role: 'system', content: VERIFY },
+            { role: 'user', content: `Subject: ${candidate.subject} / ${candidate.attribute}\n\n${listed}` },
+        ], { schema: VERIFY_SCHEMA, maxTokens: 200 });
+        if (!result.ok || !result.value) {
+            warnings.push(`could not verify the ${candidate.subject} / ${candidate.attribute} conflict: ${result.error ?? 'no reply'}`);
+            conflicts.push(candidate);
+            continue;
+        }
+        const parsed = parseJsonLoose(result.value);
+        if (!parsed ||
+            !['not_a_conflict', 'time_scoped', 'superseded', 'qualified', 'unresolved'].includes(String(parsed.outcome)) ||
+            typeof parsed.reason !== 'string') {
+            ctx.models.derive.reportInvalidResponse();
+            conflicts.push(candidate);
+            continue;
+        }
+        const proposed = parsed.outcome;
+        let verdict = proposed;
+        const current = typeof parsed.current === 'string' && candidate.claims.some((claim) => claim.slug === parsed.current)
+            ? parsed.current
+            : undefined;
+        const qualification = proposed === 'qualified' ? validatedQualification(candidate, parsed.qualification) : null;
+        // A model may recognize a likely chronology, but it cannot create the temporal evidence that
+        // authorizes an unattended rewrite. Downgrading keeps both claims and excludes them from inference.
+        if (verdict === 'superseded' &&
+            (!current ||
+                !candidate.claims.some((claim) => claim.slug === current && explicitCurrentBoundary(claim.claim) !== null))) {
+            verdict = 'unresolved';
+        }
+        if (verdict === 'time_scoped' && !candidate.claims.every((claim) => explicitTimeScope(claim.claim))) {
+            verdict = 'unresolved';
+        }
+        if (verdict === 'qualified' && !qualification)
+            verdict = 'unresolved';
+        const classified = {
+            ...candidate,
+            verdict,
+            ...(verdict === 'superseded' && current ? { likelyCurrent: current } : {}),
+            ...(verdict === 'qualified' && qualification ? { qualification } : {}),
+            reason: verdict === proposed
+                ? `classifier selected ${verdict}`
+                : `classifier selected ${proposed}, but deterministic supporting evidence was insufficient; treated as unresolved`,
+        };
+        conflicts.push(classified);
+        cacheVerdict(ctx, classified);
+    }
+    return { conflicts, warnings };
+}
+function conflictFingerprint(conflict) {
+    return sha256(JSON.stringify({
+        prompt: CONFLICT_PROMPT_VERSION,
+        subject: normalize(conflict.subject),
+        attribute: normalize(conflict.attribute),
+        claims: [...conflict.claims]
+            .map((claim) => ({
+            slug: claim.slug,
+            line: claim.line,
+            value: normalize(claim.value),
+            claim: normalize(claim.claim),
+        }))
+            .sort((a, b) => `${a.slug}:${a.line}`.localeCompare(`${b.slug}:${b.line}`)),
+    }));
+}
+/** Claims that must not support a new observation or principle in this run. */
+export function ineligibleConflictClaims(conflicts) {
+    return new Set(conflictClaimIneligibility(conflicts).keys());
+}
+/** Typed reasons shared by inference and the evidence graph; callers never parse verdict prose. */
+export function conflictClaimIneligibility(conflicts) {
+    const out = new Map();
+    for (const conflict of conflicts) {
+        if (conflict.verdict === 'unresolved' || conflict.verdict === 'unverified') {
+            for (const claim of conflict.claims) {
+                out.set(claimKey(claim.slug, claim.line), `conflict_${conflict.verdict}`);
+            }
+        }
+        else if (conflict.verdict === 'qualified') {
+            for (const claim of conflict.claims)
+                out.set(claimKey(claim.slug, claim.line), 'conflict_qualified');
+        }
+        else if (conflict.verdict === 'superseded') {
+            for (const claim of conflict.claims) {
+                if (claim.slug !== conflict.likelyCurrent) {
+                    out.set(claimKey(claim.slug, claim.line), 'conflict_superseded');
+                }
+            }
+        }
+    }
+    return out;
+}
+function validatedQualification(conflict, raw) {
+    const parsed = QUALIFICATION_SCHEMA.safeParse(raw);
+    if (!parsed.success)
+        return null;
+    const target = conflict.claims.find((claim) => claimReference(claim) === parsed.data.target);
+    const evidence = conflict.claims.find((claim) => claimReference(claim) === parsed.data.evidence);
+    const scope = parsed.data.scope;
+    if (!target || !evidence || target.slug === evidence.slug || !validScopePhrase(scope))
+        return null;
+    if (!evidence.claim.includes(scope) || target.claim.includes(scope))
+        return null;
+    if (!containsExactValue(evidence.claim, target.value))
+        return null;
+    return {
+        targetSlug: target.slug,
+        targetLine: target.line,
+        evidenceSlug: evidence.slug,
+        evidenceLine: evidence.line,
+        scope,
+    };
+}
+function containsExactValue(claim, value) {
+    let from = 0;
+    while (from <= claim.length - value.length) {
+        const at = claim.indexOf(value, from);
+        if (at < 0)
+            return false;
+        const first = value[0] ?? '';
+        const last = value.at(-1) ?? '';
+        const before = at > 0 ? claim[at - 1] : '';
+        const after = at + value.length < claim.length ? claim[at + value.length] : '';
+        const leftBounded = !isAlphaNumeric(first) || !isAlphaNumeric(before);
+        const rightBounded = !isAlphaNumeric(last) || !isAlphaNumeric(after);
+        if (leftBounded && rightBounded)
+            return true;
+        from = at + 1;
+    }
+    return false;
+}
+function isAlphaNumeric(value) {
+    return value !== '' && /[\p{L}\p{N}]/u.test(value);
+}
+function validScopePhrase(scope) {
+    if (scope !== scope.trim() ||
+        scope.length < 2 ||
+        scope.length > 80 ||
+        /[\r\n<>:{}]/.test(scope) ||
+        scope.includes('[') ||
+        scope.includes(']') ||
+        /^(?:for|in|on|under|within|during|when|while)\b/i.test(scope)) {
+        return false;
+    }
+    const words = scope.match(/[\p{L}\p{N}]+/gu) ?? [];
+    return words.length > 0 && words.length <= 12 && /\p{L}/u.test(scope);
+}
+function claimReference(claim) {
+    return `${claim.slug}:${claim.line}`;
+}
+export function claimKey(slug, line) {
+    return `${slug}\u0000${line}`;
+}
+/** A dated boundary that can be copied into retained history without inventing chronology. */
+export function explicitCurrentBoundary(claim) {
+    const match = /\b(?:as\s+of|effective(?:\s+on)?|from|since)\s*:?[ \t]*(\d{4}-\d{2}-\d{2})\b/i.exec(claim);
+    return match?.[1] ?? null;
+}
+function explicitTimeScope(claim) {
+    return (/\b(?:before|after|until|during|between|from|since|previously|formerly|as\s+of|effective(?:ly)?|in\s+\d{4})\b/i.test(claim) || /\b\d{4}-\d{2}(?:-\d{2})?\b/.test(claim));
+}
+export function cachedConflictVerdict(store, candidate, modelId) {
+    if (!conflictCacheAvailable(store))
+        return null;
+    const row = store.db
+        .prepare(`SELECT verdict, current_slug, qualification, reason FROM conflict_verdicts
+       WHERE fingerprint = ? AND model_id = ? AND prompt_version = ?`)
+        .get(candidate.fingerprint, modelId ?? '', CONFLICT_PROMPT_VERSION);
+    if (!row || row.verdict === 'unverified')
+        return null;
+    const qualification = row.verdict === 'qualified'
+        ? validatedQualification(candidate, parseQualification(row.qualification))
+        : null;
+    if (row.verdict === 'qualified' && !qualification)
+        return null;
+    return {
+        ...candidate,
+        verdict: row.verdict,
+        ...(row.current_slug ? { likelyCurrent: row.current_slug } : {}),
+        ...(qualification ? { qualification } : {}),
+        ...(row.reason ? { reason: row.reason } : {}),
+    };
+}
+function cacheVerdict(ctx, conflict) {
+    if (!ctx.writable || !conflictCacheAvailable(ctx.store) || conflict.verdict === 'unverified')
+        return;
+    ctx.store.db
+        .prepare(`INSERT INTO conflict_verdicts
+         (fingerprint, model_id, prompt_version, verdict, current_slug, qualification, reason, updated_at)
+       VALUES (?, ?, ?, ?, ?, ?, ?, ?)
+       ON CONFLICT(fingerprint, model_id, prompt_version) DO UPDATE SET
+         verdict = excluded.verdict, current_slug = excluded.current_slug,
+         qualification = excluded.qualification, reason = excluded.reason,
+         updated_at = excluded.updated_at`)
+        .run(conflict.fingerprint, ctx.models.derive.modelId ?? '', CONFLICT_PROMPT_VERSION, conflict.verdict, conflict.likelyCurrent ?? null, conflict.qualification
+        ? JSON.stringify({
+            target: claimReference({
+                slug: conflict.qualification.targetSlug,
+                line: conflict.qualification.targetLine,
+            }),
+            evidence: claimReference({
+                slug: conflict.qualification.evidenceSlug,
+                line: conflict.qualification.evidenceLine,
+            }),
+            scope: conflict.qualification.scope,
+        })
+        : null, conflict.reason ?? null, new Date().toISOString());
+}
+function parseQualification(value) {
+    if (!value)
+        return null;
+    try {
+        return JSON.parse(value);
+    }
+    catch {
+        return null;
+    }
+}
+function conflictCacheAvailable(store) {
+    const row = store.db
+        .prepare("SELECT 1 AS present FROM sqlite_master WHERE type = 'table' AND name = 'conflict_verdicts'")
+        .get();
+    return row?.present === 1;
+}
+function normalize(value) {
+    return value.toLowerCase().replace(/[*_`]/g, '').replace(/\s+/g, ' ').trim();
+}
+//# sourceMappingURL=conflicts.js.map

package/dist/maintenance/conflicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflicts.js","sourceRoot":"","sources":["../../src/maintenance/conflicts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAsEtD;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,GAAgB,EAAE,QAAgB;IACvE,OAAO,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC5D,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,6BAA6B,CAAC,KAAY,EAAE,QAAgB;IAC1E,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE;SAClB,OAAO,CACN;;;;;;;;;;;;sCAYgC,CACjC;SACA,GAAG,EAAe,CAAC;IAEtB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,OAAQ,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,SAAU,CAAC,EAAE,CAAC;QACtE,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;YAC5B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,6EAA6E;QAC7E,+CAA+C;QAC/C,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YAAE,SAAS;QAE/D,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAErC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAsB;YAClC,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,OAAQ;YACjB,SAAS,EAAE,SAAU;YACrB,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACjC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,UAAU;gBACrB,KAAK,EAAE,IAAI,CAAC,KAAM;gBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;aACnC,CAAC,CAAC;YACH,OAAO,EAAE,YAAY;SACtB,CAAC;QACF,QAAQ,CAAC,WAAW,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnB,IAAI,GAAG,CAAC,MAAM,IAAI,QAAQ;YAAE,MAAM;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uFAAuF;AACvF,SAAS,eAAe,CAAC,KAAgB;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAC1B,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACf,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,cAAc,CAAC,MAAM,CAAC,KAAM,EAAE,KAAK,CAAC,KAAM,CAAC,CAC3F,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAG,oBAAoB,CAAC;AAE5D,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;YAsBH,CAAC;AAEb,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;CAClB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;IAC3F,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,aAAa,EAAE,oBAAoB,CAAC,QAAQ,EAAE;IAC9C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,GAAgB,EAChB,UAA+B;IAE/B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAwB,EAAE,CAAC;IAE1C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACtF,IAAI,MAAM,EAAE,CAAC;YACX,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM;aAC5B,GAAG,CACF,CAAC,KAAK,EAAE,EAAE,CACR,WAAW,KAAK,CAAC,IAAI,UAAU,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,KAAK,cAAc,KAAK,CAAC,IAAI,GAAG,CAClG;aACA,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CACzC;YACE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE;YACnC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,SAAS,CAAC,OAAO,MAAM,SAAS,CAAC,SAAS,OAAO,MAAM,EAAE,EAAE;SACjG,EACD,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,GAAG,EAAE,CAC1C,CAAC;QAEF,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CACX,wBAAwB,SAAS,CAAC,OAAO,MAAM,SAAS,CAAC,SAAS,cAAc,MAAM,CAAC,KAAK,IAAI,UAAU,EAAE,CAC7G,CAAC;YACF,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,cAAc,CAK1B,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,IACE,CAAC,MAAM;YACP,CAAC,CAAC,gBAAgB,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,QAAQ,CAClF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CACvB;YACD,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EACjC,CAAC;YACD,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,CAAC;YAC1C,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,CAAC,OAA8D,CAAC;QACvF,IAAI,OAAO,GAAG,QAAQ,CAAC;QACvB,MAAM,OAAO,GACX,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,CAAC;YACnG,CAAC,CAAC,MAAM,CAAC,OAAO;YAChB,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,aAAa,GACjB,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,sBAAsB,CAAC,SAAS,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAE5F,6FAA6F;QAC7F,oGAAoG;QACpG,IACE,OAAO,KAAK,YAAY;YACxB,CAAC,CAAC,OAAO;gBACP,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CACpB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,uBAAuB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CACnF,CAAC,EACJ,CAAC;YACD,OAAO,GAAG,YAAY,CAAC;QACzB,CAAC;QACD,IAAI,OAAO,KAAK,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACpG,OAAO,GAAG,YAAY,CAAC;QACzB,CAAC;QACD,IAAI,OAAO,KAAK,WAAW,IAAI,CAAC,aAAa;YAAE,OAAO,GAAG,YAAY,CAAC;QAEtE,MAAM,UAAU,GAAsB;YACpC,GAAG,SAAS;YACZ,OAAO;YACP,GAAG,CAAC,OAAO,KAAK,YAAY,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1E,GAAG,CAAC,OAAO,KAAK,WAAW,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,MAAM,EACJ,OAAO,KAAK,QAAQ;gBAClB,CAAC,CAAC,uBAAuB,OAAO,EAAE;gBAClC,CAAC,CAAC,uBAAuB,QAAQ,iFAAiF;SACvH,CAAC;QACF,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3B,YAAY,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAqE;IAChG,OAAO,MAAM,CACX,IAAI,CAAC,SAAS,CAAC;QACb,MAAM,EAAE,uBAAuB;QAC/B,OAAO,EAAE,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC;QACpC,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC;QACxC,MAAM,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;aACzB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACf,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAC7B,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;SAC9B,CAAC,CAAC;aACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;KAC9E,CAAC,CACH,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,wBAAwB,CAAC,SAA8B;IACrE,OAAO,IAAI,GAAG,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC/D,CAAC;AAKD,mGAAmG;AACnG,MAAM,UAAU,0BAA0B,CACxC,SAA8B;IAE9B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsC,CAAC;IAC1D,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,OAAO,KAAK,YAAY,IAAI,QAAQ,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;YAC3E,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACpC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;aAAM,IAAI,QAAQ,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;YAC5C,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM;gBAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAC;QACvG,CAAC;aAAM,IAAI,QAAQ,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;YAC7C,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,aAAa,EAAE,CAAC;oBAC1C,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,qBAAqB,CAAC,CAAC;gBACnE,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,sBAAsB,CAAC,QAA2B,EAAE,GAAY;IACvE,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7F,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;IAChC,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjF,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,YAAY,EAAE,QAAQ,CAAC,IAAI;QAC3B,YAAY,EAAE,QAAQ,CAAC,IAAI;QAC3B,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa,EAAE,KAAa;IACtD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACtC,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,MAAM,WAAW,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QACtE,MAAM,YAAY,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACrE,IAAI,WAAW,IAAI,YAAY;YAAE,OAAO,IAAI,CAAC;QAC7C,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,KAAK,KAAK,EAAE,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,IACE,KAAK,KAAK,KAAK,CAAC,IAAI,EAAE;QACtB,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,CAAC,MAAM,GAAG,EAAE;QACjB,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC;QACzB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;QACnB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;QACnB,kDAAkD,CAAC,IAAI,CAAC,KAAK,CAAC,EAC9D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC;IACnD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,cAAc,CAAC,KAA2C;IACjE,OAAO,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAY;IACjD,OAAO,GAAG,IAAI,SAAS,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,uBAAuB,CAAC,KAAa;IACnD,MAAM,KAAK,GAAG,+EAA+E,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1G,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,OAAO,CACL,+GAA+G,CAAC,IAAI,CAClH,KAAK,CACN,IAAI,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAAY,EACZ,SAA4B,EAC5B,OAAsB;IAEtB,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE;SACjB,OAAO,CACN;qEAC+D,CAChE;SACA,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE,EAAE,uBAAuB,CAOvD,CAAC;IACd,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,aAAa,GACjB,GAAG,CAAC,OAAO,KAAK,WAAW;QACzB,CAAC,CAAC,sBAAsB,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QAC1E,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,GAAG,CAAC,OAAO,KAAK,WAAW,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO;QACL,GAAG,SAAS;QACZ,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,GAAgB,EAAE,QAA2B;IACjE,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,YAAY;QAAE,OAAO;IACrG,GAAG,CAAC,KAAK,CAAC,EAAE;SACT,OAAO,CACN;;;;;;0CAMoC,CACrC;SACA,GAAG,CACF,QAAQ,CAAC,WAAW,EACpB,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,EAC/B,uBAAuB,EACvB,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,aAAa,IAAI,IAAI,EAC9B,QAAQ,CAAC,aAAa;QACpB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;YACb,MAAM,EAAE,cAAc,CAAC;gBACrB,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,UAAU;gBACvC,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,UAAU;aACxC,CAAC;YACF,QAAQ,EAAE,cAAc,CAAC;gBACvB,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,YAAY;gBACzC,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,YAAY;aAC1C,CAAC;YACF,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,KAAK;SACpC,CAAC;QACJ,CAAC,CAAC,IAAI,EACR,QAAQ,CAAC,MAAM,IAAI,IAAI,EACvB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CACzB,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAoB;IAC9C,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAY;IAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE;SACjB,OAAO,CAAC,4FAA4F,CAAC;SACrG,GAAG,EAAqC,CAAC;IAC5C,OAAO,GAAG,EAAE,OAAO,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC/E,CAAC"}

package/dist/maintenance/contradictions.d.ts

@@ -0,0 +1,34 @@
+import type { AknoContext } from '../context.ts';
+import { type CrossPageConflict } from './conflicts.ts';
+interface ContradictionOperationDraft {
+    slug: string;
+    relPath: string;
+    before: string;
+    after: string;
+}
+export interface ContradictionDraft {
+    kind: 'contradiction';
+    outcome: 'superseded' | 'qualified' | 'unresolved';
+    /** First replaced page; the generic plan contract uses it as the item subject. */
+    slug: string;
+    inputHash: string;
+    conflictFingerprint: string;
+    conflictSubject: string;
+    conflictAttribute: string;
+    likelyCurrent: string | null;
+    operations: ContradictionOperationDraft[];
+    claims: CrossPageConflict['claims'];
+}
+export interface ContradictionPlanResult {
+    drafts: ContradictionDraft[];
+    warnings: string[];
+}
+/**
+ * Build exact, reversible contradiction items from typed conflict records.
+ *
+ * Classification alone never writes. Every affected page must independently opt into full synthesis,
+ * and completed/rejected work is remembered by the conflict fingerprint so an unchanged night converges.
+ */
+export declare function planContradictions(ctx: AknoContext, conflicts: CrossPageConflict[]): Promise<ContradictionPlanResult>;
+export {};
+//# sourceMappingURL=contradictions.d.ts.map

package/dist/maintenance/contradictions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contradictions.d.ts","sourceRoot":"","sources":["../../src/maintenance/contradictions.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAOjD,OAAO,EAA2B,KAAK,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAGjF,UAAU,2BAA2B;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,eAAe,CAAC;IACtB,OAAO,EAAE,YAAY,GAAG,WAAW,GAAG,YAAY,CAAC;IACnD,kFAAkF;IAClF,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC;IACxB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,UAAU,EAAE,2BAA2B,EAAE,CAAC;IAC1C,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAQD;;;;;GAKG;AACH,wBAAsB,kBAAkB,CACtC,GAAG,EAAE,WAAW,EAChB,SAAS,EAAE,iBAAiB,EAAE,GAC7B,OAAO,CAAC,uBAAuB,CAAC,CAgClC"}

package/dist/maintenance/contradictions.js

@@ -0,0 +1,199 @@
+import fsp from 'node:fs/promises';
+import path from 'node:path';
+import { sha256 } from "../store/ids.js";
+import { preservesAuthoredTokens, preservesValues, rewriteAsHistoryForTesting as rewriteAsHistory, } from "./repair.js";
+import { explicitCurrentBoundary } from "./conflicts.js";
+import { pageAllowsMaintenanceTransform } from "./path-policy.js";
+/**
+ * Build exact, reversible contradiction items from typed conflict records.
+ *
+ * Classification alone never writes. Every affected page must independently opt into full synthesis,
+ * and completed/rejected work is remembered by the conflict fingerprint so an unchanged night converges.
+ */
+export async function planContradictions(ctx, conflicts) {
+    const drafts = [];
+    const warnings = [];
+    for (const conflict of conflicts) {
+        if (!['superseded', 'qualified', 'unresolved'].includes(conflict.verdict))
+            continue;
+        if (alreadyHandled(ctx, conflict.fingerprint))
+            continue;
+        const pages = await eligiblePages(ctx, conflict);
+        if (!pages) {
+            warnings.push(`contradiction ${shortFingerprint(conflict.fingerprint)} remains report-only because every affected page must be opted into dream: synthesize`);
+            continue;
+        }
+        const draft = conflict.verdict === 'superseded'
+            ? await supersededDraft(ctx, conflict, pages)
+            : conflict.verdict === 'qualified'
+                ? qualifiedDraft(conflict, pages)
+                : unresolvedDraft(conflict, pages);
+        if (!draft) {
+            warnings.push(`contradiction ${shortFingerprint(conflict.fingerprint)} could not produce a lossless guarded rewrite`);
+            continue;
+        }
+        drafts.push(draft);
+    }
+    return { drafts, warnings };
+}
+function qualifiedDraft(conflict, pages) {
+    const qualification = conflict.qualification;
+    if (!qualification)
+        return null;
+    const target = conflict.claims.find((claim) => claim.slug === qualification.targetSlug && claim.line === qualification.targetLine);
+    const evidence = conflict.claims.find((claim) => claim.slug === qualification.evidenceSlug && claim.line === qualification.evidenceLine);
+    if (!target || !evidence || target.slug === evidence.slug)
+        return null;
+    if (!evidence.claim.includes(qualification.scope) || !evidence.claim.includes(target.value))
+        return null;
+    const page = pages.get(target.slug);
+    if (!page)
+        return null;
+    const lines = page.before.split('\n');
+    const beforeLine = lines[target.line - 1];
+    if (beforeLine === undefined || !beforeLine.includes(target.value))
+        return null;
+    const rewritten = qualifyLine(beforeLine, qualification.scope);
+    if (!rewritten ||
+        rewritten === beforeLine ||
+        !rewritten.includes(qualification.scope) ||
+        !preservesValues(beforeLine, rewritten) ||
+        !preservesValues(rewritten, `${beforeLine} ${qualification.scope}`) ||
+        !preservesAuthoredTokens(beforeLine, rewritten)) {
+        return null;
+    }
+    lines[target.line - 1] = rewritten;
+    // Seal the distinct scope evidence as a no-op replacement. A concurrent edit to either the
+    // broad claim or the statement proving its scope must stale the whole atomic item.
+    const orderedPages = [page, ...[...pages.values()].filter((candidate) => candidate.slug !== target.slug)];
+    const operations = orderedPages.map((candidate) => ({
+        ...candidate,
+        after: candidate.slug === target.slug ? lines.join('\n') : candidate.before,
+    }));
+    return asDraft(conflict, 'qualified', operations);
+}
+/** Add an evidence-backed scope without paraphrasing a single authored byte. */
+function qualifyLine(line, scope) {
+    if (!scope || /[\r\n]/.test(scope))
+        return null;
+    const match = /^(\s*(?:(?:>\s*)+)?(?:(?:[-+*]|\d+[.)])\s+)?)(\S.*)$/.exec(line);
+    if (!match)
+        return null;
+    return `${match[1]}For ${scope}: ${match[2]}`;
+}
+function alreadyHandled(ctx, fingerprint) {
+    const row = ctx.store.db
+        .prepare(`SELECT 1 AS present FROM maintenance_items
+       WHERE kind = 'contradiction' AND input_hash = ? AND status IN ('applied', 'rejected')
+       LIMIT 1`)
+        .get(fingerprint);
+    return row?.present === 1;
+}
+async function eligiblePages(ctx, conflict) {
+    const pages = new Map();
+    for (const slug of new Set(conflict.claims.map((claim) => claim.slug))) {
+        const row = ctx.store.db
+            .prepare(`SELECT slug, rel_path, role, dream_management FROM pages WHERE slug = ?`)
+            .get(slug);
+        if (!row ||
+            !pageAllowsMaintenanceTransform(ctx.config, { slug: row.slug, role: row.role, dreamManagement: row.dream_management }, 'contradiction')) {
+            return null;
+        }
+        const before = await fsp.readFile(path.join(ctx.config.aknoPath, row.rel_path), 'utf8').catch(() => null);
+        if (before === null)
+            return null;
+        pages.set(slug, { slug, relPath: row.rel_path, before });
+    }
+    return pages;
+}
+async function supersededDraft(ctx, conflict, pages) {
+    const current = conflict.claims.filter((claim) => claim.slug === conflict.likelyCurrent);
+    const stale = conflict.claims.filter((claim) => claim.slug !== conflict.likelyCurrent);
+    if (current.length !== 1 || stale.length === 0)
+        return null;
+    const boundary = explicitCurrentBoundary(current[0].claim);
+    if (!boundary)
+        return null;
+    const afterBySlug = new Map([...pages].map(([slug, page]) => [slug, page.before]));
+    for (const claim of stale) {
+        const page = pages.get(claim.slug);
+        const held = afterBySlug.get(claim.slug);
+        if (!page || held === undefined)
+            return null;
+        const lines = held.split('\n');
+        const beforeLine = lines[claim.line - 1];
+        if (beforeLine === undefined || !beforeLine.includes(claim.value))
+            return null;
+        const rewritten = await rewriteAsHistory(ctx, beforeLine, current[0].claim, boundary);
+        if (!rewritten ||
+            rewritten === beforeLine ||
+            !rewritten.includes(boundary) ||
+            !preservesValues(beforeLine, rewritten) ||
+            !preservesValues(rewritten, `${beforeLine} ${boundary}`) ||
+            !preservesAuthoredTokens(beforeLine, rewritten)) {
+            return null;
+        }
+        lines[claim.line - 1] = rewritten;
+        afterBySlug.set(claim.slug, lines.join('\n'));
+    }
+    // The current page is sealed as a no-op replacement. That gives apply the same stale-byte check
+    // for the evidence selecting the winner as for the line it rewrites; otherwise the "current"
+    // claim could change after planning while the stale rewrite still applied.
+    const operations = [...pages.values()].map((page) => ({
+        ...page,
+        after: afterBySlug.get(page.slug),
+    }));
+    return operations.some((operation) => operation.after !== operation.before)
+        ? asDraft(conflict, 'superseded', operations)
+        : null;
+}
+function unresolvedDraft(conflict, pages) {
+    const markerId = shortFingerprint(conflict.fingerprint);
+    const slugs = [...pages.keys()].sort();
+    const label = `${safeLabel(conflict.subject)} / ${safeLabel(conflict.attribute)}`;
+    const operations = [...pages.values()].map((page) => {
+        const references = slugs
+            .filter((slug) => slug !== page.slug)
+            .map((slug) => `[[${slug}]]`)
+            .join(', ');
+        const block = `<!-- akno:conflict ${markerId} start -->\n` +
+            `> [!warning] Unresolved memory conflict\n` +
+            `> Akno found incompatible authored claims for **${label}** across this page and ${references}. ` +
+            `Both claims remain; neither supports new inferences until resolved.\n` +
+            `<!-- akno:conflict ${markerId} end -->`;
+        return {
+            ...page,
+            after: page.before.includes(`<!-- akno:conflict ${markerId} start -->`)
+                ? page.before
+                : `${page.before.replace(/\s+$/, '')}\n\n${block}\n`,
+        };
+    });
+    return operations.some((operation) => operation.after !== operation.before)
+        ? asDraft(conflict, 'unresolved', operations)
+        : null;
+}
+function asDraft(conflict, outcome, operations) {
+    return {
+        kind: 'contradiction',
+        outcome,
+        slug: operations[0].slug,
+        inputHash: conflict.fingerprint,
+        conflictFingerprint: conflict.fingerprint,
+        conflictSubject: conflict.subject,
+        conflictAttribute: conflict.attribute,
+        likelyCurrent: conflict.likelyCurrent ?? null,
+        operations,
+        claims: conflict.claims,
+    };
+}
+function safeLabel(value) {
+    return (value
+        .replace(/[\r\n<>]/g, ' ')
+        .replace(/\s+/g, ' ')
+        .trim()
+        .slice(0, 120) || 'unknown field');
+}
+function shortFingerprint(value) {
+    return sha256(value).slice(0, 12);
+}
+//# sourceMappingURL=contradictions.js.map

package/dist/maintenance/contradictions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contradictions.js","sourceRoot":"","sources":["../../src/maintenance/contradictions.ts"],"names":[],"mappings":"AAAA,OAAO,GAAG,MAAM,kBAAkB,CAAC;AACnC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,0BAA0B,IAAI,gBAAgB,GAC/C,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,uBAAuB,EAA0B,MAAM,gBAAgB,CAAC;AACjF,OAAO,EAAE,8BAA8B,EAAE,MAAM,kBAAkB,CAAC;AAkClE;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,GAAgB,EAChB,SAA8B;IAE9B,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,YAAY,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QACpF,IAAI,cAAc,CAAC,GAAG,EAAE,QAAQ,CAAC,WAAW,CAAC;YAAE,SAAS;QAExD,MAAM,KAAK,GAAG,MAAM,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,QAAQ,CAAC,IAAI,CACX,iBAAiB,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,uFAAuF,CAC/I,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GACT,QAAQ,CAAC,OAAO,KAAK,YAAY;YAC/B,CAAC,CAAC,MAAM,eAAe,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC;YAC7C,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,WAAW;gBAChC,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC;gBACjC,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,QAAQ,CAAC,IAAI,CACX,iBAAiB,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,+CAA+C,CACvG,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,cAAc,CACrB,QAA2B,EAC3B,KAAgC;IAEhC,MAAM,aAAa,GAAG,QAAQ,CAAC,aAAa,CAAC;IAC7C,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CACjC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,UAAU,CAC9F,CAAC;IACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CACnC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,YAAY,CAClG,CAAC;IACF,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEzG,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC1C,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,SAAS,GAAG,WAAW,CAAC,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IAC/D,IACE,CAAC,SAAS;QACV,SAAS,KAAK,UAAU;QACxB,CAAC,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC;QACxC,CAAC,eAAe,CAAC,UAAU,EAAE,SAAS,CAAC;QACvC,CAAC,eAAe,CAAC,SAAS,EAAE,GAAG,UAAU,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;QACnE,CAAC,uBAAuB,CAAC,UAAU,EAAE,SAAS,CAAC,EAC/C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC;IAEnC,2FAA2F;IAC3F,mFAAmF;IACnF,MAAM,YAAY,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1G,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAClD,GAAG,SAAS;QACZ,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM;KAC5E,CAAC,CAAC,CAAC;IACJ,OAAO,OAAO,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;AACpD,CAAC;AAED,gFAAgF;AAChF,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,KAAK,GAAG,sDAAsD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,cAAc,CAAC,GAAgB,EAAE,WAAmB;IAC3D,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE;SACrB,OAAO,CACN;;eAES,CACV;SACA,GAAG,CAAC,WAAW,CAAoC,CAAC;IACvD,OAAO,GAAG,EAAE,OAAO,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,GAAgB,EAChB,QAA2B;IAE3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE;aACrB,OAAO,CAAC,yEAAyE,CAAC;aAClF,GAAG,CAAC,IAAI,CAA2F,CAAC;QACvG,IACE,CAAC,GAAG;YACJ,CAAC,8BAA8B,CAC7B,GAAG,CAAC,MAAM,EACV,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,EAAE,GAAG,CAAC,gBAAgB,EAAE,EACzE,eAAe,CAChB,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC1G,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACjC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,GAAgB,EAChB,QAA2B,EAC3B,KAAgC;IAEhC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,aAAa,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,aAAa,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,QAAQ,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnF,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAE/E,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvF,IACE,CAAC,SAAS;YACV,SAAS,KAAK,UAAU;YACxB,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC7B,CAAC,eAAe,CAAC,UAAU,EAAE,SAAS,CAAC;YACvC,CAAC,eAAe,CAAC,SAAS,EAAE,GAAG,UAAU,IAAI,QAAQ,EAAE,CAAC;YACxD,CAAC,uBAAuB,CAAC,UAAU,EAAE,SAAS,CAAC,EAC/C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC;QAClC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,gGAAgG;IAChG,6FAA6F;IAC7F,2EAA2E;IAC3E,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACpD,GAAG,IAAI;QACP,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE;KACnC,CAAC,CAAC,CAAC;IACJ,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,MAAM,CAAC;QACzE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,eAAe,CACtB,QAA2B,EAC3B,KAAgC;IAEhC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;IAClF,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAClD,MAAM,UAAU,GAAG,KAAK;aACrB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC;aACpC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC;aAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,KAAK,GACT,sBAAsB,QAAQ,cAAc;YAC5C,2CAA2C;YAC3C,mDAAmD,KAAK,2BAA2B,UAAU,IAAI;YACjG,uEAAuE;YACvE,sBAAsB,QAAQ,UAAU,CAAC;QAC3C,OAAO;YACL,GAAG,IAAI;YACP,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,sBAAsB,QAAQ,YAAY,CAAC;gBACrE,CAAC,CAAC,IAAI,CAAC,MAAM;gBACb,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI;SACvD,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,MAAM,CAAC;QACzE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,OAAO,CACd,QAA2B,EAC3B,OAAsC,EACtC,UAAyC;IAEzC,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,OAAO;QACP,IAAI,EAAE,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI;QACzB,SAAS,EAAE,QAAQ,CAAC,WAAW;QAC/B,mBAAmB,EAAE,QAAQ,CAAC,WAAW;QACzC,eAAe,EAAE,QAAQ,CAAC,OAAO;QACjC,iBAAiB,EAAE,QAAQ,CAAC,SAAS;QACrC,aAAa,EAAE,QAAQ,CAAC,aAAa,IAAI,IAAI;QAC7C,UAAU;QACV,MAAM,EAAE,QAAQ,CAAC,MAAM;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,CACL,KAAK;SACF,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;SACzB,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE;SACN,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,eAAe,CACpC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACpC,CAAC"}