@lucern/contracts 0.3.0-alpha.1 → 0.3.0-alpha.10

package/dist/manifests/invariants/index.js

@@ -0,0 +1,183 @@
+import { join } from 'path';
+import { readdirSync, statSync, readFileSync } from 'fs';
+import ts from 'typescript';
+
+// src/manifests/invariants/inv-1-beliefs-append-only.ts
+function collectTsFiles(root) {
+  const entries = [];
+  for (const name of readdirSync(root)) {
+    const path = join(root, name);
+    const stat = statSync(path);
+    if (stat.isDirectory()) {
+      if (name === "node_modules" || name === "dist" || name === ".next") {
+        continue;
+      }
+      entries.push(...collectTsFiles(path));
+    } else if (name.endsWith(".ts") && !name.endsWith(".d.ts")) {
+      entries.push(path);
+    }
+  }
+  return entries;
+}
+function readSource(filePath) {
+  const text = readFileSync(filePath, "utf8");
+  return {
+    filePath,
+    text,
+    sourceFile: ts.createSourceFile(filePath, text, ts.ScriptTarget.Latest, true)
+  };
+}
+function walk(node, visit) {
+  visit(node);
+  node.forEachChild((child) => walk(child, visit));
+}
+function isDbCall(node, method) {
+  if (!ts.isCallExpression(node)) {
+    return false;
+  }
+  const expression = node.expression;
+  if (!ts.isPropertyAccessExpression(expression)) {
+    return false;
+  }
+  if (expression.name.text !== method) {
+    return false;
+  }
+  return expression.expression.getText().endsWith(".db");
+}
+function lineRef(unit, node) {
+  const { line } = unit.sourceFile.getLineAndCharacterOfPosition(node.getStart());
+  return `${unit.filePath}:${line + 1}`;
+}
+
+// src/manifests/invariants/inv-1-beliefs-append-only.ts
+function isBeliefWriteCandidate(node) {
+  const [target, patch] = node.arguments;
+  const targetText = target?.getText() ?? "";
+  const patchText = patch?.getText() ?? "";
+  if (!/belief/i.test(targetText)) {
+    return false;
+  }
+  return /canonicalText|formulation|confidence|beliefStatus/.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.",
+  checker: "ast",
+  severity: "block_publish",
+  evaluate: async (ctx) => {
+    const root = join(ctx.repoRoot, "packages/reasoning-kernel/src/adapters");
+    const violations = [];
+    for (const filePath of collectTsFiles(root)) {
+      if (filePath.endsWith(".test.ts")) {
+        continue;
+      }
+      const unit = readSource(filePath);
+      walk(unit.sourceFile, (node) => {
+        if (isDbCall(node, "patch") && isBeliefWriteCandidate(node)) {
+          violations.push(lineRef(unit, node));
+        }
+        if (isDbCall(node, "delete") && /belief/i.test(node.getText())) {
+          violations.push(lineRef(unit, node));
+        }
+      });
+    }
+    return violations.length === 0 ? { status: "passed", evidenceRefs: [] } : {
+      status: "failed",
+      evidenceRefs: violations,
+      reason: `${violations.length} unwrapped belief writes found`
+    };
+  }
+};
+var EPISTEMIC_TABLES = [
+  "epistemicNodes",
+  "epistemicEdges",
+  "beliefConfidence",
+  "questions",
+  "answers",
+  "contradictions"
+];
+var INV_14_NO_SILENT_TRANSITIONS = {
+  invariant: "INV-14: no silent state transitions",
+  description: "Epistemic state transitions must co-locate an epistemicAudit insert in the same implementation file.",
+  checker: "ast",
+  severity: "block_publish",
+  evaluate: async (ctx) => {
+    const root = join(ctx.repoRoot, "packages/reasoning-kernel/src/adapters");
+    const violations = [];
+    for (const filePath of collectTsFiles(root)) {
+      if (filePath.endsWith(".test.ts")) {
+        continue;
+      }
+      const unit = readSource(filePath);
+      if (unit.text.includes("epistemicAudit")) {
+        continue;
+      }
+      walk(unit.sourceFile, (node) => {
+        if (!isDbCall(node, "patch")) {
+          return;
+        }
+        const text = node.getText();
+        const touchesEpistemicState = EPISTEMIC_TABLES.some((table) => text.includes(`"${table}"`)) || /\b(belief|question|answer|contradiction|edge)\w*Id\b/i.test(text);
+        const carriesAuditIntent = /\b(epistemicAudit|rationale|reason|audit)\b/i.test(text);
+        if (touchesEpistemicState && !carriesAuditIntent) {
+          violations.push(lineRef(unit, node));
+        }
+      });
+    }
+    return violations.length === 0 ? { status: "passed", evidenceRefs: [] } : {
+      status: "failed",
+      evidenceRefs: violations,
+      reason: `${violations.length} epistemic writes lack local audit evidence`
+    };
+  }
+};
+
+// src/manifests/invariants/manifest-1-projections-declare-audit.ts
+function objectShape(schema) {
+  let current = schema;
+  while (current._def.typeName === "ZodEffects") {
+    current = current._def.schema;
+  }
+  const def = current._def;
+  if (typeof def.shape === "function") {
+    return def.shape();
+  }
+  if (def.shape && typeof def.shape === "object") {
+    return def.shape;
+  }
+  return void 0;
+}
+var MANIFEST_1_PROJECTIONS_DECLARE_AUDIT = {
+  invariant: "MANIFEST-1: kernel projections declare epistemicAudit",
+  description: "Kernel mutation projections must carry a rationale so audit evidence can explain the transition.",
+  checker: "manifest",
+  severity: "block_publish",
+  evaluate: async (ctx) => {
+    const violations = [];
+    for (const [name, projection] of Object.entries(ctx.projections)) {
+      if (!/^(create|modulate|fork|update)_/.test(name)) {
+        continue;
+      }
+      const shape = objectShape(projection.inputSchema);
+      if (!shape || !("rationale" in shape)) {
+        violations.push(`projection '${name}' missing 'rationale' field`);
+      }
+    }
+    return violations.length === 0 ? { status: "passed", evidenceRefs: [] } : {
+      status: "failed",
+      evidenceRefs: violations,
+      reason: `${violations.length} projections missing audit rationale`
+    };
+  }
+};
+
+// src/manifests/invariants/index.ts
+var invariants = [
+  INV_1_BELIEFS_APPEND_ONLY,
+  INV_14_NO_SILENT_TRANSITIONS,
+  MANIFEST_1_PROJECTIONS_DECLARE_AUDIT
+];
+
+export { INV_14_NO_SILENT_TRANSITIONS, INV_1_BELIEFS_APPEND_ONLY, MANIFEST_1_PROJECTIONS_DECLARE_AUDIT, invariants };
+//# sourceMappingURL=index.js.map
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +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"]}

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

