@tenphi/akno-core 0.12.0 → 0.13.0

package/dist/write/retention-negative-evidence.d.ts

@@ -0,0 +1,222 @@
+import { z } from 'zod';
+import type { RetainCandidate } from './retain.ts';
+/** Negative decisions must name immutable bytes, never the verifier's own comparison paraphrase. */
+export declare function retentionNegativeEvidence(candidate: RetainCandidate, hasRepairObligation: boolean): {
+    fields: {
+        mismatches: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+            kind: z.ZodEnum<{
+                unsupported_content: "unsupported_content";
+            }>;
+            source: z.ZodNull;
+            candidate: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    text: "text";
+                }>;
+                exact_excerpt: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodEnum<{
+                    metadata: "metadata";
+                }>;
+                metadata_id: z.ZodEnum<{
+                    [x: string]: string;
+                }>;
+            }, z.core.$strict>]>;
+            dimension: z.ZodEnum<{
+                proposition_supported: "proposition_supported";
+                action_arguments_preserved: "action_arguments_preserved";
+                qualification_scope_preserved: "qualification_scope_preserved";
+            }>;
+            detail: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodEnum<{
+                omitted_scope: "omitted_scope";
+            }>;
+            source: z.ZodObject<{
+                frame_id: z.ZodEnum<{
+                    [x: string]: string;
+                }>;
+                exact_excerpt: z.ZodString;
+            }, z.core.$strict>;
+            candidate: z.ZodNull;
+            dimension: z.ZodEnum<{
+                proposition_supported: "proposition_supported";
+                action_arguments_preserved: "action_arguments_preserved";
+                qualification_scope_preserved: "qualification_scope_preserved";
+            }>;
+            detail: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodEnum<{
+                changed_value: "changed_value";
+                changed_action_or_role: "changed_action_or_role";
+                changed_qualification: "changed_qualification";
+                changed_repair_proposition: "changed_repair_proposition";
+            }>;
+            source: z.ZodObject<{
+                frame_id: z.ZodEnum<{
+                    [x: string]: string;
+                }>;
+                exact_excerpt: z.ZodString;
+            }, z.core.$strict>;
+            candidate: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    text: "text";
+                }>;
+                exact_excerpt: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodEnum<{
+                    metadata: "metadata";
+                }>;
+                metadata_id: z.ZodEnum<{
+                    [x: string]: string;
+                }>;
+            }, z.core.$strict>]>;
+            dimension: z.ZodEnum<{
+                proposition_supported: "proposition_supported";
+                action_arguments_preserved: "action_arguments_preserved";
+                qualification_scope_preserved: "qualification_scope_preserved";
+            }>;
+            detail: z.ZodString;
+        }, z.core.$strict>]>>;
+        polarity_evidence: z.ZodNullable<z.ZodObject<{
+            source: z.ZodObject<{
+                frame_id: z.ZodEnum<{
+                    [x: string]: string;
+                }>;
+                exact_excerpt: z.ZodString;
+            }, z.core.$strict>;
+            candidate_metadata_id: z.ZodEnum<{
+                polarity: "polarity";
+            }>;
+        }, z.core.$strict>>;
+    };
+    coordinates: {
+        frames: {
+            frame_id: string;
+            discourse_frame_index: number;
+        }[];
+        metadata: {
+            metadata_id: string;
+            value: string | {
+                type: "corrects" | "supersedes" | "contradicts" | "fulfills" | "answers" | "caused_by";
+                target: {
+                    candidate_id: string;
+                } | {
+                    memory_id: string;
+                } | {
+                    fact_id: string;
+                };
+                support: {
+                    quote: string;
+                    item_id?: string | undefined;
+                }[];
+            }[] | {
+                precision: "unknown" | "instant" | "day" | "month" | "year";
+                relation: "occurred" | "valid" | "scheduled" | "due";
+                status: "tentative" | "scheduled" | "actual" | "planned";
+                start?: string | undefined;
+                until?: string | undefined;
+                timezone?: string | undefined;
+                mentioned_at?: string | undefined;
+                recurrence?: {
+                    frequency: "daily" | "weekly" | "monthly" | "yearly";
+                    interval?: number | undefined;
+                    weekdays?: ("mo" | "tu" | "we" | "th" | "fr" | "sa" | "su")[] | undefined;
+                    until?: string | undefined;
+                } | undefined;
+            } | {
+                speaker: string;
+                role?: "unknown" | "external" | "user" | "assistant" | undefined;
+            }[] | null | undefined;
+        }[];
+    };
+    consistent(verdict: {
+        source_selected_polarity: string;
+        mismatches: z.infer<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+            kind: z.ZodEnum<{
+                unsupported_content: "unsupported_content";
+            }>;
+            source: z.ZodNull;
+            candidate: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    text: "text";
+                }>;
+                exact_excerpt: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodEnum<{
+                    metadata: "metadata";
+                }>;
+                metadata_id: z.ZodEnum<{
+                    [x: string]: string;
+                }>;
+            }, z.core.$strict>]>;
+            dimension: z.ZodEnum<{
+                proposition_supported: "proposition_supported";
+                action_arguments_preserved: "action_arguments_preserved";
+                qualification_scope_preserved: "qualification_scope_preserved";
+            }>;
+            detail: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodEnum<{
+                omitted_scope: "omitted_scope";
+            }>;
+            source: z.ZodObject<{
+                frame_id: z.ZodEnum<{
+                    [x: string]: string;
+                }>;
+                exact_excerpt: z.ZodString;
+            }, z.core.$strict>;
+            candidate: z.ZodNull;
+            dimension: z.ZodEnum<{
+                proposition_supported: "proposition_supported";
+                action_arguments_preserved: "action_arguments_preserved";
+                qualification_scope_preserved: "qualification_scope_preserved";
+            }>;
+            detail: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodEnum<{
+                changed_value: "changed_value";
+                changed_action_or_role: "changed_action_or_role";
+                changed_qualification: "changed_qualification";
+                changed_repair_proposition: "changed_repair_proposition";
+            }>;
+            source: z.ZodObject<{
+                frame_id: z.ZodEnum<{
+                    [x: string]: string;
+                }>;
+                exact_excerpt: z.ZodString;
+            }, z.core.$strict>;
+            candidate: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    text: "text";
+                }>;
+                exact_excerpt: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodEnum<{
+                    metadata: "metadata";
+                }>;
+                metadata_id: z.ZodEnum<{
+                    [x: string]: string;
+                }>;
+            }, z.core.$strict>]>;
+            dimension: z.ZodEnum<{
+                proposition_supported: "proposition_supported";
+                action_arguments_preserved: "action_arguments_preserved";
+                qualification_scope_preserved: "qualification_scope_preserved";
+            }>;
+            detail: z.ZodString;
+        }, z.core.$strict>]>>>;
+        polarity_evidence: z.infer<z.ZodNullable<z.ZodObject<{
+            source: z.ZodObject<{
+                frame_id: z.ZodEnum<{
+                    [x: string]: string;
+                }>;
+                exact_excerpt: z.ZodString;
+            }, z.core.$strict>;
+            candidate_metadata_id: z.ZodEnum<{
+                polarity: "polarity";
+            }>;
+        }, z.core.$strict>>>;
+    }): boolean;
+};
+export declare const RETENTION_NEGATIVE_EVIDENCE_CONTRACT = "Each negative retention finding requires immutable evidence.\nnegative_evidence_coordinates maps candidate-local F IDs to discourse_frame indices and closed metadata IDs\n to submitted values. Reuse these exact IDs; all related candidates and comparison/audit notes are not\nthis candidate's evidence. Absent or empty metadata is not added content and has no witness ID; use\nomitted_scope with candidate:null for missing material. changed_repair_proposition is available only\nfor this candidate's actual original repair obligation. Source excerpts must be nonempty exact substrings of the named owned frame.\nCandidate text witnesses must be nonempty exact substrings of candidate.text. Every source or candidate\nexcerpt must contain a Unicode letter or number; punctuation alone witnesses no content. A metadata witness uses\n{kind:metadata, metadata_id} to point to that exact immutable catalog value; never paraphrase its value.\nFor unsupported_content use source:null and the alleged added candidate text/metadata witness. For\nomitted_scope use the required source excerpt and candidate:null; absence cannot be quoted. Every changed_*\nfinding needs both source and current candidate witnesses. changed_repair_proposition requires original\nSOURCE evidence, never the repair-original draft as authority. Keep each excerpt and explanation within\n80 UTF-16 units, with no transfer between budgets. The previous 240-unit detail allowance is partitioned.\nFor source_selected_polarity equal to immutable candidate.polarity, return polarity_evidence:null. For a\ndisagreement, give polarity_evidence with the exact governing source predicate and candidate_metadata_id\npolarity. This is independent of the three semantic booleans and never authorizes relabeling. A false\nsemantic dimension still requires exactly one mismatch; valid negatives remain final. An invented,\nforeign, missing or inconsistent witness invalidates the entire response; it cannot be dropped to accept.\nA word occurring only in your candidate_meaning or other audit prose is not in candidate.text. Inspect\nimmutable candidate bytes before claiming an addition. All-positive equal-polarity verdicts need empty\nmismatches and null polarity_evidence; no extra positive evidence record is required.";
+//# sourceMappingURL=retention-negative-evidence.d.ts.map

