@affiant/core 0.1.0-alpha.0

package/dist/model/canonical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../src/model/canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+GG;AAQH,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAgE1E,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,UAAU,2BAA2B,CACzC,SAAyB,EACzB,UAAwB,EACxB,GAAgB;IAEhB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,SAAS,CACjB,sFAAsF;YACpF,YAAY,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CACjD,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GACpB,OAAO,MAAM,CAAC,kBAAkB,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAErF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,UAAU,GAAc,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,UAAU,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,0EAA0E;QAC1E,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,aAAa,CAAC,KAAK,IAAI;YAAE,SAAS;QAE1E,UAAU,CAAC,IAAI,CAAC;YACd,GAAG,KAAK;YACR,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK;YAC1D,UAAU,EAAE,eAAe,CACzB,KAAK,CAAC,YAAY,CAAC,EACnB,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAC/C;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,SAAS,CACjB,2CAA2C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,yBAAyB;gBACtF,mFAAmF;gBACnF,gDAAgD,CACnD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACzC,MAAM,IAAI,GAA4B,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IACxE,gFAAgF;IAChF,yEAAyE;IACzE,IAAI,OAAO,MAAM,CAAC,qBAAqB,CAAC,KAAK,QAAQ,EAAE,CAAC;QACtD,IAAI,CAAC,qBAAqB,CAAC,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAC5D,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,qBAAqB,CAAC,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAC5D,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,iBAAiB,CAAC,KAAK,QAAQ,EAAE,CAAC;QAClD,IAAI,CAAC,iBAAiB,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC;IACpD,CAAC;IACD,OAAO,IAAsB,CAAC;AAChC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,YAAY,CAAC,MAA0B;IAK9C,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAI,KAA2C,CAAC,UAAU,CAAC;QACtE,MAAM,OAAO,GAAI,KAAoD,EAAE,OACG,CAAC;QAC3E,MAAM,OAAO,GAAG,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;QAC5C,MAAM,UAAU,GAAG,OAAO,IAAI,OAAO,OAAO,EAAE,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;QAC/F,IAAI,UAAU,GAAG,MAAM;YAAE,MAAM,GAAG,UAAU,CAAC;QAC7C,IAAI,OAAO,EAAE,CAAC;YACZ,eAAe,IAAI,CAAC,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAChF,CAAC;IACH,CAAC;IAED,OAAO;QACL,mBAAmB,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;QACrD,mBAAmB,EAAE,SAAS;QAC9B,eAAe;KAChB,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,KAAc,EAAE,GAAkB;IACzD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC9E,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7C,MAAM,GAAG,GACP,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;IAC5F,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IACrC,OAAO;QACL,GAAG,MAAM;QACT,OAAO,EAAE,GAAG;QACZ,CAAC,GAAG,CAAC,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,OAAO,CAAC;KAC1E,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,2CAA2C;AAC3C,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,YAAY,CAC1B,SAAyB,EACzB,UAAgC,EAChC,OAA6B;IAE7B,OAAO,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AACnF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAyB,EACzB,UAAgC,EAChC,OAA6B;IAE7B,OAAO,aAAa,CAAC,cAAc,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AACvE,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,SAAyB,EACzB,UAAgC,EAChC,OAA6B;IAE7B,OAAO,SAAS,CAAC,YAAY,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,8EAA8E;AAC9E,qCAAqC;AACrC,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAkB;IACjD,OAAO,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,SAAS,CAAC;AACnD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAkB;IAClD,OAAO,YAAY,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,4GAA4G;AAC5G,MAAM,UAAU,oBAAoB,CAAC,KAAkB;IACrD,OAAO,eAAe,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,KAAkB;IACzD,OAAO,aAAa,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,KAAiB;IAC/C,MAAM,MAAM,GAAI,UAA2C,CAAC,MAAM,EAAE,MAAM,CAAC;IAC3E,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACb,yFAAyF;YACvF,qFAAqF;YACrF,qFAAqF;YACrF,4EAA4E,CAC/E,CAAC;IACJ,CAAC;IACD,8EAA8E;IAC9E,4EAA4E;IAC5E,8EAA8E;IAC9E,uEAAuE;IACvE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,IAAI,IAAI,IAAI;QAAE,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACnE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,yFAAyF;AACzF,SAAS,cAAc,CACrB,SAAyB,EACzB,UAA2C,EAC3C,OAAwC;IAExC,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtE,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3D,MAAM,GAAG,GAAG,OAAO,EAAE,WAAW,CAAC;IACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,SAAS,CACjB,yFAAyF;YACvF,sFAAsF;YACtF,qFAAqF;YACrF,UAAU,CACb,CAAC;IACJ,CAAC;IACD,OAAO,2BAA2B,CAAC,SAAS,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;AACjE,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,UAAU,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;IAC9C,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,GAAa,EAAE,IAAY,EAAE,IAAiB;IAChF,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjB,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACnC,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAChC,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QACnC,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,WAAW,EAAE,CAAC;QACjC,MAAM,IAAI,SAAS,CACjB,kEAAkE,EAAE,CAAC,IAAI,CAAC,eAAe;YACvF,kFAAkF,CACrF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,SAAS,CACjB,+CAA+C,EAAE,CAAC,IAAI,CAAC,oCAAoC;YACzF,0FAA0F;YAC1F,UAAU,CACb,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC7D,MAAM,IAAI,SAAS,CAAC,WAAW,OAAO,KAAK,wCAAwC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClG,CAAC;IAED,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,SAAS,CACjB,mDAAmD,EAAE,CAAC,IAAI,CAAC,iCAAiC;YAC1F,mCAAmC,CACtC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,UAAU,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,KAAyB,EACzB,GAAa,EACb,IAAY,EACZ,IAAiB;IAEjB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,IAAI,KAAK,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,GAAG,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CACjB,sBAAsB,EAAE,CAAC,WAAW,CAAC,mDAAmD;gBACtF,qFAAqF;gBACrF,wEAAwE,CAC3E,CAAC;QACJ,CAAC;QACD,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,GAAa,EAAE,IAAY,EAAE,IAAiB;IAChF,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,GAAG,KAAK,iBAAiB,EAAE,CAAC;QAC9B,MAAM,IAAI,SAAS,CACjB,SAAS,GAAG,wCAAwC,EAAE,CAAC,IAAI,CAAC,6BAA6B;YACvF,yFAAyF;YACzF,2FAA2F;YAC3F,mDAAmD,CACtD,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,KAA4C,CAAC;IAC5D,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAElC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;SAC7B,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;SAC1C,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAE3B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAW,CAAC;QAClC,IAAI,KAAK,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QACnC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,mBAAmB,CAAC,MAA2C,EAAE,IAAY;IACpF,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACpC,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO;IACnF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC;QAAE,OAAO;IACpE,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO;IAC5E,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,SAAS,CACjB,kBAAkB,EAAE,CAAC,IAAI,CAAC,kCAAkC,MAAM,CAAC,MAAM,CAAC,kBAAkB;YAC1F,wFAAwF;YACxF,mFAAmF,CACtF,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,SAAS,CACjB,kBAAkB,EAAE,CAAC,IAAI,CAAC,kDAAkD;QAC1E,IAAI,QAAQ,CAAC,MAAM,CAAC,eAAe,MAAM,CAAC,oBAAoB,CAAC,oBAAoB;QACnF,uCAAuC,CAC1C,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,KAAa,EAAE,IAAY;IAC9C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,SAAS,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,qDAAqD;YACxF,uFAAuF,CAC1F,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC;IACrC,OAAO,cAAc,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC;AACpC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,OAAe;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC;IAElC,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IACzD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,aAAa,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,aAAa,GAAG,cAAc,CAAC;IAC9C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,GAAG,QAAQ,CAAC;IAEhD,IAAI,OAAe,CAAC;IACpB,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,GAAG,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,MAAM,EAAE,CAAC;SAC5D,IAAI,OAAO,IAAI,MAAM,CAAC,MAAM;QAAE,OAAO,GAAG,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;;QACrF,OAAO,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;IAEtE,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AAC5C,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,iBAAiB,CAAC,IAAY,EAAE,KAAa;IACpD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC3C,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7C,SAAS,CAAC;QACR,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,SAAS,CAAC,kBAAkB,KAAK,8BAA8B,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,KAA4C,CAAC;AACtD,CAAC;AAED,8EAA8E;AAC9E,SAAS,EAAE,CAAC,IAAY;IACtB,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED,0EAA0E;AAC1E,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC;QACrE,OAAO,cAAc,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9C,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACzF,OAAO,GAAG,OAAO,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,eAAe,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;IACvE,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC"}