@@ -0,0 +1,12 @@
+import { InvariantRule } from '../invariant-manifest.js';
+import 'zod';
+import '../../projections/index.js';
+import '../../projections/projection-dsl.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;
+
+export { INV_1_BELIEFS_APPEND_ONLY };

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

@@ -0,0 +1,94 @@
+import { join } from 'path';
+import { readdirSync, statSync, readFileSync } from 'fs';
+import ts from 'typescript';
+
+// src/manifests/invariants/inv-1-beliefs-append-only.ts
+function collectTsFiles(root) {
+  const entries = [];
+  for (const name of readdirSync(root)) {
+    const path = join(root, name);
+    const stat = statSync(path);
+    if (stat.isDirectory()) {
+      if (name === "node_modules" || name === "dist" || name === ".next") {
+        continue;
+      }
+      entries.push(...collectTsFiles(path));
+    } else if (name.endsWith(".ts") && !name.endsWith(".d.ts")) {
+      entries.push(path);
+    }
+  }
+  return entries;
+}
+function readSource(filePath) {
+  const text = readFileSync(filePath, "utf8");
+  return {
+    filePath,
+    text,
+    sourceFile: ts.createSourceFile(filePath, text, ts.ScriptTarget.Latest, true)
+  };
+}
+function walk(node, visit) {
+  visit(node);
+  node.forEachChild((child) => walk(child, visit));
+}
+function isDbCall(node, method) {
+  if (!ts.isCallExpression(node)) {
+    return false;
+  }
+  const expression = node.expression;
+  if (!ts.isPropertyAccessExpression(expression)) {
+    return false;
+  }
+  if (expression.name.text !== method) {
+    return false;
+  }
+  return expression.expression.getText().endsWith(".db");
+}
+function lineRef(unit, node) {
+  const { line } = unit.sourceFile.getLineAndCharacterOfPosition(node.getStart());
+  return `${unit.filePath}:${line + 1}`;
+}
+
+// src/manifests/invariants/inv-1-beliefs-append-only.ts
+function isBeliefWriteCandidate(node) {
+  const [target, patch] = node.arguments;
+  const targetText = target?.getText() ?? "";
+  const patchText = patch?.getText() ?? "";
+  if (!/belief/i.test(targetText)) {
+    return false;
+  }
+  return /canonicalText|formulation|confidence|beliefStatus/.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.",
+  checker: "ast",
+  severity: "block_publish",
+  evaluate: async (ctx) => {
+    const root = join(ctx.repoRoot, "packages/reasoning-kernel/src/adapters");
+    const violations = [];
+    for (const filePath of collectTsFiles(root)) {
+      if (filePath.endsWith(".test.ts")) {
+        continue;
+      }
+      const unit = readSource(filePath);
+      walk(unit.sourceFile, (node) => {
+        if (isDbCall(node, "patch") && isBeliefWriteCandidate(node)) {
+          violations.push(lineRef(unit, node));
+        }
+        if (isDbCall(node, "delete") && /belief/i.test(node.getText())) {
+          violations.push(lineRef(unit, node));
+        }
+      });
+    }
+    return violations.length === 0 ? { status: "passed", evidenceRefs: [] } : {
+      status: "failed",
+      evidenceRefs: violations,
+      reason: `${violations.length} unwrapped belief writes found`
+    };
+  }
+};
+
+export { INV_1_BELIEFS_APPEND_ONLY };
+//# sourceMappingURL=inv-1-beliefs-append-only.js.map
+//# sourceMappingURL=inv-1-beliefs-append-only.js.map

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

