qlm-measure 0.2.0 → 0.2.2

package/dist/rules.js

@@ -0,0 +1,46 @@
+/**
+ * Public update rule registry.
+ * Each rule is a pure function: given inputs, produce a posterior.
+ * This module ships with the SDK and has no server dependency.
+ */
+const registry = new Map();
+export function registerRule(ruleId, fn) {
+    registry.set(ruleId, fn);
+}
+export function getRule(ruleId) {
+    return registry.get(ruleId);
+}
+export function reproduce(ruleId, params, prior, correct, weight) {
+    const fn = getRule(ruleId);
+    if (!fn)
+        return null;
+    return fn(prior, correct, weight, params);
+}
+// ── tempered-bkt-1 ─────────────────────────────────────────
+// Written from depth_engine/update.py. Spec: rules/tempered-bkt-1.md
+function temperedBkt1(prior, correct, weight, params) {
+    const slip = params.slip;
+    const guess = params.guess;
+    if (prior <= 0 || prior >= 1)
+        throw new Error(`prior must be in (0, 1), got ${prior}`);
+    if (weight < 0 || weight > 1)
+        throw new Error(`weight must be in [0, 1], got ${weight}`);
+    if (weight === 0)
+        return prior;
+    let pObsMastered;
+    let pObsNotMastered;
+    if (correct) {
+        pObsMastered = Math.pow(1 - slip, weight);
+        pObsNotMastered = Math.pow(guess, weight);
+    }
+    else {
+        pObsMastered = Math.pow(slip, weight);
+        pObsNotMastered = Math.pow(1 - guess, weight);
+    }
+    const numerator = prior * pObsMastered;
+    const denominator = numerator + (1 - prior) * pObsNotMastered;
+    const posterior = numerator / denominator;
+    return Math.max(1e-15, Math.min(1 - 1e-15, posterior));
+}
+registerRule("tempered-bkt-1", temperedBkt1);
+//# sourceMappingURL=rules.js.map

package/dist/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../src/rules.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE3C,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,EAAU;IACrD,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAc;IACpC,OAAO,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,MAAc,EAAE,MAA8B,EAC9C,KAAa,EAAE,OAAgB,EAAE,MAAc;IAE/C,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3B,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IACrB,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED,8DAA8D;AAC9D,qEAAqE;AAErE,SAAS,YAAY,CAAC,KAAa,EAAE,OAAgB,EAAE,MAAc,EAAE,MAA8B;IACnG,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAE3B,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,KAAK,EAAE,CAAC,CAAC;IACvF,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,MAAM,EAAE,CAAC,CAAC;IACzF,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE/B,IAAI,YAAoB,CAAC;IACzB,IAAI,eAAuB,CAAC;IAE5B,IAAI,OAAO,EAAE,CAAC;QACZ,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1C,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;SAAM,CAAC;QACN,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,GAAG,YAAY,CAAC;IACvC,MAAM,WAAW,GAAG,SAAS,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,eAAe,CAAC;IAC9D,MAAM,SAAS,GAAG,SAAS,GAAG,WAAW,CAAC;IAE1C,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,YAAY,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC"}

package/dist/schema/evidence-record.d.ts

@@ -6,8 +6,8 @@
  * and what it decided — enabling external verification of
  * bookkeeping integrity without any estimation mathematics.
  */
