@lucern/contracts 1.0.12 → 1.0.13

package/dist/manifests/invariants/index.js

@@ -1,6 +1,6 @@
 import { join } from 'path';
+import ts2 from 'typescript';
 import { readdirSync, statSync, readFileSync } from 'fs';
-import ts from 'typescript';
 
 // src/manifests/invariants/inv-1-beliefs-append-only.ts
 function collectTsFiles(root) {
@@ -24,7 +24,7 @@ function readSource(filePath) {
   return {
     filePath,
     text,
-    sourceFile: ts.createSourceFile(filePath, text, ts.ScriptTarget.Latest, true)
+    sourceFile: ts2.createSourceFile(filePath, text, ts2.ScriptTarget.Latest, true)
   };
 }
 function walk(node, visit) {
@@ -32,11 +32,11 @@ function walk(node, visit) {
   node.forEachChild((child) => walk(child, visit));
 }
 function isDbCall(node, method) {
-  if (!ts.isCallExpression(node)) {
+  if (!ts2.isCallExpression(node)) {
     return false;
   }
   const expression = node.expression;
-  if (!ts.isPropertyAccessExpression(expression)) {
+  if (!ts2.isPropertyAccessExpression(expression)) {
     return false;
   }
   if (expression.name.text !== method) {
@@ -59,6 +59,25 @@ function isBeliefWriteCandidate(node) {
   }
   return /canonicalText|formulation|confidence|beliefStatus/.test(patchText);
 }
+function getEnclosingFunctionName(node) {
+  let current = node;
+  while (current) {
+    if (ts2.isFunctionDeclaration(current) && current.name) {
+      return current.name.text;
+    }
+    if ((ts2.isFunctionExpression(current) || ts2.isArrowFunction(current)) && ts2.isVariableDeclaration(current.parent) && ts2.isIdentifier(current.parent.name)) {
+      return current.parent.name.text;
+    }
+    current = current.parent;
+  }
+  return void 0;
+}
+function isEvidenceBackedSubjectiveLogicPatch(node) {
+  const [, patch] = node.arguments;
+  const patchText = patch?.getText() ?? "";
+  const functionName = getEnclosingFunctionName(node) ?? "";
+  return /SubjectiveLogic/.test(functionName) && /confidence/.test(patchText) && /slOperator\s*:\s*["']evidence_accumulation["']/.test(patchText);
+}
 var INV_1_BELIEFS_APPEND_ONLY = {
   invariant: "INV-1: beliefs append-only",
   description: "Scored beliefs cannot be patched or deleted; they must fork.",
@@ -73,7 +92,7 @@ var INV_1_BELIEFS_APPEND_ONLY = {
       }
       const unit = readSource(filePath);
       walk(unit.sourceFile, (node) => {
-        if (isDbCall(node, "patch") && isBeliefWriteCandidate(node)) {
+        if (isDbCall(node, "patch") && isBeliefWriteCandidate(node) && !isEvidenceBackedSubjectiveLogicPatch(node)) {
           violations.push(lineRef(unit, node));
         }
         if (isDbCall(node, "delete") && /belief/i.test(node.getText())) {

package/dist/manifests/invariants/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../src/manifests/invariants/ast-utils.ts","../../../src/manifests/invariants/inv-1-beliefs-append-only.ts","../../../src/manifests/invariants/inv-14-no-silent-transitions.ts","../../../src/manifests/invariants/manifest-1-projections-declare-audit.ts","../../../src/manifests/invariants/index.ts"],"names":["join"],"mappings":";;;;;AAUO,SAAS,eAAe,IAAA,EAAwB;AACrD,EAAA,MAAM,UAAoB,EAAC;AAC3B,EAAA,KAAA,MAAW,IAAA,IAAQ,WAAA,CAAY,IAAI,CAAA,EAAG;AACpC,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,EAAM,IAAI,CAAA;AAC5B,IAAA,MAAM,IAAA,GAAO,SAAS,IAAI,CAAA;AAC1B,IAAA,IAAI,IAAA,CAAK,aAAY,EAAG;AACtB,MAAA,IAAI,IAAA,KAAS,cAAA,IAAkB,IAAA,KAAS,MAAA,IAAU,SAAS,OAAA,EAAS;AAClE,QAAA;AAAA,MACF;AACA,MAAA,OAAA,CAAQ,IAAA,CAAK,GAAG,cAAA,CAAe,IAAI,CAAC,CAAA;AAAA,IACtC,CAAA,MAAA,IAAW,KAAK,QAAA,CAAS,KAAK,KAAK,CAAC,IAAA,CAAK,QAAA,CAAS,OAAO,CAAA,EAAG;AAC1D,MAAA,OAAA,CAAQ,KAAK,IAAI,CAAA;AAAA,IACnB;AAAA,EACF;AACA,EAAA,OAAO,OAAA;AACT;AAEO,SAAS,WAAW,QAAA,EAA8B;AACvD,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,QAAA,EAAU,MAAM,CAAA;AAC1C,EAAA,OAAO;AAAA,IACL,QAAA;AAAA,IACA,IAAA;AAAA,IACA,UAAA,EAAY,GAAG,gBAAA,CAAiB,QAAA,EAAU,MAAM,EAAA,CAAG,YAAA,CAAa,QAAQ,IAAI;AAAA,GAC9E;AACF;AAEO,SAAS,IAAA,CAAK,MAAe,KAAA,EAAsC;AACxE,EAAA,KAAA,CAAM,IAAI,CAAA;AACV,EAAA,IAAA,CAAK,aAAa,CAAC,KAAA,KAAU,IAAA,CAAK,KAAA,EAAO,KAAK,CAAC,CAAA;AACjD;AAEO,SAAS,QAAA,CAAS,MAAe,MAAA,EAA2C;AACjF,EAAA,IAAI,CAAC,EAAA,CAAG,gBAAA,CAAiB,IAAI,CAAA,EAAG;AAC9B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,aAAa,IAAA,CAAK,UAAA;AACxB,EAAA,IAAI,CAAC,EAAA,CAAG,0BAAA,CAA2B,UAAU,CAAA,EAAG;AAC9C,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,CAAW,IAAA,CAAK,IAAA,KAAS,MAAA,EAAQ;AACnC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,UAAA,CAAW,UAAA,CAAW,OAAA,EAAQ,CAAE,SAAS,KAAK,CAAA;AACvD;AAEO,SAAS,OAAA,CAAQ,MAAkB,IAAA,EAAuB;AAC/D,EAAA,MAAM,EAAE,MAAK,GAAI,IAAA,CAAK,WAAW,6BAAA,CAA8B,IAAA,CAAK,UAAU,CAAA;AAC9E,EAAA,OAAO,CAAA,EAAG,IAAA,CAAK,QAAQ,CAAA,CAAA,EAAI,OAAO,CAAC,CAAA,CAAA;AACrC;;;ACrDA,SAAS,uBAAuB,IAAA,EAAkC;AAChE,EAAA,MAAM,CAAC,MAAA,EAAQ,KAAK,CAAA,GAAI,IAAA,CAAK,SAAA;AAC7B,EAAA,MAAM,UAAA,GAAa,MAAA,EAAQ,OAAA,EAAQ,IAAK,EAAA;AACxC,EAAA,MAAM,SAAA,GAAY,KAAA,EAAO,OAAA,EAAQ,IAAK,EAAA;AAEtC,EAAA,IAAI,CAAC,SAAA,CAAU,IAAA,CAAK,UAAU,CAAA,EAAG;AAC/B,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,mDAAA,CAAoD,KAAK,SAAS,CAAA;AAC3E;AAEO,IAAM,yBAAA,GAA2C;AAAA,EACtD,SAAA,EAAW,4BAAA;AAAA,EACX,WAAA,EAAa,8DAAA;AAAA,EACb,OAAA,EAAS,KAAA;AAAA,EACT,QAAA,EAAU,eAAA;AAAA,EACV,QAAA,EAAU,OAAO,GAAA,KAAQ;AACvB,IAAA,MAAM,IAAA,GAAOA,IAAAA,CAAK,GAAA,CAAI,QAAA,EAAU,wCAAwC,CAAA;AACxE,IAAA,MAAM,aAAuB,EAAC;AAE9B,IAAA,KAAA,MAAW,QAAA,IAAY,cAAA,CAAe,IAAI,CAAA,EAAG;AAC3C,MAAA,IAAI,QAAA,CAAS,QAAA,CAAS,UAAU,CAAA,EAAG;AACjC,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,WAAW,QAAQ,CAAA;AAChC,MAAA,IAAA,CAAK,IAAA,CAAK,UAAA,EAAY,CAAC,IAAA,KAAS;AAC9B,QAAA,IAAI,SAAS,IAAA,EAAM,OAAO,CAAA,IAAK,sBAAA,CAAuB,IAAI,CAAA,EAAG;AAC3D,UAAA,UAAA,CAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,QACrC;AACA,QAAA,IAAI,QAAA,CAAS,MAAM,QAAQ,CAAA,IAAK,UAAU,IAAA,CAAK,IAAA,CAAK,OAAA,EAAS,CAAA,EAAG;AAC9D,UAAA,UAAA,CAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,QACrC;AAAA,MACF,CAAC,CAAA;AAAA,IACH;AAEA,IAAA,OAAO,UAAA,CAAW,WAAW,CAAA,GACzB,EAAE,QAAQ,QAAA,EAAU,YAAA,EAAc,EAAC,EAAE,GACrC;AAAA,MACE,MAAA,EAAQ,QAAA;AAAA,MACR,YAAA,EAAc,UAAA;AAAA,MACd,MAAA,EAAQ,CAAA,EAAG,UAAA,CAAW,MAAM,CAAA,8BAAA;AAAA,KAC9B;AAAA,EACN;AACF;AC7CA,IAAM,gBAAA,GAAmB;AAAA,EACvB,gBAAA;AAAA,EACA,gBAAA;AAAA,EACA,kBAAA;AAAA,EACA,WAAA;AAAA,EACA,SAAA;AAAA,EACA;AACF,CAAA;AAEO,IAAM,4BAAA,GAA8C;AAAA,EACzD,SAAA,EAAW,qCAAA;AAAA,EACX,WAAA,EACE,sGAAA;AAAA,EACF,OAAA,EAAS,KAAA;AAAA,EACT,QAAA,EAAU,eAAA;AAAA,EACV,QAAA,EAAU,OAAO,GAAA,KAAQ;AACvB,IAAA,MAAM,IAAA,GAAOA,IAAAA,CAAK,GAAA,CAAI,QAAA,EAAU,wCAAwC,CAAA;AACxE,IAAA,MAAM,aAAuB,EAAC;AAE9B,IAAA,KAAA,MAAW,QAAA,IAAY,cAAA,CAAe,IAAI,CAAA,EAAG;AAC3C,MAAA,IAAI,QAAA,CAAS,QAAA,CAAS,UAAU,CAAA,EAAG;AACjC,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,WAAW,QAAQ,CAAA;AAChC,MAAA,IAAI,IAAA,CAAK,IAAA,CAAK,QAAA,CAAS,gBAAgB,CAAA,EAAG;AACxC,QAAA;AAAA,MACF;AAEA,MAAA,IAAA,CAAK,IAAA,CAAK,UAAA,EAAY,CAAC,IAAA,KAAS;AAC9B,QAAA,IAAI,CAAC,QAAA,CAAS,IAAA,EAAM,OAAO,CAAA,EAAG;AAC5B,UAAA;AAAA,QACF;AACA,QAAA,MAAM,IAAA,GAAO,KAAK,OAAA,EAAQ;AAC1B,QAAA,MAAM,qBAAA,GACJ,gBAAA,CAAiB,IAAA,CAAK,CAAC,UAAU,IAAA,CAAK,QAAA,CAAS,CAAA,CAAA,EAAI,KAAK,CAAA,CAAA,CAAG,CAAC,CAAA,IAC5D,uDAAA,CAAwD,KAAK,IAAI,CAAA;AACnE,QAAA,MAAM,kBAAA,GACJ,8CAAA,CAA+C,IAAA,CAAK,IAAI,CAAA;AAC1D,QAAA,IAAI,qBAAA,IAAyB,CAAC,kBAAA,EAAoB;AAChD,UAAA,UAAA,CAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,QACrC;AAAA,MACF,CAAC,CAAA;AAAA,IACH;AAEA,IAAA,OAAO,UAAA,CAAW,WAAW,CAAA,GACzB,EAAE,QAAQ,QAAA,EAAU,YAAA,EAAc,EAAC,EAAE,GACrC;AAAA,MACE,MAAA,EAAQ,QAAA;AAAA,MACR,YAAA,EAAc,UAAA;AAAA,MACd,MAAA,EAAQ,CAAA,EAAG,UAAA,CAAW,MAAM,CAAA,2CAAA;AAAA,KAC9B;AAAA,EACN;AACF;;;ACrDA,SAAS,YAAY,MAAA,EAA2D;AAC9E,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,OAAO,OAAA,CAAQ,IAAA,CAAK,QAAA,KAAa,YAAA,EAAc;AAC7C,IAAA,OAAA,GAAW,QAAQ,IAAA,CAAkC,MAAA;AAAA,EACvD;AAEA,EAAA,MAAM,MAAM,OAAA,CAAQ,IAAA;AACpB,EAAA,IAAI,OAAO,GAAA,CAAI,KAAA,KAAU,UAAA,EAAY;AACnC,IAAA,OAAO,IAAI,KAAA,EAAM;AAAA,EACnB;AACA,EAAA,IAAI,GAAA,CAAI,KAAA,IAAS,OAAO,GAAA,CAAI,UAAU,QAAA,EAAU;AAC9C,IAAA,OAAO,GAAA,CAAI,KAAA;AAAA,EACb;AACA,EAAA,OAAO,MAAA;AACT;AAEO,IAAM,oCAAA,GAAsD;AAAA,EACjE,SAAA,EAAW,uDAAA;AAAA,EACX,WAAA,EACE,kGAAA;AAAA,EACF,OAAA,EAAS,UAAA;AAAA,EACT,QAAA,EAAU,eAAA;AAAA,EACV,QAAA,EAAU,OAAO,GAAA,KAAQ;AACvB,IAAA,MAAM,aAAuB,EAAC;AAE9B,IAAA,KAAA,MAAW,CAAC,MAAM,UAAU,CAAA,IAAK,OAAO,OAAA,CAAQ,GAAA,CAAI,WAAW,CAAA,EAAG;AAChE,MAAA,IAAI,CAAC,iCAAA,CAAkC,IAAA,CAAK,IAAI,CAAA,EAAG;AACjD,QAAA;AAAA,MACF;AACA,MAAA,MAAM,KAAA,GAAQ,WAAA,CAAY,UAAA,CAAW,WAAW,CAAA;AAChD,MAAA,IAAI,CAAC,KAAA,IAAS,EAAE,WAAA,IAAe,KAAA,CAAA,EAAQ;AACrC,QAAA,UAAA,CAAW,IAAA,CAAK,CAAA,YAAA,EAAe,IAAI,CAAA,2BAAA,CAA6B,CAAA;AAAA,MAClE;AAAA,IACF;AAEA,IAAA,OAAO,UAAA,CAAW,WAAW,CAAA,GACzB,EAAE,QAAQ,QAAA,EAAU,YAAA,EAAc,EAAC,EAAE,GACrC;AAAA,MACE,MAAA,EAAQ,QAAA;AAAA,MACR,YAAA,EAAc,UAAA;AAAA,MACd,MAAA,EAAQ,CAAA,EAAG,UAAA,CAAW,MAAM,CAAA,oCAAA;AAAA,KAC9B;AAAA,EACN;AACF;;;AC1CO,IAAM,UAAA,GAAa;AAAA,EACxB,yBAAA;AAAA,EACA,4BAAA;AAAA,EACA;AACF","file":"index.js","sourcesContent":["import { readFileSync, readdirSync, statSync } from \"node:fs\";\nimport { join } from \"node:path\";\nimport ts from \"typescript\";\n\nexport type SourceUnit = {\n  filePath: string;\n  text: string;\n  sourceFile: ts.SourceFile;\n};\n\nexport function collectTsFiles(root: string): string[] {\n  const entries: string[] = [];\n  for (const name of readdirSync(root)) {\n    const path = join(root, name);\n    const stat = statSync(path);\n    if (stat.isDirectory()) {\n      if (name === \"node_modules\" || name === \"dist\" || name === \".next\") {\n        continue;\n      }\n      entries.push(...collectTsFiles(path));\n    } else if (name.endsWith(\".ts\") && !name.endsWith(\".d.ts\")) {\n      entries.push(path);\n    }\n  }\n  return entries;\n}\n\nexport function readSource(filePath: string): SourceUnit {\n  const text = readFileSync(filePath, \"utf8\");\n  return {\n    filePath,\n    text,\n    sourceFile: ts.createSourceFile(filePath, text, ts.ScriptTarget.Latest, true),\n  };\n}\n\nexport function walk(node: ts.Node, visit: (node: ts.Node) => void): void {\n  visit(node);\n  node.forEachChild((child) => walk(child, visit));\n}\n\nexport function isDbCall(node: ts.Node, method: string): node is ts.CallExpression {\n  if (!ts.isCallExpression(node)) {\n    return false;\n  }\n  const expression = node.expression;\n  if (!ts.isPropertyAccessExpression(expression)) {\n    return false;\n  }\n  if (expression.name.text !== method) {\n    return false;\n  }\n  return expression.expression.getText().endsWith(\".db\");\n}\n\nexport function lineRef(unit: SourceUnit, node: ts.Node): string {\n  const { line } = unit.sourceFile.getLineAndCharacterOfPosition(node.getStart());\n  return `${unit.filePath}:${line + 1}`;\n}\n","import { join } from \"node:path\";\nimport ts from \"typescript\";\nimport type { InvariantRule } from \"../invariant-manifest.js\";\nimport { collectTsFiles, isDbCall, lineRef, readSource, walk } from \"./ast-utils.js\";\n\nfunction isBeliefWriteCandidate(node: ts.CallExpression): boolean {\n  const [target, patch] = node.arguments;\n  const targetText = target?.getText() ?? \"\";\n  const patchText = patch?.getText() ?? \"\";\n\n  if (!/belief/i.test(targetText)) {\n    return false;\n  }\n\n  return /canonicalText|formulation|confidence|beliefStatus/.test(patchText);\n}\n\nexport const INV_1_BELIEFS_APPEND_ONLY: InvariantRule = {\n  invariant: \"INV-1: beliefs append-only\",\n  description: \"Scored beliefs cannot be patched or deleted; they must fork.\",\n  checker: \"ast\",\n  severity: \"block_publish\",\n  evaluate: async (ctx) => {\n    const root = join(ctx.repoRoot, \"packages/reasoning-kernel/src/adapters\");\n    const violations: string[] = [];\n\n    for (const filePath of collectTsFiles(root)) {\n      if (filePath.endsWith(\".test.ts\")) {\n        continue;\n      }\n      const unit = readSource(filePath);\n      walk(unit.sourceFile, (node) => {\n        if (isDbCall(node, \"patch\") && isBeliefWriteCandidate(node)) {\n          violations.push(lineRef(unit, node));\n        }\n        if (isDbCall(node, \"delete\") && /belief/i.test(node.getText())) {\n          violations.push(lineRef(unit, node));\n        }\n      });\n    }\n\n    return violations.length === 0\n      ? { status: \"passed\", evidenceRefs: [] }\n      : {\n          status: \"failed\",\n          evidenceRefs: violations,\n          reason: `${violations.length} unwrapped belief writes found`,\n        };\n  },\n};\n","import { join } from \"node:path\";\nimport type { InvariantRule } from \"../invariant-manifest.js\";\nimport { collectTsFiles, isDbCall, lineRef, readSource, walk } from \"./ast-utils.js\";\n\nconst EPISTEMIC_TABLES = [\n  \"epistemicNodes\",\n  \"epistemicEdges\",\n  \"beliefConfidence\",\n  \"questions\",\n  \"answers\",\n  \"contradictions\",\n];\n\nexport const INV_14_NO_SILENT_TRANSITIONS: InvariantRule = {\n  invariant: \"INV-14: no silent state transitions\",\n  description:\n    \"Epistemic state transitions must co-locate an epistemicAudit insert in the same implementation file.\",\n  checker: \"ast\",\n  severity: \"block_publish\",\n  evaluate: async (ctx) => {\n    const root = join(ctx.repoRoot, \"packages/reasoning-kernel/src/adapters\");\n    const violations: string[] = [];\n\n    for (const filePath of collectTsFiles(root)) {\n      if (filePath.endsWith(\".test.ts\")) {\n        continue;\n      }\n      const unit = readSource(filePath);\n      if (unit.text.includes(\"epistemicAudit\")) {\n        continue;\n      }\n\n      walk(unit.sourceFile, (node) => {\n        if (!isDbCall(node, \"patch\")) {\n          return;\n        }\n        const text = node.getText();\n        const touchesEpistemicState =\n          EPISTEMIC_TABLES.some((table) => text.includes(`\"${table}\"`)) ||\n          /\\b(belief|question|answer|contradiction|edge)\\w*Id\\b/i.test(text);\n        const carriesAuditIntent =\n          /\\b(epistemicAudit|rationale|reason|audit)\\b/i.test(text);\n        if (touchesEpistemicState && !carriesAuditIntent) {\n          violations.push(lineRef(unit, node));\n        }\n      });\n    }\n\n    return violations.length === 0\n      ? { status: \"passed\", evidenceRefs: [] }\n      : {\n          status: \"failed\",\n          evidenceRefs: violations,\n          reason: `${violations.length} epistemic writes lack local audit evidence`,\n        };\n  },\n};\n","import type { z } from \"zod\";\nimport type { InvariantRule } from \"../invariant-manifest.js\";\n\nfunction objectShape(schema: z.ZodTypeAny): Record<string, unknown> | undefined {\n  let current = schema;\n  while (current._def.typeName === \"ZodEffects\") {\n    current = (current._def as { schema: z.ZodTypeAny }).schema;\n  }\n\n  const def = current._def as { shape?: unknown };\n  if (typeof def.shape === \"function\") {\n    return def.shape() as Record<string, unknown>;\n  }\n  if (def.shape && typeof def.shape === \"object\") {\n    return def.shape as Record<string, unknown>;\n  }\n  return undefined;\n}\n\nexport const MANIFEST_1_PROJECTIONS_DECLARE_AUDIT: InvariantRule = {\n  invariant: \"MANIFEST-1: kernel projections declare epistemicAudit\",\n  description:\n    \"Kernel mutation projections must carry a rationale so audit evidence can explain the transition.\",\n  checker: \"manifest\",\n  severity: \"block_publish\",\n  evaluate: async (ctx) => {\n    const violations: string[] = [];\n\n    for (const [name, projection] of Object.entries(ctx.projections)) {\n      if (!/^(create|modulate|fork|update)_/.test(name)) {\n        continue;\n      }\n      const shape = objectShape(projection.inputSchema);\n      if (!shape || !(\"rationale\" in shape)) {\n        violations.push(`projection '${name}' missing 'rationale' field`);\n      }\n    }\n\n    return violations.length === 0\n      ? { status: \"passed\", evidenceRefs: [] }\n      : {\n          status: \"failed\",\n          evidenceRefs: violations,\n          reason: `${violations.length} projections missing audit rationale`,\n        };\n  },\n};\n","import { INV_1_BELIEFS_APPEND_ONLY } from \"./inv-1-beliefs-append-only.js\";\nimport { INV_14_NO_SILENT_TRANSITIONS } from \"./inv-14-no-silent-transitions.js\";\nimport { MANIFEST_1_PROJECTIONS_DECLARE_AUDIT } from \"./manifest-1-projections-declare-audit.js\";\n\nexport const invariants = [\n  INV_1_BELIEFS_APPEND_ONLY,\n  INV_14_NO_SILENT_TRANSITIONS,\n  MANIFEST_1_PROJECTIONS_DECLARE_AUDIT,\n] as const;\n\nexport { INV_1_BELIEFS_APPEND_ONLY } from \"./inv-1-beliefs-append-only.js\";\nexport { INV_14_NO_SILENT_TRANSITIONS } from \"./inv-14-no-silent-transitions.js\";\nexport { MANIFEST_1_PROJECTIONS_DECLARE_AUDIT } from \"./manifest-1-projections-declare-audit.js\";\n"]}
+{"version":3,"sources":["../../../src/manifests/invariants/ast-utils.ts","../../../src/manifests/invariants/inv-1-beliefs-append-only.ts","../../../src/manifests/invariants/inv-14-no-silent-transitions.ts","../../../src/manifests/invariants/manifest-1-projections-declare-audit.ts","../../../src/manifests/invariants/index.ts"],"names":["ts","join"],"mappings":";;;;;AAUO,SAAS,eAAe,IAAA,EAAwB;AACrD,EAAA,MAAM,UAAoB,EAAC;AAC3B,EAAA,KAAA,MAAW,IAAA,IAAQ,WAAA,CAAY,IAAI,CAAA,EAAG;AACpC,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,EAAM,IAAI,CAAA;AAC5B,IAAA,MAAM,IAAA,GAAO,SAAS,IAAI,CAAA;AAC1B,IAAA,IAAI,IAAA,CAAK,aAAY,EAAG;AACtB,MAAA,IAAI,IAAA,KAAS,cAAA,IAAkB,IAAA,KAAS,MAAA,IAAU,SAAS,OAAA,EAAS;AAClE,QAAA;AAAA,MACF;AACA,MAAA,OAAA,CAAQ,IAAA,CAAK,GAAG,cAAA,CAAe,IAAI,CAAC,CAAA;AAAA,IACtC,CAAA,MAAA,IAAW,KAAK,QAAA,CAAS,KAAK,KAAK,CAAC,IAAA,CAAK,QAAA,CAAS,OAAO,CAAA,EAAG;AAC1D,MAAA,OAAA,CAAQ,KAAK,IAAI,CAAA;AAAA,IACnB;AAAA,EACF;AACA,EAAA,OAAO,OAAA;AACT;AAEO,SAAS,WAAW,QAAA,EAA8B;AACvD,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,QAAA,EAAU,MAAM,CAAA;AAC1C,EAAA,OAAO;AAAA,IACL,QAAA;AAAA,IACA,IAAA;AAAA,IACA,UAAA,EAAYA,IAAG,gBAAA,CAAiB,QAAA,EAAU,MAAMA,GAAA,CAAG,YAAA,CAAa,QAAQ,IAAI;AAAA,GAC9E;AACF;AAEO,SAAS,IAAA,CAAK,MAAe,KAAA,EAAsC;AACxE,EAAA,KAAA,CAAM,IAAI,CAAA;AACV,EAAA,IAAA,CAAK,aAAa,CAAC,KAAA,KAAU,IAAA,CAAK,KAAA,EAAO,KAAK,CAAC,CAAA;AACjD;AAEO,SAAS,QAAA,CAAS,MAAe,MAAA,EAA2C;AACjF,EAAA,IAAI,CAACA,GAAA,CAAG,gBAAA,CAAiB,IAAI,CAAA,EAAG;AAC9B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,aAAa,IAAA,CAAK,UAAA;AACxB,EAAA,IAAI,CAACA,GAAA,CAAG,0BAAA,CAA2B,UAAU,CAAA,EAAG;AAC9C,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,CAAW,IAAA,CAAK,IAAA,KAAS,MAAA,EAAQ;AACnC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,UAAA,CAAW,UAAA,CAAW,OAAA,EAAQ,CAAE,SAAS,KAAK,CAAA;AACvD;AAEO,SAAS,OAAA,CAAQ,MAAkB,IAAA,EAAuB;AAC/D,EAAA,MAAM,EAAE,MAAK,GAAI,IAAA,CAAK,WAAW,6BAAA,CAA8B,IAAA,CAAK,UAAU,CAAA;AAC9E,EAAA,OAAO,CAAA,EAAG,IAAA,CAAK,QAAQ,CAAA,CAAA,EAAI,OAAO,CAAC,CAAA,CAAA;AACrC;;;ACrDA,SAAS,uBAAuB,IAAA,EAAkC;AAChE,EAAA,MAAM,CAAC,MAAA,EAAQ,KAAK,CAAA,GAAI,IAAA,CAAK,SAAA;AAC7B,EAAA,MAAM,UAAA,GAAa,MAAA,EAAQ,OAAA,EAAQ,IAAK,EAAA;AACxC,EAAA,MAAM,SAAA,GAAY,KAAA,EAAO,OAAA,EAAQ,IAAK,EAAA;AAEtC,EAAA,IAAI,CAAC,SAAA,CAAU,IAAA,CAAK,UAAU,CAAA,EAAG;AAC/B,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,mDAAA,CAAoD,KAAK,SAAS,CAAA;AAC3E;AAEA,SAAS,yBAAyB,IAAA,EAAmC;AACnE,EAAA,IAAI,OAAA,GAA+B,IAAA;AACnC,EAAA,OAAO,OAAA,EAAS;AACd,IAAA,IAAIA,GAAAA,CAAG,qBAAA,CAAsB,OAAO,CAAA,IAAK,QAAQ,IAAA,EAAM;AACrD,MAAA,OAAO,QAAQ,IAAA,CAAK,IAAA;AAAA,IACtB;AACA,IAAA,IAAA,CACGA,IAAG,oBAAA,CAAqB,OAAO,KAAKA,GAAAA,CAAG,eAAA,CAAgB,OAAO,CAAA,KAC/DA,GAAAA,CAAG,qBAAA,CAAsB,OAAA,CAAQ,MAAM,CAAA,IACvCA,GAAAA,CAAG,aAAa,OAAA,CAAQ,MAAA,CAAO,IAAI,CAAA,EACnC;AACA,MAAA,OAAO,OAAA,CAAQ,OAAO,IAAA,CAAK,IAAA;AAAA,IAC7B;AACA,IAAA,OAAA,GAAU,OAAA,CAAQ,MAAA;AAAA,EACpB;AACA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,qCACP,IAAA,EACS;AACT,EAAA,MAAM,GAAG,KAAK,CAAA,GAAI,IAAA,CAAK,SAAA;AACvB,EAAA,MAAM,SAAA,GAAY,KAAA,EAAO,OAAA,EAAQ,IAAK,EAAA;AACtC,EAAA,MAAM,YAAA,GAAe,wBAAA,CAAyB,IAAI,CAAA,IAAK,EAAA;AAEvD,EAAA,OACE,iBAAA,CAAkB,IAAA,CAAK,YAAY,CAAA,IACnC,YAAA,CAAa,KAAK,SAAS,CAAA,IAC3B,gDAAA,CAAiD,IAAA,CAAK,SAAS,CAAA;AAEnE;AAEO,IAAM,yBAAA,GAA2C;AAAA,EACtD,SAAA,EAAW,4BAAA;AAAA,EACX,WAAA,EAAa,8DAAA;AAAA,EACb,OAAA,EAAS,KAAA;AAAA,EACT,QAAA,EAAU,eAAA;AAAA,EACV,QAAA,EAAU,OAAO,GAAA,KAAQ;AACvB,IAAA,MAAM,IAAA,GAAOC,IAAAA,CAAK,GAAA,CAAI,QAAA,EAAU,wCAAwC,CAAA;AACxE,IAAA,MAAM,aAAuB,EAAC;AAE9B,IAAA,KAAA,MAAW,QAAA,IAAY,cAAA,CAAe,IAAI,CAAA,EAAG;AAC3C,MAAA,IAAI,QAAA,CAAS,QAAA,CAAS,UAAU,CAAA,EAAG;AACjC,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,WAAW,QAAQ,CAAA;AAChC,MAAA,IAAA,CAAK,IAAA,CAAK,UAAA,EAAY,CAAC,IAAA,KAAS;AAC9B,QAAA,IACE,QAAA,CAAS,IAAA,EAAM,OAAO,CAAA,IACtB,sBAAA,CAAuB,IAAI,CAAA,IAC3B,CAAC,oCAAA,CAAqC,IAAI,CAAA,EAC1C;AACA,UAAA,UAAA,CAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,QACrC;AACA,QAAA,IAAI,QAAA,CAAS,MAAM,QAAQ,CAAA,IAAK,UAAU,IAAA,CAAK,IAAA,CAAK,OAAA,EAAS,CAAA,EAAG;AAC9D,UAAA,UAAA,CAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,QACrC;AAAA,MACF,CAAC,CAAA;AAAA,IACH;AAEA,IAAA,OAAO,UAAA,CAAW,WAAW,CAAA,GACzB,EAAE,QAAQ,QAAA,EAAU,YAAA,EAAc,EAAC,EAAE,GACrC;AAAA,MACE,MAAA,EAAQ,QAAA;AAAA,MACR,YAAA,EAAc,UAAA;AAAA,MACd,MAAA,EAAQ,CAAA,EAAG,UAAA,CAAW,MAAM,CAAA,8BAAA;AAAA,KAC9B;AAAA,EACN;AACF;ACjFA,IAAM,gBAAA,GAAmB;AAAA,EACvB,gBAAA;AAAA,EACA,gBAAA;AAAA,EACA,kBAAA;AAAA,EACA,WAAA;AAAA,EACA,SAAA;AAAA,EACA;AACF,CAAA;AAEO,IAAM,4BAAA,GAA8C;AAAA,EACzD,SAAA,EAAW,qCAAA;AAAA,EACX,WAAA,EACE,sGAAA;AAAA,EACF,OAAA,EAAS,KAAA;AAAA,EACT,QAAA,EAAU,eAAA;AAAA,EACV,QAAA,EAAU,OAAO,GAAA,KAAQ;AACvB,IAAA,MAAM,IAAA,GAAOA,IAAAA,CAAK,GAAA,CAAI,QAAA,EAAU,wCAAwC,CAAA;AACxE,IAAA,MAAM,aAAuB,EAAC;AAE9B,IAAA,KAAA,MAAW,QAAA,IAAY,cAAA,CAAe,IAAI,CAAA,EAAG;AAC3C,MAAA,IAAI,QAAA,CAAS,QAAA,CAAS,UAAU,CAAA,EAAG;AACjC,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,WAAW,QAAQ,CAAA;AAChC,MAAA,IAAI,IAAA,CAAK,IAAA,CAAK,QAAA,CAAS,gBAAgB,CAAA,EAAG;AACxC,QAAA;AAAA,MACF;AAEA,MAAA,IAAA,CAAK,IAAA,CAAK,UAAA,EAAY,CAAC,IAAA,KAAS;AAC9B,QAAA,IAAI,CAAC,QAAA,CAAS,IAAA,EAAM,OAAO,CAAA,EAAG;AAC5B,UAAA;AAAA,QACF;AACA,QAAA,MAAM,IAAA,GAAO,KAAK,OAAA,EAAQ;AAC1B,QAAA,MAAM,qBAAA,GACJ,gBAAA,CAAiB,IAAA,CAAK,CAAC,UAAU,IAAA,CAAK,QAAA,CAAS,CAAA,CAAA,EAAI,KAAK,CAAA,CAAA,CAAG,CAAC,CAAA,IAC5D,uDAAA,CAAwD,KAAK,IAAI,CAAA;AACnE,QAAA,MAAM,kBAAA,GACJ,8CAAA,CAA+C,IAAA,CAAK,IAAI,CAAA;AAC1D,QAAA,IAAI,qBAAA,IAAyB,CAAC,kBAAA,EAAoB;AAChD,UAAA,UAAA,CAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,QACrC;AAAA,MACF,CAAC,CAAA;AAAA,IACH;AAEA,IAAA,OAAO,UAAA,CAAW,WAAW,CAAA,GACzB,EAAE,QAAQ,QAAA,EAAU,YAAA,EAAc,EAAC,EAAE,GACrC;AAAA,MACE,MAAA,EAAQ,QAAA;AAAA,MACR,YAAA,EAAc,UAAA;AAAA,MACd,MAAA,EAAQ,CAAA,EAAG,UAAA,CAAW,MAAM,CAAA,2CAAA;AAAA,KAC9B;AAAA,EACN;AACF;;;ACrDA,SAAS,YAAY,MAAA,EAA2D;AAC9E,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,OAAO,OAAA,CAAQ,IAAA,CAAK,QAAA,KAAa,YAAA,EAAc;AAC7C,IAAA,OAAA,GAAW,QAAQ,IAAA,CAAkC,MAAA;AAAA,EACvD;AAEA,EAAA,MAAM,MAAM,OAAA,CAAQ,IAAA;AACpB,EAAA,IAAI,OAAO,GAAA,CAAI,KAAA,KAAU,UAAA,EAAY;AACnC,IAAA,OAAO,IAAI,KAAA,EAAM;AAAA,EACnB;AACA,EAAA,IAAI,GAAA,CAAI,KAAA,IAAS,OAAO,GAAA,CAAI,UAAU,QAAA,EAAU;AAC9C,IAAA,OAAO,GAAA,CAAI,KAAA;AAAA,EACb;AACA,EAAA,OAAO,MAAA;AACT;AAEO,IAAM,oCAAA,GAAsD;AAAA,EACjE,SAAA,EAAW,uDAAA;AAAA,EACX,WAAA,EACE,kGAAA;AAAA,EACF,OAAA,EAAS,UAAA;AAAA,EACT,QAAA,EAAU,eAAA;AAAA,EACV,QAAA,EAAU,OAAO,GAAA,KAAQ;AACvB,IAAA,MAAM,aAAuB,EAAC;AAE9B,IAAA,KAAA,MAAW,CAAC,MAAM,UAAU,CAAA,IAAK,OAAO,OAAA,CAAQ,GAAA,CAAI,WAAW,CAAA,EAAG;AAChE,MAAA,IAAI,CAAC,iCAAA,CAAkC,IAAA,CAAK,IAAI,CAAA,EAAG;AACjD,QAAA;AAAA,MACF;AACA,MAAA,MAAM,KAAA,GAAQ,WAAA,CAAY,UAAA,CAAW,WAAW,CAAA;AAChD,MAAA,IAAI,CAAC,KAAA,IAAS,EAAE,WAAA,IAAe,KAAA,CAAA,EAAQ;AACrC,QAAA,UAAA,CAAW,IAAA,CAAK,CAAA,YAAA,EAAe,IAAI,CAAA,2BAAA,CAA6B,CAAA;AAAA,MAClE;AAAA,IACF;AAEA,IAAA,OAAO,UAAA,CAAW,WAAW,CAAA,GACzB,EAAE,QAAQ,QAAA,EAAU,YAAA,EAAc,EAAC,EAAE,GACrC;AAAA,MACE,MAAA,EAAQ,QAAA;AAAA,MACR,YAAA,EAAc,UAAA;AAAA,MACd,MAAA,EAAQ,CAAA,EAAG,UAAA,CAAW,MAAM,CAAA,oCAAA;AAAA,KAC9B;AAAA,EACN;AACF;;;AC1CO,IAAM,UAAA,GAAa;AAAA,EACxB,yBAAA;AAAA,EACA,4BAAA;AAAA,EACA;AACF","file":"index.js","sourcesContent":["import { readFileSync, readdirSync, statSync } from \"node:fs\";\nimport { join } from \"node:path\";\nimport ts from \"typescript\";\n\nexport type SourceUnit = {\n  filePath: string;\n  text: string;\n  sourceFile: ts.SourceFile;\n};\n\nexport function collectTsFiles(root: string): string[] {\n  const entries: string[] = [];\n  for (const name of readdirSync(root)) {\n    const path = join(root, name);\n    const stat = statSync(path);\n    if (stat.isDirectory()) {\n      if (name === \"node_modules\" || name === \"dist\" || name === \".next\") {\n        continue;\n      }\n      entries.push(...collectTsFiles(path));\n    } else if (name.endsWith(\".ts\") && !name.endsWith(\".d.ts\")) {\n      entries.push(path);\n    }\n  }\n  return entries;\n}\n\nexport function readSource(filePath: string): SourceUnit {\n  const text = readFileSync(filePath, \"utf8\");\n  return {\n    filePath,\n    text,\n    sourceFile: ts.createSourceFile(filePath, text, ts.ScriptTarget.Latest, true),\n  };\n}\n\nexport function walk(node: ts.Node, visit: (node: ts.Node) => void): void {\n  visit(node);\n  node.forEachChild((child) => walk(child, visit));\n}\n\nexport function isDbCall(node: ts.Node, method: string): node is ts.CallExpression {\n  if (!ts.isCallExpression(node)) {\n    return false;\n  }\n  const expression = node.expression;\n  if (!ts.isPropertyAccessExpression(expression)) {\n    return false;\n  }\n  if (expression.name.text !== method) {\n    return false;\n  }\n  return expression.expression.getText().endsWith(\".db\");\n}\n\nexport function lineRef(unit: SourceUnit, node: ts.Node): string {\n  const { line } = unit.sourceFile.getLineAndCharacterOfPosition(node.getStart());\n  return `${unit.filePath}:${line + 1}`;\n}\n","import { join } from \"node:path\";\nimport ts from \"typescript\";\nimport type { InvariantRule } from \"../invariant-manifest.js\";\nimport { collectTsFiles, isDbCall, lineRef, readSource, walk } from \"./ast-utils.js\";\n\nfunction isBeliefWriteCandidate(node: ts.CallExpression): boolean {\n  const [target, patch] = node.arguments;\n  const targetText = target?.getText() ?? \"\";\n  const patchText = patch?.getText() ?? \"\";\n\n  if (!/belief/i.test(targetText)) {\n    return false;\n  }\n\n  return /canonicalText|formulation|confidence|beliefStatus/.test(patchText);\n}\n\nfunction getEnclosingFunctionName(node: ts.Node): string | undefined {\n  let current: ts.Node | undefined = node;\n  while (current) {\n    if (ts.isFunctionDeclaration(current) && current.name) {\n      return current.name.text;\n    }\n    if (\n      (ts.isFunctionExpression(current) || ts.isArrowFunction(current)) &&\n      ts.isVariableDeclaration(current.parent) &&\n      ts.isIdentifier(current.parent.name)\n    ) {\n      return current.parent.name.text;\n    }\n    current = current.parent;\n  }\n  return undefined;\n}\n\nfunction isEvidenceBackedSubjectiveLogicPatch(\n  node: ts.CallExpression\n): boolean {\n  const [, patch] = node.arguments;\n  const patchText = patch?.getText() ?? \"\";\n  const functionName = getEnclosingFunctionName(node) ?? \"\";\n\n  return (\n    /SubjectiveLogic/.test(functionName) &&\n    /confidence/.test(patchText) &&\n    /slOperator\\s*:\\s*[\"']evidence_accumulation[\"']/.test(patchText)\n  );\n}\n\nexport const INV_1_BELIEFS_APPEND_ONLY: InvariantRule = {\n  invariant: \"INV-1: beliefs append-only\",\n  description: \"Scored beliefs cannot be patched or deleted; they must fork.\",\n  checker: \"ast\",\n  severity: \"block_publish\",\n  evaluate: async (ctx) => {\n    const root = join(ctx.repoRoot, \"packages/reasoning-kernel/src/adapters\");\n    const violations: string[] = [];\n\n    for (const filePath of collectTsFiles(root)) {\n      if (filePath.endsWith(\".test.ts\")) {\n        continue;\n      }\n      const unit = readSource(filePath);\n      walk(unit.sourceFile, (node) => {\n        if (\n          isDbCall(node, \"patch\") &&\n          isBeliefWriteCandidate(node) &&\n          !isEvidenceBackedSubjectiveLogicPatch(node)\n        ) {\n          violations.push(lineRef(unit, node));\n        }\n        if (isDbCall(node, \"delete\") && /belief/i.test(node.getText())) {\n          violations.push(lineRef(unit, node));\n        }\n      });\n    }\n\n    return violations.length === 0\n      ? { status: \"passed\", evidenceRefs: [] }\n      : {\n          status: \"failed\",\n          evidenceRefs: violations,\n          reason: `${violations.length} unwrapped belief writes found`,\n        };\n  },\n};\n","import { join } from \"node:path\";\nimport type { InvariantRule } from \"../invariant-manifest.js\";\nimport { collectTsFiles, isDbCall, lineRef, readSource, walk } from \"./ast-utils.js\";\n\nconst EPISTEMIC_TABLES = [\n  \"epistemicNodes\",\n  \"epistemicEdges\",\n  \"beliefConfidence\",\n  \"questions\",\n  \"answers\",\n  \"contradictions\",\n];\n\nexport const INV_14_NO_SILENT_TRANSITIONS: InvariantRule = {\n  invariant: \"INV-14: no silent state transitions\",\n  description:\n    \"Epistemic state transitions must co-locate an epistemicAudit insert in the same implementation file.\",\n  checker: \"ast\",\n  severity: \"block_publish\",\n  evaluate: async (ctx) => {\n    const root = join(ctx.repoRoot, \"packages/reasoning-kernel/src/adapters\");\n    const violations: string[] = [];\n\n    for (const filePath of collectTsFiles(root)) {\n      if (filePath.endsWith(\".test.ts\")) {\n        continue;\n      }\n      const unit = readSource(filePath);\n      if (unit.text.includes(\"epistemicAudit\")) {\n        continue;\n      }\n\n      walk(unit.sourceFile, (node) => {\n        if (!isDbCall(node, \"patch\")) {\n          return;\n        }\n        const text = node.getText();\n        const touchesEpistemicState =\n          EPISTEMIC_TABLES.some((table) => text.includes(`\"${table}\"`)) ||\n          /\\b(belief|question|answer|contradiction|edge)\\w*Id\\b/i.test(text);\n        const carriesAuditIntent =\n          /\\b(epistemicAudit|rationale|reason|audit)\\b/i.test(text);\n        if (touchesEpistemicState && !carriesAuditIntent) {\n          violations.push(lineRef(unit, node));\n        }\n      });\n    }\n\n    return violations.length === 0\n      ? { status: \"passed\", evidenceRefs: [] }\n      : {\n          status: \"failed\",\n          evidenceRefs: violations,\n          reason: `${violations.length} epistemic writes lack local audit evidence`,\n        };\n  },\n};\n","import type { z } from \"zod\";\nimport type { InvariantRule } from \"../invariant-manifest.js\";\n\nfunction objectShape(schema: z.ZodTypeAny): Record<string, unknown> | undefined {\n  let current = schema;\n  while (current._def.typeName === \"ZodEffects\") {\n    current = (current._def as { schema: z.ZodTypeAny }).schema;\n  }\n\n  const def = current._def as { shape?: unknown };\n  if (typeof def.shape === \"function\") {\n    return def.shape() as Record<string, unknown>;\n  }\n  if (def.shape && typeof def.shape === \"object\") {\n    return def.shape as Record<string, unknown>;\n  }\n  return undefined;\n}\n\nexport const MANIFEST_1_PROJECTIONS_DECLARE_AUDIT: InvariantRule = {\n  invariant: \"MANIFEST-1: kernel projections declare epistemicAudit\",\n  description:\n    \"Kernel mutation projections must carry a rationale so audit evidence can explain the transition.\",\n  checker: \"manifest\",\n  severity: \"block_publish\",\n  evaluate: async (ctx) => {\n    const violations: string[] = [];\n\n    for (const [name, projection] of Object.entries(ctx.projections)) {\n      if (!/^(create|modulate|fork|update)_/.test(name)) {\n        continue;\n      }\n      const shape = objectShape(projection.inputSchema);\n      if (!shape || !(\"rationale\" in shape)) {\n        violations.push(`projection '${name}' missing 'rationale' field`);\n      }\n    }\n\n    return violations.length === 0\n      ? { status: \"passed\", evidenceRefs: [] }\n      : {\n          status: \"failed\",\n          evidenceRefs: violations,\n          reason: `${violations.length} projections missing audit rationale`,\n        };\n  },\n};\n","import { INV_1_BELIEFS_APPEND_ONLY } from \"./inv-1-beliefs-append-only.js\";\nimport { INV_14_NO_SILENT_TRANSITIONS } from \"./inv-14-no-silent-transitions.js\";\nimport { MANIFEST_1_PROJECTIONS_DECLARE_AUDIT } from \"./manifest-1-projections-declare-audit.js\";\n\nexport const invariants = [\n  INV_1_BELIEFS_APPEND_ONLY,\n  INV_14_NO_SILENT_TRANSITIONS,\n  MANIFEST_1_PROJECTIONS_DECLARE_AUDIT,\n] as const;\n\nexport { INV_1_BELIEFS_APPEND_ONLY } from \"./inv-1-beliefs-append-only.js\";\nexport { INV_14_NO_SILENT_TRANSITIONS } from \"./inv-14-no-silent-transitions.js\";\nexport { MANIFEST_1_PROJECTIONS_DECLARE_AUDIT } from \"./manifest-1-projections-declare-audit.js\";\n"]}

package/dist/manifests/invariants/inv-1-beliefs-append-only.js

@@ -1,6 +1,6 @@
 import { join } from 'path';
+import ts2 from 'typescript';
 import { readdirSync, statSync, readFileSync } from 'fs';
-import ts from 'typescript';
 
 // src/manifests/invariants/inv-1-beliefs-append-only.ts
 function collectTsFiles(root) {
@@ -24,7 +24,7 @@ function readSource(filePath) {
   return {
     filePath,
     text,
-    sourceFile: ts.createSourceFile(filePath, text, ts.ScriptTarget.Latest, true)
+    sourceFile: ts2.createSourceFile(filePath, text, ts2.ScriptTarget.Latest, true)
   };
 }
 function walk(node, visit) {
@@ -32,11 +32,11 @@ function walk(node, visit) {
   node.forEachChild((child) => walk(child, visit));
 }
 function isDbCall(node, method) {
-  if (!ts.isCallExpression(node)) {
+  if (!ts2.isCallExpression(node)) {
     return false;
   }
   const expression = node.expression;
-  if (!ts.isPropertyAccessExpression(expression)) {
+  if (!ts2.isPropertyAccessExpression(expression)) {
     return false;
   }
   if (expression.name.text !== method) {
@@ -59,6 +59,25 @@ function isBeliefWriteCandidate(node) {
   }
   return /canonicalText|formulation|confidence|beliefStatus/.test(patchText);
 }
+function getEnclosingFunctionName(node) {
+  let current = node;
+  while (current) {
+    if (ts2.isFunctionDeclaration(current) && current.name) {
+      return current.name.text;
+    }
+    if ((ts2.isFunctionExpression(current) || ts2.isArrowFunction(current)) && ts2.isVariableDeclaration(current.parent) && ts2.isIdentifier(current.parent.name)) {
+      return current.parent.name.text;
+    }
+    current = current.parent;
+  }
+  return void 0;
+}
+function isEvidenceBackedSubjectiveLogicPatch(node) {
+  const [, patch] = node.arguments;
+  const patchText = patch?.getText() ?? "";
+  const functionName = getEnclosingFunctionName(node) ?? "";
+  return /SubjectiveLogic/.test(functionName) && /confidence/.test(patchText) && /slOperator\s*:\s*["']evidence_accumulation["']/.test(patchText);
+}
 var INV_1_BELIEFS_APPEND_ONLY = {
   invariant: "INV-1: beliefs append-only",
   description: "Scored beliefs cannot be patched or deleted; they must fork.",
@@ -73,7 +92,7 @@ var INV_1_BELIEFS_APPEND_ONLY = {
       }
       const unit = readSource(filePath);
       walk(unit.sourceFile, (node) => {
-        if (isDbCall(node, "patch") && isBeliefWriteCandidate(node)) {
+        if (isDbCall(node, "patch") && isBeliefWriteCandidate(node) && !isEvidenceBackedSubjectiveLogicPatch(node)) {
           violations.push(lineRef(unit, node));
         }
         if (isDbCall(node, "delete") && /belief/i.test(node.getText())) {

package/dist/manifests/invariants/inv-1-beliefs-append-only.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../src/manifests/invariants/ast-utils.ts","../../../src/manifests/invariants/inv-1-beliefs-append-only.ts"],"names":["join"],"mappings":";;;;;AAUO,SAAS,eAAe,IAAA,EAAwB;AACrD,EAAA,MAAM,UAAoB,EAAC;AAC3B,EAAA,KAAA,MAAW,IAAA,IAAQ,WAAA,CAAY,IAAI,CAAA,EAAG;AACpC,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,EAAM,IAAI,CAAA;AAC5B,IAAA,MAAM,IAAA,GAAO,SAAS,IAAI,CAAA;AAC1B,IAAA,IAAI,IAAA,CAAK,aAAY,EAAG;AACtB,MAAA,IAAI,IAAA,KAAS,cAAA,IAAkB,IAAA,KAAS,MAAA,IAAU,SAAS,OAAA,EAAS;AAClE,QAAA;AAAA,MACF;AACA,MAAA,OAAA,CAAQ,IAAA,CAAK,GAAG,cAAA,CAAe,IAAI,CAAC,CAAA;AAAA,IACtC,CAAA,MAAA,IAAW,KAAK,QAAA,CAAS,KAAK,KAAK,CAAC,IAAA,CAAK,QAAA,CAAS,OAAO,CAAA,EAAG;AAC1D,MAAA,OAAA,CAAQ,KAAK,IAAI,CAAA;AAAA,IACnB;AAAA,EACF;AACA,EAAA,OAAO,OAAA;AACT;AAEO,SAAS,WAAW,QAAA,EAA8B;AACvD,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,QAAA,EAAU,MAAM,CAAA;AAC1C,EAAA,OAAO;AAAA,IACL,QAAA;AAAA,IACA,IAAA;AAAA,IACA,UAAA,EAAY,GAAG,gBAAA,CAAiB,QAAA,EAAU,MAAM,EAAA,CAAG,YAAA,CAAa,QAAQ,IAAI;AAAA,GAC9E;AACF;AAEO,SAAS,IAAA,CAAK,MAAe,KAAA,EAAsC;AACxE,EAAA,KAAA,CAAM,IAAI,CAAA;AACV,EAAA,IAAA,CAAK,aAAa,CAAC,KAAA,KAAU,IAAA,CAAK,KAAA,EAAO,KAAK,CAAC,CAAA;AACjD;AAEO,SAAS,QAAA,CAAS,MAAe,MAAA,EAA2C;AACjF,EAAA,IAAI,CAAC,EAAA,CAAG,gBAAA,CAAiB,IAAI,CAAA,EAAG;AAC9B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,aAAa,IAAA,CAAK,UAAA;AACxB,EAAA,IAAI,CAAC,EAAA,CAAG,0BAAA,CAA2B,UAAU,CAAA,EAAG;AAC9C,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,CAAW,IAAA,CAAK,IAAA,KAAS,MAAA,EAAQ;AACnC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,UAAA,CAAW,UAAA,CAAW,OAAA,EAAQ,CAAE,SAAS,KAAK,CAAA;AACvD;AAEO,SAAS,OAAA,CAAQ,MAAkB,IAAA,EAAuB;AAC/D,EAAA,MAAM,EAAE,MAAK,GAAI,IAAA,CAAK,WAAW,6BAAA,CAA8B,IAAA,CAAK,UAAU,CAAA;AAC9E,EAAA,OAAO,CAAA,EAAG,IAAA,CAAK,QAAQ,CAAA,CAAA,EAAI,OAAO,CAAC,CAAA,CAAA;AACrC;;;ACrDA,SAAS,uBAAuB,IAAA,EAAkC;AAChE,EAAA,MAAM,CAAC,MAAA,EAAQ,KAAK,CAAA,GAAI,IAAA,CAAK,SAAA;AAC7B,EAAA,MAAM,UAAA,GAAa,MAAA,EAAQ,OAAA,EAAQ,IAAK,EAAA;AACxC,EAAA,MAAM,SAAA,GAAY,KAAA,EAAO,OAAA,EAAQ,IAAK,EAAA;AAEtC,EAAA,IAAI,CAAC,SAAA,CAAU,IAAA,CAAK,UAAU,CAAA,EAAG;AAC/B,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,mDAAA,CAAoD,KAAK,SAAS,CAAA;AAC3E;AAEO,IAAM,yBAAA,GAA2C;AAAA,EACtD,SAAA,EAAW,4BAAA;AAAA,EACX,WAAA,EAAa,8DAAA;AAAA,EACb,OAAA,EAAS,KAAA;AAAA,EACT,QAAA,EAAU,eAAA;AAAA,EACV,QAAA,EAAU,OAAO,GAAA,KAAQ;AACvB,IAAA,MAAM,IAAA,GAAOA,IAAAA,CAAK,GAAA,CAAI,QAAA,EAAU,wCAAwC,CAAA;AACxE,IAAA,MAAM,aAAuB,EAAC;AAE9B,IAAA,KAAA,MAAW,QAAA,IAAY,cAAA,CAAe,IAAI,CAAA,EAAG;AAC3C,MAAA,IAAI,QAAA,CAAS,QAAA,CAAS,UAAU,CAAA,EAAG;AACjC,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,WAAW,QAAQ,CAAA;AAChC,MAAA,IAAA,CAAK,IAAA,CAAK,UAAA,EAAY,CAAC,IAAA,KAAS;AAC9B,QAAA,IAAI,SAAS,IAAA,EAAM,OAAO,CAAA,IAAK,sBAAA,CAAuB,IAAI,CAAA,EAAG;AAC3D,UAAA,UAAA,CAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,QACrC;AACA,QAAA,IAAI,QAAA,CAAS,MAAM,QAAQ,CAAA,IAAK,UAAU,IAAA,CAAK,IAAA,CAAK,OAAA,EAAS,CAAA,EAAG;AAC9D,UAAA,UAAA,CAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,QACrC;AAAA,MACF,CAAC,CAAA;AAAA,IACH;AAEA,IAAA,OAAO,UAAA,CAAW,WAAW,CAAA,GACzB,EAAE,QAAQ,QAAA,EAAU,YAAA,EAAc,EAAC,EAAE,GACrC;AAAA,MACE,MAAA,EAAQ,QAAA;AAAA,MACR,YAAA,EAAc,UAAA;AAAA,MACd,MAAA,EAAQ,CAAA,EAAG,UAAA,CAAW,MAAM,CAAA,8BAAA;AAAA,KAC9B;AAAA,EACN;AACF","file":"inv-1-beliefs-append-only.js","sourcesContent":["import { readFileSync, readdirSync, statSync } from \"node:fs\";\nimport { join } from \"node:path\";\nimport ts from \"typescript\";\n\nexport type SourceUnit = {\n  filePath: string;\n  text: string;\n  sourceFile: ts.SourceFile;\n};\n\nexport function collectTsFiles(root: string): string[] {\n  const entries: string[] = [];\n  for (const name of readdirSync(root)) {\n    const path = join(root, name);\n    const stat = statSync(path);\n    if (stat.isDirectory()) {\n      if (name === \"node_modules\" || name === \"dist\" || name === \".next\") {\n        continue;\n      }\n      entries.push(...collectTsFiles(path));\n    } else if (name.endsWith(\".ts\") && !name.endsWith(\".d.ts\")) {\n      entries.push(path);\n    }\n  }\n  return entries;\n}\n\nexport function readSource(filePath: string): SourceUnit {\n  const text = readFileSync(filePath, \"utf8\");\n  return {\n    filePath,\n    text,\n    sourceFile: ts.createSourceFile(filePath, text, ts.ScriptTarget.Latest, true),\n  };\n}\n\nexport function walk(node: ts.Node, visit: (node: ts.Node) => void): void {\n  visit(node);\n  node.forEachChild((child) => walk(child, visit));\n}\n\nexport function isDbCall(node: ts.Node, method: string): node is ts.CallExpression {\n  if (!ts.isCallExpression(node)) {\n    return false;\n  }\n  const expression = node.expression;\n  if (!ts.isPropertyAccessExpression(expression)) {\n    return false;\n  }\n  if (expression.name.text !== method) {\n    return false;\n  }\n  return expression.expression.getText().endsWith(\".db\");\n}\n\nexport function lineRef(unit: SourceUnit, node: ts.Node): string {\n  const { line } = unit.sourceFile.getLineAndCharacterOfPosition(node.getStart());\n  return `${unit.filePath}:${line + 1}`;\n}\n","import { join } from \"node:path\";\nimport ts from \"typescript\";\nimport type { InvariantRule } from \"../invariant-manifest.js\";\nimport { collectTsFiles, isDbCall, lineRef, readSource, walk } from \"./ast-utils.js\";\n\nfunction isBeliefWriteCandidate(node: ts.CallExpression): boolean {\n  const [target, patch] = node.arguments;\n  const targetText = target?.getText() ?? \"\";\n  const patchText = patch?.getText() ?? \"\";\n\n  if (!/belief/i.test(targetText)) {\n    return false;\n  }\n\n  return /canonicalText|formulation|confidence|beliefStatus/.test(patchText);\n}\n\nexport const INV_1_BELIEFS_APPEND_ONLY: InvariantRule = {\n  invariant: \"INV-1: beliefs append-only\",\n  description: \"Scored beliefs cannot be patched or deleted; they must fork.\",\n  checker: \"ast\",\n  severity: \"block_publish\",\n  evaluate: async (ctx) => {\n    const root = join(ctx.repoRoot, \"packages/reasoning-kernel/src/adapters\");\n    const violations: string[] = [];\n\n    for (const filePath of collectTsFiles(root)) {\n      if (filePath.endsWith(\".test.ts\")) {\n        continue;\n      }\n      const unit = readSource(filePath);\n      walk(unit.sourceFile, (node) => {\n        if (isDbCall(node, \"patch\") && isBeliefWriteCandidate(node)) {\n          violations.push(lineRef(unit, node));\n        }\n        if (isDbCall(node, \"delete\") && /belief/i.test(node.getText())) {\n          violations.push(lineRef(unit, node));\n        }\n      });\n    }\n\n    return violations.length === 0\n      ? { status: \"passed\", evidenceRefs: [] }\n      : {\n          status: \"failed\",\n          evidenceRefs: violations,\n          reason: `${violations.length} unwrapped belief writes found`,\n        };\n  },\n};\n"]}
+{"version":3,"sources":["../../../src/manifests/invariants/ast-utils.ts","../../../src/manifests/invariants/inv-1-beliefs-append-only.ts"],"names":["ts","join"],"mappings":";;;;;AAUO,SAAS,eAAe,IAAA,EAAwB;AACrD,EAAA,MAAM,UAAoB,EAAC;AAC3B,EAAA,KAAA,MAAW,IAAA,IAAQ,WAAA,CAAY,IAAI,CAAA,EAAG;AACpC,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,EAAM,IAAI,CAAA;AAC5B,IAAA,MAAM,IAAA,GAAO,SAAS,IAAI,CAAA;AAC1B,IAAA,IAAI,IAAA,CAAK,aAAY,EAAG;AACtB,MAAA,IAAI,IAAA,KAAS,cAAA,IAAkB,IAAA,KAAS,MAAA,IAAU,SAAS,OAAA,EAAS;AAClE,QAAA;AAAA,MACF;AACA,MAAA,OAAA,CAAQ,IAAA,CAAK,GAAG,cAAA,CAAe,IAAI,CAAC,CAAA;AAAA,IACtC,CAAA,MAAA,IAAW,KAAK,QAAA,CAAS,KAAK,KAAK,CAAC,IAAA,CAAK,QAAA,CAAS,OAAO,CAAA,EAAG;AAC1D,MAAA,OAAA,CAAQ,KAAK,IAAI,CAAA;AAAA,IACnB;AAAA,EACF;AACA,EAAA,OAAO,OAAA;AACT;AAEO,SAAS,WAAW,QAAA,EAA8B;AACvD,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,QAAA,EAAU,MAAM,CAAA;AAC1C,EAAA,OAAO;AAAA,IACL,QAAA;AAAA,IACA,IAAA;AAAA,IACA,UAAA,EAAYA,IAAG,gBAAA,CAAiB,QAAA,EAAU,MAAMA,GAAA,CAAG,YAAA,CAAa,QAAQ,IAAI;AAAA,GAC9E;AACF;AAEO,SAAS,IAAA,CAAK,MAAe,KAAA,EAAsC;AACxE,EAAA,KAAA,CAAM,IAAI,CAAA;AACV,EAAA,IAAA,CAAK,aAAa,CAAC,KAAA,KAAU,IAAA,CAAK,KAAA,EAAO,KAAK,CAAC,CAAA;AACjD;AAEO,SAAS,QAAA,CAAS,MAAe,MAAA,EAA2C;AACjF,EAAA,IAAI,CAACA,GAAA,CAAG,gBAAA,CAAiB,IAAI,CAAA,EAAG;AAC9B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,aAAa,IAAA,CAAK,UAAA;AACxB,EAAA,IAAI,CAACA,GAAA,CAAG,0BAAA,CAA2B,UAAU,CAAA,EAAG;AAC9C,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,CAAW,IAAA,CAAK,IAAA,KAAS,MAAA,EAAQ;AACnC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,UAAA,CAAW,UAAA,CAAW,OAAA,EAAQ,CAAE,SAAS,KAAK,CAAA;AACvD;AAEO,SAAS,OAAA,CAAQ,MAAkB,IAAA,EAAuB;AAC/D,EAAA,MAAM,EAAE,MAAK,GAAI,IAAA,CAAK,WAAW,6BAAA,CAA8B,IAAA,CAAK,UAAU,CAAA;AAC9E,EAAA,OAAO,CAAA,EAAG,IAAA,CAAK,QAAQ,CAAA,CAAA,EAAI,OAAO,CAAC,CAAA,CAAA;AACrC;;;ACrDA,SAAS,uBAAuB,IAAA,EAAkC;AAChE,EAAA,MAAM,CAAC,MAAA,EAAQ,KAAK,CAAA,GAAI,IAAA,CAAK,SAAA;AAC7B,EAAA,MAAM,UAAA,GAAa,MAAA,EAAQ,OAAA,EAAQ,IAAK,EAAA;AACxC,EAAA,MAAM,SAAA,GAAY,KAAA,EAAO,OAAA,EAAQ,IAAK,EAAA;AAEtC,EAAA,IAAI,CAAC,SAAA,CAAU,IAAA,CAAK,UAAU,CAAA,EAAG;AAC/B,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,mDAAA,CAAoD,KAAK,SAAS,CAAA;AAC3E;AAEA,SAAS,yBAAyB,IAAA,EAAmC;AACnE,EAAA,IAAI,OAAA,GAA+B,IAAA;AACnC,EAAA,OAAO,OAAA,EAAS;AACd,IAAA,IAAIA,GAAAA,CAAG,qBAAA,CAAsB,OAAO,CAAA,IAAK,QAAQ,IAAA,EAAM;AACrD,MAAA,OAAO,QAAQ,IAAA,CAAK,IAAA;AAAA,IACtB;AACA,IAAA,IAAA,CACGA,IAAG,oBAAA,CAAqB,OAAO,KAAKA,GAAAA,CAAG,eAAA,CAAgB,OAAO,CAAA,KAC/DA,GAAAA,CAAG,qBAAA,CAAsB,OAAA,CAAQ,MAAM,CAAA,IACvCA,GAAAA,CAAG,aAAa,OAAA,CAAQ,MAAA,CAAO,IAAI,CAAA,EACnC;AACA,MAAA,OAAO,OAAA,CAAQ,OAAO,IAAA,CAAK,IAAA;AAAA,IAC7B;AACA,IAAA,OAAA,GAAU,OAAA,CAAQ,MAAA;AAAA,EACpB;AACA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,qCACP,IAAA,EACS;AACT,EAAA,MAAM,GAAG,KAAK,CAAA,GAAI,IAAA,CAAK,SAAA;AACvB,EAAA,MAAM,SAAA,GAAY,KAAA,EAAO,OAAA,EAAQ,IAAK,EAAA;AACtC,EAAA,MAAM,YAAA,GAAe,wBAAA,CAAyB,IAAI,CAAA,IAAK,EAAA;AAEvD,EAAA,OACE,iBAAA,CAAkB,IAAA,CAAK,YAAY,CAAA,IACnC,YAAA,CAAa,KAAK,SAAS,CAAA,IAC3B,gDAAA,CAAiD,IAAA,CAAK,SAAS,CAAA;AAEnE;AAEO,IAAM,yBAAA,GAA2C;AAAA,EACtD,SAAA,EAAW,4BAAA;AAAA,EACX,WAAA,EAAa,8DAAA;AAAA,EACb,OAAA,EAAS,KAAA;AAAA,EACT,QAAA,EAAU,eAAA;AAAA,EACV,QAAA,EAAU,OAAO,GAAA,KAAQ;AACvB,IAAA,MAAM,IAAA,GAAOC,IAAAA,CAAK,GAAA,CAAI,QAAA,EAAU,wCAAwC,CAAA;AACxE,IAAA,MAAM,aAAuB,EAAC;AAE9B,IAAA,KAAA,MAAW,QAAA,IAAY,cAAA,CAAe,IAAI,CAAA,EAAG;AAC3C,MAAA,IAAI,QAAA,CAAS,QAAA,CAAS,UAAU,CAAA,EAAG;AACjC,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,WAAW,QAAQ,CAAA;AAChC,MAAA,IAAA,CAAK,IAAA,CAAK,UAAA,EAAY,CAAC,IAAA,KAAS;AAC9B,QAAA,IACE,QAAA,CAAS,IAAA,EAAM,OAAO,CAAA,IACtB,sBAAA,CAAuB,IAAI,CAAA,IAC3B,CAAC,oCAAA,CAAqC,IAAI,CAAA,EAC1C;AACA,UAAA,UAAA,CAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,QACrC;AACA,QAAA,IAAI,QAAA,CAAS,MAAM,QAAQ,CAAA,IAAK,UAAU,IAAA,CAAK,IAAA,CAAK,OAAA,EAAS,CAAA,EAAG;AAC9D,UAAA,UAAA,CAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,QACrC;AAAA,MACF,CAAC,CAAA;AAAA,IACH;AAEA,IAAA,OAAO,UAAA,CAAW,WAAW,CAAA,GACzB,EAAE,QAAQ,QAAA,EAAU,YAAA,EAAc,EAAC,EAAE,GACrC;AAAA,MACE,MAAA,EAAQ,QAAA;AAAA,MACR,YAAA,EAAc,UAAA;AAAA,MACd,MAAA,EAAQ,CAAA,EAAG,UAAA,CAAW,MAAM,CAAA,8BAAA;AAAA,KAC9B;AAAA,EACN;AACF","file":"inv-1-beliefs-append-only.js","sourcesContent":["import { readFileSync, readdirSync, statSync } from \"node:fs\";\nimport { join } from \"node:path\";\nimport ts from \"typescript\";\n\nexport type SourceUnit = {\n  filePath: string;\n  text: string;\n  sourceFile: ts.SourceFile;\n};\n\nexport function collectTsFiles(root: string): string[] {\n  const entries: string[] = [];\n  for (const name of readdirSync(root)) {\n    const path = join(root, name);\n    const stat = statSync(path);\n    if (stat.isDirectory()) {\n      if (name === \"node_modules\" || name === \"dist\" || name === \".next\") {\n        continue;\n      }\n      entries.push(...collectTsFiles(path));\n    } else if (name.endsWith(\".ts\") && !name.endsWith(\".d.ts\")) {\n      entries.push(path);\n    }\n  }\n  return entries;\n}\n\nexport function readSource(filePath: string): SourceUnit {\n  const text = readFileSync(filePath, \"utf8\");\n  return {\n    filePath,\n    text,\n    sourceFile: ts.createSourceFile(filePath, text, ts.ScriptTarget.Latest, true),\n  };\n}\n\nexport function walk(node: ts.Node, visit: (node: ts.Node) => void): void {\n  visit(node);\n  node.forEachChild((child) => walk(child, visit));\n}\n\nexport function isDbCall(node: ts.Node, method: string): node is ts.CallExpression {\n  if (!ts.isCallExpression(node)) {\n    return false;\n  }\n  const expression = node.expression;\n  if (!ts.isPropertyAccessExpression(expression)) {\n    return false;\n  }\n  if (expression.name.text !== method) {\n    return false;\n  }\n  return expression.expression.getText().endsWith(\".db\");\n}\n\nexport function lineRef(unit: SourceUnit, node: ts.Node): string {\n  const { line } = unit.sourceFile.getLineAndCharacterOfPosition(node.getStart());\n  return `${unit.filePath}:${line + 1}`;\n}\n","import { join } from \"node:path\";\nimport ts from \"typescript\";\nimport type { InvariantRule } from \"../invariant-manifest.js\";\nimport { collectTsFiles, isDbCall, lineRef, readSource, walk } from \"./ast-utils.js\";\n\nfunction isBeliefWriteCandidate(node: ts.CallExpression): boolean {\n  const [target, patch] = node.arguments;\n  const targetText = target?.getText() ?? \"\";\n  const patchText = patch?.getText() ?? \"\";\n\n  if (!/belief/i.test(targetText)) {\n    return false;\n  }\n\n  return /canonicalText|formulation|confidence|beliefStatus/.test(patchText);\n}\n\nfunction getEnclosingFunctionName(node: ts.Node): string | undefined {\n  let current: ts.Node | undefined = node;\n  while (current) {\n    if (ts.isFunctionDeclaration(current) && current.name) {\n      return current.name.text;\n    }\n    if (\n      (ts.isFunctionExpression(current) || ts.isArrowFunction(current)) &&\n      ts.isVariableDeclaration(current.parent) &&\n      ts.isIdentifier(current.parent.name)\n    ) {\n      return current.parent.name.text;\n    }\n    current = current.parent;\n  }\n  return undefined;\n}\n\nfunction isEvidenceBackedSubjectiveLogicPatch(\n  node: ts.CallExpression\n): boolean {\n  const [, patch] = node.arguments;\n  const patchText = patch?.getText() ?? \"\";\n  const functionName = getEnclosingFunctionName(node) ?? \"\";\n\n  return (\n    /SubjectiveLogic/.test(functionName) &&\n    /confidence/.test(patchText) &&\n    /slOperator\\s*:\\s*[\"']evidence_accumulation[\"']/.test(patchText)\n  );\n}\n\nexport const INV_1_BELIEFS_APPEND_ONLY: InvariantRule = {\n  invariant: \"INV-1: beliefs append-only\",\n  description: \"Scored beliefs cannot be patched or deleted; they must fork.\",\n  checker: \"ast\",\n  severity: \"block_publish\",\n  evaluate: async (ctx) => {\n    const root = join(ctx.repoRoot, \"packages/reasoning-kernel/src/adapters\");\n    const violations: string[] = [];\n\n    for (const filePath of collectTsFiles(root)) {\n      if (filePath.endsWith(\".test.ts\")) {\n        continue;\n      }\n      const unit = readSource(filePath);\n      walk(unit.sourceFile, (node) => {\n        if (\n          isDbCall(node, \"patch\") &&\n          isBeliefWriteCandidate(node) &&\n          !isEvidenceBackedSubjectiveLogicPatch(node)\n        ) {\n          violations.push(lineRef(unit, node));\n        }\n        if (isDbCall(node, \"delete\") && /belief/i.test(node.getText())) {\n          violations.push(lineRef(unit, node));\n        }\n      });\n    }\n\n    return violations.length === 0\n      ? { status: \"passed\", evidenceRefs: [] }\n      : {\n          status: \"failed\",\n          evidenceRefs: violations,\n          reason: `${violations.length} unwrapped belief writes found`,\n        };\n  },\n};\n"]}

package/dist/projections/check-convex-args-shape.js

@@ -24,6 +24,23 @@ function defineProjection(def) {
 
 // src/projections/create-evidence.projection.ts
 var jsonRecordSchema = z.record(z.unknown());
+var evidenceRelationSchema = z.enum(["supports", "contradicts"]);
+var evidenceRelationAliasSchema = z.enum([
+  "supports",
+  "contradicts",
+  "supporting",
+  "contradicting"
+]);
+var beliefRelationSchema = z.object({
+  beliefId: z.string().optional(),
+  beliefNodeId: z.string().optional(),
+  targetId: z.string().optional(),
+  relation: evidenceRelationAliasSchema.optional(),
+  evidenceRelation: evidenceRelationSchema.optional(),
+  confidence: z.number().optional(),
+  weight: z.number().optional(),
+  rationale: z.string().optional()
+});
 var createEvidenceInputSchemaBase = z.object({
   projectId: z.string().optional(),
   topicId: z.string().optional(),
@@ -45,7 +62,8 @@ var createEvidenceInputSchemaBase = z.object({
   targetId: z.string().optional(),
   targetNodeId: z.string().optional(),
   linkedBeliefNodeId: z.string().optional(),
-  evidenceRelation: z.enum(["supports", "contradicts"]).optional(),
+  evidenceRelation: evidenceRelationSchema.optional(),
+  beliefRelations: z.array(beliefRelationSchema).optional(),
   confidence: z.number().optional(),
   weight: z.number().optional(),
   reasoning: z.string().optional(),
@@ -109,6 +127,47 @@ function targetKind(targetId) {
   }
   return "unknown";
 }
+function normalizeRelation(value, weight) {
+  if (value === "supports" || value === "supporting") {
+    return "supports";
+  }
+  if (value === "contradicts" || value === "contradicting") {
+    return "contradicts";
+  }
+  if (weight === void 0) {
+    return void 0;
+  }
+  return weight < 0 ? "contradicts" : "supports";
+}
+function normalizeConfidence(confidence, weight) {
+  if (confidence !== void 0) {
+    return Math.min(1, Math.max(0, confidence));
+  }
+  if (weight === void 0) {
+    return void 0;
+  }
+  return Math.min(1, Math.max(0, Math.abs(weight)));
+}
+function normalizeBeliefRelation(relation) {
+  const beliefNodeId = relation.beliefNodeId ?? relation.beliefId ?? relation.targetId;
+  if (!beliefNodeId) {
+    return void 0;
+  }
+  const weight = typeof relation.weight === "number" ? relation.weight : void 0;
+  const evidenceRelation = normalizeRelation(
+    relation.evidenceRelation ?? relation.relation,
+    weight
+  );
+  if (!evidenceRelation) {
+    return void 0;
+  }
+  return compactRecord({
+    beliefNodeId,
+    relation: evidenceRelation,
+    confidence: normalizeConfidence(relation.confidence, weight),
+    rationale: relation.rationale
+  });
+}
 var createEvidenceProjection = defineProjection({
   contractName: "create_evidence",
   inputSchema: createEvidenceInputSchema,
@@ -119,6 +178,11 @@ var createEvidenceProjection = defineProjection({
     const kind = targetKind(target);
     const linkedWorktreeId = kind === "worktree" ? normalizeWorktreeId(target) : void 0;
     const linkedBeliefNodeId = input.linkedBeliefNodeId ?? (kind === "belief" || kind === "unknown" ? input.targetNodeId ?? input.targetId : void 0);
+    const evidenceRelation = linkedBeliefNodeId ? normalizeRelation(input.evidenceRelation, weight) : void 0;
+    const confidence = evidenceRelation ? normalizeConfidence(input.confidence, weight) : void 0;
+    const beliefRelations = input.beliefRelations?.map(normalizeBeliefRelation).filter(
+      (relation) => relation !== void 0
+    );
     return compactRecord({
       projectId: input.projectId,
       topicId: normalizeTopicIdForKernel(input.topicId),
@@ -147,8 +211,9 @@ var createEvidenceProjection = defineProjection({
         rationale: input.rationale
       }),
       linkedBeliefNodeId,
-      evidenceRelation: input.evidenceRelation ?? (weight === void 0 ? void 0 : weight < 0 ? "contradicts" : "supports"),
-      confidence: input.confidence ?? (weight === void 0 ? void 0 : Math.min(1, Math.max(0, Math.abs(weight)))),
+      evidenceRelation,
+      confidence,
+      beliefRelations: beliefRelations && beliefRelations.length > 0 ? beliefRelations : void 0,
       rationale: input.rationale,
       trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
     });
@@ -177,6 +242,16 @@ var createEvidenceProjection = defineProjection({
         v.literal("contradicts")
       )
     ),
+    beliefRelations: v.optional(
+      v.array(
+        v.object({
+          beliefNodeId: v.string(),
+          relation: v.union(v.literal("supports"), v.literal("contradicts")),
+          confidence: v.optional(v.number()),
+          rationale: v.optional(v.string())
+        })
+      )
+    ),
     confidence: v.optional(v.number()),
     rationale: v.string(),
     trustedBypassAccessCheck: v.optional(v.boolean())

package/dist/projections/check-convex-args-shape.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/ids.contract.ts","../../src/projections/projection-dsl.ts","../../src/projections/create-evidence.projection.ts","../../src/projections/list-beliefs.projection.ts","../../src/projections/list-tasks.projection.ts","../../src/projections/modulate-confidence.projection.ts","../../src/projections/index.ts","../../src/projections/check-convex-args-shape.ts"],"names":["z","compactRecord","v"],"mappings":";;;;;;AAKA,IAAM,mBAAA,GAAsB,yBAAA;AAarB,SAAS,iBAAiB,EAAA,EAA+B;AAC9D,EAAA,MAAM,UAAA,GAAa,GAAG,IAAA,EAAK;AAC3B,EAAA,MAAM,KAAA,GAAQ,mBAAA,CAAoB,IAAA,CAAK,UAAU,CAAA;AAEjD,EAAA,IAAI,CAAC,KAAA,EAAO;AACV,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,qBAAA,EAAwB,EAAE,CAAA,CAAE,CAAA;AAAA,EAC9C;AAEA,EAAA,OAAO;AAAA,IACL,MAAA,EAAQ,MAAM,CAAC,CAAA;AAAA,IACf,KAAA,EAAO,MAAM,CAAC;AAAA,GAChB;AACF;;;ACrBO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT;;;ACRA,IAAM,gBAAA,GAAmB,CAAA,CAAE,MAAA,CAAO,CAAA,CAAE,SAAS,CAAA;AAE7C,IAAM,6BAAA,GAAgC,EACnC,MAAA,CAAO;AAAA,EACN,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,OAAA,EAAS,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC7B,IAAA,EAAM,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1B,aAAA,EAAe,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACnC,KAAA,EAAO,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC3B,OAAA,EAAS,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC7B,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,IAAA,EAAM,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1B,MAAM,CAAA,CAAE,KAAA,CAAM,EAAE,MAAA,EAAQ,EAAE,QAAA,EAAS;AAAA,EACnC,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,gBAAA,EAAkB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACtC,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,iBAAA,EAAmB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACvC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,YAAA,EAAc,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,gBAAA,EAAkB,EAAE,IAAA,CAAK,CAAC,YAAY,aAAa,CAAC,EAAE,QAAA,EAAS;AAAA,EAC/D,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,EACpB,QAAA,EAAU,iBAAiB,QAAA,EAAS;AAAA,EACpC,wBAAA,EAA0B,CAAA,CAAE,OAAA,EAAQ,CAAE,QAAA;AACxC,CAAC,EACA,WAAA,EAAY;AAER,IAAM,4BAA4B,6BAAA,CAA8B,MAAA;AAAA,EACrE,CAAC,KAAA,KAAU,OAAA,CAAQ,KAAA,CAAM,IAAA,IAAQ,MAAM,aAAa,CAAA;AAAA,EACpD;AAAA,IACE,OAAA,EAAS,+BAAA;AAAA,IACT,IAAA,EAAM,CAAC,MAAM;AAAA;AAEjB,CAAA;AAMA,SAAS,cACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEA,SAAS,SAAS,KAAA,EAAkD;AAClE,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,OAAO,UAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA;AAC5E;AAEA,SAAS,YAAY,KAAA,EAAyC;AAC5D,EAAA,OAAO,QAAA,CAAS,KAAK,CAAA,GAAI,KAAA,GAAQ,EAAC;AACpC;AAEA,SAAS,0BAA0B,OAAA,EAAiD;AAClF,EAAA,MAAM,UAAA,GAAa,SAAS,IAAA,EAAK;AACjC,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,MAAA;AAAA,EACT;AAEA,EAAA,IAAI;AACF,IAAA,MAAM,OAAA,GAAU,iBAAiB,UAAU,CAAA;AAC3C,IAAA,OAAO,OAAA,CAAQ,MAAA,KAAW,KAAA,GAAQ,OAAA,CAAQ,KAAA,GAAQ,UAAA;AAAA,EACpD,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,UAAA;AAAA,EACT;AACF;AAEA,SAAS,oBAAoB,KAAA,EAA+C;AAC1E,EAAA,MAAM,UAAA,GAAa,OAAO,IAAA,EAAK;AAC/B,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,CAAW,UAAA,CAAW,KAAK,CAAA,EAAG;AAChC,IAAA,OAAO,UAAA,CAAW,KAAA,CAAM,KAAA,CAAM,MAAM,CAAA;AAAA,EACtC;AACA,EAAA,OAAO,UAAA;AACT;AAEA,SAAS,WAAW,QAAA,EAA8E;AAChG,EAAA,MAAM,UAAA,GAAa,UAAU,IAAA,EAAK;AAClC,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,SAAA;AAAA,EACT;AACA,EAAA,IAAI,WAAW,UAAA,CAAW,KAAK,KAAK,gBAAA,CAAiB,IAAA,CAAK,UAAU,CAAA,EAAG;AACrE,IAAA,OAAO,UAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,CAAW,UAAA,CAAW,MAAM,CAAA,EAAG;AACjC,IAAA,OAAO,UAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,CAAW,UAAA,CAAW,MAAM,CAAA,EAAG;AACjC,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAA;AACT;AAEO,IAAM,2BAA2B,gBAAA,CAAiB;AAAA,EACvD,YAAA,EAAc,iBAAA;AAAA,EACd,WAAA,EAAa,yBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KAAyC;AACjD,IAAA,MAAM,IAAA,GAAO,KAAA,CAAM,IAAA,IAAQ,KAAA,CAAM,aAAA;AACjC,IAAA,MAAM,SAAS,OAAO,KAAA,CAAM,MAAA,KAAW,QAAA,GAAW,MAAM,MAAA,GAAS,MAAA;AACjE,IAAA,MAAM,MAAA,GAAS,KAAA,CAAM,QAAA,IAAY,KAAA,CAAM,YAAA;AACvC,IAAA,MAAM,IAAA,GAAO,WAAW,MAAM,CAAA;AAC9B,IAAA,MAAM,gBAAA,GACJ,IAAA,KAAS,UAAA,GAAa,mBAAA,CAAoB,MAAM,CAAA,GAAI,MAAA;AACtD,IAAA,MAAM,kBAAA,GACJ,KAAA,CAAM,kBAAA,KACL,IAAA,KAAS,QAAA,IAAY,SAAS,SAAA,GAAY,KAAA,CAAM,YAAA,IAAgB,KAAA,CAAM,QAAA,GAAW,MAAA,CAAA;AAEpF,IAAA,OAAO,aAAA,CAAc;AAAA,MACnB,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,OAAA,EAAS,yBAAA,CAA0B,KAAA,CAAM,OAAO,CAAA;AAAA,MAChD,IAAA;AAAA,MACA,KAAA,EAAO,MAAM,KAAA,IAAS,IAAA;AAAA,MACtB,OAAA,EAAS,MAAM,OAAA,IAAW,IAAA;AAAA,MAC1B,aAAa,KAAA,CAAM,WAAA;AAAA,MACnB,MAAM,KAAA,CAAM,IAAA;AAAA,MACZ,MAAM,KAAA,CAAM,IAAA;AAAA,MACZ,YAAY,KAAA,CAAM,UAAA;AAAA,MAClB,oBAAoB,KAAA,CAAM,kBAAA;AAAA,MAC1B,SAAA,EAAW,KAAA,CAAM,SAAA,IAAa,KAAA,CAAM,MAAA;AAAA,MACpC,kBAAkB,KAAA,CAAM,gBAAA;AAAA,MACxB,aAAa,KAAA,CAAM,WAAA;AAAA,MACnB,sBAAsB,KAAA,CAAM,oBAAA;AAAA,MAC5B,mBAAmB,KAAA,CAAM,iBAAA;AAAA,MACzB,UAAU,aAAA,CAAc;AAAA,QACtB,GAAG,WAAA,CAAY,KAAA,CAAM,QAAQ,CAAA;AAAA,QAC7B,QAAQ,KAAA,CAAM,MAAA;AAAA,QACd,UAAU,KAAA,CAAM,QAAA;AAAA,QAChB,cAAc,KAAA,CAAM,YAAA;AAAA,QACpB,UAAA,EAAY,IAAA,KAAS,SAAA,GAAY,MAAA,GAAY,IAAA;AAAA,QAC7C,gBAAA;AAAA,QACA,MAAA;AAAA,QACA,WAAW,KAAA,CAAM,SAAA;AAAA,QACjB,WAAW,KAAA,CAAM;AAAA,OAClB,CAAA;AAAA,MACD,kBAAA;AAAA,MACA,gBAAA,EACE,MAAM,gBAAA,KACL,MAAA,KAAW,SACR,MAAA,GACA,MAAA,GAAS,IACP,aAAA,GACA,UAAA,CAAA;AAAA,MACR,YACE,KAAA,CAAM,UAAA,KACL,MAAA,KAAW,MAAA,GACR,SACA,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,IAAI,CAAA,EAAG,IAAA,CAAK,GAAA,CAAI,MAAM,CAAC,CAAC,CAAA,CAAA;AAAA,MAC/C,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,wBAAA,EAA0B,MAAM,wBAAA,IAA4B;AAAA,KAC7D,CAAA;AAAA,EACH,CAAA;AAAA,EACA,mBAAA,EAAqB,EAAE,MAAA,CAAO;AAAA,IAC5B,SAAA,EAAW,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChC,OAAA,EAAS,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,IAAA,EAAM,EAAE,MAAA,EAAO;AAAA,IACf,KAAA,EAAO,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,OAAA,EAAS,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,WAAA,EAAa,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,IAAA,EAAM,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3B,IAAA,EAAM,EAAE,QAAA,CAAS,CAAA,CAAE,MAAM,CAAA,CAAE,MAAA,EAAQ,CAAC,CAAA;AAAA,IACpC,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,SAAA,EAAW,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChC,gBAAA,EAAkB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACvC,WAAA,EAAa,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,iBAAA,EAAmB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACxC,QAAA,EAAU,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,MAAA,CAAO,CAAA,CAAE,MAAA,EAAO,EAAG,CAAA,CAAE,GAAA,EAAK,CAAC,CAAA;AAAA,IAClD,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,kBAAkB,CAAA,CAAE,QAAA;AAAA,MAClB,CAAA,CAAE,KAAA;AAAA,QACA,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,QACpB,CAAA,CAAE,QAAQ,aAAa;AAAA;AACzB,KACF;AAAA,IACA,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,IACpB,wBAAA,EAA0B,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,SAAS;AAAA,GACjD;AACH,CAAC,CAAA;AC/LD,IAAM,kBAAA,GAAqBA,CAAAA,CACxB,IAAA,CAAK,CAAC,UAAU,YAAA,EAAc,UAAA,EAAY,UAAA,EAAY,QAAQ,CAAC,CAAA,CAC/D,QAAA,EAAS,CACT,SAAS,8CAA8C,CAAA;AAEnD,IAAM,sBAAA,GAAyBA,EAAE,MAAA,CAAO;AAAA,EAC7C,OAAA,EAASA,CAAAA,CAAE,MAAA,EAAO,CAAE,SAAS,aAAa,CAAA;AAAA,EAC1C,YAAYA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,0BAA0B,CAAA;AAAA,EACrE,MAAA,EAAQ,kBAAA;AAAA,EACR,eAAeA,CAAAA,CACZ,MAAA,GACA,QAAA,EAAS,CACT,SAAS,8BAA8B,CAAA;AAAA,EAC1C,OAAOA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,iBAAiB,CAAA;AAAA,EACvD,uBAAuBA,CAAAA,CACpB,OAAA,GACA,QAAA,EAAS,CACT,SAAS,uDAAuD;AACrE,CAAC,CAAA;AAMD,SAAS,aAAa,MAAA,EAA8C;AAClE,EAAA,OAAO,WAAW,QAAA,IAChB,MAAA,KAAW,YAAA,IACX,MAAA,KAAW,aACT,MAAA,GACA,MAAA;AACN;AAEA,SAASC,eACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEO,IAAM,wBAAwB,gBAAA,CAAiB;AAAA,EACpD,YAAA,EAAc,cAAA;AAAA,EACd,WAAA,EAAa,sBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KACRA,cAAAA,CAAc;AAAA,IACZ,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,MAAA,EAAQ,YAAA,CAAa,KAAA,CAAM,MAAM,CAAA;AAAA,IACjC,OAAO,KAAA,CAAM,KAAA;AAAA,IACb,uBAAuB,KAAA,CAAM;AAAA,GAC9B,CAAA;AAAA,EACH,mBAAA,EAAqBC,EAAE,MAAA,CAAO;AAAA,IAC5B,OAAA,EAASA,EAAE,MAAA,EAAO;AAAA,IAClB,QAAQA,CAAAA,CAAE,QAAA;AAAA,MACRA,CAAAA,CAAE,KAAA;AAAA,QACAA,CAAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,QAClBA,CAAAA,CAAE,QAAQ,YAAY,CAAA;AAAA,QACtBA,CAAAA,CAAE,QAAQ,UAAU;AAAA;AACtB,KACF;AAAA,IACA,KAAA,EAAOA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,qBAAA,EAAuBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,SAAS;AAAA,GAC9C;AACH,CAAC,CAAA;AC9DD,IAAM,gBAAA,GAAmBF,CAAAA,CACtB,IAAA,CAAK,CAAC,MAAA,EAAQ,aAAA,EAAe,SAAA,EAAW,MAAM,CAAC,CAAA,CAC/C,QAAA,EAAS,CACT,SAAS,uBAAuB,CAAA;AAE5B,IAAM,oBAAA,GAAuBA,EACjC,MAAA,CAAO;AAAA,EACN,SAASA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,aAAa,CAAA;AAAA,EACrD,YAAYA,CAAAA,CACT,MAAA,GACA,QAAA,EAAS,CACT,SAAS,4BAA4B,CAAA;AAAA,EACxC,kBAAkBA,CAAAA,CACf,MAAA,GACA,QAAA,EAAS,CACT,SAAS,yCAAyC,CAAA;AAAA,EACrD,MAAA,EAAQ,gBAAA;AAAA,EACR,OAAOA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,iBAAiB;AACzD,CAAC,CAAA,CACA,MAAA;AAAA,EACC,CAAC,UAAU,OAAA,CAAQ,KAAA,CAAM,WAAW,KAAA,CAAM,UAAA,IAAc,MAAM,gBAAgB,CAAA;AAAA,EAC9E;AAAA,IACE,OAAA,EAAS;AAAA;AAEb,CAAA;AAIF,SAASC,eACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEO,IAAM,sBAAsB,gBAAA,CAAiB;AAAA,EAClD,YAAA,EAAc,YAAA;AAAA,EACd,WAAA,EAAa,oBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KACRA,cAAAA,CAAc;AAAA,IACZ,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,QAAQ,KAAA,CAAM,MAAA;AAAA,IACd,MAAA,EAAQ,MAAA;AAAA,IACR,OAAO,KAAA,CAAM,KAAA;AAAA,IACb,gBAAA,EAAkB,KAAA,CAAM,gBAAA,IAAoB,KAAA,CAAM;AAAA,GACnD,CAAA;AAAA,EACH,mBAAA,EAAqBC,EAAE,MAAA,CAAO;AAAA,IAC5B,OAAA,EAASA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,QAAQA,CAAAA,CAAE,QAAA;AAAA,MACRA,CAAAA,CAAE,KAAA;AAAA,QACAA,CAAAA,CAAE,QAAQ,MAAM,CAAA;AAAA,QAChBA,CAAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,QACvBA,CAAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,QACnBA,CAAAA,CAAE,QAAQ,MAAM;AAAA;AAClB,KACF;AAAA,IACA,KAAA,EAAOA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,gBAAA,EAAkBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ;AAAA,GACxC;AACH,CAAC,CAAA;AC5DD,IAAM,uBAAA,GAA0BF,EAAE,IAAA,CAAK;AAAA,EACrC,gBAAA;AAAA,EACA,kBAAA;AAAA,EACA,wBAAA;AAAA,EACA,kBAAA;AAAA,EACA,kBAAA;AAAA,EACA,oBAAA;AAAA,EACA,wBAAA;AAAA,EACA,iBAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,IAAM,gBAAA,GAAmBA,EAAE,MAAA,CAAO;AAAA,EAChC,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,MAAA,EAAQA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,aAAA,EAAeA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACnC,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA;AACvB,CAAC,CAAA;AAED,IAAM,yBAAA,GAA4BA,EAAE,MAAA,CAAO;AAAA,EACzC,MAAA,EAAQA,EAAE,MAAA,EAAO;AAAA,EACjB,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,EACpB,WAAA,EAAaA,EAAE,MAAA,EAAO;AAAA,EACtB,QAAA,EAAUA,EAAE,MAAA;AACd,CAAC,CAAA;AAED,IAAM,mCAAA,GAAsCA,EAAE,MAAA,CAAO;AAAA,EACnD,MAAA,EAAQA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,YAAA,EAAcA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,UAAA,EAAYA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,OAAA,EAAS,0BAA0B,QAAA,EAAS;AAAA,EAC5C,MAAA,EAAQA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAWA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,WAAA,EAAaA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,OAAA,EAAS,uBAAA;AAAA,EACT,UAAA,EAAY,iBAAiB,QAAA,EAAS;AAAA,EACtC,oBAAA,EAAsBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,oBAAA,EAAsBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,kBAAA,EAAoBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,yBAAA,EAA2BA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/C,oBAAA,EAAsBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,EACpB,wBAAA,EAA0BA,CAAAA,CAAE,OAAA,EAAQ,CAAE,QAAA;AACxC,CAAC,CAAA;AAEM,IAAM,6BAAA,GACX,mCAAA,CAAoC,WAAA,CAAY,CAAC,OAAO,GAAA,KAAQ;AAC9D,EAAA,IAAI,aAAA,CAAc,KAAK,CAAA,EAAG;AACxB,IAAA;AAAA,EACF;AAEA,EAAA,GAAA,CAAI,QAAA,CAAS;AAAA,IACX,IAAA,EAAMA,EAAE,YAAA,CAAa,MAAA;AAAA,IACrB,OAAA,EACE,gGAAA;AAAA,IACF,IAAA,EAAM,CAAC,YAAY;AAAA,GACpB,CAAA;AACH,CAAC,CAAA;AAMI,IAAM,+BAA+B,gBAAA,CAAiB;AAAA,EAC3D,YAAA,EAAc,qBAAA;AAAA,EACd,WAAA,EAAa,6BAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KAA6C;AACrD,IAAA,MAAM,MAAA,GAAS,KAAA,CAAM,YAAA,IAAgB,KAAA,CAAM,MAAA;AAC3C,IAAA,IAAI,CAAC,MAAA,EAAQ;AACX,MAAA,MAAM,IAAI,MAAM,qDAAqD,CAAA;AAAA,IACvE;AAEA,IAAA,MAAM,OAAA,GAAU,MAAM,OAAA,IAAW;AAAA,MAC/B,MAAA,EAAQ,aAAA,CAAc,KAAA,CAAM,MAAA,EAAQ,QAAQ,CAAA;AAAA,MAC5C,SAAA,EAAW,aAAA,CAAc,KAAA,CAAM,SAAA,EAAW,WAAW,CAAA;AAAA,MACrD,WAAA,EAAa,aAAA,CAAc,KAAA,CAAM,WAAA,EAAa,aAAa,CAAA;AAAA,MAC3D,QAAA,EAAU,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,UAAU;AAAA,KACpD;AACA,IAAA,gBAAA,CAAiB,KAAK,CAAA;AAEtB,IAAA,OAAO;AAAA,MACL,MAAA;AAAA,MACA,YAAY,KAAA,CAAM,UAAA;AAAA,MAClB,QAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,WAAW,OAAA,CAAQ,SAAA;AAAA,MACnB,aAAa,OAAA,CAAQ,WAAA;AAAA,MACrB,UAAU,OAAA,CAAQ,QAAA;AAAA,MAClB,OAAA,EACE,KAAA,CAAM,OAAA,KAAY,iBAAA,GACd,qBACA,KAAA,CAAM,OAAA;AAAA,MACZ,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,kBAAA,EAAoB,KAAA,CAAM,UAAA,EAAY,MAAA,IAAU,KAAA,CAAM,kBAAA;AAAA,MACtD,yBAAA,EACE,KAAA,CAAM,UAAA,EAAY,aAAA,IAAiB,KAAA,CAAM,yBAAA;AAAA,MAC3C,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,wBAAA,EAA0B,MAAM,wBAAA,IAA4B;AAAA,KAC9D;AAAA,EACF,CAAA;AAAA,EACA,mBAAA,EAAqBE,EAAE,MAAA,CAAO;AAAA,IAC5B,MAAA,EAAQA,EAAE,MAAA,EAAO;AAAA,IACjB,UAAA,EAAYA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,MAAA,EAAQA,EAAE,MAAA,EAAO;AAAA,IACjB,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,IACpB,WAAA,EAAaA,EAAE,MAAA,EAAO;AAAA,IACtB,QAAA,EAAUA,EAAE,MAAA,EAAO;AAAA,IACnB,SAASA,CAAAA,CAAE,KAAA;AAAA,MACTA,CAAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA,MAC1BA,CAAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5BA,CAAAA,CAAE,QAAQ,oBAAoB,CAAA;AAAA,MAC9BA,CAAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClCA,CAAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClCA,CAAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5BA,CAAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5BA,CAAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,MAClBA,CAAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,MACpBA,CAAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,MACrBA,CAAAA,CAAE,QAAQ,oBAAoB;AAAA,KAChC;AAAA,IACA,oBAAA,EAAsBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,oBAAA,EAAsBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,kBAAA,EAAoBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,yBAAA,EAA2BA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAChD,oBAAA,EAAsBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,IACpB,wBAAA,EAA0BA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,SAAS;AAAA,GACjD;AACH,CAAC,CAAA;AAED,SAAS,aAAA,CAAc,OAA2B,KAAA,EAAuB;AACvE,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,6BAAA,EAAgC,KAAK,CAAA,CAAE,CAAA;AAAA,EACzD;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,iBAAiB,KAAA,EAAgD;AACxE,EAAA,IAAI,CAAC,aAAA,CAAc,KAAK,CAAA,EAAG;AACzB,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACF;AAEA,SAAS,cAAc,KAAA,EAAmD;AACxE,EAAA,OACE,KAAA,CAAM,OAAA,KAAY,oBAAA,IAClB,OAAA,CAAQ,MAAM,UAAA,IAAc,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,UAAU,CAAA,CAAE,IAAA,CAAK,OAAO,CAAC,CAAA,IACzE,OAAA,CAAQ,KAAA,CAAM,oBAAoB,CAAA,IAClC,OAAA,CAAQ,KAAA,CAAM,oBAAoB,KAClC,OAAA,CAAQ,KAAA,CAAM,kBAAkB,CAAA,IAChC,QAAQ,KAAA,CAAM,yBAAyB,CAAA,IACvC,OAAA,CAAQ,MAAM,oBAAoB,CAAA;AAEtC;;;AC7JO,IAAM,WAAA,GAAc;AAAA,EACzB,eAAA,EAAiB,wBAAA;AAAA,EACjB,YAAA,EAAc,qBAAA;AAAA,EACd,UAAA,EAAY,mBAAA;AAAA,EACZ,mBAAA,EAAqB;AACvB,CAAA;;;ACdA,IAAM,OAAA,GAAU;AAAA,EACd,eAAA,EAAiB;AAAA,IACf,OAAA,EAAS,eAAA;AAAA,IACT,aAAA,EAAe,6BAAA;AAAA,IACf,SAAA,EAAW,+BAAA;AAAA,IACX,QAAA,EAAU,gBAAA;AAAA,IACV,MAAA,EAAQ,GAAA;AAAA,IACR,SAAA,EAAW;AAAA,GACb;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,OAAA,EAAS,eAAA;AAAA,IACT,MAAA,EAAQ,QAAA;AAAA,IACR,KAAA,EAAO;AAAA,GACT;AAAA,EACA,UAAA,EAAY;AAAA,IACV,OAAA,EAAS,eAAA;AAAA,IACT,UAAA,EAAY,kBAAA;AAAA,IACZ,MAAA,EAAQ,aAAA;AAAA,IACR,KAAA,EAAO;AAAA,GACT;AAAA,EACA,mBAAA,EAAqB;AAAA,IACnB,YAAA,EAAc,gBAAA;AAAA,IACd,OAAA,EAAS;AAAA,MACP,MAAA,EAAQ,GAAA;AAAA,MACR,SAAA,EAAW,GAAA;AAAA,MACX,WAAA,EAAa,GAAA;AAAA,MACb,QAAA,EAAU;AAAA,KACZ;AAAA,IACA,OAAA,EAAS,gBAAA;AAAA,IACT,UAAA,EAAY,EAAE,QAAA,EAAU,kBAAA,EAAmB;AAAA,IAC3C,SAAA,EAAW;AAAA;AAEf,CAAA;AAEO,SAAS,oBAAA,GAA6B;AAC3C,EAAA,KAAA,MAAW,CAAC,IAAA,EAAM,UAAU,KAAK,MAAA,CAAO,OAAA,CAAQ,WAAW,CAAA,EAAG;AAC5D,IAAA,MAAM,KAAA,GAAQ,QAAQ,IAA4B,CAAA;AAClD,IAAA,MAAM,MAAA,GAAS,UAAA,CAAW,WAAA,CAAY,SAAA,CAAU,KAAK,CAAA;AACrD,IAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,MAAA,MAAM,IAAI,KAAA;AAAA,QACR,CAAA,uBAAA,EAA0B,IAAI,CAAA,0BAAA,EAA6B,MAAA,CAAO,MAAM,OAAO,CAAA;AAAA,OACjF;AAAA,IACF;AACA,IAAA,MAAM,SAAA,GAAY,UAAA,CAAW,OAAA,CAAQ,MAAA,CAAO,IAAa,CAAA;AACzD,IAAA,IAAI,CAAC,SAAA,IAAa,OAAO,SAAA,KAAc,QAAA,EAAU;AAC/C,MAAA,MAAM,IAAI,KAAA,CAAM,CAAA,WAAA,EAAc,IAAI,CAAA,iCAAA,CAAmC,CAAA;AAAA,IACvE;AAAA,EACF;AACF;AAEA,oBAAA,EAAqB","file":"check-convex-args-shape.js","sourcesContent":["export type DecodedPrefixedId = {\n  prefix: string;\n  value: string;\n};\n\nconst PREFIXED_ID_PATTERN = /^([a-z][a-z0-9]*)_(.+)$/;\n\nexport function encodePrefixedId(prefix: string, value: string): string {\n  const normalizedPrefix = prefix.trim();\n  const normalizedValue = value.trim();\n\n  if (!normalizedPrefix || !normalizedValue) {\n    throw new Error(\"Both prefix and value are required to encode a prefixed ID.\");\n  }\n\n  return `${normalizedPrefix}_${normalizedValue}`;\n}\n\nexport function decodePrefixedId(id: string): DecodedPrefixedId {\n  const normalized = id.trim();\n  const match = PREFIXED_ID_PATTERN.exec(normalized);\n\n  if (!match) {\n    throw new Error(`Invalid prefixed ID: ${id}`);\n  }\n\n  return {\n    prefix: match[1],\n    value: match[2],\n  };\n}\n\nexport function hasPrefixedIdPrefix(id: string, prefix: string): boolean {\n  const decoded = decodePrefixedId(id);\n  return decoded.prefix === prefix.trim();\n}\n","import type { z } from \"zod\";\n\nexport interface ProjectionDef<TInput, TConvexArgs> {\n  contractName: string;\n  inputSchema: z.ZodSchema<TInput>;\n  project: (input: TInput) => TConvexArgs;\n  convexArgsValidator: unknown;\n}\n\nexport function defineProjection<I, C>(\n  def: ProjectionDef<I, C>\n): ProjectionDef<I, C> {\n  return def;\n}\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { decodePrefixedId } from \"../ids.contract.js\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst jsonRecordSchema = z.record(z.unknown());\n\nconst createEvidenceInputSchemaBase = z\n  .object({\n    projectId: z.string().optional(),\n    topicId: z.string().optional(),\n    text: z.string().optional(),\n    canonicalText: z.string().optional(),\n    title: z.string().optional(),\n    content: z.string().optional(),\n    contentType: z.string().optional(),\n    kind: z.string().optional(),\n    tags: z.array(z.string()).optional(),\n    source: z.string().optional(),\n    sourceUrl: z.string().optional(),\n    sourceType: z.string().optional(),\n    externalSourceType: z.string().optional(),\n    sourceQuestionId: z.string().optional(),\n    methodology: z.string().optional(),\n    informationAsymmetry: z.string().optional(),\n    sourceDescription: z.string().optional(),\n    targetId: z.string().optional(),\n    targetNodeId: z.string().optional(),\n    linkedBeliefNodeId: z.string().optional(),\n    evidenceRelation: z.enum([\"supports\", \"contradicts\"]).optional(),\n    confidence: z.number().optional(),\n    weight: z.number().optional(),\n    reasoning: z.string().optional(),\n    rationale: z.string(),\n    metadata: jsonRecordSchema.optional(),\n    trustedBypassAccessCheck: z.boolean().optional(),\n  })\n  .passthrough();\n\nexport const createEvidenceInputSchema = createEvidenceInputSchemaBase.refine(\n  (input) => Boolean(input.text ?? input.canonicalText),\n  {\n    message: \"create_evidence requires text\",\n    path: [\"text\"],\n  },\n);\n\nexport type CreateEvidenceProjectionInput = z.infer<\n  typeof createEvidenceInputSchema\n>;\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return Boolean(value) && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction recordValue(value: unknown): Record<string, unknown> {\n  return isRecord(value) ? value : {};\n}\n\nfunction normalizeTopicIdForKernel(topicId: string | undefined): string | undefined {\n  const normalized = topicId?.trim();\n  if (!normalized) {\n    return undefined;\n  }\n\n  try {\n    const decoded = decodePrefixedId(normalized);\n    return decoded.prefix === \"top\" ? decoded.value : normalized;\n  } catch {\n    return normalized;\n  }\n}\n\nfunction normalizeWorktreeId(value: string | undefined): string | undefined {\n  const normalized = value?.trim();\n  if (!normalized) {\n    return undefined;\n  }\n  if (normalized.startsWith(\"wt_\")) {\n    return normalized.slice(\"wt_\".length);\n  }\n  return normalized;\n}\n\nfunction targetKind(targetId: string | undefined): \"belief\" | \"question\" | \"worktree\" | \"unknown\" {\n  const normalized = targetId?.trim();\n  if (!normalized) {\n    return \"unknown\";\n  }\n  if (normalized.startsWith(\"wt_\") || /^tn[a-z0-9]+$/i.test(normalized)) {\n    return \"worktree\";\n  }\n  if (normalized.startsWith(\"que_\")) {\n    return \"question\";\n  }\n  if (normalized.startsWith(\"bel_\")) {\n    return \"belief\";\n  }\n  return \"unknown\";\n}\n\nexport const createEvidenceProjection = defineProjection({\n  contractName: \"create_evidence\",\n  inputSchema: createEvidenceInputSchema,\n  project: (input: CreateEvidenceProjectionInput) => {\n    const text = input.text ?? input.canonicalText;\n    const weight = typeof input.weight === \"number\" ? input.weight : undefined;\n    const target = input.targetId ?? input.targetNodeId;\n    const kind = targetKind(target);\n    const linkedWorktreeId =\n      kind === \"worktree\" ? normalizeWorktreeId(target) : undefined;\n    const linkedBeliefNodeId =\n      input.linkedBeliefNodeId ??\n      (kind === \"belief\" || kind === \"unknown\" ? input.targetNodeId ?? input.targetId : undefined);\n\n    return compactRecord({\n      projectId: input.projectId,\n      topicId: normalizeTopicIdForKernel(input.topicId),\n      text,\n      title: input.title ?? text,\n      content: input.content ?? text,\n      contentType: input.contentType,\n      kind: input.kind,\n      tags: input.tags,\n      sourceType: input.sourceType,\n      externalSourceType: input.externalSourceType,\n      sourceUrl: input.sourceUrl ?? input.source,\n      sourceQuestionId: input.sourceQuestionId,\n      methodology: input.methodology,\n      informationAsymmetry: input.informationAsymmetry,\n      sourceDescription: input.sourceDescription,\n      metadata: compactRecord({\n        ...recordValue(input.metadata),\n        source: input.source,\n        targetId: input.targetId,\n        targetNodeId: input.targetNodeId,\n        targetKind: kind === \"unknown\" ? undefined : kind,\n        linkedWorktreeId,\n        weight,\n        reasoning: input.reasoning,\n        rationale: input.rationale,\n      }),\n      linkedBeliefNodeId,\n      evidenceRelation:\n        input.evidenceRelation ??\n        (weight === undefined\n          ? undefined\n          : weight < 0\n            ? \"contradicts\"\n            : \"supports\"),\n      confidence:\n        input.confidence ??\n        (weight === undefined\n          ? undefined\n          : Math.min(1, Math.max(0, Math.abs(weight)))),\n      rationale: input.rationale,\n      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true,\n    });\n  },\n  convexArgsValidator: v.object({\n    projectId: v.optional(v.string()),\n    topicId: v.optional(v.string()),\n    text: v.string(),\n    title: v.optional(v.string()),\n    content: v.optional(v.string()),\n    contentType: v.optional(v.string()),\n    kind: v.optional(v.string()),\n    tags: v.optional(v.array(v.string())),\n    sourceType: v.optional(v.string()),\n    externalSourceType: v.optional(v.string()),\n    sourceUrl: v.optional(v.string()),\n    sourceQuestionId: v.optional(v.string()),\n    methodology: v.optional(v.string()),\n    informationAsymmetry: v.optional(v.string()),\n    sourceDescription: v.optional(v.string()),\n    metadata: v.optional(v.record(v.string(), v.any())),\n    linkedBeliefNodeId: v.optional(v.string()),\n    evidenceRelation: v.optional(\n      v.union(\n        v.literal(\"supports\"),\n        v.literal(\"contradicts\"),\n      ),\n    ),\n    confidence: v.optional(v.number()),\n    rationale: v.string(),\n    trustedBypassAccessCheck: v.optional(v.boolean()),\n  }),\n});\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst beliefStatusSchema = z\n  .enum([\"active\", \"superseded\", \"archived\", \"unscored\", \"scored\"])\n  .optional()\n  .describe(\"Filter by belief lifecycle or scoring status\");\n\nexport const listBeliefsInputSchema = z.object({\n  topicId: z.string().describe(\"Topic scope\"),\n  worktreeId: z.string().optional().describe(\"Filter to worktree scope\"),\n  status: beliefStatusSchema,\n  minConfidence: z\n    .number()\n    .optional()\n    .describe(\"Minimum confidence threshold\"),\n  limit: z.number().optional().describe(\"Maximum results\"),\n  includeEdgeAssociated: z\n    .boolean()\n    .optional()\n    .describe(\"Include beliefs associated to the topic through edges\"),\n});\n\nexport type ListBeliefsProjectionInput = z.infer<\n  typeof listBeliefsInputSchema\n>;\n\nfunction kernelStatus(status: ListBeliefsProjectionInput[\"status\"]) {\n  return status === \"active\" ||\n    status === \"superseded\" ||\n    status === \"archived\"\n    ? status\n    : undefined;\n}\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nexport const listBeliefsProjection = defineProjection({\n  contractName: \"list_beliefs\",\n  inputSchema: listBeliefsInputSchema,\n  project: (input: ListBeliefsProjectionInput) =>\n    compactRecord({\n      topicId: input.topicId,\n      status: kernelStatus(input.status),\n      limit: input.limit,\n      includeEdgeAssociated: input.includeEdgeAssociated,\n    }),\n  convexArgsValidator: v.object({\n    topicId: v.string(),\n    status: v.optional(\n      v.union(\n        v.literal(\"active\"),\n        v.literal(\"superseded\"),\n        v.literal(\"archived\"),\n      ),\n    ),\n    limit: v.optional(v.number()),\n    includeEdgeAssociated: v.optional(v.boolean()),\n  }),\n});\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst taskStatusSchema = z\n  .enum([\"todo\", \"in_progress\", \"blocked\", \"done\"])\n  .optional()\n  .describe(\"Filter by task status\");\n\nexport const listTasksInputSchema = z\n  .object({\n    topicId: z.string().optional().describe(\"Topic scope\"),\n    worktreeId: z\n      .string()\n      .optional()\n      .describe(\"Alias for linkedWorktreeId\"),\n    linkedWorktreeId: z\n      .string()\n      .optional()\n      .describe(\"Filter to tasks linked to this worktree\"),\n    status: taskStatusSchema,\n    limit: z.number().optional().describe(\"Maximum results\"),\n  })\n  .refine(\n    (input) => Boolean(input.topicId || input.worktreeId || input.linkedWorktreeId),\n    {\n      message: \"topicId or worktreeId is required\",\n    },\n  );\n\nexport type ListTasksProjectionInput = z.infer<typeof listTasksInputSchema>;\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nexport const listTasksProjection = defineProjection({\n  contractName: \"list_tasks\",\n  inputSchema: listTasksInputSchema,\n  project: (input: ListTasksProjectionInput) =>\n    compactRecord({\n      topicId: input.topicId,\n      status: input.status,\n      userId: undefined,\n      limit: input.limit,\n      linkedWorktreeId: input.linkedWorktreeId ?? input.worktreeId,\n    }),\n  convexArgsValidator: v.object({\n    topicId: v.optional(v.string()),\n    status: v.optional(\n      v.union(\n        v.literal(\"todo\"),\n        v.literal(\"in_progress\"),\n        v.literal(\"blocked\"),\n        v.literal(\"done\"),\n      ),\n    ),\n    limit: v.optional(v.number()),\n    linkedWorktreeId: v.optional(v.string()),\n  }),\n});\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst confidenceTriggerSchema = z.enum([\n  \"evidence_added\",\n  \"evidence_removed\",\n  \"contradiction_resolved\",\n  \"agent_assessment\",\n  \"worktree_outcome\",\n  \"worktree_completed\",\n  \"contradiction_detected\",\n  \"answer_recorded\",\n  \"fusion\",\n  \"discount\",\n  \"deduction\",\n  \"backfill_synthetic\",\n]);\n\nconst provenanceSchema = z.object({\n  evidence: z.string().optional(),\n  question: z.string().optional(),\n  answer: z.string().optional(),\n  contradiction: z.string().optional(),\n  worktree: z.string().optional(),\n});\n\nconst slOpinionProjectionSchema = z.object({\n  belief: z.number(),\n  disbelief: z.number(),\n  uncertainty: z.number(),\n  baseRate: z.number(),\n});\n\nconst modulateConfidenceInputObjectSchema = z.object({\n  nodeId: z.string().optional(),\n  beliefNodeId: z.string().optional(),\n  worktreeId: z.string().optional(),\n  opinion: slOpinionProjectionSchema.optional(),\n  belief: z.number().optional(),\n  disbelief: z.number().optional(),\n  uncertainty: z.number().optional(),\n  baseRate: z.number().optional(),\n  trigger: confidenceTriggerSchema,\n  provenance: provenanceSchema.optional(),\n  triggeringEvidenceId: z.string().optional(),\n  triggeringQuestionId: z.string().optional(),\n  triggeringAnswerId: z.string().optional(),\n  triggeringContradictionId: z.string().optional(),\n  triggeringWorktreeId: z.string().optional(),\n  rationale: z.string(),\n  trustedBypassAccessCheck: z.boolean().optional(),\n});\n\nexport const modulateConfidenceInputSchema =\n  modulateConfidenceInputObjectSchema.superRefine((input, ctx) => {\n    if (hasProvenance(input)) {\n      return;\n    }\n\n    ctx.addIssue({\n      code: z.ZodIssueCode.custom,\n      message:\n        \"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance\",\n      path: [\"provenance\"],\n    });\n  });\n\nexport type ModulateConfidenceProjectionInput = z.infer<\n  typeof modulateConfidenceInputSchema\n>;\n\nexport const modulateConfidenceProjection = defineProjection({\n  contractName: \"modulate_confidence\",\n  inputSchema: modulateConfidenceInputSchema,\n  project: (input: ModulateConfidenceProjectionInput) => {\n    const nodeId = input.beliefNodeId ?? input.nodeId;\n    if (!nodeId) {\n      throw new Error(\"modulate_confidence requires beliefNodeId or nodeId\");\n    }\n\n    const opinion = input.opinion ?? {\n      belief: requireNumber(input.belief, \"belief\"),\n      disbelief: requireNumber(input.disbelief, \"disbelief\"),\n      uncertainty: requireNumber(input.uncertainty, \"uncertainty\"),\n      baseRate: requireNumber(input.baseRate, \"baseRate\"),\n    };\n    assertProvenance(input);\n\n    return {\n      nodeId,\n      worktreeId: input.worktreeId,\n      belief: opinion.belief,\n      disbelief: opinion.disbelief,\n      uncertainty: opinion.uncertainty,\n      baseRate: opinion.baseRate,\n      trigger:\n        input.trigger === \"answer_recorded\"\n          ? \"agent_assessment\"\n          : input.trigger,\n      triggeringEvidenceId:\n        input.provenance?.evidence ?? input.triggeringEvidenceId,\n      triggeringQuestionId:\n        input.provenance?.question ?? input.triggeringQuestionId,\n      triggeringAnswerId: input.provenance?.answer ?? input.triggeringAnswerId,\n      triggeringContradictionId:\n        input.provenance?.contradiction ?? input.triggeringContradictionId,\n      triggeringWorktreeId:\n        input.provenance?.worktree ?? input.triggeringWorktreeId,\n      rationale: input.rationale,\n      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true,\n    };\n  },\n  convexArgsValidator: v.object({\n    nodeId: v.string(),\n    worktreeId: v.optional(v.string()),\n    belief: v.number(),\n    disbelief: v.number(),\n    uncertainty: v.number(),\n    baseRate: v.number(),\n    trigger: v.union(\n      v.literal(\"evidence_added\"),\n      v.literal(\"evidence_removed\"),\n      v.literal(\"worktree_completed\"),\n      v.literal(\"contradiction_detected\"),\n      v.literal(\"contradiction_resolved\"),\n      v.literal(\"agent_assessment\"),\n      v.literal(\"worktree_outcome\"),\n      v.literal(\"fusion\"),\n      v.literal(\"discount\"),\n      v.literal(\"deduction\"),\n      v.literal(\"backfill_synthetic\"),\n    ),\n    triggeringEvidenceId: v.optional(v.string()),\n    triggeringQuestionId: v.optional(v.string()),\n    triggeringAnswerId: v.optional(v.string()),\n    triggeringContradictionId: v.optional(v.string()),\n    triggeringWorktreeId: v.optional(v.string()),\n    rationale: v.string(),\n    trustedBypassAccessCheck: v.optional(v.boolean()),\n  }),\n});\n\nfunction requireNumber(value: number | undefined, field: string): number {\n  if (value === undefined) {\n    throw new Error(`modulate_confidence requires ${field}`);\n  }\n  return value;\n}\n\nfunction assertProvenance(input: ModulateConfidenceProjectionInput): void {\n  if (!hasProvenance(input)) {\n    throw new Error(\n      \"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance\",\n    );\n  }\n}\n\nfunction hasProvenance(input: ModulateConfidenceProjectionInput): boolean {\n  return (\n    input.trigger === \"backfill_synthetic\" ||\n    Boolean(input.provenance && Object.values(input.provenance).some(Boolean)) ||\n    Boolean(input.triggeringEvidenceId) ||\n    Boolean(input.triggeringQuestionId) ||\n    Boolean(input.triggeringAnswerId) ||\n    Boolean(input.triggeringContradictionId) ||\n    Boolean(input.triggeringWorktreeId)\n  );\n}\n","import { createEvidenceProjection } from \"./create-evidence.projection.js\";\nimport { listBeliefsProjection } from \"./list-beliefs.projection.js\";\nimport { listTasksProjection } from \"./list-tasks.projection.js\";\nimport { modulateConfidenceProjection } from \"./modulate-confidence.projection.js\";\n\nexport { createEvidenceProjection } from \"./create-evidence.projection.js\";\nexport { listBeliefsProjection } from \"./list-beliefs.projection.js\";\nexport { listTasksProjection } from \"./list-tasks.projection.js\";\nexport { modulateConfidenceProjection } from \"./modulate-confidence.projection.js\";\nexport * from \"./projection-dsl.js\";\n\nexport const projections = {\n  create_evidence: createEvidenceProjection,\n  list_beliefs: listBeliefsProjection,\n  list_tasks: listTasksProjection,\n  modulate_confidence: modulateConfidenceProjection,\n} as const;\n\nexport type ProjectionRegistry = typeof projections;\n","import { projections } from \"./index.js\";\n\nconst fixture = {\n  create_evidence: {\n    topicId: \"topic:fixture\",\n    canonicalText: \"projection fixture evidence\",\n    sourceUrl: \"https://example.test/evidence\",\n    targetId: \"belief:fixture\",\n    weight: 0.6,\n    rationale: \"projection fixture\",\n  },\n  list_beliefs: {\n    topicId: \"topic:fixture\",\n    status: \"scored\",\n    limit: 25,\n  },\n  list_tasks: {\n    topicId: \"topic:fixture\",\n    worktreeId: \"worktree:fixture\",\n    status: \"in_progress\",\n    limit: 10,\n  },\n  modulate_confidence: {\n    beliefNodeId: \"belief:fixture\",\n    opinion: {\n      belief: 0.7,\n      disbelief: 0.1,\n      uncertainty: 0.2,\n      baseRate: 0.5,\n    },\n    trigger: \"evidence_added\",\n    provenance: { evidence: \"evidence:fixture\" },\n    rationale: \"projection fixture\",\n  },\n} as const;\n\nexport function checkConvexArgsShape(): void {\n  for (const [name, projection] of Object.entries(projections)) {\n    const input = fixture[name as keyof typeof fixture];\n    const parsed = projection.inputSchema.safeParse(input);\n    if (!parsed.success) {\n      throw new Error(\n        `Projection fixture for ${name} failed input validation: ${parsed.error.message}`,\n      );\n    }\n    const projected = projection.project(parsed.data as never);\n    if (!projected || typeof projected !== \"object\") {\n      throw new Error(`Projection ${name} did not emit object convex args.`);\n    }\n  }\n}\n\ncheckConvexArgsShape();\n"]}
+{"version":3,"sources":["../../src/ids.contract.ts","../../src/projections/projection-dsl.ts","../../src/projections/create-evidence.projection.ts","../../src/projections/list-beliefs.projection.ts","../../src/projections/list-tasks.projection.ts","../../src/projections/modulate-confidence.projection.ts","../../src/projections/index.ts","../../src/projections/check-convex-args-shape.ts"],"names":["z","compactRecord","v"],"mappings":";;;;;;AAKA,IAAM,mBAAA,GAAsB,yBAAA;AAarB,SAAS,iBAAiB,EAAA,EAA+B;AAC9D,EAAA,MAAM,UAAA,GAAa,GAAG,IAAA,EAAK;AAC3B,EAAA,MAAM,KAAA,GAAQ,mBAAA,CAAoB,IAAA,CAAK,UAAU,CAAA;AAEjD,EAAA,IAAI,CAAC,KAAA,EAAO;AACV,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,qBAAA,EAAwB,EAAE,CAAA,CAAE,CAAA;AAAA,EAC9C;AAEA,EAAA,OAAO;AAAA,IACL,MAAA,EAAQ,MAAM,CAAC,CAAA;AAAA,IACf,KAAA,EAAO,MAAM,CAAC;AAAA,GAChB;AACF;;;ACrBO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT;;;ACRA,IAAM,gBAAA,GAAmB,CAAA,CAAE,MAAA,CAAO,CAAA,CAAE,SAAS,CAAA;AAE7C,IAAM,yBAAyB,CAAA,CAAE,IAAA,CAAK,CAAC,UAAA,EAAY,aAAa,CAAC,CAAA;AACjE,IAAM,2BAAA,GAA8B,EAAE,IAAA,CAAK;AAAA,EACzC,UAAA;AAAA,EACA,aAAA;AAAA,EACA,YAAA;AAAA,EACA;AACF,CAAC,CAAA;AACD,IAAM,oBAAA,GAAuB,EAAE,MAAA,CAAO;AAAA,EACpC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,YAAA,EAAc,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,QAAA,EAAU,4BAA4B,QAAA,EAAS;AAAA,EAC/C,gBAAA,EAAkB,uBAAuB,QAAA,EAAS;AAAA,EAClD,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA;AACxB,CAAC,CAAA;AAED,IAAM,6BAAA,GAAgC,EACnC,MAAA,CAAO;AAAA,EACN,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,OAAA,EAAS,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC7B,IAAA,EAAM,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1B,aAAA,EAAe,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACnC,KAAA,EAAO,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC3B,OAAA,EAAS,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC7B,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,IAAA,EAAM,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1B,MAAM,CAAA,CAAE,KAAA,CAAM,EAAE,MAAA,EAAQ,EAAE,QAAA,EAAS;AAAA,EACnC,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,gBAAA,EAAkB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACtC,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,iBAAA,EAAmB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACvC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,YAAA,EAAc,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,gBAAA,EAAkB,uBAAuB,QAAA,EAAS;AAAA,EAClD,eAAA,EAAiB,CAAA,CAAE,KAAA,CAAM,oBAAoB,EAAE,QAAA,EAAS;AAAA,EACxD,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,EACpB,QAAA,EAAU,iBAAiB,QAAA,EAAS;AAAA,EACpC,wBAAA,EAA0B,CAAA,CAAE,OAAA,EAAQ,CAAE,QAAA;AACxC,CAAC,EACA,WAAA,EAAY;AAER,IAAM,4BAA4B,6BAAA,CAA8B,MAAA;AAAA,EACrE,CAAC,KAAA,KAAU,OAAA,CAAQ,KAAA,CAAM,IAAA,IAAQ,MAAM,aAAa,CAAA;AAAA,EACpD;AAAA,IACE,OAAA,EAAS,+BAAA;AAAA,IACT,IAAA,EAAM,CAAC,MAAM;AAAA;AAEjB,CAAA;AAMA,SAAS,cACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEA,SAAS,SAAS,KAAA,EAAkD;AAClE,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,OAAO,UAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA;AAC5E;AAEA,SAAS,YAAY,KAAA,EAAyC;AAC5D,EAAA,OAAO,QAAA,CAAS,KAAK,CAAA,GAAI,KAAA,GAAQ,EAAC;AACpC;AAEA,SAAS,0BACP,OAAA,EACoB;AACpB,EAAA,MAAM,UAAA,GAAa,SAAS,IAAA,EAAK;AACjC,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,MAAA;AAAA,EACT;AAEA,EAAA,IAAI;AACF,IAAA,MAAM,OAAA,GAAU,iBAAiB,UAAU,CAAA;AAC3C,IAAA,OAAO,OAAA,CAAQ,MAAA,KAAW,KAAA,GAAQ,OAAA,CAAQ,KAAA,GAAQ,UAAA;AAAA,EACpD,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,UAAA;AAAA,EACT;AACF;AAEA,SAAS,oBAAoB,KAAA,EAA+C;AAC1E,EAAA,MAAM,UAAA,GAAa,OAAO,IAAA,EAAK;AAC/B,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,CAAW,UAAA,CAAW,KAAK,CAAA,EAAG;AAChC,IAAA,OAAO,UAAA,CAAW,KAAA,CAAM,KAAA,CAAM,MAAM,CAAA;AAAA,EACtC;AACA,EAAA,OAAO,UAAA;AACT;AAEA,SAAS,WACP,QAAA,EACgD;AAChD,EAAA,MAAM,UAAA,GAAa,UAAU,IAAA,EAAK;AAClC,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,SAAA;AAAA,EACT;AACA,EAAA,IAAI,WAAW,UAAA,CAAW,KAAK,KAAK,gBAAA,CAAiB,IAAA,CAAK,UAAU,CAAA,EAAG;AACrE,IAAA,OAAO,UAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,CAAW,UAAA,CAAW,MAAM,CAAA,EAAG;AACjC,IAAA,OAAO,UAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,CAAW,UAAA,CAAW,MAAM,CAAA,EAAG;AACjC,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAA;AACT;AAEA,SAAS,iBAAA,CAAkB,OAA2B,MAAA,EAA4B;AAChF,EAAA,IAAI,KAAA,KAAU,UAAA,IAAc,KAAA,KAAU,YAAA,EAAc;AAClD,IAAA,OAAO,UAAA;AAAA,EACT;AACA,EAAA,IAAI,KAAA,KAAU,aAAA,IAAiB,KAAA,KAAU,eAAA,EAAiB;AACxD,IAAA,OAAO,aAAA;AAAA,EACT;AACA,EAAA,IAAI,WAAW,MAAA,EAAW;AACxB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,OAAO,MAAA,GAAS,IAAK,aAAA,GAA2B,UAAA;AAClD;AAEA,SAAS,mBAAA,CACP,YACA,MAAA,EACA;AACA,EAAA,IAAI,eAAe,MAAA,EAAW;AAC5B,IAAA,OAAO,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,UAAU,CAAC,CAAA;AAAA,EAC5C;AACA,EAAA,IAAI,WAAW,MAAA,EAAW;AACxB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,GAAA,CAAI,GAAG,IAAA,CAAK,GAAA,CAAI,MAAM,CAAC,CAAC,CAAA;AAClD;AAEA,SAAS,wBACP,QAAA,EACA;AACA,EAAA,MAAM,YAAA,GACJ,QAAA,CAAS,YAAA,IAAgB,QAAA,CAAS,YAAY,QAAA,CAAS,QAAA;AACzD,EAAA,IAAI,CAAC,YAAA,EAAc;AACjB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,SACJ,OAAO,QAAA,CAAS,MAAA,KAAW,QAAA,GAAW,SAAS,MAAA,GAAS,MAAA;AAC1D,EAAA,MAAM,gBAAA,GAAmB,iBAAA;AAAA,IACvB,QAAA,CAAS,oBAAoB,QAAA,CAAS,QAAA;AAAA,IACtC;AAAA,GACF;AACA,EAAA,IAAI,CAAC,gBAAA,EAAkB;AACrB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,OAAO,aAAA,CAAc;AAAA,IACnB,YAAA;AAAA,IACA,QAAA,EAAU,gBAAA;AAAA,IACV,UAAA,EAAY,mBAAA,CAAoB,QAAA,CAAS,UAAA,EAAY,MAAM,CAAA;AAAA,IAC3D,WAAW,QAAA,CAAS;AAAA,GACrB,CAAA;AACH;AAEO,IAAM,2BAA2B,gBAAA,CAAiB;AAAA,EACvD,YAAA,EAAc,iBAAA;AAAA,EACd,WAAA,EAAa,yBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KAAyC;AACjD,IAAA,MAAM,IAAA,GAAO,KAAA,CAAM,IAAA,IAAQ,KAAA,CAAM,aAAA;AACjC,IAAA,MAAM,SAAS,OAAO,KAAA,CAAM,MAAA,KAAW,QAAA,GAAW,MAAM,MAAA,GAAS,MAAA;AACjE,IAAA,MAAM,MAAA,GAAS,KAAA,CAAM,QAAA,IAAY,KAAA,CAAM,YAAA;AACvC,IAAA,MAAM,IAAA,GAAO,WAAW,MAAM,CAAA;AAC9B,IAAA,MAAM,gBAAA,GACJ,IAAA,KAAS,UAAA,GAAa,mBAAA,CAAoB,MAAM,CAAA,GAAI,MAAA;AACtD,IAAA,MAAM,kBAAA,GACJ,KAAA,CAAM,kBAAA,KACL,IAAA,KAAS,QAAA,IAAY,SAAS,SAAA,GAC1B,KAAA,CAAM,YAAA,IAAgB,KAAA,CAAM,QAAA,GAC7B,MAAA,CAAA;AACN,IAAA,MAAM,mBAAmB,kBAAA,GACrB,iBAAA,CAAkB,KAAA,CAAM,gBAAA,EAAkB,MAAM,CAAA,GAChD,MAAA;AACJ,IAAA,MAAM,aAAa,gBAAA,GACf,mBAAA,CAAoB,KAAA,CAAM,UAAA,EAAY,MAAM,CAAA,GAC5C,MAAA;AACJ,IAAA,MAAM,eAAA,GAAkB,KAAA,CAAM,eAAA,EAC1B,GAAA,CAAI,uBAAuB,CAAA,CAC5B,MAAA;AAAA,MACC,CAAC,aAAkD,QAAA,KAAa;AAAA,KAClE;AAEF,IAAA,OAAO,aAAA,CAAc;AAAA,MACnB,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,OAAA,EAAS,yBAAA,CAA0B,KAAA,CAAM,OAAO,CAAA;AAAA,MAChD,IAAA;AAAA,MACA,KAAA,EAAO,MAAM,KAAA,IAAS,IAAA;AAAA,MACtB,OAAA,EAAS,MAAM,OAAA,IAAW,IAAA;AAAA,MAC1B,aAAa,KAAA,CAAM,WAAA;AAAA,MACnB,MAAM,KAAA,CAAM,IAAA;AAAA,MACZ,MAAM,KAAA,CAAM,IAAA;AAAA,MACZ,YAAY,KAAA,CAAM,UAAA;AAAA,MAClB,oBAAoB,KAAA,CAAM,kBAAA;AAAA,MAC1B,SAAA,EAAW,KAAA,CAAM,SAAA,IAAa,KAAA,CAAM,MAAA;AAAA,MACpC,kBAAkB,KAAA,CAAM,gBAAA;AAAA,MACxB,aAAa,KAAA,CAAM,WAAA;AAAA,MACnB,sBAAsB,KAAA,CAAM,oBAAA;AAAA,MAC5B,mBAAmB,KAAA,CAAM,iBAAA;AAAA,MACzB,UAAU,aAAA,CAAc;AAAA,QACtB,GAAG,WAAA,CAAY,KAAA,CAAM,QAAQ,CAAA;AAAA,QAC7B,QAAQ,KAAA,CAAM,MAAA;AAAA,QACd,UAAU,KAAA,CAAM,QAAA;AAAA,QAChB,cAAc,KAAA,CAAM,YAAA;AAAA,QACpB,UAAA,EAAY,IAAA,KAAS,SAAA,GAAY,MAAA,GAAY,IAAA;AAAA,QAC7C,gBAAA;AAAA,QACA,MAAA;AAAA,QACA,WAAW,KAAA,CAAM,SAAA;AAAA,QACjB,WAAW,KAAA,CAAM;AAAA,OAClB,CAAA;AAAA,MACD,kBAAA;AAAA,MACA,gBAAA;AAAA,MACA,UAAA;AAAA,MACA,eAAA,EACE,eAAA,IAAmB,eAAA,CAAgB,MAAA,GAAS,IACxC,eAAA,GACA,MAAA;AAAA,MACN,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,wBAAA,EAA0B,MAAM,wBAAA,IAA4B;AAAA,KAC7D,CAAA;AAAA,EACH,CAAA;AAAA,EACA,mBAAA,EAAqB,EAAE,MAAA,CAAO;AAAA,IAC5B,SAAA,EAAW,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChC,OAAA,EAAS,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,IAAA,EAAM,EAAE,MAAA,EAAO;AAAA,IACf,KAAA,EAAO,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,OAAA,EAAS,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,WAAA,EAAa,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,IAAA,EAAM,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3B,IAAA,EAAM,EAAE,QAAA,CAAS,CAAA,CAAE,MAAM,CAAA,CAAE,MAAA,EAAQ,CAAC,CAAA;AAAA,IACpC,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,SAAA,EAAW,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChC,gBAAA,EAAkB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACvC,WAAA,EAAa,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,iBAAA,EAAmB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACxC,QAAA,EAAU,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,MAAA,CAAO,CAAA,CAAE,MAAA,EAAO,EAAG,CAAA,CAAE,GAAA,EAAK,CAAC,CAAA;AAAA,IAClD,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,kBAAkB,CAAA,CAAE,QAAA;AAAA,MAClB,CAAA,CAAE,KAAA;AAAA,QACA,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,QACpB,CAAA,CAAE,QAAQ,aAAa;AAAA;AACzB,KACF;AAAA,IACA,iBAAiB,CAAA,CAAE,QAAA;AAAA,MACjB,CAAA,CAAE,KAAA;AAAA,QACA,EAAE,MAAA,CAAO;AAAA,UACP,YAAA,EAAc,EAAE,MAAA,EAAO;AAAA,UACvB,QAAA,EAAU,CAAA,CAAE,KAAA,CAAM,CAAA,CAAE,OAAA,CAAQ,UAAU,CAAA,EAAG,CAAA,CAAE,OAAA,CAAQ,aAAa,CAAC,CAAA;AAAA,UACjE,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,UACjC,SAAA,EAAW,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ;AAAA,SACjC;AAAA;AACH,KACF;AAAA,IACA,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,IACpB,wBAAA,EAA0B,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,SAAS;AAAA,GACjD;AACH,CAAC,CAAA;AC1RD,IAAM,kBAAA,GAAqBA,CAAAA,CACxB,IAAA,CAAK,CAAC,UAAU,YAAA,EAAc,UAAA,EAAY,UAAA,EAAY,QAAQ,CAAC,CAAA,CAC/D,QAAA,EAAS,CACT,SAAS,8CAA8C,CAAA;AAEnD,IAAM,sBAAA,GAAyBA,EAAE,MAAA,CAAO;AAAA,EAC7C,OAAA,EAASA,CAAAA,CAAE,MAAA,EAAO,CAAE,SAAS,aAAa,CAAA;AAAA,EAC1C,YAAYA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,0BAA0B,CAAA;AAAA,EACrE,MAAA,EAAQ,kBAAA;AAAA,EACR,eAAeA,CAAAA,CACZ,MAAA,GACA,QAAA,EAAS,CACT,SAAS,8BAA8B,CAAA;AAAA,EAC1C,OAAOA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,iBAAiB,CAAA;AAAA,EACvD,uBAAuBA,CAAAA,CACpB,OAAA,GACA,QAAA,EAAS,CACT,SAAS,uDAAuD;AACrE,CAAC,CAAA;AAMD,SAAS,aAAa,MAAA,EAA8C;AAClE,EAAA,OAAO,WAAW,QAAA,IAChB,MAAA,KAAW,YAAA,IACX,MAAA,KAAW,aACT,MAAA,GACA,MAAA;AACN;AAEA,SAASC,eACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEO,IAAM,wBAAwB,gBAAA,CAAiB;AAAA,EACpD,YAAA,EAAc,cAAA;AAAA,EACd,WAAA,EAAa,sBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KACRA,cAAAA,CAAc;AAAA,IACZ,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,MAAA,EAAQ,YAAA,CAAa,KAAA,CAAM,MAAM,CAAA;AAAA,IACjC,OAAO,KAAA,CAAM,KAAA;AAAA,IACb,uBAAuB,KAAA,CAAM;AAAA,GAC9B,CAAA;AAAA,EACH,mBAAA,EAAqBC,EAAE,MAAA,CAAO;AAAA,IAC5B,OAAA,EAASA,EAAE,MAAA,EAAO;AAAA,IAClB,QAAQA,CAAAA,CAAE,QAAA;AAAA,MACRA,CAAAA,CAAE,KAAA;AAAA,QACAA,CAAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,QAClBA,CAAAA,CAAE,QAAQ,YAAY,CAAA;AAAA,QACtBA,CAAAA,CAAE,QAAQ,UAAU;AAAA;AACtB,KACF;AAAA,IACA,KAAA,EAAOA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,qBAAA,EAAuBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,SAAS;AAAA,GAC9C;AACH,CAAC,CAAA;AC9DD,IAAM,gBAAA,GAAmBF,CAAAA,CACtB,IAAA,CAAK,CAAC,MAAA,EAAQ,aAAA,EAAe,SAAA,EAAW,MAAM,CAAC,CAAA,CAC/C,QAAA,EAAS,CACT,SAAS,uBAAuB,CAAA;AAE5B,IAAM,oBAAA,GAAuBA,EACjC,MAAA,CAAO;AAAA,EACN,SAASA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,aAAa,CAAA;AAAA,EACrD,YAAYA,CAAAA,CACT,MAAA,GACA,QAAA,EAAS,CACT,SAAS,4BAA4B,CAAA;AAAA,EACxC,kBAAkBA,CAAAA,CACf,MAAA,GACA,QAAA,EAAS,CACT,SAAS,yCAAyC,CAAA;AAAA,EACrD,MAAA,EAAQ,gBAAA;AAAA,EACR,OAAOA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,iBAAiB;AACzD,CAAC,CAAA,CACA,MAAA;AAAA,EACC,CAAC,UAAU,OAAA,CAAQ,KAAA,CAAM,WAAW,KAAA,CAAM,UAAA,IAAc,MAAM,gBAAgB,CAAA;AAAA,EAC9E;AAAA,IACE,OAAA,EAAS;AAAA;AAEb,CAAA;AAIF,SAASC,eACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEO,IAAM,sBAAsB,gBAAA,CAAiB;AAAA,EAClD,YAAA,EAAc,YAAA;AAAA,EACd,WAAA,EAAa,oBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KACRA,cAAAA,CAAc;AAAA,IACZ,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,QAAQ,KAAA,CAAM,MAAA;AAAA,IACd,MAAA,EAAQ,MAAA;AAAA,IACR,OAAO,KAAA,CAAM,KAAA;AAAA,IACb,gBAAA,EAAkB,KAAA,CAAM,gBAAA,IAAoB,KAAA,CAAM;AAAA,GACnD,CAAA;AAAA,EACH,mBAAA,EAAqBC,EAAE,MAAA,CAAO;AAAA,IAC5B,OAAA,EAASA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,QAAQA,CAAAA,CAAE,QAAA;AAAA,MACRA,CAAAA,CAAE,KAAA;AAAA,QACAA,CAAAA,CAAE,QAAQ,MAAM,CAAA;AAAA,QAChBA,CAAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,QACvBA,CAAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,QACnBA,CAAAA,CAAE,QAAQ,MAAM;AAAA;AAClB,KACF;AAAA,IACA,KAAA,EAAOA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,gBAAA,EAAkBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ;AAAA,GACxC;AACH,CAAC,CAAA;AC5DD,IAAM,uBAAA,GAA0BF,EAAE,IAAA,CAAK;AAAA,EACrC,gBAAA;AAAA,EACA,kBAAA;AAAA,EACA,wBAAA;AAAA,EACA,kBAAA;AAAA,EACA,kBAAA;AAAA,EACA,oBAAA;AAAA,EACA,wBAAA;AAAA,EACA,iBAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,IAAM,gBAAA,GAAmBA,EAAE,MAAA,CAAO;AAAA,EAChC,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,MAAA,EAAQA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,aAAA,EAAeA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACnC,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA;AACvB,CAAC,CAAA;AAED,IAAM,yBAAA,GAA4BA,EAAE,MAAA,CAAO;AAAA,EACzC,MAAA,EAAQA,EAAE,MAAA,EAAO;AAAA,EACjB,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,EACpB,WAAA,EAAaA,EAAE,MAAA,EAAO;AAAA,EACtB,QAAA,EAAUA,EAAE,MAAA;AACd,CAAC,CAAA;AAED,IAAM,mCAAA,GAAsCA,EAAE,MAAA,CAAO;AAAA,EACnD,MAAA,EAAQA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,YAAA,EAAcA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,UAAA,EAAYA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,OAAA,EAAS,0BAA0B,QAAA,EAAS;AAAA,EAC5C,MAAA,EAAQA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAWA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,WAAA,EAAaA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,OAAA,EAAS,uBAAA;AAAA,EACT,UAAA,EAAY,iBAAiB,QAAA,EAAS;AAAA,EACtC,oBAAA,EAAsBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,oBAAA,EAAsBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,kBAAA,EAAoBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,yBAAA,EAA2BA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/C,oBAAA,EAAsBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,EACpB,wBAAA,EAA0BA,CAAAA,CAAE,OAAA,EAAQ,CAAE,QAAA;AACxC,CAAC,CAAA;AAEM,IAAM,6BAAA,GACX,mCAAA,CAAoC,WAAA,CAAY,CAAC,OAAO,GAAA,KAAQ;AAC9D,EAAA,IAAI,aAAA,CAAc,KAAK,CAAA,EAAG;AACxB,IAAA;AAAA,EACF;AAEA,EAAA,GAAA,CAAI,QAAA,CAAS;AAAA,IACX,IAAA,EAAMA,EAAE,YAAA,CAAa,MAAA;AAAA,IACrB,OAAA,EACE,gGAAA;AAAA,IACF,IAAA,EAAM,CAAC,YAAY;AAAA,GACpB,CAAA;AACH,CAAC,CAAA;AAMI,IAAM,+BAA+B,gBAAA,CAAiB;AAAA,EAC3D,YAAA,EAAc,qBAAA;AAAA,EACd,WAAA,EAAa,6BAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KAA6C;AACrD,IAAA,MAAM,MAAA,GAAS,KAAA,CAAM,YAAA,IAAgB,KAAA,CAAM,MAAA;AAC3C,IAAA,IAAI,CAAC,MAAA,EAAQ;AACX,MAAA,MAAM,IAAI,MAAM,qDAAqD,CAAA;AAAA,IACvE;AAEA,IAAA,MAAM,OAAA,GAAU,MAAM,OAAA,IAAW;AAAA,MAC/B,MAAA,EAAQ,aAAA,CAAc,KAAA,CAAM,MAAA,EAAQ,QAAQ,CAAA;AAAA,MAC5C,SAAA,EAAW,aAAA,CAAc,KAAA,CAAM,SAAA,EAAW,WAAW,CAAA;AAAA,MACrD,WAAA,EAAa,aAAA,CAAc,KAAA,CAAM,WAAA,EAAa,aAAa,CAAA;AAAA,MAC3D,QAAA,EAAU,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,UAAU;AAAA,KACpD;AACA,IAAA,gBAAA,CAAiB,KAAK,CAAA;AAEtB,IAAA,OAAO;AAAA,MACL,MAAA;AAAA,MACA,YAAY,KAAA,CAAM,UAAA;AAAA,MAClB,QAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,WAAW,OAAA,CAAQ,SAAA;AAAA,MACnB,aAAa,OAAA,CAAQ,WAAA;AAAA,MACrB,UAAU,OAAA,CAAQ,QAAA;AAAA,MAClB,OAAA,EACE,KAAA,CAAM,OAAA,KAAY,iBAAA,GACd,qBACA,KAAA,CAAM,OAAA;AAAA,MACZ,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,kBAAA,EAAoB,KAAA,CAAM,UAAA,EAAY,MAAA,IAAU,KAAA,CAAM,kBAAA;AAAA,MACtD,yBAAA,EACE,KAAA,CAAM,UAAA,EAAY,aAAA,IAAiB,KAAA,CAAM,yBAAA;AAAA,MAC3C,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,wBAAA,EAA0B,MAAM,wBAAA,IAA4B;AAAA,KAC9D;AAAA,EACF,CAAA;AAAA,EACA,mBAAA,EAAqBE,EAAE,MAAA,CAAO;AAAA,IAC5B,MAAA,EAAQA,EAAE,MAAA,EAAO;AAAA,IACjB,UAAA,EAAYA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,MAAA,EAAQA,EAAE,MAAA,EAAO;AAAA,IACjB,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,IACpB,WAAA,EAAaA,EAAE,MAAA,EAAO;AAAA,IACtB,QAAA,EAAUA,EAAE,MAAA,EAAO;AAAA,IACnB,SAASA,CAAAA,CAAE,KAAA;AAAA,MACTA,CAAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA,MAC1BA,CAAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5BA,CAAAA,CAAE,QAAQ,oBAAoB,CAAA;AAAA,MAC9BA,CAAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClCA,CAAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClCA,CAAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5BA,CAAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5BA,CAAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,MAClBA,CAAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,MACpBA,CAAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,MACrBA,CAAAA,CAAE,QAAQ,oBAAoB;AAAA,KAChC;AAAA,IACA,oBAAA,EAAsBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,oBAAA,EAAsBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,kBAAA,EAAoBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,yBAAA,EAA2BA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAChD,oBAAA,EAAsBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,IACpB,wBAAA,EAA0BA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,SAAS;AAAA,GACjD;AACH,CAAC,CAAA;AAED,SAAS,aAAA,CAAc,OAA2B,KAAA,EAAuB;AACvE,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,6BAAA,EAAgC,KAAK,CAAA,CAAE,CAAA;AAAA,EACzD;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,iBAAiB,KAAA,EAAgD;AACxE,EAAA,IAAI,CAAC,aAAA,CAAc,KAAK,CAAA,EAAG;AACzB,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACF;AAEA,SAAS,cAAc,KAAA,EAAmD;AACxE,EAAA,OACE,KAAA,CAAM,OAAA,KAAY,oBAAA,IAClB,OAAA,CAAQ,MAAM,UAAA,IAAc,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,UAAU,CAAA,CAAE,IAAA,CAAK,OAAO,CAAC,CAAA,IACzE,OAAA,CAAQ,KAAA,CAAM,oBAAoB,CAAA,IAClC,OAAA,CAAQ,KAAA,CAAM,oBAAoB,KAClC,OAAA,CAAQ,KAAA,CAAM,kBAAkB,CAAA,IAChC,QAAQ,KAAA,CAAM,yBAAyB,CAAA,IACvC,OAAA,CAAQ,MAAM,oBAAoB,CAAA;AAEtC;;;AC7JO,IAAM,WAAA,GAAc;AAAA,EACzB,eAAA,EAAiB,wBAAA;AAAA,EACjB,YAAA,EAAc,qBAAA;AAAA,EACd,UAAA,EAAY,mBAAA;AAAA,EACZ,mBAAA,EAAqB;AACvB,CAAA;;;ACdA,IAAM,OAAA,GAAU;AAAA,EACd,eAAA,EAAiB;AAAA,IACf,OAAA,EAAS,eAAA;AAAA,IACT,aAAA,EAAe,6BAAA;AAAA,IACf,SAAA,EAAW,+BAAA;AAAA,IACX,QAAA,EAAU,gBAAA;AAAA,IACV,MAAA,EAAQ,GAAA;AAAA,IACR,SAAA,EAAW;AAAA,GACb;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,OAAA,EAAS,eAAA;AAAA,IACT,MAAA,EAAQ,QAAA;AAAA,IACR,KAAA,EAAO;AAAA,GACT;AAAA,EACA,UAAA,EAAY;AAAA,IACV,OAAA,EAAS,eAAA;AAAA,IACT,UAAA,EAAY,kBAAA;AAAA,IACZ,MAAA,EAAQ,aAAA;AAAA,IACR,KAAA,EAAO;AAAA,GACT;AAAA,EACA,mBAAA,EAAqB;AAAA,IACnB,YAAA,EAAc,gBAAA;AAAA,IACd,OAAA,EAAS;AAAA,MACP,MAAA,EAAQ,GAAA;AAAA,MACR,SAAA,EAAW,GAAA;AAAA,MACX,WAAA,EAAa,GAAA;AAAA,MACb,QAAA,EAAU;AAAA,KACZ;AAAA,IACA,OAAA,EAAS,gBAAA;AAAA,IACT,UAAA,EAAY,EAAE,QAAA,EAAU,kBAAA,EAAmB;AAAA,IAC3C,SAAA,EAAW;AAAA;AAEf,CAAA;AAEO,SAAS,oBAAA,GAA6B;AAC3C,EAAA,KAAA,MAAW,CAAC,IAAA,EAAM,UAAU,KAAK,MAAA,CAAO,OAAA,CAAQ,WAAW,CAAA,EAAG;AAC5D,IAAA,MAAM,KAAA,GAAQ,QAAQ,IAA4B,CAAA;AAClD,IAAA,MAAM,MAAA,GAAS,UAAA,CAAW,WAAA,CAAY,SAAA,CAAU,KAAK,CAAA;AACrD,IAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,MAAA,MAAM,IAAI,KAAA;AAAA,QACR,CAAA,uBAAA,EAA0B,IAAI,CAAA,0BAAA,EAA6B,MAAA,CAAO,MAAM,OAAO,CAAA;AAAA,OACjF;AAAA,IACF;AACA,IAAA,MAAM,SAAA,GAAY,UAAA,CAAW,OAAA,CAAQ,MAAA,CAAO,IAAa,CAAA;AACzD,IAAA,IAAI,CAAC,SAAA,IAAa,OAAO,SAAA,KAAc,QAAA,EAAU;AAC/C,MAAA,MAAM,IAAI,KAAA,CAAM,CAAA,WAAA,EAAc,IAAI,CAAA,iCAAA,CAAmC,CAAA;AAAA,IACvE;AAAA,EACF;AACF;AAEA,oBAAA,EAAqB","file":"check-convex-args-shape.js","sourcesContent":["export type DecodedPrefixedId = {\n  prefix: string;\n  value: string;\n};\n\nconst PREFIXED_ID_PATTERN = /^([a-z][a-z0-9]*)_(.+)$/;\n\nexport function encodePrefixedId(prefix: string, value: string): string {\n  const normalizedPrefix = prefix.trim();\n  const normalizedValue = value.trim();\n\n  if (!normalizedPrefix || !normalizedValue) {\n    throw new Error(\"Both prefix and value are required to encode a prefixed ID.\");\n  }\n\n  return `${normalizedPrefix}_${normalizedValue}`;\n}\n\nexport function decodePrefixedId(id: string): DecodedPrefixedId {\n  const normalized = id.trim();\n  const match = PREFIXED_ID_PATTERN.exec(normalized);\n\n  if (!match) {\n    throw new Error(`Invalid prefixed ID: ${id}`);\n  }\n\n  return {\n    prefix: match[1],\n    value: match[2],\n  };\n}\n\nexport function hasPrefixedIdPrefix(id: string, prefix: string): boolean {\n  const decoded = decodePrefixedId(id);\n  return decoded.prefix === prefix.trim();\n}\n","import type { z } from \"zod\";\n\nexport interface ProjectionDef<TInput, TConvexArgs> {\n  contractName: string;\n  inputSchema: z.ZodSchema<TInput>;\n  project: (input: TInput) => TConvexArgs;\n  convexArgsValidator: unknown;\n}\n\nexport function defineProjection<I, C>(\n  def: ProjectionDef<I, C>\n): ProjectionDef<I, C> {\n  return def;\n}\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { decodePrefixedId } from \"../ids.contract.js\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst jsonRecordSchema = z.record(z.unknown());\n\nconst evidenceRelationSchema = z.enum([\"supports\", \"contradicts\"]);\nconst evidenceRelationAliasSchema = z.enum([\n  \"supports\",\n  \"contradicts\",\n  \"supporting\",\n  \"contradicting\",\n]);\nconst beliefRelationSchema = z.object({\n  beliefId: z.string().optional(),\n  beliefNodeId: z.string().optional(),\n  targetId: z.string().optional(),\n  relation: evidenceRelationAliasSchema.optional(),\n  evidenceRelation: evidenceRelationSchema.optional(),\n  confidence: z.number().optional(),\n  weight: z.number().optional(),\n  rationale: z.string().optional(),\n});\n\nconst createEvidenceInputSchemaBase = z\n  .object({\n    projectId: z.string().optional(),\n    topicId: z.string().optional(),\n    text: z.string().optional(),\n    canonicalText: z.string().optional(),\n    title: z.string().optional(),\n    content: z.string().optional(),\n    contentType: z.string().optional(),\n    kind: z.string().optional(),\n    tags: z.array(z.string()).optional(),\n    source: z.string().optional(),\n    sourceUrl: z.string().optional(),\n    sourceType: z.string().optional(),\n    externalSourceType: z.string().optional(),\n    sourceQuestionId: z.string().optional(),\n    methodology: z.string().optional(),\n    informationAsymmetry: z.string().optional(),\n    sourceDescription: z.string().optional(),\n    targetId: z.string().optional(),\n    targetNodeId: z.string().optional(),\n    linkedBeliefNodeId: z.string().optional(),\n    evidenceRelation: evidenceRelationSchema.optional(),\n    beliefRelations: z.array(beliefRelationSchema).optional(),\n    confidence: z.number().optional(),\n    weight: z.number().optional(),\n    reasoning: z.string().optional(),\n    rationale: z.string(),\n    metadata: jsonRecordSchema.optional(),\n    trustedBypassAccessCheck: z.boolean().optional(),\n  })\n  .passthrough();\n\nexport const createEvidenceInputSchema = createEvidenceInputSchemaBase.refine(\n  (input) => Boolean(input.text ?? input.canonicalText),\n  {\n    message: \"create_evidence requires text\",\n    path: [\"text\"],\n  },\n);\n\nexport type CreateEvidenceProjectionInput = z.infer<\n  typeof createEvidenceInputSchema\n>;\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return Boolean(value) && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction recordValue(value: unknown): Record<string, unknown> {\n  return isRecord(value) ? value : {};\n}\n\nfunction normalizeTopicIdForKernel(\n  topicId: string | undefined,\n): string | undefined {\n  const normalized = topicId?.trim();\n  if (!normalized) {\n    return undefined;\n  }\n\n  try {\n    const decoded = decodePrefixedId(normalized);\n    return decoded.prefix === \"top\" ? decoded.value : normalized;\n  } catch {\n    return normalized;\n  }\n}\n\nfunction normalizeWorktreeId(value: string | undefined): string | undefined {\n  const normalized = value?.trim();\n  if (!normalized) {\n    return undefined;\n  }\n  if (normalized.startsWith(\"wt_\")) {\n    return normalized.slice(\"wt_\".length);\n  }\n  return normalized;\n}\n\nfunction targetKind(\n  targetId: string | undefined,\n): \"belief\" | \"question\" | \"worktree\" | \"unknown\" {\n  const normalized = targetId?.trim();\n  if (!normalized) {\n    return \"unknown\";\n  }\n  if (normalized.startsWith(\"wt_\") || /^tn[a-z0-9]+$/i.test(normalized)) {\n    return \"worktree\";\n  }\n  if (normalized.startsWith(\"que_\")) {\n    return \"question\";\n  }\n  if (normalized.startsWith(\"bel_\")) {\n    return \"belief\";\n  }\n  return \"unknown\";\n}\n\nfunction normalizeRelation(value: string | undefined, weight: number | undefined) {\n  if (value === \"supports\" || value === \"supporting\") {\n    return \"supports\" as const;\n  }\n  if (value === \"contradicts\" || value === \"contradicting\") {\n    return \"contradicts\" as const;\n  }\n  if (weight === undefined) {\n    return undefined;\n  }\n  return weight < 0 ? (\"contradicts\" as const) : (\"supports\" as const);\n}\n\nfunction normalizeConfidence(\n  confidence: number | undefined,\n  weight: number | undefined,\n) {\n  if (confidence !== undefined) {\n    return Math.min(1, Math.max(0, confidence));\n  }\n  if (weight === undefined) {\n    return undefined;\n  }\n  return Math.min(1, Math.max(0, Math.abs(weight)));\n}\n\nfunction normalizeBeliefRelation(\n  relation: z.infer<typeof beliefRelationSchema>,\n) {\n  const beliefNodeId =\n    relation.beliefNodeId ?? relation.beliefId ?? relation.targetId;\n  if (!beliefNodeId) {\n    return undefined;\n  }\n  const weight =\n    typeof relation.weight === \"number\" ? relation.weight : undefined;\n  const evidenceRelation = normalizeRelation(\n    relation.evidenceRelation ?? relation.relation,\n    weight,\n  );\n  if (!evidenceRelation) {\n    return undefined;\n  }\n  return compactRecord({\n    beliefNodeId,\n    relation: evidenceRelation,\n    confidence: normalizeConfidence(relation.confidence, weight),\n    rationale: relation.rationale,\n  });\n}\n\nexport const createEvidenceProjection = defineProjection({\n  contractName: \"create_evidence\",\n  inputSchema: createEvidenceInputSchema,\n  project: (input: CreateEvidenceProjectionInput) => {\n    const text = input.text ?? input.canonicalText;\n    const weight = typeof input.weight === \"number\" ? input.weight : undefined;\n    const target = input.targetId ?? input.targetNodeId;\n    const kind = targetKind(target);\n    const linkedWorktreeId =\n      kind === \"worktree\" ? normalizeWorktreeId(target) : undefined;\n    const linkedBeliefNodeId =\n      input.linkedBeliefNodeId ??\n      (kind === \"belief\" || kind === \"unknown\"\n        ? (input.targetNodeId ?? input.targetId)\n        : undefined);\n    const evidenceRelation = linkedBeliefNodeId\n      ? normalizeRelation(input.evidenceRelation, weight)\n      : undefined;\n    const confidence = evidenceRelation\n      ? normalizeConfidence(input.confidence, weight)\n      : undefined;\n    const beliefRelations = input.beliefRelations\n      ?.map(normalizeBeliefRelation)\n      .filter(\n        (relation): relation is Record<string, unknown> => relation !== undefined,\n      );\n\n    return compactRecord({\n      projectId: input.projectId,\n      topicId: normalizeTopicIdForKernel(input.topicId),\n      text,\n      title: input.title ?? text,\n      content: input.content ?? text,\n      contentType: input.contentType,\n      kind: input.kind,\n      tags: input.tags,\n      sourceType: input.sourceType,\n      externalSourceType: input.externalSourceType,\n      sourceUrl: input.sourceUrl ?? input.source,\n      sourceQuestionId: input.sourceQuestionId,\n      methodology: input.methodology,\n      informationAsymmetry: input.informationAsymmetry,\n      sourceDescription: input.sourceDescription,\n      metadata: compactRecord({\n        ...recordValue(input.metadata),\n        source: input.source,\n        targetId: input.targetId,\n        targetNodeId: input.targetNodeId,\n        targetKind: kind === \"unknown\" ? undefined : kind,\n        linkedWorktreeId,\n        weight,\n        reasoning: input.reasoning,\n        rationale: input.rationale,\n      }),\n      linkedBeliefNodeId,\n      evidenceRelation,\n      confidence,\n      beliefRelations:\n        beliefRelations && beliefRelations.length > 0\n          ? beliefRelations\n          : undefined,\n      rationale: input.rationale,\n      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true,\n    });\n  },\n  convexArgsValidator: v.object({\n    projectId: v.optional(v.string()),\n    topicId: v.optional(v.string()),\n    text: v.string(),\n    title: v.optional(v.string()),\n    content: v.optional(v.string()),\n    contentType: v.optional(v.string()),\n    kind: v.optional(v.string()),\n    tags: v.optional(v.array(v.string())),\n    sourceType: v.optional(v.string()),\n    externalSourceType: v.optional(v.string()),\n    sourceUrl: v.optional(v.string()),\n    sourceQuestionId: v.optional(v.string()),\n    methodology: v.optional(v.string()),\n    informationAsymmetry: v.optional(v.string()),\n    sourceDescription: v.optional(v.string()),\n    metadata: v.optional(v.record(v.string(), v.any())),\n    linkedBeliefNodeId: v.optional(v.string()),\n    evidenceRelation: v.optional(\n      v.union(\n        v.literal(\"supports\"),\n        v.literal(\"contradicts\"),\n      ),\n    ),\n    beliefRelations: v.optional(\n      v.array(\n        v.object({\n          beliefNodeId: v.string(),\n          relation: v.union(v.literal(\"supports\"), v.literal(\"contradicts\")),\n          confidence: v.optional(v.number()),\n          rationale: v.optional(v.string()),\n        }),\n      ),\n    ),\n    confidence: v.optional(v.number()),\n    rationale: v.string(),\n    trustedBypassAccessCheck: v.optional(v.boolean()),\n  }),\n});\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst beliefStatusSchema = z\n  .enum([\"active\", \"superseded\", \"archived\", \"unscored\", \"scored\"])\n  .optional()\n  .describe(\"Filter by belief lifecycle or scoring status\");\n\nexport const listBeliefsInputSchema = z.object({\n  topicId: z.string().describe(\"Topic scope\"),\n  worktreeId: z.string().optional().describe(\"Filter to worktree scope\"),\n  status: beliefStatusSchema,\n  minConfidence: z\n    .number()\n    .optional()\n    .describe(\"Minimum confidence threshold\"),\n  limit: z.number().optional().describe(\"Maximum results\"),\n  includeEdgeAssociated: z\n    .boolean()\n    .optional()\n    .describe(\"Include beliefs associated to the topic through edges\"),\n});\n\nexport type ListBeliefsProjectionInput = z.infer<\n  typeof listBeliefsInputSchema\n>;\n\nfunction kernelStatus(status: ListBeliefsProjectionInput[\"status\"]) {\n  return status === \"active\" ||\n    status === \"superseded\" ||\n    status === \"archived\"\n    ? status\n    : undefined;\n}\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nexport const listBeliefsProjection = defineProjection({\n  contractName: \"list_beliefs\",\n  inputSchema: listBeliefsInputSchema,\n  project: (input: ListBeliefsProjectionInput) =>\n    compactRecord({\n      topicId: input.topicId,\n      status: kernelStatus(input.status),\n      limit: input.limit,\n      includeEdgeAssociated: input.includeEdgeAssociated,\n    }),\n  convexArgsValidator: v.object({\n    topicId: v.string(),\n    status: v.optional(\n      v.union(\n        v.literal(\"active\"),\n        v.literal(\"superseded\"),\n        v.literal(\"archived\"),\n      ),\n    ),\n    limit: v.optional(v.number()),\n    includeEdgeAssociated: v.optional(v.boolean()),\n  }),\n});\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst taskStatusSchema = z\n  .enum([\"todo\", \"in_progress\", \"blocked\", \"done\"])\n  .optional()\n  .describe(\"Filter by task status\");\n\nexport const listTasksInputSchema = z\n  .object({\n    topicId: z.string().optional().describe(\"Topic scope\"),\n    worktreeId: z\n      .string()\n      .optional()\n      .describe(\"Alias for linkedWorktreeId\"),\n    linkedWorktreeId: z\n      .string()\n      .optional()\n      .describe(\"Filter to tasks linked to this worktree\"),\n    status: taskStatusSchema,\n    limit: z.number().optional().describe(\"Maximum results\"),\n  })\n  .refine(\n    (input) => Boolean(input.topicId || input.worktreeId || input.linkedWorktreeId),\n    {\n      message: \"topicId or worktreeId is required\",\n    },\n  );\n\nexport type ListTasksProjectionInput = z.infer<typeof listTasksInputSchema>;\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nexport const listTasksProjection = defineProjection({\n  contractName: \"list_tasks\",\n  inputSchema: listTasksInputSchema,\n  project: (input: ListTasksProjectionInput) =>\n    compactRecord({\n      topicId: input.topicId,\n      status: input.status,\n      userId: undefined,\n      limit: input.limit,\n      linkedWorktreeId: input.linkedWorktreeId ?? input.worktreeId,\n    }),\n  convexArgsValidator: v.object({\n    topicId: v.optional(v.string()),\n    status: v.optional(\n      v.union(\n        v.literal(\"todo\"),\n        v.literal(\"in_progress\"),\n        v.literal(\"blocked\"),\n        v.literal(\"done\"),\n      ),\n    ),\n    limit: v.optional(v.number()),\n    linkedWorktreeId: v.optional(v.string()),\n  }),\n});\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst confidenceTriggerSchema = z.enum([\n  \"evidence_added\",\n  \"evidence_removed\",\n  \"contradiction_resolved\",\n  \"agent_assessment\",\n  \"worktree_outcome\",\n  \"worktree_completed\",\n  \"contradiction_detected\",\n  \"answer_recorded\",\n  \"fusion\",\n  \"discount\",\n  \"deduction\",\n  \"backfill_synthetic\",\n]);\n\nconst provenanceSchema = z.object({\n  evidence: z.string().optional(),\n  question: z.string().optional(),\n  answer: z.string().optional(),\n  contradiction: z.string().optional(),\n  worktree: z.string().optional(),\n});\n\nconst slOpinionProjectionSchema = z.object({\n  belief: z.number(),\n  disbelief: z.number(),\n  uncertainty: z.number(),\n  baseRate: z.number(),\n});\n\nconst modulateConfidenceInputObjectSchema = z.object({\n  nodeId: z.string().optional(),\n  beliefNodeId: z.string().optional(),\n  worktreeId: z.string().optional(),\n  opinion: slOpinionProjectionSchema.optional(),\n  belief: z.number().optional(),\n  disbelief: z.number().optional(),\n  uncertainty: z.number().optional(),\n  baseRate: z.number().optional(),\n  trigger: confidenceTriggerSchema,\n  provenance: provenanceSchema.optional(),\n  triggeringEvidenceId: z.string().optional(),\n  triggeringQuestionId: z.string().optional(),\n  triggeringAnswerId: z.string().optional(),\n  triggeringContradictionId: z.string().optional(),\n  triggeringWorktreeId: z.string().optional(),\n  rationale: z.string(),\n  trustedBypassAccessCheck: z.boolean().optional(),\n});\n\nexport const modulateConfidenceInputSchema =\n  modulateConfidenceInputObjectSchema.superRefine((input, ctx) => {\n    if (hasProvenance(input)) {\n      return;\n    }\n\n    ctx.addIssue({\n      code: z.ZodIssueCode.custom,\n      message:\n        \"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance\",\n      path: [\"provenance\"],\n    });\n  });\n\nexport type ModulateConfidenceProjectionInput = z.infer<\n  typeof modulateConfidenceInputSchema\n>;\n\nexport const modulateConfidenceProjection = defineProjection({\n  contractName: \"modulate_confidence\",\n  inputSchema: modulateConfidenceInputSchema,\n  project: (input: ModulateConfidenceProjectionInput) => {\n    const nodeId = input.beliefNodeId ?? input.nodeId;\n    if (!nodeId) {\n      throw new Error(\"modulate_confidence requires beliefNodeId or nodeId\");\n    }\n\n    const opinion = input.opinion ?? {\n      belief: requireNumber(input.belief, \"belief\"),\n      disbelief: requireNumber(input.disbelief, \"disbelief\"),\n      uncertainty: requireNumber(input.uncertainty, \"uncertainty\"),\n      baseRate: requireNumber(input.baseRate, \"baseRate\"),\n    };\n    assertProvenance(input);\n\n    return {\n      nodeId,\n      worktreeId: input.worktreeId,\n      belief: opinion.belief,\n      disbelief: opinion.disbelief,\n      uncertainty: opinion.uncertainty,\n      baseRate: opinion.baseRate,\n      trigger:\n        input.trigger === \"answer_recorded\"\n          ? \"agent_assessment\"\n          : input.trigger,\n      triggeringEvidenceId:\n        input.provenance?.evidence ?? input.triggeringEvidenceId,\n      triggeringQuestionId:\n        input.provenance?.question ?? input.triggeringQuestionId,\n      triggeringAnswerId: input.provenance?.answer ?? input.triggeringAnswerId,\n      triggeringContradictionId:\n        input.provenance?.contradiction ?? input.triggeringContradictionId,\n      triggeringWorktreeId:\n        input.provenance?.worktree ?? input.triggeringWorktreeId,\n      rationale: input.rationale,\n      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true,\n    };\n  },\n  convexArgsValidator: v.object({\n    nodeId: v.string(),\n    worktreeId: v.optional(v.string()),\n    belief: v.number(),\n    disbelief: v.number(),\n    uncertainty: v.number(),\n    baseRate: v.number(),\n    trigger: v.union(\n      v.literal(\"evidence_added\"),\n      v.literal(\"evidence_removed\"),\n      v.literal(\"worktree_completed\"),\n      v.literal(\"contradiction_detected\"),\n      v.literal(\"contradiction_resolved\"),\n      v.literal(\"agent_assessment\"),\n      v.literal(\"worktree_outcome\"),\n      v.literal(\"fusion\"),\n      v.literal(\"discount\"),\n      v.literal(\"deduction\"),\n      v.literal(\"backfill_synthetic\"),\n    ),\n    triggeringEvidenceId: v.optional(v.string()),\n    triggeringQuestionId: v.optional(v.string()),\n    triggeringAnswerId: v.optional(v.string()),\n    triggeringContradictionId: v.optional(v.string()),\n    triggeringWorktreeId: v.optional(v.string()),\n    rationale: v.string(),\n    trustedBypassAccessCheck: v.optional(v.boolean()),\n  }),\n});\n\nfunction requireNumber(value: number | undefined, field: string): number {\n  if (value === undefined) {\n    throw new Error(`modulate_confidence requires ${field}`);\n  }\n  return value;\n}\n\nfunction assertProvenance(input: ModulateConfidenceProjectionInput): void {\n  if (!hasProvenance(input)) {\n    throw new Error(\n      \"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance\",\n    );\n  }\n}\n\nfunction hasProvenance(input: ModulateConfidenceProjectionInput): boolean {\n  return (\n    input.trigger === \"backfill_synthetic\" ||\n    Boolean(input.provenance && Object.values(input.provenance).some(Boolean)) ||\n    Boolean(input.triggeringEvidenceId) ||\n    Boolean(input.triggeringQuestionId) ||\n    Boolean(input.triggeringAnswerId) ||\n    Boolean(input.triggeringContradictionId) ||\n    Boolean(input.triggeringWorktreeId)\n  );\n}\n","import { createEvidenceProjection } from \"./create-evidence.projection.js\";\nimport { listBeliefsProjection } from \"./list-beliefs.projection.js\";\nimport { listTasksProjection } from \"./list-tasks.projection.js\";\nimport { modulateConfidenceProjection } from \"./modulate-confidence.projection.js\";\n\nexport { createEvidenceProjection } from \"./create-evidence.projection.js\";\nexport { listBeliefsProjection } from \"./list-beliefs.projection.js\";\nexport { listTasksProjection } from \"./list-tasks.projection.js\";\nexport { modulateConfidenceProjection } from \"./modulate-confidence.projection.js\";\nexport * from \"./projection-dsl.js\";\n\nexport const projections = {\n  create_evidence: createEvidenceProjection,\n  list_beliefs: listBeliefsProjection,\n  list_tasks: listTasksProjection,\n  modulate_confidence: modulateConfidenceProjection,\n} as const;\n\nexport type ProjectionRegistry = typeof projections;\n","import { projections } from \"./index.js\";\n\nconst fixture = {\n  create_evidence: {\n    topicId: \"topic:fixture\",\n    canonicalText: \"projection fixture evidence\",\n    sourceUrl: \"https://example.test/evidence\",\n    targetId: \"belief:fixture\",\n    weight: 0.6,\n    rationale: \"projection fixture\",\n  },\n  list_beliefs: {\n    topicId: \"topic:fixture\",\n    status: \"scored\",\n    limit: 25,\n  },\n  list_tasks: {\n    topicId: \"topic:fixture\",\n    worktreeId: \"worktree:fixture\",\n    status: \"in_progress\",\n    limit: 10,\n  },\n  modulate_confidence: {\n    beliefNodeId: \"belief:fixture\",\n    opinion: {\n      belief: 0.7,\n      disbelief: 0.1,\n      uncertainty: 0.2,\n      baseRate: 0.5,\n    },\n    trigger: \"evidence_added\",\n    provenance: { evidence: \"evidence:fixture\" },\n    rationale: \"projection fixture\",\n  },\n} as const;\n\nexport function checkConvexArgsShape(): void {\n  for (const [name, projection] of Object.entries(projections)) {\n    const input = fixture[name as keyof typeof fixture];\n    const parsed = projection.inputSchema.safeParse(input);\n    if (!parsed.success) {\n      throw new Error(\n        `Projection fixture for ${name} failed input validation: ${parsed.error.message}`,\n      );\n    }\n    const projected = projection.project(parsed.data as never);\n    if (!projected || typeof projected !== \"object\") {\n      throw new Error(`Projection ${name} did not emit object convex args.`);\n    }\n  }\n}\n\ncheckConvexArgsShape();\n"]}