@@ -0,0 +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"]}

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

@@ -0,0 +1,12 @@
+import { InvariantRule } from '../invariant-manifest.js';
+import 'zod';
+import '../../projections/index.js';
+import '../../projections/projection-dsl.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;
+
+export { INV_14_NO_SILENT_TRANSITIONS };

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

@@ -0,0 +1,99 @@
+import { join } from 'path';
+import { readdirSync, statSync, readFileSync } from 'fs';
+import ts from 'typescript';
+
+// src/manifests/invariants/inv-14-no-silent-transitions.ts
+function collectTsFiles(root) {
+  const entries = [];
+  for (const name of readdirSync(root)) {
+    const path = join(root, name);
+    const stat = statSync(path);
+    if (stat.isDirectory()) {
+      if (name === "node_modules" || name === "dist" || name === ".next") {
+        continue;
+      }
+      entries.push(...collectTsFiles(path));
+    } else if (name.endsWith(".ts") && !name.endsWith(".d.ts")) {
+      entries.push(path);
+    }
+  }
+  return entries;
+}
+function readSource(filePath) {
+  const text = readFileSync(filePath, "utf8");
+  return {
+    filePath,
+    text,
+    sourceFile: ts.createSourceFile(filePath, text, ts.ScriptTarget.Latest, true)
+  };
+}
+function walk(node, visit) {
+  visit(node);
+  node.forEachChild((child) => walk(child, visit));
+}
+function isDbCall(node, method) {
+  if (!ts.isCallExpression(node)) {
+    return false;
+  }
+  const expression = node.expression;
+  if (!ts.isPropertyAccessExpression(expression)) {
+    return false;
+  }
+  if (expression.name.text !== method) {
+    return false;
+  }
+  return expression.expression.getText().endsWith(".db");
+}
+function lineRef(unit, node) {
+  const { line } = unit.sourceFile.getLineAndCharacterOfPosition(node.getStart());
+  return `${unit.filePath}:${line + 1}`;
+}
+
+// src/manifests/invariants/inv-14-no-silent-transitions.ts
+var EPISTEMIC_TABLES = [
+  "epistemicNodes",
+  "epistemicEdges",
+  "beliefConfidence",
+  "questions",
+  "answers",
+  "contradictions"
+];
+var INV_14_NO_SILENT_TRANSITIONS = {
+  invariant: "INV-14: no silent state transitions",
+  description: "Epistemic state transitions must co-locate an epistemicAudit insert in the same implementation file.",
+  checker: "ast",
+  severity: "block_publish",
+  evaluate: async (ctx) => {
+    const root = join(ctx.repoRoot, "packages/reasoning-kernel/src/adapters");
+    const violations = [];
+    for (const filePath of collectTsFiles(root)) {
+      if (filePath.endsWith(".test.ts")) {
+        continue;
+      }
+      const unit = readSource(filePath);
+      if (unit.text.includes("epistemicAudit")) {
+        continue;
+      }
+      walk(unit.sourceFile, (node) => {
+        if (!isDbCall(node, "patch")) {
+          return;
+        }
+        const text = node.getText();
+        const touchesEpistemicState = EPISTEMIC_TABLES.some((table) => text.includes(`"${table}"`)) || /\b(belief|question|answer|contradiction|edge)\w*Id\b/i.test(text);
+        const carriesAuditIntent = /\b(epistemicAudit|rationale|reason|audit)\b/i.test(text);
+        if (touchesEpistemicState && !carriesAuditIntent) {
+          violations.push(lineRef(unit, node));
+        }
+      });
+    }
+    return violations.length === 0 ? { status: "passed", evidenceRefs: [] } : {
+      status: "failed",
+      evidenceRefs: violations,
+      reason: `${violations.length} epistemic writes lack local audit evidence`
+    };
+  }
+};
+
+export { INV_14_NO_SILENT_TRANSITIONS };
+//# sourceMappingURL=inv-14-no-silent-transitions.js.map
+//# sourceMappingURL=inv-14-no-silent-transitions.js.map