package/dist/model/money.d.ts

@@ -0,0 +1,127 @@
+/**
+ * Money on the wire: a decimal string plus an ISO 4217 currency code.
+ *
+ * **Rule served: SR-2** — *a monetary field value is `{ amount: "<decimal
+ * string>", currency: "<ISO 4217>" }` — the amount as a decimal string with no
+ * exponent, no thousands separators, at most the currency's minor-unit scale
+ * unless the host declares otherwise; never a binary float.*
+ *
+ * The reason is not fussiness about types. An Affidavit is a record a person swears
+ * to and an auditor reads back years later; a binary float cannot represent `0.10`,
+ * so a card that showed "£4,000.10" and a store that holds `4000.099999999999`
+ * disagree about what was approved, and nothing in the record says which one the
+ * reviewer saw. A decimal string is the value the reviewer read, byte for byte,
+ * and it survives every JSON parser in every language unchanged.
+ *
+ * SR-2 is a **wire** rule. A host stores what it likes — integer minor units, a
+ * database `decimal`, a `Money` class — and converts at the edge; the store
+ * persists the wire value without reinterpreting it.
+ *
+ * `./affidavit.ts` re-exports {@link Money} and {@link isMoney} from here, so an
+ * Affidavit and its money have one definition between them and a caller can reach
+ * either through `@affiant/core`.
+ *
+ * This module deliberately embeds **no currency list**. ISO 4217 changes (currencies
+ * are added, redenominated and withdrawn), and a hard-coded table inside a
+ * serialization package would be wrong within a year and unfixable without a
+ * release. What is checked here is the *shape* — three uppercase ASCII letters —
+ * and the host checks membership against whatever list it keeps current.
+ *
+ * @packageDocumentation
+ */
+/**
+ * A monetary value as it appears on the wire and inside an Affidavit.
+ *
+ * Both properties are strings on purpose: see the module header, and SR-2.
+ */
+export interface Money {
+    /**
+     * The amount as a decimal string: an optional `-`, an integer part with no
+     * leading zeros, and an optional fractional part. No exponent, no thousands
+     * separators, no leading `+`, no currency symbol.
+     *
+     * Examples: `"0"`, `"10.00"`, `"-1250.75"`, `"12345678901234567890.01"`.
+     */
+    readonly amount: string;
+    /**
+     * The ISO 4217 alphabetic code, three uppercase ASCII letters: `"GBP"`, `"LKR"`,
+     * `"USD"`. Not case-folded anywhere — SR-3 fixes enum spellings as they stand.
+     */
+    readonly currency: string;
+}
+/**
+ * The shape {@link Money.amount} must match.
+ *
+ * Read it left to right: an optional minus; then either a bare `0` or a digit
+ * sequence that does not start with `0`; then, optionally, a decimal point and at
+ * least one digit. That excludes exactly the forms that lose or hide information —
+ * `1e3` (an exponent a reader has to evaluate), `1,000` (a separator that means a
+ * decimal point in half the world), `+10` (a sign JSON numbers do not carry),
+ * `010` (an integer part whose leading zero could be a truncation), `10.` (a point
+ * with nothing after it) and `.5` (a point with nothing before it).
+ *
+ * Not anchored to a scale: SR-2's minor-unit clause is the host's to declare, and
+ * {@link moneyScaleOk} is how it declares one.
+ */
+export declare const MONEY_AMOUNT_PATTERN: RegExp;
+/**
+ * The shape {@link Money.currency} must match: the ISO 4217 alphabetic-code shape,
+ * three uppercase ASCII letters. Membership in the standard's current list is the
+ * host's check, not this package's — see the module header.
+ */
+export declare const MONEY_CURRENCY_PATTERN: RegExp;
+/**
+ * Whether `value` is a valid {@link Money}: both properties present, both strings,
+ * both matching their patterns.
+ *
+ * A predicate, not a refusal — {@link assertMoney} is the refusing form and carries
+ * the diagnosis. Use this one where a value may legitimately not be money.
+ */
+export declare function isMoney(value: unknown): value is Money;
+/**
+ * Refuse anything that is not a valid {@link Money}, naming SR-2 and saying which
+ * part is wrong.
+ *
+ * The message names the rule because the caller who hits this is usually a host
+ * author who reached for the obvious thing — a JSON number — and the useful reply
+ * is not "invalid money" but "here is the rule, and here is why a float is not
+ * allowed to represent a price".
+ *
+ * @param value The value that should be money.
+ * @param where What the value is, for the message: a field name, a JSON pointer.
+ * @throws TypeError when `value` is not a valid {@link Money}.
+ */
+export declare function assertMoney(value: unknown, where?: string): asserts value is Money;
+/**
+ * Validate `value` as money and return it as a {@link Money}.
+ *
+ * The returned object carries exactly the two properties, so a value that arrived
+ * with extra keys does not smuggle them onward. The strings are returned unchanged
+ * — this parses, it does not normalise: `"10.00"` stays `"10.00"` and never becomes
+ * `"10"`, because the trailing zeros are what the reviewer saw and dropping them
+ * would change the canonical bytes (SR-1) for a value nobody amended.
+ *
+ * @param value The value that should be money.
+ * @param where What the value is, for the message.
+ * @throws TypeError when `value` is not a valid {@link Money} — including the
+ *         common case of a JSON number, which names SR-2 and says why.
+ */
+export declare function parseMoney(value: unknown, where?: string): Money;
+/**
+ * Whether `money` fits a scale the host declares, in minor units.
+ *
+ * SR-2 caps a money amount at "the currency's minor-unit scale unless the host
+ * declares otherwise", and this package holds no currency table, so the scale is a
+ * number the caller passes: `2` for sterling and the euro, `0` for the yen, `3` for
+ * the dinar, and whatever a host declares for an internal unit that needs more.
+ *
+ * The check is on the digits *written*, not on the value: `"10.00"` has scale 2 and
+ * fails `moneyScaleOk(money, 1)` even though the amount is representable in one
+ * decimal place. That is deliberate — the record is what was written.
+ *
+ * @param money      A valid {@link Money}.
+ * @param minorUnits The number of fractional digits the host allows. A non-negative integer.
+ * @throws TypeError when `minorUnits` is not a non-negative integer, or `money` is not money.
+ */
+export declare function moneyScaleOk(money: Money, minorUnits: number): boolean;
+//# sourceMappingURL=money.d.ts.map

