@graview/core 0.1.21 → 0.1.22

package/dist/testing.js.map

@@ -1 +1 @@
-{"version":3,"file":"testing.js","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,SAAS,EAAmB,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AA8CrD;oEACoE;AACpE,MAAM,IAAI,GAA2C;IACnD,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;IACtC,CAAC,eAAe,EAAE,gBAAgB,CAAC;IACnC,CAAC,cAAc,EAAE,gBAAgB,CAAC;IAClC,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,eAAe,EAAE,gBAAgB,CAAC;IACnC,CAAC,eAAe,EAAE,gBAAgB,CAAC;IACnC,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;CACtC,CAAC;AACF,MAAM,KAAK,GAA2C;IACpD,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,MAAM,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,6EAA6E;AAC7E,SAAS,KAAK,CAAC,KAAa,EAAE,OAAyB;IACrD,MAAM,KAAK,GAAG,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IAChD,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAE,CAAC;IACxD,MAAM,MAAM,GAAG,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,OAAO,EAAE,IAAI,EAAE,GAAG,QAAQ,GAAG,MAAM,EAAE,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,UAA0B,EAAE;IACrD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC;IACtC,MAAM,YAAY,GAAG,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAE3G,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IACjF,mEAAmE;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACrJ,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,CACxD,UAAU,CAAC,IAAI,EAAE;QACf,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC;QACnD,MAAM;QACN,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM;YACvB,CAAC,CAAC;gBACE,KAAK,EAAE;oBACL,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,oBAAoB,EAAE,OAAO,EAAE,gBAAgB,EAAE;iBAC1F;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CACH,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW;QACjC,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAC1F,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,MAAM,GAAG,YAAY,CAAC;QAC1B,GAAG,WAAW;QACd,GAAG,OAAO;QACV,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAC,CAAC;IACZ,MAAM,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC,MAAe,CAAC,CAAC;IAEvD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE;QACzC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,KAAK,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,OAAO,cAAc,CAAC,OAAO,IAAI,EAAE,EAAE;YACnC,KAAK,EAAE,OAAO,IAAI,EAAE;YACpB;;iCAEqB;YACrB,WAAW,EAAE,QAAQ,IAAI,gBAAgB;YACzC,OAAO,EAAE,CAAC,IAAI,CAAC;YACf;wEAC4D;YAC5D,KAAK,EAAE,KAAK;gBACV,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBACnE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;YACnC,KAAK,CAAC,GAA0F,EAAE,IAA6B;gBAC7H,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC5F,CAAC;SACO,CAAC,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,OAAO,SAAS,CAAC;QACf,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,MAAe;QACvB,SAAS,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/D,GAAG,CAAC,MAAM;YACR,CAAC,CAAC;gBACE,OAAO,EAAE,YAAY,CAAC,OAAO;gBAC7B,MAAM,EAAE,YAAY,CAAC,UAAU,CAAC;oBAC9B,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;oBAC3B,MAAM,EAAE;wBACN;4BACE,KAAK,EAAE,CAAC,QAAQ,CAAC;4BACjB,SAAS,EAAE,GAAG;4BACd,QAAQ,EAAE,6BAA6B;yBACxC;qBACF;iBACF,CAAC;aACH;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC;AACL,CAAC;AAED,oFAAoF;AACpF;;;;;;;;;;;;;;;GAeG;AACH,SAAS,SAAS,CAAC,KAAc,EAAE,IAAY;IAC7C,MAAM,MAAM,GAAG,KAA8F,CAAC;IAC9G,IAAI,OAAO,MAAM,EAAE,SAAS,KAAK,UAAU;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACrE,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC;IACpC,MAAM,UAAU,GAAG,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAkC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnH,MAAM,UAAU,GAAc;QAC5B,SAAS;QACT,GAAG,UAAU;QACb,IAAI;QACJ,YAAY;QACZ,GAAG,IAAI,eAAe;QACtB,CAAC;QACD,CAAC;QACD,IAAI;QACJ,EAAE;QACF,CAAC,IAAI,CAAC;QACN,EAAE;QACF,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;QAClB,IAAI;KACL,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO;YAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAsBD,MAAM,UAAU,YAAY,CAAC,GAAe,EAAE,UAAwC,EAAE;IACtF,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;IAClG,MAAM,KAAK,GAA8B,EAAE,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,KAA0B,EAAE,CAAC;QACzD,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAA4B,CAAC;QAC1E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,GAA4B,EAAE,EAAE,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAClG,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,OAAO;oBAAE,SAAS;gBACnE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;gBACtC,MAAM,MAAM,GACV,KAAK,KAAK,SAAS;oBACjB,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC;oBACtC,CAAC,CAAE,KAAiE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO;wBAC3F,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE;wBAC/B,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;oBAClB,MAAM,IAAI,KAAK,CACb,KAAK,KAAK,SAAS;wBACjB,CAAC,CAAC,4BAA4B,IAAI,IAAI,IAAI,4DAA4D;4BACpG,wCAAwC,IAAI,IAAI,IAAI,SAAS;wBAC/D,CAAC,CAAC,qCAAqC,IAAI,IAAI,IAAI,SAAS,IAAI,mBAAmB,CACtF,CAAC;gBACJ,CAAC;gBACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;oBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;YAC5D,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAc,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC9C,CAAC"}
+{"version":3,"file":"testing.js","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,SAAS,EAAmB,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAGrD,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAmC,MAAM,wBAAwB,CAAC;AA6CtF;oEACoE;AACpE,MAAM,IAAI,GAA2C;IACnD,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;IACtC,CAAC,eAAe,EAAE,gBAAgB,CAAC;IACnC,CAAC,cAAc,EAAE,gBAAgB,CAAC;IAClC,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,eAAe,EAAE,gBAAgB,CAAC;IACnC,CAAC,eAAe,EAAE,gBAAgB,CAAC;IACnC,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;CACtC,CAAC;AACF,MAAM,KAAK,GAA2C;IACpD,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,MAAM,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,6EAA6E;AAC7E,SAAS,KAAK,CAAC,KAAa,EAAE,OAAyB;IACrD,MAAM,KAAK,GAAG,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IAChD,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAE,CAAC;IACxD,MAAM,MAAM,GAAG,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,OAAO,EAAE,IAAI,EAAE,GAAG,QAAQ,GAAG,MAAM,EAAE,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,UAA0B,EAAE;IACrD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC;IACtC,MAAM,YAAY,GAAG,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAE3G,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IACjF,mEAAmE;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACrJ,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,CACxD,UAAU,CAAC,IAAI,EAAE;QACf,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC;QACnD,MAAM;QACN,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM;YACvB,CAAC,CAAC;gBACE,KAAK,EAAE;oBACL,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,oBAAoB,EAAE,OAAO,EAAE,gBAAgB,EAAE;iBAC1F;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CACH,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW;QACjC,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAC1F,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,MAAM,GAAG,YAAY,CAAC;QAC1B,GAAG,WAAW;QACd,GAAG,OAAO;QACV,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAC,CAAC;IACZ,MAAM,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC,MAAe,CAAC,CAAC;IAEvD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE;QACzC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,KAAK,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,OAAO,cAAc,CAAC,OAAO,IAAI,EAAE,EAAE;YACnC,KAAK,EAAE,OAAO,IAAI,EAAE;YACpB;;iCAEqB;YACrB,WAAW,EAAE,QAAQ,IAAI,gBAAgB;YACzC,OAAO,EAAE,CAAC,IAAI,CAAC;YACf;wEAC4D;YAC5D,KAAK,EAAE,KAAK;gBACV,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBACnE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;YACnC,KAAK,CAAC,GAA0F,EAAE,IAA6B;gBAC7H,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC5F,CAAC;SACO,CAAC,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,OAAO,SAAS,CAAC;QACf,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,MAAe;QACvB,SAAS,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/D,GAAG,CAAC,MAAM;YACR,CAAC,CAAC;gBACE,OAAO,EAAE,YAAY,CAAC,OAAO;gBAC7B,MAAM,EAAE,YAAY,CAAC,UAAU,CAAC;oBAC9B,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;oBAC3B,MAAM,EAAE;wBACN;4BACE,KAAK,EAAE,CAAC,QAAQ,CAAC;4BACjB,SAAS,EAAE,GAAG;4BACd,QAAQ,EAAE,6BAA6B;yBACxC;qBACF;iBACF,CAAC;aACH;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC;AACL,CAAC;AAED,oFAAoF;AACpF;;;;;;;;;;;;;;;GAeG;AACH,SAAS,SAAS,CAAC,KAAc,EAAE,IAAY;IAC7C,MAAM,MAAM,GAAG,KAA8F,CAAC;IAC9G,IAAI,OAAO,MAAM,EAAE,SAAS,KAAK,UAAU;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACrE,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC;IACpC,MAAM,UAAU,GAAG,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAkC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnH,MAAM,UAAU,GAAc;QAC5B,SAAS;QACT,GAAG,UAAU;QACb,IAAI;QACJ,YAAY;QACZ,GAAG,IAAI,eAAe;QACtB,CAAC;QACD,CAAC;QACD,IAAI;QACJ,EAAE;QACF,CAAC,IAAI,CAAC;QACN,EAAE;QACF,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;QAClB,IAAI;KACL,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO;YAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAsBD,MAAM,UAAU,YAAY,CAAC,GAAe,EAAE,UAAwC,EAAE;IACtF,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;IAClG,MAAM,KAAK,GAA8B,EAAE,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,KAA0B,EAAE,CAAC;QACzD,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAA4B,CAAC;QAC1E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,GAA4B,EAAE,EAAE,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAClG,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,OAAO;oBAAE,SAAS;gBACnE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;gBACtC,MAAM,MAAM,GACV,KAAK,KAAK,SAAS;oBACjB,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC;oBACtC,CAAC,CAAE,KAAiE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO;wBAC3F,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE;wBAC/B,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;oBAClB,MAAM,IAAI,KAAK,CACb,KAAK,KAAK,SAAS;wBACjB,CAAC,CAAC,4BAA4B,IAAI,IAAI,IAAI,4DAA4D;4BACpG,wCAAwC,IAAI,IAAI,IAAI,SAAS;wBAC/D,CAAC,CAAC,qCAAqC,IAAI,IAAI,IAAI,SAAS,IAAI,mBAAmB,CACtF,CAAC;gBACJ,CAAC;gBACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;oBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;YAC5D,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAc,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC9C,CAAC;AA0BD,MAAM,UAAU,GAAG,CAAC,IAAkB,EAAW,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;AAEzJ,wGAAwG;AACxG,SAAS,QAAQ,CAAC,IAAkB;IAClC,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtG,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,2FAA2F,CAAC,CAAC;IAC9H,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,QAAsB,EAAE,UAA2E,EAAE;IACxI,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtF,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,uBAAuB,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC9G,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAiB,CAAC;IACvC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7E,OAAO;QACL,GAAG;QACH,QAAQ,EAAE,IAAI;QACd,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,KAAK,EAAE,GAAG,EAAE,CACV,IAAI,KAAK,CAAY;YACnB,MAAM,EAAE,GAAG,CAAC,MAAmB;YAC/B,SAAS,EAAE,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAU;YACzC,UAAU,EAAE,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAU;YAC3C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvD,CAAC;KACL,CAAC;AACJ,CAAC"}