package/dist/manifests/invariants/inv-14-no-silent-transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../src/manifests/invariants/ast-utils.ts","../../../src/manifests/invariants/inv-14-no-silent-transitions.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;;;ACtDA,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","file":"inv-14-no-silent-transitions.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 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"]}

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

@@ -0,0 +1,12 @@
+import { InvariantRule } from '../invariant-manifest.js';
+import 'zod';
+import '../../projections/index.js';
+import '../../projections/projection-dsl.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;
+
+export { MANIFEST_1_PROJECTIONS_DECLARE_AUDIT };

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

@@ -0,0 +1,42 @@
+// src/manifests/invariants/manifest-1-projections-declare-audit.ts
+function objectShape(schema) {
+  let current = schema;
+  while (current._def.typeName === "ZodEffects") {
+    current = current._def.schema;
+  }
+  const def = current._def;
+  if (typeof def.shape === "function") {
+    return def.shape();
+  }
+  if (def.shape && typeof def.shape === "object") {
+    return def.shape;
+  }
+  return void 0;
+}
+var MANIFEST_1_PROJECTIONS_DECLARE_AUDIT = {
+  invariant: "MANIFEST-1: kernel projections declare epistemicAudit",
+  description: "Kernel mutation projections must carry a rationale so audit evidence can explain the transition.",
+  checker: "manifest",
+  severity: "block_publish",
+  evaluate: async (ctx) => {
+    const violations = [];
+    for (const [name, projection] of Object.entries(ctx.projections)) {
+      if (!/^(create|modulate|fork|update)_/.test(name)) {
+        continue;
+      }
+      const shape = objectShape(projection.inputSchema);
+      if (!shape || !("rationale" in shape)) {
+        violations.push(`projection '${name}' missing 'rationale' field`);
+      }
+    }
+    return violations.length === 0 ? { status: "passed", evidenceRefs: [] } : {
+      status: "failed",
+      evidenceRefs: violations,
+      reason: `${violations.length} projections missing audit rationale`
+    };
+  }
+};
+
+export { MANIFEST_1_PROJECTIONS_DECLARE_AUDIT };
+//# sourceMappingURL=manifest-1-projections-declare-audit.js.map
+//# sourceMappingURL=manifest-1-projections-declare-audit.js.map

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

@@ -0,0 +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"]}