@cavelang/scenario 0.29.0

package/dist/src/record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../src/record.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAA;AACpC,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAItD,MAAM,CAAC,MAAM,YAAY,GAAG,wBAAiC,CAAA;AAC7D,MAAM,CAAC,MAAM,gBAAgB,GAAG,4BAAqC,CAAA;AACrE,MAAM,CAAC,MAAM,oBAAoB,GAAG,gCAAyC,CAAA;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAG,0BAAmC,CAAA;AACjE,MAAM,CAAC,MAAM,YAAY,GAAG,wBAAiC,CAAA;AAC7D,MAAM,CAAC,MAAM,oBAAoB,GAAG,iCAA0C,CAAA;AAsF9E,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAC5C,YAAY,IAAU,EAAE,EAAU;QAChC,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,6CAA6C,CAAC,CAAA;QACjF,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAA;IACnC,CAAC;CACF;AAED,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAC3C,YAAY,IAAU,EAAE,EAAU;QAChC,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAA;QACtD,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAA;IAClC,CAAC;CACF;AAED,MAAM,MAAM,GAAG,CAAC,QAAkB,EAAQ,EAAE;IAC1C,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;QACxB,KAAK,YAAY,CAAC,CAAC,OAAO,QAAQ,CAAA;QAClC,KAAK,gBAAgB,CAAC,CAAC,OAAO,QAAQ,CAAA;QACtC,KAAK,oBAAoB,CAAC,CAAC,OAAO,gBAAgB,CAAA;QAClD,KAAK,cAAc,CAAC,CAAC,OAAO,UAAU,CAAA;QACtC,KAAK,YAAY,CAAC,CAAC,OAAO,QAAQ,CAAA;QAClC,KAAK,oBAAoB,CAAC,CAAC,OAAO,iBAAiB,CAAA;IACrD,CAAC;AACH,CAAC,CAAA;AAED,MAAM,MAAM,GAAmC;IAC7C,MAAM,EAAE,iBAAiB;IACzB,cAAc,EAAE,yBAAyB;IACzC,QAAQ,EAAE,mBAAmB;IAC7B,MAAM,EAAE,iBAAiB;IACzB,iBAAiB,EAAE,iBAAiB;CACrC,CAAA;AAED,MAAM,MAAM,GAAmC;IAC7C,MAAM,EAAE,iBAAiB;IACzB,cAAc,EAAE,yBAAyB;IACzC,QAAQ,EAAE,mBAAmB;IAC7B,MAAM,EAAE,iBAAiB;IACzB,iBAAiB,EAAE,0BAA0B;CAC9C,CAAA;AAED,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,EAAU,EAAU,EAAE;IAChD,IAAI,EAAE,KAAK,EAAE;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,uBAAuB,CAAC,CAAA;IAClE,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAA;AAChC,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAErG,MAAM,aAAa,GAAG,CAAC,KAAc,EAAU,EAAE;IAC/C,MAAM,SAAS,GAAG,CAAC,IAAa,EAAE,IAAY,EAAW,EAAE;QACzD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAA;QACvF,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,iBAAiB,CAAC,CAAA;YACzE,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAA;QACjG,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAA+B,CAAC;iBACtE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC;iBAC1C,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;iBACnD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACtE,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,cAAc,CAAC,CAAA;IAC5C,CAAC,CAAA;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAA;AACrD,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,CAAC,QAAkB,EAAU,EAAE,CAC5C,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;AAEpE,MAAM,MAAM,GAAG,CAAC,OAAe,EAAY,EAAE;IAC3C,IAAI,MAAe,CAAA;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;IACzE,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,SAAS,CAAC,wDAAwD,CAAC,CAAA;IAC/E,CAAC;IACD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,OAAQ,MAA+B,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjH,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAA;IACjE,CAAC;IACD,MAAM,MAAM,GAAI,MAA6B,CAAC,MAAM,CAAA;IACpD,IAAI,CAAC,CAAC,YAAY,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,cAAc,EAAE,YAAY,EAAE,oBAAoB,CAAC,CAAC,QAAQ,CAAC,MAAe,CAAC,EAAE,CAAC;QAC1I,MAAM,IAAI,SAAS,CAAC,iDAAiD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAChG,CAAC;IACD,OAAO,MAAkB,CAAA;AAC3B,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,EAAU,EAAE,OAAe,EAAU,EAAE,CAC/D,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,OAAO,WAAW,MAAM,CAAC,IAAI,CAAC,EAAE,CAAA;AAEzE,MAAM,OAAO,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,EAAU,EAAE,OAAe,EAAE,EAAE;IACxE,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;IAC1E,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAA;IACrC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpG,MAAM,IAAI,SAAS,CAAC,WAAW,IAAI,aAAa,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,EAAE,CAAC,CAAA;IAC5G,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;AAC1B,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,EAAU,EAAkD,EAAE;IAC9G,mEAAmE;IACnE,uEAAuE;IACvE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;IAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9C,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACzD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACjC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK,UAAU,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3H,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,uCAAuC,CAAC,CAAA;IAC3F,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAqB,KAAY,EAAE,IAAU,EAAE,EAAU,EAAK,EAAE;IACpF,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;IAC7C,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;IAC/D,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACtC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,IAAI,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACpD,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,iCAAiC,CAAC,CAAA;IACrF,CAAC;IACD,OAAO,QAAa,CAAA;AACtB,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,QAAkB,EAAE,QAAoB,EAAiB,EAAE,CACvF,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;IACrB,QAAQ,EAAE,CAAA;IACV,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;IAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;IAChC,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAA;IACzD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO;YAAE,MAAM,IAAI,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAA;QAClF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAA;IAChE,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;IAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IAC3C,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,QAAQ,EAAE,CAAA;AAClE,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,QAAwB,EAAiB,EAAE,CAC9E,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE;IAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QAC/F,MAAM,IAAI,SAAS,CAAC,yCAAyC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACxG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACzC,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,wBAAwB,EAAE,CAAC;YACxD,MAAM,IAAI,SAAS,CAAC,qCAAqC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACpG,CAAC;QACD,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,EAAE,IAAI,QAAQ,CAAC,SAAS,CAAC,OAAO,KAAK,EAAE,EAAE,CAAC;YACxE,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAA;QAC9E,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAY,EAAE,QAAwB,EAAiB,EAAE,CACtF,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,aAAa,CAAiB,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA,CAAC,CAAC,CAAC,CAAA;AAEtG,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,QAAkB,EAAiB,EAAE,CAC1E,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE;IAC3B,aAAa,CAAiB,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACjE,IAAI,QAAQ,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,aAAa,CAAiB,KAAK,EAAE,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAA;QAClG,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC5C,MAAM,IAAI,SAAS,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,4BAA4B,CAAC,CAAA;QAC9G,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,QAAgB,EAAiB,EAAE,CACtE,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,aAAa,CAAW,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAA,CAAC,CAAC,CAAC,CAAA;AAEpG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAY,EAAE,QAAwB,EAAiB,EAAE,CACtF,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,aAAa,CAAS,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA,CAAC,CAAC,CAAC,CAAA;AAE9F,MAAM,CAAC,MAAM,IAAI,GAAG,CAAqB,KAAY,EAAE,IAAU,EAAE,EAAU,EAAK,EAAE,CAClF,aAAa,CAAI,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;AAEnC;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,EAAU,EAAE,QAA2B,EAAU,EAAE;IACtF,MAAM,KAAK,GAAG,aAAa,CAAiB,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAClC,MAAM,IAAI,SAAS,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,iDAAiD,CAAC,CAAA;IACpG,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAA;IACtB,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC,gBAAgB,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,mBAAmB,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAA;IACxG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAA;QAC1C,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,IAAI,mBAAmB,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;QACvF,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAChD,OAAO,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,OAAO,mBAAmB,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAA;QAC7F,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAA;AAChE,CAAC,CAAA"}