package/dist/model/money.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"money.d.ts","sourceRoot":"","sources":["../../src/model/money.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH;;;;GAIG;AACH,MAAM,WAAW,KAAK;IACpB;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,oBAAoB,QAA6B,CAAC;AAE/D;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,QAAe,CAAC;AAanD;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CAQtD;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,SAAU,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAmCnF;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,SAAU,GAAG,KAAK,CAGjE;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAWtE"}

package/dist/model/money.js

@@ -0,0 +1,177 @@
+/**
+ * Money on the wire: a decimal string plus an ISO 4217 currency code.
+ *
+ * **Rule served: SR-2** — *a monetary field value is `{ amount: "<decimal
+ * string>", currency: "<ISO 4217>" }` — the amount as a decimal string with no
+ * exponent, no thousands separators, at most the currency's minor-unit scale
+ * unless the host declares otherwise; never a binary float.*
+ *
+ * The reason is not fussiness about types. An Affidavit is a record a person swears
+ * to and an auditor reads back years later; a binary float cannot represent `0.10`,
+ * so a card that showed "£4,000.10" and a store that holds `4000.099999999999`
+ * disagree about what was approved, and nothing in the record says which one the
+ * reviewer saw. A decimal string is the value the reviewer read, byte for byte,
+ * and it survives every JSON parser in every language unchanged.
+ *
+ * SR-2 is a **wire** rule. A host stores what it likes — integer minor units, a
+ * database `decimal`, a `Money` class — and converts at the edge; the store
+ * persists the wire value without reinterpreting it.
+ *
+ * `./affidavit.ts` re-exports {@link Money} and {@link isMoney} from here, so an
+ * Affidavit and its money have one definition between them and a caller can reach
+ * either through `@affiant/core`.
+ *
+ * This module deliberately embeds **no currency list**. ISO 4217 changes (currencies
+ * are added, redenominated and withdrawn), and a hard-coded table inside a
+ * serialization package would be wrong within a year and unfixable without a
+ * release. What is checked here is the *shape* — three uppercase ASCII letters —
+ * and the host checks membership against whatever list it keeps current.
+ *
+ * @packageDocumentation
+ */
+/**
+ * The shape {@link Money.amount} must match.
+ *
+ * Read it left to right: an optional minus; then either a bare `0` or a digit
+ * sequence that does not start with `0`; then, optionally, a decimal point and at
+ * least one digit. That excludes exactly the forms that lose or hide information —
+ * `1e3` (an exponent a reader has to evaluate), `1,000` (a separator that means a
+ * decimal point in half the world), `+10` (a sign JSON numbers do not carry),
+ * `010` (an integer part whose leading zero could be a truncation), `10.` (a point
+ * with nothing after it) and `.5` (a point with nothing before it).
+ *
+ * Not anchored to a scale: SR-2's minor-unit clause is the host's to declare, and
+ * {@link moneyScaleOk} is how it declares one.
+ */
+export const MONEY_AMOUNT_PATTERN = /^-?(0|[1-9]\d*)(\.\d+)?$/;
+/**
+ * The shape {@link Money.currency} must match: the ISO 4217 alphabetic-code shape,
+ * three uppercase ASCII letters. Membership in the standard's current list is the
+ * host's check, not this package's — see the module header.
+ */
+export const MONEY_CURRENCY_PATTERN = /^[A-Z]{3}$/;
+/** Whether `value` is a plain object carrying an own `amount` and an own `currency`. */
+function isMoneyShaped(value) {
+    if (typeof value !== "object" || value === null)
+        return false;
+    return (Object.prototype.hasOwnProperty.call(value, "amount") &&
+        Object.prototype.hasOwnProperty.call(value, "currency"));
+}
+/**
+ * Whether `value` is a valid {@link Money}: both properties present, both strings,
+ * both matching their patterns.
+ *
+ * A predicate, not a refusal — {@link assertMoney} is the refusing form and carries
+ * the diagnosis. Use this one where a value may legitimately not be money.
+ */
+export function isMoney(value) {
+    if (!isMoneyShaped(value))
+        return false;
+    return (typeof value.amount === "string" &&
+        typeof value.currency === "string" &&
+        MONEY_AMOUNT_PATTERN.test(value.amount) &&
+        MONEY_CURRENCY_PATTERN.test(value.currency));
+}
+/**
+ * Refuse anything that is not a valid {@link Money}, naming SR-2 and saying which
+ * part is wrong.
+ *
+ * The message names the rule because the caller who hits this is usually a host
+ * author who reached for the obvious thing — a JSON number — and the useful reply
+ * is not "invalid money" but "here is the rule, and here is why a float is not
+ * allowed to represent a price".
+ *
+ * @param value The value that should be money.
+ * @param where What the value is, for the message: a field name, a JSON pointer.
+ * @throws TypeError when `value` is not a valid {@link Money}.
+ */
+export function assertMoney(value, where = "value") {
+    if (typeof value === "number") {
+        throw new TypeError(`SR-2: ${where} is a JSON number (${String(value)}) where money was expected. ` +
+            `Money on the wire is { amount: "<decimal string>", currency: "<ISO 4217>" }, never a ` +
+            `binary float: 0.1 has no exact double, so the amount a reviewer approved and the amount ` +
+            `a store holds would differ with nothing on the record to say which was sworn to.`);
+    }
+    if (!isMoneyShaped(value)) {
+        throw new TypeError(`SR-2: ${where} is not money. Expected an object with an "amount" (decimal string) and a ` +
+            `"currency" (ISO 4217 code); received ${describe(value)}.`);
+    }
+    if (typeof value.amount === "number") {
+        throw new TypeError(`SR-2: ${where}.amount is a JSON number (${String(value.amount)}). The amount is a decimal ` +
+            `string — write ${JSON.stringify(String(value.amount))} — because a binary float cannot ` +
+            `hold the value a reviewer read.`);
+    }
+    if (typeof value.amount !== "string" || !MONEY_AMOUNT_PATTERN.test(value.amount)) {
+        throw new TypeError(`SR-2: ${where}.amount is not a decimal string. Expected ${String(MONEY_AMOUNT_PATTERN)} — ` +
+            `an optional "-", an integer part with no leading zeros, and an optional fractional part; ` +
+            `no exponent, no thousands separators, no leading "+". Received ${describe(value.amount)}.`);
+    }
+    if (typeof value.currency !== "string" || !MONEY_CURRENCY_PATTERN.test(value.currency)) {
+        throw new TypeError(`SR-2: ${where}.currency is not an ISO 4217 code. Expected three uppercase ASCII letters ` +
+            `(the code is never case-folded on the wire); received ${describe(value.currency)}.`);
+    }
+}
+/**
+ * Validate `value` as money and return it as a {@link Money}.
+ *
+ * The returned object carries exactly the two properties, so a value that arrived
+ * with extra keys does not smuggle them onward. The strings are returned unchanged
+ * — this parses, it does not normalise: `"10.00"` stays `"10.00"` and never becomes
+ * `"10"`, because the trailing zeros are what the reviewer saw and dropping them
+ * would change the canonical bytes (SR-1) for a value nobody amended.
+ *
+ * @param value The value that should be money.
+ * @param where What the value is, for the message.
+ * @throws TypeError when `value` is not a valid {@link Money} — including the
+ *         common case of a JSON number, which names SR-2 and says why.
+ */
+export function parseMoney(value, where = "value") {
+    assertMoney(value, where);
+    return { amount: value.amount, currency: value.currency };
+}
+/**
+ * Whether `money` fits a scale the host declares, in minor units.
+ *
+ * SR-2 caps a money amount at "the currency's minor-unit scale unless the host
+ * declares otherwise", and this package holds no currency table, so the scale is a
+ * number the caller passes: `2` for sterling and the euro, `0` for the yen, `3` for
+ * the dinar, and whatever a host declares for an internal unit that needs more.
+ *
+ * The check is on the digits *written*, not on the value: `"10.00"` has scale 2 and
+ * fails `moneyScaleOk(money, 1)` even though the amount is representable in one
+ * decimal place. That is deliberate — the record is what was written.
+ *
+ * @param money      A valid {@link Money}.
+ * @param minorUnits The number of fractional digits the host allows. A non-negative integer.
+ * @throws TypeError when `minorUnits` is not a non-negative integer, or `money` is not money.
+ */
+export function moneyScaleOk(money, minorUnits) {
+    if (!Number.isInteger(minorUnits) || minorUnits < 0) {
+        throw new TypeError(`SR-2: minorUnits must be a non-negative integer (2 for GBP, 0 for JPY, 3 for KWD); ` +
+            `received ${describe(minorUnits)}.`);
+    }
+    assertMoney(money, "money");
+    const point = money.amount.indexOf(".");
+    const scale = point === -1 ? 0 : money.amount.length - point - 1;
+    return scale <= minorUnits;
+}
+/** A short, safe rendering of an arbitrary value for an error message. */
+function describe(value) {
+    if (value === null)
+        return "null";
+    if (value === undefined)
+        return "undefined";
+    if (typeof value === "string")
+        return `the string ${JSON.stringify(truncate(value))}`;
+    if (typeof value === "number" || typeof value === "boolean" || typeof value === "bigint") {
+        return `${typeof value} ${String(value)}`;
+    }
+    if (Array.isArray(value))
+        return `an array of ${String(value.length)}`;
+    return `${typeof value} ${truncate(Object.prototype.toString.call(value))}`;
+}
+/** Error messages quote values; values can be long. */
+function truncate(text) {
+    return text.length <= 60 ? text : `${text.slice(0, 57)}...`;
+}
+//# sourceMappingURL=money.js.map