package/dist/typed.d.ts

@@ -0,0 +1,267 @@
+/**
+ * `@graview/core/typed` — A DOCUMENT'S NAMES, CHECKED BY THE COMPILER THAT
+ * BUILDS THE PRODUCT.
+ *
+ * A declaration document is JSON, and JSON's names are strings: a face that
+ * reads `n.status` off `{ id, kind } & Record<string, unknown>`, or walks a
+ * relation by a bare `"dependsOn"`, learns that a field or a relation was
+ * renamed by drawing a blank section. Two doors close that gap:
+ *
+ * - `graview types <document>` writes the document's kinds, fields and
+ *   relations as TypeScript (`Types`), and `typedReader<Types>(store)` reads
+ *   a store through them: a renamed field or relation fails `tsc`.
+ * - `defineDocument({...})` is the same document written in TypeScript. Its
+ *   output is the JSON document, unchanged; what it adds is that the names a
+ *   document says twice — a kind an edge points at, a field a glance or a
+ *   lifecycle names, a relation an act connects, a kind a rule is over —
+ *   and every key the format has are checked as they are typed.
+ *   `TypesOf<typeof document>` is then what `graview types` would write.
+ *
+ * Its own entry, apart from `@graview/core` and `/document`: a page that
+ * reads with it pays for six small functions, and a page that does not pays
+ * nothing. Expressions stay strings: `graview check` reads those.
+ */
+import type * as z from "./schema/zod.js";
+import type { ActSpec, DocumentSpec, EdgeSpec, FieldSpec, KindSpec, RuleSpec } from "./document/schema.js";
+/**
+ * What a document's types are: each kind's record, and for each kind the
+ * kinds each of its relations reaches. `graview types` writes one;
+ * `TypesOf<typeof document>` derives one from a `defineDocument`.
+ */
+export interface DocumentTypes {
+    readonly kinds: object;
+    readonly edges: object;
+}
+/** The kinds of a document's types, by name. */
+export type KindName<T extends DocumentTypes> = keyof T["kinds"] & string;
+/** The record of one kind. */
+export type RecordOf<T extends DocumentTypes, K extends KindName<T>> = T["kinds"][K];
+/** A record of any kind. */
+export type AnyRecord<T extends DocumentTypes> = T["kinds"][KindName<T>];
+/** A record's own fields, by name: everything but its `id` and `kind`. */
+export type FieldName<N> = Exclude<keyof N, "id" | "kind"> & string;
+/** The relations a kind declares, by name. */
+export type EdgeName<T extends DocumentTypes, K extends string> = K extends keyof T["edges"] ? keyof T["edges"][K] & string : never;
+/** The kinds one relation of one kind reaches. */
+export type TargetOf<T extends DocumentTypes, K extends string, E extends string> = K extends keyof T["edges"] ? E extends keyof T["edges"][K] ? T["edges"][K][E] & KindName<T> : never : never;
+/** The relations that reach a kind from any kind, by name. */
+export type InwardName<T extends DocumentTypes, K extends string> = {
+    [S in keyof T["edges"]]: {
+        [E in keyof T["edges"][S]]: K extends T["edges"][S][E] ? E : never;
+    }[keyof T["edges"][S]];
+}[keyof T["edges"]] & string;
+/** The kinds a relation reaches a kind from. */
+export type SourceOf<T extends DocumentTypes, K extends string, E extends string> = {
+    [S in keyof T["edges"]]: E extends keyof T["edges"][S] ? (K extends T["edges"][S][E] ? S : never) : never;
+}[keyof T["edges"]] & KindName<T>;
+/** What the reader reads: a store's graph (`store.graph`), or anything that answers as one. */
+export interface GraphReads {
+    getNode(id: string): unknown;
+    nodesOfKind(kind: string): readonly unknown[];
+    out(id: string, edge?: string): readonly unknown[];
+    in(id: string, edge?: string): readonly unknown[];
+}
+/** A store read through a document's types: every kind, field and relation named is one the document declares. */
+export interface TypedReader<T extends DocumentTypes> {
+    /** Every record of one kind. */
+    nodes<K extends KindName<T>>(kind: K): readonly RecordOf<T, K>[];
+    /** One record by id, of any kind — or of the kind named, or nothing. */
+    node(id: string): AnyRecord<T> | undefined;
+    node<K extends KindName<T>>(id: string, kind: K): RecordOf<T, K> | undefined;
+    /** Whether a record is of the kind named, narrowing it. */
+    is<K extends KindName<T>>(node: unknown, kind: K): node is RecordOf<T, K>;
+    /** One of a record's fields, by a name its kind declares. */
+    fieldOf<N extends AnyRecord<T>, F extends FieldName<N>>(node: N, field: F): N[F];
+    /** The records a relation the record's kind declares reaches. */
+    edgesOf<N extends AnyRecord<T> & {
+        readonly id: string;
+        readonly kind: string;
+    }, E extends EdgeName<T, N["kind"]>>(node: N, edge: E): readonly RecordOf<T, TargetOf<T, N["kind"], E>>[];
+    /** The records that reach this one by a relation some kind declares toward its kind. */
+    inwardOf<N extends AnyRecord<T> & {
+        readonly id: string;
+        readonly kind: string;
+    }, E extends InwardName<T, N["kind"]>>(node: N, edge: E): readonly RecordOf<T, SourceOf<T, N["kind"], E>>[];
+}
+/**
+ * A store — or its graph — read through a document's types:
+ * `typedReader<Types>(store)`, with `Types` from `graview types` or
+ * `TypesOf<typeof document>`. Reads what the graph holds and checks nothing
+ * at run time; the names were checked when the product compiled.
+ */
+export declare function typedReader<T extends DocumentTypes>(source: GraphReads | {
+    readonly graph: GraphReads;
+}): TypedReader<T>;
+type Get<T, K extends string> = T extends {
+    readonly [P in K]?: infer V;
+} ? NonNullable<V> : never;
+type Keys<T> = [T] extends [never] ? never : T extends object ? keyof T & string : never;
+type Simplify<T> = {
+    [K in keyof T]: T[K];
+} & {};
+/** What a field of one declared type holds: its options for an enum, a number for a number, words for the rest. */
+export type ValueOf<F> = F extends {
+    readonly type: "enum";
+    readonly options: readonly (infer O)[];
+} ? O : F extends {
+    readonly type: "number" | "integer";
+} ? number : F extends {
+    readonly type: "boolean";
+} ? boolean : F extends {
+    readonly type: "list";
+    readonly of: "number";
+} ? readonly number[] : F extends {
+    readonly type: "list";
+} ? readonly string[] : string;
+type RequiredFields<Fs> = {
+    [F in keyof Fs]: Fs[F] extends {
+        readonly required: true;
+    } ? F : never;
+}[keyof Fs];
+/** One kind's record, as the store holds it: `id`, `kind`, every required field, and the rest optional. */
+export type RecordOfKind<K extends string, Spec> = Simplify<{
+    readonly id: string;
+    readonly kind: K;
+} & {
+    readonly [F in RequiredFields<Get<Spec, "fields">>]: ValueOf<Get<Spec, "fields">[F]>;
+} & {
+    readonly [F in Exclude<keyof Get<Spec, "fields">, RequiredFields<Get<Spec, "fields">>>]?: ValueOf<Get<Spec, "fields">[F]>;
+}>;
+type Targets<D, To> = To extends "*" ? KindNames<D> : To extends readonly (infer K)[] ? K & string : never;
+/** A document's types, derived from the document itself: what `graview types` writes, for a `defineDocument`. */
+export type TypesOf<D> = {
+    readonly kinds: {
+        readonly [K in KindNames<D>]: RecordOfKind<K, KindOf<D, K>>;
+    };
+    readonly edges: {
+        readonly [K in KindNames<D>]: {
+            readonly [E in Keys<Get<KindOf<D, K>, "edges">>]: Targets<D, Get<Get<Get<KindOf<D, K>, "edges">, E>, "to">>;
+        };
+    };
+};
+type Deep<T> = T extends readonly (infer U)[] ? readonly Deep<U>[] : T extends object ? {
+    readonly [K in keyof T]: Deep<T[K]>;
+} : T;
+/** A declaration document as TypeScript writes one: the format's shape, read-only all the way down. */
+export type DocumentDraft = Deep<z.input<typeof DocumentSpec>>;
+type KindNames<D> = Keys<Get<D, "kinds">>;
+type KindOf<D, K extends string> = Get<Get<D, "kinds">, K>;
+type FieldNames<D, K extends string> = Keys<Get<KindOf<D, K>, "fields">>;
+type ComputedNames<D, K extends string> = Keys<Get<KindOf<D, K>, "computed">>;
+type AllFields<D> = {
+    [K in KindNames<D>]: FieldNames<D, K>;
+}[KindNames<D>];
+type EdgeNames<D> = {
+    [K in KindNames<D>]: Keys<Get<KindOf<D, K>, "edges">>;
+}[KindNames<D>];
+/** An act a rule's repair or a grant may name: one the document declares, or one every kind is given. */
+type ActNames<D> = Keys<Get<D, "acts">> | `edit-${KindNames<D>}` | `remove-${KindNames<D>}`;
+type RoleNames<D> = Get<D, "roles"> extends readonly (infer R)[] ? R & string : string;
+type Named<Given, Declared> = [Given] extends [Declared] ? unknown : {
+    readonly "is not declared; the document declares": Declared;
+};
+/** Every key the format does not have, refused: `{ "roles": … }` on a kind is a compile error, not a run-time one. */
+type NoOther<T, Shape> = {
+    readonly [P in Exclude<keyof T, keyof Shape>]: {
+        readonly "is not a key the Graview document format has here": P;
+    };
+};
+type CheckedKind<D, K extends string, S = KindOf<D, K>> = NoOther<S, z.input<typeof KindSpec>> & {
+    readonly fields: {
+        readonly [F in Keys<Get<S, "fields">>]: NoOther<Get<Get<S, "fields">, F>, z.input<typeof FieldSpec>>;
+    };
+    readonly glance?: readonly (FieldNames<D, K> | ComputedNames<D, K>)[];
+    /** Which field fills each role: a field the kind has (or its `label`). */
+    readonly fieldRoles?: {
+        readonly [R in Keys<Get<S, "fieldRoles">>]: Named<Get<Get<S, "fieldRoles">, R>, FieldNames<D, K> | "label">;
+    };
+    readonly lifecycle?: {
+        readonly field: Named<Get<Get<S, "lifecycle">, "field">, FieldNames<D, K>>;
+    };
+    readonly page?: {
+        readonly fields?: readonly (FieldNames<D, K> | ComputedNames<D, K>)[];
+        readonly groups?: readonly {
+            readonly title: string;
+            readonly fields: readonly (FieldNames<D, K> | ComputedNames<D, K>)[];
+        }[];
+    };
+    readonly edges?: {
+        readonly [E in Keys<Get<S, "edges">>]: NoOther<Get<Get<S, "edges">, E>, z.input<typeof EdgeSpec>> & {
+            readonly to: readonly KindNames<D>[] | "*";
+        };
+    };
+};
+type CheckedEffect<D, E> = E extends {
+    readonly create: infer Kind;
+} ? {
+    readonly create: Named<Kind, KindNames<D>>;
+} : E extends {
+    readonly connect: infer Edge;
+} ? {
+    readonly connect: Named<Edge, EdgeNames<D>>;
+} : E extends {
+    readonly sever: infer Edge;
+} ? {
+    readonly sever: Named<Edge, EdgeNames<D>>;
+} : unknown;
+type CheckedEffects<D, T> = {
+    readonly [I in keyof T]: CheckedEffect<D, T[I]>;
+};
+type CheckedAct<D, A> = NoOther<A, z.input<typeof ActSpec>> & {
+    readonly on?: Named<Get<A, "on">, KindNames<D> | readonly KindNames<D>[]>;
+    readonly creates?: Named<Get<A, "creates">, KindNames<D>>;
+    readonly connects?: Named<Get<A, "connects">, EdgeNames<D>>;
+    readonly severs?: Named<Get<A, "severs">, EdgeNames<D>>;
+    readonly replaces?: true | readonly EdgeNames<D>[];
+    readonly writes?: readonly AllFields<D>[];
+    readonly effects?: CheckedEffects<D, Get<A, "effects">>;
+};
+type CheckedRepairs<D, T> = {
+    readonly [I in keyof T]: {
+        readonly act: Named<Get<T[I], "act">, ActNames<D>>;
+    };
+};
+type CheckedRule<D, R> = NoOther<R, z.input<typeof RuleSpec>> & {
+    readonly over: Named<Get<R, "over">, "graph" | KindNames<D>>;
+    readonly repairs?: CheckedRepairs<D, Get<R, "repairs">>;
+};
+type CheckedPolicy<D> = {
+    readonly grants: readonly {
+        readonly roles: readonly RoleNames<D>[] | "*";
+        readonly mutations: readonly ActNames<D>[] | "*";
+        readonly kinds?: readonly KindNames<D>[] | "*";
+    }[];
+    readonly sees?: readonly {
+        readonly roles: readonly RoleNames<D>[] | "*";
+        readonly kinds: readonly KindNames<D>[];
+    }[];
+};
+/** The names a document says twice, held to the ones it declares — and no key the format does not have. */
+export type CheckedDocument<D> = NoOther<D, z.input<typeof DocumentSpec>> & {
+    readonly kinds: {
+        readonly [K in KindNames<D>]: CheckedKind<D, K>;
+    };
+    readonly acts?: {
+        readonly [A in Keys<Get<D, "acts">>]: CheckedAct<D, Get<Get<D, "acts">, A>>;
+    };
+    readonly rules?: {
+        readonly [R in Keys<Get<D, "rules">>]: CheckedRule<D, Get<Get<D, "rules">, R>>;
+    };
+    readonly policy?: CheckedPolicy<D>;
+    readonly views?: {
+        readonly [V in Keys<Get<D, "views">>]: Named<V, KindNames<D> | "home">;
+    };
+};
+/**
+ * A declaration document, written in TypeScript: what it returns is the
+ * document itself, the same JSON `graview check --document` reads and a host
+ * compiles — `JSON.stringify(defineDocument({...}))` is a document. What it
+ * adds is the compiler: a key the format does not have, a kind an edge
+ * points at that no kind is, a field a glance or a lifecycle names that its
+ * kind lacks, a relation an act connects that no kind declares, a kind a
+ * rule is over, an act a repair or a grant names — each is a type error.
+ * Expressions and templates are strings still; `graview check` reads them.
+ */
+export declare function defineDocument<const D extends DocumentDraft>(document: D & CheckedDocument<D>): D;
+export {};
+//# sourceMappingURL=typed.d.ts.map

