@eddacraft/anvil-core 0.1.0

package/dist/contracts/schemas/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * APS Schema Module
+ *
+ * This module exports the Anvil Plan Specification (APS) schema definitions,
+ * TypeScript types, validation utilities, and JSON Schema generation.
+ */
+export { APSPlanSchema, ChangeSchema, ChangeTypeSchema, ProvenanceSchema, ValidationSchema, EvidenceSchema, EvidenceEntrySchema, ApprovalSchema, ExecutionResultSchema, } from './aps.schema.js';
+export type { APSPlan, Change, ChangeType, Provenance, Validation, Evidence, EvidenceEntry, Approval, ExecutionResult, SchemaValidationResult, } from './aps.schema.js';
+export { validatePlan, createPlan, APS_SCHEMA_VERSION } from './aps.schema.js';
+export * from './warning.schema.js';
+export { generateJSONSchema } from './json-schema.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/contracts/schemas/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/contracts/schemas/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,mBAAmB,EACnB,cAAc,EACd,qBAAqB,GACtB,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACV,OAAO,EACP,MAAM,EACN,UAAU,EACV,UAAU,EACV,UAAU,EACV,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,eAAe,EACf,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAG/E,cAAc,qBAAqB,CAAC;AAGpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/contracts/schemas/index.js

@@ -0,0 +1,14 @@
+/**
+ * APS Schema Module
+ *
+ * This module exports the Anvil Plan Specification (APS) schema definitions,
+ * TypeScript types, validation utilities, and JSON Schema generation.
+ */
+// Re-export all Zod schemas
+export { APSPlanSchema, ChangeSchema, ChangeTypeSchema, ProvenanceSchema, ValidationSchema, EvidenceSchema, EvidenceEntrySchema, ApprovalSchema, ExecutionResultSchema, } from './aps.schema.js';
+// Re-export utility functions
+export { validatePlan, createPlan, APS_SCHEMA_VERSION } from './aps.schema.js';
+// Warning schema (planless checks)
+export * from './warning.schema.js';
+// Export JSON Schema generation utilities
+export { generateJSONSchema } from './json-schema.js';

package/dist/contracts/schemas/json-schema.d.ts

@@ -0,0 +1,14 @@
+import type { JSONSchema7 } from 'json-schema';
+/**
+ * Generate JSON Schema from the Zod schema
+ * This can be used for external tooling, documentation, or validation
+ * with tools that require JSON Schema format
+ *
+ * Uses Zod v4's native z.toJSONSchema() function for conversion
+ */
+export declare function generateJSONSchema(): JSONSchema7;
+/**
+ * Get a formatted JSON Schema string
+ */
+export declare function getJSONSchemaString(pretty?: boolean): string;
+//# sourceMappingURL=json-schema.d.ts.map

package/dist/contracts/schemas/json-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-schema.d.ts","sourceRoot":"","sources":["../../../src/contracts/schemas/json-schema.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C;;;;;;GAMG;AACH,wBAAgB,kBAAkB,IAAI,WAAW,CAuBhD;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,UAAO,GAAG,MAAM,CAGzD"}

package/dist/contracts/schemas/json-schema.js

@@ -0,0 +1,31 @@
+import * as z from 'zod';
+import { APSPlanSchema, APS_SCHEMA_VERSION } from './aps.schema.js';
+/**
+ * Generate JSON Schema from the Zod schema
+ * This can be used for external tooling, documentation, or validation
+ * with tools that require JSON Schema format
+ *
+ * Uses Zod v4's native z.toJSONSchema() function for conversion
+ */
+export function generateJSONSchema() {
+    // Use Zod v4's native JSON Schema converter
+    const jsonSchema = z.toJSONSchema(APSPlanSchema, {
+        target: 'draft-7', // Target JSON Schema Draft 7
+    });
+    const schemaWithMetadata = {
+        ...jsonSchema,
+        $schema: 'http://json-schema.org/draft-07/schema#',
+        $id: `https://anvil.dev/schemas/aps/${APS_SCHEMA_VERSION}/plan.json`,
+        title: 'Anvil Plan Specification (APS)',
+        description: 'Schema for Anvil Plan Specification - a deterministic plan format for development automation',
+        version: APS_SCHEMA_VERSION,
+    };
+    return schemaWithMetadata;
+}
+/**
+ * Get a formatted JSON Schema string
+ */
+export function getJSONSchemaString(pretty = true) {
+    const schema = generateJSONSchema();
+    return pretty ? JSON.stringify(schema, null, 2) : JSON.stringify(schema);
+}

