@fenglimg/fabric-shared 1.0.0 → 1.1.0

package/dist/index.d.ts

@@ -1,67 +1,99 @@
-import { HumanLockEntry, AgentsMeta, LedgerEntry } from './types/index.js';
-export { AgentsMetaNode, AiLedgerEntry, ClientPaths, FabricConfig, HumanLedgerEntry } from './types/index.js';
+import { AgentsLayer, AgentsTopologyType, AgentsMetaNode, HumanLockEntry, AgentsMeta, LedgerEntry } from './types/index.js';
+export { AiLedgerEntry, AuditMode, ClientPaths, FabricConfig, HumanLedgerEntry } from './types/index.js';
 export { Locale, Messages, PROTECTED_TOKENS, ProtectedToken, TranslationKey, Translator, createTranslator, defaultMessages, detectNodeLocale, enMessages, normalizeLocale, zhCNMessages } from './i18n/index.js';
 import { z } from 'zod';
 
-declare const agentsMetaNodeSchema: z.ZodObject<{
+declare const AGENTS_META_LAYERS: readonly ["L0", "L1", "L2"];
+declare const AGENTS_META_TOPOLOGY_TYPES: readonly ["mirror", "cross-cutting"];
+declare const agentsLayerSchema: z.ZodEnum<["L0", "L1", "L2"]>;
+declare const agentsTopologyTypeSchema: z.ZodEnum<["mirror", "cross-cutting"]>;
+type AgentsMetaNodeInput = Omit<AgentsMetaNode, "layer" | "topology_type"> & Partial<Pick<AgentsMetaNode, "layer" | "topology_type">>;
+declare const agentsMetaNodeSchema: z.ZodEffects<z.ZodObject<{
     file: z.ZodString;
     scope_glob: z.ZodString;
     deps: z.ZodArray<z.ZodString, "many">;
     priority: z.ZodEnum<["high", "medium", "low"]>;
+    layer: z.ZodEnum<["L0", "L1", "L2"]>;
+    topology_type: z.ZodEnum<["mirror", "cross-cutting"]>;
     hash: z.ZodString;
 }, "strip", z.ZodTypeAny, {
     file: string;
     priority: "high" | "medium" | "low";
     hash: string;
+    layer: "L0" | "L1" | "L2";
+    topology_type: "mirror" | "cross-cutting";
     scope_glob: string;
     deps: string[];
 }, {
     file: string;
     priority: "high" | "medium" | "low";
     hash: string;
+    layer: "L0" | "L1" | "L2";
+    topology_type: "mirror" | "cross-cutting";
     scope_glob: string;
     deps: string[];
-}>;
+}>, {
+    file: string;
+    priority: "high" | "medium" | "low";
+    hash: string;
+    layer: "L0" | "L1" | "L2";
+    topology_type: "mirror" | "cross-cutting";
+    scope_glob: string;
+    deps: string[];
+}, unknown>;
 declare const agentsMetaSchema: z.ZodObject<{
     revision: z.ZodString;
-    nodes: z.ZodRecord<z.ZodString, z.ZodObject<{
+    nodes: z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodObject<{
         file: z.ZodString;
         scope_glob: z.ZodString;
         deps: z.ZodArray<z.ZodString, "many">;
         priority: z.ZodEnum<["high", "medium", "low"]>;
+        layer: z.ZodEnum<["L0", "L1", "L2"]>;
+        topology_type: z.ZodEnum<["mirror", "cross-cutting"]>;
         hash: z.ZodString;
     }, "strip", z.ZodTypeAny, {
         file: string;
         priority: "high" | "medium" | "low";
         hash: string;
+        layer: "L0" | "L1" | "L2";
+        topology_type: "mirror" | "cross-cutting";
         scope_glob: string;
         deps: string[];
     }, {
         file: string;
         priority: "high" | "medium" | "low";
         hash: string;
+        layer: "L0" | "L1" | "L2";
+        topology_type: "mirror" | "cross-cutting";
         scope_glob: string;
         deps: string[];
-    }>>;
-}, "strip", z.ZodTypeAny, {
-    revision: string;
-    nodes: Record<string, {
+    }>, {
         file: string;
         priority: "high" | "medium" | "low";
         hash: string;
+        layer: "L0" | "L1" | "L2";
+        topology_type: "mirror" | "cross-cutting";
         scope_glob: string;
         deps: string[];
-    }>;
-}, {
+    }, unknown>>;
+}, "strip", z.ZodTypeAny, {
     revision: string;
     nodes: Record<string, {
         file: string;
         priority: "high" | "medium" | "low";
         hash: string;
+        layer: "L0" | "L1" | "L2";
+        topology_type: "mirror" | "cross-cutting";
         scope_glob: string;
         deps: string[];
     }>;
+}, {
+    revision: string;
+    nodes: Record<string, unknown>;
 }>;
+declare function withDerivedAgentsMetaNodeDefaults(node: AgentsMetaNodeInput): AgentsMetaNode;
+declare function deriveAgentsMetaLayer(file: string): AgentsLayer;
+declare function deriveAgentsMetaTopologyType(file: string): AgentsTopologyType;
 
 declare const ledgerSourceSchema: z.ZodEnum<["ai", "human"]>;
 declare const ledgerQuerySchema: z.ZodObject<{
@@ -299,6 +331,7 @@ declare const humanLockFileSchema: z.ZodObject<{
     }[] | undefined;
 }>;
 
