hex-audit 0.7.0 → 0.8.0

package/dist/core/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/core/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;EAKzB,CAAC;AAEH,eAAO,MAAM,gBAAgB,sCAAoC,CAAC;AAElE,eAAO,MAAM,cAAc,0DAAwD,CAAC;AAEpF,eAAO,MAAM,iBAAiB,gGAQ5B,CAAC;AAIH,eAAO,MAAM,YAAY;;;;;;;;;;;QAWrB,mFAAmF;;QAEnF,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA8ClG,CAAC;AAIH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;EAMpC,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM7B,CAAC;AAEH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsBjC,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;EAIhC,CAAC;AAEH,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoBtB,CAAC;AAIH,eAAO,MAAM,eAAe;;;;;;;;;;;;EAI1B,CAAC;AAEH,eAAO,MAAM,aAAa;;;;;;;;;;;;EAIxB,CAAC;AAEH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKrB,CAAC;AAIH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAS/B,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;EAGhC,CAAC;AAEH,eAAO,MAAM,cAAc,kEAAgE,CAAC;AAE5F,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWrB,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG9B,CAAC;AAIH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;EAK9B,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAe9B,CAAC;AAEH,eAAO,MAAM,8BAA8B;;;;;;;;;;;;EAIzC,CAAC;AAEH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMjC,CAAC;AAEH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAI1B,CAAC;AAIH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;EAOhC,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU7B,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE9B,CAAC;AAIH,eAAO,MAAM,qBAAqB;;;;;;;;;EAGhC,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;EAM9B,CAAC;AAEH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO3B,CAAC;AAEH,eAAO,MAAM,gBAAgB,8EAM3B,CAAC;AAEH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAyBxB,CAAC;AAEH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEzB,CAAC;AAIH,eAAO,MAAM,oBAAoB,yFAO/B,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmB9B,CAAC;AAEH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEzB,CAAC;AAIH,eAAO,MAAM,oBAAoB,iDAA+C,CAAC;AAEjF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;EAK7B,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMpC,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;EAQhC,CAAC;AAEH,eAAO,MAAM,wBAAwB;;;;;;;;;EAGnC,CAAC;AAEH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAI3B,CAAC;AAIH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUzB,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiBhC,CAAC;AAIH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;IAiBhC,kFAAkF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlF,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;QAL7B,kFAAkF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWlF,CAAC;AAIH,eAAO,MAAM,oBAAoB,wDAAsD,CAAC;AAExF,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;EAMzB,CAAC;AAEH,eAAO,MAAM,oBAAoB,8GAS/B,CAAC;AAEH,eAAO,MAAM,oBAAoB,8DAA4D,CAAC;AAE9F,eAAO,MAAM,gBAAgB;;IAE3B,qFAAqF;;;;;;;;;;;;;;;;;;;;;;;;;;EAQrF,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;EAYpC,CAAC;AAEH,eAAO,MAAM,kBAAkB;;IAE7B,oFAAoF;;;;;;;;EAEpF,CAAC;AAEH,eAAO,MAAM,sBAAsB;;;;;;IAMjC,2EAA2E;;;;QAV3E,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBpF,CAAC;AAEH,eAAO,MAAM,UAAU;;;;IAIrB,0FAA0F;;;;;;;;;;;;;;;;;;;;;;;QAhD1F,qFAAqF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAoCrF,2EAA2E;;;;YAV3E,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuCpF,CAAC;AAIH,eAAO,MAAM,kBAAkB;;;;IAI7B,8EAA8E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa9E,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;QAf9B,8EAA8E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoB9E,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;IAYhC,wDAAwD;;;;;;;;;;;;;;;;EAExD,CAAC;AAEH,eAAO,MAAM,iBAAiB;;;;;;;;QAJ5B,wDAAwD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOxD,CAAC;AAIH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;EAQ7B,CAAC;AAEH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEzB,CAAC;AAIH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;EASjC,CAAC"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/core/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;EAKzB,CAAC;AAEH,eAAO,MAAM,gBAAgB,sCAAoC,CAAC;AAElE,eAAO,MAAM,cAAc,0DAAwD,CAAC;AAEpF,eAAO,MAAM,iBAAiB,gGAQ5B,CAAC;AAIH,eAAO,MAAM,YAAY;;;;;;;;;;;QAWrB,mFAAmF;;QAEnF,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6ClG,CAAC;AAIH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;EAMpC,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM7B,CAAC;AAEH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsBjC,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;EAIhC,CAAC;AAEH,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoBtB,CAAC;AAIH,eAAO,MAAM,qBAAqB;;;;;;;;;EAGhC,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;EAM9B,CAAC;AAEH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO3B,CAAC;AAEH,eAAO,MAAM,gBAAgB,8EAM3B,CAAC;AAEH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA0BxB,CAAC;AAEH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEzB,CAAC;AAIH,eAAO,MAAM,oBAAoB,sGAQ/B,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmB9B,CAAC;AAEH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEzB,CAAC;AAIH,eAAO,MAAM,oBAAoB,iDAA+C,CAAC;AAEjF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;EAK7B,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMpC,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;EAQhC,CAAC;AAEH,eAAO,MAAM,wBAAwB;;;;;;;;;EAGnC,CAAC;AAEH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAI3B,CAAC;AAIH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUzB,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiBhC,CAAC;AAIH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;IAiBhC,kFAAkF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlF,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;QAL7B,kFAAkF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWlF,CAAC;AAIH,eAAO,MAAM,mBAAmB,uGAS9B,CAAC;AAEH,eAAO,MAAM,mBAAmB;IAC9B,kEAAkE;;;;;;;;;;;;;IAalE,+CAA+C;;;IAG/C,0FAA0F;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAsBpF,8EAA8E;;;;;;;;;;;;;;;;IAQpF,0FAA0F;;;;IAI1F,gFAAgF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGhF,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;IAM9B,0CAA0C;;IAE1C,gFAAgF;;;;;;;;;;;;;;;;;;;;;EAGhF,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAS9B,CAAC;AAEH,eAAO,MAAM,sBAAsB;;;;;;IAMjC,2DAA2D;;;;;;;;;;;;;;;;EAE3D,CAAC;AAEH,eAAO,MAAM,WAAW;;;IAGtB,2GAA2G;;;;;;;;;;;;IAG3G,yFAAyF;;;;;;;;;QAlCzF,0CAA0C;;QAE1C,gFAAgF;;;;;;;;;;;;;;;;;;;;;;;QA/DhF,kEAAkE;;;;;;;;;;;;;QAalE,+CAA+C;;;QAG/C,0FAA0F;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAsBpF,8EAA8E;;;;;;;;;;;;;;;;QAQpF,0FAA0F;;;;QAI1F,gFAAgF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAmChF,2DAA2D;;;;;;;;;;;;;;;;;IAiB3D,kGAAkG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAElG,CAAC;AAIH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;EAI5B,CAAC;AAWH,eAAO,MAAM,gBAAgB;;;;;IAM3B,4EAA4E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG5E,CAAC;AAEH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAS3B,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO/B,CAAC;AAEH,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAA2C,CAAC;AAEnF,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOhC,CAAC;AAEH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAalC,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAahC,CAAC;AAEH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAe1B,CAAC;AAEH,eAAO,MAAM,mBAAmB;;IAE9B,uDAAuD;;;;;;;QArFvD,4EAA4E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+F5E,CAAC;AAEH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;IAmB1B,wGAAwG;;;;IAIxG,+EAA+E;;;QAI3E,oEAAoE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiBxE,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA3B/B,wGAAwG;;;;QAIxG,+EAA+E;;;YAI3E,oEAAoE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsBxE,CAAC;AAIH,eAAO,MAAM,yBAAyB,wDAAsD,CAAC;AAE7F,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;EAK/B,CAAC;AAIH,eAAO,MAAM,gBAAgB;;;;IAI3B,4EAA4E;;;;;;;;;;;;;;;;;;EAI5E,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;QANhC,4EAA4E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMK,CAAC;AAIpF,eAAO,MAAM,gBAAgB;;;;;;;IAO3B,2EAA2E;;;;;;;;;;;;;;;;;;;;;EAG3E,CAAC;AAsBH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAb/B,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkChG,CAAC;AAEH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IApCjC,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4ChG,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA9CpC,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA8DhG,CAAC;AAEH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAhElC,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6EhG,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA/EhC,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoGhG,CAAC;AAEH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAtG5B,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAAhG,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAAhG,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAAhG,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAAhG,gGAAgG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA4GhG,CAAC;AAEH,eAAO,MAAM,uBAAuB;;;;;;;IAOlC,kFAAkF;;IAElF,kGAAkG;;;;;;;;;;;;;;;;;;;;;;;EAGlG,CAAC;AAIH,eAAO,MAAM,mBAAmB;;;;;;IAM9B,kFAAkF;;;;QAK9E,0EAA0E;;QAE1E,mEAAmE;;;;;;;;;;;;;;;;;;;;;;;IAcvE,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAErE,CAAC;AAEH,eAAO,MAAM,eAAe;;;;;;;;;;QAzB1B,kFAAkF;;;;YAK9E,0EAA0E;;YAE1E,mEAAmE;;;;;;;;;;;;;;;;;;;;;;;QAcvE,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IASrE,qFAAqF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqBrF,CAAC;AAIH,eAAO,MAAM,oBAAoB,wDAAsD,CAAC;AAExF,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;EAMzB,CAAC;AAEH,eAAO,MAAM,oBAAoB,8GAS/B,CAAC;AAEH,eAAO,MAAM,oBAAoB,8DAA4D,CAAC;AAE9F,eAAO,MAAM,gBAAgB;;IAE3B,qFAAqF;;;;;;;;;;;;;;;;;;;;;;;;;;EAQrF,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;EAYpC,CAAC;AAEH,eAAO,MAAM,kBAAkB;;IAE7B,oFAAoF;;;;;;;;EAEpF,CAAC;AAEH,eAAO,MAAM,sBAAsB;;;;;;IAMjC,2EAA2E;;;;QAV3E,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBpF,CAAC;AAEH,eAAO,MAAM,UAAU;;;;IAIrB,wFAAwF;;IAExF,iGAAiG;;IAEjG,0FAA0F;;;;;;;;;;;;;;;;;;;;;;;QApD1F,qFAAqF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAoCrF,2EAA2E;;;;YAV3E,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2CpF,CAAC;AAIH,eAAO,MAAM,kBAAkB;;;;IAI7B,8EAA8E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa9E,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;QAf9B,8EAA8E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoB9E,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;IAYhC,wDAAwD;;;;;;;;;;;;;;;;EAExD,CAAC;AAEH,eAAO,MAAM,iBAAiB;;;;;;;;QAJ5B,wDAAwD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOxD,CAAC;AAIH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;EAQ7B,CAAC;AAEH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEzB,CAAC;AAIH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;EASjC,CAAC"}