package/dist/write/retention-negative-evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retention-negative-evidence.d.ts","sourceRoot":"","sources":["../../src/write/retention-negative-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAanD,oGAAoG;AACpG,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,eAAe,EAAE,mBAAmB,EAAE,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yBAoBhC,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAuDhD;QAClB,wBAAwB,EAAE,MAAM,CAAC;QACjC,UAAU,EAAE,CAAC,CAAC,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAAmB,CAAC;QACvC,iBAAiB,EAAE,CAAC,CAAC,KAAK;;;;;;;;;;4BAA0B,CAAC;KACtD,GAAG,OAAO;EAoBd;AAED,eAAO,MAAM,oCAAoC,0uEAqBqC,CAAC"}

package/dist/write/retention-negative-evidence.js

@@ -0,0 +1,122 @@
+import { z } from 'zod';
+import { semanticVerdictFields } from "../models/semantic-verdict.js";
+// Punctuation can be exact while witnessing none of the alleged semantic content.
+const hasContent = /[\p{L}\p{N}]/u;
+// Providers disagree on Unicode-property regex in JSON Schema; enforce the full multilingual
+// requirement in local parsing without exporting an incompatible wire pattern.
+const exactText = z
+    .string()
+    .min(1)
+    .max(80)
+    .refine((value) => hasContent.test(value));
+/** Negative decisions must name immutable bytes, never the verifier's own comparison paraphrase. */
+export function retentionNegativeEvidence(candidate, hasRepairObligation) {
+    // Only existing semantic inputs may support a metadata finding. IDs resolve to immutable values;
+    // model-authored paraphrases, page routing and verifier summaries have no catalog entries.
+    const metadata = [
+        ['kind', candidate.kind],
+        ['subject', candidate.subject],
+        ['polarity', candidate.polarity],
+        ['discourse.commitment', candidate.discourse.commitment],
+        ['discourse.disposition', candidate.discourse.disposition],
+        ['epistemic.basis', candidate.epistemic.basis],
+        ['attribution.source_role', candidate.attribution.source_role],
+        ['attribution.source_speaker', candidate.attribution.source_speaker ?? null],
+        ['attribution.chain', candidate.attribution.chain ?? []],
+        ['time', candidate.time ?? null],
+        ['relations', candidate.relations ?? []],
+    ]
+        .filter(([, value]) => value !== null && value !== undefined && value !== '' && (!Array.isArray(value) || value.length > 0))
+        .map(([metadata_id, value]) => ({ metadata_id: metadata_id, value }));
+    const frames = candidate.discourse_frame.map((span, index) => ({
+        frame_id: `F${index + 1}`,
+        quote: span.quote,
+    }));
+    const source = z.strictObject({
+        frame_id: z.enum(frames.map(({ frame_id }) => frame_id)),
+        exact_excerpt: exactText,
+    });
+    const current = z.union([
+        z.strictObject({ kind: z.enum(['text']), exact_excerpt: exactText }),
+        z.strictObject({
+            kind: z.enum(['metadata']),
+            metadata_id: z.enum(metadata.map(({ metadata_id }) => metadata_id)),
+        }),
+    ]);
+    const common = {
+        dimension: semanticVerdictFields.mismatches.element.shape.dimension,
+        // Reallocate the former 240-unit detail: 80 source, 80 candidate, 80 explanation.
+        // An absent side or catalog pointer never donates its unused allowance to another field.
+        detail: z.string().trim().min(1).max(80),
+    };
+    const mismatches = z
+        .array(z.union([
+        z.strictObject({
+            ...common,
+            kind: z.enum(['unsupported_content']),
+            source: z.null(),
+            candidate: current,
+        }),
+        z.strictObject({ ...common, kind: z.enum(['omitted_scope']), source, candidate: z.null() }),
+        z.strictObject({
+            ...common,
+            kind: z.enum([
+                'changed_value',
+                'changed_action_or_role',
+                'changed_qualification',
+                ...(hasRepairObligation ? ['changed_repair_proposition'] : []),
+            ]),
+            source,
+            candidate: current,
+        }),
+    ]))
+        .max(3);
+    const polarity_evidence = z
+        .strictObject({ source, candidate_metadata_id: z.enum(['polarity']) })
+        .nullable();
+    return {
+        fields: { mismatches, polarity_evidence },
+        coordinates: {
+            frames: frames.map(({ frame_id }, index) => ({ frame_id, discourse_frame_index: index })),
+            metadata,
+        },
+        consistent(verdict) {
+            const sourcePresent = (witness) => hasContent.test(witness.exact_excerpt) &&
+                frames.some(({ frame_id, quote }) => frame_id === witness.frame_id && quote.includes(witness.exact_excerpt));
+            for (const mismatch of verdict.mismatches) {
+                if (mismatch.source && !sourcePresent(mismatch.source))
+                    return false;
+                if (mismatch.candidate?.kind === 'text' &&
+                    (!hasContent.test(mismatch.candidate.exact_excerpt) ||
+                        !candidate.text.includes(mismatch.candidate.exact_excerpt)))
+                    return false;
+            }
+            return verdict.source_selected_polarity === candidate.polarity
+                ? verdict.polarity_evidence === null
+                : verdict.polarity_evidence !== null && sourcePresent(verdict.polarity_evidence.source);
+        },
+    };
+}
+export const RETENTION_NEGATIVE_EVIDENCE_CONTRACT = `Each negative retention finding requires immutable evidence.
+negative_evidence_coordinates maps candidate-local F IDs to discourse_frame indices and closed metadata IDs
+ to submitted values. Reuse these exact IDs; all related candidates and comparison/audit notes are not
+this candidate's evidence. Absent or empty metadata is not added content and has no witness ID; use
+omitted_scope with candidate:null for missing material. changed_repair_proposition is available only
+for this candidate's actual original repair obligation. Source excerpts must be nonempty exact substrings of the named owned frame.
+Candidate text witnesses must be nonempty exact substrings of candidate.text. Every source or candidate
+excerpt must contain a Unicode letter or number; punctuation alone witnesses no content. A metadata witness uses
+{kind:metadata, metadata_id} to point to that exact immutable catalog value; never paraphrase its value.
+For unsupported_content use source:null and the alleged added candidate text/metadata witness. For
+omitted_scope use the required source excerpt and candidate:null; absence cannot be quoted. Every changed_*
+finding needs both source and current candidate witnesses. changed_repair_proposition requires original
+SOURCE evidence, never the repair-original draft as authority. Keep each excerpt and explanation within
+80 UTF-16 units, with no transfer between budgets. The previous 240-unit detail allowance is partitioned.
+For source_selected_polarity equal to immutable candidate.polarity, return polarity_evidence:null. For a
+disagreement, give polarity_evidence with the exact governing source predicate and candidate_metadata_id
+polarity. This is independent of the three semantic booleans and never authorizes relabeling. A false
+semantic dimension still requires exactly one mismatch; valid negatives remain final. An invented,
+foreign, missing or inconsistent witness invalidates the entire response; it cannot be dropped to accept.
+A word occurring only in your candidate_meaning or other audit prose is not in candidate.text. Inspect
+immutable candidate bytes before claiming an addition. All-positive equal-polarity verdicts need empty
+mismatches and null polarity_evidence; no extra positive evidence record is required.`;
+//# sourceMappingURL=retention-negative-evidence.js.map

