@cosmicdrift/kumiko-framework 0.389.0 → 0.390.0

package/dist/engine/feature-ast/patch.d.ts

@@ -1,212 +0,0 @@
-import { type SourceFile } from "ts-morph";
-import type { FeaturePattern, QueryHandlerPattern, StreamHandlerPattern, WriteHandlerPattern } from "./patterns.ts";
-/**
- * Identifier used by replace/remove. Discriminated union: each pattern
- * kind names the property the patcher must match against. Adding a new
- * pattern kind requires a new entry here so the type system forces the
- * call-site to think about identity (or fall through to "first call of
- * this kind" via the singleton helpers below).
- */
-export type PatternId = {
-    readonly kind: "entity";
-    readonly entityName: string;
-} | {
-    readonly kind: "relation";
-    readonly entityName: string;
-    readonly relationName: string;
-} | {
-    readonly kind: "nav";
-    readonly id: string;
-} | {
-    readonly kind: "workspace";
-    readonly id: string;
-} | {
-    readonly kind: "screen";
-    readonly id: string;
-} | {
-    readonly kind: "writeHandler";
-    readonly handlerName: string;
-} | {
-    readonly kind: "queryHandler";
-    readonly handlerName: string;
-} | {
-    readonly kind: "streamHandler";
-    readonly handlerName: string;
-} | {
-    readonly kind: "hook";
-    readonly hookType: string;
-    readonly target: string | {
-        readonly allOf: string;
-    };
-} | {
-    readonly kind: "metric";
-    readonly shortName: string;
-} | {
-    readonly kind: "secret";
-    readonly shortName: string;
-} | {
-    readonly kind: "secretNamespace";
-    readonly shortName: string;
-} | {
-    readonly kind: "claimKey";
-    readonly shortName: string;
-} | {
-    readonly kind: "referenceData";
-    readonly entityName: string;
-} | {
-    readonly kind: "useExtension";
-    readonly extensionName: string;
-    readonly entityName: string;
-} | {
-    readonly kind: "job";
-    readonly jobName: string;
-} | {
-    readonly kind: "notification";
-    readonly notificationName: string;
-} | {
-    readonly kind: "httpRoute";
-    readonly method: string;
-    readonly path: string;
-} | {
-    readonly kind: "projection";
-    readonly name: string;
-} | {
-    readonly kind: "multiStreamProjection";
-    readonly name: string;
-} | {
-    readonly kind: "defineEvent";
-    readonly eventName: string;
-} | {
-    readonly kind: "extendsRegistrar";
-    readonly extensionName: string;
-} | {
-    readonly kind: "ai.generate";
-    readonly stepKey: string;
-} | {
-    readonly kind: "ai.extract";
-    readonly stepKey: string;
-} | {
-    readonly kind: "ai.classify";
-    readonly stepKey: string;
-} | {
-    readonly kind: "requires";
-} | {
-    readonly kind: "optionalRequires";
-} | {
-    readonly kind: "readsConfig";
-} | {
-    readonly kind: "systemScope";
-} | {
-    readonly kind: "toggleable";
-} | {
-    readonly kind: "describe";
-} | {
-    readonly kind: "uiHints";
-} | {
-    readonly kind: "adoptsBundledLists";
-} | {
-    readonly kind: "config";
-} | {
-    readonly kind: "translations";
-} | {
-    readonly kind: "authClaims";
-} | {
-    readonly kind: "treeActions";
-};
-export type WriteHandlerHeaderKey = Exclude<keyof WriteHandlerPattern, "kind" | "source" | "handlerName" | "schemaSource" | "handlerBody">;
-export type QueryHandlerHeaderKey = Exclude<keyof QueryHandlerPattern, "kind" | "source" | "handlerName" | "schemaSource" | "handlerBody">;
-export type StreamHandlerHeaderKey = Exclude<keyof StreamHandlerPattern, "kind" | "source" | "handlerName" | "schemaSource" | "handlerBody">;
-export type HandlerHeaderUpdate = {
-    readonly op: "update";
-    readonly id: Extract<PatternId, {
-        readonly kind: "writeHandler";
-    }>;
-    readonly set: Partial<Pick<WriteHandlerPattern, WriteHandlerHeaderKey>>;
-    readonly unset?: readonly Exclude<WriteHandlerHeaderKey, "access">[];
-} | {
-    readonly op: "update";
-    readonly id: Extract<PatternId, {
-        readonly kind: "queryHandler";
-    }>;
-    readonly set: Partial<Pick<QueryHandlerPattern, QueryHandlerHeaderKey>>;
-    readonly unset?: readonly Exclude<QueryHandlerHeaderKey, "access">[];
-} | {
-    readonly op: "update";
-    readonly id: Extract<PatternId, {
-        readonly kind: "streamHandler";
-    }>;
-    readonly set: Partial<Pick<StreamHandlerPattern, StreamHandlerHeaderKey>>;
-    readonly unset?: readonly Exclude<StreamHandlerHeaderKey, "access">[];
-};
-export type PatternChange = {
-    readonly op: "add";
-    readonly pattern: FeaturePattern;
-} | {
-    readonly op: "replace";
-    readonly id: PatternId;
-    readonly pattern: FeaturePattern;
-} | {
-    readonly op: "remove";
-    readonly id: PatternId;
-} | HandlerHeaderUpdate;
-/**
- * Apply a sequence of changes to the source file in-place. The list is
- * processed in order; replace/remove failures (id not found) throw so
- * callers can react explicitly — silent no-ops would mask design bugs
- * in the Designer/AI generator. Adds always succeed.
- *
- * The function does NOT save the file — `sourceFile.saveSync()` (or the
- * caller's persistence layer) is expected to follow.
- */
-export declare function applyChanges(sourceFile: SourceFile, changes: readonly PatternChange[]): void;
-/**
- * Low-level escape hatch: append a hand-built FeaturePattern at the end
- * of the setup callback's body. **Prefer the typed `add{Kind}` methods
- * on `createFeaturePatcher(sf)`** — they take natural args, build the
- * FeaturePattern internally, and avoid SourceLocation boilerplate.
- *
- * Use this directly when:
- *   - Migrating a parsed pattern from another file (already-built
- *     FeaturePattern object on hand)
- *   - The pattern kind isn't yet covered by a typed `add{Kind}`
- *
- * The pattern is rendered (canonical Object-Form) and inserted as the
- * last statement, separated from the previous one by a blank line —
- * biome-stable formatting that matches the renderFeatureFile output.
- */
-export declare function addPattern(sourceFile: SourceFile, pattern: FeaturePattern): void;
-/**
- * Find the call matching `id` and replace the entire CallExpression text
- * with the rendered version of `pattern`. The replacement is reindented
- * to match the original call's column so existing helpers/comments
- * around it stay aligned. Throws when no call matches — callers must
- * handle that case explicitly.
- */
-export declare function replacePattern(sourceFile: SourceFile, id: PatternId, pattern: FeaturePattern): void;
-/**
- * Find the call matching `id` and remove it together with its trailing
- * newline. Comments belonging to the pattern are unaffected only when
- * they live BEFORE the call as line-leading trivia — those leading
- * comments are kept (they may belong to surrounding code, the patcher
- * can't disambiguate without semantic markers). Inline comments on the
- * same line as the call are removed with the call.
- */
-export declare function removePattern(sourceFile: SourceFile, id: PatternId): void;
-/**
- * Apply a `HandlerHeaderUpdate` to the header fields named in `set`/`unset`
- * only, via targeted text edits — `schemaSource`, `handlerBody`, comments,
- * and every unnamed field stay byte-identical (narrower than replacePattern).
- */
-export declare function updatePattern(sourceFile: SourceFile, change: HandlerHeaderUpdate): void;
-/**
- * Singleton kinds: a feature has at most one of each. The Boot-Validator
- * rejects features that declare two `r.requires(...)` etc. — the patcher
- * asserts the same invariant so a corrupt source file produces an
- * explicit error here, not a silent first-match win.
- *
- * Exported so the pattern-library tests + downstream consumers
- * (Designer, AI-Builder) share one source-of-truth — duplicating this
- * set would let the library's `singleton: true` flags drift silently
- * from the patcher's enforcement.
- */
-export declare const SINGLETON_KINDS: ReadonlySet<PatternId["kind"]>;