package/dist/typed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed.d.ts","sourceRoot":"","sources":["../src/typed.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAI3G;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,gDAAgD;AAChD,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,aAAa,IAAI,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;AAC1E,8BAA8B;AAC9B,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACrF,4BAA4B;AAC5B,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,aAAa,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACzE,0EAA0E;AAC1E,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC;AACpE,8CAA8C;AAC9C,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AACpI,kDAAkD;AAClD,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,MAAM,CAAC,CAAC,OAAO,CAAC,GAC1G,CAAC,SAAS,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAC3B,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAC9B,KAAK,GACP,KAAK,CAAC;AACV,8DAA8D;AAC9D,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,MAAM,IAAI;KACjE,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG;SAAG,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;KAAE,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;CACrH,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,GACjB,MAAM,CAAC;AACT,gDAAgD;AAChD,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI;KACjF,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK;CAC1G,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,GACjB,QAAQ,CAAC,CAAC,CAAC,CAAC;AAId,+FAA+F;AAC/F,MAAM,WAAW,UAAU;IACzB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;IAC7B,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,OAAO,EAAE,CAAC;IAC9C,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,OAAO,EAAE,CAAC;IACnD,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,OAAO,EAAE,CAAC;CACnD;AAED,kHAAkH;AAClH,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,aAAa;IAClD,gCAAgC;IAChC,KAAK,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IACjE,wEAAwE;IACxE,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;IAC3C,IAAI,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC;IAC7E,2DAA2D;IAC3D,EAAE,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1E,6DAA6D;IAC7D,OAAO,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,iEAAiE;IACjE,OAAO,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,GAAG;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC,SAAS,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxL,wFAAwF;IACxF,QAAQ,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,GAAG;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC,SAAS,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAC5L;AAID;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,aAAa,EAAE,MAAM,EAAE,UAAU,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAcxH;AAID,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;CAAE,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AACnG,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AACzF,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAC;AAEjD,mHAAmH;AACnH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAA;CAAE,GAChG,CAAC,GACD,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAA;CAAE,GAC/C,MAAM,GACN,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GACpC,OAAO,GACP,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAA;CAAE,GACxD,SAAS,MAAM,EAAE,GACjB,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjC,SAAS,MAAM,EAAE,GACjB,MAAM,CAAC;AAEnB,KAAK,cAAc,CAAC,EAAE,IAAI;KAAG,CAAC,IAAI,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC,MAAM,EAAE,CAAC,CAAC;AAE/G,2GAA2G;AAC3G,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,IAAI,QAAQ,CACzD;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;IACrI,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;CAC1H,CACF,CAAC;AAEF,KAAK,OAAO,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AAE3G,iHAAiH;AACjH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;IACvB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KAAE,CAAC;IAChF,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG;YAAE,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;SAAE;KAAE,CAAC;CACnK,CAAC;AAIF,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,MAAM,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,CAAC,CAAC;AAEpI,uGAAuG;AACvG,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC;AAE/D,KAAK,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;AAC1C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3D,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;AACzE,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;AAC9E,KAAK,SAAS,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;CAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5E,KAAK,SAAS,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;CAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5F,yGAAyG;AACzG,KAAK,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;AAC5F,KAAK,SAAS,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,MAAM,GAAG,MAAM,CAAC;AAOvF,KAAK,KAAK,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,wCAAwC,EAAE,QAAQ,CAAA;CAAE,CAAC;AAErI,sHAAsH;AACtH,KAAK,OAAO,CAAC,CAAC,EAAE,KAAK,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,GAAG;QAAE,QAAQ,CAAC,mDAAmD,EAAE,CAAC,CAAA;KAAE;CAAE,CAAC;AAEhJ,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC,GAAG;IAC/F,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;KAAE,CAAC;IAC1H,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,0EAA0E;IAC1E,QAAQ,CAAC,UAAU,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC;KAAE,CAAC;IACtI,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;KAAE,CAAC;IACpG,QAAQ,CAAC,IAAI,CAAC,EAAE;QACd,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;SAAE,EAAE,CAAC;KAC/H,CAAC;IACF,QAAQ,CAAC,KAAK,CAAC,EAAE;QACf,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC,GAAG;YAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAA;SAAE;KACnJ,CAAC;CACH,CAAC;AAEF,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,CAAA;CAAE,GAChE;IAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE,GAC9C,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE,GAC/C,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,IAAI,CAAA;CAAE,GACtC;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE,GAC7C,OAAO,CAAC;AAChB,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEhF,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC,GAAG;IAC5D,QAAQ,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1E,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,GAAG,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IACnD,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;CACzD,CAAC;AAEF,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG;QAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;KAAE;CAAE,CAAC;AAEhH,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC,GAAG;IAC9D,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;CACzD,CAAC;AAEF,KAAK,aAAa,CAAC,CAAC,IAAI;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC;QAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAA;KAAE,EAAE,CAAC;IAChL,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAA;KAAE,EAAE,CAAC;CACvH,CAAC;AAEF,2GAA2G;AAC3G,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC,GAAG;IAC1E,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;KAAE,CAAC;IACpE,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;KAAE,CAAC;IAChG,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;KAAE,CAAC;IACpG,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;KAAE,CAAC;CAC7F,CAAC;AAEF;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,KAAK,CAAC,CAAC,SAAS,aAAa,EAAE,QAAQ,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAEjG"}