package/dist/write/retention-negative-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retention-negative-evidence.js","sourceRoot":"","sources":["../../src/write/retention-negative-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,kFAAkF;AAClF,MAAM,UAAU,GAAG,eAAe,CAAC;AACnC,6FAA6F;AAC7F,+EAA+E;AAC/E,MAAM,SAAS,GAAG,CAAC;KAChB,MAAM,EAAE;KACR,GAAG,CAAC,CAAC,CAAC;KACN,GAAG,CAAC,EAAE,CAAC;KACP,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAE7C,oGAAoG;AACpG,MAAM,UAAU,yBAAyB,CAAC,SAA0B,EAAE,mBAA4B;IAChG,iGAAiG;IACjG,2FAA2F;IAC3F,MAAM,QAAQ,GAAG;QACf,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC;QACxB,CAAC,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC;QAC9B,CAAC,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC;QAChC,CAAC,sBAAsB,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC;QACxD,CAAC,uBAAuB,EAAE,SAAS,CAAC,SAAS,CAAC,WAAW,CAAC;QAC1D,CAAC,iBAAiB,EAAE,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC;QAC9C,CAAC,yBAAyB,EAAE,SAAS,CAAC,WAAW,CAAC,WAAW,CAAC;QAC9D,CAAC,4BAA4B,EAAE,SAAS,CAAC,WAAW,CAAC,cAAc,IAAI,IAAI,CAAC;QAC5E,CAAC,mBAAmB,EAAE,SAAS,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;QACxD,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,IAAI,IAAI,CAAC;QAChC,CAAC,WAAW,EAAE,SAAS,CAAC,SAAS,IAAI,EAAE,CAAC;KACzC;SACE,MAAM,CACL,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CACZ,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CACvG;SACA,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,WAAqB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG,SAAS,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7D,QAAQ,EAAE,IAAI,KAAK,GAAG,CAAC,EAAE;QACzB,KAAK,EAAE,IAAI,CAAC,KAAK;KAClB,CAAC,CAAC,CAAC;IACJ,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC;QAC5B,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAA0B,CAAC;QACjF,aAAa,EAAE,SAAS;KACzB,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC;QACtB,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;QACpE,CAAC,CAAC,YAAY,CAAC;YACb,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC;YAC1B,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,CAA0B,CAAC;SAC7F,CAAC;KACH,CAAC,CAAC;IACH,MAAM,MAAM,GAAG;QACb,SAAS,EAAE,qBAAqB,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS;QACnE,kFAAkF;QAClF,yFAAyF;QACzF,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;KACzC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC;SACjB,KAAK,CACJ,CAAC,CAAC,KAAK,CAAC;QACN,CAAC,CAAC,YAAY,CAAC;YACb,GAAG,MAAM;YACT,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,CAAC;YACrC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE;YAChB,SAAS,EAAE,OAAO;SACnB,CAAC;QACF,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3F,CAAC,CAAC,YAAY,CAAC;YACb,GAAG,MAAM;YACT,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;gBACX,eAAe;gBACf,wBAAwB;gBACxB,uBAAuB;gBACvB,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,4BAAqC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;YACF,MAAM;YACN,SAAS,EAAE,OAAO;SACnB,CAAC;KACH,CAAC,CACH;SACA,GAAG,CAAC,CAAC,CAAC,CAAC;IACV,MAAM,iBAAiB,GAAG,CAAC;SACxB,YAAY,CAAC,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;SACrE,QAAQ,EAAE,CAAC;IACd,OAAO;QACL,MAAM,EAAE,EAAE,UAAU,EAAE,iBAAiB,EAAE;QACzC,WAAW,EAAE;YACX,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC,CAAC;YACzF,QAAQ;SACT;QACD,UAAU,CAAC,OAIV;YACC,MAAM,aAAa,GAAG,CAAC,OAA+B,EAAE,EAAE,CACxD,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;gBACtC,MAAM,CAAC,IAAI,CACT,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAa,CAAC,CAChG,CAAC;YACJ,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC1C,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACrE,IACE,QAAQ,CAAC,SAAS,EAAE,IAAI,KAAK,MAAM;oBACnC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,aAAa,CAAC;wBACjD,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;oBAE7D,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,OAAO,OAAO,CAAC,wBAAwB,KAAK,SAAS,CAAC,QAAQ;gBAC5D,CAAC,CAAC,OAAO,CAAC,iBAAiB,KAAK,IAAI;gBACpC,CAAC,CAAC,OAAO,CAAC,iBAAiB,KAAK,IAAI,IAAI,aAAa,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC5F,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,oCAAoC,GAAG;;;;;;;;;;;;;;;;;;;;;sFAqBkC,CAAC"}

