human-to-code 0.0.1 → 0.1.2

package/dist/support-matrix.js

@@ -0,0 +1,199 @@
+/**
+ * Versioned support declarations for the first analyzer release.
+ *
+ * Generation remains preview until the model/provider benchmark gate described
+ * by the reliability contract has actually run. Keeping that fact in data (and
+ * not in marketing copy) prevents a newly recognized project from being
+ * accidentally presented as certified.
+ */
+export const SUPPORT_MATRIX_VERSION = "1.0.0";
+const SUPPORT_MATRIX_VALUE = [
+    {
+        key: "react.vite-spa",
+        ecosystem: "react",
+        variant: "vite-spa",
+        versions: "React 18-19; Vite 5-7",
+        tier: "preview",
+        capabilities: ["routes", "aliases", "client-boundaries", "package-scripts"],
+        limitations: ["generation certification benchmark pending"],
+    },
+    {
+        key: "react.vite-ssr",
+        ecosystem: "react",
+        variant: "vite-ssr",
+        versions: "React 18-19; Vite 5-7",
+        tier: "preview",
+        capabilities: ["routes", "aliases", "ssr-boundaries", "package-scripts"],
+        limitations: ["generation certification benchmark pending"],
+    },
+    {
+        key: "react.next-app",
+        ecosystem: "react",
+        variant: "next-app-router",
+        versions: "React 18-19; Next 14-16",
+        tier: "preview",
+        capabilities: ["file-routes", "server-client-boundaries", "package-scripts"],
+        limitations: ["generation certification benchmark pending"],
+    },
+    {
+        key: "react.next-pages",
+        ecosystem: "react",
+        variant: "next-pages-router",
+        versions: "React 18-19; Next 14-16",
+        tier: "preview",
+        capabilities: ["file-routes", "server-client-boundaries", "package-scripts"],
+        limitations: ["generation certification benchmark pending"],
+    },
+    {
+        key: "react.next-hybrid",
+        ecosystem: "react",
+        variant: "next-hybrid",
+        versions: "React 18-19; Next 14-16",
+        tier: "preview",
+        capabilities: ["file-routes", "server-client-boundaries", "package-scripts"],
+        limitations: ["router ownership must be explicit for cross-router changes"],
+    },
+    {
+        key: "react.cra",
+        ecosystem: "react",
+        variant: "cra",
+        versions: "react-scripts 5",
+        tier: "legacy",
+        capabilities: ["aliases", "package-scripts"],
+        limitations: ["CRA is legacy", "generation certification benchmark pending"],
+    },
+    {
+        key: "react.library",
+        ecosystem: "react",
+        variant: "react-library",
+        versions: "React 18-19",
+        tier: "preview",
+        capabilities: ["public-exports", "aliases", "package-scripts"],
+        limitations: ["generation certification benchmark pending"],
+    },
+    {
+        key: "react.nx",
+        ecosystem: "react",
+        variant: "nx-react",
+        versions: "React 18-19; Nx project configuration",
+        tier: "preview",
+        capabilities: ["workspace-ownership", "targets", "routes", "aliases"],
+        limitations: ["dynamic Nx plugins are not executed"],
+    },
+    {
+        key: "nestjs.standard",
+        ecosystem: "nestjs",
+        variant: "standard",
+        versions: "NestJS 10-11",
+        tier: "preview",
+        capabilities: ["module-di-graph", "http-adapter", "orm-signals", "package-scripts"],
+        limitations: ["dynamic module internals remain opaque"],
+    },
+    {
+        key: "nestjs.monorepo",
+        ecosystem: "nestjs",
+        variant: "nest-monorepo",
+        versions: "NestJS 10-11; Nest CLI workspace",
+        tier: "preview",
+        capabilities: ["workspace-ownership", "module-di-graph", "http-adapter"],
+        limitations: ["dynamic Nest CLI configuration is not executed"],
+    },
+    {
+        key: "nestjs.nx",
+        ecosystem: "nestjs",
+        variant: "nx-nest",
+        versions: "NestJS 10-11; Nx project configuration",
+        tier: "preview",
+        capabilities: ["workspace-ownership", "module-di-graph", "targets"],
+        limitations: ["dynamic Nx plugins are not executed"],
+    },
+    {
+        key: "fastapi.application",
+        ecosystem: "fastapi",
+        variant: "fastapi-application",
+        versions: "FastAPI >=0.110,<1; Pydantic 1-2 detected explicitly",
+        tier: "preview",
+        capabilities: ["routers", "dependencies", "environment-manager", "sync-async-model"],
+        limitations: ["dynamic Python metadata and imports are not executed"],
+    },
+    {
+        key: "rust.crate",
+        ecosystem: "rust",
+        variant: "cargo-crate",
+        versions: "Rust editions 2015, 2018, 2021, 2024",
+        tier: "preview",
+        capabilities: ["features", "targets", "toolchain", "elevated-risk-signals"],
+        limitations: ["cargo metadata is deferred to sandboxed validation"],
+    },
+    {
+        key: "rust.workspace",
+        ecosystem: "rust",
+        variant: "cargo-workspace",
+        versions: "Cargo resolver 1-3; Rust editions 2015, 2018, 2021, 2024",
+        tier: "preview",
+        capabilities: ["workspace-members", "features", "targets", "toolchain"],
+        limitations: ["cargo metadata is deferred to sandboxed validation"],
+    },
+    {
+        key: "general.code",
+        ecosystem: "general",
+        variant: "general-code",
+        versions: "Language-directed general generation (operator-declared language)",
+        tier: "preview",
+        capabilities: ["language-directed-generation"],
+        limitations: [
+            "ungrounded: no dependency/API evidence is proven",
+            "unvalidated: no toolchain is assumed, so runs stay INCONCLUSIVE and are never auto-applied",
+        ],
+    },
+];
+/** Runtime-immutable: consumers cannot promote preview entries by mutation. */
+export const SUPPORT_MATRIX = Object.freeze(SUPPORT_MATRIX_VALUE.map((entry) => Object.freeze({
+    ...entry,
+    capabilities: Object.freeze([...entry.capabilities]),
+    limitations: Object.freeze([...entry.limitations]),
+})));
+export function supportFor(ecosystem, variant, matchedVersion) {
+    const entry = SUPPORT_MATRIX.find((candidate) => candidate.ecosystem === ecosystem && candidate.variant === variant);
+    if (!entry) {
+        return {
+            tier: "unsupported",
+            matrixKey: `${ecosystem}.unknown`,
+            reason: `No support-matrix entry exists for ${ecosystem}/${variant}.`,
+            ...(matchedVersion === undefined ? {} : { matchedVersion }),
+        };
+    }
+    const numeric = matchedVersion?.match(/^(\d+)(?:\.(\d+))?/);
+    if (numeric) {
+        const major = Number(numeric[1]);
+        const minor = Number(numeric[2] ?? 0);
+        const supported = (() => {
+            if (entry.key.startsWith("react.next-"))
+                return major >= 14 && major <= 16;
+            if (entry.key === "react.cra")
+                return major === 5;
+            if (entry.key.startsWith("react."))
+                return major === 18 || major === 19;
+            if (entry.key.startsWith("nestjs."))
+                return major === 10 || major === 11;
+            if (entry.key === "fastapi.application")
+                return major === 0 ? minor >= 110 : false;
+            return true;
+        })();
+        if (!supported) {
+            return {
+                tier: "unsupported",
+                matrixKey: entry.key,
+                reason: `${matchedVersion} is outside the declared support range (${entry.versions}).`,
+                matchedVersion,
+            };
+        }
+    }
+    return {
+        tier: entry.tier,
+        matrixKey: entry.key,
+        reason: `${entry.versions}; ${entry.limitations.join("; ")}.`,
+        ...(matchedVersion === undefined ? {} : { matchedVersion }),
+    };
+}
+//# sourceMappingURL=support-matrix.js.map