package/dist/core/schema.js

@@ -47,7 +47,6 @@ export const ConfigSchema = z.object({
     }),
     settings: z.object({
         output_dir: z.string().default('.hex'),
-        ai_model: z.string().default('claude-sonnet-4-20250514'),
         finding_template: z.string().default('default'),
         ai: z
             .object({
@@ -142,118 +141,6 @@ export const StatsSchema = z.object({
     test_coverage: TestCoverageSchema.nullable(),
     per_contract: z.array(PerContractStatsSchema),
 });
-// ─── Dependencies Graph ─────────────────────────────────────────────
-export const GraphNodeSchema = z.object({
-    inherits: z.array(z.string()),
-    imports: z.array(z.string()),
-    calls: z.array(z.string()),
-});
-export const ClusterSchema = z.object({
-    id: z.string(),
-    contracts: z.array(z.string()),
-    total_nsloc: z.number().int(),
-});
-export const DepsSchema = z.object({
-    graph: z.record(z.string(), GraphNodeSchema),
-    clusters: z.array(ClusterSchema),
-    inheritance_trees: z.array(z.array(z.string())),
-    topological_order: z.array(z.string()),
-});
-// ─── Access Control ─────────────────────────────────────────────────
-export const AccessFunctionSchema = z.object({
-    contract: z.string(),
-    function: z.string(),
-    visibility: z.enum(['external', 'public', 'internal', 'private']),
-    state_mutability: z.enum(['pure', 'view', 'nonpayable', 'payable']).nullable(),
-    modifiers: z.array(z.string()),
-    evidence: EvidenceSchema,
-    inherited_from: z.string().optional(),
-    inheritance_depth: z.number().int().optional(),
-});
-export const RoleFunctionRefSchema = z.object({
-    contract: z.string(),
-    function: z.string(),
-});
-export const RoleKindSchema = z.enum(['access_control', 'state_check', 'guard', 'unknown']);
-export const RoleSchema = z.object({
-    role: z.string(),
-    description: z.string(),
-    confidence: ConfidenceSchema,
-    derived_from: DerivedFromSchema,
-    reasoning: z.string(),
-    modifier: z.string().nullable(),
-    functions: z.array(RoleFunctionRefSchema),
-    warnings: z.array(z.string()),
-    kind: RoleKindSchema.default('access_control'),
-    is_likely_access_control: z.boolean().default(true),
-});
-export const AccessControlSchema = z.object({
-    functions: z.array(AccessFunctionSchema),
-    roles: z.array(RoleSchema),
-});
-// ─── State Variables ────────────────────────────────────────────────
-export const ReadWriteInfoSchema = z.object({
-    functions: z.array(z.string()),
-    confidence: ConfidenceSchema,
-    derived_from: DerivedFromSchema,
-    warnings: z.array(z.string()).optional(),
-});
-export const StateVariableSchema = z.object({
-    contract: z.string(),
-    name: z.string(),
-    type: z.string(),
-    visibility: z.enum(['public', 'internal', 'private']),
-    mutability: z.enum(['mutable', 'constant', 'immutable']),
-    value: z.string().optional(),
-    evidence: EvidenceSchema,
-    written_by: ReadWriteInfoSchema,
-    read_by: ReadWriteInfoSchema,
-    has_setter: z.boolean(),
-    is_bounded: z.boolean(),
-    bound_description: z.string().nullable().optional(),
-    is_unused: z.boolean().optional(),
-    storage_slot: z.number().int().nullable().optional(),
-});
-export const StorageCollisionVariableSchema = z.object({
-    contract: z.string(),
-    name: z.string(),
-    type: z.string(),
-});
-export const StorageCollisionSchema = z.object({
-    slot: z.number().int(),
-    offset: z.number().int().default(0),
-    variables: z.array(StorageCollisionVariableSchema),
-    severity: SeveritySchema.default('Critical'),
-    description: z.string(),
-});
-export const StateVarsSchema = z.object({
-    variables: z.array(StateVariableSchema),
-    storage_layout_source: z.enum(['compiler-artifact']).nullable(),
-    storage_collisions: z.array(StorageCollisionSchema).default([]),
-});
-// ─── External Calls ─────────────────────────────────────────────────
-export const ConfidenceValueSchema = z.object({
-    value: z.union([z.boolean(), z.string()]),
-    confidence: ConfidenceSchema,
-    derived_from: DerivedFromSchema,
-    reasoning: z.string().optional(),
-    warnings: z.array(z.string()).optional(),
-    guard_type: z.string().optional(),
-});
-export const ExternalCallSchema = z.object({
-    contract: z.string(),
-    function: z.string(),
-    evidence: EvidenceSchema,
-    target: z.string(),
-    method: z.string(),
-    return_checked: ConfidenceValueSchema,
-    inside_reentrancy_guard: ConfidenceValueSchema,
-    call_type: z.string(),
-    trust_level: ConfidenceValueSchema,
-});
-export const ExternalCallsSchema = z.object({
-    calls: z.array(ExternalCallSchema),
-});
 // ─── Findings ───────────────────────────────────────────────────────
 export const FindingLocationSchema = z.object({
     file: z.string(),
@@ -306,6 +193,7 @@ export const FindingSchema = z.object({
     // Maps a uniform H-NNN id back to its origin record (conformance item id,
     // auditagent finding id, or GitHub issue number) for materialization/dedup.
     source_ref: z.string().nullable().optional(),
+    validation: z.record(z.string(), z.unknown()).optional(),
 });
 export const FindingsSchema = z.object({
     findings: z.array(FindingSchema),
@@ -318,6 +206,7 @@ export const TrackingSourceSchema = z.enum([
     'github',
     'ai-audit',
     'prior-audit',
+    'invariant',
 ]);
 export const TrackingEntrySchema = z.object({
     id: z.string(),
@@ -432,6 +321,452 @@ export const AiResultFileSchema = z.object({
     total_findings: z.number(),
     findings: z.array(AiResultFindingSchema),
 });
+// ─── Facts (exact, from the compiler AST) ───────────────────────────
+export const FactsCallKindSchema = z.enum([
+    'internal', // `foo()` / `Base.foo()` resolved to a declaration in the hierarchy or a free function
+    'super', // `super.foo()`
+    'this', // `this.foo()` (external self-call)
+    'library', // `Lib.foo()` or `x.foo()` via `using Lib for`
+    'external', // `IFoo(addr).foo()` / `token.transfer()` on a contract-typed value
+    'virtual', // runtime dispatch to an override of the referenced function
+    'modifier', // the function applies this modifier
+    'constructor', // base-constructor invocation
+]);
+export const FactsFunctionSchema = z.object({
+    /** `Contract.name(type1,type2)`; modifiers use the same shape. */
+    id: z.string(),
+    contract: z.string(),
+    name: z.string(),
+    signature: z.string(),
+    kind: z.enum(['function', 'constructor', 'fallback', 'receive', 'modifier']),
+    visibility: z.string(),
+    mutability: z.string(),
+    file: z.string(),
+    line_start: z.number().int(),
+    line_end: z.number().int(),
+    nsloc: z.number().int(),
+    virtual: z.boolean().default(false),
+    /** Base functions this one overrides (ids). */
+    overrides: z.array(z.string()).default([]),
+    modifiers: z.array(z.string()).default([]),
+    /** `at`: the caller's lines that make the call (absent in facts written before 0.8.0). */
+    calls: z
+        .array(z.object({
+        to: z.string(),
+        kind: FactsCallKindSchema,
+        at: z.array(z.number().int()).optional(),
+    }))
+        .default([]),
+    called_by: z
+        .array(z.object({
+        from: z.string(),
+        kind: FactsCallKindSchema,
+        at: z.array(z.number().int()).optional(),
+    }))
+        .default([]),
+    external_calls: z
+        .array(z.object({
+        /** Contract/interface type for typed calls; `address` for low-level calls. */
+        target_type: z.string(),
+        member: z.string(),
+        kind: z.enum(['typed', 'low_level', 'create', 'transfer']),
+        line: z.number().int(),
+    }))
+        .default([]),
+    /** State variable ids (`Contract.var`) read / written, including via storage pointers. */
+    reads: z.array(z.string()).default([]),
+    writes: z.array(z.string()).default([]),
+    emits: z.array(z.string()).default([]),
+    /** external/public (or fallback/receive) on a contract or abstract contract. */
+    is_entry_point: z.boolean(),
+    in_scope: z.boolean(),
+});
+export const FactsContractSchema = z.object({
+    name: z.string(),
+    kind: z.enum(['contract', 'abstract', 'interface', 'library']),
+    file: z.string(),
+    line_start: z.number().int(),
+    line_end: z.number().int(),
+    /** Direct bases, in declaration order. */
+    bases: z.array(z.string()),
+    /** C3 linearization from the compiler, most-derived first (includes itself). */
+    linearization: z.array(z.string()),
+    in_scope: z.boolean(),
+});
+export const FactsStateVarSchema = z.object({
+    id: z.string(),
+    contract: z.string(),
+    name: z.string(),
+    type: z.string(),
+    mutability: z.enum(['mutable', 'constant', 'immutable']),
+    visibility: z.string(),
+    file: z.string(),
+    line: z.number().int(),
+});
+export const FactsStorageSlotSchema = z.object({
+    label: z.string(),
+    slot: z.string(),
+    offset: z.number().int(),
+    type: z.string(),
+    bytes: z.number().int().optional(),
+    /** Contract that declares the variable (may be a base). */
+    declared_in: z.string(),
+});
+export const FactsSchema = z.object({
+    generated_at: z.string(),
+    commit: z.string().optional(),
+    /** `solc-ast` = exact compiler data; `parser-fallback` = the build failed and a parser approximated it. */
+    source: z.enum(['solc-ast', 'parser-fallback']),
+    compiler: z.object({ version: z.string(), toolchain: z.enum(['foundry', 'hardhat']) }).optional(),
+    /** `compiler` = solc storageLayout; `declaration-order` = inferred from declarations. */
+    layout_source: z.enum(['compiler', 'declaration-order']),
+    warnings: z.array(z.string()).default([]),
+    contracts: z.array(FactsContractSchema),
+    functions: z.array(FactsFunctionSchema),
+    state_vars: z.array(FactsStateVarSchema),
+    storage_layouts: z.record(z.string(), z.array(FactsStorageSlotSchema)),
+    /** Deployable in-scope contract → the external/public functions it exposes (most-derived ids). */
+    entry_points: z.record(z.string(), z.array(z.string())),
+});
+// ─── Protocol model (agents; claims carry evidence + verification) ──
+export const EvidenceRefSchema = z.object({
+    file: z.string(),
+    line_start: z.number().int(),
+    line_end: z.number().int().optional(),
+});
+/** Every model claim: evidence in the code, and whether a skeptic verified it. */
+const claim = {
+    claim_id: z.string(),
+    evidence: z.array(EvidenceRefSchema).default([]),
+    status: z.enum(['unverified', 'verified', 'contested']).default('unverified'),
+    verified_by: z.string().optional(),
+    note: z.string().optional(),
+};
+export const ModelActorSchema = z.object({
+    ...claim,
+    id: z.string(),
+    name: z.string(),
+    kind: z.enum(['user', 'admin', 'keeper', 'guardian', 'external_protocol', 'other']),
+    trust: z.enum(['trusted', 'semi_trusted', 'untrusted']),
+    /** Function ids (`Contract.sig`) this actor can call that others cannot. */
+    powers: z.array(z.string()).default([]),
+    description: z.string().default(''),
+});
+export const ModelAssetSchema = z.object({
+    ...claim,
+    id: z.string(),
+    name: z.string(),
+    kind: z.enum(['erc20', 'native', 'nft', 'shares', 'debt', 'other']),
+    token: z.string().optional(),
+    held_by: z.array(z.string()).default([]),
+    moved_by: z.array(z.string()).default([]),
+    description: z.string().default(''),
+});
+export const ModelPrivilegeSchema = z.object({
+    ...claim,
+    actor: z.string(),
+    function: z.string(),
+    effect: z.string(),
+    worst_case: z.string(),
+    timelock: z.string().optional(),
+});
+export const ModelTrustAssumptionSchema = z.object({ ...claim, text: z.string() });
+export const ModelDependencySchema = z.object({
+    ...claim,
+    id: z.string(),
+    name: z.string(),
+    kind: z.enum(['oracle', 'dex', 'bridge', 'lending', 'token', 'other']),
+    used_by: z.array(z.string()).default([]),
+    failure_modes: z.array(z.string()).default([]),
+});
+export const ModelStateMachineSchema = z.object({
+    ...claim,
+    id: z.string(),
+    entity: z.string(),
+    states: z.array(z.string()),
+    transitions: z.array(z.object({
+        from: z.string(),
+        to: z.string(),
+        function: z.string(),
+        guard: z.string().optional(),
+    })),
+});
+export const ModelAccountingSchema = z.object({
+    ...claim,
+    id: z.string(),
+    name: z.string(),
+    equation: z.string(),
+    terms: z.array(z.object({
+        term: z.string(),
+        updated_by: z.array(z.object({ function: z.string(), direction: z.enum(['increase', 'decrease', 'set']) })),
+    })),
+});
+export const ModelFlowSchema = z.object({
+    ...claim,
+    id: z.string(),
+    name: z.string(),
+    entry: z.string(),
+    steps: z.array(z.object({
+        actor: z.string().optional(),
+        contract: z.string(),
+        function: z.string().optional(),
+        kind: z.enum(['call', 'callback', 'oracle', 'transfer', 'state']).default('call'),
+        note: z.string().optional(),
+    })),
+    risk: z.string().default(''),
+});
+export const ProtocolModelSchema = z.object({
+    generated_at: z.string(),
+    /** One paragraph: what the protocol does, for whom. */
+    summary: z.string().default(''),
+    actors: z.array(ModelActorSchema).default([]),
+    assets: z.array(ModelAssetSchema).default([]),
+    privileges: z.array(ModelPrivilegeSchema).default([]),
+    trust_assumptions: z.array(ModelTrustAssumptionSchema).default([]),
+    external_dependencies: z.array(ModelDependencySchema).default([]),
+    state_machines: z.array(ModelStateMachineSchema).default([]),
+    accounting: z.array(ModelAccountingSchema).default([]),
+    risky_flows: z.array(ModelFlowSchema).default([]),
+});
+export const InvariantSchema = z.object({
+    id: z.string(), // INV-NNN
+    statement: z.string(),
+    kind: z.enum([
+        'accounting',
+        'access',
+        'bound',
+        'monotonic',
+        'state-machine',
+        'liveness',
+        'economic',
+    ]),
+    scope: z
+        .object({
+        contracts: z.array(z.string()).default([]),
+        functions: z.array(z.string()).default([]),
+    })
+        .default({ contracts: [], functions: [] }),
+    evidence: z.array(EvidenceRefSchema).default([]),
+    /** Does the code enforce it on-chain (require/assert)? `false` = it only holds if the code is right. */
+    on_chain_enforced: z.boolean().default(false),
+    status: z.enum(['proposed', 'accepted', 'rejected']).default('proposed'),
+    rationale: z.string().optional(),
+    /** The init-audit skeptic's check: does the code maintain it on every path? */
+    verification: z
+        .object({
+        status: z.enum(['verified', 'contested']),
+        /** For contested: the path that breaks it, or what is imprecise. */
+        note: z.string().optional(),
+        by: z.string().optional(),
+    })
+        .optional(),
+    test: z
+        .object({
+        tool: z.enum(['fizz', 'foundry']),
+        property_id: z.string().optional(),
+        file: z.string().optional(),
+        status: z.enum(['not_written', 'passing', 'failing', 'broken']).default('not_written'),
+        runs: z.number().int().optional(),
+        last_run_at: z.string().optional(),
+        repro_file: z.string().optional(),
+    })
+        .optional(),
+    issue_id: z.string().optional(),
+});
+export const InvariantsFileSchema = z.object({
+    updated_at: z.string(),
+    invariants: z.array(InvariantSchema),
+});
+// ─── Review map (progress.json v2) ──────────────────────────────────
+export const FunctionReviewStateSchema = z.enum(['unread', 'read', 'questioned', 'cleared']);
+export const FunctionReviewSchema = z.object({
+    state: FunctionReviewStateSchema,
+    by: z.enum(['auditor', 'diane', 'dashboard', 'agent']).default('auditor'),
+    updated_at: z.string(),
+    note: z.string().optional(),
+});
+// ─── Triage rules (feedback into AI runs) ───────────────────────────
+export const TriageRuleSchema = z.object({
+    id: z.string(), // R-NNN
+    kind: z.enum(['out_of_scope', 'trusted_role', 'by_design', 'known_issue']),
+    text: z.string(),
+    /** Contracts / function ids the rule is limited to; empty = whole audit. */
+    scope: z.array(z.string()).default([]),
+    created_from: z.string().optional(),
+    created_at: z.string(),
+});
+export const TriageRulesFileSchema = z.object({ rules: z.array(TriageRuleSchema) });
+// ─── Validation (recorded on cards) ─────────────────────────────────
+export const ValidationSchema = z.object({
+    verdict: z.enum(['reproduced', 'refuted', 'uncertain', 'valid_no_poc']),
+    validated_by: z.enum(['auditor', 'agent']),
+    memo: z.string().optional(),
+    poc_file: z.string().optional(),
+    poc_status: z.enum(['passing', 'failing', 'not_started']).optional(),
+    refuters: z.number().int().optional(),
+    /** Set when an agent moved the card; cleared if the auditor reverts it. */
+    auto_moved_to: z.enum(['verified', 'rejected']).optional(),
+    at: z.string(),
+});
+// ─── Diagram specs (model → Excalidraw) ─────────────────────────────
+const DiagramNodeRef = z.string().optional(); // facts function id / model id the node stands for
+const DiagramBase = {
+    name: z.string().regex(/^[a-z0-9][a-z0-9-]*$/, 'kebab-case file name'),
+    title: z.string(),
+    /** One sentence: what this picture tells an auditor that the code does not show at a glance. */
+    takeaway: z.string().min(10),
+    annotations: z
+        .array(z.object({
+        target: z.string(),
+        text: z.string(),
+        kind: z.enum(['risk', 'note']).default('risk'),
+    }))
+        .default([]),
+};
+export const CustodyDiagramSchema = z.object({
+    ...DiagramBase,
+    type: z.literal('custody'),
+    actors: z.array(z.object({ id: z.string(), label: z.string(), ref: DiagramNodeRef })),
+    holdings: z.array(z.object({
+        id: z.string(),
+        label: z.string(),
+        assets: z.array(z.string()).default([]),
+        ref: DiagramNodeRef,
+    })),
+    moves: z.array(z.object({
+        from: z.string(),
+        to: z.string(),
+        via: z.string(),
+        ref: DiagramNodeRef,
+        asset: z.string().optional(),
+    })),
+});
+export const PrivilegeDiagramSchema = z.object({
+    ...DiagramBase,
+    type: z.literal('privilege'),
+    actors: z.array(z.object({ id: z.string(), label: z.string(), ref: DiagramNodeRef })),
+    powers: z.array(z.object({ id: z.string(), label: z.string(), ref: DiagramNodeRef, worst_case: z.string() })),
+    grants: z.array(z.object({ actor: z.string(), power: z.string() })),
+});
+export const StateMachineDiagramSchema = z.object({
+    ...DiagramBase,
+    type: z.literal('state-machine'),
+    entity: z.string(),
+    states: z.array(z.object({ id: z.string(), label: z.string(), terminal: z.boolean().default(false) })),
+    transitions: z.array(z.object({
+        from: z.string(),
+        to: z.string(),
+        label: z.string(),
+        ref: DiagramNodeRef,
+        guard: z.string().optional(),
+    })),
+});
+export const AccountingDiagramSchema = z.object({
+    ...DiagramBase,
+    type: z.literal('accounting'),
+    equation: z.string(),
+    terms: z.array(z.object({ id: z.string(), label: z.string() })),
+    updates: z.array(z.object({
+        term: z.string(),
+        function: z.string(),
+        ref: DiagramNodeRef,
+        direction: z.enum(['increase', 'decrease', 'set']),
+    })),
+});
+export const SequenceDiagramSchema = z.object({
+    ...DiagramBase,
+    type: z.literal('sequence'),
+    participants: z.array(z.object({
+        id: z.string(),
+        label: z.string(),
+        kind: z.enum(['actor', 'contract', 'external']).default('contract'),
+        ref: DiagramNodeRef,
+    })),
+    messages: z.array(z.object({
+        from: z.string(),
+        to: z.string(),
+        label: z.string(),
+        kind: z.enum(['call', 'callback', 'oracle', 'transfer', 'state']).default('call'),
+        ref: DiagramNodeRef,
+        note: z.string().optional(),
+    })),
+});
+export const DiagramSpecSchema = z.discriminatedUnion('type', [
+    CustodyDiagramSchema,
+    PrivilegeDiagramSchema,
+    StateMachineDiagramSchema,
+    AccountingDiagramSchema,
+    SequenceDiagramSchema,
+]);
+export const DiagramIndexEntrySchema = z.object({
+    name: z.string(),
+    type: z.string(),
+    title: z.string(),
+    takeaway: z.string(),
+    spec_hash: z.string(),
+    built_at: z.string(),
+    /** The auditor edited the scene in the dashboard; rebuilds never overwrite it. */
+    edited: z.boolean().default(false),
+    /** A rebuild produced `<name>.regenerated.excalidraw` because the edited scene is out of date. */
+    stale: z.boolean().default(false),
+    in_report: z.boolean().default(false),
+});
+// ─── Fix review (.hex/fix-review/<to-sha>.json) ─────────────────────
+export const FixReviewCardSchema = z.object({
+    id: z.string(),
+    title: z.string(),
+    severity: SeveritySchema,
+    github_issue: z.number().int().optional(),
+    status: z.enum(['fixed', 'partially_fixed', 'not_fixed', 'unaddressed', 'unknown']),
+    /** One or two sentences: why this status (PoC result, code path removed, ...). */
+    evidence: z.string().default(''),
+    poc: z
+        .object({
+        file: z.string().optional(),
+        /** PoC result at the audited commit (expected: passing = bug present). */
+        before: z.enum(['passing', 'failing', 'error', 'missing']).optional(),
+        /** PoC result at the fix commit (expected: failing = bug gone). */
+        after: z.enum(['passing', 'failing', 'error', 'missing']).optional(),
+    })
+        .default({}),
+    changed_functions: z.array(z.string()).default([]),
+    commits: z.array(z.string()).default([]),
+    proposed: z
+        .object({
+        resolution: z
+            .enum(['Fixed', 'Mitigated', 'Acknowledged', 'Not Fixed', 'Unresolved'])
+            .optional(),
+        update_from_client: z.string().optional(),
+    })
+        .default({}),
+    /** Set once the proposal was applied to GitHub (`gh issue edit`). */
+    applied_at: z.string().optional(),
+});
+export const FixReviewSchema = z.object({
+    generated_at: z.string(),
+    from_commit: z.string(),
+    to_commit: z.string(),
+    cards: z.array(FixReviewCardSchema),
+    /** Fix-commit code changes not tied to any card: they need a review of their own. */
+    unmapped_changes: z.array(z.object({
+        contract: z.string(),
+        entity: z.string(),
+        kind: z.string(),
+        change: z.string(),
+        file: z.string(),
+        impacted_entry_points: z.array(z.string()).default([]),
+        reviewed: z.boolean().default(false),
+        note: z.string().optional(),
+    })),
+    summary: z.object({
+        fixed: z.number().int(),
+        partially_fixed: z.number().int(),
+        not_fixed: z.number().int(),
+        unaddressed: z.number().int(),
+        unknown: z.number().int(),
+        unmapped: z.number().int(),
+    }),
+});
 // ─── Differential audit ─────────────────────────────────────────────
 export const DiffFileStatusSchema = z.enum(['added', 'modified', 'deleted', 'renamed']);
 export const DiffFileSchema = z.object({
@@ -498,6 +833,10 @@ export const DiffSchema = z.object({
     generated_at: z.string(),
     base_commit: z.string(),
     head_commit: z.string(),
+    /** `compiler` = impact from exact compiler facts; `parser` = name-resolved fallback. */
+    analysis: z.enum(['compiler', 'parser']).default('parser'),
+    /** `compiler` = slot-exact layout diff of both commits; else inferred from declaration order. */
+    layout_analysis: z.enum(['compiler', 'declaration-order']).default('declaration-order'),
     /** Set when the working tree HEAD is not head_commit (analyses read the working tree). */
     warnings: z.array(z.string()).default([]),
     files: z.array(DiffFileSchema),