package/dist/typed.js

@@ -0,0 +1,35 @@
+/**
+ * A store — or its graph — read through a document's types:
+ * `typedReader<Types>(store)`, with `Types` from `graview types` or
+ * `TypesOf<typeof document>`. Reads what the graph holds and checks nothing
+ * at run time; the names were checked when the product compiled.
+ */
+export function typedReader(source) {
+    const graph = "graph" in source ? source.graph : source;
+    const reader = {
+        nodes: (kind) => graph.nodesOfKind(kind),
+        node: (id, kind) => {
+            const node = graph.getNode(id);
+            return node && (kind === undefined || node.kind === kind) ? node : undefined;
+        },
+        is: (node, kind) => node?.kind === kind,
+        fieldOf: (node, field) => node[field],
+        edgesOf: (node, edge) => graph.out(node.id, edge),
+        inwardOf: (node, edge) => graph.in(node.id, edge),
+    };
+    return reader;
+}
+/**
+ * A declaration document, written in TypeScript: what it returns is the
+ * document itself, the same JSON `graview check --document` reads and a host
+ * compiles — `JSON.stringify(defineDocument({...}))` is a document. What it
+ * adds is the compiler: a key the format does not have, a kind an edge
+ * points at that no kind is, a field a glance or a lifecycle names that its
+ * kind lacks, a relation an act connects that no kind declares, a kind a
+ * rule is over, an act a repair or a grant names — each is a type error.
+ * Expressions and templates are strings still; `graview check` reads them.
+ */
+export function defineDocument(document) {
+    return document;
+}
+//# sourceMappingURL=typed.js.map