package/package.json

@@ -0,0 +1,61 @@
+{
+  "name": "@cavelang/scenario",
+  "version": "0.29.0",
+  "type": "module",
+  "description": "Typed, replayable CAVE snapshot and ephemeral-overlay bindings for decision and solver inputs.",
+  "keywords": [
+    "cave",
+    "knowledge-graph",
+    "knowledge-representation",
+    "typescript"
+  ],
+  "homepage": "https://github.com/mirek/cave#readme",
+  "bugs": {
+    "url": "https://github.com/mirek/cave/issues"
+  },
+  "license": "CC0-1.0",
+  "author": "Mirek Rusin (https://github.com/mirek)",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/mirek/cave.git",
+    "directory": "packages/scenario"
+  },
+  "engines": {
+    "node": ">=22.18"
+  },
+  "exports": {
+    ".": "./src/index.ts"
+  },
+  "files": [
+    "dist",
+    "!dist/test",
+    "!dist/tsconfig.tsbuildinfo",
+    "src",
+    "!src/**/*.test.ts",
+    "README.md",
+    "License.md",
+    "Authors.md"
+  ],
+  "publishConfig": {
+    "access": "public",
+    "exports": {
+      ".": {
+        "types": "./dist/src/index.d.ts",
+        "default": "./dist/src/index.js"
+      }
+    }
+  },
+  "scripts": {
+    "build": "tsc -b",
+    "test": "node --disable-warning=ExperimentalWarning --test \"test/*.test.ts\"",
+    "typecheck": "tsc -b",
+    "prepack": "node ../../scripts/prepare-package-legal.mjs && pnpm run build"
+  },
+  "dependencies": {
+    "@cavelang/canonical": "workspace:*",
+    "@cavelang/core": "workspace:*",
+    "@cavelang/query": "workspace:*",
+    "@cavelang/solver": "workspace:*",
+    "@cavelang/store": "workspace:*"
+  }
+}

