@tenphi/akno-core 0.5.0 → 0.7.0

package/dist/observations/marker.d.ts

@@ -0,0 +1,27 @@
+import type { ObservationDisposition } from '@tenphi/akno-protocol';
+export interface ObservationEvidenceLocator {
+    factId: string;
+    sourceLineHash: string;
+    proofGroups: string[];
+}
+export interface ObservationMarker {
+    id: string;
+    subject: string;
+    disposition: ObservationDisposition;
+    evidence: ObservationEvidenceLocator[];
+    proofCount: number;
+}
+export declare function observationId(subject: string, pattern: string): string;
+export declare function renderObservationMarker(marker: ObservationMarker): string;
+export declare function parseObservationMarker(line: string): ObservationMarker | null;
+export declare function observationMarkerIssue(marker: ObservationMarker): string | null;
+export declare function observationPayloadIssue(payload: string, evidenceSlugs: string[]): string | null;
+export declare function observationBlock(marker: ObservationMarker, pattern: string, evidenceSlugs: string[]): string;
+/** Insert one owned block while preserving every pre-existing byte in order. */
+export declare function insertObservationBlock(current: string, block: string): string | null;
+export declare function replaceObservationBlock(current: string, id: string, replacement: string): string | null;
+/** Marker-looking examples inside fenced code are authored text, not Akno-owned blocks. */
+export declare function structuralObservationMarkerIndexes(lines: string[], includesFrontmatter?: boolean, stopAtSourceFence?: boolean): Set<number>;
+export declare function observationMarkerIndexes(lines: string[], id: string, includesFrontmatter?: boolean): number[];
+export declare function independentProofGroups(evidence: ObservationEvidenceLocator[]): Set<string>;
+//# sourceMappingURL=marker.d.ts.map

package/dist/observations/marker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"marker.d.ts","sourceRoot":"","sources":["../../src/observations/marker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAGpE,MAAM,WAAW,0BAA0B;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,sBAAsB,CAAC;IACpC,QAAQ,EAAE,0BAA0B,EAAE,CAAC;IACvC,UAAU,EAAE,MAAM,CAAC;CACpB;AASD,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEtE;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAQzE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CA4B7E;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,GAAG,IAAI,CAa/E;AAQD,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,IAAI,CAa/F;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,iBAAiB,EACzB,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,EAAE,GACtB,MAAM,CAER;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAmCpF;AAED,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAOvG;AAED,2FAA2F;AAC3F,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,MAAM,EAAE,EACf,mBAAmB,UAAQ,EAC3B,iBAAiB,UAAO,GACvB,GAAG,CAAC,MAAM,CAAC,CAwBb;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,mBAAmB,UAAQ,GAAG,MAAM,EAAE,CAI3G;AAED,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,0BAA0B,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAE1F"}

package/dist/observations/marker.js

