@tenphi/akno-core 0.1.0

package/dist/maintenance/curate.d.ts

@@ -0,0 +1,156 @@
+import { z } from 'zod';
+import type { AknoContext } from '../context.ts';
+import { type ChangeFile } from '../write/journal.ts';
+import { type SemanticMergeDiscoveryDegradation, type SemanticMergeDiscoveryMetrics } from './semantic-merge-discovery.ts';
+export interface CuratedPage {
+    slug: string;
+    mode: 'hygiene' | 'synthesize';
+    action: 'would-update' | 'updated' | 'unchanged' | 'rejected';
+    splits: string[];
+    extractions: string[];
+    merges: string[];
+    issues: string[];
+    temporal?: {
+        source: 'declared' | 'inferred' | 'model';
+        state: 'active' | 'past';
+        until: string;
+        archival: boolean;
+    };
+}
+export interface CurateResult {
+    pages: CuratedPage[];
+    files: ChangeFile[];
+    changeId: string | null;
+    warnings: string[];
+    /** Typed model failures from optional candidate sources; exact discovery still proceeds. */
+    degraded: SemanticMergeDiscoveryDegradation[];
+    /** Aggregate semantic candidate work; null when semantic discovery did not run. */
+    semanticMerge: SemanticMergeDiscoveryMetrics | null;
+    /** Exact, already-guarded rewrites for a durable maintenance plan. */
+    drafts: CurateDraft[];
+}
+export interface CurateDraft {
+    slug: string;
+    mode: 'hygiene' | 'synthesize';
+    relPath: string;
+    inputHash: string;
+    before: string;
+    after: string;
+    children: {
+        slug: string;
+        relPath: string;
+        content: string;
+    }[];
+    extractions: {
+        slug: string;
+        relPath: string;
+        content: string;
+    }[];
+    merge: {
+        sourceSlug: string;
+        sourceRelPath: string;
+        sourceBefore: string;
+        sourceBodyHash: string;
+        identitySignal: string;
+        identityKind: MergeIdentityKind;
+        linkUpdates: {
+            slug: string;
+            relPath: string;
+            before: string;
+            after: string;
+        }[];
+    } | null;
+    evidence: {
+        slug: string;
+        relPath: string;
+        relationship: 'about' | 'outbound' | 'backlink';
+        bodyHash: string;
+        contentHash: string;
+        summary: string | null;
+        claims: string[];
+        events: string[];
+    }[];
+    conflicts: {
+        slug: string;
+        subject: string;
+        attribute: string;
+        claim: string;
+        value: string;
+    }[];
+}
+export type CurateTransformationKind = 'hygiene' | 'synthesis' | 'split' | 'extract' | 'merge';
+type MergeIdentityKind = 'exact_alias' | 'graph_subject' | 'semantic';
+export declare const HYGIENE_SCHEMA: z.ZodObject<{
+    body: z.ZodString;
+}, z.core.$strip>;
+/**
+ * Every field is required and `false`/`null` carry the "nothing here" cases, because strict
+ * mode rejects an optional property — so the prompt above was reworded to match. Neither is a
+ * behaviour change: `cleanSplits` already treats `[]` exactly as it treats an absent list, and
+ * `cleanTemporal` already reads a null `start` or `timezone` as unset.
+ *
+ * The boundary this schema cannot enforce is the one that matters most: `cleanTemporalProposal`
+ * still rejects any date the page did not itself supply. A grammar can require a date-shaped
+ * string; only the caller knows which dates were on the page.
+ */
+export declare const SYNTHESIZE_SCHEMA: z.ZodObject<{
+    body: z.ZodString;
+    splits: z.ZodArray<z.ZodObject<{
+        suffix: z.ZodString;
+        title: z.ZodString;
+        body: z.ZodString;
+    }, z.core.$strip>>;
+    extracts: z.ZodArray<z.ZodObject<{
+        slug: z.ZodString;
+        title: z.ZodString;
+        source_heading: z.ZodString;
+        bridge: z.ZodString;
+    }, z.core.$strip>>;
+    temporal: z.ZodUnion<readonly [z.ZodLiteral<false>, z.ZodObject<{
+        kind: z.ZodLiteral<"event">;
+        start: z.ZodNullable<z.ZodString>;
+        until: z.ZodString;
+        timezone: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>]>;
+}, z.core.$strip>;
+export declare const MERGE_SCHEMA: z.ZodObject<{
+    body: z.ZodString;
+}, z.core.$strip>;
+export declare const VERIFY_SCHEMA: z.ZodObject<{
+    ok: z.ZodBoolean;
+    issues: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+export declare function curatePages(ctx: AknoContext, options: {
+    dryRun: boolean;
+    recordState: boolean;
+    /** A durable plan may supersede a legacy preview without changing the page first. */
+    includePreviewed?: boolean;
+    /** Classes the policy layer permits this pass to inspect and seal. */
+    allowedKinds?: ReadonlySet<CurateTransformationKind>;
+}): Promise<CurateResult>;
+/**
+ * A merge must not immediately collapse sibling pages produced by one still-current split.
+ * The change journal outlives private plan payloads, and exact after-bytes release this guard as
+ * soon as either page acquires an independently edited purpose.
+ */
+export declare function inverseSplitMergeIssue(ctx: AknoContext, left: {
+    relPath: string;
+    content: string;
+}, right: {
+    relPath: string;
+    content: string;
+}): string | null;
+export declare function linkIssuesForTesting(before: string, after: string, pageSlug: string, knownSlugs: string[]): string[];
+/** Mark successfully plan-applied pages against their post-write fingerprints. */
+export declare function markCurateApplied(ctx: AknoContext, slugs: Iterable<string>): void;
+/** Cache a completed plan decision so the same rejected input is not proposed every cycle. */
+export declare function markCurateRejected(ctx: AknoContext, pages: Iterable<{
+    slug: string;
+    inputHash: string;
+}>): void;
+/** Re-check a sealed extraction against the current user-owned taxonomy before any write. */
+export declare function extractionDestinationIssues(ctx: AknoContext, sourceSlug: string, targetSlug: string): string[];
+/** Re-check heading-fragment safety against current backlinks at plan apply and verification time. */
+export declare function extractionIncomingHeadingIssues(ctx: AknoContext, sourceSlug: string, extractedBody: string): Promise<string[]>;
+export {};
+//# sourceMappingURL=curate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"curate.d.ts","sourceRoot":"","sources":["../../src/maintenance/curate.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AASjD,OAAO,EAAa,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAGjE,OAAO,EAGL,KAAK,iCAAiC,EACtC,KAAK,6BAA6B,EACnC,MAAM,+BAA+B,CAAC;AAcvC,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,YAAY,CAAC;IAC/B,MAAM,EAAE,cAAc,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;IAC9D,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE;QACT,MAAM,EAAE,UAAU,GAAG,UAAU,GAAG,OAAO,CAAC;QAC1C,KAAK,EAAE,QAAQ,GAAG,MAAM,CAAC;QACzB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,OAAO,CAAC;KACnB,CAAC;CACH;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,4FAA4F;IAC5F,QAAQ,EAAE,iCAAiC,EAAE,CAAC;IAC9C,mFAAmF;IACnF,aAAa,EAAE,6BAA6B,GAAG,IAAI,CAAC;IACpD,sEAAsE;IACtE,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,YAAY,CAAC;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC/D,WAAW,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClE,KAAK,EAAE;QACL,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,cAAc,EAAE,MAAM,CAAC;QACvB,cAAc,EAAE,MAAM,CAAC;QACvB,YAAY,EAAE,iBAAiB,CAAC;QAChC,WAAW,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;KACjF,GAAG,IAAI,CAAC;IACT,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,YAAY,EAAE,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;QAChD,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QACvB,MAAM,EAAE,MAAM,EAAE,CAAC;QACjB,MAAM,EAAE,MAAM,EAAE,CAAC;KAClB,EAAE,CAAC;IACJ,SAAS,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACjG;AAED,MAAM,MAAM,wBAAwB,GAAG,SAAS,GAAG,WAAW,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC;AAsF/F,KAAK,iBAAiB,GAAG,aAAa,GAAG,eAAe,GAAG,UAAU,CAAC;AAiCtE,eAAO,MAAM,cAAc;;iBAAiC,CAAC;AAwC7D;;;;;;;;;GASG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;iBAoB5B,CAAC;AAgBH,eAAO,MAAM,YAAY;;iBAAiC,CAAC;AAkC3D,eAAO,MAAM,aAAa;;;iBAA6D,CAAC;AAOxF,wBAAsB,WAAW,CAC/B,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE;IACP,MAAM,EAAE,OAAO,CAAC;IAChB,WAAW,EAAE,OAAO,CAAC;IACrB,qFAAqF;IACrF,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,sEAAsE;IACtE,YAAY,CAAC,EAAE,WAAW,CAAC,wBAAwB,CAAC,CAAC;CACtD,GACA,OAAO,CAAC,YAAY,CAAC,CAmkBvB;AAknBD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,WAAW,EAChB,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,EAC1C,KAAK,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC1C,MAAM,GAAG,IAAI,CA2Bf;AAqhBD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAAE,GACnB,MAAM,EAAE,CAGV;AA6GD,kFAAkF;AAClF,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI,CA6BjF;AAED,8FAA8F;AAC9F,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,GACnD,IAAI,CAON;AAuGD,6FAA6F;AAC7F,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,WAAW,EAChB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAaV;AAsRD,sGAAsG;AACtG,wBAAsB,+BAA+B,CACnD,GAAG,EAAE,WAAW,EAChB,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,EAAE,CAAC,CASnB"}