package/dist/contracts/schemas/warning.schema.d.ts

@@ -0,0 +1,171 @@
+/**
+ * Warning types for @eddacraft/anvil-contracts
+ *
+ * Minimal type definitions for warnings used across packages.
+ * Full Zod schemas and utilities are in @eddacraft/anvil-core.
+ */
+import { z } from 'zod';
+export declare const LocationSchema: z.ZodObject<{
+    file: z.ZodString;
+    line: z.ZodNumber;
+    column: z.ZodOptional<z.ZodNumber>;
+    endLine: z.ZodOptional<z.ZodNumber>;
+    endColumn: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export type Location = z.infer<typeof LocationSchema>;
+export declare const DriftSchema: z.ZodObject<{
+    isNew: z.ZodBoolean;
+    existingCount: z.ZodOptional<z.ZodNumber>;
+    baselineId: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type Drift = z.infer<typeof DriftSchema>;
+export declare const SuppressionSchema: z.ZodObject<{
+    reason: z.ZodString;
+    author: z.ZodOptional<z.ZodString>;
+    timestamp: z.ZodOptional<z.ZodString>;
+    scope: z.ZodEnum<{
+        file: "file";
+        line: "line";
+        statement: "statement";
+        import: "import";
+    }>;
+}, z.core.$strip>;
+export type Suppression = z.infer<typeof SuppressionSchema>;
+export declare const WarningCategorySchema: z.ZodEnum<{
+    "anti-pattern": "anti-pattern";
+    boundary: "boundary";
+    architecture: "architecture";
+}>;
+export type WarningCategory = z.infer<typeof WarningCategorySchema>;
+export declare const WarningSeveritySchema: z.ZodEnum<{
+    warning: "warning";
+    error: "error";
+    info: "info";
+}>;
+export type WarningSeverity = z.infer<typeof WarningSeveritySchema>;
+export declare const ConfidenceSchema: z.ZodEnum<{
+    high: "high";
+    medium: "medium";
+    low: "low";
+}>;
+export type Confidence = z.infer<typeof ConfidenceSchema>;
+export declare const WarningSchema: z.ZodObject<{
+    id: z.ZodString;
+    fingerprint: z.ZodOptional<z.ZodString>;
+    category: z.ZodEnum<{
+        "anti-pattern": "anti-pattern";
+        boundary: "boundary";
+        architecture: "architecture";
+    }>;
+    severity: z.ZodEnum<{
+        warning: "warning";
+        error: "error";
+        info: "info";
+    }>;
+    confidence: z.ZodEnum<{
+        high: "high";
+        medium: "medium";
+        low: "low";
+    }>;
+    title: z.ZodString;
+    message: z.ZodString;
+    explanation: z.ZodString;
+    suggestion: z.ZodString;
+    nudge: z.ZodOptional<z.ZodString>;
+    location: z.ZodObject<{
+        file: z.ZodString;
+        line: z.ZodNumber;
+        column: z.ZodOptional<z.ZodNumber>;
+        endLine: z.ZodOptional<z.ZodNumber>;
+        endColumn: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>;
+    pattern: z.ZodOptional<z.ZodString>;
+    drift: z.ZodOptional<z.ZodObject<{
+        isNew: z.ZodBoolean;
+        existingCount: z.ZodOptional<z.ZodNumber>;
+        baselineId: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    suppressed: z.ZodOptional<z.ZodObject<{
+        reason: z.ZodString;
+        author: z.ZodOptional<z.ZodString>;
+        timestamp: z.ZodOptional<z.ZodString>;
+        scope: z.ZodEnum<{
+            file: "file";
+            line: "line";
+            statement: "statement";
+            import: "import";
+        }>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type Warning = z.infer<typeof WarningSchema>;
+export declare const WarningResultSchema: z.ZodObject<{
+    warnings: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        fingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodEnum<{
+            "anti-pattern": "anti-pattern";
+            boundary: "boundary";
+            architecture: "architecture";
+        }>;
+        severity: z.ZodEnum<{
+            warning: "warning";
+            error: "error";
+            info: "info";
+        }>;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        title: z.ZodString;
+        message: z.ZodString;
+        explanation: z.ZodString;
+        suggestion: z.ZodString;
+        nudge: z.ZodOptional<z.ZodString>;
+        location: z.ZodObject<{
+            file: z.ZodString;
+            line: z.ZodNumber;
+            column: z.ZodOptional<z.ZodNumber>;
+            endLine: z.ZodOptional<z.ZodNumber>;
+            endColumn: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>;
+        pattern: z.ZodOptional<z.ZodString>;
+        drift: z.ZodOptional<z.ZodObject<{
+            isNew: z.ZodBoolean;
+            existingCount: z.ZodOptional<z.ZodNumber>;
+            baselineId: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        suppressed: z.ZodOptional<z.ZodObject<{
+            reason: z.ZodString;
+            author: z.ZodOptional<z.ZodString>;
+            timestamp: z.ZodOptional<z.ZodString>;
+            scope: z.ZodEnum<{
+                file: "file";
+                line: "line";
+                statement: "statement";
+                import: "import";
+            }>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    summary: z.ZodObject<{
+        total: z.ZodNumber;
+        byCategory: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        bySeverity: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        suppressed: z.ZodNumber;
+        blocking: z.ZodNumber;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export type WarningResult = z.infer<typeof WarningResultSchema>;
+export interface WarningSummary {
+    total: number;
+    byCategory: Record<string, number>;
+    bySeverity: Record<string, number>;
+    suppressed: number;
+    blocking: number;
+}
+export declare function createWarningFingerprint(warning: Warning): string;
+export declare function isBlockingWarning(warning: Warning): boolean;
+export declare function countBySeverity(warnings: Warning[]): Record<string, number>;
+export declare function createWarningResult(warnings: Warning[]): WarningResult;
+export declare function validateWarningResultConsistency(result: WarningResult): boolean;
+//# sourceMappingURL=warning.schema.d.ts.map

package/dist/contracts/schemas/warning.schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"warning.schema.d.ts","sourceRoot":"","sources":["../../../src/contracts/schemas/warning.schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,eAAO,MAAM,cAAc;;;;;;iBAMzB,CAAC;AAEH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAMtD,eAAO,MAAM,WAAW;;;;iBAItB,CAAC;AAEH,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAMhD,eAAO,MAAM,iBAAiB;;;;;;;;;;iBAK5B,CAAC;AAEH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAM5D,eAAO,MAAM,qBAAqB;;;;EAAuD,CAAC;AAC1F,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,qBAAqB;;;;EAAuC,CAAC;AAC1E,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,gBAAgB;;;;EAAoC,CAAC;AAClE,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAexB,CAAC;AAEH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAMpD,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAS9B,CAAC;AAEH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAMD,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAMjE;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAE3D;AAED,wBAAgB,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAM3E;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,aAAa,CAsBtE;AAED,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAU/E"}

package/dist/contracts/schemas/warning.schema.js

@@ -0,0 +1,123 @@
+/**
+ * Warning types for @eddacraft/anvil-contracts
+ *
+ * Minimal type definitions for warnings used across packages.
+ * Full Zod schemas and utilities are in @eddacraft/anvil-core.
+ */
+import { z } from 'zod';
+// =============================================================================
+// Location Schema
+// =============================================================================
+export const LocationSchema = z.object({
+    file: z.string(),
+    line: z.number().int().positive(),
+    column: z.number().int().nonnegative().optional(),
+    endLine: z.number().int().positive().optional(),
+    endColumn: z.number().int().nonnegative().optional(),
+});
+// =============================================================================
+// Drift Schema
+// =============================================================================
+export const DriftSchema = z.object({
+    isNew: z.boolean(),
+    existingCount: z.number().int().nonnegative().optional(),
+    baselineId: z.string().optional(),
+});
+// =============================================================================
+// Suppression Schema
+// =============================================================================
+export const SuppressionSchema = z.object({
+    reason: z.string().min(1),
+    author: z.string().optional(),
+    timestamp: z.string().datetime().optional(),
+    scope: z.enum(['statement', 'import', 'file', 'line']),
+});
+// =============================================================================
+// Warning Schema
+// =============================================================================
+export const WarningCategorySchema = z.enum(['anti-pattern', 'boundary', 'architecture']);
+export const WarningSeveritySchema = z.enum(['error', 'warning', 'info']);
+export const ConfidenceSchema = z.enum(['high', 'medium', 'low']);
+export const WarningSchema = z.object({
+    id: z.string().regex(/^(AP|ARCH|BOUND)-\d{3}$/),
+    fingerprint: z.string().optional(),
+    category: WarningCategorySchema,
+    severity: WarningSeveritySchema,
+    confidence: ConfidenceSchema,
+    title: z.string(),
+    message: z.string(),
+    explanation: z.string(),
+    suggestion: z.string(),
+    nudge: z.string().optional(),
+    location: LocationSchema,
+    pattern: z.string().optional(),
+    drift: DriftSchema.optional(),
+    suppressed: SuppressionSchema.optional(),
+});
+// =============================================================================
+// Warning Result Schema
+// =============================================================================
+export const WarningResultSchema = z.object({
+    warnings: z.array(WarningSchema),
+    summary: z.object({
+        total: z.number().int().nonnegative(),
+        byCategory: z.record(z.string(), z.number().int().nonnegative()),
+        bySeverity: z.record(z.string(), z.number().int().nonnegative()),
+        suppressed: z.number().int().nonnegative(),
+        blocking: z.number().int().nonnegative(),
+    }),
+});
+// =============================================================================
+// Helper Functions
+// =============================================================================
+export function createWarningFingerprint(warning) {
+    const parts = [warning.id, warning.location.file, warning.location.line.toString()];
+    if (warning.pattern) {
+        parts.push(warning.pattern);
+    }
+    return parts.join(':');
+}
+export function isBlockingWarning(warning) {
+    return warning.severity === 'error' && !warning.suppressed;
+}
+export function countBySeverity(warnings) {
+    const counts = { error: 0, warning: 0, info: 0 };
+    for (const w of warnings) {
+        counts[w.severity] = (counts[w.severity] || 0) + 1;
+    }
+    return counts;
+}
+export function createWarningResult(warnings) {
+    const byCategory = {};
+    const bySeverity = countBySeverity(warnings);
+    let suppressed = 0;
+    let blocking = 0;
+    for (const w of warnings) {
+        byCategory[w.category] = (byCategory[w.category] || 0) + 1;
+        if (w.suppressed)
+            suppressed++;
+        if (isBlockingWarning(w))
+            blocking++;
+    }
+    return {
+        warnings,
+        summary: {
+            total: warnings.length,
+            byCategory,
+            bySeverity,
+            suppressed,
+            blocking,
+        },
+    };
+}
+export function validateWarningResultConsistency(result) {
+    const actualTotal = result.warnings.length;
+    if (result.summary.total !== actualTotal)
+        return false;
+    const actualBySeverity = countBySeverity(result.warnings);
+    for (const [severity, count] of Object.entries(result.summary.bySeverity)) {
+        if (actualBySeverity[severity] !== count)
+            return false;
+    }
+    return true;
+}

package/dist/contracts/types/gate.types.d.ts

@@ -0,0 +1,194 @@
+/**
+ * Gate Types for @eddacraft/anvil-contracts
+ *
+ * Pure type definitions for gate configuration and results.
+ * No runtime dependencies - these are shared across packages.
+ */
+import type { APSPlan, Warning, WarningResult } from '../schemas/index.js';
+/**
+ * Policy bundle configuration for remote bundles in GateConfig
+ */
+export interface PolicyBundleConfig {
+    /** Bundle URL */
+    url: string;
+    /** Bundle name/identifier */
+    name?: string;
+    /** Whether this bundle is enabled */
+    enabled?: boolean;
+    /** Polling interval in milliseconds for updates */
+    polling_interval?: number;
+    /** Authentication configuration */
+    auth?: {
+        type: 'bearer' | 'basic' | 'aws-sigv4';
+        token?: string;
+        username?: string;
+        password?: string;
+    };
+}
+/**
+ * Signature algorithms supported for policy bundle verification
+ */
+export type SignatureAlgorithm = 'RS256' | 'RS384' | 'RS512' | 'ES256' | 'ES384' | 'ES512';
+/**
+ * Policy verification settings
+ */
+export interface PolicyVerificationConfig {
+    /** Whether to require signatures on bundles */
+    require_signatures?: boolean;
+    /** Allowed signature algorithms */
+    allowed_algorithms?: SignatureAlgorithm[];
+    /** Public keys for verification (key ID to PEM content or path) */
+    keys?: Record<string, string>;
+}
+/**
+ * Policy-specific configuration within GateConfig
+ */
+export interface PolicyConfig {
+    /** Remote policy bundles */
+    bundles?: PolicyBundleConfig[];
+    /** Signature verification settings */
+    verification?: PolicyVerificationConfig;
+}
+/**
+ * Configuration for a single stack layer (Kindling, Ember, or Edda)
+ */
+export interface StackLayerConfig {
+    /** Whether this layer is enabled */
+    enabled: boolean;
+    /** Layer-specific configuration */
+    [key: string]: unknown;
+}
+/**
+ * Validation settings for stack integrity checks
+ */
+export interface StackValidationConfig {
+    /** Check that provenance links resolve correctly across layers */
+    check_provenance_integrity?: boolean;
+    /** Check that schemas are compatible between layers */
+    check_schema_compatibility?: boolean;
+}
+/**
+ * Stack-wide configuration for the Edda Stack (Kindling -> Ember -> Edda)
+ */
+export interface StackConfig {
+    /** Kindling layer configuration (observation) */
+    kindling?: StackLayerConfig;
+    /** Ember layer configuration (candidate memories) */
+    ember?: StackLayerConfig;
+    /** Edda layer configuration (canonical memories) */
+    edda?: StackLayerConfig;
+    /** Validation settings for stack integrity checks */
+    validation?: StackValidationConfig;
+}
+/**
+ * Watch configuration for file watching
+ * This is a base type - runtime watch module has more detailed version
+ */
+export interface WatchConfig {
+    /** File patterns to watch */
+    patterns?: string[];
+    /** Patterns to exclude */
+    exclude?: string[];
+    /** Debounce delay in milliseconds */
+    debounce?: number;
+    /** Git integration settings */
+    git?: Record<string, unknown>;
+    /** Allow additional properties for runtime extensions */
+    [key: string]: unknown;
+}
+export interface GateCheck {
+    name: string;
+    description: string;
+    enabled: boolean;
+    config?: Record<string, unknown>;
+}
+/**
+ * Extended details that can include warnings from anti-pattern/boundary checks
+ */
+export interface GateResultDetails {
+    /** Warnings from anti-pattern or boundary detection */
+    warnings?: WarningResult;
+    /** Any other check-specific details */
+    [key: string]: unknown;
+}
+export interface GateResult {
+    check: string;
+    passed: boolean;
+    score?: number;
+    message: string;
+    details?: GateResultDetails;
+    error?: string;
+    skipped?: boolean;
+}
+/**
+ * Helper to extract warnings from a GateResult
+ */
+export declare function getWarningsFromResult(result: GateResult): Warning[];
+/**
+ * Helper to check if a GateResult has blocking warnings
+ */
+export declare function hasBlockingWarnings(result: GateResult): boolean;
+export interface GateRunResult {
+    overall: boolean;
+    score: number;
+    checks: GateResult[];
+    summary: {
+        total: number;
+        passed: number;
+        failed: number;
+        skipped: number;
+    };
+}
+export interface GateConfig {
+    version: number;
+    checks: GateCheck[];
+    thresholds: {
+        overall_score: number;
+        [key: string]: number;
+    };
+    global_config?: Record<string, unknown>;
+    /** Watch mode configuration */
+    watch?: WatchConfig;
+    /** Policy configuration including remote bundles */
+    policy?: PolicyConfig;
+    /** Stack configuration for Edda Stack layers */
+    stack?: StackConfig;
+}
+export type PlanData = APSPlan;
+/**
+ * Architecture context base type - full implementation in @eddacraft/anvil-core
+ * Uses unknown for layers/modules since runtime has more detailed types
+ */
+export interface ArchitectureContextBase {
+    /** Project root path */
+    root?: string;
+    /** Layer information - full type in @eddacraft/anvil-core */
+    layers?: Record<string, unknown>;
+    /** Module information */
+    modules?: Record<string, unknown>;
+    /** Allow additional properties for runtime extensions */
+    [key: string]: unknown;
+}
+export interface CheckContext {
+    /** Plan data - optional for planless mode */
+    plan?: PlanData;
+    workspace_root: string;
+    config: GateConfig;
+    check_config: Record<string, unknown>;
+    /** Full codebase scan mode (no plan-based scoping) */
+    fullScan?: boolean;
+    /** Explicit file list for planless mode (workspace-relative or absolute paths) */
+    targetFiles?: string[];
+    /** Architecture context from ArchitectureCheck - passed to downstream checks (e.g., PolicyCheck) */
+    architectureContext?: ArchitectureContextBase;
+}
+/**
+ * Options for normalising target files
+ */
+export interface NormaliseFilesOptions {
+    /** Filter function to check if file should be included */
+    filter?: (filePath: string) => boolean;
+    /** Whether to check file existence (default: true) */
+    checkExists?: boolean;
+}
+//# sourceMappingURL=gate.types.d.ts.map

package/dist/contracts/types/gate.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.types.d.ts","sourceRoot":"","sources":["../../../src/contracts/types/gate.types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAE3E;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,iBAAiB;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,6BAA6B;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,qCAAqC;IACrC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,mDAAmD;IACnD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,mCAAmC;IACnC,IAAI,CAAC,EAAE;QACL,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,WAAW,CAAC;QACvC,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;AAE3F;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,+CAA+C;IAC/C,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,mCAAmC;IACnC,kBAAkB,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC1C,mEAAmE;IACnE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,4BAA4B;IAC5B,OAAO,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC/B,sCAAsC;IACtC,YAAY,CAAC,EAAE,wBAAwB,CAAC;CACzC;AAMD;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,oCAAoC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,mCAAmC;IACnC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,kEAAkE;IAClE,0BAA0B,CAAC,EAAE,OAAO,CAAC;IACrC,uDAAuD;IACvD,0BAA0B,CAAC,EAAE,OAAO,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,qDAAqD;IACrD,KAAK,CAAC,EAAE,gBAAgB,CAAC;IACzB,oDAAoD;IACpD,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACxB,qDAAqD;IACrD,UAAU,CAAC,EAAE,qBAAqB,CAAC;CACpC;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,0BAA0B;IAC1B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,qCAAqC;IACrC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+BAA+B;IAC/B,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,yDAAyD;IACzD,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,uDAAuD;IACvD,QAAQ,CAAC,EAAE,aAAa,CAAC;IACzB,uCAAuC;IACvC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,EAAE,CAEnE;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAG/D;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,OAAO,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,UAAU,EAAE;QACV,aAAa,EAAE,MAAM,CAAC;QACtB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC;KACvB,CAAC;IACF,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,+BAA+B;IAC/B,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,oDAAoD;IACpD,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,gDAAgD;IAChD,KAAK,CAAC,EAAE,WAAW,CAAC;CACrB;AAGD,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC;AAE/B;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,wBAAwB;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,6DAA6D;IAC7D,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,yBAAyB;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,yDAAyD;IACzD,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B,6CAA6C;IAC7C,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,UAAU,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,sDAAsD;IACtD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,kFAAkF;IAClF,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,oGAAoG;IACpG,mBAAmB,CAAC,EAAE,uBAAuB,CAAC;CAC/C;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,0DAA0D;IAC1D,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IACvC,sDAAsD;IACtD,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB"}

package/dist/contracts/types/gate.types.js

@@ -0,0 +1,19 @@
+/**
+ * Gate Types for @eddacraft/anvil-contracts
+ *
+ * Pure type definitions for gate configuration and results.
+ * No runtime dependencies - these are shared across packages.
+ */
+/**
+ * Helper to extract warnings from a GateResult
+ */
+export function getWarningsFromResult(result) {
+    return result.details?.warnings?.warnings ?? [];
+}
+/**
+ * Helper to check if a GateResult has blocking warnings
+ */
+export function hasBlockingWarnings(result) {
+    const warnings = getWarningsFromResult(result);
+    return warnings.some((w) => w.severity === 'error' && !w.suppressed);
+}

package/dist/contracts/types/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Type exports for @eddacraft/anvil-contracts
+ *
+ * Re-exports types from schemas for convenience.
+ * All types are inferred from Zod schemas.
+ */
+export type { APSPlan, Change, ChangeType, Provenance, Validation, Evidence, EvidenceEntry, Approval, ExecutionResult, SchemaValidationResult, Warning, WarningResult, WarningCategory, WarningSeverity, Confidence, Location, Drift, Suppression, WarningSummary, } from '../schemas/index.js';
+export * from './gate.types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/contracts/types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/contracts/types/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,YAAY,EACV,OAAO,EACP,MAAM,EACN,UAAU,EACV,UAAU,EACV,UAAU,EACV,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,eAAe,EACf,sBAAsB,EACtB,OAAO,EACP,aAAa,EACb,eAAe,EACf,eAAe,EACf,UAAU,EACV,QAAQ,EACR,KAAK,EACL,WAAW,EACX,cAAc,GACf,MAAM,qBAAqB,CAAC;AAG7B,cAAc,iBAAiB,CAAC"}

package/dist/contracts/types/index.js

@@ -0,0 +1,8 @@
+/**
+ * Type exports for @eddacraft/anvil-contracts
+ *
+ * Re-exports types from schemas for convenience.
+ * All types are inferred from Zod schemas.
+ */
+// Re-export gate types
+export * from './gate.types.js';