package/src/bind.ts

@@ -0,0 +1,401 @@
+import { createHash } from 'node:crypto'
+import * as Canonical from '@cavelang/canonical'
+import { Uuidv7 } from '@cavelang/core'
+import { Pattern, query, type Match, type Options as QueryOptions } from '@cavelang/query'
+import { Exact } from '@cavelang/solver'
+import type { Store } from '@cavelang/store'
+import { ScenarioInputError } from './error.ts'
+import * as Numeric from './exact.ts'
+import {
+  schema,
+  type Binding,
+  type BindingResult,
+  type Candidate,
+  type Definition,
+  type Evidence,
+  type Expected,
+  type InputRecord,
+  type Snapshot,
+  type Uncertainty,
+  type Value
+} from './model.ts'
+
+type Json = null | boolean | number | string | readonly Json[] | { readonly [key: string]: Json }
+
+type RawCandidate = {
+  readonly match: Match
+  readonly origin: 'belief' | 'scenario'
+  readonly contested: boolean
+  readonly retracted: boolean
+  readonly unresolved: boolean
+  readonly scenarioClaimId?: string
+}
+
+const compareText = (left: string, right: string): number => left < right ? -1 : left > right ? 1 : 0
+
+const stableStringify = (value: Json): string => {
+  if (value === null || typeof value !== 'object') return JSON.stringify(value)
+  if (Array.isArray(value)) return `[${value.map(stableStringify).join(',')}]`
+  const record = value as Readonly<Record<string, Json>>
+  return `{${Object.keys(record).sort().map(key => `${JSON.stringify(key)}:${stableStringify(record[key]!)}`).join(',')}}`
+}
+
+const sha256 = (text: string): string =>
+  `sha256:${createHash('sha256').update(text).digest('hex')}`
+
+const identifierPattern = /^[A-Za-z0-9][A-Za-z0-9._/-]*$/
+
+const invalid = (message: string, bindingId?: string): never => {
+  throw new ScenarioInputError('invalid-definition', message, bindingId)
+}
+
+const validateBinding = (binding: Binding): void => {
+  if (!identifierPattern.test(binding.id)) invalid('identifier must use letters, numbers, dot, underscore, slash, or dash', binding.id)
+  if (binding.expected.kind !== 'boolean' && binding.select === undefined) {
+    invalid('select is required for non-Boolean inputs', binding.id)
+  }
+  if (binding.cardinality === 'one' && binding.policies.missing !== 'reject') {
+    invalid('cardinality one requires missing: reject', binding.id)
+  }
+  if (binding.cardinality === 'optional' && binding.policies.missing === 'empty') {
+    invalid('cardinality optional supports missing: reject or omit', binding.id)
+  }
+  if (binding.cardinality === 'many' && binding.policies.missing === 'omit') {
+    invalid('cardinality many supports missing: reject or empty', binding.id)
+  }
+  if (binding.cardinality === 'many' && binding.reduce !== 'all' &&
+      binding.expected.kind !== 'number' && binding.expected.kind !== 'integer') {
+    invalid(`reduction ${binding.reduce} requires a numeric input`, binding.id)
+  }
+  if (binding.expected.kind === 'enum') {
+    if (binding.expected.values.length === 0 || new Set(binding.expected.values).size !== binding.expected.values.length) {
+      invalid('enum values must be non-empty and unique', binding.id)
+    }
+  }
+  if (binding.expected.kind === 'number' || binding.expected.kind === 'integer') {
+    for (const conversion of binding.expected.conversions ?? []) {
+      if (conversion.from === conversion.to) invalid('unit conversion must change the unit', binding.id)
+      if (Exact.compare(conversion.factor, '0') <= 0) invalid('unit conversion factor must be positive', binding.id)
+    }
+  }
+  const pattern: Pattern.t = (() => {
+    try {
+      return Pattern.parse(binding.query)
+    } catch (error) {
+      return invalid(`invalid CAVE-Q pattern: ${error instanceof Error ? error.message : String(error)}`, binding.id)
+    }
+  })()
+  if (pattern.verb.kind === 'verb' && pattern.verb.transitive) {
+    invalid('transitive bindings are deferred until snapshot-aware shared query primitives are available', binding.id)
+  }
+}
+
+const validateDefinition = (definition: Definition): void => {
+  if (!identifierPattern.test(definition.id)) invalid('scenario identifier must use letters, numbers, dot, underscore, slash, or dash')
+  if (!/^sha256:[0-9a-f]{64}$/.test(definition.modelDigest)) invalid('modelDigest must be a lowercase SHA-256 digest')
+  if (!Number.isFinite(definition.snapshot.minimumConfidence) ||
+      definition.snapshot.minimumConfidence < 0 || definition.snapshot.minimumConfidence > 1) {
+    invalid('minimumConfidence must be between 0 and 1')
+  }
+  const ids = new Set<string>()
+  for (const binding of definition.bindings) {
+    if (ids.has(binding.id)) invalid(`duplicate binding identifier ${JSON.stringify(binding.id)}`)
+    ids.add(binding.id)
+    validateBinding(binding)
+  }
+}
+
+const boundaryUpper = (text: string): string => {
+  const start = Date.parse(text.includes('T') ? text : `${text}T00:00:00Z`)
+  if (Number.isNaN(start)) throw new ScenarioInputError('invalid-definition', `cannot parse as-of boundary ${JSON.stringify(text)}`)
+  return Uuidv7.at(start + (text.includes('T') ? 1_000 : 86_400_000), 0, new Uint8Array(8))
+}
+
+const transactionTime = (store: Store, asOf: string | undefined): string | null => {
+  if (asOf === undefined) {
+    return (store.db.prepare('SELECT MAX(tx) AS tx FROM cave_claim').get() as { tx: string | null }).tx
+  }
+  const id = asOf.toLowerCase()
+  return Uuidv7.is(id) ?
+    (store.db.prepare('SELECT MAX(tx) AS tx FROM cave_claim WHERE tx <= ?').get(id) as { tx: string | null }).tx :
+    (store.db.prepare('SELECT MAX(tx) AS tx FROM cave_claim WHERE tx < ?').get(boundaryUpper(asOf)) as { tx: string | null }).tx
+}
+
+const queryOptions = (snapshot: Snapshot, resolve: boolean): QueryOptions => ({
+  ...(snapshot.asOf === undefined ? {} : { asOf: snapshot.asOf }),
+  ...(snapshot.at === undefined ? {} : { at: snapshot.at }),
+  aliases: snapshot.aliases === 'closure',
+  resolve,
+  support: true
+})
+
+/** Explicit confidence filter opts CAVE-Q into returning current `@ 0%` rows. */
+const includingRetractions = (input: string): string => `${input}\nWHERE conf >= 0`
+
+const supportIds = (match: Match): readonly string[] =>
+  match.row === undefined ? (match.rows ?? []).map(row => row.id) : [match.row.id]
+
+const rawBaseCandidates = (store: Store, binding: Binding, snapshot: Snapshot): RawCandidate[] => {
+  const pattern = includingRetractions(binding.query)
+  const unresolved = query(store, pattern, queryOptions(snapshot, false))
+  const winners = query(store, pattern, queryOptions(snapshot, true))
+  const winnerIds = new Set(winners.flatMap(supportIds))
+  const selected = snapshot.resolution === 'winner' ? winners : unresolved
+  return selected.map(match => {
+    const ids = supportIds(match)
+    return {
+      match,
+      origin: 'belief',
+      contested: snapshot.resolution === 'coexisting' && ids.some(id => !winnerIds.has(id)),
+      retracted: match.row?.conf === 0,
+      unresolved: ids.length === 0
+    }
+  })
+}
+
+const overlayResult = (
+  store: Store,
+  definition: Definition,
+  canonical: Canonical.Result,
+  stableIds: readonly string[]
+): Readonly<Record<string, readonly RawCandidate[]>> => {
+  if (canonical.claims.length === 0) return {}
+  const rolledBack = Symbol('cave-scenario-overlay')
+  type Rollback = Error & { readonly [rolledBack]: Readonly<Record<string, readonly RawCandidate[]>> }
+  try {
+    return store.transaction(() => {
+      const inserted = store.insertResult(canonical, {
+        source: `scenario/${definition.id}`,
+        lifecycle: true
+      })
+      const stableByRow = new Map(inserted.ids.map((id, index) => [id, stableIds[index]!]))
+      const result: Record<string, readonly RawCandidate[]> = {}
+      for (const binding of definition.bindings) {
+        // Overlay claims are matched as authored. Base aliases and historical
+        // rows cannot make a hypothetical claim appear under a different name.
+        const matches = query(store, includingRetractions(binding.query), {
+          ...(definition.snapshot.at === undefined ? {} : { at: definition.snapshot.at }),
+          all: true,
+          aliases: false,
+          support: true
+        }).filter(match => match.row !== undefined && stableByRow.has(match.row.id))
+        result[binding.id] = matches.map(match => ({
+          match,
+          origin: 'scenario',
+          contested: false,
+          retracted: match.row?.conf === 0,
+          unresolved: false,
+          scenarioClaimId: stableByRow.get(match.row!.id)!
+        }))
+      }
+      throw Object.assign(new Error('scenario overlay materialized'), { [rolledBack]: result })
+    })
+  } catch (error) {
+    if (error instanceof Error && rolledBack in error) return (error as Rollback)[rolledBack]
+    throw error
+  }
+}
+
+const selectedText = (candidate: RawCandidate, binding: Binding): string | undefined => {
+  if (binding.select !== undefined) return candidate.match.bindings[binding.select]
+  if (binding.expected.kind === 'boolean') return undefined
+  return candidate.match.at?.text ?? candidate.match.row?.value_text ?? undefined
+}
+
+const plain = (text: string): string =>
+  text.length >= 2 && ((text.startsWith('"') && text.endsWith('"')) || (text.startsWith('`') && text.endsWith('`'))) ?
+    text.slice(1, -1) : text
+
+const uncertainty = (candidate: RawCandidate, expected: Extract<Expected, { kind: 'number' | 'integer' }>, bindingId: string): Uncertainty | undefined => {
+  const row = candidate.match.row
+  if (row?.delta_text === null || row?.delta_text === undefined) return undefined
+  const parsed = Numeric.convert(Numeric.parse(row.delta_text, bindingId), expected.unit, expected.conversions, bindingId)
+  return {
+    authored: row.delta_text,
+    exact: parsed.exact,
+    ...(parsed.unit === undefined ? {} : { unit: parsed.unit }),
+    sigmaLevel: row.sigma_level ?? 2
+  }
+}
+
+const valueOf = (candidate: RawCandidate, binding: Binding): Value => {
+  const expected = binding.expected
+  const text = selectedText(candidate, binding)
+  switch (expected.kind) {
+    case 'boolean': {
+      if (binding.select === undefined) return { kind: 'boolean', value: true }
+      if (text === undefined) throw new ScenarioInputError('invalid-value', `query did not bind ?${binding.select}`, binding.id)
+      const value = plain(text)
+      const yes = expected.trueValue ?? 'true'
+      const no = expected.falseValue ?? 'false'
+      if (value !== yes && value !== no) {
+        throw new ScenarioInputError('invalid-value', `expected ${JSON.stringify(yes)} or ${JSON.stringify(no)}, received ${JSON.stringify(value)}`, binding.id)
+      }
+      return { kind: 'boolean', value: value === yes }
+    }
+    case 'enum': {
+      if (text === undefined) throw new ScenarioInputError('invalid-value', `query did not bind ?${binding.select}`, binding.id)
+      const value = plain(text)
+      if (!expected.values.includes(value)) {
+        throw new ScenarioInputError('invalid-value', `value ${JSON.stringify(value)} is outside [${expected.values.join(', ')}]`, binding.id)
+      }
+      return { kind: 'enum', value }
+    }
+    case 'text':
+      if (text === undefined) throw new ScenarioInputError('invalid-value', `query did not bind ?${binding.select}`, binding.id)
+      return { kind: 'text', value: plain(text) }
+    case 'integer':
+    case 'number': {
+      const authored = candidate.match.at?.text ?? candidate.match.row?.value_text ?? text
+      if (authored === undefined) throw new ScenarioInputError('invalid-value', 'matched row has no numeric value', binding.id)
+      const parsed = Numeric.convert(Numeric.parse(authored, binding.id), expected.unit, expected.conversions, binding.id)
+      const uncertainty_ = uncertainty(candidate, expected, binding.id)
+      const common = {
+        ...(parsed.unit === undefined ? {} : { unit: parsed.unit }),
+        authored,
+        approximate: parsed.approximate,
+        ...(uncertainty_ === undefined ? {} : { uncertainty: uncertainty_ })
+      }
+      if (expected.kind === 'integer') {
+        if (parsed.exact.denominator !== '1') {
+          throw new ScenarioInputError('invalid-value', `expected an integer, received ${JSON.stringify(authored)}`, binding.id)
+        }
+        return { kind: 'integer', value: parsed.exact.numerator, ...common }
+      }
+      return { kind: 'number', value: parsed.exact, ...common }
+    }
+  }
+}
+
+const evidenceOf = (candidate: RawCandidate): readonly Evidence[] => candidate.origin === 'scenario' ?
+  [{ origin: 'scenario', claimIds: [candidate.scenarioClaimId!] }] :
+  [{ origin: 'belief', rowIds: supportIds(candidate.match) }]
+
+const publicCandidate = (candidate: RawCandidate, binding: Binding): Candidate => ({
+  value: valueOf(candidate, binding),
+  confidence: candidate.match.row?.conf ?? 1,
+  evidence: evidenceOf(candidate)
+})
+
+const evidenceKey = (candidate: RawCandidate): string => candidate.origin === 'scenario' ?
+  `scenario:${candidate.scenarioClaimId}` : `belief:${supportIds(candidate.match).join(',')}`
+
+const reduce = (values: readonly Value[], binding: Binding): Value | readonly Value[] => {
+  if (binding.cardinality !== 'many' || binding.reduce === 'all') return values
+  const numeric = values as readonly Extract<Value, { kind: 'number' | 'integer' }>[]
+  if (binding.reduce === 'sum') {
+    const exact = numeric.reduce(
+      (total, value) => Numeric.add(total, value.kind === 'integer' ? { numerator: value.value, denominator: '1' } : value.value),
+      { numerator: '0', denominator: '1' }
+    )
+    const unit = numeric[0]?.unit
+    const approximate = numeric.some(value => value.approximate)
+    return binding.expected.kind === 'integer' ?
+      { kind: 'integer', value: exact.numerator, ...(unit === undefined ? {} : { unit }), approximate } :
+      { kind: 'number', value: exact, ...(unit === undefined ? {} : { unit }), approximate }
+  }
+  let selected = numeric[0]!
+  for (const value of numeric.slice(1)) {
+    const left = selected.kind === 'integer' ? { numerator: selected.value, denominator: '1' } : selected.value
+    const right = value.kind === 'integer' ? { numerator: value.value, denominator: '1' } : value.value
+    const comparison = Numeric.compare(right, left)
+    if ((binding.reduce === 'min' && comparison < 0) || (binding.reduce === 'max' && comparison > 0)) selected = value
+  }
+  return selected
+}
+
+const bindOne = (
+  binding: Binding,
+  base: readonly RawCandidate[],
+  overlay: readonly RawCandidate[],
+  minimumConfidence: number
+): BindingResult => {
+  const eligible = (values: readonly RawCandidate[]): RawCandidate[] => values
+    .filter(candidate => candidate.retracted && binding.policies.retracted === 'reject' ||
+      candidate.match.row === undefined || candidate.match.row.conf >= minimumConfidence)
+    .filter(candidate => binding.policies.retracted !== 'exclude' || !candidate.retracted)
+  const baseEligible = eligible(base)
+  const overlayEligible = eligible(overlay)
+  const selected = (binding.scenarioOverride && overlayEligible.length > 0 ? overlayEligible : [...baseEligible, ...overlayEligible])
+    .sort((left, right) => compareText(evidenceKey(left), evidenceKey(right)))
+
+  const rejected = selected.find(candidate => candidate.retracted && binding.policies.retracted === 'reject')
+  if (rejected !== undefined) throw new ScenarioInputError('retracted-input', 'matched a retracted belief', binding.id)
+  if (binding.policies.contested === 'reject' && selected.some(candidate => candidate.contested)) {
+    throw new ScenarioInputError('contested-input', 'matched coexisting beliefs that do not win resolution', binding.id)
+  }
+  if (binding.policies.unresolved === 'reject' && selected.some(candidate => candidate.unresolved)) {
+    throw new ScenarioInputError('unresolved-input', 'query result has no supporting claim row', binding.id)
+  }
+
+  const countOk = binding.cardinality === 'many' || selected.length <= 1
+  if (!countOk) throw new ScenarioInputError('ambiguous-input', `expected ${binding.cardinality}, matched ${selected.length} values`, binding.id)
+  if (selected.length === 0 && binding.policies.missing === 'reject') {
+    throw new ScenarioInputError('missing-input', 'query matched no eligible value', binding.id)
+  }
+
+  const candidates = selected.map(candidate => publicCandidate(candidate, binding))
+  if (selected.length === 0 && binding.policies.missing === 'omit') return { id: binding.id, candidates }
+  if (selected.length === 0) return { id: binding.id, candidates, value: [] }
+  const values = candidates.map(candidate => candidate.value)
+  if (binding.cardinality === 'many') return { id: binding.id, candidates, value: reduce(values, binding) }
+  return { id: binding.id, candidates, ...(values[0] === undefined ? {} : { value: values[0] }) }
+}
+
+export const bind = (store: Store, definition: Definition): InputRecord => {
+  validateDefinition(definition)
+
+  const frozenTx = transactionTime(store, definition.snapshot.asOf)
+  const effectiveSnapshot: Snapshot = definition.snapshot.asOf === undefined && frozenTx !== null ?
+    { ...definition.snapshot, asOf: frozenTx } : definition.snapshot
+  const registry = effectiveSnapshot.asOf === undefined ? store.registry() : store.registryAsOf(effectiveSnapshot.asOf)
+  const canonical = Canonical.canonicalizeText(definition.overlay ?? '', registry)
+  if (canonical.problems.length > 0) {
+    const details = canonical.problems.map(problem => `line ${problem.line}: ${problem.message}`).join('; ')
+    throw new ScenarioInputError('invalid-overlay', `overlay has ${canonical.problems.length} problem(s): ${details}`)
+  }
+  const overlayText = Canonical.emit(canonical)
+  const overlayDigest = sha256(overlayText)
+  const claimIds = canonical.claims.map((_, index) =>
+    `scenario:${definition.id}:${overlayDigest.slice(7)}#${index + 1}`)
+
+  const base = Object.fromEntries(definition.bindings.map(binding => [
+    binding.id,
+    rawBaseCandidates(store, binding, effectiveSnapshot)
+  ])) as Readonly<Record<string, readonly RawCandidate[]>>
+  const overlay = overlayResult(store, { ...definition, snapshot: effectiveSnapshot }, canonical, claimIds)
+  const bindings = definition.bindings.map(binding => bindOne(
+    binding,
+    base[binding.id] ?? [],
+    overlay[binding.id] ?? [],
+    definition.snapshot.minimumConfidence
+  ))
+  const values: Record<string, Value | readonly Value[]> = {}
+  for (const binding of bindings) if (binding.value !== undefined) values[binding.id] = binding.value
+
+  const supportingRowIds = [...new Set(bindings.flatMap(binding => binding.candidates.flatMap(candidate =>
+    candidate.evidence.flatMap(evidence => evidence.origin === 'belief' ? evidence.rowIds : []))))].sort(compareText)
+  const scenarioClaimIds = [...new Set(bindings.flatMap(binding => binding.candidates.flatMap(candidate =>
+    candidate.evidence.flatMap(evidence => evidence.origin === 'scenario' ? evidence.claimIds : []))))].sort(compareText)
+
+  const withoutDigest = {
+    schema,
+    scenarioId: definition.id,
+    modelDigest: definition.modelDigest,
+    snapshot: { ...definition.snapshot, transactionTime: frozenTx },
+    overlay: { digest: overlayDigest, source: `scenario/${definition.id}`, claimIds },
+    values,
+    bindings,
+    supportingRowIds,
+    scenarioClaimIds
+  }
+  const digest = sha256(stableStringify(withoutDigest as unknown as Json))
+  return { ...withoutDigest, digest }
+}
+
+/** Materializes and rolls back inputs before `evaluate` is invoked. */
+export const run = async <Result>(
+  store: Store,
+  definition: Definition,
+  evaluate: (inputs: InputRecord) => Result | Promise<Result>
+): Promise<Result> => evaluate(bind(store, definition))