package/dist/typed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed.js","sourceRoot":"","sources":["../src/typed.ts"],"names":[],"mappings":"AA8FA;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAA0B,MAAmD;IACtG,MAAM,KAAK,GAAG,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACxD,MAAM,MAAM,GAAG;QACb,KAAK,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC;QAChD,IAAI,EAAE,CAAC,EAAU,EAAE,IAAa,EAAE,EAAE;YAClC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAyB,CAAC;YACvD,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,CAAC;QACD,EAAE,EAAE,CAAC,IAAa,EAAE,IAAY,EAAE,EAAE,CAAE,IAAgD,EAAE,IAAI,KAAK,IAAI;QACrG,OAAO,EAAE,CAAC,IAAc,EAAE,KAAa,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;QACvD,OAAO,EAAE,CAAC,IAAc,EAAE,IAAY,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC;QACnE,QAAQ,EAAE,CAAC,IAAc,EAAE,IAAY,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC;KACpE,CAAC;IACF,OAAO,MAAmC,CAAC;AAC7C,CAAC;AAwHD;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAgC,QAAgC;IAC5F,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/version.d.ts

@@ -1,3 +1,3 @@
 /** The version of @graview/* that this build is — every package shares it. Written by scripts/write-framework-version.mjs. */
-export declare const FRAMEWORK_VERSION = "0.1.21";
+export declare const FRAMEWORK_VERSION = "0.1.22";
 //# sourceMappingURL=version.d.ts.map