+declare const auditModeSchema: z.ZodEnum<["strict", "warn", "off"]>;
 declare const clientPathsSchema: z.ZodObject<{
     claudeCodeCLI: z.ZodOptional<z.ZodString>;
     claudeCodeDesktop: z.ZodOptional<z.ZodString>;
@@ -352,6 +385,8 @@ declare const fabricConfigSchema: z.ZodObject<{
     }>>;
     externalFixturePath: z.ZodOptional<z.ZodString>;
     scanIgnores: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    auditMode: z.ZodOptional<z.ZodEnum<["strict", "warn", "off"]>>;
+    audit_mode: z.ZodOptional<z.ZodEnum<["strict", "warn", "off"]>>;
 }, "strip", z.ZodTypeAny, {
     clientPaths?: {
         claudeCodeCLI?: string | undefined;
@@ -364,6 +399,8 @@ declare const fabricConfigSchema: z.ZodObject<{
     } | undefined;
     externalFixturePath?: string | undefined;
     scanIgnores?: string[] | undefined;
+    auditMode?: "strict" | "warn" | "off" | undefined;
+    audit_mode?: "strict" | "warn" | "off" | undefined;
 }, {
     clientPaths?: {
         claudeCodeCLI?: string | undefined;
@@ -376,6 +413,8 @@ declare const fabricConfigSchema: z.ZodObject<{
     } | undefined;
     externalFixturePath?: string | undefined;
     scanIgnores?: string[] | undefined;
+    auditMode?: "strict" | "warn" | "off" | undefined;
+    audit_mode?: "strict" | "warn" | "off" | undefined;
 }>;
 
 interface ForensicCodeSample {
@@ -384,6 +423,28 @@ interface ForensicCodeSample {
     snippet: string;
     pattern_hint: string;
 }
+interface ForensicEvidenceAnchor {
+    file: string;
+    line: string;
+    snippet: string;
+}
+interface ForensicAssertionCoverage {
+    ratio: number;
+    total: number;
+    matched: number;
+    co_occurring_patterns: string[];
+}
+type ForensicAssertionType = "framework" | "pattern" | "invariant" | "domain";
+type ForensicAssertionConfidence = "HIGH" | "MEDIUM" | "LOW";
+interface ForensicAssertion {
+    type: ForensicAssertionType;
+    statement: string;
+    confidence: ForensicAssertionConfidence;
+    evidence: ForensicEvidenceAnchor[];
+    coverage: ForensicAssertionCoverage;
+    proposed_rule?: string;
+    alternatives?: string[];
+}
 interface ForensicTopology {
     total_files: number;
     by_ext: Record<string, number>;
@@ -406,6 +467,16 @@ interface ForensicReadme {
     line_count: number;
     has_contributing: boolean;
 }
+type CandidateFileFamily = "entry" | "component" | "config" | "test" | "domain";
+interface CandidateFileEntry {
+    path: string;
+    family: CandidateFileFamily;
+    rationale: string;
+}
+interface ForensicSamplingBudget {
+    max_files: 15;
+    max_lines_per_file: 100;
+}
 interface ForensicReport {
     version: string;
     generated_at: string;
@@ -416,8 +487,12 @@ interface ForensicReport {
     topology: ForensicTopology;
     entry_points: ForensicEntryPoint[];
     code_samples: ForensicCodeSample[];
+    assertions: ForensicAssertion[];
+    candidate_files: CandidateFileEntry[];
+    sampling_budget: ForensicSamplingBudget;
     readme: ForensicReadme;
-    recommendations_for_skill: string[];
+    /** @deprecated Transitional migration field. Prefer assertions[]. */
+    recommendations_for_skill?: string[];
 }
 declare const forensicCodeSampleSchema: z.ZodObject<{
     path: z.ZodString;
@@ -435,6 +510,105 @@ declare const forensicCodeSampleSchema: z.ZodObject<{
     snippet: string;
     pattern_hint: string;
 }>;
+declare const forensicEvidenceAnchorSchema: z.ZodObject<{
+    file: z.ZodString;
+    line: z.ZodString;
+    snippet: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+    snippet: string;
+    line: string;
+}, {
+    file: string;
+    snippet: string;
+    line: string;
+}>;
+declare const forensicAssertionCoverageSchema: z.ZodObject<{
+    ratio: z.ZodNumber;
+    total: z.ZodNumber;
+    matched: z.ZodNumber;
+    co_occurring_patterns: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    ratio: number;
+    total: number;
+    matched: number;
+    co_occurring_patterns: string[];
+}, {
+    ratio: number;
+    total: number;
+    matched: number;
+    co_occurring_patterns: string[];
+}>;
+declare const forensicAssertionSchema: z.ZodObject<{
+    type: z.ZodEnum<["framework", "pattern", "invariant", "domain"]>;
+    statement: z.ZodString;
+    confidence: z.ZodEnum<["HIGH", "MEDIUM", "LOW"]>;
+    evidence: z.ZodArray<z.ZodObject<{
+        file: z.ZodString;
+        line: z.ZodString;
+        snippet: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        snippet: string;
+        line: string;
+    }, {
+        file: string;
+        snippet: string;
+        line: string;
+    }>, "many">;
+    coverage: z.ZodObject<{
+        ratio: z.ZodNumber;
+        total: z.ZodNumber;
+        matched: z.ZodNumber;
+        co_occurring_patterns: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        ratio: number;
+        total: number;
+        matched: number;
+        co_occurring_patterns: string[];
+    }, {
+        ratio: number;
+        total: number;
+        matched: number;
+        co_occurring_patterns: string[];
+    }>;
+    proposed_rule: z.ZodOptional<z.ZodString>;
+    alternatives: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    type: "framework" | "pattern" | "invariant" | "domain";
+    statement: string;
+    confidence: "HIGH" | "MEDIUM" | "LOW";
+    evidence: {
+        file: string;
+        snippet: string;
+        line: string;
+    }[];
+    coverage: {
+        ratio: number;
+        total: number;
+        matched: number;
+        co_occurring_patterns: string[];
+    };
+    proposed_rule?: string | undefined;
+    alternatives?: string[] | undefined;
+}, {
+    type: "framework" | "pattern" | "invariant" | "domain";
+    statement: string;
+    confidence: "HIGH" | "MEDIUM" | "LOW";
+    evidence: {
+        file: string;
+        snippet: string;
+        line: string;
+    }[];
+    coverage: {
+        ratio: number;
+        total: number;
+        matched: number;
+        co_occurring_patterns: string[];
+    };
+    proposed_rule?: string | undefined;
+    alternatives?: string[] | undefined;
+}>;
 declare const forensicTopologySchema: z.ZodObject<{
     total_files: z.ZodNumber;
     by_ext: z.ZodRecord<z.ZodString, z.ZodNumber>;
@@ -470,15 +644,15 @@ declare const forensicFrameworkSchema: z.ZodObject<{
     subkind: z.ZodString;
     evidence: z.ZodArray<z.ZodString, "many">;
 }, "strip", z.ZodTypeAny, {
+    evidence: string[];
     kind: string;
     version: string;
     subkind: string;
-    evidence: string[];
 }, {
+    evidence: string[];
     kind: string;
     version: string;
     subkind: string;
-    evidence: string[];
 }>;
 declare const forensicReadmeSchema: z.ZodObject<{
     quality: z.ZodEnum<["missing", "stub", "ok"]>;
@@ -493,6 +667,29 @@ declare const forensicReadmeSchema: z.ZodObject<{
     line_count: number;
     has_contributing: boolean;
 }>;
+declare const candidateFileEntrySchema: z.ZodObject<{
+    path: z.ZodString;
+    family: z.ZodEnum<["entry", "component", "config", "test", "domain"]>;
+    rationale: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    path: string;
+    family: "domain" | "entry" | "component" | "config" | "test";
+    rationale: string;
+}, {
+    path: string;
+    family: "domain" | "entry" | "component" | "config" | "test";
+    rationale: string;
+}>;
+declare const forensicSamplingBudgetSchema: z.ZodObject<{
+    max_files: z.ZodLiteral<15>;
+    max_lines_per_file: z.ZodLiteral<100>;
+}, "strip", z.ZodTypeAny, {
+    max_files: 15;
+    max_lines_per_file: 100;
+}, {
+    max_files: 15;
+    max_lines_per_file: 100;
+}>;
 declare const forensicReportSchema: z.ZodObject<{
     version: z.ZodString;
     generated_at: z.ZodString;
@@ -505,15 +702,15 @@ declare const forensicReportSchema: z.ZodObject<{
         subkind: z.ZodString;
         evidence: z.ZodArray<z.ZodString, "many">;
     }, "strip", z.ZodTypeAny, {
+        evidence: string[];
         kind: string;
         version: string;
         subkind: string;
-        evidence: string[];
     }, {
+        evidence: string[];
         kind: string;
         version: string;
         subkind: string;
-        evidence: string[];
     }>;
     topology: z.ZodObject<{
         total_files: z.ZodNumber;
@@ -560,6 +757,99 @@ declare const forensicReportSchema: z.ZodObject<{
         snippet: string;
         pattern_hint: string;
     }>, "many">;
+    assertions: z.ZodArray<z.ZodObject<{
+        type: z.ZodEnum<["framework", "pattern", "invariant", "domain"]>;
+        statement: z.ZodString;
+        confidence: z.ZodEnum<["HIGH", "MEDIUM", "LOW"]>;
+        evidence: z.ZodArray<z.ZodObject<{
+            file: z.ZodString;
+            line: z.ZodString;
+            snippet: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            snippet: string;
+            line: string;
+        }, {
+            file: string;
+            snippet: string;
+            line: string;
+        }>, "many">;
+        coverage: z.ZodObject<{
+            ratio: z.ZodNumber;
+            total: z.ZodNumber;
+            matched: z.ZodNumber;
+            co_occurring_patterns: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            ratio: number;
+            total: number;
+            matched: number;
+            co_occurring_patterns: string[];
+        }, {
+            ratio: number;
+            total: number;
+            matched: number;
+            co_occurring_patterns: string[];
+        }>;
+        proposed_rule: z.ZodOptional<z.ZodString>;
+        alternatives: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        type: "framework" | "pattern" | "invariant" | "domain";
+        statement: string;
+        confidence: "HIGH" | "MEDIUM" | "LOW";
+        evidence: {
+            file: string;
+            snippet: string;
+            line: string;
+        }[];
+        coverage: {
+            ratio: number;
+            total: number;
+            matched: number;
+            co_occurring_patterns: string[];
+        };
+        proposed_rule?: string | undefined;
+        alternatives?: string[] | undefined;
+    }, {
+        type: "framework" | "pattern" | "invariant" | "domain";
+        statement: string;
+        confidence: "HIGH" | "MEDIUM" | "LOW";
+        evidence: {
+            file: string;
+            snippet: string;
+            line: string;
+        }[];
+        coverage: {
+            ratio: number;
+            total: number;
+            matched: number;
+            co_occurring_patterns: string[];
+        };
+        proposed_rule?: string | undefined;
+        alternatives?: string[] | undefined;
+    }>, "many">;
+    candidate_files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        family: z.ZodEnum<["entry", "component", "config", "test", "domain"]>;
+        rationale: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        family: "domain" | "entry" | "component" | "config" | "test";
+        rationale: string;
+    }, {
+        path: string;
+        family: "domain" | "entry" | "component" | "config" | "test";
+        rationale: string;
+    }>, "many">;
+    sampling_budget: z.ZodObject<{
+        max_files: z.ZodLiteral<15>;
+        max_lines_per_file: z.ZodLiteral<100>;
+    }, "strip", z.ZodTypeAny, {
+        max_files: 15;
+        max_lines_per_file: 100;
+    }, {
+        max_files: 15;
+        max_lines_per_file: 100;
+    }>;
     readme: z.ZodObject<{
         quality: z.ZodEnum<["missing", "stub", "ok"]>;
         line_count: z.ZodNumber;
@@ -573,19 +863,19 @@ declare const forensicReportSchema: z.ZodObject<{
         line_count: number;
         has_contributing: boolean;
     }>;
-    recommendations_for_skill: z.ZodArray<z.ZodString, "many">;
+    recommendations_for_skill: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
 }, "strip", z.ZodTypeAny, {
-    version: string;
-    generated_at: string;
-    generated_by: string;
-    target: string;
-    project_name: string;
     framework: {
+        evidence: string[];
         kind: string;
         version: string;
         subkind: string;
-        evidence: string[];
     };
+    version: string;
+    generated_at: string;
+    generated_by: string;
+    target: string;
+    project_name: string;
     topology: {
         total_files: number;
         by_ext: Record<string, number>;
@@ -603,24 +893,51 @@ declare const forensicReportSchema: z.ZodObject<{
         snippet: string;
         pattern_hint: string;
     }[];
+    assertions: {
+        type: "framework" | "pattern" | "invariant" | "domain";
+        statement: string;
+        confidence: "HIGH" | "MEDIUM" | "LOW";
+        evidence: {
+            file: string;
+            snippet: string;
+            line: string;
+        }[];
+        coverage: {
+            ratio: number;
+            total: number;
+            matched: number;
+            co_occurring_patterns: string[];
+        };
+        proposed_rule?: string | undefined;
+        alternatives?: string[] | undefined;
+    }[];
+    candidate_files: {
+        path: string;
+        family: "domain" | "entry" | "component" | "config" | "test";
+        rationale: string;
+    }[];
+    sampling_budget: {
+        max_files: 15;
+        max_lines_per_file: 100;
+    };
     readme: {
         quality: "missing" | "ok" | "stub";
         line_count: number;
         has_contributing: boolean;
     };
-    recommendations_for_skill: string[];
+    recommendations_for_skill?: string[] | undefined;
 }, {
-    version: string;
-    generated_at: string;
-    generated_by: string;
-    target: string;
-    project_name: string;
     framework: {
+        evidence: string[];
         kind: string;
         version: string;
         subkind: string;
-        evidence: string[];
     };
+    version: string;
+    generated_at: string;
+    generated_by: string;
+    target: string;
+    project_name: string;
     topology: {
         total_files: number;
         by_ext: Record<string, number>;
@@ -638,12 +955,39 @@ declare const forensicReportSchema: z.ZodObject<{
         snippet: string;
         pattern_hint: string;
     }[];
+    assertions: {
+        type: "framework" | "pattern" | "invariant" | "domain";
+        statement: string;
+        confidence: "HIGH" | "MEDIUM" | "LOW";
+        evidence: {
+            file: string;
+            snippet: string;
+            line: string;
+        }[];
+        coverage: {
+            ratio: number;
+            total: number;
+            matched: number;
+            co_occurring_patterns: string[];
+        };
+        proposed_rule?: string | undefined;
+        alternatives?: string[] | undefined;
+    }[];
+    candidate_files: {
+        path: string;
+        family: "domain" | "entry" | "component" | "config" | "test";
+        rationale: string;
+    }[];
+    sampling_budget: {
+        max_files: 15;
+        max_lines_per_file: 100;
+    };
     readme: {
         quality: "missing" | "ok" | "stub";
         line_count: number;
         has_contributing: boolean;
     };
-    recommendations_for_skill: string[];
+    recommendations_for_skill?: string[] | undefined;
 }>;
 
 interface InitContextFramework {
@@ -651,20 +995,34 @@ interface InitContextFramework {
     version: string;
     subkind: string;
 }
+interface InitContextInvariantConfidenceSnapshot {
+    confidence: "HIGH" | "MEDIUM" | "LOW";
+    evidence_refs: string[];
+}
+interface InitContextSourceEvidence {
+    file: string;
+    lines: string;
+}
 interface InitContextInvariant {
     type: "ban" | "require" | "protect";
     rule: string;
     rationale?: string;
+    confidence_snapshot?: InitContextInvariantConfidenceSnapshot;
+    source_evidence?: InitContextSourceEvidence[];
 }
 interface InitContextDomainGroup {
     name: string;
     paths: string[];
     summary?: string;
+    topology_type?: "mirror" | "cross-cutting";
+    target_path?: string;
 }
 interface InitContextInterviewTrailEntry {
     phase: string;
     question: string;
     answer: string;
+    presentation?: string;
+    user_corrections?: string[];
 }
 interface InitContext {
     framework: InitContextFramework;
@@ -687,44 +1045,112 @@ declare const initContextFrameworkSchema: z.ZodObject<{
     version: string;
     subkind: string;
 }>;
+declare const initContextInvariantConfidenceSnapshotSchema: z.ZodObject<{
+    confidence: z.ZodEnum<["HIGH", "MEDIUM", "LOW"]>;
+    evidence_refs: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    confidence: "HIGH" | "MEDIUM" | "LOW";
+    evidence_refs: string[];
+}, {
+    confidence: "HIGH" | "MEDIUM" | "LOW";
+    evidence_refs: string[];
+}>;
+declare const initContextSourceEvidenceSchema: z.ZodObject<{
+    file: z.ZodString;
+    lines: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+    lines: string;
+}, {
+    file: string;
+    lines: string;
+}>;
 declare const initContextInvariantSchema: z.ZodObject<{
     type: z.ZodEnum<["ban", "require", "protect"]>;
     rule: z.ZodString;
     rationale: z.ZodOptional<z.ZodString>;
+    confidence_snapshot: z.ZodOptional<z.ZodObject<{
+        confidence: z.ZodEnum<["HIGH", "MEDIUM", "LOW"]>;
+        evidence_refs: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        confidence: "HIGH" | "MEDIUM" | "LOW";
+        evidence_refs: string[];
+    }, {
+        confidence: "HIGH" | "MEDIUM" | "LOW";
+        evidence_refs: string[];
+    }>>;
+    source_evidence: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        file: z.ZodString;
+        lines: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        lines: string;
+    }, {
+        file: string;
+        lines: string;
+    }>, "many">>;
 }, "strip", z.ZodTypeAny, {
     type: "ban" | "require" | "protect";
     rule: string;
     rationale?: string | undefined;
+    confidence_snapshot?: {
+        confidence: "HIGH" | "MEDIUM" | "LOW";
+        evidence_refs: string[];
+    } | undefined;
+    source_evidence?: {
+        file: string;
+        lines: string;
+    }[] | undefined;
 }, {
     type: "ban" | "require" | "protect";
     rule: string;
     rationale?: string | undefined;
+    confidence_snapshot?: {
+        confidence: "HIGH" | "MEDIUM" | "LOW";
+        evidence_refs: string[];
+    } | undefined;
+    source_evidence?: {
+        file: string;
+        lines: string;
+    }[] | undefined;
 }>;
 declare const initContextDomainGroupSchema: z.ZodObject<{
     name: z.ZodString;
     paths: z.ZodArray<z.ZodString, "many">;
     summary: z.ZodOptional<z.ZodString>;
+    topology_type: z.ZodOptional<z.ZodEnum<["mirror", "cross-cutting"]>>;
+    target_path: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
     paths: string[];
     name: string;
+    topology_type?: "mirror" | "cross-cutting" | undefined;
     summary?: string | undefined;
+    target_path?: string | undefined;
 }, {
     paths: string[];
     name: string;
+    topology_type?: "mirror" | "cross-cutting" | undefined;
     summary?: string | undefined;
+    target_path?: string | undefined;
 }>;
 declare const initContextInterviewTrailEntrySchema: z.ZodObject<{
     phase: z.ZodString;
     question: z.ZodString;
     answer: z.ZodString;
+    presentation: z.ZodOptional<z.ZodString>;
+    user_corrections: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
 }, "strip", z.ZodTypeAny, {
     phase: string;
     question: string;
     answer: string;
+    presentation?: string | undefined;
+    user_corrections?: string[] | undefined;
 }, {
     phase: string;
     question: string;
     answer: string;
+    presentation?: string | undefined;
+    user_corrections?: string[] | undefined;
 }>;
 declare const initContextSchema: z.ZodObject<{
     framework: z.ZodObject<{
@@ -745,40 +1171,88 @@ declare const initContextSchema: z.ZodObject<{
         type: z.ZodEnum<["ban", "require", "protect"]>;
         rule: z.ZodString;
         rationale: z.ZodOptional<z.ZodString>;
+        confidence_snapshot: z.ZodOptional<z.ZodObject<{
+            confidence: z.ZodEnum<["HIGH", "MEDIUM", "LOW"]>;
+            evidence_refs: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence_refs: string[];
+        }, {
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence_refs: string[];
+        }>>;
+        source_evidence: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            file: z.ZodString;
+            lines: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            lines: string;
+        }, {
+            file: string;
+            lines: string;
+        }>, "many">>;
     }, "strip", z.ZodTypeAny, {
         type: "ban" | "require" | "protect";
         rule: string;
         rationale?: string | undefined;
+        confidence_snapshot?: {
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence_refs: string[];
+        } | undefined;
+        source_evidence?: {
+            file: string;
+            lines: string;
+        }[] | undefined;
     }, {
         type: "ban" | "require" | "protect";
         rule: string;
         rationale?: string | undefined;
+        confidence_snapshot?: {
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence_refs: string[];
+        } | undefined;
+        source_evidence?: {
+            file: string;
+            lines: string;
+        }[] | undefined;
     }>, "many">;
     domain_groups: z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         paths: z.ZodArray<z.ZodString, "many">;
         summary: z.ZodOptional<z.ZodString>;
+        topology_type: z.ZodOptional<z.ZodEnum<["mirror", "cross-cutting"]>>;
+        target_path: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
         paths: string[];
         name: string;
+        topology_type?: "mirror" | "cross-cutting" | undefined;
         summary?: string | undefined;
+        target_path?: string | undefined;
     }, {
         paths: string[];
         name: string;
+        topology_type?: "mirror" | "cross-cutting" | undefined;
         summary?: string | undefined;
+        target_path?: string | undefined;
     }>, "many">;
     interview_trail: z.ZodArray<z.ZodObject<{
         phase: z.ZodString;
         question: z.ZodString;
         answer: z.ZodString;
+        presentation: z.ZodOptional<z.ZodString>;
+        user_corrections: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "strip", z.ZodTypeAny, {
         phase: string;
         question: string;
         answer: string;
+        presentation?: string | undefined;
+        user_corrections?: string[] | undefined;
     }, {
         phase: string;
         question: string;
         answer: string;
+        presentation?: string | undefined;
+        user_corrections?: string[] | undefined;
     }>, "many">;
     forensic_ref: z.ZodString;
 }, "strip", z.ZodTypeAny, {
@@ -792,16 +1266,28 @@ declare const initContextSchema: z.ZodObject<{
         type: "ban" | "require" | "protect";
         rule: string;
         rationale?: string | undefined;
+        confidence_snapshot?: {
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence_refs: string[];
+        } | undefined;
+        source_evidence?: {
+            file: string;
+            lines: string;
+        }[] | undefined;
     }[];
     domain_groups: {
         paths: string[];
         name: string;
+        topology_type?: "mirror" | "cross-cutting" | undefined;
         summary?: string | undefined;
+        target_path?: string | undefined;
     }[];
     interview_trail: {
         phase: string;
         question: string;
         answer: string;
+        presentation?: string | undefined;
+        user_corrections?: string[] | undefined;
     }[];
     forensic_ref: string;
 }, {
@@ -815,16 +1301,28 @@ declare const initContextSchema: z.ZodObject<{
         type: "ban" | "require" | "protect";
         rule: string;
         rationale?: string | undefined;
+        confidence_snapshot?: {
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence_refs: string[];
+        } | undefined;
+        source_evidence?: {
+            file: string;
+            lines: string;
+        }[] | undefined;
     }[];
     domain_groups: {
         paths: string[];
         name: string;
+        topology_type?: "mirror" | "cross-cutting" | undefined;
         summary?: string | undefined;
+        target_path?: string | undefined;
     }[];
     interview_trail: {
         phase: string;
         question: string;
         answer: string;
+        presentation?: string | undefined;
+        user_corrections?: string[] | undefined;
     }[];
     forensic_ref: string;
 }>;
@@ -860,43 +1358,53 @@ declare const metaUpdatedEventSchema: z.ZodObject<{
     type: z.ZodLiteral<"meta:updated">;
     payload: z.ZodObject<{
         revision: z.ZodString;
-        nodes: z.ZodRecord<z.ZodString, z.ZodObject<{
+        nodes: z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodObject<{
             file: z.ZodString;
             scope_glob: z.ZodString;
             deps: z.ZodArray<z.ZodString, "many">;
             priority: z.ZodEnum<["high", "medium", "low"]>;
+            layer: z.ZodEnum<["L0", "L1", "L2"]>;
+            topology_type: z.ZodEnum<["mirror", "cross-cutting"]>;
             hash: z.ZodString;
         }, "strip", z.ZodTypeAny, {
             file: string;
             priority: "high" | "medium" | "low";
             hash: string;
+            layer: "L0" | "L1" | "L2";
+            topology_type: "mirror" | "cross-cutting";
             scope_glob: string;
             deps: string[];
         }, {
             file: string;
             priority: "high" | "medium" | "low";
             hash: string;
+            layer: "L0" | "L1" | "L2";
+            topology_type: "mirror" | "cross-cutting";
             scope_glob: string;
             deps: string[];
-        }>>;
-    }, "strip", z.ZodTypeAny, {
-        revision: string;
-        nodes: Record<string, {
+        }>, {
             file: string;
             priority: "high" | "medium" | "low";
             hash: string;
+            layer: "L0" | "L1" | "L2";
+            topology_type: "mirror" | "cross-cutting";
             scope_glob: string;
             deps: string[];
-        }>;
-    }, {
+        }, unknown>>;
+    }, "strip", z.ZodTypeAny, {
         revision: string;
         nodes: Record<string, {
             file: string;
             priority: "high" | "medium" | "low";
             hash: string;
+            layer: "L0" | "L1" | "L2";
+            topology_type: "mirror" | "cross-cutting";
             scope_glob: string;
             deps: string[];
         }>;
+    }, {
+        revision: string;
+        nodes: Record<string, unknown>;
     }>;
 }, "strip", z.ZodTypeAny, {
     type: "meta:updated";
@@ -906,6 +1414,8 @@ declare const metaUpdatedEventSchema: z.ZodObject<{
             file: string;
             priority: "high" | "medium" | "low";
             hash: string;
+            layer: "L0" | "L1" | "L2";
+            topology_type: "mirror" | "cross-cutting";
             scope_glob: string;
             deps: string[];
         }>;
@@ -914,13 +1424,7 @@ declare const metaUpdatedEventSchema: z.ZodObject<{
     type: "meta:updated";
     payload: {
         revision: string;
-        nodes: Record<string, {
-            file: string;
-            priority: "high" | "medium" | "low";
-            hash: string;
-            scope_glob: string;
-            deps: string[];
-        }>;
+        nodes: Record<string, unknown>;
     };
 }>;
 declare const lockDriftEventSchema: z.ZodObject<{
@@ -1222,15 +1726,15 @@ declare const driftDetectedEventSchema: z.ZodObject<{
             subkind: z.ZodString;
             evidence: z.ZodArray<z.ZodString, "many">;
         }, "strip", z.ZodTypeAny, {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         }, {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         }>;
         topology: z.ZodObject<{
             total_files: z.ZodNumber;
@@ -1277,6 +1781,99 @@ declare const driftDetectedEventSchema: z.ZodObject<{
             snippet: string;
             pattern_hint: string;
         }>, "many">;
+        assertions: z.ZodArray<z.ZodObject<{
+            type: z.ZodEnum<["framework", "pattern", "invariant", "domain"]>;
+            statement: z.ZodString;
+            confidence: z.ZodEnum<["HIGH", "MEDIUM", "LOW"]>;
+            evidence: z.ZodArray<z.ZodObject<{
+                file: z.ZodString;
+                line: z.ZodString;
+                snippet: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                file: string;
+                snippet: string;
+                line: string;
+            }, {
+                file: string;
+                snippet: string;
+                line: string;
+            }>, "many">;
+            coverage: z.ZodObject<{
+                ratio: z.ZodNumber;
+                total: z.ZodNumber;
+                matched: z.ZodNumber;
+                co_occurring_patterns: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            }, {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            }>;
+            proposed_rule: z.ZodOptional<z.ZodString>;
+            alternatives: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }, {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }>, "many">;
+        candidate_files: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            family: z.ZodEnum<["entry", "component", "config", "test", "domain"]>;
+            rationale: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }, {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }>, "many">;
+        sampling_budget: z.ZodObject<{
+            max_files: z.ZodLiteral<15>;
+            max_lines_per_file: z.ZodLiteral<100>;
+        }, "strip", z.ZodTypeAny, {
+            max_files: 15;
+            max_lines_per_file: 100;
+        }, {
+            max_files: 15;
+            max_lines_per_file: 100;
+        }>;
         readme: z.ZodObject<{
             quality: z.ZodEnum<["missing", "stub", "ok"]>;
             line_count: z.ZodNumber;
@@ -1290,19 +1887,19 @@ declare const driftDetectedEventSchema: z.ZodObject<{
             line_count: number;
             has_contributing: boolean;
         }>;
-        recommendations_for_skill: z.ZodArray<z.ZodString, "many">;
+        recommendations_for_skill: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "strip", z.ZodTypeAny, {
-        version: string;
-        generated_at: string;
-        generated_by: string;
-        target: string;
-        project_name: string;
         framework: {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         };
+        version: string;
+        generated_at: string;
+        generated_by: string;
+        target: string;
+        project_name: string;
         topology: {
             total_files: number;
             by_ext: Record<string, number>;
@@ -1320,24 +1917,51 @@ declare const driftDetectedEventSchema: z.ZodObject<{
             snippet: string;
             pattern_hint: string;
         }[];
+        assertions: {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }[];
+        candidate_files: {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }[];
+        sampling_budget: {
+            max_files: 15;
+            max_lines_per_file: 100;
+        };
         readme: {
             quality: "missing" | "ok" | "stub";
             line_count: number;
             has_contributing: boolean;
         };
-        recommendations_for_skill: string[];
+        recommendations_for_skill?: string[] | undefined;
     }, {
-        version: string;
-        generated_at: string;
-        generated_by: string;
-        target: string;
-        project_name: string;
         framework: {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         };
+        version: string;
+        generated_at: string;
+        generated_by: string;
+        target: string;
+        project_name: string;
         topology: {
             total_files: number;
             by_ext: Record<string, number>;
@@ -1355,27 +1979,54 @@ declare const driftDetectedEventSchema: z.ZodObject<{
             snippet: string;
             pattern_hint: string;
         }[];
+        assertions: {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }[];
+        candidate_files: {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }[];
+        sampling_budget: {
+            max_files: 15;
+            max_lines_per_file: 100;
+        };
         readme: {
             quality: "missing" | "ok" | "stub";
             line_count: number;
             has_contributing: boolean;
         };
-        recommendations_for_skill: string[];
+        recommendations_for_skill?: string[] | undefined;
     }>;
 }, "strip", z.ZodTypeAny, {
     type: "drift:detected";
     payload: {
-        version: string;
-        generated_at: string;
-        generated_by: string;
-        target: string;
-        project_name: string;
         framework: {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         };
+        version: string;
+        generated_at: string;
+        generated_by: string;
+        target: string;
+        project_name: string;
         topology: {
             total_files: number;
             by_ext: Record<string, number>;
@@ -1393,27 +2044,54 @@ declare const driftDetectedEventSchema: z.ZodObject<{
             snippet: string;
             pattern_hint: string;
         }[];
+        assertions: {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }[];
+        candidate_files: {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }[];
+        sampling_budget: {
+            max_files: 15;
+            max_lines_per_file: 100;
+        };
         readme: {
             quality: "missing" | "ok" | "stub";
             line_count: number;
             has_contributing: boolean;
         };
-        recommendations_for_skill: string[];
+        recommendations_for_skill?: string[] | undefined;
     };
 }, {
     type: "drift:detected";
     payload: {
-        version: string;
-        generated_at: string;
-        generated_by: string;
-        target: string;
-        project_name: string;
         framework: {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         };
+        version: string;
+        generated_at: string;
+        generated_by: string;
+        target: string;
+        project_name: string;
         topology: {
             total_files: number;
             by_ext: Record<string, number>;
@@ -1431,55 +2109,92 @@ declare const driftDetectedEventSchema: z.ZodObject<{
             snippet: string;
             pattern_hint: string;
         }[];
+        assertions: {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }[];
+        candidate_files: {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }[];
+        sampling_budget: {
+            max_files: 15;
+            max_lines_per_file: 100;
+        };
         readme: {
             quality: "missing" | "ok" | "stub";
             line_count: number;
             has_contributing: boolean;
         };
-        recommendations_for_skill: string[];
+        recommendations_for_skill?: string[] | undefined;
     };
 }>;
 declare const fabricEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
     type: z.ZodLiteral<"meta:updated">;
     payload: z.ZodObject<{
         revision: z.ZodString;
-        nodes: z.ZodRecord<z.ZodString, z.ZodObject<{
+        nodes: z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodObject<{
             file: z.ZodString;
             scope_glob: z.ZodString;
             deps: z.ZodArray<z.ZodString, "many">;
             priority: z.ZodEnum<["high", "medium", "low"]>;
+            layer: z.ZodEnum<["L0", "L1", "L2"]>;
+            topology_type: z.ZodEnum<["mirror", "cross-cutting"]>;
             hash: z.ZodString;
         }, "strip", z.ZodTypeAny, {
             file: string;
             priority: "high" | "medium" | "low";
             hash: string;
+            layer: "L0" | "L1" | "L2";
+            topology_type: "mirror" | "cross-cutting";
             scope_glob: string;
             deps: string[];
         }, {
             file: string;
             priority: "high" | "medium" | "low";
             hash: string;
+            layer: "L0" | "L1" | "L2";
+            topology_type: "mirror" | "cross-cutting";
             scope_glob: string;
             deps: string[];
-        }>>;
-    }, "strip", z.ZodTypeAny, {
-        revision: string;
-        nodes: Record<string, {
+        }>, {
             file: string;
             priority: "high" | "medium" | "low";
             hash: string;
+            layer: "L0" | "L1" | "L2";
+            topology_type: "mirror" | "cross-cutting";
             scope_glob: string;
             deps: string[];
-        }>;
-    }, {
+        }, unknown>>;
+    }, "strip", z.ZodTypeAny, {
         revision: string;
         nodes: Record<string, {
             file: string;
             priority: "high" | "medium" | "low";
             hash: string;
+            layer: "L0" | "L1" | "L2";
+            topology_type: "mirror" | "cross-cutting";
             scope_glob: string;
             deps: string[];
         }>;
+    }, {
+        revision: string;
+        nodes: Record<string, unknown>;
     }>;
 }, "strip", z.ZodTypeAny, {
     type: "meta:updated";
@@ -1489,6 +2204,8 @@ declare const fabricEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             file: string;
             priority: "high" | "medium" | "low";
             hash: string;
+            layer: "L0" | "L1" | "L2";
+            topology_type: "mirror" | "cross-cutting";
             scope_glob: string;
             deps: string[];
         }>;
@@ -1497,13 +2214,7 @@ declare const fabricEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
     type: "meta:updated";
     payload: {
         revision: string;
-        nodes: Record<string, {
-            file: string;
-            priority: "high" | "medium" | "low";
-            hash: string;
-            scope_glob: string;
-            deps: string[];
-        }>;
+        nodes: Record<string, unknown>;
     };
 }>, z.ZodObject<{
     type: z.ZodLiteral<"lock:drift">;
@@ -1801,15 +2512,15 @@ declare const fabricEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             subkind: z.ZodString;
             evidence: z.ZodArray<z.ZodString, "many">;
         }, "strip", z.ZodTypeAny, {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         }, {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         }>;
         topology: z.ZodObject<{
             total_files: z.ZodNumber;
@@ -1856,6 +2567,99 @@ declare const fabricEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             snippet: string;
             pattern_hint: string;
         }>, "many">;
+        assertions: z.ZodArray<z.ZodObject<{
+            type: z.ZodEnum<["framework", "pattern", "invariant", "domain"]>;
+            statement: z.ZodString;
+            confidence: z.ZodEnum<["HIGH", "MEDIUM", "LOW"]>;
+            evidence: z.ZodArray<z.ZodObject<{
+                file: z.ZodString;
+                line: z.ZodString;
+                snippet: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                file: string;
+                snippet: string;
+                line: string;
+            }, {
+                file: string;
+                snippet: string;
+                line: string;
+            }>, "many">;
+            coverage: z.ZodObject<{
+                ratio: z.ZodNumber;
+                total: z.ZodNumber;
+                matched: z.ZodNumber;
+                co_occurring_patterns: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            }, {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            }>;
+            proposed_rule: z.ZodOptional<z.ZodString>;
+            alternatives: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }, {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }>, "many">;
+        candidate_files: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            family: z.ZodEnum<["entry", "component", "config", "test", "domain"]>;
+            rationale: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }, {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }>, "many">;
+        sampling_budget: z.ZodObject<{
+            max_files: z.ZodLiteral<15>;
+            max_lines_per_file: z.ZodLiteral<100>;
+        }, "strip", z.ZodTypeAny, {
+            max_files: 15;
+            max_lines_per_file: 100;
+        }, {
+            max_files: 15;
+            max_lines_per_file: 100;
+        }>;
         readme: z.ZodObject<{
             quality: z.ZodEnum<["missing", "stub", "ok"]>;
             line_count: z.ZodNumber;
@@ -1869,19 +2673,19 @@ declare const fabricEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             line_count: number;
             has_contributing: boolean;
         }>;
-        recommendations_for_skill: z.ZodArray<z.ZodString, "many">;
+        recommendations_for_skill: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "strip", z.ZodTypeAny, {
-        version: string;
-        generated_at: string;
-        generated_by: string;
-        target: string;
-        project_name: string;
         framework: {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         };
+        version: string;
+        generated_at: string;
+        generated_by: string;
+        target: string;
+        project_name: string;
         topology: {
             total_files: number;
             by_ext: Record<string, number>;
@@ -1899,24 +2703,51 @@ declare const fabricEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             snippet: string;
             pattern_hint: string;
         }[];
+        assertions: {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }[];
+        candidate_files: {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }[];
+        sampling_budget: {
+            max_files: 15;
+            max_lines_per_file: 100;
+        };
         readme: {
             quality: "missing" | "ok" | "stub";
             line_count: number;
             has_contributing: boolean;
         };
-        recommendations_for_skill: string[];
+        recommendations_for_skill?: string[] | undefined;
     }, {
-        version: string;
-        generated_at: string;
-        generated_by: string;
-        target: string;
-        project_name: string;
         framework: {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         };
+        version: string;
+        generated_at: string;
+        generated_by: string;
+        target: string;
+        project_name: string;
         topology: {
             total_files: number;
             by_ext: Record<string, number>;
@@ -1934,27 +2765,54 @@ declare const fabricEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             snippet: string;
             pattern_hint: string;
         }[];
+        assertions: {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }[];
+        candidate_files: {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }[];
+        sampling_budget: {
+            max_files: 15;
+            max_lines_per_file: 100;
+        };
         readme: {
             quality: "missing" | "ok" | "stub";
             line_count: number;
             has_contributing: boolean;
         };
-        recommendations_for_skill: string[];
+        recommendations_for_skill?: string[] | undefined;
     }>;
 }, "strip", z.ZodTypeAny, {
     type: "drift:detected";
     payload: {
-        version: string;
-        generated_at: string;
-        generated_by: string;
-        target: string;
-        project_name: string;
         framework: {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         };
+        version: string;
+        generated_at: string;
+        generated_by: string;
+        target: string;
+        project_name: string;
         topology: {
             total_files: number;
             by_ext: Record<string, number>;
@@ -1972,27 +2830,54 @@ declare const fabricEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             snippet: string;
             pattern_hint: string;
         }[];
+        assertions: {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }[];
+        candidate_files: {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }[];
+        sampling_budget: {
+            max_files: 15;
+            max_lines_per_file: 100;
+        };
         readme: {
             quality: "missing" | "ok" | "stub";
             line_count: number;
             has_contributing: boolean;
         };
-        recommendations_for_skill: string[];
+        recommendations_for_skill?: string[] | undefined;
     };
 }, {
     type: "drift:detected";
     payload: {
-        version: string;
-        generated_at: string;
-        generated_by: string;
-        target: string;
-        project_name: string;
         framework: {
+            evidence: string[];
             kind: string;
             version: string;
             subkind: string;
-            evidence: string[];
         };
+        version: string;
+        generated_at: string;
+        generated_by: string;
+        target: string;
+        project_name: string;
         topology: {
             total_files: number;
             by_ext: Record<string, number>;
@@ -2010,21 +2895,40 @@ declare const fabricEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             snippet: string;
             pattern_hint: string;
         }[];
+        assertions: {
+            type: "framework" | "pattern" | "invariant" | "domain";
+            statement: string;
+            confidence: "HIGH" | "MEDIUM" | "LOW";
+            evidence: {
+                file: string;
+                snippet: string;
+                line: string;
+            }[];
+            coverage: {
+                ratio: number;
+                total: number;
+                matched: number;
+                co_occurring_patterns: string[];
+            };
+            proposed_rule?: string | undefined;
+            alternatives?: string[] | undefined;
+        }[];
+        candidate_files: {
+            path: string;
+            family: "domain" | "entry" | "component" | "config" | "test";
+            rationale: string;
+        }[];
+        sampling_budget: {
+            max_files: 15;
+            max_lines_per_file: 100;
+        };
         readme: {
             quality: "missing" | "ok" | "stub";
             line_count: number;
             has_contributing: boolean;
         };
-        recommendations_for_skill: string[];
+        recommendations_for_skill?: string[] | undefined;
     };
 }>]>;
 
-type FrameworkInfo = {
-    kind: "vite" | "next" | "react" | "vue" | "cocos-creator" | "rust" | "python" | "unknown";
-    version: string;
-    subkind: string;
-    evidence: string[];
-};
-declare function detectFramework(root: string): FrameworkInfo;
-
-export { AgentsMeta, type DriftDetectedEvent, type FabricEvent, type ForensicCodeSample, type ForensicEntryPoint, type ForensicFramework, type ForensicReadme, type ForensicReport, type ForensicTopology, type FrameworkInfo, HumanLockEntry, type HumanLockFile, type InitContext, type InitContextDomainGroup, type InitContextFramework, type InitContextInterviewTrailEntry, type InitContextInvariant, type LedgerAppendedEvent, LedgerEntry, type LockApprovedEvent, type LockDriftEvent, type MetaUpdatedEvent, agentsMetaNodeSchema, agentsMetaSchema, aiLedgerEntrySchema, annotateIntentRequestSchema, clientPathsSchema, detectFramework, driftDetectedEventSchema, fabricConfigSchema, fabricEventSchema, forensicCodeSampleSchema, forensicEntryPointSchema, forensicFrameworkSchema, forensicReadmeSchema, forensicReportSchema, forensicTopologySchema, historyStateQuerySchema, humanLedgerEntrySchema, humanLockApproveRequestSchema, humanLockEntrySchema, humanLockFileParamsSchema, humanLockFileSchema, initContextDomainGroupSchema, initContextFrameworkSchema, initContextInterviewTrailEntrySchema, initContextInvariantSchema, initContextSchema, ledgerAppendedEventSchema, ledgerEntrySchema, ledgerQuerySchema, ledgerSourceSchema, lockApprovedEventSchema, lockDriftEventSchema, metaUpdatedEventSchema };
+export { AGENTS_META_LAYERS, AGENTS_META_TOPOLOGY_TYPES, AgentsLayer, AgentsMeta, AgentsMetaNode, AgentsTopologyType, type CandidateFileEntry, type CandidateFileFamily, type DriftDetectedEvent, type FabricEvent, type ForensicAssertion, type ForensicAssertionConfidence, type ForensicAssertionCoverage, type ForensicAssertionType, type ForensicCodeSample, type ForensicEntryPoint, type ForensicEvidenceAnchor, type ForensicFramework, type ForensicReadme, type ForensicReport, type ForensicSamplingBudget, type ForensicTopology, HumanLockEntry, type HumanLockFile, type InitContext, type InitContextDomainGroup, type InitContextFramework, type InitContextInterviewTrailEntry, type InitContextInvariant, type InitContextInvariantConfidenceSnapshot, type InitContextSourceEvidence, type LedgerAppendedEvent, LedgerEntry, type LockApprovedEvent, type LockDriftEvent, type MetaUpdatedEvent, agentsLayerSchema, agentsMetaNodeSchema, agentsMetaSchema, agentsTopologyTypeSchema, aiLedgerEntrySchema, annotateIntentRequestSchema, auditModeSchema, candidateFileEntrySchema, clientPathsSchema, deriveAgentsMetaLayer, deriveAgentsMetaTopologyType, driftDetectedEventSchema, fabricConfigSchema, fabricEventSchema, forensicAssertionCoverageSchema, forensicAssertionSchema, forensicCodeSampleSchema, forensicEntryPointSchema, forensicEvidenceAnchorSchema, forensicFrameworkSchema, forensicReadmeSchema, forensicReportSchema, forensicSamplingBudgetSchema, forensicTopologySchema, historyStateQuerySchema, humanLedgerEntrySchema, humanLockApproveRequestSchema, humanLockEntrySchema, humanLockFileParamsSchema, humanLockFileSchema, initContextDomainGroupSchema, initContextFrameworkSchema, initContextInterviewTrailEntrySchema, initContextInvariantConfidenceSnapshotSchema, initContextInvariantSchema, initContextSchema, initContextSourceEvidenceSchema, ledgerAppendedEventSchema, ledgerEntrySchema, ledgerQuerySchema, ledgerSourceSchema, lockApprovedEventSchema, lockDriftEventSchema, metaUpdatedEventSchema, withDerivedAgentsMetaNodeDefaults };