@aid-framework/generator-sdk 0.0.0 → 0.1.48

package/dist/aid-manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aid-manifest.js","sourceRoot":"","sources":["../src/aid-manifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EACL,0BAA0B,EAE1B,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,yBAAyB,EAEzB,qBAAqB,EACrB,YAAY,GACb,MAAM,gBAAgB,CAAC;AAGxB,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAEtC,OAAO,EAAE,yBAAyB,EAAE,CAAC;AA0BrC,MAAM,cAAc,GAAG,gBAAgB,CAAC;AACxC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,iBAAiB,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC;AAC5E,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,kBAAkB,CAAC,CAAC,CAAC;AACxF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC,CAAC;AAEhF,SAAS,OAAO,CAAC,OAAe,EAAE,IAAY,EAAE,IAAa;IAC3D,OAAO,cAAc,CAAC;QACpB,IAAI,EAAE,0BAA0B,CAAC,oBAAoB;QACrD,OAAO;QACP,IAAI;QACJ,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;KACxC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAiC;IAChE,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AACvF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,KAA+B,EAC/B,UAAiC;IAEjC,OAAO;QACL,eAAe,EAAE,oBAAoB;QACrC,WAAW,EAAE,UAAU;QACvB,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACtC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC;YAC/B,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,gBAAgB,EAAE,UAAU,CAAC,gBAAgB;SAC9C,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,QAAiC,EACjC,IAAY;IAEZ,OAAO,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC5D,CAAC;AAkBD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAc,EACd,OAAO,GAA2B,EAAE;IAEpC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,sCAAsC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;IACxF,CAAC;IAED,MAAM,WAAW,GAA0B,EAAE,CAAC;IAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,kCAAkC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,eAAe,KAAK,oBAAoB,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CACd,cAAc,CAAC;YACb,IAAI,EAAE,0BAA0B,CAAC,0BAA0B;YAC3D,OAAO,EAAE,8CAA8C,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,yCAAyC,oBAAoB,GAAG;YAC5J,IAAI,EAAE,iBAAiB;SACxB,CAAC,CACH,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAE5D,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QACtE,OAAO,EAAE,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;IACvD,CAAC;IAED,OAAO;QACL,QAAQ,EAAE;YACR,eAAe,EAAE,oBAAoB;YACrC,WAAW,EAAE,WAAoC;YACjD,KAAK,EAAE,KAAmC;SAC3C;QACD,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,OAAO,GAA2B,EAAE;IAEpC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,WAAW,EAAE;gBACX,cAAc,CAAC;oBACb,IAAI,EAAE,0BAA0B,CAAC,mBAAmB;oBACpD,OAAO,EAAE,wCAAwC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;oBACzG,IAAI,EAAE,UAAU;iBACjB,CAAC;aACH;SACF,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,WAAkC;IAElC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,iDAAiD,EAAE,aAAa,CAAC,CAAC,CAAC;QAC5F,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,4BAA4B,GAAG,IAAI,EAAE,eAAe,GAAG,EAAE,CAAC,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAClC,MAAM,gBAAgB,GAAG,KAAK,CAAC,gBAAgB,CAAC;IAChD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAClC,IACE,OAAO,SAAS,KAAK,QAAQ;QAC7B,OAAO,gBAAgB,KAAK,QAAQ;QACpC,OAAO,SAAS,KAAK,QAAQ,EAC7B,CAAC;QACD,WAAW,CAAC,IAAI,CACd,OAAO,CACL,qGAAqG,EACrG,aAAa,CACd,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,UAAU,CACjB,KAAc,EACd,WAAkC,EAClC,OAA+B;IAE/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,0CAA0C,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,SAAS,KAAK,GAAG,CAAC;QAC7B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,qBAAqB,EAAE,EAAE,CAAC,CAAC,CAAC;YAC1D,MAAM,GAAG,IAAI,CAAC;YACd,SAAS;QACX,CAAC;QAED,6EAA6E;QAC7E,gFAAgF;QAChF,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;QAElC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;QAC3B,MAAM,IAAI,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,gCAAgC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;QACjF,CAAC;QAED,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC;QAC7B,MAAM,KAAK,GAAG,QAAQ,KAAK,WAAW,IAAI,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACzF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,2CAA2C,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7F,CAAC;QAED,2EAA2E;QAC3E,sDAAsD;QACtD,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9C,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAClD,IAAI,aAAa,KAAK,KAAK,EAAE,CAAC;gBAC5B,WAAW,CAAC,IAAI,CACd,OAAO,CACL,GAAG,EAAE,cAAc,KAAK,UAAU,IAAI,UAAU,aAAa,IAAI,WAAW,QAAQ,EACpF,GAAG,EAAE,QAAQ,CACd,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/D,WAAW,CAAC,IAAI,CACd,OAAO,CAAC,GAAG,EAAE,sDAAsD,EAAE,GAAG,EAAE,SAAS,CAAC,CACrF,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;QAClC,MAAM,gBAAgB,GAAG,KAAK,CAAC,gBAAgB,CAAC;QAChD,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YAC1E,WAAW,CAAC,IAAI,CACd,OAAO,CAAC,GAAG,EAAE,kBAAkB,EAAE,oCAAoC,EAAE,GAAG,EAAE,YAAY,CAAC,CAC1F,CAAC;QACJ,CAAC;QAED,iFAAiF;QACjF,4DAA4D;QAC5D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,IAAI,CACd,OAAO,CAAC,IAAI,IAAI,sCAAsC,QAAQ,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CACnF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;YAChC,MAAM,GAAG,IAAI,CAAC;YACd,SAAS;QACX,CAAC;QAED,IACE,IAAI,KAAK,SAAS;YAClB,KAAK,KAAK,SAAS;YACnB,OAAO,MAAM,KAAK,QAAQ;YAC1B,OAAO,SAAS,KAAK,QAAQ;YAC7B,OAAO,gBAAgB,KAAK,QAAQ,EACpC,CAAC;YACD,MAAM,GAAG,IAAI,CAAC;YACd,SAAS;QACX,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,MAAM;QAAE,OAAO,SAAS,CAAC;IAC7B,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,oBAAoB,CAAC,QAAqB;IACxD,OAAO,GAAG,aAAa,CAAC;QACtB,eAAe,EAAE,QAAQ,CAAC,eAAe;QACzC,WAAW,EAAE;YACX,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,SAAS;YACzC,gBAAgB,EAAE,QAAQ,CAAC,WAAW,CAAC,gBAAgB;YACvD,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,SAAS;SAC1C;QACD,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;SACxC,CAAC,CAAC;KACJ,CAAC,IAAI,CAAC;AACT,CAAC"}