package/dist/version.js

@@ -1,3 +1,3 @@
 /** The version of @graview/* that this build is — every package shares it. Written by scripts/write-framework-version.mjs. */
-export const FRAMEWORK_VERSION = "0.1.21";
+export const FRAMEWORK_VERSION = "0.1.22";
 //# sourceMappingURL=version.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@graview/core",
-  "version": "0.1.21",
+  "version": "0.1.22",
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -49,6 +49,14 @@
       "types": "./dist/lines.d.ts",
       "default": "./dist/lines.js"
     },
+    "./sync": {
+      "types": "./dist/sync/index.d.ts",
+      "default": "./dist/sync/index.js"
+    },
+    "./snapshot": {
+      "types": "./dist/snapshot.d.ts",
+      "default": "./dist/snapshot.js"
+    },
     "./conformance": {
       "types": "./dist/conformance/index.d.ts",
       "default": "./dist/conformance/index.js"
@@ -68,7 +76,12 @@
     "./testing": {
       "types": "./dist/testing.d.ts",
       "default": "./dist/testing.js"
-    }
+    },
+    "./typed": {
+      "types": "./dist/typed.d.ts",
+      "default": "./dist/typed.js"
+    },
+    "./document.schema.json": "./dist/document.schema.json"
   },
   "dependencies": {
     "zod": "^4.6.5"
@@ -116,6 +129,6 @@
     "node": ">=22"
   },
   "scripts": {
-    "build": "tsc -b"
+    "build": "tsc -b && node scripts/write-document-schema.mjs"
   }
 }