package/dist/write/retention-report-limits.d.ts

@@ -0,0 +1,65 @@
+import { z } from 'zod';
+import type { RetainCandidate } from './retain.ts';
+/** A missing lexical match asks for source comparison, not a rewrite of possibly faithful prose. */
+export declare function retentionReportLimits(candidate: Pick<RetainCandidate, 'text' | 'discourse_frame'>): {
+    schema: z.ZodUnion<readonly [z.ZodObject<{
+        relation: z.ZodEnum<{
+            preserved: "preserved";
+        }>;
+        source: z.ZodObject<{
+            frame_id: z.ZodEnum<{
+                [x: string]: string;
+            }>;
+            exact_excerpt: z.ZodString;
+        }, z.core.$strict>;
+        candidate: z.ZodObject<{
+            exact_excerpt: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        relation: z.ZodEnum<{
+            omitted: "omitted";
+        }>;
+        source: z.ZodObject<{
+            frame_id: z.ZodEnum<{
+                [x: string]: string;
+            }>;
+            exact_excerpt: z.ZodString;
+        }, z.core.$strict>;
+        candidate: z.ZodNull;
+    }, z.core.$strict>, z.ZodObject<{
+        relation: z.ZodEnum<{
+            changed: "changed";
+        }>;
+        source: z.ZodObject<{
+            frame_id: z.ZodEnum<{
+                [x: string]: string;
+            }>;
+            exact_excerpt: z.ZodString;
+        }, z.core.$strict>;
+        candidate: z.ZodObject<{
+            exact_excerpt: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>]>;
+    coordinates: {
+        kind: string;
+        frame_ids: string[];
+    };
+    consistent(value: unknown, verdict: {
+        qualification_scope_preserved: boolean;
+        mismatches: readonly {
+            dimension: string;
+            kind: string;
+            source: {
+                frame_id: string;
+                exact_excerpt: string;
+            } | null;
+            candidate: {
+                kind: string;
+                exact_excerpt?: string;
+            } | null;
+        }[];
+    }): boolean;
+    preserved(value: unknown): boolean;
+};
+export declare const RETENTION_REPORT_LIMITS_CONTRACT = "A report_limit_concern means a finite wording recognizer\ncould not establish whether the current readable record preserves the source's personal epistemic limits.\nIt is uncertainty to resolve from the complete source, not evidence that the candidate is wrong and not\npermission to rewrite it. Only that candidate requires report_limit_alignment. Source frame IDs reuse its\nown negative_evidence_coordinates; related candidates and your audit summaries are never evidence.\n\nCompare EVERY material limit on reading, receiving evidence, confirmation and personal verification,\nincluding its actor, predicate, object and attachment. A generic report label or one preserved limit cannot\nreplace another. For preserved, point to contentful exact excerpts in an owned source frame and current\ncandidate.text expressing the corresponding limit, each within 80 UTF-16 units. All remaining limits still\nrequire full-source comparison. Exact occurrence alone does not establish semantic correspondence.\nFor omitted, give the source witness and candidate:null. For changed, give both witnesses. These negative\nbranches require qualification_scope_preserved:false and an omitted_scope or changed_qualification mismatch\nrespectively, with the identical source witness and current text witness (or null). Other negative semantic\ndimensions retain their separate required mismatches. A preserved alignment does not override any other\nnegative verdict, unsupported attribution, polarity, relation or temporal scope. Do not repair or retry.";
+//# sourceMappingURL=retention-report-limits.d.ts.map

package/dist/write/retention-report-limits.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retention-report-limits.d.ts","sourceRoot":"","sources":["../../src/write/retention-report-limits.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAQnD,oGAAoG;AACpG,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,GAAG,iBAAiB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBAmBrF,OAAO,WACL;QACP,6BAA6B,EAAE,OAAO,CAAC;QACvC,UAAU,EAAE,SAAS;YACnB,SAAS,EAAE,MAAM,CAAC;YAClB,IAAI,EAAE,MAAM,CAAC;YACb,MAAM,EAAE;gBAAE,QAAQ,EAAE,MAAM,CAAC;gBAAC,aAAa,EAAE,MAAM,CAAA;aAAE,GAAG,IAAI,CAAC;YAC3D,SAAS,EAAE;gBAAE,IAAI,EAAE,MAAM,CAAC;gBAAC,aAAa,CAAC,EAAE,MAAM,CAAA;aAAE,GAAG,IAAI,CAAC;SAC5D,EAAE,CAAC;KACL,GACA,OAAO;qBA8BO,OAAO,GAAG,OAAO;EAKrC;AAED,eAAO,MAAM,gCAAgC,sgDAe4D,CAAC"}

package/dist/write/retention-report-limits.js

@@ -0,0 +1,71 @@
+import { z } from 'zod';
+const excerpt = z
+    .string()
+    .min(1)
+    .max(80)
+    .refine((text) => /[\p{L}\p{N}]/u.test(text));
+/** A missing lexical match asks for source comparison, not a rewrite of possibly faithful prose. */
+export function retentionReportLimits(candidate) {
+    const frames = candidate.discourse_frame.map((span, index) => ({
+        frame_id: `F${index + 1}`,
+        quote: span.quote,
+    }));
+    const source = z.strictObject({
+        frame_id: z.enum(frames.map((frame) => frame.frame_id)),
+        exact_excerpt: excerpt,
+    });
+    const current = z.strictObject({ exact_excerpt: excerpt });
+    const schema = z.union([
+        z.strictObject({ relation: z.enum(['preserved']), source, candidate: current }),
+        z.strictObject({ relation: z.enum(['omitted']), source, candidate: z.null() }),
+        z.strictObject({ relation: z.enum(['changed']), source, candidate: current }),
+    ]);
+    return {
+        schema,
+        coordinates: { kind: 'readable_report_uncertainty', frame_ids: frames.map((frame) => frame.frame_id) },
+        consistent(value, verdict) {
+            const parsed = schema.safeParse(value);
+            if (!parsed.success)
+                return false;
+            const alignment = parsed.data;
+            if (!frames.some((frame) => frame.frame_id === alignment.source.frame_id &&
+                frame.quote.includes(alignment.source.exact_excerpt)))
+                return false;
+            if (alignment.candidate && !candidate.text.includes(alignment.candidate.exact_excerpt))
+                return false;
+            if (alignment.relation === 'preserved')
+                return true;
+            const mismatchKind = alignment.relation === 'omitted' ? 'omitted_scope' : 'changed_qualification';
+            return (!verdict.qualification_scope_preserved &&
+                verdict.mismatches.some((mismatch) => mismatch.dimension === 'qualification_scope_preserved' &&
+                    mismatch.kind === mismatchKind &&
+                    mismatch.source?.frame_id === alignment.source.frame_id &&
+                    mismatch.source.exact_excerpt === alignment.source.exact_excerpt &&
+                    (alignment.candidate === null
+                        ? mismatch.candidate === null
+                        : mismatch.candidate?.kind === 'text' &&
+                            mismatch.candidate.exact_excerpt === alignment.candidate.exact_excerpt)));
+        },
+        preserved(value) {
+            const parsed = schema.safeParse(value);
+            return parsed.success && parsed.data.relation === 'preserved';
+        },
+    };
+}
+export const RETENTION_REPORT_LIMITS_CONTRACT = `A report_limit_concern means a finite wording recognizer
+could not establish whether the current readable record preserves the source's personal epistemic limits.
+It is uncertainty to resolve from the complete source, not evidence that the candidate is wrong and not
+permission to rewrite it. Only that candidate requires report_limit_alignment. Source frame IDs reuse its
+own negative_evidence_coordinates; related candidates and your audit summaries are never evidence.
+
+Compare EVERY material limit on reading, receiving evidence, confirmation and personal verification,
+including its actor, predicate, object and attachment. A generic report label or one preserved limit cannot
+replace another. For preserved, point to contentful exact excerpts in an owned source frame and current
+candidate.text expressing the corresponding limit, each within 80 UTF-16 units. All remaining limits still
+require full-source comparison. Exact occurrence alone does not establish semantic correspondence.
+For omitted, give the source witness and candidate:null. For changed, give both witnesses. These negative
+branches require qualification_scope_preserved:false and an omitted_scope or changed_qualification mismatch
+respectively, with the identical source witness and current text witness (or null). Other negative semantic
+dimensions retain their separate required mismatches. A preserved alignment does not override any other
+negative verdict, unsupported attribution, polarity, relation or temporal scope. Do not repair or retry.`;
+//# sourceMappingURL=retention-report-limits.js.map

package/dist/write/retention-report-limits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retention-report-limits.js","sourceRoot":"","sources":["../../src/write/retention-report-limits.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,MAAM,OAAO,GAAG,CAAC;KACd,MAAM,EAAE;KACR,GAAG,CAAC,CAAC,CAAC;KACN,GAAG,CAAC,EAAE,CAAC;KACP,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAEhD,oGAAoG;AACpG,MAAM,UAAU,qBAAqB,CAAC,SAA4D;IAChG,MAAM,MAAM,GAAG,SAAS,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7D,QAAQ,EAAE,IAAI,KAAK,GAAG,CAAC,EAAE;QACzB,KAAK,EAAE,IAAI,CAAC,KAAK;KAClB,CAAC,CAAC,CAAC;IACJ,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC;QAC5B,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAA0B,CAAC;QAChF,aAAa,EAAE,OAAO;KACvB,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC;QACrB,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;QAC/E,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9E,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;KAC9E,CAAC,CAAC;IACH,OAAO;QACL,MAAM;QACN,WAAW,EAAE,EAAE,IAAI,EAAE,6BAA6B,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE;QACtG,UAAU,CACR,KAAc,EACd,OAQC;YAED,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC;YAClC,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC;YAC9B,IACE,CAAC,MAAM,CAAC,IAAI,CACV,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,MAAM,CAAC,QAAQ;gBAC5C,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,CACvD;gBAED,OAAO,KAAK,CAAC;YACf,IAAI,SAAS,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrG,IAAI,SAAS,CAAC,QAAQ,KAAK,WAAW;gBAAE,OAAO,IAAI,CAAC;YACpD,MAAM,YAAY,GAAG,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,uBAAuB,CAAC;YAClG,OAAO,CACL,CAAC,OAAO,CAAC,6BAA6B;gBACtC,OAAO,CAAC,UAAU,CAAC,IAAI,CACrB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,SAAS,KAAK,+BAA+B;oBACtD,QAAQ,CAAC,IAAI,KAAK,YAAY;oBAC9B,QAAQ,CAAC,MAAM,EAAE,QAAQ,KAAK,SAAS,CAAC,MAAM,CAAC,QAAQ;oBACvD,QAAQ,CAAC,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,MAAM,CAAC,aAAa;oBAChE,CAAC,SAAS,CAAC,SAAS,KAAK,IAAI;wBAC3B,CAAC,CAAC,QAAQ,CAAC,SAAS,KAAK,IAAI;wBAC7B,CAAC,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,KAAK,MAAM;4BACnC,QAAQ,CAAC,SAAS,CAAC,aAAa,KAAK,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,CAC9E,CACF,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,KAAc;YACtB,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACvC,OAAO,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,KAAK,WAAW,CAAC;QAChE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,gCAAgC,GAAG;;;;;;;;;;;;;;;yGAeyD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tenphi/akno-core",
-  "version": "0.12.0",
+  "version": "0.13.0",
   "description": "Akno — the memory layer itself: index, ops, watcher, models",
   "license": "PolyForm-Noncommercial-1.0.0",
   "type": "module",
@@ -22,7 +22,7 @@
     "sqlite-vec": "^0.1.9",
     "yaml": "^2.9.0",
     "zod": "^4.4.3",
-    "@tenphi/akno-protocol": "0.12.0"
+    "@tenphi/akno-protocol": "0.13.0"
   },
   "devDependencies": {
     "@types/better-sqlite3": "^7.6.12"