package/dist/determinism.d.ts

@@ -0,0 +1,76 @@
+/**
+ * The determinism contract (§8.2): the primitives a generator uses to emit
+ * byte-identical output, plus the checker that proves it did.
+ *
+ * The contract is narrow and absolute — no timestamps, no host names, no absolute
+ * paths, no randomness — because the golden-file tests (§12 regime A) compare bytes
+ * and a single timestamp turns every regeneration into a diff. `scanForNonDeterminism`
+ * is what makes the contract testable instead of aspirational: a generator's own
+ * tests run the emitted set through it, and a violation fails the build.
+ *
+ * The contract applies to *generated code*, never to model output (§8.2).
+ */
+import type { GeneratedFile } from './plan.js';
+export declare const GENERATED_BANNER_MARKER = "Code generated by AID Framework";
+export interface BannerOptions {
+    generator: string;
+    version: string;
+    /** Line-comment prefix for the target language. */
+    comment?: string;
+}
+/**
+ * The banner every generated file carries. It deliberately names the generator and
+ * version but never a time: `aid doctor` compares the version, and a timestamp would
+ * make every regeneration a spurious diff.
+ */
+export declare function generatedBanner(options: BannerOptions): string;
+export declare function normalizeNewlines(text: string): string;
+/**
+ * Exactly one trailing newline, and no trailing blank lines.
+ *
+ * The run is stripped with a loop rather than `/\n+$/`, which backtracks from every
+ * start position when the run is not at the end of the string and is quadratic there.
+ */
+export declare function ensureTrailingNewline(text: string): string;
+/** Canonical text: LF endings, no trailing blank lines, exactly one trailing newline. */
+export declare function normalizeText(text: string): string;
+export declare function sha256Hex(text: string): string;
+export declare function compareIds(left: string, right: string): number;
+/** Stable ordering by a string key. Ties keep their input order. */
+export declare function stableSortBy<T>(items: readonly T[], key: (item: T) => string): T[];
+/** Orders IR-named nodes by their stable `id`, so output never depends on input order. */
+export declare function sortById<T extends {
+    id: string;
+}>(items: readonly T[]): T[];
+export declare function sortByPath<T extends {
+    path: string;
+}>(items: readonly T[]): T[];
+/**
+ * A derived identifier for content that needs a stable suffix. Hashing keeps it
+ * deterministic, which `Math.random()`/UUID would not.
+ */
+export declare function stableId(namespace: string, value: string): string;
+export interface DeterminismPattern {
+    id: string;
+    reason: string;
+    pattern: RegExp;
+}
+/**
+ * The forbidden shapes, as text patterns. This is a text-level lint, so it can only
+ * catch what is visible in the emitted bytes; it is deliberately blunt because a
+ * false positive is cheap (the generator drops the value) and a false negative is a
+ * permanently churning golden file.
+ */
+export declare const DETERMINISM_PATTERNS: readonly DeterminismPattern[];
+export interface DeterminismViolation {
+    path: string;
+    pattern: string;
+    reason: string;
+    line: number;
+    text: string;
+}
+/** Reports every non-deterministic shape in one emitted file, in line order. */
+export declare function scanForNonDeterminism(path: string, content: string): DeterminismViolation[];
+/** Reports every non-deterministic shape across a whole emitted set, ordered by path. */
+export declare function checkDeterminism(files: readonly GeneratedFile[]): DeterminismViolation[];
+//# sourceMappingURL=determinism.d.ts.map