-import type { ObservationEvent } from "./observation-event";
-import type { ScaffoldType, DepthLevel, EpistemicMode, TriageResult } from "./enums";
+import type { ObservationEvent } from "./observation-event.js";
+import type { ScaffoldType, DepthLevel, EpistemicMode, TriageResult } from "./enums.js";
 /**
  * A single evidence entry in the record.
  *

package/dist/schema/evidence-record.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evidence-record.d.ts","sourceRoot":"","sources":["../../src/schema/evidence-record.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAErF;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,sEAAsE;IACtE,OAAO,EAAE,MAAM,CAAC;IAEhB,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAElB,qEAAqE;IACrE,KAAK,EAAE,gBAAgB,GAAG;QAAE,QAAQ,EAAE,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IAEhE,2DAA2D;IAC3D,YAAY,EAAE,YAAY,CAAC;IAE3B,iDAAiD;IACjD,UAAU,EAAE,UAAU,CAAC;IAEvB,qCAAqC;IACrC,aAAa,EAAE,aAAa,GAAG,IAAI,CAAC;IAEpC,6BAA6B;IAC7B,YAAY,EAAE,YAAY,CAAC;IAE3B,oEAAoE;IACpE,gBAAgB,EAAE,MAAM,CAAC;IAEzB,oDAAoD;IACpD,cAAc,EAAE,MAAM,CAAC;IAEvB,mDAAmD;IACnD,gBAAgB,EAAE,MAAM,CAAC;IAEzB,sDAAsD;IACtD,uBAAuB,CAAC,EAAE;QACxB,UAAU,EAAE,OAAO,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IAEF,4DAA4D;IAC5D,SAAS,EAAE,MAAM,CAAC;IAElB,oDAAoD;IACpD,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,qCAAqC;IACrC,cAAc,EAAE,MAAM,CAAC;IAEvB,uCAAuC;IACvC,OAAO,EAAE,aAAa,EAAE,CAAC;IAEzB,4EAA4E;IAC5E,eAAe,CAAC,EAAE;QAChB,kDAAkD;QAClD,OAAO,EAAE,MAAM,CAAC;QAChB,8CAA8C;QAC9C,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,gGAAgG;AAChG,eAAO,MAAM,oBAAoB,MAAM,CAAC"}
+{"version":3,"file":"evidence-record.d.ts","sourceRoot":"","sources":["../../src/schema/evidence-record.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAExF;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,sEAAsE;IACtE,OAAO,EAAE,MAAM,CAAC;IAEhB,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAElB,qEAAqE;IACrE,KAAK,EAAE,gBAAgB,GAAG;QAAE,QAAQ,EAAE,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IAEhE,2DAA2D;IAC3D,YAAY,EAAE,YAAY,CAAC;IAE3B,iDAAiD;IACjD,UAAU,EAAE,UAAU,CAAC;IAEvB,qCAAqC;IACrC,aAAa,EAAE,aAAa,GAAG,IAAI,CAAC;IAEpC,6BAA6B;IAC7B,YAAY,EAAE,YAAY,CAAC;IAE3B,oEAAoE;IACpE,gBAAgB,EAAE,MAAM,CAAC;IAEzB,oDAAoD;IACpD,cAAc,EAAE,MAAM,CAAC;IAEvB,mDAAmD;IACnD,gBAAgB,EAAE,MAAM,CAAC;IAEzB,sDAAsD;IACtD,uBAAuB,CAAC,EAAE;QACxB,UAAU,EAAE,OAAO,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IAEF,4DAA4D;IAC5D,SAAS,EAAE,MAAM,CAAC;IAElB,oDAAoD;IACpD,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,qCAAqC;IACrC,cAAc,EAAE,MAAM,CAAC;IAEvB,uCAAuC;IACvC,OAAO,EAAE,aAAa,EAAE,CAAC;IAEzB,4EAA4E;IAC5E,eAAe,CAAC,EAAE;QAChB,kDAAkD;QAClD,OAAO,EAAE,MAAM,CAAC;QAChB,8CAA8C;QAC9C,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,gGAAgG;AAChG,eAAO,MAAM,oBAAoB,MAAM,CAAC"}

package/dist/schema/index.d.ts

@@ -1,7 +1,7 @@
-export type { ScaffoldType, EpistemicMode, DepthLevel, TriageResult, EventCategory, } from "./enums";
-export { toPublicEpistemicMode } from "./enums";
-export type { ObservationEvent } from "./observation-event";
-export type { MeasurementEvent } from "./measurement-event";
-export type { EvidenceEntry, EvidenceRecord } from "./evidence-record";
-export { COMPACTION_RETENTION } from "./evidence-record";
+export type { ScaffoldType, EpistemicMode, DepthLevel, TriageResult, EventCategory, } from "./enums.js";
+export { toPublicEpistemicMode } from "./enums.js";
+export type { ObservationEvent } from "./observation-event.js";
+export type { MeasurementEvent } from "./measurement-event.js";
+export type { EvidenceEntry, EvidenceRecord } from "./evidence-record.js";
+export { COMPACTION_RETENTION } from "./evidence-record.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,YAAY,EACZ,aAAa,EACb,UAAU,EACV,YAAY,EACZ,aAAa,GACd,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAEhD,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,YAAY,EACZ,aAAa,EACb,UAAU,EACV,YAAY,EACZ,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAEnD,YAAY,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,YAAY,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC"}

package/dist/schema/index.js

@@ -1,3 +1,3 @@
-export { toPublicEpistemicMode } from "./enums";
-export { COMPACTION_RETENTION } from "./evidence-record";
+export { toPublicEpistemicMode } from "./enums.js";
+export { COMPACTION_RETENTION } from "./evidence-record.js";
 //# sourceMappingURL=index.js.map

package/dist/schema/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAKhD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAKnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC"}

package/dist/schema/measurement-event.d.ts

@@ -3,7 +3,7 @@
  *
  * Ported from the production measurement-emitter.
  */