package/dist/model/money.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"money.js","sourceRoot":"","sources":["../../src/model/money.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAuBH;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,0BAA0B,CAAC;AAE/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,YAAY,CAAC;AAEnD,wFAAwF;AACxF,SAAS,aAAa,CACpB,KAAc;IAEd,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,CACL,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC;QACrD,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,CACxD,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAC,KAAc;IACpC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,OAAO,CACL,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAChC,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAClC,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QACvC,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc,EAAE,KAAK,GAAG,OAAO;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,SAAS,CACjB,SAAS,KAAK,sBAAsB,MAAM,CAAC,KAAK,CAAC,8BAA8B;YAC7E,uFAAuF;YACvF,0FAA0F;YAC1F,kFAAkF,CACrF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,SAAS,CACjB,SAAS,KAAK,4EAA4E;YACxF,wCAAwC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACrC,MAAM,IAAI,SAAS,CACjB,SAAS,KAAK,6BAA6B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,6BAA6B;YAC1F,kBAAkB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,mCAAmC;YACzF,iCAAiC,CACpC,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,SAAS,CACjB,SAAS,KAAK,6CAA6C,MAAM,CAAC,oBAAoB,CAAC,KAAK;YAC1F,2FAA2F;YAC3F,kEAAkE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAC9F,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvF,MAAM,IAAI,SAAS,CACjB,SAAS,KAAK,4EAA4E;YACxF,yDAAyD,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CACvF,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,UAAU,CAAC,KAAc,EAAE,KAAK,GAAG,OAAO;IACxD,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1B,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,YAAY,CAAC,KAAY,EAAE,UAAkB;IAC3D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,SAAS,CACjB,qFAAqF;YACnF,YAAY,QAAQ,CAAC,UAAU,CAAC,GAAG,CACtC,CAAC;IACJ,CAAC;IACD,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,KAAK,GAAG,CAAC,CAAC;IACjE,OAAO,KAAK,IAAI,UAAU,CAAC;AAC7B,CAAC;AAED,0EAA0E;AAC1E,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;IACtF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACzF,OAAO,GAAG,OAAO,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,eAAe,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;IACvE,OAAO,GAAG,OAAO,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,uDAAuD;AACvD,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC;AAC9D,CAAC"}