package/dist/support-matrix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"support-matrix.js","sourceRoot":"","sources":["../src/support-matrix.ts"],"names":[],"mappings":"AAYA;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,OAAgB,CAAC;AAEvD,MAAM,oBAAoB,GAAkC;IAC1D;QACE,GAAG,EAAE,gBAAgB;QACrB,SAAS,EAAE,OAAO;QAClB,OAAO,EAAE,UAAU;QACnB,QAAQ,EAAE,uBAAuB;QACjC,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,mBAAmB,EAAE,iBAAiB,CAAC;QAC3E,WAAW,EAAE,CAAC,4CAA4C,CAAC;KAC5D;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,SAAS,EAAE,OAAO;QAClB,OAAO,EAAE,UAAU;QACnB,QAAQ,EAAE,uBAAuB;QACjC,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,gBAAgB,EAAE,iBAAiB,CAAC;QACxE,WAAW,EAAE,CAAC,4CAA4C,CAAC;KAC5D;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,SAAS,EAAE,OAAO;QAClB,OAAO,EAAE,iBAAiB;QAC1B,QAAQ,EAAE,yBAAyB;QACnC,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,aAAa,EAAE,0BAA0B,EAAE,iBAAiB,CAAC;QAC5E,WAAW,EAAE,CAAC,4CAA4C,CAAC;KAC5D;IACD;QACE,GAAG,EAAE,kBAAkB;QACvB,SAAS,EAAE,OAAO;QAClB,OAAO,EAAE,mBAAmB;QAC5B,QAAQ,EAAE,yBAAyB;QACnC,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,aAAa,EAAE,0BAA0B,EAAE,iBAAiB,CAAC;QAC5E,WAAW,EAAE,CAAC,4CAA4C,CAAC;KAC5D;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,SAAS,EAAE,OAAO;QAClB,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,yBAAyB;QACnC,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,aAAa,EAAE,0BAA0B,EAAE,iBAAiB,CAAC;QAC5E,WAAW,EAAE,CAAC,4DAA4D,CAAC;KAC5E;IACD;QACE,GAAG,EAAE,WAAW;QAChB,SAAS,EAAE,OAAO;QAClB,OAAO,EAAE,KAAK;QACd,QAAQ,EAAE,iBAAiB;QAC3B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,CAAC,SAAS,EAAE,iBAAiB,CAAC;QAC5C,WAAW,EAAE,CAAC,eAAe,EAAE,4CAA4C,CAAC;KAC7E;IACD;QACE,GAAG,EAAE,eAAe;QACpB,SAAS,EAAE,OAAO;QAClB,OAAO,EAAE,eAAe;QACxB,QAAQ,EAAE,aAAa;QACvB,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,gBAAgB,EAAE,SAAS,EAAE,iBAAiB,CAAC;QAC9D,WAAW,EAAE,CAAC,4CAA4C,CAAC;KAC5D;IACD;QACE,GAAG,EAAE,UAAU;QACf,SAAS,EAAE,OAAO;QAClB,OAAO,EAAE,UAAU;QACnB,QAAQ,EAAE,uCAAuC;QACjD,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC;QACrE,WAAW,EAAE,CAAC,qCAAqC,CAAC;KACrD;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,SAAS,EAAE,QAAQ;QACnB,OAAO,EAAE,UAAU;QACnB,QAAQ,EAAE,cAAc;QACxB,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,aAAa,EAAE,iBAAiB,CAAC;QACnF,WAAW,EAAE,CAAC,wCAAwC,CAAC;KACxD;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,SAAS,EAAE,QAAQ;QACnB,OAAO,EAAE,eAAe;QACxB,QAAQ,EAAE,kCAAkC;QAC5C,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,qBAAqB,EAAE,iBAAiB,EAAE,cAAc,CAAC;QACxE,WAAW,EAAE,CAAC,gDAAgD,CAAC;KAChE;IACD;QACE,GAAG,EAAE,WAAW;QAChB,SAAS,EAAE,QAAQ;QACnB,OAAO,EAAE,SAAS;QAClB,QAAQ,EAAE,wCAAwC;QAClD,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,qBAAqB,EAAE,iBAAiB,EAAE,SAAS,CAAC;QACnE,WAAW,EAAE,CAAC,qCAAqC,CAAC;KACrD;IACD;QACE,GAAG,EAAE,qBAAqB;QAC1B,SAAS,EAAE,SAAS;QACpB,OAAO,EAAE,qBAAqB;QAC9B,QAAQ,EAAE,sDAAsD;QAChE,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,SAAS,EAAE,cAAc,EAAE,qBAAqB,EAAE,kBAAkB,CAAC;QACpF,WAAW,EAAE,CAAC,sDAAsD,CAAC;KACtE;IACD;QACE,GAAG,EAAE,YAAY;QACjB,SAAS,EAAE,MAAM;QACjB,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,sCAAsC;QAChD,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,uBAAuB,CAAC;QAC3E,WAAW,EAAE,CAAC,oDAAoD,CAAC;KACpE;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,SAAS,EAAE,MAAM;QACjB,OAAO,EAAE,iBAAiB;QAC1B,QAAQ,EAAE,0DAA0D;QACpE,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,mBAAmB,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,CAAC;QACvE,WAAW,EAAE,CAAC,oDAAoD,CAAC;KACpE;IACD;QACE,GAAG,EAAE,cAAc;QACnB,SAAS,EAAE,SAAS;QACpB,OAAO,EAAE,cAAc;QACvB,QAAQ,EAAE,mEAAmE;QAC7E,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,CAAC,8BAA8B,CAAC;QAC9C,WAAW,EAAE;YACX,kDAAkD;YAClD,4FAA4F;SAC7F;KACF;CACO,CAAC;AAEX,+EAA+E;AAC/E,MAAM,CAAC,MAAM,cAAc,GAAkC,MAAM,CAAC,MAAM,CACxE,oBAAoB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;IAChD,GAAG,KAAK;IACR,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;IACpD,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;CACnD,CAAC,CAAC,CACJ,CAAC;AAEF,MAAM,UAAU,UAAU,CACxB,SAAoB,EACpB,OAAe,EACf,cAAuB;IAEvB,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAC/B,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,OAAO,KAAK,OAAO,CAClF,CAAC;IACF,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,GAAG,SAAS,UAAU;YACjC,MAAM,EAAE,sCAAsC,SAAS,IAAI,OAAO,GAAG;YACrE,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC;SAC5D,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAC5D,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE;YACtB,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC;gBAAE,OAAO,KAAK,IAAI,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3E,IAAI,KAAK,CAAC,GAAG,KAAK,WAAW;gBAAE,OAAO,KAAK,KAAK,CAAC,CAAC;YAClD,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;YACxE,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,OAAO,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;YACzE,IAAI,KAAK,CAAC,GAAG,KAAK,qBAAqB;gBAAE,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YACnF,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EAAE,CAAC;QACL,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO;gBACL,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,KAAK,CAAC,GAAG;gBACpB,MAAM,EAAE,GAAG,cAAc,2CAA2C,KAAK,CAAC,QAAQ,IAAI;gBACtF,cAAc;aACf,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,SAAS,EAAE,KAAK,CAAC,GAAG;QACpB,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAC7D,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Shared types for human-to-code.
+ *
+ * The pipeline is: static analysis -> reviewed JSON contract -> grounded model
+ * patch -> isolated validation -> explicit application.
+ */
+export type TargetLanguage = "typescript" | "javascript" | "python" | "rust";
+export type ProviderName = "openai" | "anthropic" | "ollama" | "grok" | "gemini";
+export interface ProviderConfig {
+    /** Provider selected explicitly for structured patch generation. */
+    name: ProviderName;
+    /** Exact requested model id. The resolved response identity is audited. */
+    model: string;
+    /** Optional trusted endpoint (for example Ollama Cloud); local Ollama may use loopback HTTP. */
+    baseUrl?: string;
+}
+export interface Config {
+    /** Legacy single-language hint; static workspace analysis is authoritative. */
+    language: TargetLanguage;
+    /** Glob-free directory/file names to skip during discovery (a denylist). */
+    filesToIgnore: string[];
+    /**
+     * If true, non-.human files carrying `@Human:` directives may also be
+     * processed. Off by default — it widens the surface area (see plan §1.6).
+     */
+    allowNonHumanFiles: boolean;
+    /** Provider used only for the human -> strict step. */
+    provider: ProviderConfig;
+}
+/** Classification of a source file found during discovery. */
+export type SourceKind = 
+/** A hand-written or generated strict IR file: `foo.strict.human`. */
+"strict"
+/** A natural-language source file: `foo.human` (not `.strict.human`). */
+ | "human"
+/** Reserved special files, never compiled and never sent to a provider. */
+ | "config" | "secrets";
+export interface SourceFile {
+    /** Absolute path. */
+    absPath: string;
+    /** Path relative to the discovery root, using forward slashes. */
+    relPath: string;
+    kind: SourceKind;
+    /**
+     * For a `.human` file, the sibling `.strict.human` path that would take
+     * precedence if it exists. Undefined for non-human kinds.
+     */
+    strictSibling?: string;
+}
+export interface DiscoveryResult {
+    root: string;
+    /** Natural-language sources eligible for the human -> strict step. */
+    human: SourceFile[];
+    /** Strict IR sources (hand-written ones take precedence over generated). */
+    strict: SourceFile[];
+    /** The secrets file, if present. Never compiled, never sent to a provider. */
+    secrets?: SourceFile;
+    /** Every nested secrets.human, including ignored trees. */
+    secretsFiles?: SourceFile[];
+    /** Files skipped by ignore rules, for reporting under --dry-run. */
+    ignoredCount: number;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,YAAY,GAAG,QAAQ,GAAG,MAAM,CAAC;AAE7E,MAAM,MAAM,YAAY,GACpB,QAAQ,GACR,WAAW,GACX,QAAQ,GACR,MAAM,GACN,QAAQ,CAAC;AAEb,MAAM,WAAW,cAAc;IAC7B,oEAAoE;IACpE,IAAI,EAAE,YAAY,CAAC;IACnB,2EAA2E;IAC3E,KAAK,EAAE,MAAM,CAAC;IACd,gGAAgG;IAChG,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,MAAM;IACrB,+EAA+E;IAC/E,QAAQ,EAAE,cAAc,CAAC;IACzB,4EAA4E;IAC5E,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB;;;OAGG;IACH,kBAAkB,EAAE,OAAO,CAAC;IAC5B,uDAAuD;IACvD,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED,8DAA8D;AAC9D,MAAM,MAAM,UAAU;AACpB,sEAAsE;AACpE,QAAQ;AACV,yEAAyE;GACvE,OAAO;AACT,2EAA2E;GACzE,QAAQ,GACR,SAAS,CAAC;AAEd,MAAM,WAAW,UAAU;IACzB,qBAAqB;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,UAAU,CAAC;IACjB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,4EAA4E;IAC5E,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,8EAA8E;IAC9E,OAAO,CAAC,EAAE,UAAU,CAAC;IACrB,2DAA2D;IAC3D,YAAY,CAAC,EAAE,UAAU,EAAE,CAAC;IAC5B,oEAAoE;IACpE,YAAY,EAAE,MAAM,CAAC;CACtB"}

package/dist/types.js

@@ -0,0 +1,8 @@
+/**
+ * Shared types for human-to-code.
+ *
+ * The pipeline is: static analysis -> reviewed JSON contract -> grounded model
+ * patch -> isolated validation -> explicit application.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/validation.d.ts

@@ -0,0 +1,25 @@
+/** Strong, container-only validation with baseline comparison. */
+import type { ValidationPlanV1, ValidationReportV1 } from "./contracts.ts";
+export interface StrongSandboxOptions {
+    image: string;
+    dockerBinary?: string;
+    cpus?: number;
+    memory?: string;
+    pidsLimit?: number;
+    maxOutputBytes?: number;
+    /** Environment values are opt-in and should contain no credentials. */
+    environment?: Record<string, string>;
+}
+export interface ValidationComparisonOptions extends StrongSandboxOptions {
+    baselineRoot: string;
+    candidateRoot: string;
+    /** A single retry is used only to identify flaky commands. */
+    retryFailedOnce?: boolean;
+}
+export declare class ValidationError extends Error {
+    readonly code: string;
+    constructor(code: string, message: string);
+}
+export declare function strongSandboxAvailable(dockerBinary?: string): Promise<boolean>;
+export declare function validateBaselineAndCandidate(plan: ValidationPlanV1, options: ValidationComparisonOptions): Promise<ValidationReportV1>;
+//# sourceMappingURL=validation.d.ts.map

package/dist/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAMlE,OAAO,KAAK,EAGV,gBAAgB,EAChB,kBAAkB,EACnB,MAAM,gBAAgB,CAAC;AAqBxB,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,2BAA4B,SAAQ,oBAAoB;IACvE,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AASD,qBAAa,eAAgB,SAAQ,KAAK;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;gBAEV,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK1C;AA4HD,wBAAsB,sBAAsB,CAAC,YAAY,SAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAYtF;AA+LD,wBAAsB,4BAA4B,CAChD,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,2BAA2B,GACnC,OAAO,CAAC,kBAAkB,CAAC,CAmH7B"}