package/dist/determinism.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"determinism.d.ts","sourceRoot":"","sources":["../src/determinism.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAE/C,eAAO,MAAM,uBAAuB,oCAAoC,CAAC;AAEzE,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,mDAAmD;IACnD,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAM9D;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAI1D;AAED,yFAAyF;AACzF,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAElD;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,oEAAoE;AACpE,wBAAgB,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,GAAG,CAAC,EAAE,CAQlF;AAED,0FAA0F;AAC1F,wBAAgB,QAAQ,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAE3E;AAED,wBAAgB,UAAU,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAE/E;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEjE;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,kBAAkB,EAoC7D,CAAC;AAEF,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,gFAAgF;AAChF,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,EAAE,CAiB3F;AAED,yFAAyF;AACzF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,GAAG,oBAAoB,EAAE,CAExF"}

package/dist/determinism.js

@@ -0,0 +1,142 @@
+/**
+ * The determinism contract (§8.2): the primitives a generator uses to emit
+ * byte-identical output, plus the checker that proves it did.
+ *
+ * The contract is narrow and absolute — no timestamps, no host names, no absolute
+ * paths, no randomness — because the golden-file tests (§12 regime A) compare bytes
+ * and a single timestamp turns every regeneration into a diff. `scanForNonDeterminism`
+ * is what makes the contract testable instead of aspirational: a generator's own
+ * tests run the emitted set through it, and a violation fails the build.
+ *
+ * The contract applies to *generated code*, never to model output (§8.2).
+ */
+import { createHash } from 'node:crypto';
+export const GENERATED_BANNER_MARKER = 'Code generated by AID Framework';
+/**
+ * The banner every generated file carries. It deliberately names the generator and
+ * version but never a time: `aid doctor` compares the version, and a timestamp would
+ * make every regeneration a spurious diff.
+ */
+export function generatedBanner(options) {
+    const comment = options.comment ?? '//';
+    return [
+        `${comment} ${GENERATED_BANNER_MARKER} "${options.generator}" v${options.version}. DO NOT EDIT.`,
+        `${comment} Owned by the generator: regenerate with \`aid gen\`. See aid.manifest.json.`,
+    ].join('\n');
+}
+export function normalizeNewlines(text) {
+    return text.replace(/\r\n?/g, '\n');
+}
+/**
+ * Exactly one trailing newline, and no trailing blank lines.
+ *
+ * The run is stripped with a loop rather than `/\n+$/`, which backtracks from every
+ * start position when the run is not at the end of the string and is quadratic there.
+ */
+export function ensureTrailingNewline(text) {
+    let end = text.length;
+    while (end > 0 && text[end - 1] === '\n')
+        end--;
+    return `${text.slice(0, end)}\n`;
+}
+/** Canonical text: LF endings, no trailing blank lines, exactly one trailing newline. */
+export function normalizeText(text) {
+    return ensureTrailingNewline(normalizeNewlines(text));
+}
+export function sha256Hex(text) {
+    return createHash('sha256').update(text, 'utf8').digest('hex');
+}
+export function compareIds(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+/** Stable ordering by a string key. Ties keep their input order. */
+export function stableSortBy(items, key) {
+    return items
+        .map((item, index) => ({ item, index }))
+        .sort((left, right) => {
+        const order = compareIds(key(left.item), key(right.item));
+        return order === 0 ? left.index - right.index : order;
+    })
+        .map((entry) => entry.item);
+}
+/** Orders IR-named nodes by their stable `id`, so output never depends on input order. */
+export function sortById(items) {
+    return stableSortBy(items, (item) => item.id);
+}
+export function sortByPath(items) {
+    return stableSortBy(items, (item) => item.path);
+}
+/**
+ * A derived identifier for content that needs a stable suffix. Hashing keeps it
+ * deterministic, which `Math.random()`/UUID would not.
+ */
+export function stableId(namespace, value) {
+    return `${namespace}-${sha256Hex(value).slice(0, 12)}`;
+}
+/**
+ * The forbidden shapes, as text patterns. This is a text-level lint, so it can only
+ * catch what is visible in the emitted bytes; it is deliberately blunt because a
+ * false positive is cheap (the generator drops the value) and a false negative is a
+ * permanently churning golden file.
+ */
+export const DETERMINISM_PATTERNS = [
+    {
+        id: 'absolute-path-windows',
+        reason: 'an absolute Windows path leaks the generating machine',
+        pattern: /[A-Za-z]:[\\/]/,
+    },
+    {
+        id: 'absolute-path-unix',
+        reason: 'an absolute Unix path leaks the generating machine',
+        pattern: /(?:^|[^A-Za-z0-9_.])\/(?:home|Users|tmp|var)\//,
+    },
+    {
+        id: 'host-directory',
+        reason: 'a host-specific directory leaks the generating machine',
+        pattern: /AppData[\\/]|[/\\]\.venv[/\\]/,
+    },
+    {
+        id: 'timestamp',
+        reason: 'a timestamp makes every regeneration a diff',
+        pattern: /\d{4}-\d{2}-\d{2}[T ]\d{2}:\d{2}:\d{2}/,
+    },
+    {
+        id: 'generated-at-phrase',
+        reason: 'a generation date makes every regeneration a diff',
+        pattern: /\bgenerated\s+(?:on|at)\b/i,
+    },
+    {
+        id: 'hostname',
+        reason: 'a host name leaks the generating machine',
+        pattern: /\bhostname\s*[:=]/i,
+    },
+    {
+        id: 'runtime-randomness',
+        reason: 'generation-time randomness cannot be reproduced',
+        pattern: /\b(?:Math\.random|crypto\.randomUUID|uuid4\()/,
+    },
+];
+/** Reports every non-deterministic shape in one emitted file, in line order. */
+export function scanForNonDeterminism(path, content) {
+    const violations = [];
+    const lines = content.split('\n');
+    for (const [index, line] of lines.entries()) {
+        for (const candidate of DETERMINISM_PATTERNS) {
+            if (!candidate.pattern.test(line))
+                continue;
+            violations.push({
+                path,
+                pattern: candidate.id,
+                reason: candidate.reason,
+                line: index + 1,
+                text: line.trim(),
+            });
+        }
+    }
+    return violations;
+}
+/** Reports every non-deterministic shape across a whole emitted set, ordered by path. */
+export function checkDeterminism(files) {
+    return sortByPath(files).flatMap((file) => scanForNonDeterminism(file.path, file.content));
+}
+//# sourceMappingURL=determinism.js.map

package/dist/determinism.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"determinism.js","sourceRoot":"","sources":["../src/determinism.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAIzC,MAAM,CAAC,MAAM,uBAAuB,GAAG,iCAAiC,CAAC;AASzE;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,OAAsB;IACpD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;IACxC,OAAO;QACL,GAAG,OAAO,IAAI,uBAAuB,KAAK,OAAO,CAAC,SAAS,MAAM,OAAO,CAAC,OAAO,gBAAgB;QAChG,GAAG,OAAO,8EAA8E;KACzF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AACtC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,OAAO,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI;QAAE,GAAG,EAAE,CAAC;IAChD,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC;AACnC,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,qBAAqB,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,KAAa;IACpD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,YAAY,CAAI,KAAmB,EAAE,GAAwB;IAC3E,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;SACvC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACpB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACxD,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,QAAQ,CAA2B,KAAmB;IACpE,OAAO,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,UAAU,CAA6B,KAAmB;IACxE,OAAO,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,SAAiB,EAAE,KAAa;IACvD,OAAO,GAAG,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AACzD,CAAC;AAQD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAkC;IACjE;QACE,EAAE,EAAE,uBAAuB;QAC3B,MAAM,EAAE,uDAAuD;QAC/D,OAAO,EAAE,gBAAgB;KAC1B;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,MAAM,EAAE,oDAAoD;QAC5D,OAAO,EAAE,gDAAgD;KAC1D;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,MAAM,EAAE,wDAAwD;QAChE,OAAO,EAAE,+BAA+B;KACzC;IACD;QACE,EAAE,EAAE,WAAW;QACf,MAAM,EAAE,6CAA6C;QACrD,OAAO,EAAE,wCAAwC;KAClD;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,MAAM,EAAE,mDAAmD;QAC3D,OAAO,EAAE,4BAA4B;KACtC;IACD;QACE,EAAE,EAAE,UAAU;QACd,MAAM,EAAE,0CAA0C;QAClD,OAAO,EAAE,oBAAoB;KAC9B;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,MAAM,EAAE,iDAAiD;QACzD,OAAO,EAAE,+CAA+C;KACzD;CACF,CAAC;AAUF,gFAAgF;AAChF,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,OAAe;IACjE,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAElC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5C,KAAK,MAAM,SAAS,IAAI,oBAAoB,EAAE,CAAC;YAC7C,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC5C,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI;gBACJ,OAAO,EAAE,SAAS,CAAC,EAAE;gBACrB,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,IAAI,EAAE,KAAK,GAAG,CAAC;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,gBAAgB,CAAC,KAA+B;IAC9D,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;AAC7F,CAAC"}

package/dist/diagnostics.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Diagnostics for the generator layer. Reuses `@aid-framework/spec`'s `Diagnostic` shape so the
+ * parser, the IR gates, and this layer print one report, while this layer keeps its own
+ * closed code union (`generator/*`) for typo checking. Codes are part of the public
+ * contract; renaming one is a breaking change.
+ *
+ * `@aid-framework/spec` locates a diagnostic by a path *inside* a document. This layer's failures
+ * are mostly about a whole file — a drifted `generated/` file, an unplanned path — so the
+ * helpers here take a flat string: either a repo-relative file path or a dotted location
+ * such as `output.generatedDir`. It is passed through as a single path segment, which
+ * renders identically and keeps this layer from inventing index arithmetic it does not have.
+ */
+import type { Diagnostic } from '@aid-framework/spec';
+export declare const GENERATOR_DIAGNOSTIC_CODES: {
+    readonly manifestNotAMapping: 'generator/manifest-not-a-mapping';
+    readonly manifestMissingField: 'generator/manifest-missing-field';
+    readonly manifestInvalidField: 'generator/manifest-invalid-field';
+    readonly manifestUnknownKey: 'generator/manifest-unknown-key';
+    readonly manifestCapabilityUnknown: 'generator/manifest-capability-unknown';
+    readonly manifestCapabilityDuplicate: 'generator/manifest-capability-duplicate';
+    readonly manifestEmitsAgainstUnknown: 'generator/manifest-emits-against-unknown';
+    readonly manifestUnsupportedIr: 'generator/manifest-unsupported-ir';
+    readonly manifestNotRelative: 'generator/manifest-not-relative';
+    readonly manifestEscapingRoot: 'generator/manifest-escaping-root';
+    readonly manifestDuplicateGenerator: 'generator/manifest-duplicate-generator';
+    readonly planNotAMapping: 'generator/plan-not-a-mapping';
+    readonly planInvalidPath: 'generator/plan-invalid-path';
+    readonly planDuplicatePath: 'generator/plan-duplicate-path';
+    readonly planOwnerMismatch: 'generator/plan-owner-mismatch';
+    readonly planEmpty: 'generator/plan-empty';
+    readonly manifestParseFailed: 'generator/manifest-parse-failed';
+    readonly manifestVersionUnsupported: 'generator/manifest-version-unsupported';
+    readonly determinismViolation: 'generator/determinism-violation';
+    readonly generatedDrift: 'generator/generated-drift';
+};
+export type GeneratorDiagnosticCode = (typeof GENERATOR_DIAGNOSTIC_CODES)[keyof typeof GENERATOR_DIAGNOSTIC_CODES];
+export type GeneratorDiagnostic = Diagnostic<GeneratorDiagnosticCode>;
+export interface GeneratorDiagnosticInit {
+    code: GeneratorDiagnosticCode;
+    message: string;
+    /** A repo-relative file path, or a dotted location such as `output.root`. */
+    path?: string;
+    hint?: string;
+}
+export declare function generatorError(init: GeneratorDiagnosticInit): GeneratorDiagnostic;
+export declare function generatorWarning(init: GeneratorDiagnosticInit): GeneratorDiagnostic;
+/** Binds the generated app's spec file into every diagnostic a generator emits. */
+export declare function withFile(diagnostic: GeneratorDiagnostic, file: string | undefined): GeneratorDiagnostic;
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAGtD,eAAO,MAAM,0BAA0B;aACrC,mBAAmB,EAAE,kCAAkC;aACvD,oBAAoB,EAAE,kCAAkC;aACxD,oBAAoB,EAAE,kCAAkC;aACxD,kBAAkB,EAAE,gCAAgC;aACpD,yBAAyB,EAAE,uCAAuC;aAClE,2BAA2B,EAAE,yCAAyC;aACtE,2BAA2B,EAAE,0CAA0C;aACvE,qBAAqB,EAAE,mCAAmC;aAC1D,mBAAmB,EAAE,iCAAiC;aACtD,oBAAoB,EAAE,kCAAkC;aACxD,0BAA0B,EAAE,wCAAwC;aACpE,eAAe,EAAE,8BAA8B;aAC/C,eAAe,EAAE,6BAA6B;aAC9C,iBAAiB,EAAE,+BAA+B;aAClD,iBAAiB,EAAE,+BAA+B;aAClD,SAAS,EAAE,sBAAsB;aACjC,mBAAmB,EAAE,iCAAiC;aACtD,0BAA0B,EAAE,wCAAwC;aACpE,oBAAoB,EAAE,iCAAiC;aACvD,cAAc,EAAE,2BAA2B;CACnC,CAAC;AAEX,MAAM,MAAM,uBAAuB,GACjC,CAAC,OAAO,0BAA0B,CAAC,CAAC,MAAM,OAAO,0BAA0B,CAAC,CAAC;AAE/E,MAAM,MAAM,mBAAmB,GAAG,UAAU,CAAC,uBAAuB,CAAC,CAAC;AAEtE,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,uBAAuB,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,6EAA6E;IAC7E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAMD,wBAAgB,cAAc,CAAC,IAAI,EAAE,uBAAuB,GAAG,mBAAmB,CAOjF;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,uBAAuB,GAAG,mBAAmB,CAOnF;AAED,mFAAmF;AACnF,wBAAgB,QAAQ,CACtB,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,MAAM,GAAG,SAAS,GACvB,mBAAmB,CAErB"}

package/dist/diagnostics.js

@@ -0,0 +1,59 @@
+/**
+ * Diagnostics for the generator layer. Reuses `@aid-framework/spec`'s `Diagnostic` shape so the
+ * parser, the IR gates, and this layer print one report, while this layer keeps its own
+ * closed code union (`generator/*`) for typo checking. Codes are part of the public
+ * contract; renaming one is a breaking change.
+ *
+ * `@aid-framework/spec` locates a diagnostic by a path *inside* a document. This layer's failures
+ * are mostly about a whole file — a drifted `generated/` file, an unplanned path — so the
+ * helpers here take a flat string: either a repo-relative file path or a dotted location
+ * such as `output.generatedDir`. It is passed through as a single path segment, which
+ * renders identically and keeps this layer from inventing index arithmetic it does not have.
+ */
+import { errorDiagnostic, warningDiagnostic } from '@aid-framework/spec';
+export const GENERATOR_DIAGNOSTIC_CODES = {
+    manifestNotAMapping: 'generator/manifest-not-a-mapping',
+    manifestMissingField: 'generator/manifest-missing-field',
+    manifestInvalidField: 'generator/manifest-invalid-field',
+    manifestUnknownKey: 'generator/manifest-unknown-key',
+    manifestCapabilityUnknown: 'generator/manifest-capability-unknown',
+    manifestCapabilityDuplicate: 'generator/manifest-capability-duplicate',
+    manifestEmitsAgainstUnknown: 'generator/manifest-emits-against-unknown',
+    manifestUnsupportedIr: 'generator/manifest-unsupported-ir',
+    manifestNotRelative: 'generator/manifest-not-relative',
+    manifestEscapingRoot: 'generator/manifest-escaping-root',
+    manifestDuplicateGenerator: 'generator/manifest-duplicate-generator',
+    planNotAMapping: 'generator/plan-not-a-mapping',
+    planInvalidPath: 'generator/plan-invalid-path',
+    planDuplicatePath: 'generator/plan-duplicate-path',
+    planOwnerMismatch: 'generator/plan-owner-mismatch',
+    planEmpty: 'generator/plan-empty',
+    manifestParseFailed: 'generator/manifest-parse-failed',
+    manifestVersionUnsupported: 'generator/manifest-version-unsupported',
+    determinismViolation: 'generator/determinism-violation',
+    generatedDrift: 'generator/generated-drift',
+};
+function toDiagnosticPath(path) {
+    return path === undefined || path === '' ? [] : [path];
+}
+export function generatorError(init) {
+    return errorDiagnostic({
+        code: init.code,
+        message: init.message,
+        path: toDiagnosticPath(init.path),
+        ...(init.hint === undefined ? {} : { hint: init.hint }),
+    });
+}
+export function generatorWarning(init) {
+    return warningDiagnostic({
+        code: init.code,
+        message: init.message,
+        path: toDiagnosticPath(init.path),
+        ...(init.hint === undefined ? {} : { hint: init.hint }),
+    });
+}
+/** Binds the generated app's spec file into every diagnostic a generator emits. */
+export function withFile(diagnostic, file) {
+    return file === undefined ? diagnostic : { ...diagnostic, file };
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAEzE,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,mBAAmB,EAAE,kCAAkC;IACvD,oBAAoB,EAAE,kCAAkC;IACxD,oBAAoB,EAAE,kCAAkC;IACxD,kBAAkB,EAAE,gCAAgC;IACpD,yBAAyB,EAAE,uCAAuC;IAClE,2BAA2B,EAAE,yCAAyC;IACtE,2BAA2B,EAAE,0CAA0C;IACvE,qBAAqB,EAAE,mCAAmC;IAC1D,mBAAmB,EAAE,iCAAiC;IACtD,oBAAoB,EAAE,kCAAkC;IACxD,0BAA0B,EAAE,wCAAwC;IACpE,eAAe,EAAE,8BAA8B;IAC/C,eAAe,EAAE,6BAA6B;IAC9C,iBAAiB,EAAE,+BAA+B;IAClD,iBAAiB,EAAE,+BAA+B;IAClD,SAAS,EAAE,sBAAsB;IACjC,mBAAmB,EAAE,iCAAiC;IACtD,0BAA0B,EAAE,wCAAwC;IACpE,oBAAoB,EAAE,iCAAiC;IACvD,cAAc,EAAE,2BAA2B;CACnC,CAAC;AAeX,SAAS,gBAAgB,CAAC,IAAwB;IAChD,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAA6B;IAC1D,OAAO,eAAe,CAAC;QACrB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;KACxD,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAA6B;IAC5D,OAAO,iBAAiB,CAAC;QACvB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;KACxD,CAAC,CAAC;AACL,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,QAAQ,CACtB,UAA+B,EAC/B,IAAwB;IAExB,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,CAAC;AACnE,CAAC"}

package/dist/drift.d.ts

@@ -0,0 +1,114 @@
+/**
+ * Regeneration and drift (§10). This is the algorithm the whole ownership model exists
+ * to support, so it is stated once, here, in terms of a plan, the previous manifest, and
+ * a byte-level view of the tree:
+ *
+ *   1. Plan the new file set (already done; see {@link Plan}).
+ *   2. For each planned `generated/` file: if it exists on disk and its hash is not the
+ *      one recorded in the manifest, a human edited generated code. Do not overwrite it.
+ *      Write the new content to `<path>.aid-rej` and fail with guidance.
+ *   3. For each planned `business/` file: create only if missing. Never overwrite.
+ *   4. Write atomically; update the manifest.
+ *   5. Report created / updated / unchanged / conflicts.
+ *
+ * The rule that makes this worth having is step 2. A generator that overwrites
+ * `generated/` unconditionally destroys the one signal it has that a human disagreed
+ * with it, and the loss is silent. Refusing, keeping the rejected bytes alongside the
+ * file, and naming the two escapes (`aid eject <path>` to take ownership, `--force` to
+ * discard the edits) turns a silent data loss into a decision.
+ *
+ * Two limits are deliberate. A planned file that is *newer* than the manifest but has no
+ * record at all is treated as drift, not as a file to adopt — an unrecorded file under
+ * `generated/` cannot be proven unmodified. And stale generated files (recorded, but no
+ * longer planned) are reported but not deleted unless `prune` is requested explicitly,
+ * because deletion is the one operation with no recovery.
+ */
+import { type AidManifest, type AidManifestProvenance } from './aid-manifest.js';
+import { type GeneratorDiagnostic } from './diagnostics.js';
+import { type FileOwner } from './ownership.js';
+import type { GeneratedFile, Plan } from './plan.js';
+/** The byte-level view of the tree. Tests pass an in-memory map; real runs use the filesystem. */
+export interface RegenerationSink {
+    read(path: string): string | undefined;
+    write(path: string, content: string): void;
+    remove(path: string): void;
+}
+export interface DriftedFile {
+    path: string;
+    /** The hash the last generation recorded; absent when the file was never recorded. */
+    recordedSha256?: string;
+    actualSha256: string;
+}
+export type RegenerationAction = {
+    kind: 'create';
+    path: string;
+    owner: FileOwner;
+} | {
+    kind: 'update';
+    path: string;
+    owner: FileOwner;
+} | {
+    kind: 'unchanged';
+    path: string;
+    owner: FileOwner;
+} | {
+    kind: 'keep-business';
+    path: string;
+} | {
+    kind: 'drift';
+    path: string;
+    recordedSha256?: string;
+    actualSha256: string;
+};
+export interface RegenerationReport {
+    actions: readonly RegenerationAction[];
+    created: string[];
+    updated: string[];
+    unchanged: string[];
+    /** Business files that already existed and were left exactly as they were. */
+    kept: string[];
+    drifted: DriftedFile[];
+    /** Recorded generated files that are no longer planned. */
+    stale: string[];
+    /** Subset of {@link stale} that this run deleted, when `prune` was set. */
+    pruned: string[];
+    diagnostics: GeneratorDiagnostic[];
+}
+export interface RegenerationOptions {
+    sink: RegenerationSink;
+    manifest?: AidManifest;
+    /** Discard hand edits to generated files instead of refusing. */
+    force?: boolean;
+    /** Delete stale generated files instead of only reporting them. */
+    prune?: boolean;
+}
+export declare function planRegeneration(plan: Plan, options: RegenerationOptions): RegenerationReport;
+/**
+ * Generated files the manifest records that the plan no longer contains. Business files
+ * are excluded: a generator is expected to stop planning one once a developer takes it
+ * over, and flagging that would punish the intended path.
+ */
+export declare function staleGeneratedFiles(plan: Plan, manifest: AidManifest | undefined): string[];
+export interface RegenerationResult {
+    report: RegenerationReport;
+    manifest: AidManifest;
+}
+/**
+ * Plans, then applies. Drifted generated files are never written unless `force` is set;
+ * their newly generated content goes to `<path>.aid-rej` instead, and an error-severity
+ * diagnostic is returned so a caller cannot mistake the run for a success.
+ */
+export declare function regenerate(plan: Plan, options: RegenerationOptions & {
+    provenance: AidManifestProvenance;
+}): RegenerationResult;
+/**
+ * Drift check without writing anything: the shape a CI gate or `aid gen --check` wants.
+ * `regenerate` reports the same diagnostics; this exists so a caller cannot accidentally
+ * write while only trying to verify.
+ */
+export declare function checkDrift(plan: Plan, options: RegenerationOptions): GeneratorDiagnostic[];
+/** Human-readable one-line summary of what a run did, in reporting order. */
+export declare function formatRegenerationSummary(report: RegenerationReport): string;
+export declare function hasDrift(report: RegenerationReport): boolean;
+export declare function generatedFiles(files: readonly GeneratedFile[]): GeneratedFile[];
+//# sourceMappingURL=drift.d.ts.map

package/dist/drift.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift.d.ts","sourceRoot":"","sources":["../src/drift.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAIH,OAAO,EAEL,KAAK,WAAW,EAEhB,KAAK,qBAAqB,EAE3B,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAEL,KAAK,mBAAmB,EAGzB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,SAAS,EAAiB,MAAM,gBAAgB,CAAC;AAC/D,OAAO,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAErD,kGAAkG;AAClG,MAAM,WAAW,gBAAgB;IAC/B,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IACvC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3C,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,sFAAsF;IACtF,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACrD;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACvC;IACE,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACvC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,8EAA8E;IAC9E,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,2DAA2D;IAC3D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,2EAA2E;IAC3E,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,WAAW,EAAE,mBAAmB,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,iEAAiE;IACjE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,mEAAmE;IACnE,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,mBAAmB,GAAG,kBAAkB,CAiG7F;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,GAAG,SAAS,GAAG,MAAM,EAAE,CAM3F;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,kBAAkB,CAAC;IAC3B,QAAQ,EAAE,WAAW,CAAC;CACvB;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,mBAAmB,GAAG;IAAE,UAAU,EAAE,qBAAqB,CAAA;CAAE,GACnE,kBAAkB,CAoDpB;AAoED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,mBAAmB,GAAG,mBAAmB,EAAE,CAE1F;AAED,6EAA6E;AAC7E,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,kBAAkB,GAAG,MAAM,CAU5E;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAE5D;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,GAAG,aAAa,EAAE,CAE/E"}