-import type { EventCategory } from "./enums";
+import type { EventCategory } from "./enums.js";
 export interface MeasurementEvent {
     /** Event type identifier. */
     eventType: string;

package/dist/schema/measurement-event.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"measurement-event.d.ts","sourceRoot":"","sources":["../../src/schema/measurement-event.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAE7C,MAAM,WAAW,gBAAgB;IAC/B,6BAA6B;IAC7B,SAAS,EAAE,MAAM,CAAC;IAElB,sBAAsB;IACtB,aAAa,EAAE,aAAa,CAAC;IAE7B,0BAA0B;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,4BAA4B;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,wCAAwC;IACxC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,+BAA+B;IAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,wCAAwC;IACxC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,kCAAkC;IAClC,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAElC,2CAA2C;IAC3C,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,4CAA4C;IAC5C,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,yDAAyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,+CAA+C;IAC/C,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB"}
+{"version":3,"file":"measurement-event.d.ts","sourceRoot":"","sources":["../../src/schema/measurement-event.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,MAAM,WAAW,gBAAgB;IAC/B,6BAA6B;IAC7B,SAAS,EAAE,MAAM,CAAC;IAElB,sBAAsB;IACtB,aAAa,EAAE,aAAa,CAAC;IAE7B,0BAA0B;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,4BAA4B;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,wCAAwC;IACxC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,+BAA+B;IAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,wCAAwC;IACxC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,kCAAkC;IAClC,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAElC,2CAA2C;IAC3C,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,4CAA4C;IAC5C,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,yDAAyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,+CAA+C;IAC/C,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB"}

package/dist/schema/observation-event.d.ts

@@ -8,7 +8,7 @@
  *
  * Integrators needing excluded fields use the `ext` namespace.
  */
-import type { ScaffoldType, EpistemicMode } from "./enums";
+import type { ScaffoldType, EpistemicMode } from "./enums.js";
 export interface ObservationEvent {
     /** Pseudonymous student identifier. MUST NOT contain PII. */
     studentId: string;

package/dist/schema/observation-event.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"observation-event.d.ts","sourceRoot":"","sources":["../../src/schema/observation-event.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAE3D,MAAM,WAAW,gBAAgB;IAC/B,6DAA6D;IAC7D,SAAS,EAAE,MAAM,CAAC;IAElB,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAElB,8CAA8C;IAC9C,MAAM,EAAE,MAAM,CAAC;IAEf,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAElB,gDAAgD;IAChD,OAAO,EAAE,OAAO,CAAC;IAEjB,qCAAqC;IACrC,cAAc,EAAE,MAAM,CAAC;IAEvB,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAC;IAEf,iDAAiD;IACjD,YAAY,CAAC,EAAE,YAAY,GAAG,IAAI,CAAC;IAEnC,+DAA+D;IAC/D,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAEhC,mEAAmE;IACnE,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAE9B,2DAA2D;IAC3D,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAEhC,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAExB,qCAAqC;IACrC,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,8CAA8C;IAC9C,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,iDAAiD;IACjD,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAE3B,gDAAgD;IAChD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAE1B,8EAA8E;IAC9E,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAE5B,iEAAiE;IACjE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAE5B,0DAA0D;IAC1D,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,iEAAiE;IACjE,aAAa,CAAC,EAAE,aAAa,CAAC;IAE9B,kEAAkE;IAClE,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,mEAAmE;IACnE,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAM9B,qEAAqE;IACrE,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,gDAAgD;IAChD,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAE/B,qEAAqE;IACrE,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAE9B,gDAAgD;IAChD,gBAAgB,CAAC,EAAE,eAAe,GAAG,iBAAiB,GAAG,mBAAmB,CAAC;IAE7E,oEAAoE;IACpE,wBAAwB,CAAC,EAAE,MAAM,CAAC;CACnC"}
+{"version":3,"file":"observation-event.d.ts","sourceRoot":"","sources":["../../src/schema/observation-event.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE9D,MAAM,WAAW,gBAAgB;IAC/B,6DAA6D;IAC7D,SAAS,EAAE,MAAM,CAAC;IAElB,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAElB,8CAA8C;IAC9C,MAAM,EAAE,MAAM,CAAC;IAEf,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAElB,gDAAgD;IAChD,OAAO,EAAE,OAAO,CAAC;IAEjB,qCAAqC;IACrC,cAAc,EAAE,MAAM,CAAC;IAEvB,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAC;IAEf,iDAAiD;IACjD,YAAY,CAAC,EAAE,YAAY,GAAG,IAAI,CAAC;IAEnC,+DAA+D;IAC/D,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAEhC,mEAAmE;IACnE,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAE9B,2DAA2D;IAC3D,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAEhC,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAExB,qCAAqC;IACrC,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,8CAA8C;IAC9C,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,iDAAiD;IACjD,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAE3B,gDAAgD;IAChD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAE1B,8EAA8E;IAC9E,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAE5B,iEAAiE;IACjE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAE5B,0DAA0D;IAC1D,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,iEAAiE;IACjE,aAAa,CAAC,EAAE,aAAa,CAAC;IAE9B,kEAAkE;IAClE,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,mEAAmE;IACnE,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAM9B,qEAAqE;IACrE,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,gDAAgD;IAChD,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAE/B,qEAAqE;IACrE,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAE9B,gDAAgD;IAChD,gBAAgB,CAAC,EAAE,eAAe,GAAG,iBAAiB,GAAG,mBAAmB,CAAC;IAE7E,oEAAoE;IACpE,wBAAwB,CAAC,EAAE,MAAM,CAAC;CACnC"}

package/dist/verifier/hash.d.ts

@@ -1,28 +1,29 @@
 /**
  * Hash utilities for evidence record integrity.
  *
- * Uses SHA-256 via the Web Crypto API (browser) or Node crypto module.
+ * Uses SHA-256 via Node's crypto module (ESM import).
  * Canonical serialization ensures deterministic hashing.
  */
-import type { EvidenceEntry } from "../schema/evidence-record";
+import type { EvidenceEntry } from "../schema/evidence-record.js";
 /**
  * Canonical JSON serialization — sorted keys, no whitespace.
- * Ensures the same object always produces the same hash regardless
- * of property insertion order.
+ * Matches Python's json.dumps(sort_keys=True, separators=(",",":"), default=str).
+ *
+ * Key difference from bare JSON.stringify: Python writes 1.0 for integer-valued
+ * floats while JS writes 1. We match Python by post-processing the known numeric fields.
  */
 export declare function canonicalize(obj: unknown): string;
 /**
  * Compute SHA-256 hash of a string.
- * Works in both browser (Web Crypto) and Node (crypto module).
  */
 export declare function sha256(input: string): string;
 /**
  * Compute the canonical hash of an evidence entry.
- * Hashes all fields EXCEPT entryHash and prevHash (which are the chain links).
+ * Every field must be explicitly null (not undefined) to match Python.
  */
 export declare function hashEntry(entry: EvidenceEntry): string;
 /**
- * Compute a hash over a canonical string (for summary hashes, etc.).
+ * Compute a hash over a canonical string.
  */
 export declare function hashCanonical(input: string): string;
 //# sourceMappingURL=hash.d.ts.map

package/dist/verifier/hash.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../../src/verifier/hash.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE/D;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAUjD;AAED;;;GAGG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAW5C;AAYD;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAetD;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEnD"}
+{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../../src/verifier/hash.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAElE;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAcjD;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE5C;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAetD;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEnD"}

package/dist/verifier/hash.js

@@ -1,16 +1,19 @@
 /**
  * Hash utilities for evidence record integrity.
  *
- * Uses SHA-256 via the Web Crypto API (browser) or Node crypto module.
+ * Uses SHA-256 via Node's crypto module (ESM import).
  * Canonical serialization ensures deterministic hashing.
  */
+import { createHash } from "crypto";
 /**
  * Canonical JSON serialization — sorted keys, no whitespace.
- * Ensures the same object always produces the same hash regardless
- * of property insertion order.
+ * Matches Python's json.dumps(sort_keys=True, separators=(",",":"), default=str).
+ *
+ * Key difference from bare JSON.stringify: Python writes 1.0 for integer-valued
+ * floats while JS writes 1. We match Python by post-processing the known numeric fields.
  */
 export function canonicalize(obj) {
-    return JSON.stringify(obj, (_, value) => {
+    const raw = JSON.stringify(obj, (_, value) => {
         if (value && typeof value === "object" && !Array.isArray(value)) {
             return Object.keys(value).sort().reduce((sorted, key) => {
                 sorted[key] = value[key];
@@ -19,46 +22,29 @@ export function canonicalize(obj) {
         }
         return value;
     });
+    // Match Python's number formatting: integer-valued floats get .0
+    // Python: json.dumps(1.0) -> "1.0", JSON.stringify(1.0) -> "1"
+    return raw.replace(/"(evidentialWeight|priorPosterior|updatedPosterior|score|difficulty|classifierConfidence)":([-]?\d+)(?=[,}\]])/g, (_, key, num) => `"${key}":${num}.0`);
 }
 /**
  * Compute SHA-256 hash of a string.
- * Works in both browser (Web Crypto) and Node (crypto module).
  */
 export function sha256(input) {
-    // Node.js path
-    try {
-        // eslint-disable-next-line @typescript-eslint/no-require-imports
-        const crypto = require("crypto");
-        return crypto.createHash("sha256").update(input).digest("hex");
-    }
-    catch {
-        // Browser path — synchronous fallback using a simple hash
-        // Note: in production, use Web Crypto API (async) for true SHA-256
-        return simpleHash(input);
-    }
-}
-/** Simple non-cryptographic hash for browser environments without crypto. */
-function simpleHash(str) {
-    let hash = 0;
-    for (let i = 0; i < str.length; i++) {
-        const char = str.charCodeAt(i);
-        hash = ((hash << 5) - hash + char) | 0;
-    }
-    return Math.abs(hash).toString(16).padStart(8, "0");
+    return createHash("sha256").update(input).digest("hex");
 }
 /**
  * Compute the canonical hash of an evidence entry.
- * Hashes all fields EXCEPT entryHash and prevHash (which are the chain links).
+ * Every field must be explicitly null (not undefined) to match Python.
  */
 export function hashEntry(entry) {
     const hashable = {
         version: entry.version,
         timestamp: entry.timestamp,
         event: entry.event,
-        scaffoldType: entry.scaffoldType,
-        depthLevel: entry.depthLevel,
-        epistemicMode: entry.epistemicMode,
-        triageResult: entry.triageResult,
+        scaffoldType: entry.scaffoldType ?? null,
+        depthLevel: entry.depthLevel ?? null,
+        epistemicMode: entry.epistemicMode ?? null,
+        triageResult: entry.triageResult ?? null,
         evidentialWeight: entry.evidentialWeight,
         priorPosterior: entry.priorPosterior,
         updatedPosterior: entry.updatedPosterior,
@@ -67,7 +53,7 @@ export function hashEntry(entry) {
     return sha256(canonicalize(hashable));
 }
 /**
- * Compute a hash over a canonical string (for summary hashes, etc.).
+ * Compute a hash over a canonical string.
  */
 export function hashCanonical(input) {
     return sha256(input);

package/dist/verifier/hash.js.map

@@ -1 +1 @@
-{"version":3,"file":"hash.js","sourceRoot":"","sources":["../../src/verifier/hash.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,GAAY;IACvC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QACtC,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAA0B,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;gBAC/E,MAAM,CAAC,GAAG,CAAC,GAAI,KAAiC,CAAC,GAAG,CAAC,CAAC;gBACtD,OAAO,MAAM,CAAC;YAChB,CAAC,EAAE,EAAE,CAAC,CAAC;QACT,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,KAAa;IAClC,eAAe;IACf,IAAI,CAAC;QACH,iEAAiE;QACjE,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QACjC,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACP,0DAA0D;QAC1D,mEAAmE;QACnE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,6EAA6E;AAC7E,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACtD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,KAAoB;IAC5C,MAAM,QAAQ,GAAG;QACf,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,uBAAuB,EAAE,KAAK,CAAC,uBAAuB,IAAI,IAAI;KAC/D,CAAC;IACF,OAAO,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;AACxC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC"}
+{"version":3,"file":"hash.js","sourceRoot":"","sources":["../../src/verifier/hash.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAGpC;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,GAAY;IACvC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAC3C,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAA0B,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;gBAC/E,MAAM,CAAC,GAAG,CAAC,GAAI,KAAiC,CAAC,GAAG,CAAC,CAAC;gBACtD,OAAO,MAAM,CAAC;YAChB,CAAC,EAAE,EAAE,CAAC,CAAC;QACT,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,iEAAiE;IACjE,+DAA+D;IAC/D,OAAO,GAAG,CAAC,OAAO,CAAC,iHAAiH,EAClI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,MAAM,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,KAAoB;IAC5C,MAAM,QAAQ,GAAG;QACf,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,IAAI;QACxC,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,IAAI;QACpC,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,IAAI;QAC1C,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,IAAI;QACxC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,uBAAuB,EAAE,KAAK,CAAC,uBAAuB,IAAI,IAAI;KAC/D,CAAC;IACF,OAAO,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;AACxC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC"}

package/dist/verifier/index.d.ts

@@ -1,5 +1,5 @@
-export { verifyRecord } from "./verify-record";
-export type { VerificationResult, Violation } from "./verify-record";
-export { replayToVersion, posteriorAtVersion, summarizeToVersion } from "./replay";
-export { hashEntry, hashCanonical, canonicalize, sha256 } from "./hash";
+export { verifyRecord } from "./verify-record.js";
+export type { VerificationResult, Violation } from "./verify-record.js";
+export { replayToVersion, posteriorAtVersion, summarizeToVersion } from "./replay.js";
+export { hashEntry, hashCanonical, canonicalize, sha256 } from "./hash.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/verifier/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC"}

package/dist/verifier/index.js

@@ -1,4 +1,4 @@
-export { verifyRecord } from "./verify-record";
-export { replayToVersion, posteriorAtVersion, summarizeToVersion } from "./replay";
-export { hashEntry, hashCanonical, canonicalize, sha256 } from "./hash";
+export { verifyRecord } from "./verify-record.js";
+export { replayToVersion, posteriorAtVersion, summarizeToVersion } from "./replay.js";
+export { hashEntry, hashCanonical, canonicalize, sha256 } from "./hash.js";
 //# sourceMappingURL=index.js.map

package/dist/verifier/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC"}

package/dist/verifier/replay.d.ts

@@ -4,7 +4,7 @@
  * This is pure bookkeeping: it slices the entry array to version N
  * and returns the logged values. It does NOT recompute any posteriors.
  */
-import type { EvidenceRecord, EvidenceEntry } from "../schema/evidence-record";
+import type { EvidenceRecord, EvidenceEntry } from "../schema/evidence-record.js";
 /**
  * Replay an evidence record to a specific version.
  *

package/dist/verifier/replay.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../../src/verifier/replay.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE/E;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB,aAAa,EAAE,CAEjB;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB,MAAM,GAAG,IAAI,CAIf;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB;IACD,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC5C,CAkBA"}
+{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../../src/verifier/replay.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAElF;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB,aAAa,EAAE,CAEjB;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB,MAAM,GAAG,IAAI,CAIf;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB;IACD,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC5C,CAkBA"}

package/dist/verifier/verify-record.d.ts

@@ -2,47 +2,21 @@
  * Evidence Record Verifier
  *
  * Verifies the bookkeeping integrity of an evidence record WITHOUT
- * containing any estimation mathematics. This distinction is the design:
- * "verify instead of trust."
+ * containing any estimation mathematics.
  *
- * What it checks:
- * - Schema validity (required fields present, correct types)
- * - Strictly monotonic version numbers
- * - Timestamp monotonicity (with configurable tolerance)
- * - Hash-chain integrity (prevHash linkage, entryHash recompute)
- * - Posterior chain consistency (each priorPosterior = previous updatedPosterior)
- * - Compaction-boundary integrity
- * - Enum validity (all enum values are from the public vocabulary)
- *
- * What it MUST NOT do (enforced by test):
- * - Never recompute a posterior
- * - Never contain an update function
- * - Never embed a weight or threshold
- * - Never import from any estimation module
+ * verify makes no network calls. Records never leave your machine.
  */
-import type { EvidenceRecord } from "../schema/evidence-record";
+import type { EvidenceRecord } from "../schema/evidence-record.js";
 export interface Violation {
-    /** Entry version where the violation was found, or 0 for record-level. */
     version: number;
-    /** Category of the violation. */
     category: "schema" | "version" | "timestamp" | "hash" | "posterior" | "compaction" | "enum";
-    /** Human-readable description. */
     message: string;
+    checkId: string;
 }
 export interface VerificationResult {
-    /** Whether the record passed all checks. */
     valid: boolean;
-    /** List of violations found. */
     violations: Violation[];
-    /** Number of entries checked. */
     entriesChecked: number;
 }
-/**
- * Verify the integrity of an evidence record.
- *
- * @param record The evidence record to verify.
- * @param timestampToleranceMs Maximum allowed backward timestamp drift (default: 1000ms).
- * @returns Verification result with any violations found.
- */
 export declare function verifyRecord(record: EvidenceRecord, timestampToleranceMs?: number): VerificationResult;
 //# sourceMappingURL=verify-record.d.ts.map

package/dist/verifier/verify-record.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-record.d.ts","sourceRoot":"","sources":["../../src/verifier/verify-record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAiB,MAAM,2BAA2B,CAAC;AAI/E,MAAM,WAAW,SAAS;IACxB,0EAA0E;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,YAAY,GAAG,MAAM,CAAC;IAC5F,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,kBAAkB;IACjC,4CAA4C;IAC5C,KAAK,EAAE,OAAO,CAAC;IACf,gCAAgC;IAChC,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,iCAAiC;IACjC,cAAc,EAAE,MAAM,CAAC;CACxB;AAOD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,cAAc,EACtB,oBAAoB,GAAE,MAAa,GAClC,kBAAkB,CA2IpB"}
+{"version":3,"file":"verify-record.d.ts","sourceRoot":"","sources":["../../src/verifier/verify-record.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAiB,MAAM,8BAA8B,CAAC;AAIlF,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,YAAY,GAAG,MAAM,CAAC;IAC5F,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;CACxB;AAYD,wBAAgB,YAAY,CAC1B,MAAM,EAAE,cAAc,EACtB,oBAAoB,GAAE,MAAa,GAClC,kBAAkB,CAwHpB"}

package/dist/verifier/verify-record.js

@@ -2,148 +2,113 @@
  * Evidence Record Verifier
  *
  * Verifies the bookkeeping integrity of an evidence record WITHOUT
- * containing any estimation mathematics. This distinction is the design:
- * "verify instead of trust."
+ * containing any estimation mathematics.
  *
- * What it checks:
- * - Schema validity (required fields present, correct types)
- * - Strictly monotonic version numbers
- * - Timestamp monotonicity (with configurable tolerance)
- * - Hash-chain integrity (prevHash linkage, entryHash recompute)
- * - Posterior chain consistency (each priorPosterior = previous updatedPosterior)
- * - Compaction-boundary integrity
- * - Enum validity (all enum values are from the public vocabulary)
- *
- * What it MUST NOT do (enforced by test):
- * - Never recompute a posterior
- * - Never contain an update function
- * - Never embed a weight or threshold
- * - Never import from any estimation module
+ * verify makes no network calls. Records never leave your machine.
  */
-import { hashEntry } from "./hash";
+import { hashEntry } from "./hash.js";
 const VALID_SCAFFOLD_TYPES = ["none", "socratic", "probing", "metacognitive", "scaffolding", "explain", "hint", "demonstrate"];
 const VALID_DEPTH_LEVELS = ["surface", "conceptual", "transfer", "integration"];
 const VALID_EPISTEMIC_MODES = ["experience", "inference", "analogy", "testimony"];
 const VALID_TRIAGE_RESULTS = ["correct", "slip", "misconception", "disengagement", "ambiguous"];
-/**
- * Verify the integrity of an evidence record.
- *
- * @param record The evidence record to verify.
- * @param timestampToleranceMs Maximum allowed backward timestamp drift (default: 1000ms).
- * @returns Verification result with any violations found.
- */
+function isValidISO8601(ts) {
+    const d = new Date(ts);
+    return !isNaN(d.getTime()) && ts.length > 0;
+}
 export function verifyRecord(record, timestampToleranceMs = 1000) {
     const violations = [];
-    // Record-level schema checks
     if (!record.studentScopeId || typeof record.studentScopeId !== "string") {
-        violations.push({ version: 0, category: "schema", message: "Missing or invalid studentScopeId" });
+        violations.push({ version: 0, category: "schema", message: "Missing or invalid studentScopeId", checkId: "SCHEMA.REQUIRED" });
     }
     if (!Array.isArray(record.entries)) {
-        violations.push({ version: 0, category: "schema", message: "entries must be an array" });
+        violations.push({ version: 0, category: "schema", message: "entries must be an array", checkId: "SCHEMA.REQUIRED" });
         return { valid: false, violations, entriesChecked: 0 };
     }
-    // Compaction boundary check
+    // Compaction boundary
     if (record.compactedBefore) {
         if (typeof record.compactedBefore.version !== "number") {
-            violations.push({ version: 0, category: "compaction", message: "compactedBefore.version must be a number" });
+            violations.push({ version: 0, category: "compaction", message: "compactedBefore.version must be a number", checkId: "COMPACTION.BOUNDARY" });
         }
         if (typeof record.compactedBefore.summaryHash !== "string" || !record.compactedBefore.summaryHash) {
-            violations.push({ version: 0, category: "compaction", message: "compactedBefore.summaryHash must be a non-empty string" });
+            violations.push({ version: 0, category: "compaction", message: "compactedBefore.summaryHash must be a non-empty string", checkId: "COMPACTION.BOUNDARY" });
         }
-        // First entry version must be > compaction boundary
         if (record.entries.length > 0 && record.entries[0].version <= record.compactedBefore.version) {
             violations.push({
-                version: record.entries[0].version,
-                category: "compaction",
+                version: record.entries[0].version, category: "compaction",
                 message: `First entry version (${record.entries[0].version}) must be > compaction boundary (${record.compactedBefore.version})`,
+                checkId: "COMPACTION.BOUNDARY",
             });
         }
     }
     let prevVersion = record.compactedBefore?.version ?? 0;
     let prevTimestamp = "";
     let prevHash = record.compactedBefore?.summaryHash ?? "";
-    // Track last updatedPosterior per scope for posterior chain check
     let lastUpdatedPosterior = null;
-    for (let i = 0; i < record.entries.length; i++) {
-        const entry = record.entries[i];
+    for (const entry of record.entries) {
         const v = entry.version ?? -1;
-        // Schema validation
+        // SCHEMA.REQUIRED
         if (typeof v !== "number" || v < 1) {
-            violations.push({ version: v, category: "schema", message: "version must be a positive integer" });
+            violations.push({ version: v, category: "schema", message: "version must be a positive integer", checkId: "SCHEMA.REQUIRED" });
         }
         if (typeof entry.timestamp !== "string" || !entry.timestamp) {
-            violations.push({ version: v, category: "schema", message: "timestamp is required" });
-        }
-        if (entry.event === undefined || entry.event === null) {
-            violations.push({ version: v, category: "schema", message: "event is required" });
+            violations.push({ version: v, category: "schema", message: "timestamp is required", checkId: "SCHEMA.REQUIRED" });
         }
+        // SCHEMA.TYPES
         if (typeof entry.evidentialWeight !== "number") {
-            violations.push({ version: v, category: "schema", message: "evidentialWeight must be a number" });
+            violations.push({ version: v, category: "schema", message: "evidentialWeight must be a number", checkId: "SCHEMA.TYPES" });
         }
         if (typeof entry.priorPosterior !== "number") {
-            violations.push({ version: v, category: "schema", message: "priorPosterior must be a number" });
+            violations.push({ version: v, category: "schema", message: "priorPosterior must be a number", checkId: "SCHEMA.TYPES" });
         }
         if (typeof entry.updatedPosterior !== "number") {
-            violations.push({ version: v, category: "schema", message: "updatedPosterior must be a number" });
+            violations.push({ version: v, category: "schema", message: "updatedPosterior must be a number", checkId: "SCHEMA.TYPES" });
         }
-        // Strictly monotonic versions
+        // SCHEMA.TIMESTAMP_FORMAT
+        if (typeof entry.timestamp === "string" && entry.timestamp && !isValidISO8601(entry.timestamp)) {
+            violations.push({ version: v, category: "timestamp", message: `Timestamp is not valid ISO 8601: "${entry.timestamp}"`, checkId: "SCHEMA.TIMESTAMP_FORMAT" });
+        }
+        // VERSION.MONOTONIC
         if (v <= prevVersion) {
-            violations.push({
-                version: v,
-                category: "version",
-                message: `Version ${v} is not strictly greater than previous ${prevVersion}`,
-            });
+            violations.push({ version: v, category: "version", message: `Version ${v} <= previous ${prevVersion}`, checkId: "VERSION.MONOTONIC" });
         }
-        // Timestamp monotonicity (with tolerance)
+        // TIMESTAMP.MONOTONIC
         if (prevTimestamp && entry.timestamp) {
             const prevMs = new Date(prevTimestamp).getTime();
             const currMs = new Date(entry.timestamp).getTime();
             if (!isNaN(prevMs) && !isNaN(currMs) && currMs < prevMs - timestampToleranceMs) {
-                violations.push({
-                    version: v,
-                    category: "timestamp",
-                    message: `Timestamp goes backward: ${entry.timestamp} < ${prevTimestamp} (tolerance: ${timestampToleranceMs}ms)`,
-                });
+                violations.push({ version: v, category: "timestamp", message: "Timestamp goes backward", checkId: "TIMESTAMP.MONOTONIC" });
             }
         }
-        // Enum validation
+        // ENUM.VALID
         if (entry.scaffoldType && !VALID_SCAFFOLD_TYPES.includes(entry.scaffoldType)) {
-            violations.push({ version: v, category: "enum", message: `Invalid scaffoldType: ${entry.scaffoldType}` });
+            violations.push({ version: v, category: "enum", message: `Invalid scaffoldType: ${entry.scaffoldType}`, checkId: "ENUM.VALID" });
         }
         if (entry.depthLevel && !VALID_DEPTH_LEVELS.includes(entry.depthLevel)) {
-            violations.push({ version: v, category: "enum", message: `Invalid depthLevel: ${entry.depthLevel}` });
+            violations.push({ version: v, category: "enum", message: `Invalid depthLevel: ${entry.depthLevel}`, checkId: "ENUM.VALID" });
         }
         if (entry.epistemicMode && !VALID_EPISTEMIC_MODES.includes(entry.epistemicMode)) {
-            violations.push({ version: v, category: "enum", message: `Invalid epistemicMode: ${entry.epistemicMode}` });
+            violations.push({ version: v, category: "enum", message: `Invalid epistemicMode: ${entry.epistemicMode}`, checkId: "ENUM.VALID" });
         }
         if (entry.triageResult && !VALID_TRIAGE_RESULTS.includes(entry.triageResult)) {
-            violations.push({ version: v, category: "enum", message: `Invalid triageResult: ${entry.triageResult}` });
+            violations.push({ version: v, category: "enum", message: `Invalid triageResult: ${entry.triageResult}`, checkId: "ENUM.VALID" });
         }
-        // Hash-chain integrity
+        // HASH.PREV_LINK
         if (entry.prevHash !== prevHash) {
-            violations.push({
-                version: v,
-                category: "hash",
-                message: `prevHash mismatch: expected "${prevHash}", got "${entry.prevHash}"`,
-            });
+            violations.push({ version: v, category: "hash", message: "prevHash mismatch", checkId: "HASH.PREV_LINK" });
         }
+        // HASH.ENTRY_RECOMPUTE
         const computedHash = hashEntry(entry);
         if (entry.entryHash !== computedHash) {
-            violations.push({
-                version: v,
-                category: "hash",
-                message: `entryHash mismatch: expected "${computedHash}", got "${entry.entryHash}"`,
-            });
+            violations.push({ version: v, category: "hash", message: "entryHash mismatch", checkId: "HASH.ENTRY_RECOMPUTE" });
         }
-        // Posterior chain consistency
-        // Each entry's priorPosterior should equal the previous entry's updatedPosterior
+        // POSTERIOR.CHAIN
         if (lastUpdatedPosterior !== null && typeof entry.priorPosterior === "number") {
             const diff = Math.abs(entry.priorPosterior - lastUpdatedPosterior);
             if (diff > 1e-9) {
                 violations.push({
-                    version: v,
-                    category: "posterior",
-                    message: `priorPosterior (${entry.priorPosterior}) does not match previous updatedPosterior (${lastUpdatedPosterior})`,
+                    version: v, category: "posterior",
+                    message: `priorPosterior (${entry.priorPosterior}) != previous updatedPosterior (${lastUpdatedPosterior})`,
+                    checkId: "POSTERIOR.CHAIN",
                 });
             }
         }
@@ -154,10 +119,6 @@ export function verifyRecord(record, timestampToleranceMs = 1000) {
             lastUpdatedPosterior = entry.updatedPosterior;
         }
     }
-    return {
-        valid: violations.length === 0,
-        violations,
-        entriesChecked: record.entries.length,
-    };
+    return { valid: violations.length === 0, violations, entriesChecked: record.entries.length };
 }
 //# sourceMappingURL=verify-record.js.map