@lucern/contracts 1.0.16 → 1.0.17

package/dist/manifests/invariant-manifest.d.ts

@@ -1,10 +1,10 @@
 import { z } from 'zod';
 import { ProjectionRegistry } from '../projections/index.js';
 import '../projections/projection-dsl.js';
+import '../projections/append-sl-scoring.projection.js';
 import '../projections/create-evidence.projection.js';
 import '../projections/list-beliefs.projection.js';
 import '../projections/list-tasks.projection.js';
-import '../projections/modulate-confidence.projection.js';
 
 type InvariantId = string;
 type CheckerKind = "ast" | "manifest" | "runtime";

package/dist/manifests/invariants/index.d.ts

@@ -5,10 +5,10 @@ export { MANIFEST_1_PROJECTIONS_DECLARE_AUDIT } from './manifest-1-projections-d
 import 'zod';
 import '../../projections/index.js';
 import '../../projections/projection-dsl.js';
+import '../../projections/append-sl-scoring.projection.js';
 import '../../projections/create-evidence.projection.js';
 import '../../projections/list-beliefs.projection.js';
 import '../../projections/list-tasks.projection.js';
-import '../../projections/modulate-confidence.projection.js';
 
 declare const invariants: readonly [InvariantRule, InvariantRule, InvariantRule];
 

package/dist/manifests/invariants/index.js