package/src/error.ts

@@ -0,0 +1,22 @@
+export type Code =
+  | 'invalid-definition'
+  | 'invalid-overlay'
+  | 'missing-input'
+  | 'ambiguous-input'
+  | 'contested-input'
+  | 'retracted-input'
+  | 'unresolved-input'
+  | 'invalid-value'
+  | 'incompatible-unit'
+
+export class ScenarioInputError extends Error {
+  readonly code: Code
+  readonly bindingId?: string
+
+  constructor(code: Code, message: string, bindingId?: string) {
+    super(bindingId === undefined ? message : `scenario input ${JSON.stringify(bindingId)}: ${message}`)
+    this.name = 'ScenarioInputError'
+    this.code = code
+    this.bindingId = bindingId
+  }
+}

package/src/exact.ts

@@ -0,0 +1,93 @@
+import { Exact, type Model } from '@cavelang/solver'
+import type { Conversion, ExactNumber } from './model.ts'
+import { ScenarioInputError } from './error.ts'
+
+const multiplier: Readonly<Record<string, bigint>> = {
+  K: 1_000n,
+  M: 1_000_000n,
+  B: 1_000_000_000n,
+  T: 1_000_000_000_000n
+}
+
+const hasMultiplier = (value: string): boolean => Object.hasOwn(multiplier, value)
+
+type Parsed = {
+  readonly exact: ExactNumber
+  readonly unit?: string
+  readonly approximate: boolean
+}
+
+const reduce = (numerator: bigint, denominator: bigint): ExactNumber => {
+  const divisor = (() => {
+    let left = numerator < 0n ? -numerator : numerator
+    let right = denominator < 0n ? -denominator : denominator
+    while (right !== 0n) [left, right] = [right, left % right]
+    return left
+  })()
+  const sign = denominator < 0n ? -1n : 1n
+  return {
+    numerator: String((numerator / divisor) * sign),
+    denominator: String((denominator / divisor) * sign)
+  }
+}
+
+const multiply = (left: ExactNumber, right: ExactNumber): ExactNumber =>
+  reduce(BigInt(left.numerator) * BigInt(right.numerator), BigInt(left.denominator) * BigInt(right.denominator))
+
+export const add = (left: ExactNumber, right: ExactNumber): ExactNumber =>
+  reduce(
+    BigInt(left.numerator) * BigInt(right.denominator) + BigInt(right.numerator) * BigInt(left.denominator),
+    BigInt(left.denominator) * BigInt(right.denominator)
+  )
+
+export const compare = (left: ExactNumber, right: ExactNumber): number =>
+  BigInt(left.numerator) * BigInt(right.denominator) < BigInt(right.numerator) * BigInt(left.denominator) ? -1 :
+    BigInt(left.numerator) * BigInt(right.denominator) > BigInt(right.numerator) * BigInt(left.denominator) ? 1 : 0
+
+const rational = (value: Model.Rational): ExactNumber => Exact.rational(value)
+
+/** Parses CAVE's exact scalar spelling without passing the digits through `number`. */
+export const parse = (authored: string, bindingId: string): Parsed => {
+  const approximate = authored.startsWith('~')
+  const body = approximate ? authored.slice(1) : authored
+  const [head = '', ...tailParts] = body.trim().split(/\s+/)
+  const tail = tailParts.length === 0 ? undefined : tailParts.join(' ')
+  const match = /^([+-]?\d+(?:\.\d+)?)([A-Za-z%]*)$/.exec(head)
+  if (match === null || tailParts.length > 1) {
+    throw new ScenarioInputError('invalid-value', `expected a scalar number, received ${JSON.stringify(authored)}`, bindingId)
+  }
+  const digits = match[1]!
+  const suffix = match[2] ?? ''
+  const factor = hasMultiplier(suffix) ? multiplier[suffix]! : 1n
+  const unit = hasMultiplier(suffix) ? tail : suffix === '' ? tail : suffix
+  if (suffix !== '' && !hasMultiplier(suffix) && tail !== undefined) {
+    throw new ScenarioInputError('invalid-value', `cannot combine glued unit ${JSON.stringify(suffix)} with ${JSON.stringify(tail)}`, bindingId)
+  }
+  const base = rational(digits)
+  return {
+    exact: reduce(BigInt(base.numerator) * factor, BigInt(base.denominator)),
+    ...(unit === undefined ? {} : { unit }),
+    approximate
+  }
+}
+
+export const convert = (
+  parsed: Parsed,
+  expectedUnit: string | undefined,
+  conversions: readonly Conversion[] | undefined,
+  bindingId: string
+): Parsed => {
+  if (expectedUnit === undefined || parsed.unit === expectedUnit) return parsed
+  if (parsed.unit === undefined) {
+    throw new ScenarioInputError('incompatible-unit', `expected unit ${JSON.stringify(expectedUnit)}, received a unitless value`, bindingId)
+  }
+  const conversion = conversions?.find(item => item.from === parsed.unit && item.to === expectedUnit)
+  if (conversion === undefined) {
+    throw new ScenarioInputError(
+      'incompatible-unit',
+      `cannot convert ${JSON.stringify(parsed.unit)} to ${JSON.stringify(expectedUnit)} without an explicit conversion`,
+      bindingId
+    )
+  }
+  return { ...parsed, exact: multiply(parsed.exact, rational(conversion.factor)), unit: expectedUnit }
+}