package/dist/model/provenance.d.ts

@@ -0,0 +1,315 @@
+/**
+ * Provenance: the seven-source ladder, the tag, the binding that makes a tag
+ * checkable, the chain that keeps every superseded tag, and the merge rule.
+ *
+ * **Rules served: PV-1** (the ladder, the chain, confidence-first /
+ * determinism-second merge, confidence clamped into `[0, 1]`), **PV-2** (a tag
+ * above `Conversation` carries a binding, and the binding kinds are a fixed set),
+ * **PV-3** (an implementation's own inference never mints `UserStated`), **PV-5**
+ * (no wire type raises a grade: an asserted grade above `Conversation` with no
+ * binding is carried on the record but is not honourable).
+ *
+ * The idea in one paragraph: a value on an Affidavit is worth exactly what its
+ * evidence is worth. A provenance tag says where the value came from
+ * ({@link ProvenanceSource}), how confident its producer was, and — for the grades
+ * that claim more than "a model read it in the conversation" — a {@link Binding}:
+ * a pointer at something an auditor can go and check years later. A tag with no
+ * binding is not a lie, it is a weaker claim, and the framework's job is to keep
+ * the difference visible rather than to average it away.
+ *
+ * Nothing here reads a clock. Every function that stamps a time takes the instant
+ * as a parameter, so a fixture can pin it (RT-1, and the same reason the clock is
+ * a port rather than a call to `Date.now()`).
+ *
+ * @packageDocumentation
+ */
+import type { ProvenanceSource } from "@affiant/contract";
+/** Where a value came from. Re-exported so a host can name it without a second import. */
+export type { ProvenanceSource };
+/**
+ * The seven provenance sources, **most deterministic first**.
+ *
+ * This order is not a preference, it is the tie-breaker: when two tags carry equal
+ * confidence the one nearer the front of this list wins the merge (PV-1). Read it
+ * as a claim about who could re-derive the value — the person said it; a system of
+ * record holds it; a named rule computes it; it was literally present in the
+ * conversation; a model reasoned to it; a default filled it in; nobody knows.
+ *
+ * Spelled out here rather than re-exported from `@affiant/contract` so the gate's
+ * ordering is a fact of the gate. `test/provenance.test.ts` asserts the two lists
+ * are identical, which is what keeps them from drifting apart.
+ */
+export declare const PROVENANCE_LADDER: readonly ["UserStated", "External", "Computed", "Conversation", "Inferred", "Default", "Empty"];
+/**
+ * How deterministic `source` is: `0` for `UserStated`, `6` for `Empty`.
+ *
+ * **Lower is more deterministic.** The number is an index into
+ * {@link PROVENANCE_LADDER}, so it is a comparison key and nothing else — never a
+ * score, never a weight, never something to multiply a confidence by.
+ */
+export declare function determinismRank(source: ProvenanceSource): number;
+/**
+ * Whether a tag with this source must carry a {@link Binding} to be worth its grade
+ * (PV-2): the three sources **above** `Conversation` — `UserStated`, `External`,
+ * `Computed`.
+ *
+ * At or below `Conversation` the grade already says "this came from the turn, or
+ * from a model reading the turn", and the turn is itself the artifact. Above it,
+ * the tag claims an artifact outside the conversation, and a claim with no pointer
+ * at that artifact is not checkable — see {@link isBound} and PV-4, where the pair
+ * decides whether a person-free approval may rest on the tag.
+ */
+export declare function requiresBinding(source: ProvenanceSource): boolean;
+/**
+ * Where in the unmodified utterance a value was found.
+ *
+ * Offset and length rather than a start/end pair, and a `hash` of the substring:
+ * offsets alone rot the moment anything re-wraps or re-encodes the transcript, so
+ * the hash is what lets an auditor prove the span still says what it said. The
+ * digest algorithm and encoding are fixed by the canonical-form rules (SR-1, pull
+ * request C3); this type carries the string.
+ */
+export interface UtteranceSpanRef {
+    /** Character offset into the utterance, from 0. */
+    readonly offset: number;
+    /** Length of the span in characters. */
+    readonly length: number;
+    /** Digest of the spanned substring, so the span can be checked after the fact. */
+    readonly hash: string;
+}
+/** The Docket decision that amended the field. */
+export interface ReviewerActRef {
+    /** The Docket entry the decision was made on. */
+    readonly entryId: string;
+    /** When the decision was made, as an ISO 8601 instant. */
+    readonly decisionAt: string;
+}
+/** The form control a person typed into. */
+export interface FormInputRef {
+    /** The form field's name, as the host's own surface names it. */
+    readonly field: string;
+}
+/**
+ * A relay that asserted a person's identity rather than authenticating them — the
+ * channel the capture arrived on and the message it arrived in (Sequence C).
+ */
+export interface RelayRef {
+    /** The relay's own principal id. */
+    readonly principal: string;
+    /** How the person is addressed on that channel. */
+    readonly channelIdentity: string;
+    /** The message the capture arrived in. */
+    readonly messageId: string;
+}
+/**
+ * The system of record an `External` value was read from.
+ *
+ * `fetchedAt` and `contentHash` are what a value read from a page with no API binds
+ * instead of a record id: when it was read, and what it said when it was read. A
+ * binding whose source cannot be re-fetched or re-verified is not a binding (PV-2).
+ */
+export interface ExternalRef {
+    /** The source system, named the way the host names it. */
+    readonly system: string;
+    /** The record within that system. A canonical URL where the system is a page. */
+    readonly recordId: string;
+    /** When the value was read, as an ISO 8601 instant. */
+    readonly fetchedAt?: string;
+    /** Digest of what the source said when it was read. */
+    readonly contentHash?: string;
+    /** Present when the value arrived over a trusted relay. */
+    readonly relay?: RelayRef;
+}
+/**
+ * An externally published constant a computation consumed, and the date it was
+ * last verified.
+ *
+ * *When a value was checked is a different fact from when the tag was written*
+ * (PV-2): a rate table verified in March and used in September is a September tag
+ * resting on a March fact, and a reviewer is entitled to see both.
+ */
+export interface ComputationConstantRef {
+    /** Where the constant is published. */
+    readonly source: string;
+    /** The date the constant was last verified, as an ISO 8601 date or instant. */
+    readonly verifiedOn: string;
+}
+/** The deterministic rule a `Computed` value came out of, and what it consumed. */
+export interface ComputationRef {
+    /** The rule's name — re-runnable, not a description. */
+    readonly rule: string;
+    /** The field names the rule consumed, in the order it consumed them. */
+    readonly inputs: readonly string[];
+    /** An externally published constant the rule depends on. */
+    readonly constant?: ComputationConstantRef;
+}
+/**
+ * What to look at to check a value. The five kinds are a **fixed set** (PV-2): a
+ * binding kind nobody can enumerate is a binding nobody can audit.
+ */
+export type Binding = {
+    readonly kind: "utterance-span";
+    readonly ref: UtteranceSpanRef;
+} | {
+    readonly kind: "reviewer-act";
+    readonly ref: ReviewerActRef;
+} | {
+    readonly kind: "form-input";
+    readonly ref: FormInputRef;
+} | {
+    readonly kind: "external-ref";
+    readonly ref: ExternalRef;
+} | {
+    readonly kind: "computation-ref";
+    readonly ref: ComputationRef;
+};
+/** Every {@link Binding} kind, as data. */
+export declare const BINDING_KINDS: readonly ["utterance-span", "reviewer-act", "form-input", "external-ref", "computation-ref"];
+/** The kind discriminator of a {@link Binding}. */
+export type BindingKind = Binding["kind"];
+/**
+ * The bindings a deterministic interceptor may mint.
+ *
+ * The restriction is PV-3 in the type system: an interceptor resolves `External`
+ * and `Computed` values, so it can only ever point at a record or a computation. A
+ * machine does not get to bind a value to a person's act.
+ */
+export type InterceptorBinding = Extract<Binding, {
+    kind: "external-ref" | "computation-ref";
+}>;
+/**
+ * One provenance record for one field value.
+ *
+ * `binding` is written on every minted tag — `null` when the producer had nothing
+ * to point at — so a reader never has to distinguish "unbound" from "the property
+ * was left off". The property is declared optional only because a wire-derived tag
+ * at protocol tag `0.0.1-seed` carries no binding field at all.
+ */
+export interface ProvenanceTag {
+    /** Where the value came from. */
+    readonly source: ProvenanceSource;
+    /** Confidence in the value, in `[0, 1]`. Always clamped at mint time (PV-1). */
+    readonly confidence: number;
+    /** A human-readable line for the reviewer, or `null` when there is nothing to say. */
+    readonly note: string | null;
+    /** When the tag was minted, as an ISO 8601 instant. */
+    readonly at: string;
+    /** Index of the conversation turn the value came from, or `null`. */
+    readonly conversationTurn: number | null;
+    /** What to look at to check the value (PV-2), or `null` when the producer had nothing. */
+    readonly binding?: Binding | null;
+}
+/**
+ * The ordered provenance history of one field: the tag in force, and every tag it
+ * displaced.
+ *
+ * `prior` is newest first, which is the order a card reads it in ("was `Inferred`
+ * at 0.4, before that `Default`"). Nothing is ever dropped from a chain — a merge
+ * that discarded the loser would erase the fact that two producers disagreed,
+ * which is the fact a reviewer most wants.
+ */
+export interface ProvenanceChain {
+    /** The tag in force for the field's current value. */
+    readonly current: ProvenanceTag;
+    /** Superseded tags, newest first. Empty on a chain that has never been merged. */
+    readonly prior: readonly ProvenanceTag[];
+}
+/** What every mint call needs. */
+interface MintCommon {
+    /** Confidence as the producer reports it. Clamped into `[0, 1]` (PV-1). */
+    readonly confidence: number;
+    /** When the tag is minted, as an ISO 8601 instant. Passed in; nothing here reads a clock. */
+    readonly at: string;
+    /** A human-readable line for the reviewer. Defaults to `null`. */
+    readonly note?: string | null;
+    /** The conversation turn the value came from. Defaults to `null`. */
+    readonly conversationTurn?: number | null;
+    /** What to look at to check the value. Defaults to `null`. */
+    readonly binding?: Binding | null;
+}
+/** What {@link mintTag} needs: {@link MintCommon} plus the source being claimed. */
+export interface MintTagOptions extends MintCommon {
+    /** The grade being claimed. */
+    readonly source: ProvenanceSource;
+}
+/** What {@link mintInference}, {@link mintConversation} and {@link mintInferred} need. */
+export type MintInferenceOptions = MintCommon;
+/**
+ * Mint a tag for any source, clamping the confidence into `[0, 1]` (PV-1).
+ *
+ * A tag whose source is `Empty` is forced to confidence `0`: "nobody knows where
+ * this came from" cannot also be a confident claim, and AF-2 counts every `Empty`
+ * field as `0` in the aggregate anyway — forcing it here means the two can never
+ * disagree.
+ *
+ * This is the general minting surface, used by deterministic interceptors, by the
+ * projection step and by a reviewer's amendment. **It is not the surface the
+ * inference step gets:** PV-3 forbids an implementation's own inference from
+ * minting `UserStated`, so the inference step is handed {@link mintInference},
+ * whose source parameter is typed {@link InferenceSource} and cannot name it.
+ */
+export declare function mintTag(options: MintTagOptions): ProvenanceTag;
+/**
+ * The only two sources an implementation's own inference may mint (PV-3).
+ *
+ * `Conversation` when the value is literally present in the unmodified utterance;
+ * `Inferred` when the model reasoned to it. `UserStated` is an observation of a
+ * person's act — an utterance span, a form input, a reviewer's amendment — never
+ * the host vouching for a value it produced itself.
+ */
+export type InferenceSource = "Conversation" | "Inferred";
+/**
+ * Mint a tag from the inference step. The source parameter is
+ * {@link InferenceSource}, so `UserStated` is a compile error here (PV-3).
+ *
+ * The runtime guard exists for callers with no type-checker — a JavaScript host, a
+ * value cast at the boundary — because PV-3 is a rule about what the record may
+ * say, not about what TypeScript can see.
+ *
+ * @throws RangeError if `source` is anything but `Conversation` or `Inferred`.
+ */
+export declare function mintInference(source: InferenceSource, options: MintInferenceOptions): ProvenanceTag;
+/** {@link mintInference} with source `Conversation`: the value was literally in the turn. */
+export declare function mintConversation(options: MintInferenceOptions): ProvenanceTag;
+/** {@link mintInference} with source `Inferred`: the model reasoned to the value. */
+export declare function mintInferred(options: MintInferenceOptions): ProvenanceTag;
+/**
+ * The tag a field carries when nobody knows where its value came from: source
+ * `Empty`, confidence `0` (AF-1 — present and tagged, never omitted).
+ */
+export declare function emptyTag(at: string, note?: string | null): ProvenanceTag;
+/** Whether `tag` points at something an auditor can check (PV-2). */
+export declare function isBound(tag: ProvenanceTag): boolean;
+/**
+ * Whether `tag`'s grade is one a person-free verdict may rest on: either the grade
+ * needs no binding, or it has one (PV-4, PV-5).
+ *
+ * The unhonourable case is exactly the one PV-5 names: a caller asserts
+ * `UserStated` on the wire and points at nothing. The tag is still recorded — the
+ * record says what the caller claimed — but a Standing Order that predicates on it
+ * falls back to asking a person.
+ */
+export declare function isHonourable(tag: ProvenanceTag): boolean;
+/** A fresh chain holding one tag and no history. */
+export declare function chainOf(tag: ProvenanceTag): ProvenanceChain;
+/**
+ * Merge `incoming` into `chain` (PV-1): the higher confidence wins, ties break
+ * toward the more deterministic source, **and the loser is preserved** at the head
+ * of `prior`.
+ *
+ * This is the step where a deterministic interceptor's `External` value displaces
+ * a model's guess, or fails to. Either way both tags survive, so a card can show a
+ * reviewer that the model said one thing and the system of record said another.
+ */
+export declare function merge(chain: ProvenanceChain, incoming: ProvenanceTag): ProvenanceChain;
+/**
+ * Put `tag` in force unconditionally, pushing the tag it displaces onto `prior`.
+ *
+ * Not a merge: a reviewer's amendment is not a confidence contest it might lose
+ * (AF-4, PV-2). When a person corrects a field, their act is the provenance of the
+ * new value even if the machine was more sure of the old one.
+ */
+export declare function supersede(chain: ProvenanceChain, tag: ProvenanceTag): ProvenanceChain;
+/** Every tag in `chain`, in force first and then oldest-displaced last. */
+export declare function tagsOf(chain: ProvenanceChain): readonly ProvenanceTag[];
+//# sourceMappingURL=provenance.d.ts.map