@@ -174,7 +174,7 @@ var MANIFEST_1_PROJECTIONS_DECLARE_AUDIT = {
   evaluate: async (ctx) => {
     const violations = [];
     for (const [name, projection] of Object.entries(ctx.projections)) {
-      if (!/^(create|modulate|fork|update)_/.test(name)) {
+      if (!/^(append|create|fork|update)_/.test(name)) {
         continue;
       }
       const shape = objectShape(projection.inputSchema);

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":["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"]}
+{"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,+BAAA,CAAgC,IAAA,CAAK,IAAI,CAAA,EAAG;AAC/C,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 (!/^(append|create|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.d.ts

@@ -2,10 +2,10 @@ import { InvariantRule } from '../invariant-manifest.js';
 import 'zod';
 import '../../projections/index.js';
 import '../../projections/projection-dsl.js';
+import '../../projections/append-sl-scoring.projection.js';
 import '../../projections/create-evidence.projection.js';
 import '../../projections/list-beliefs.projection.js';
 import '../../projections/list-tasks.projection.js';
-import '../../projections/modulate-confidence.projection.js';
 
 declare const INV_1_BELIEFS_APPEND_ONLY: InvariantRule;
 

package/dist/manifests/invariants/inv-14-no-silent-transitions.d.ts

@@ -2,10 +2,10 @@ import { InvariantRule } from '../invariant-manifest.js';
 import 'zod';
 import '../../projections/index.js';
 import '../../projections/projection-dsl.js';
+import '../../projections/append-sl-scoring.projection.js';
 import '../../projections/create-evidence.projection.js';
 import '../../projections/list-beliefs.projection.js';
 import '../../projections/list-tasks.projection.js';
-import '../../projections/modulate-confidence.projection.js';
 
 declare const INV_14_NO_SILENT_TRANSITIONS: InvariantRule;
 

package/dist/manifests/invariants/manifest-1-projections-declare-audit.d.ts

@@ -2,10 +2,10 @@ import { InvariantRule } from '../invariant-manifest.js';
 import 'zod';
 import '../../projections/index.js';
 import '../../projections/projection-dsl.js';
+import '../../projections/append-sl-scoring.projection.js';
 import '../../projections/create-evidence.projection.js';
 import '../../projections/list-beliefs.projection.js';
 import '../../projections/list-tasks.projection.js';
-import '../../projections/modulate-confidence.projection.js';
 
 declare const MANIFEST_1_PROJECTIONS_DECLARE_AUDIT: InvariantRule;
 

package/dist/manifests/invariants/manifest-1-projections-declare-audit.js

@@ -21,7 +21,7 @@ var MANIFEST_1_PROJECTIONS_DECLARE_AUDIT = {
   evaluate: async (ctx) => {
     const violations = [];
     for (const [name, projection] of Object.entries(ctx.projections)) {
-      if (!/^(create|modulate|fork|update)_/.test(name)) {
+      if (!/^(append|create|fork|update)_/.test(name)) {
         continue;
       }
       const shape = objectShape(projection.inputSchema);

package/dist/manifests/invariants/manifest-1-projections-declare-audit.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../src/manifests/invariants/manifest-1-projections-declare-audit.ts"],"names":[],"mappings":";AAGA,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","file":"manifest-1-projections-declare-audit.js","sourcesContent":["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"]}
+{"version":3,"sources":["../../../src/manifests/invariants/manifest-1-projections-declare-audit.ts"],"names":[],"mappings":";AAGA,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,+BAAA,CAAgC,IAAA,CAAK,IAAI,CAAA,EAAG;AAC/C,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","file":"manifest-1-projections-declare-audit.js","sourcesContent":["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 (!/^(append|create|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"]}

package/dist/projections/{modulate-confidence.projection.d.ts → append-sl-scoring.projection.d.ts}

@@ -1,7 +1,7 @@
 import { ProjectionDef } from './projection-dsl.js';
 import { z } from 'zod';
 
-declare const modulateConfidenceInputSchema: z.ZodEffects<z.ZodObject<{
+declare const appendSlScoringInputSchema: z.ZodEffects<z.ZodObject<{
     nodeId: z.ZodOptional<z.ZodString>;
     beliefNodeId: z.ZodOptional<z.ZodString>;
     worktreeId: z.ZodOptional<z.ZodString>;
@@ -54,19 +54,22 @@ declare const modulateConfidenceInputSchema: z.ZodEffects<z.ZodObject<{
     trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
 }, "strip", z.ZodTypeAny, {
     rationale: string;
-    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic" | "answer_recorded";
     belief?: number | undefined;
     baseRate?: number | undefined;
     nodeId?: string | undefined;
     disbelief?: number | undefined;
     uncertainty?: number | undefined;
-    worktreeId?: string | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
     triggeringEvidenceId?: string | undefined;
-    triggeringQuestionId?: string | undefined;
-    triggeringAnswerId?: string | undefined;
-    triggeringContradictionId?: string | undefined;
-    triggeringWorktreeId?: string | undefined;
     beliefNodeId?: string | undefined;
+    worktreeId?: string | undefined;
     trustedBypassAccessCheck?: boolean | undefined;
     opinion?: {
         belief: number;
@@ -74,28 +77,28 @@ declare const modulateConfidenceInputSchema: z.ZodEffects<z.ZodObject<{
         disbelief: number;
         uncertainty: number;
     } | undefined;
-    provenance?: {
-        evidence?: string | undefined;
-        question?: string | undefined;
-        contradiction?: string | undefined;
-        worktree?: string | undefined;
-        answer?: string | undefined;
-    } | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
 }, {
     rationale: string;
-    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic" | "answer_recorded";
     belief?: number | undefined;
     baseRate?: number | undefined;
     nodeId?: string | undefined;
     disbelief?: number | undefined;
     uncertainty?: number | undefined;
-    worktreeId?: string | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
     triggeringEvidenceId?: string | undefined;
-    triggeringQuestionId?: string | undefined;
-    triggeringAnswerId?: string | undefined;
-    triggeringContradictionId?: string | undefined;
-    triggeringWorktreeId?: string | undefined;
     beliefNodeId?: string | undefined;
+    worktreeId?: string | undefined;
     trustedBypassAccessCheck?: boolean | undefined;
     opinion?: {
         belief: number;
@@ -103,28 +106,28 @@ declare const modulateConfidenceInputSchema: z.ZodEffects<z.ZodObject<{
         disbelief: number;
         uncertainty: number;
     } | undefined;
-    provenance?: {
-        evidence?: string | undefined;
-        question?: string | undefined;
-        contradiction?: string | undefined;
-        worktree?: string | undefined;
-        answer?: string | undefined;
-    } | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
 }>, {
     rationale: string;
-    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic" | "answer_recorded";
     belief?: number | undefined;
     baseRate?: number | undefined;
     nodeId?: string | undefined;
     disbelief?: number | undefined;
     uncertainty?: number | undefined;
-    worktreeId?: string | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
     triggeringEvidenceId?: string | undefined;
-    triggeringQuestionId?: string | undefined;
-    triggeringAnswerId?: string | undefined;
-    triggeringContradictionId?: string | undefined;
-    triggeringWorktreeId?: string | undefined;
     beliefNodeId?: string | undefined;
+    worktreeId?: string | undefined;
     trustedBypassAccessCheck?: boolean | undefined;
     opinion?: {
         belief: number;
@@ -132,28 +135,28 @@ declare const modulateConfidenceInputSchema: z.ZodEffects<z.ZodObject<{
         disbelief: number;
         uncertainty: number;
     } | undefined;
-    provenance?: {
-        evidence?: string | undefined;
-        question?: string | undefined;
-        contradiction?: string | undefined;
-        worktree?: string | undefined;
-        answer?: string | undefined;
-    } | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
 }, {
     rationale: string;
-    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic" | "answer_recorded";
     belief?: number | undefined;
     baseRate?: number | undefined;
     nodeId?: string | undefined;
     disbelief?: number | undefined;
     uncertainty?: number | undefined;
-    worktreeId?: string | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
     triggeringEvidenceId?: string | undefined;
-    triggeringQuestionId?: string | undefined;
-    triggeringAnswerId?: string | undefined;
-    triggeringContradictionId?: string | undefined;
-    triggeringWorktreeId?: string | undefined;
     beliefNodeId?: string | undefined;
+    worktreeId?: string | undefined;
     trustedBypassAccessCheck?: boolean | undefined;
     opinion?: {
         belief: number;
@@ -161,30 +164,30 @@ declare const modulateConfidenceInputSchema: z.ZodEffects<z.ZodObject<{
         disbelief: number;
         uncertainty: number;
     } | undefined;
-    provenance?: {
-        evidence?: string | undefined;
-        question?: string | undefined;
-        contradiction?: string | undefined;
-        worktree?: string | undefined;
-        answer?: string | undefined;
-    } | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
 }>;
-type ModulateConfidenceProjectionInput = z.infer<typeof modulateConfidenceInputSchema>;
-declare const modulateConfidenceProjection: ProjectionDef<{
+type AppendSlScoringProjectionInput = z.infer<typeof appendSlScoringInputSchema>;
+declare const appendSlScoringProjection: ProjectionDef<{
     rationale: string;
-    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic" | "answer_recorded";
     belief?: number | undefined;
     baseRate?: number | undefined;
     nodeId?: string | undefined;
     disbelief?: number | undefined;
     uncertainty?: number | undefined;
-    worktreeId?: string | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
     triggeringEvidenceId?: string | undefined;
-    triggeringQuestionId?: string | undefined;
-    triggeringAnswerId?: string | undefined;
-    triggeringContradictionId?: string | undefined;
-    triggeringWorktreeId?: string | undefined;
     beliefNodeId?: string | undefined;
+    worktreeId?: string | undefined;
     trustedBypassAccessCheck?: boolean | undefined;
     opinion?: {
         belief: number;
@@ -192,13 +195,10 @@ declare const modulateConfidenceProjection: ProjectionDef<{
         disbelief: number;
         uncertainty: number;
     } | undefined;
-    provenance?: {
-        evidence?: string | undefined;
-        question?: string | undefined;
-        contradiction?: string | undefined;
-        worktree?: string | undefined;
-        answer?: string | undefined;
-    } | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
 }, {
     nodeId: string;
     worktreeId: string | undefined;
@@ -216,4 +216,4 @@ declare const modulateConfidenceProjection: ProjectionDef<{
     trustedBypassAccessCheck: boolean;
 }>;
 
-export { type ModulateConfidenceProjectionInput, modulateConfidenceInputSchema, modulateConfidenceProjection };
+export { type AppendSlScoringProjectionInput, appendSlScoringInputSchema, appendSlScoringProjection };

package/dist/projections/{modulate-confidence.projection.js → append-sl-scoring.projection.js}

@@ -1,14 +1,14 @@
 import { v } from 'convex/values';
 import { z } from 'zod';
 
-// src/projections/modulate-confidence.projection.ts
+// src/projections/append-sl-scoring.projection.ts
 
 // src/projections/projection-dsl.ts
 function defineProjection(def) {
   return def;
 }
 
-// src/projections/modulate-confidence.projection.ts
+// src/projections/append-sl-scoring.projection.ts
 var confidenceTriggerSchema = z.enum([
   "evidence_added",
   "evidence_removed",
@@ -36,7 +36,7 @@ var slOpinionProjectionSchema = z.object({
   uncertainty: z.number(),
   baseRate: z.number()
 });
-var modulateConfidenceInputObjectSchema = z.object({
+var appendSlScoringInputObjectSchema = z.object({
   nodeId: z.string().optional(),
   beliefNodeId: z.string().optional(),
   worktreeId: z.string().optional(),
@@ -55,23 +55,23 @@ var modulateConfidenceInputObjectSchema = z.object({
   rationale: z.string(),
   trustedBypassAccessCheck: z.boolean().optional()
 });
-var modulateConfidenceInputSchema = modulateConfidenceInputObjectSchema.superRefine((input, ctx) => {
+var appendSlScoringInputSchema = appendSlScoringInputObjectSchema.superRefine((input, ctx) => {
   if (hasProvenance(input)) {
     return;
   }
   ctx.addIssue({
     code: z.ZodIssueCode.custom,
-    message: "modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance",
+    message: "append_sl_scoring requires evidence, question, answer, contradiction, or worktree provenance",
     path: ["provenance"]
   });
 });
-var modulateConfidenceProjection = defineProjection({
-  contractName: "modulate_confidence",
-  inputSchema: modulateConfidenceInputSchema,
+var appendSlScoringProjection = defineProjection({
+  contractName: "append_sl_scoring",
+  inputSchema: appendSlScoringInputSchema,
   project: (input) => {
     const nodeId = input.beliefNodeId ?? input.nodeId;
     if (!nodeId) {
-      throw new Error("modulate_confidence requires beliefNodeId or nodeId");
+      throw new Error("append_sl_scoring requires beliefNodeId or nodeId");
     }
     const opinion = input.opinion ?? {
       belief: requireNumber(input.belief, "belief"),
@@ -128,14 +128,14 @@ var modulateConfidenceProjection = defineProjection({
 });
 function requireNumber(value, field) {
   if (value === void 0) {
-    throw new Error(`modulate_confidence requires ${field}`);
+    throw new Error(`append_sl_scoring requires ${field}`);
   }
   return value;
 }
 function assertProvenance(input) {
   if (!hasProvenance(input)) {
     throw new Error(
-      "modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance"
+      "append_sl_scoring requires evidence, question, answer, contradiction, or worktree provenance"
     );
   }
 }
@@ -143,6 +143,6 @@ function hasProvenance(input) {
   return input.trigger === "backfill_synthetic" || Boolean(input.provenance && Object.values(input.provenance).some(Boolean)) || Boolean(input.triggeringEvidenceId) || Boolean(input.triggeringQuestionId) || Boolean(input.triggeringAnswerId) || Boolean(input.triggeringContradictionId) || Boolean(input.triggeringWorktreeId);
 }
 
-export { modulateConfidenceInputSchema, modulateConfidenceProjection };
-//# sourceMappingURL=modulate-confidence.projection.js.map
-//# sourceMappingURL=modulate-confidence.projection.js.map
+export { appendSlScoringInputSchema, appendSlScoringProjection };
+//# sourceMappingURL=append-sl-scoring.projection.js.map
+//# sourceMappingURL=append-sl-scoring.projection.js.map

package/dist/projections/append-sl-scoring.projection.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/projections/projection-dsl.ts","../../src/projections/append-sl-scoring.projection.ts"],"names":[],"mappings":";;;;;;AASO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT;;;ACTA,IAAM,uBAAA,GAA0B,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,GAAmB,EAAE,MAAA,CAAO;AAAA,EAChC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,aAAA,EAAe,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACnC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA;AACvB,CAAC,CAAA;AAED,IAAM,yBAAA,GAA4B,EAAE,MAAA,CAAO;AAAA,EACzC,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,EACjB,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,EACpB,WAAA,EAAa,EAAE,MAAA,EAAO;AAAA,EACtB,QAAA,EAAU,EAAE,MAAA;AACd,CAAC,CAAA;AAED,IAAM,gCAAA,GAAmC,EAAE,MAAA,CAAO;AAAA,EAChD,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,YAAA,EAAc,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,OAAA,EAAS,0BAA0B,QAAA,EAAS;AAAA,EAC5C,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,OAAA,EAAS,uBAAA;AAAA,EACT,UAAA,EAAY,iBAAiB,QAAA,EAAS;AAAA,EACtC,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,yBAAA,EAA2B,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/C,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,EACpB,wBAAA,EAA0B,CAAA,CAAE,OAAA,EAAQ,CAAE,QAAA;AACxC,CAAC,CAAA;AAEM,IAAM,0BAAA,GACX,gCAAA,CAAiC,WAAA,CAAY,CAAC,OAAO,GAAA,KAAQ;AAC3D,EAAA,IAAI,aAAA,CAAc,KAAK,CAAA,EAAG;AACxB,IAAA;AAAA,EACF;AAEA,EAAA,GAAA,CAAI,QAAA,CAAS;AAAA,IACX,IAAA,EAAM,EAAE,YAAA,CAAa,MAAA;AAAA,IACrB,OAAA,EACE,8FAAA;AAAA,IACF,IAAA,EAAM,CAAC,YAAY;AAAA,GACpB,CAAA;AACH,CAAC;AAMI,IAAM,4BAA4B,gBAAA,CAAiB;AAAA,EACxD,YAAA,EAAc,mBAAA;AAAA,EACd,WAAA,EAAa,0BAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KAA0C;AAClD,IAAA,MAAM,MAAA,GAAS,KAAA,CAAM,YAAA,IAAgB,KAAA,CAAM,MAAA;AAC3C,IAAA,IAAI,CAAC,MAAA,EAAQ;AACX,MAAA,MAAM,IAAI,MAAM,mDAAmD,CAAA;AAAA,IACrE;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,EAAqB,EAAE,MAAA,CAAO;AAAA,IAC5B,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,IACjB,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,IACjB,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,IACpB,WAAA,EAAa,EAAE,MAAA,EAAO;AAAA,IACtB,QAAA,EAAU,EAAE,MAAA,EAAO;AAAA,IACnB,SAAS,CAAA,CAAE,KAAA;AAAA,MACT,CAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA,MAC1B,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5B,CAAA,CAAE,QAAQ,oBAAoB,CAAA;AAAA,MAC9B,CAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClC,CAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClC,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5B,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5B,CAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,MAClB,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,MACpB,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,MACrB,CAAA,CAAE,QAAQ,oBAAoB;AAAA,KAChC;AAAA,IACA,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,yBAAA,EAA2B,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChD,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,IACpB,wBAAA,EAA0B,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,SAAS;AAAA,GACjD;AACH,CAAC;AAED,SAAS,aAAA,CAAc,OAA2B,KAAA,EAAuB;AACvE,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,2BAAA,EAA8B,KAAK,CAAA,CAAE,CAAA;AAAA,EACvD;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,iBAAiB,KAAA,EAA6C;AACrE,EAAA,IAAI,CAAC,aAAA,CAAc,KAAK,CAAA,EAAG;AACzB,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACF;AAEA,SAAS,cAAc,KAAA,EAAgD;AACrE,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","file":"append-sl-scoring.projection.js","sourcesContent":["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 { 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 appendSlScoringInputObjectSchema = 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 appendSlScoringInputSchema =\n  appendSlScoringInputObjectSchema.superRefine((input, ctx) => {\n    if (hasProvenance(input)) {\n      return;\n    }\n\n    ctx.addIssue({\n      code: z.ZodIssueCode.custom,\n      message:\n        \"append_sl_scoring requires evidence, question, answer, contradiction, or worktree provenance\",\n      path: [\"provenance\"],\n    });\n  });\n\nexport type AppendSlScoringProjectionInput = z.infer<\n  typeof appendSlScoringInputSchema\n>;\n\nexport const appendSlScoringProjection = defineProjection({\n  contractName: \"append_sl_scoring\",\n  inputSchema: appendSlScoringInputSchema,\n  project: (input: AppendSlScoringProjectionInput) => {\n    const nodeId = input.beliefNodeId ?? input.nodeId;\n    if (!nodeId) {\n      throw new Error(\"append_sl_scoring 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(`append_sl_scoring requires ${field}`);\n  }\n  return value;\n}\n\nfunction assertProvenance(input: AppendSlScoringProjectionInput): void {\n  if (!hasProvenance(input)) {\n    throw new Error(\n      \"append_sl_scoring requires evidence, question, answer, contradiction, or worktree provenance\",\n    );\n  }\n}\n\nfunction hasProvenance(input: AppendSlScoringProjectionInput): 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"]}