@@ -0,0 +1,238 @@
+import { sha256 } from "../store/ids.js";
+const ID = /^obs_[A-Za-z0-9_-]{8,72}$/;
+const ENTITY = /^ent_[A-Za-z0-9_-]{4,80}$/;
+const FACT = /^[A-Za-z0-9_-]{4,160}$/;
+const HASH = /^[a-f0-9]{32,64}$/;
+const PROOF = /^[A-Za-z0-9:_-]{4,180}$/;
+const DISPOSITIONS = new Set(['active', 'weakened', 'retracted', 'superseded']);
+export function observationId(subject, pattern) {
+    return `obs_${sha256(`${subject}\0${normalisePattern(pattern)}`).slice(0, 24)}`;
+}
+export function renderObservationMarker(marker) {
+    const issue = observationMarkerIssue(marker);
+    if (issue)
+        throw new Error(`invalid observation marker: ${issue}`);
+    return (`<!-- akno:observation ${marker.id} v=1 level=2 subject=${marker.subject} ` +
+        `disposition=${marker.disposition} evidence=${marker.evidence.map(renderLocator).join(',')} ` +
+        `proofs=${marker.proofCount} -->`);
+}
+export function parseObservationMarker(line) {
+    const match = /^\s*<!--\s*akno:observation\s+(obs_[A-Za-z0-9_-]{8,72})\s+(.+?)\s*-->\s*$/i.exec(line);
+    if (!match)
+        return null;
+    const tokens = match[2].split(/\s+/);
+    let cursor = 0;
+    const take = (name) => {
+        const token = tokens[cursor];
+        if (!token?.startsWith(`${name}=`))
+            return null;
+        cursor += 1;
+        return token.slice(name.length + 1);
+    };
+    if (take('v') !== '1' || take('level') !== '2')
+        return null;
+    const subject = take('subject');
+    const disposition = take('disposition');
+    const evidenceRaw = take('evidence');
+    const proofCountRaw = take('proofs');
+    if (!subject || !disposition || !evidenceRaw || !proofCountRaw || cursor !== tokens.length)
+        return null;
+    const evidence = evidenceRaw.split(',').map(parseLocator);
+    const proofCount = Number(proofCountRaw);
+    if (evidence.some((entry) => entry === null) || !Number.isInteger(proofCount))
+        return null;
+    const marker = {
+        id: match[1],
+        subject,
+        disposition: disposition,
+        evidence: evidence,
+        proofCount,
+    };
+    return observationMarkerIssue(marker) ? null : marker;
+}
+export function observationMarkerIssue(marker) {
+    if (!ID.test(marker.id))
+        return 'invalid id';
+    if (!ENTITY.test(marker.subject))
+        return 'unresolved subject';
+    if (!DISPOSITIONS.has(marker.disposition))
+        return 'invalid disposition';
+    if (marker.evidence.length < 2 || marker.evidence.length > 12)
+        return 'invalid evidence count';
+    if (new Set(marker.evidence.map((entry) => entry.factId)).size !== marker.evidence.length) {
+        return 'duplicate evidence';
+    }
+    if (marker.evidence.some(locatorIssue))
+        return 'invalid evidence locator';
+    const proofs = independentProofGroups(marker.evidence);
+    if (marker.proofCount !== proofs.size)
+        return 'proof-count mismatch';
+    if (marker.proofCount < 2)
+        return 'insufficient independent proof';
+    return null;
+}
+function renderObservationPayload(pattern, evidenceSlugs) {
+    const body = pattern.trim().replace(/^[-*]\s+/, '');
+    const links = [...new Set(evidenceSlugs)].map((slug) => `[[${slug}]]`).join(' ');
+    return `- **Observation:** ${body} Evidence: ${links}`;
+}
+export function observationPayloadIssue(payload, evidenceSlugs) {
+    const match = /^- \*\*Observation:\*\* (.+?) Evidence: ((?:\[\[[^\]]+\]\](?:\s+|$))+)$/u.exec(payload);
+    if (!payload.startsWith('- **Observation:** '))
+        return 'missing visible observation label';
+    if (!payload.includes(' Evidence: '))
+        return 'missing visible evidence label';
+    if (!match?.[1]?.trim())
+        return 'invalid visible observation payload';
+    const linked = [...match[2].matchAll(/\[\[([^\]|#]+)(?:[#|][^\]]*)?\]\]/g)].map((entry) => entry[1]);
+    const links = new Set(linked);
+    const expected = new Set(evidenceSlugs);
+    return linked.length === links.size &&
+        links.size === expected.size &&
+        [...expected].every((slug) => links.has(slug))
+        ? null
+        : 'visible evidence links do not match lineage';
+}
+export function observationBlock(marker, pattern, evidenceSlugs) {
+    return `${renderObservationMarker(marker)}\n${renderObservationPayload(pattern, evidenceSlugs)}`;
+}
+/** Insert one owned block while preserving every pre-existing byte in order. */
+export function insertObservationBlock(current, block) {
+    const newline = current.includes('\r\n') ? '\r\n' : '\n';
+    const normalisedBlock = block.replaceAll('\n', newline);
+    const structure = markdownStructure(current);
+    const headings = structure.headings;
+    const matches = headings.filter((heading) => heading.level === 2 && /^Observed patterns$/i.test(heading.text));
+    if (matches.length > 1)
+        return null;
+    const match = matches[0];
+    if (!match && structure.sourceFence === null) {
+        const separator = current.length === 0
+            ? ''
+            : current.endsWith(`${newline}${newline}`)
+                ? ''
+                : current.endsWith(newline)
+                    ? newline
+                    : `${newline}${newline}`;
+        return `${current}${separator}## Observed patterns${newline}${newline}${normalisedBlock}${newline}`;
+    }
+    const nextHeading = match
+        ? headings.find((heading) => heading.index > match.index && heading.level <= 2)
+        : undefined;
+    const insertionAt = nextHeading?.index ?? structure.sourceFence ?? current.length;
+    const before = current.slice(0, insertionAt);
+    const after = current.slice(insertionAt);
+    const insertion = match ? normalisedBlock : `## Observed patterns${newline}${newline}${normalisedBlock}`;
+    const prefix = before.endsWith(`${newline}${newline}`)
+        ? ''
+        : before.endsWith(newline)
+            ? newline
+            : `${newline}${newline}`;
+    const suffix = after.length === 0 || after.startsWith(newline) ? newline : `${newline}${newline}`;
+    return `${before}${prefix}${insertion}${suffix}${after}`;
+}
+export function replaceObservationBlock(current, id, replacement) {
+    const newline = current.includes('\r\n') ? '\r\n' : '\n';
+    const lines = current.split(/\r?\n/);
+    const markerIndexes = observationMarkerIndexes(lines, id, true);
+    if (markerIndexes.length !== 1 || lines[markerIndexes[0] + 1] === undefined)
+        return null;
+    lines.splice(markerIndexes[0], 2, ...replacement.replaceAll('\n', newline).split(newline));
+    return lines.join(newline);
+}
+/** Marker-looking examples inside fenced code are authored text, not Akno-owned blocks. */
+export function structuralObservationMarkerIndexes(lines, includesFrontmatter = false, stopAtSourceFence = true) {
+    const indexes = new Set();
+    let frontmatter = includesFrontmatter && lines[0]?.replace(/\r$/, '') === '---';
+    let fence = null;
+    for (let index = 0; index < lines.length; index++) {
+        const raw = lines[index];
+        if (frontmatter) {
+            if (index > 0 && raw.replace(/\r$/, '') === '---')
+                frontmatter = false;
+            continue;
+        }
+        if (fence) {
+            const closing = /^\s*(`{3,}|~{3,})\s*$/.exec(raw)?.[1];
+            if (closing?.[0] === fence.character && closing.length >= fence.length)
+                fence = null;
+            continue;
+        }
+        const opening = /^\s*(`{3,}|~{3,})/.exec(raw)?.[1];
+        if (opening) {
+            fence = { character: opening[0], length: opening.length };
+            continue;
+        }
+        if (stopAtSourceFence && /^\s*<!--\s*source\s*-->\s*$/i.test(raw))
+            break;
+        if (/^\s*<!--\s*akno:observation\b/i.test(raw))
+            indexes.add(index);
+    }
+    return indexes;
+}
+export function observationMarkerIndexes(lines, id, includesFrontmatter = false) {
+    return [...structuralObservationMarkerIndexes(lines, includesFrontmatter, true)].filter((index) => parseObservationMarker(lines[index])?.id === id);
+}
+export function independentProofGroups(evidence) {
+    return new Set(evidence.flatMap((entry) => entry.proofGroups));
+}
+function renderLocator(locator) {
+    return `${locator.factId}@${locator.sourceLineHash}@${locator.proofGroups.join('+')}`;
+}
+function parseLocator(value) {
+    const [factId, sourceLineHash, proofRaw, extra] = value.split('@');
+    if (!factId || !sourceLineHash || !proofRaw || extra !== undefined)
+        return null;
+    const proofGroups = proofRaw.split('+');
+    const locator = { factId, sourceLineHash, proofGroups };
+    return locatorIssue(locator) ? null : locator;
+}
+function locatorIssue(locator) {
+    return (!FACT.test(locator.factId) ||
+        !HASH.test(locator.sourceLineHash) ||
+        locator.proofGroups.length === 0 ||
+        locator.proofGroups.length > 8 ||
+        new Set(locator.proofGroups).size !== locator.proofGroups.length ||
+        locator.proofGroups.some((group) => !PROOF.test(group)));
+}
+function normalisePattern(value) {
+    return value.normalize('NFKC').toLowerCase().replace(/\s+/g, ' ').trim();
+}
+/** Headings that are Markdown structure, excluding frontmatter and fenced examples. */
+function markdownStructure(content) {
+    const headings = [];
+    let sourceFence = null;
+    const lines = [...content.matchAll(/.*?(?:\r\n|\n|$)/g)].filter((match) => match[0].length > 0);
+    let frontmatter = lines[0]?.[0].replace(/\r?\n$/, '') === '---';
+    let fence = null;
+    for (let lineIndex = 0; lineIndex < lines.length; lineIndex++) {
+        const match = lines[lineIndex];
+        const raw = match[0].replace(/\r?\n$/, '');
+        if (frontmatter) {
+            if (lineIndex > 0 && raw === '---')
+                frontmatter = false;
+            continue;
+        }
+        if (fence) {
+            const closing = /^\s*(`{3,}|~{3,})\s*$/.exec(raw)?.[1];
+            if (closing?.[0] === fence.character && closing.length >= fence.length)
+                fence = null;
+            continue;
+        }
+        const opening = /^\s*(`{3,}|~{3,})/.exec(raw)?.[1];
+        if (opening) {
+            fence = { character: opening[0], length: opening.length };
+            continue;
+        }
+        if (/^<!--\s*source\s*-->\s*$/i.test(raw)) {
+            sourceFence = match.index;
+            break;
+        }
+        const heading = /^(#{1,6})\s+(.+?)\s*#*\s*$/.exec(raw);
+        if (heading) {
+            headings.push({ index: match.index, level: heading[1].length, text: heading[2].trim() });
+        }
+    }
+    return { headings, sourceFence };
+}
+//# sourceMappingURL=marker.js.map

package/dist/observations/marker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"marker.js","sourceRoot":"","sources":["../../src/observations/marker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAgBzC,MAAM,EAAE,GAAG,2BAA2B,CAAC;AACvC,MAAM,MAAM,GAAG,2BAA2B,CAAC;AAC3C,MAAM,IAAI,GAAG,wBAAwB,CAAC;AACtC,MAAM,IAAI,GAAG,mBAAmB,CAAC;AACjC,MAAM,KAAK,GAAG,yBAAyB,CAAC;AACxC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAyB,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC;AAExG,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,OAAe;IAC5D,OAAO,OAAO,MAAM,CAAC,GAAG,OAAO,KAAK,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAyB;IAC/D,MAAM,KAAK,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,EAAE,CAAC,CAAC;IACnE,OAAO,CACL,yBAAyB,MAAM,CAAC,EAAE,wBAAwB,MAAM,CAAC,OAAO,GAAG;QAC3E,eAAe,MAAM,CAAC,WAAW,aAAa,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;QAC7F,UAAU,MAAM,CAAC,UAAU,MAAM,CAClC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,MAAM,KAAK,GAAG,4EAA4E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtG,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,IAAI,GAAG,CAAC,IAAY,EAAiB,EAAE;QAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,MAAM,IAAI,CAAC,CAAC;QACZ,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC;IACF,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAChC,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,CAAC,OAAO,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,IAAI,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACxG,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IACzC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3F,MAAM,MAAM,GAAsB;QAChC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAE;QACb,OAAO;QACP,WAAW,EAAE,WAAqC;QAClD,QAAQ,EAAE,QAAwC;QAClD,UAAU;KACX,CAAC;IACF,OAAO,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAyB;IAC9D,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAAE,OAAO,YAAY,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;QAAE,OAAO,oBAAoB,CAAC;IAC9D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;QAAE,OAAO,qBAAqB,CAAC;IACxE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE;QAAE,OAAO,wBAAwB,CAAC;IAC/F,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1F,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC;QAAE,OAAO,0BAA0B,CAAC;IAC1E,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvD,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,IAAI;QAAE,OAAO,sBAAsB,CAAC;IACrE,IAAI,MAAM,CAAC,UAAU,GAAG,CAAC;QAAE,OAAO,gCAAgC,CAAC;IACnE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAe,EAAE,aAAuB;IACxE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,OAAO,sBAAsB,IAAI,cAAc,KAAK,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAe,EAAE,aAAuB;IAC9E,MAAM,KAAK,GAAG,0EAA0E,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,qBAAqB,CAAC;QAAE,OAAO,mCAAmC,CAAC;IAC3F,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC;QAAE,OAAO,gCAAgC,CAAC;IAC9E,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;QAAE,OAAO,qCAAqC,CAAC;IACtE,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,oCAAoC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IACvG,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IACxC,OAAO,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI;QACjC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;QAC5B,CAAC,GAAG,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,6CAA6C,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,MAAyB,EACzB,OAAe,EACf,aAAuB;IAEvB,OAAO,GAAG,uBAAuB,CAAC,MAAM,CAAC,KAAK,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC;AACnG,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CAAC,OAAe,EAAE,KAAa;IACnE,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACzD,MAAM,eAAe,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;IACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAC9E,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,KAAK,IAAI,SAAS,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAC7C,MAAM,SAAS,GACb,OAAO,CAAC,MAAM,KAAK,CAAC;YAClB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,OAAO,GAAG,OAAO,EAAE,CAAC;gBACxC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;oBACzB,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC,GAAG,OAAO,GAAG,OAAO,EAAE,CAAC;QACjC,OAAO,GAAG,OAAO,GAAG,SAAS,uBAAuB,OAAO,GAAG,OAAO,GAAG,eAAe,GAAG,OAAO,EAAE,CAAC;IACtG,CAAC;IACD,MAAM,WAAW,GAAG,KAAK;QACvB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;QAC/E,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,WAAW,GAAG,WAAW,EAAE,KAAK,IAAI,SAAS,CAAC,WAAW,IAAI,OAAO,CAAC,MAAM,CAAC;IAClF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,uBAAuB,OAAO,GAAG,OAAO,GAAG,eAAe,EAAE,CAAC;IACzG,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,OAAO,GAAG,OAAO,EAAE,CAAC;QACpD,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YACxB,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,GAAG,OAAO,GAAG,OAAO,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,OAAO,EAAE,CAAC;IAClG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAe,EAAE,EAAU,EAAE,WAAmB;IACtF,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,aAAa,GAAG,wBAAwB,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IAChE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC1F,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5F,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,kCAAkC,CAChD,KAAe,EACf,mBAAmB,GAAG,KAAK,EAC3B,iBAAiB,GAAG,IAAI;IAExB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,WAAW,GAAG,mBAAmB,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC;IAChF,IAAI,KAAK,GAAoD,IAAI,CAAC;IAClE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;QAC1B,IAAI,WAAW,EAAE,CAAC;YAChB,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK;gBAAE,WAAW,GAAG,KAAK,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,SAAS,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM;gBAAE,KAAK,GAAG,IAAI,CAAC;YACrF,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnD,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,GAAG,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAc,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,iBAAiB,IAAI,8BAA8B,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM;QACzE,IAAI,gCAAgC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAe,EAAE,EAAU,EAAE,mBAAmB,GAAG,KAAK;IAC/F,OAAO,CAAC,GAAG,kCAAkC,CAAC,KAAK,EAAE,mBAAmB,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CACrF,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAC5D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAsC;IAC3E,OAAO,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,aAAa,CAAC,OAAmC;IACxD,OAAO,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnE,IAAI,CAAC,MAAM,IAAI,CAAC,cAAc,IAAI,CAAC,QAAQ,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;IACxD,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;AAChD,CAAC;AAED,SAAS,YAAY,CAAC,OAAmC;IACvD,OAAO,CACL,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC1B,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;QAClC,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAChC,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAC9B,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,WAAW,CAAC,MAAM;QAChE,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CACxD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3E,CAAC;AAQD,uFAAuF;AACvF,SAAS,iBAAiB,CAAC,OAAe;IAIxC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChG,IAAI,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC;IAChE,IAAI,KAAK,GAAoD,IAAI,CAAC;IAClE,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC;QAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAE,CAAC;QAChC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC3C,IAAI,WAAW,EAAE,CAAC;YAChB,IAAI,SAAS,GAAG,CAAC,IAAI,GAAG,KAAK,KAAK;gBAAE,WAAW,GAAG,KAAK,CAAC;YACxD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,SAAS,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM;gBAAE,KAAK,GAAG,IAAI,CAAC;YACrF,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnD,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,GAAG,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAc,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,2BAA2B,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1C,WAAW,GAAG,KAAK,CAAC,KAAM,CAAC;YAC3B,MAAM;QACR,CAAC;QACD,MAAM,OAAO,GAAG,4BAA4B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,OAAO,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnC,CAAC"}

package/dist/observations/projection.d.ts

@@ -0,0 +1,23 @@
+import type { Line } from '@tenphi/akno-protocol';
+import type { Store } from '../store/db.ts';
+import type { ParsedPage } from '../kb/page.ts';
+import { type ObservationMarker } from './marker.ts';
+export declare const OBSERVATION_PROJECTION_VERSION = "observation-v1";
+export interface ObservationProjectionReport {
+    indexed: number;
+    issues: number;
+}
+/** Parse only owned blocks here. Evidence becomes eligible after the fact graph is rebuilt. */
+export declare function replaceObservationEntries(store: Store, pageId: string, page: ParsedPage): ObservationProjectionReport;
+/**
+ * Recompute authority and lineage from current facts. Query paths trust only this result,
+ * so a retracted source stops supporting an observation in the same index pass even when
+ * policy prevents rewriting the visible block.
+ */
+export declare function qualifyObservationEntries(store: Store, minEvidence?: number): ObservationProjectionReport;
+export declare function qualifyObservationLines<T extends Line>(store: Store, pageId: string, lines: T[], allLines?: string[]): T[];
+export declare function proofGroupsForFact(store: Store, factId: string, pageId?: string, itemId?: string | null): Set<string>;
+/** Current independently owned support that still matches an observation's exact subject and line. */
+export declare function liveObservationProofGroups(store: Store, marker: ObservationMarker): Set<string>;
+export declare function markerFromProjection(store: Store, id: string): ObservationMarker | null;
+//# sourceMappingURL=projection.d.ts.map

package/dist/observations/projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection.d.ts","sourceRoot":"","sources":["../../src/observations/projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAiD,MAAM,uBAAuB,CAAC;AAEjG,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAOL,KAAK,iBAAiB,EACvB,MAAM,aAAa,CAAC;AAErB,eAAO,MAAM,8BAA8B,mBAAmB,CAAC;AAE/D,MAAM,WAAW,2BAA2B;IAC1C,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,+FAA+F;AAC/F,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,UAAU,GACf,2BAA2B,CA+E7B;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,SAAI,GAAG,2BAA2B,CAmCpG;AAED,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,IAAI,EACpD,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,CAAC,EAAE,EACV,QAAQ,CAAC,EAAE,MAAM,EAAE,GAClB,CAAC,EAAE,CAiGL;AAuHD,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,MAAM,EACd,MAAM,CAAC,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,GACrB,GAAG,CAAC,MAAM,CAAC,CAkBb;AAED,sGAAsG;AACtG,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,GAAG,GAAG,CAAC,MAAM,CAAC,CA0C/F;AAiDD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CAWvF"}