package/src/explain.ts

@@ -0,0 +1,68 @@
+import { Explain } from '@cavelang/solver'
+import type { Binding, Definition, InputRecord, Value } from './model.ts'
+
+const compareText = (left: string, right: string): number => left < right ? -1 : left > right ? 1 : 0
+
+const unique = (values: readonly string[]): readonly string[] => [...new Set(values)].sort(compareText)
+
+const authored = (value: Value): Explain.Json => {
+  switch (value.kind) {
+    case 'boolean': return value.value
+    case 'integer': return value.authored ?? value.value
+    case 'number': return value.authored ?? `${value.value.numerator}/${value.value.denominator}`
+    case 'enum': return value.value
+    case 'text': return value.value
+  }
+}
+
+const authoredValue = (value: Value | readonly Value[] | undefined): Explain.Json | undefined =>
+  value === undefined ? undefined : Array.isArray(value) ? value.map(authored) : authored(value as Value)
+
+const bindingInput = (
+  binding: Binding,
+  result: InputRecord['bindings'][number]
+): Explain.Input => {
+  const evidence = result.candidates.flatMap(candidate => candidate.evidence)
+  const value = result.value
+  const authoredInput = authoredValue(value)
+  return {
+    id: result.id,
+    query: binding.query,
+    ...(value === undefined ? {} : { value: value as Explain.Json }),
+    ...(authoredInput === undefined ? {} : { authoredValue: authoredInput }),
+    evidenceRowIds: unique(evidence.flatMap(item => item.origin === 'belief' ? item.rowIds : [])),
+    scenarioClaimIds: unique(evidence.flatMap(item => item.origin === 'scenario' ? item.claimIds : []))
+  }
+}
+
+/** Convert a frozen scenario binding into solver-neutral run provenance. */
+export const explanationContext = (definition: Definition, record: InputRecord): Explain.Context => {
+  if (record.scenarioId !== definition.id) {
+    throw new TypeError(`scenario record ${JSON.stringify(record.scenarioId)} does not match ${JSON.stringify(definition.id)}`)
+  }
+  if (record.modelDigest !== definition.modelDigest) {
+    throw new TypeError(`scenario record model digest does not match its definition`)
+  }
+  const definitions = new Map(definition.bindings.map(binding => [binding.id, binding]))
+  const inputs = record.bindings.map(result => {
+    const binding = definitions.get(result.id)
+    if (binding === undefined) throw new TypeError(`scenario record contains unknown binding ${JSON.stringify(result.id)}`)
+    return bindingInput(binding, result)
+  })
+  return {
+    modelDigest: record.modelDigest,
+    scenario: {
+      id: record.scenarioId,
+      inputDigest: record.digest,
+      overlayDigest: record.overlay.digest
+    },
+    snapshot: {
+      transactionTime: record.snapshot.transactionTime,
+      ...(record.snapshot.at === undefined ? {} : { validTime: record.snapshot.at }),
+      aliases: record.snapshot.aliases,
+      resolution: record.snapshot.resolution,
+      minimumConfidence: record.snapshot.minimumConfidence
+    },
+    inputs
+  }
+}