@graview/core 0.1.0 → 0.1.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +7 -0
- package/dist/app.d.ts +17 -0
- package/dist/app.d.ts.map +1 -1
- package/dist/app.js.map +1 -1
- package/dist/arrange.d.ts +3 -2
- package/dist/arrange.d.ts.map +1 -1
- package/dist/arrange.js +19 -2
- package/dist/arrange.js.map +1 -1
- package/dist/beginning.d.ts +5 -2
- package/dist/beginning.d.ts.map +1 -1
- package/dist/beginning.js +28 -0
- package/dist/beginning.js.map +1 -1
- package/dist/capabilities.d.ts +32 -0
- package/dist/capabilities.d.ts.map +1 -0
- package/dist/capabilities.js +31 -0
- package/dist/capabilities.js.map +1 -0
- package/dist/cli/check/index.d.ts +1 -0
- package/dist/cli/check/index.d.ts.map +1 -1
- package/dist/cli/check/index.js +1 -0
- package/dist/cli/check/index.js.map +1 -1
- package/dist/cli/check/lenses.d.ts.map +1 -1
- package/dist/cli/check/lenses.js +25 -0
- package/dist/cli/check/lenses.js.map +1 -1
- package/dist/cli/check/policy.d.ts.map +1 -1
- package/dist/cli/check/policy.js +35 -0
- package/dist/cli/check/policy.js.map +1 -1
- package/dist/cli/check/relations.d.ts.map +1 -1
- package/dist/cli/check/relations.js +31 -0
- package/dist/cli/check/relations.js.map +1 -1
- package/dist/cli/check/views.d.ts +14 -0
- package/dist/cli/check/views.d.ts.map +1 -0
- package/dist/cli/check/views.js +27 -0
- package/dist/cli/check/views.js.map +1 -0
- package/dist/cli/check.d.ts.map +1 -1
- package/dist/cli/check.js +2 -1
- package/dist/cli/check.js.map +1 -1
- package/dist/cli/create.d.ts +1 -1
- package/dist/cli/create.d.ts.map +1 -1
- package/dist/cli/create.js +63 -1
- package/dist/cli/create.js.map +1 -1
- package/dist/cli/index.d.ts +18 -1
- package/dist/cli/index.d.ts.map +1 -1
- package/dist/cli/index.js +66 -1
- package/dist/cli/index.js.map +1 -1
- package/dist/conformance/fixtures.d.ts +41 -0
- package/dist/conformance/fixtures.d.ts.map +1 -0
- package/dist/conformance/fixtures.js +950 -0
- package/dist/conformance/fixtures.js.map +1 -0
- package/dist/conformance/index.d.ts +54 -0
- package/dist/conformance/index.d.ts.map +1 -0
- package/dist/conformance/index.js +81 -0
- package/dist/conformance/index.js.map +1 -0
- package/dist/document/canonical.d.ts +4 -0
- package/dist/document/canonical.d.ts.map +1 -0
- package/dist/document/canonical.js +29 -0
- package/dist/document/canonical.js.map +1 -0
- package/dist/document/compile.d.ts +43 -0
- package/dist/document/compile.d.ts.map +1 -0
- package/dist/document/compile.js +787 -0
- package/dist/document/compile.js.map +1 -0
- package/dist/document/diff.d.ts +32 -0
- package/dist/document/diff.d.ts.map +1 -0
- package/dist/document/diff.js +143 -0
- package/dist/document/diff.js.map +1 -0
- package/dist/document/edit.d.ts +63 -0
- package/dist/document/edit.d.ts.map +1 -0
- package/dist/document/edit.js +1420 -0
- package/dist/document/edit.js.map +1 -0
- package/dist/document/expr/analyze.d.ts +14 -0
- package/dist/document/expr/analyze.d.ts.map +1 -0
- package/dist/document/expr/analyze.js +52 -0
- package/dist/document/expr/analyze.js.map +1 -0
- package/dist/document/expr/evaluate.d.ts +36 -0
- package/dist/document/expr/evaluate.d.ts.map +1 -0
- package/dist/document/expr/evaluate.js +344 -0
- package/dist/document/expr/evaluate.js.map +1 -0
- package/dist/document/expr/index.d.ts +8 -0
- package/dist/document/expr/index.d.ts.map +1 -0
- package/dist/document/expr/index.js +5 -0
- package/dist/document/expr/index.js.map +1 -0
- package/dist/document/expr/parse.d.ts +50 -0
- package/dist/document/expr/parse.d.ts.map +1 -0
- package/dist/document/expr/parse.js +240 -0
- package/dist/document/expr/parse.js.map +1 -0
- package/dist/document/expr/print.d.ts +4 -0
- package/dist/document/expr/print.d.ts.map +1 -0
- package/dist/document/expr/print.js +81 -0
- package/dist/document/expr/print.js.map +1 -0
- package/dist/document/findings.d.ts +15 -0
- package/dist/document/findings.d.ts.map +1 -0
- package/dist/document/findings.js +30 -0
- package/dist/document/findings.js.map +1 -0
- package/dist/document/graview-template.d.ts +148 -0
- package/dist/document/graview-template.d.ts.map +1 -0
- package/dist/document/graview-template.js +450 -0
- package/dist/document/graview-template.js.map +1 -0
- package/dist/document/index.d.ts +27 -0
- package/dist/document/index.d.ts.map +1 -0
- package/dist/document/index.js +16 -0
- package/dist/document/index.js.map +1 -0
- package/dist/document/migrate.d.ts +41 -0
- package/dist/document/migrate.d.ts.map +1 -0
- package/dist/document/migrate.js +252 -0
- package/dist/document/migrate.js.map +1 -0
- package/dist/document/patch.d.ts +16 -0
- package/dist/document/patch.d.ts.map +1 -0
- package/dist/document/patch.js +79 -0
- package/dist/document/patch.js.map +1 -0
- package/dist/document/rules.d.ts +40 -0
- package/dist/document/rules.d.ts.map +1 -0
- package/dist/document/rules.js +88 -0
- package/dist/document/rules.js.map +1 -0
- package/dist/document/schema.d.ts +459 -0
- package/dist/document/schema.d.ts.map +1 -0
- package/dist/document/schema.js +197 -0
- package/dist/document/schema.js.map +1 -0
- package/dist/document/template.d.ts +28 -0
- package/dist/document/template.d.ts.map +1 -0
- package/dist/document/template.js +117 -0
- package/dist/document/template.js.map +1 -0
- package/dist/document/to-document.d.ts +34 -0
- package/dist/document/to-document.d.ts.map +1 -0
- package/dist/document/to-document.js +182 -0
- package/dist/document/to-document.js.map +1 -0
- package/dist/document/upgrade.d.ts +9 -0
- package/dist/document/upgrade.d.ts.map +1 -0
- package/dist/document/upgrade.js +19 -0
- package/dist/document/upgrade.js.map +1 -0
- package/dist/document/views.d.ts +65 -0
- package/dist/document/views.d.ts.map +1 -0
- package/dist/document/views.js +264 -0
- package/dist/document/views.js.map +1 -0
- package/dist/formats.d.ts +50 -0
- package/dist/formats.d.ts.map +1 -0
- package/dist/formats.js +75 -0
- package/dist/formats.js.map +1 -0
- package/dist/graph/graph.d.ts +52 -3
- package/dist/graph/graph.d.ts.map +1 -1
- package/dist/graph/graph.js +169 -16
- package/dist/graph/graph.js.map +1 -1
- package/dist/index.d.ts +40 -17
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +29 -10
- package/dist/index.js.map +1 -1
- package/dist/integrity.d.ts +46 -0
- package/dist/integrity.d.ts.map +1 -0
- package/dist/integrity.js +179 -0
- package/dist/integrity.js.map +1 -0
- package/dist/invariants/engine.d.ts +8 -0
- package/dist/invariants/engine.d.ts.map +1 -1
- package/dist/invariants/engine.js +40 -2
- package/dist/invariants/engine.js.map +1 -1
- package/dist/invariants/types.d.ts +19 -0
- package/dist/invariants/types.d.ts.map +1 -1
- package/dist/labels.d.ts +65 -0
- package/dist/labels.d.ts.map +1 -0
- package/dist/labels.js +123 -0
- package/dist/labels.js.map +1 -0
- package/dist/mutations/define-mutation.d.ts.map +1 -1
- package/dist/mutations/define-mutation.js +2 -3
- package/dist/mutations/define-mutation.js.map +1 -1
- package/dist/mutations/derive-edits.d.ts.map +1 -1
- package/dist/mutations/derive-edits.js +20 -1
- package/dist/mutations/derive-edits.js.map +1 -1
- package/dist/mutations/form.d.ts +9 -0
- package/dist/mutations/form.d.ts.map +1 -1
- package/dist/mutations/form.js +20 -0
- package/dist/mutations/form.js.map +1 -1
- package/dist/mutations/node-ref.d.ts +6 -0
- package/dist/mutations/node-ref.d.ts.map +1 -1
- package/dist/mutations/node-ref.js +22 -8
- package/dist/mutations/node-ref.js.map +1 -1
- package/dist/mutations/types.d.ts +8 -0
- package/dist/mutations/types.d.ts.map +1 -1
- package/dist/mutations/words.d.ts +49 -0
- package/dist/mutations/words.d.ts.map +1 -0
- package/dist/mutations/words.js +61 -0
- package/dist/mutations/words.js.map +1 -0
- package/dist/ops/log.d.ts +145 -4
- package/dist/ops/log.d.ts.map +1 -1
- package/dist/ops/log.js +220 -51
- package/dist/ops/log.js.map +1 -1
- package/dist/ops/revisions.d.ts +66 -0
- package/dist/ops/revisions.d.ts.map +1 -0
- package/dist/ops/revisions.js +97 -0
- package/dist/ops/revisions.js.map +1 -0
- package/dist/ops/types.d.ts +49 -1
- package/dist/ops/types.d.ts.map +1 -1
- package/dist/ops/undo.d.ts +23 -2
- package/dist/ops/undo.d.ts.map +1 -1
- package/dist/ops/undo.js +107 -1
- package/dist/ops/undo.js.map +1 -1
- package/dist/ops/withheld.d.ts +37 -0
- package/dist/ops/withheld.d.ts.map +1 -0
- package/dist/ops/withheld.js +84 -0
- package/dist/ops/withheld.js.map +1 -0
- package/dist/permissions/policy.d.ts +15 -0
- package/dist/permissions/policy.d.ts.map +1 -1
- package/dist/permissions/policy.js +28 -1
- package/dist/permissions/policy.js.map +1 -1
- package/dist/permissions/sight.d.ts +50 -0
- package/dist/permissions/sight.d.ts.map +1 -0
- package/dist/permissions/sight.js +76 -0
- package/dist/permissions/sight.js.map +1 -0
- package/dist/permissions/types.d.ts +26 -0
- package/dist/permissions/types.d.ts.map +1 -1
- package/dist/permissions/types.js.map +1 -1
- package/dist/persistence/memory.d.ts.map +1 -1
- package/dist/persistence/memory.js +25 -0
- package/dist/persistence/memory.js.map +1 -1
- package/dist/persistence/sql.d.ts +43 -0
- package/dist/persistence/sql.d.ts.map +1 -0
- package/dist/persistence/sql.js +154 -0
- package/dist/persistence/sql.js.map +1 -0
- package/dist/persistence/sqlite.d.ts +17 -3
- package/dist/persistence/sqlite.d.ts.map +1 -1
- package/dist/persistence/sqlite.js +32 -96
- package/dist/persistence/sqlite.js.map +1 -1
- package/dist/persistence/types.d.ts +19 -0
- package/dist/persistence/types.d.ts.map +1 -1
- package/dist/presence.d.ts +31 -0
- package/dist/presence.d.ts.map +1 -1
- package/dist/presence.js +36 -0
- package/dist/presence.js.map +1 -1
- package/dist/scaffold/from-template.d.ts +16 -0
- package/dist/scaffold/from-template.d.ts.map +1 -0
- package/dist/scaffold/from-template.js +157 -0
- package/dist/scaffold/from-template.js.map +1 -0
- package/dist/scaffold/index.d.ts +10 -1
- package/dist/scaffold/index.d.ts.map +1 -1
- package/dist/scaffold/index.js +35 -7
- package/dist/scaffold/index.js.map +1 -1
- package/dist/scaffold/names.d.ts +4 -0
- package/dist/scaffold/names.d.ts.map +1 -1
- package/dist/scaffold/names.js.map +1 -1
- package/dist/scaffold/project.d.ts +1 -1
- package/dist/scaffold/project.d.ts.map +1 -1
- package/dist/scaffold/project.js +44 -13
- package/dist/scaffold/project.js.map +1 -1
- package/dist/scaffold/ui.d.ts.map +1 -1
- package/dist/scaffold/ui.js +19 -10
- package/dist/scaffold/ui.js.map +1 -1
- package/dist/schema/define-node.d.ts +20 -0
- package/dist/schema/define-node.d.ts.map +1 -1
- package/dist/schema/define-node.js +27 -2
- package/dist/schema/define-node.js.map +1 -1
- package/dist/schema/path.d.ts +19 -0
- package/dist/schema/path.d.ts.map +1 -0
- package/dist/schema/path.js +34 -0
- package/dist/schema/path.js.map +1 -0
- package/dist/schema/types.d.ts +6 -0
- package/dist/schema/types.d.ts.map +1 -1
- package/dist/seen.d.ts +58 -0
- package/dist/seen.d.ts.map +1 -0
- package/dist/seen.js +194 -0
- package/dist/seen.js.map +1 -0
- package/dist/store.d.ts +317 -8
- package/dist/store.d.ts.map +1 -1
- package/dist/store.js +720 -37
- package/dist/store.js.map +1 -1
- package/dist/testing.d.ts +6 -0
- package/dist/testing.d.ts.map +1 -1
- package/dist/testing.js +3 -1
- package/dist/testing.js.map +1 -1
- package/dist/theme/palettes.d.ts.map +1 -1
- package/dist/theme/palettes.js +4 -0
- package/dist/theme/palettes.js.map +1 -1
- package/dist/theme/types.d.ts +9 -0
- package/dist/theme/types.d.ts.map +1 -1
- package/dist/theme/types.js +4 -0
- package/dist/theme/types.js.map +1 -1
- package/dist/validate-graph.d.ts +83 -0
- package/dist/validate-graph.d.ts.map +1 -0
- package/dist/validate-graph.js +288 -0
- package/dist/validate-graph.js.map +1 -0
- package/dist/version.d.ts +3 -0
- package/dist/version.d.ts.map +1 -0
- package/dist/version.js +3 -0
- package/dist/version.js.map +1 -0
- package/dist/views/types.d.ts +8 -0
- package/dist/views/types.d.ts.map +1 -1
- package/dist/views/types.js +5 -0
- package/dist/views/types.js.map +1 -1
- package/dist/watched.d.ts +39 -0
- package/dist/watched.d.ts.map +1 -1
- package/dist/watched.js +94 -1
- package/dist/watched.js.map +1 -1
- package/dist/who.d.ts +24 -1
- package/dist/who.d.ts.map +1 -1
- package/dist/who.js +49 -2
- package/dist/who.js.map +1 -1
- package/package.json +9 -1
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"fixtures.js","sourceRoot":"","sources":["../../src/conformance/fixtures.ts"],"names":[],"mappings":"AAqCA,MAAM,CAAC,MAAM,SAAS,GAA4B,EAAE,CAAC;AAErD,MAAM,CAAC,MAAM,QAAQ,GAAkC;IACrD;QACE,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,UAAU;QAClB,UAAU,EAAE;YACV,QAAQ,EAAE,kBAAkB;YAC5B,eAAe,EAAE,CAAC;YAClB,MAAM,EAAE,iBAAiB;YACzB,aAAa,EAAE,uDAAuD;YACtE,OAAO,EAAE;gBACP,UAAU,EAAE;oBACV,MAAM,EAAE,UAAU;oBAClB,QAAQ,EAAE,YAAY;oBACtB,aAAa,EAAE,kCAAkC;oBACjD,QAAQ,EAAE;wBACR,MAAM,EAAE;4BACN,MAAM,EAAE,QAAQ;4BAChB,UAAU,EAAE,IAAI;yBACjB;wBACD,QAAQ,EAAE;4BACR,MAAM,EAAE,QAAQ;4BAChB,QAAQ,EAAE,OAAO;yBAClB;qBACF;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,QAAQ;oBAChB,QAAQ,EAAE,SAAS;oBACnB,aAAa,EAAE,wBAAwB;oBACvC,QAAQ,EAAE;wBACR,MAAM,EAAE;4BACN,MAAM,EAAE,QAAQ;4BAChB,UAAU,EAAE,IAAI;yBACjB;wBACD,QAAQ,EAAE;4BACR,MAAM,EAAE,MAAM;4BACd,SAAS,EAAE;gCACT,aAAa;gCACb,WAAW;gCACX,QAAQ;gCACR,UAAU;6BACX;4BACD,SAAS,EAAE,aAAa;4BACxB,UAAU,EAAE,IAAI;yBACjB;wBACD,OAAO,EAAE;4BACP,MAAM,EAAE,QAAQ;4BAChB,QAAQ,EAAE,OAAO;yBAClB;wBACD,KAAK,EAAE;4BACL,MAAM,EAAE,MAAM;4BACd,aAAa,EAAE,0BAA0B;yBAC1C;wBACD,OAAO,EAAE;4BACP,MAAM,EAAE,MAAM;yBACf;qBACF;oBACD,UAAU,EAAE,0BAA0B;oBACtC,WAAW,EAAE;wBACX,OAAO,EAAE,QAAQ;wBACjB,SAAS,EAAE;4BACT,UAAU;yBACX;qBACF;oBACD,OAAO,EAAE;wBACP,OAAO,EAAE;4BACP,IAAI,EAAE;gCACJ,UAAU;6BACX;4BACD,aAAa,EAAE,KAAK;4BACpB,aAAa,EAAE,uBAAuB;4BACtC,SAAS,EAAE,gBAAgB;yBAC5B;qBACF;iBACF;aACF;YACD,MAAM,EAAE;gBACN,cAAc,EAAE;oBACd,OAAO,EAAE,gBAAgB;oBACzB,SAAS,EAAE,UAAU;oBACrB,aAAa,EAAE,4EAA4E;iBAC5F;gBACD,YAAY,EAAE;oBACZ,OAAO,EAAE,cAAc;oBACvB,SAAS,EAAE,QAAQ;oBACnB,aAAa,EAAE,6EAA6E;iBAC7F;gBACD,iBAAiB,EAAE;oBACjB,OAAO,EAAE,+BAA+B;oBACxC,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,MAAM,EAAE;4BACN,MAAM,EAAE,QAAQ;4BAChB,UAAU,EAAE,IAAI;yBACjB;qBACF;oBACD,SAAS,EAAE;wBACT;4BACE,QAAQ,EAAE,QAAQ;4BAClB,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE;gCACL,MAAM,EAAE,OAAO;6BAChB;yBACF;wBACD;4BACE,SAAS,EAAE,OAAO;4BAClB,MAAM,EAAE,MAAM;4BACd,IAAI,EAAE,UAAU;yBACjB;qBACF;oBACD,aAAa,EAAE,qDAAqD;iBACrE;gBACD,WAAW,EAAE;oBACX,OAAO,EAAE,eAAe;oBACxB,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE;wBACR,OAAO;qBACR;oBACD,aAAa,EAAE,qDAAqD;iBACrE;gBACD,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;oBACf,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE;wBACN,QAAQ,EAAE,QAAQ;qBACnB;oBACD,aAAa,EAAE,sBAAsB;oBACrC,SAAS,EAAE,wCAAwC;oBACnD,aAAa,EAAE,0DAA0D;iBAC1E;gBACD,SAAS,EAAE;oBACT,OAAO,EAAE,SAAS;oBAClB,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE;wBACN,QAAQ,EAAE,UAAU;qBACrB;oBACD,aAAa,EAAE,8EAA8E;iBAC9F;gBACD,YAAY,EAAE;oBACZ,OAAO,EAAE,uBAAuB;oBAChC,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE,OAAO;oBACnB,aAAa,EAAE,qCAAqC;oBACpD,iBAAiB,EAAE,wBAAwB;iBAC5C;gBACD,QAAQ,EAAE;oBACR,OAAO,EAAE,0BAA0B;oBACnC,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,OAAO;oBACjB,aAAa,EAAE,0DAA0D;oBACzE,iBAAiB,EAAE,oCAAoC;iBACxD;aACF;YACD,OAAO,EAAE;gBACP,oBAAoB,EAAE;oBACpB,OAAO,EAAE,6BAA6B;oBACtC,MAAM,EAAE,QAAQ;oBAChB,MAAM,EAAE,oBAAoB;oBAC5B,SAAS,EAAE,eAAe;oBAC1B,MAAM,EAAE,mCAAmC;oBAC3C,SAAS,EAAE;wBACT;4BACE,KAAK,EAAE,WAAW;4BAClB,OAAO,EAAE,eAAe;yBACzB;qBACF;iBACF;gBACD,yBAAyB,EAAE;oBACzB,OAAO,EAAE,gCAAgC;oBACzC,MAAM,EAAE,UAAU;oBAClB,SAAS,EAAE,kDAAkD;oBAC7D,MAAM,EAAE,wCAAwC;iBACjD;gBACD,eAAe,EAAE;oBACf,OAAO,EAAE,0CAA0C;oBACnD,MAAM,EAAE,UAAU;oBAClB,MAAM,EAAE,iBAAiB;oBACzB,SAAS,EAAE,8DAA8D;oBACzE,MAAM,EAAE,0CAA0C;iBACnD;aACF;YACD,OAAO,EAAE;gBACP,OAAO;gBACP,SAAS;gBACT,QAAQ;aACT;YACD,QAAQ,EAAE;gBACR,QAAQ,EAAE;oBACR;wBACE,OAAO,EAAE;4BACP,OAAO;4BACP,SAAS;yBACV;wBACD,WAAW,EAAE,GAAG;qBACjB;iBACF;aACF;YACD,OAAO,EAAE;gBACP,QAAQ,EAAE,SAAS;aACpB;SACF;QACD,QAAQ,EAAE;YACR,UAAU,EAAE,IAAI;YAChB,UAAU,EAAE;gBACV,6BAA6B;aAC9B;YACD,OAAO,EAAE;gBACP,cAAc,EAAE;oBACd,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,MAAM,EAAE;4BACN,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,GAAG;yBACjB;wBACD,QAAQ,EAAE;4BACR,MAAM,EAAE,QAAQ;yBACjB;wBACD,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,4HAA4H;yBAC5I;qBACF;oBACD,UAAU,EAAE;wBACV,MAAM;qBACP;iBACF;gBACD,YAAY,EAAE;oBACZ,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,MAAM,EAAE;4BACN,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,GAAG;yBACjB;wBACD,QAAQ,EAAE;4BACR,MAAM,EAAE,QAAQ;4BAChB,MAAM,EAAE;gCACN,aAAa;gCACb,WAAW;gCACX,QAAQ;gCACR,UAAU;6BACX;yBACF;wBACD,OAAO,EAAE;4BACP,MAAM,EAAE,QAAQ;yBACjB;wBACD,KAAK,EAAE;4BACL,MAAM,EAAE,QAAQ;4BAChB,SAAS,EAAE,wBAAwB;4BACnC,aAAa,EAAE,0BAA0B;yBAC1C;wBACD,OAAO,EAAE;4BACP,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,KAAK;yBACnB;wBACD,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,0HAA0H;yBAC1I;qBACF;oBACD,UAAU,EAAE;wBACV,MAAM;qBACP;iBACF;gBACD,iBAAiB,EAAE;oBACjB,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,0BAA0B;yBAC1C;wBACD,MAAM,EAAE;4BACN,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,GAAG;yBACjB;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;wBACJ,MAAM;qBACP;iBACF;gBACD,WAAW,EAAE;oBACX,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,wBAAwB;yBACxC;wBACD,OAAO,EAAE;4BACP,MAAM,EAAE,QAAQ;yBACjB;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;wBACJ,OAAO;qBACR;iBACF;gBACD,MAAM,EAAE;oBACN,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,wBAAwB;yBACxC;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;qBACL;iBACF;gBACD,SAAS,EAAE;oBACT,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,wBAAwB;yBACxC;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;qBACL;iBACF;gBACD,YAAY,EAAE;oBACZ,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,wBAAwB;yBACxC;wBACD,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,0BAA0B;yBAC1C;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;wBACJ,IAAI;qBACL;iBACF;gBACD,QAAQ,EAAE;oBACR,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,wBAAwB;yBACxC;wBACD,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,0BAA0B;yBAC1C;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;wBACJ,IAAI;qBACL;iBACF;gBACD,eAAe,EAAE;oBACf,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,0BAA0B;yBAC1C;wBACD,QAAQ,EAAE;4BACR,MAAM,EAAE,QAAQ;yBACjB;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;qBACL;iBACF;gBACD,aAAa,EAAE;oBACb,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,wBAAwB;yBACxC;wBACD,MAAM,EAAE;4BACN,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,GAAG;yBACjB;wBACD,KAAK,EAAE;4BACL,MAAM,EAAE,QAAQ;4BAChB,SAAS,EAAE,wBAAwB;4BACnC,aAAa,EAAE,0BAA0B;yBAC1C;wBACD,OAAO,EAAE;4BACP,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,KAAK;yBACnB;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;qBACL;iBACF;gBACD,iBAAiB,EAAE;oBACjB,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,0BAA0B;yBAC1C;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;qBACL;iBACF;gBACD,eAAe,EAAE;oBACf,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,wBAAwB;yBACxC;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;qBACL;iBACF;aACF;SACF;KACF;IACD;QACE,IAAI,EAAE,oBAAoB;QAC1B,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,UAAU;QAClB,UAAU,EAAE;YACV,QAAQ,EAAE,kBAAkB;YAC5B,eAAe,EAAE,CAAC;YAClB,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE;gBACP,OAAO,EAAE;oBACP,QAAQ,EAAE;wBACR,OAAO,EAAE;4BACP,MAAM,EAAE,QAAQ;4BAChB,UAAU,EAAE,IAAI;yBACjB;wBACD,MAAM,EAAE;4BACN,MAAM,EAAE,SAAS;yBAClB;qBACF;iBACF;aACF;YACD,MAAM,EAAE;gBACN,WAAW,EAAE;oBACX,OAAO,EAAE,aAAa;oBACtB,SAAS,EAAE,OAAO;iBACnB;aACF;SACF;QACD,QAAQ,EAAE;YACR,UAAU,EAAE,IAAI;YAChB,UAAU,EAAE;gBACV,8BAA8B;aAC/B;YACD,OAAO,EAAE;gBACP,WAAW,EAAE;oBACX,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,OAAO,EAAE;4BACP,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,GAAG;yBACjB;wBACD,MAAM,EAAE;4BACN,MAAM,EAAE,SAAS;yBAClB;wBACD,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,yHAAyH;yBACzI;qBACF;oBACD,UAAU,EAAE;wBACV,OAAO;qBACR;iBACF;gBACD,YAAY,EAAE;oBACZ,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,uBAAuB;yBACvC;wBACD,OAAO,EAAE;4BACP,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,GAAG;yBACjB;wBACD,MAAM,EAAE;4BACN,MAAM,EAAE,SAAS;yBAClB;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;qBACL;iBACF;gBACD,cAAc,EAAE;oBACd,SAAS,EAAE,8CAA8C;oBACzD,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE;wBACZ,IAAI,EAAE;4BACJ,MAAM,EAAE,QAAQ;4BAChB,WAAW,EAAE,CAAC;4BACd,aAAa,EAAE,uBAAuB;yBACvC;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI;qBACL;iBACF;aACF;SACF;KACF;IACD;QACE,IAAI,EAAE,oCAAoC;QAC1C,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,KAAK;QACb,UAAU,EAAE,kBAAkB;QAC9B,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,SAAS;gBAClB,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE;wBACP,OAAO;qBACR;iBACF;gBACD,QAAQ,EAAE,yBAAyB;gBACnC,UAAU,EAAE;oBACV,MAAM,EAAE,cAAc;oBACtB,MAAM,EAAE;wBACN,MAAM,EAAE,SAAS;wBACjB,QAAQ,EAAE,IAAI;qBACf;iBACF;gBACD,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE;4BACN,IAAI,EAAE,kBAAkB;4BACxB,MAAM,EAAE,UAAU;4BAClB,MAAM,EAAE,SAAS;4BACjB,QAAQ,EAAE,IAAI;yBACf;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,aAAa;wBACnB,MAAM,EAAE;4BACN,IAAI,EAAE,kBAAkB;4BACxB,MAAM,EAAE,UAAU;4BAClB,MAAM,EAAE,SAAS;4BACjB,QAAQ,EAAE,IAAI;yBACf;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,kBAAkB;iBACnB;gBACD,QAAQ,EAAE;oBACR,kBAAkB;iBACnB;gBACD,IAAI,EAAE,0BAA0B;aACjC;YACD;gBACE,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,SAAS;gBAClB,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE;wBACP,OAAO;qBACR;iBACF;gBACD,QAAQ,EAAE,0BAA0B;gBACpC,UAAU,EAAE;oBACV,MAAM,EAAE,YAAY;oBACpB,MAAM,EAAE;wBACN,MAAM,EAAE,YAAY;qBACrB;iBACF;gBACD,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE;4BACN,IAAI,EAAE,iBAAiB;4BACvB,MAAM,EAAE,QAAQ;4BAChB,QAAQ,EAAE,aAAa;4BACvB,MAAM,EAAE,YAAY;yBACrB;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,aAAa;wBACnB,MAAM,EAAE;4BACN,IAAI,EAAE,iBAAiB;4BACvB,MAAM,EAAE,QAAQ;4BAChB,QAAQ,EAAE,aAAa;4BACvB,MAAM,EAAE,YAAY;yBACrB;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,iBAAiB;iBAClB;gBACD,QAAQ,EAAE;oBACR,iBAAiB;iBAClB;gBACD,IAAI,EAAE,0BAA0B;aACjC;YACD;gBACE,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,SAAS;gBAClB,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE;wBACP,OAAO;qBACR;iBACF;gBACD,QAAQ,EAAE,mCAAmC;gBAC7C,UAAU,EAAE;oBACV,MAAM,EAAE,YAAY;oBACpB,MAAM,EAAE;wBACN,IAAI,EAAE,iBAAiB;wBACvB,IAAI,EAAE,kBAAkB;qBACzB;iBACF;gBACD,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE;4BACN,MAAM,EAAE,OAAO;4BACf,MAAM,EAAE,iBAAiB;4BACzB,IAAI,EAAE,kBAAkB;yBACzB;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,aAAa;wBACnB,MAAM,EAAE;4BACN,MAAM,EAAE,OAAO;4BACf,MAAM,EAAE,iBAAiB;4BACzB,IAAI,EAAE,kBAAkB;yBACzB;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,iBAAiB;oBACjB,kBAAkB;iBACnB;gBACD,QAAQ,EAAE;oBACR,iBAAiB;oBACjB,kBAAkB;iBACnB;gBACD,IAAI,EAAE,0BAA0B;aACjC;YACD;gBACE,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,SAAS;gBAClB,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE;wBACP,OAAO;qBACR;iBACF;gBACD,QAAQ,EAAE,2BAA2B;gBACrC,UAAU,EAAE;oBACV,MAAM,EAAE,WAAW;oBACnB,MAAM,EAAE;wBACN,IAAI,EAAE,iBAAiB;wBACvB,OAAO,EAAE,IAAI;qBACd;iBACF;gBACD,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,iBAAiB;wBACvB,QAAQ,EAAE;4BACR,OAAO,EAAE,qBAAqB;yBAC/B;wBACD,OAAO,EAAE;4BACP,OAAO,EAAE,IAAI;yBACd;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,iBAAiB;wBACvB,QAAQ,EAAE;4BACR,OAAO,EAAE,IAAI;yBACd;wBACD,OAAO,EAAE;4BACP,OAAO,EAAE,qBAAqB;yBAC/B;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,iBAAiB;iBAClB;gBACD,QAAQ,EAAE;oBACR,iBAAiB;iBAClB;gBACD,IAAI,EAAE,0BAA0B;aACjC;YACD;gBACE,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,SAAS;gBAClB,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE;wBACP,OAAO;qBACR;iBACF;gBACD,QAAQ,EAAE,kBAAkB;gBAC5B,UAAU,EAAE;oBACV,MAAM,EAAE,MAAM;oBACd,MAAM,EAAE;wBACN,IAAI,EAAE,iBAAiB;qBACxB;iBACF;gBACD,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,iBAAiB;wBACvB,QAAQ,EAAE;4BACR,QAAQ,EAAE,aAAa;yBACxB;wBACD,OAAO,EAAE;4BACP,QAAQ,EAAE,QAAQ;yBACnB;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,iBAAiB;wBACvB,QAAQ,EAAE;4BACR,QAAQ,EAAE,QAAQ;yBACnB;wBACD,OAAO,EAAE;4BACP,QAAQ,EAAE,aAAa;yBACxB;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,iBAAiB;iBAClB;gBACD,QAAQ,EAAE;oBACR,iBAAiB;iBAClB;gBACD,IAAI,EAAE,0BAA0B;aACjC;YACD;gBACE,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,QAAQ;gBACjB,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE;wBACP,OAAO;qBACR;iBACF;gBACD,QAAQ,EAAE,wBAAwB;gBAClC,UAAU,EAAE,IAAI;gBAChB,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,iBAAiB;wBACvB,QAAQ,EAAE;4BACR,QAAQ,EAAE,QAAQ;yBACnB;wBACD,OAAO,EAAE;4BACP,QAAQ,EAAE,aAAa;yBACxB;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,iBAAiB;wBACvB,QAAQ,EAAE;4BACR,QAAQ,EAAE,aAAa;yBACxB;wBACD,OAAO,EAAE;4BACP,QAAQ,EAAE,QAAQ;yBACnB;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,iBAAiB;iBAClB;gBACD,QAAQ,EAAE;oBACR,iBAAiB;iBAClB;gBACD,IAAI,EAAE,0BAA0B;gBAChC,QAAQ,EAAE,KAAK;aAChB;SACF;QACD,QAAQ,EAAE;YACR,MAAM,EAAE,yEAAyE;SAClF;KACF;IACD;QACE,IAAI,EAAE,6BAA6B;QACnC,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,KAAK;QACb,UAAU,EAAE,oBAAoB;QAChC,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,SAAS;gBAClB,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,KAAK;iBACZ;gBACD,QAAQ,EAAE,6BAA6B;gBACvC,UAAU,EAAE;oBACV,MAAM,EAAE,WAAW;oBACnB,MAAM,EAAE;wBACN,OAAO,EAAE,gBAAgB;qBAC1B;iBACF;gBACD,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE;4BACN,IAAI,EAAE,sBAAsB;4BAC5B,MAAM,EAAE,OAAO;4BACf,OAAO,EAAE,gBAAgB;yBAC1B;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,aAAa;wBACnB,MAAM,EAAE;4BACN,IAAI,EAAE,sBAAsB;4BAC5B,MAAM,EAAE,OAAO;4BACf,OAAO,EAAE,gBAAgB;yBAC1B;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,sBAAsB;iBACvB;gBACD,QAAQ,EAAE;oBACR,sBAAsB;iBACvB;gBACD,IAAI,EAAE,0BAA0B;aACjC;YACD;gBACE,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,SAAS;gBAClB,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,KAAK;iBACZ;gBACD,QAAQ,EAAE,oCAAoC;gBAC9C,UAAU,EAAE;oBACV,MAAM,EAAE,YAAY;oBACpB,MAAM,EAAE;wBACN,IAAI,EAAE,sBAAsB;wBAC5B,MAAM,EAAE,IAAI;qBACb;iBACF;gBACD,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,sBAAsB;wBAC5B,QAAQ,EAAE;4BACR,MAAM,EAAE,qBAAqB;yBAC9B;wBACD,OAAO,EAAE;4BACP,MAAM,EAAE,IAAI;yBACb;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,sBAAsB;wBAC5B,QAAQ,EAAE;4BACR,MAAM,EAAE,IAAI;yBACb;wBACD,OAAO,EAAE;4BACP,MAAM,EAAE,qBAAqB;yBAC9B;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,sBAAsB;iBACvB;gBACD,QAAQ,EAAE;oBACR,sBAAsB;iBACvB;gBACD,IAAI,EAAE,0BAA0B;aACjC;SACF;QACD,QAAQ,EAAE;YACR,MAAM,EAAE,yEAAyE;SAClF;KACF;CACO,CAAC"}
|
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
import type { GraviewApp } from "../app.js";
|
|
2
|
+
import type { Operation } from "../ops/types.js";
|
|
3
|
+
import type { AnySchema } from "../schema/schema.js";
|
|
4
|
+
import { ANNOUNCED, FIXTURES } from "./fixtures.js";
|
|
5
|
+
/**
|
|
6
|
+
* A CONFORMANCE KIT (FR-32): fixtures any host runs against a version to
|
|
7
|
+
* prove it reads, compiles and derives the same as the version before.
|
|
8
|
+
*
|
|
9
|
+
* Each fixture is something a host stores or accepts — a declaration
|
|
10
|
+
* document, an op log — with what this framework made of it when the
|
|
11
|
+
* fixture was added: whether the document compiles and what the check says
|
|
12
|
+
* about it, the tool each act is offered as, the hash a log folds to. A new
|
|
13
|
+
* version that makes something else of yesterday's fixture is a difference,
|
|
14
|
+
* named by fixture id. Fixtures are append-only: one changes only through an
|
|
15
|
+
* announced difference, recorded with the version that made it.
|
|
16
|
+
*/
|
|
17
|
+
export type { ConformanceFixture, DocumentFixture, LogFixture, Announcement } from "./fixtures.js";
|
|
18
|
+
export { ANNOUNCED, FIXTURES };
|
|
19
|
+
/** The pieces of a build the kit judges. A host passes its own; absent pieces are this build's. */
|
|
20
|
+
export interface ConformanceBuild {
|
|
21
|
+
readonly compileDocument: (document: unknown) => {
|
|
22
|
+
readonly ok: boolean;
|
|
23
|
+
readonly app?: GraviewApp<AnySchema>;
|
|
24
|
+
};
|
|
25
|
+
readonly snapshotHash: (snapshot: {
|
|
26
|
+
readonly nodes: readonly unknown[];
|
|
27
|
+
readonly edges: readonly unknown[];
|
|
28
|
+
}) => string;
|
|
29
|
+
/** The graph a log folds to, under an app's schema. */
|
|
30
|
+
readonly fold: (app: GraviewApp<AnySchema>, ops: readonly Operation[]) => {
|
|
31
|
+
readonly nodes: readonly unknown[];
|
|
32
|
+
readonly edges: readonly unknown[];
|
|
33
|
+
};
|
|
34
|
+
/** Each act — declared and derived — as the tool an agent is offered: its name and input schema. */
|
|
35
|
+
readonly toolSchemas: (app: GraviewApp<AnySchema>) => Readonly<Record<string, unknown>>;
|
|
36
|
+
/** What `graview check` says about an app, as `severity:code`, sorted. */
|
|
37
|
+
readonly checkCodes: (app: GraviewApp<AnySchema>) => readonly string[];
|
|
38
|
+
}
|
|
39
|
+
export declare const THIS_BUILD: ConformanceBuild;
|
|
40
|
+
/** One thing a build made differently of a fixture than the version that recorded it. */
|
|
41
|
+
export interface Difference {
|
|
42
|
+
readonly fixture: string;
|
|
43
|
+
readonly what: "compiles" | "findings" | "tools" | "hash" | "threw";
|
|
44
|
+
readonly expected: unknown;
|
|
45
|
+
readonly actual: unknown;
|
|
46
|
+
}
|
|
47
|
+
export interface ConformanceResult {
|
|
48
|
+
readonly ok: boolean;
|
|
49
|
+
readonly checked: number;
|
|
50
|
+
readonly differences: readonly Difference[];
|
|
51
|
+
}
|
|
52
|
+
/** Run every fixture against a build; the differences, by fixture id. */
|
|
53
|
+
export declare function conformance(build?: Partial<ConformanceBuild>): ConformanceResult;
|
|
54
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/conformance/index.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAI5C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAErD,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEpD;;;;;;;;;;;GAWG;AACH,YAAY,EAAE,kBAAkB,EAAE,eAAe,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACnG,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAE/B,mGAAmG;AACnG,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,eAAe,EAAE,CAAC,QAAQ,EAAE,OAAO,KAAK;QAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAA;KAAE,CAAC;IAChH,QAAQ,CAAC,YAAY,EAAE,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAA;KAAE,KAAK,MAAM,CAAC;IACxH,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,SAAS,SAAS,EAAE,KAAK;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAA;KAAE,CAAC;IACrJ,oGAAoG;IACpG,QAAQ,CAAC,WAAW,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACxF,0EAA0E;IAC1E,QAAQ,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,SAAS,CAAC,KAAK,SAAS,MAAM,EAAE,CAAC;CACxE;AAED,eAAO,MAAM,UAAU,EAAE,gBAaxB,CAAC;AAEF,yFAAyF;AACzF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;IACpE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAeD,yEAAyE;AACzE,wBAAgB,WAAW,CAAC,KAAK,GAAE,OAAO,CAAC,gBAAgB,CAAM,GAAG,iBAAiB,CAmCpF"}
|
|
@@ -0,0 +1,81 @@
|
|
|
1
|
+
import { checkApp } from "../cli/check.js";
|
|
2
|
+
import { compileDocument } from "../document/compile.js";
|
|
3
|
+
import { snapshotHash } from "../integrity.js";
|
|
4
|
+
import { deriveMutations } from "../mutations/derive-edits.js";
|
|
5
|
+
import { OperationLog } from "../ops/log.js";
|
|
6
|
+
import { mutationToolSchema } from "../schema/json-schema.js";
|
|
7
|
+
import { ANNOUNCED, FIXTURES } from "./fixtures.js";
|
|
8
|
+
export { ANNOUNCED, FIXTURES };
|
|
9
|
+
export const THIS_BUILD = {
|
|
10
|
+
compileDocument: (document) => {
|
|
11
|
+
const compiled = compileDocument(document);
|
|
12
|
+
return compiled.ok ? { ok: true, app: compiled.app } : { ok: false };
|
|
13
|
+
},
|
|
14
|
+
snapshotHash: (snapshot) => snapshotHash(snapshot),
|
|
15
|
+
fold: (app, ops) => OperationLog.from(ops).fold(app.schema).snapshot(),
|
|
16
|
+
toolSchemas: (app) => {
|
|
17
|
+
const declared = app.mutations ?? [];
|
|
18
|
+
const acts = [...declared, ...deriveMutations(app.schema, declared)];
|
|
19
|
+
return Object.fromEntries(acts.map((act) => [act.name, mutationToolSchema(act).inputSchema]));
|
|
20
|
+
},
|
|
21
|
+
checkCodes: (app) => checkApp(app).findings.map((finding) => `${finding.severity}:${finding.code}`).sort(),
|
|
22
|
+
};
|
|
23
|
+
const same = (a, b) => canonical(a) === canonical(b);
|
|
24
|
+
function canonical(value) {
|
|
25
|
+
if (Array.isArray(value))
|
|
26
|
+
return `[${value.map(canonical).join(",")}]`;
|
|
27
|
+
if (value && typeof value === "object") {
|
|
28
|
+
return `{${Object.keys(value)
|
|
29
|
+
.filter((key) => value[key] !== undefined)
|
|
30
|
+
.sort()
|
|
31
|
+
.map((key) => `${JSON.stringify(key)}:${canonical(value[key])}`)
|
|
32
|
+
.join(",")}}`;
|
|
33
|
+
}
|
|
34
|
+
return JSON.stringify(value);
|
|
35
|
+
}
|
|
36
|
+
/** Run every fixture against a build; the differences, by fixture id. */
|
|
37
|
+
export function conformance(build = {}) {
|
|
38
|
+
const use = { ...THIS_BUILD, ...build };
|
|
39
|
+
const differences = [];
|
|
40
|
+
const documents = new Map();
|
|
41
|
+
for (const fixture of FIXTURES)
|
|
42
|
+
if (fixture.kind === "document")
|
|
43
|
+
documents.set(fixture.id, fixture.document);
|
|
44
|
+
for (const fixture of FIXTURES) {
|
|
45
|
+
try {
|
|
46
|
+
if (fixture.kind === "document") {
|
|
47
|
+
const compiled = use.compileDocument(fixture.document);
|
|
48
|
+
if (compiled.ok !== fixture.expect.compiles) {
|
|
49
|
+
differences.push({ fixture: fixture.id, what: "compiles", expected: fixture.expect.compiles, actual: compiled.ok });
|
|
50
|
+
continue;
|
|
51
|
+
}
|
|
52
|
+
if (!compiled.app)
|
|
53
|
+
continue;
|
|
54
|
+
const findings = use.checkCodes(compiled.app);
|
|
55
|
+
if (!same(findings, fixture.expect.findings))
|
|
56
|
+
differences.push({ fixture: fixture.id, what: "findings", expected: fixture.expect.findings, actual: findings });
|
|
57
|
+
const tools = use.toolSchemas(compiled.app);
|
|
58
|
+
for (const name of new Set([...Object.keys(fixture.expect.tools), ...Object.keys(tools)])) {
|
|
59
|
+
if (!same(tools[name], fixture.expect.tools[name]))
|
|
60
|
+
differences.push({ fixture: `${fixture.id}#${name}`, what: "tools", expected: fixture.expect.tools[name] ?? null, actual: tools[name] ?? null });
|
|
61
|
+
}
|
|
62
|
+
}
|
|
63
|
+
else {
|
|
64
|
+
const document = documents.get(fixture.document);
|
|
65
|
+
const compiled = use.compileDocument(document);
|
|
66
|
+
if (!compiled.app) {
|
|
67
|
+
differences.push({ fixture: fixture.id, what: "compiles", expected: true, actual: false });
|
|
68
|
+
continue;
|
|
69
|
+
}
|
|
70
|
+
const hash = use.snapshotHash(use.fold(compiled.app, fixture.ops));
|
|
71
|
+
if (hash !== fixture.expect.hash)
|
|
72
|
+
differences.push({ fixture: fixture.id, what: "hash", expected: fixture.expect.hash, actual: hash });
|
|
73
|
+
}
|
|
74
|
+
}
|
|
75
|
+
catch (error) {
|
|
76
|
+
differences.push({ fixture: fixture.id, what: "threw", expected: "no error", actual: error instanceof Error ? error.message : String(error) });
|
|
77
|
+
}
|
|
78
|
+
}
|
|
79
|
+
return { ok: differences.length === 0, checked: FIXTURES.length, differences };
|
|
80
|
+
}
|
|
81
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/conformance/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAGzD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAG7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAepD,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAc/B,MAAM,CAAC,MAAM,UAAU,GAAqB;IAC1C,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE;QAC5B,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC3C,OAAO,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,GAA4B,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IAChG,CAAC;IACD,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,YAAY,CAAC,QAAiB,CAAC;IAC3D,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAW;IAC/E,WAAW,EAAE,CAAC,GAAG,EAAE,EAAE;QACnB,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,QAAiB,CAAC,CAAC,CAAC;QAC9E,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,GAAY,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACzG,CAAC;IACD,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;CAC3G,CAAC;AAgBF,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC;AACvE,SAAS,SAAS,CAAC,KAAc;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACvE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAe,CAAC;aACpC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAE,KAAiC,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;aACtE,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,SAAS,CAAE,KAAiC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;aAC5F,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,WAAW,CAAC,QAAmC,EAAE;IAC/D,MAAM,GAAG,GAAqB,EAAE,GAAG,UAAU,EAAE,GAAG,KAAK,EAAE,CAAC;IAC1D,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IACrD,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,QAA2B,CAAC,CAAC;IAChI,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAChC,MAAM,QAAQ,GAAG,GAAG,CAAC,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACvD,IAAI,QAAQ,CAAC,EAAE,KAAK,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;oBAC5C,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;oBACpH,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,QAAQ,CAAC,GAAG;oBAAE,SAAS;gBAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAC9C,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;oBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC/J,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1F,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;wBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBACvM,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACjD,MAAM,QAAQ,GAAG,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;gBAC/C,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC;oBAClB,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;oBAC3F,SAAS;gBACX,CAAC;gBACD,MAAM,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,GAA2B,CAAC,CAAC,CAAC;gBAC3F,IAAI,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,IAAI;oBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACzI,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACjJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC;AACjF,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../../src/document/canonical.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAsBnD,wBAAgB,YAAY,CAAC,QAAQ,EAAE,eAAe,GAAG,MAAM,CAE9D;AAED,wBAAsB,YAAY,CAAC,QAAQ,EAAE,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,CAI7E"}
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
/*
|
|
2
|
+
* CANONICAL FORM: keys sorted, undefined dropped, so two documents that mean
|
|
3
|
+
* the same thing are the same bytes — and therefore the same hash. A
|
|
4
|
+
* proposal is identified by the hash of the document it would produce, and
|
|
5
|
+
* apply refuses a hash that is no longer what the app would become.
|
|
6
|
+
*/
|
|
7
|
+
function sortKeys(value) {
|
|
8
|
+
if (Array.isArray(value))
|
|
9
|
+
return value.map(sortKeys);
|
|
10
|
+
if (value && typeof value === "object") {
|
|
11
|
+
const out = {};
|
|
12
|
+
for (const key of Object.keys(value).sort()) {
|
|
13
|
+
const v = value[key];
|
|
14
|
+
if (v !== undefined)
|
|
15
|
+
out[key] = sortKeys(v);
|
|
16
|
+
}
|
|
17
|
+
return out;
|
|
18
|
+
}
|
|
19
|
+
return value;
|
|
20
|
+
}
|
|
21
|
+
export function canonicalize(document) {
|
|
22
|
+
return JSON.stringify(sortKeys(document));
|
|
23
|
+
}
|
|
24
|
+
export async function documentHash(document) {
|
|
25
|
+
const bytes = new TextEncoder().encode(canonicalize(document));
|
|
26
|
+
const digest = await crypto.subtle.digest("SHA-256", bytes);
|
|
27
|
+
return [...new Uint8Array(digest)].map((b) => b.toString(16).padStart(2, "0")).join("");
|
|
28
|
+
}
|
|
29
|
+
//# sourceMappingURL=canonical.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../src/document/canonical.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AAEH,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAI,KAAiC,CAAC,GAAG,CAAC,CAAC;YAClD,IAAI,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,QAAyB;IACpD,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,QAAyB;IAC1D,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1F,CAAC"}
|
|
@@ -0,0 +1,43 @@
|
|
|
1
|
+
import { type GraviewApp } from "../index.js";
|
|
2
|
+
import { type KindShape } from "./expr/evaluate.js";
|
|
3
|
+
import { type Finding } from "./findings.js";
|
|
4
|
+
import { type ActSpec, type EffectSpec, type GraviewDocument, type SightSpec } from "./schema.js";
|
|
5
|
+
export interface CompiledDocument {
|
|
6
|
+
readonly ok: true;
|
|
7
|
+
readonly app: GraviewApp;
|
|
8
|
+
readonly document: GraviewDocument;
|
|
9
|
+
/** Notes and warnings — never errors, or this would not be ok. */
|
|
10
|
+
readonly findings: readonly Finding[];
|
|
11
|
+
/** Who sees which kinds — the policy's `sees`, as the document said it. */
|
|
12
|
+
readonly sights: readonly SightSpec[] | undefined;
|
|
13
|
+
readonly kinds: ReadonlyMap<string, KindShape>;
|
|
14
|
+
}
|
|
15
|
+
export interface RefusedDocument {
|
|
16
|
+
readonly ok: false;
|
|
17
|
+
readonly findings: readonly Finding[];
|
|
18
|
+
}
|
|
19
|
+
export interface CompileOptions {
|
|
20
|
+
/** The clock rules read as today(); injectable for tests. */
|
|
21
|
+
readonly today?: () => string;
|
|
22
|
+
/** Skip the framework's own checkApp (it is the slow half). Default false. */
|
|
23
|
+
readonly skipFrameworkCheck?: boolean;
|
|
24
|
+
/**
|
|
25
|
+
* The version this one follows. Given, every `renamedFrom` must name a
|
|
26
|
+
* kind, field or relation that version has — a rename from nothing moves
|
|
27
|
+
* nothing, and the values it was meant to keep would be dropped (FR-22).
|
|
28
|
+
*/
|
|
29
|
+
readonly previous?: GraviewDocument;
|
|
30
|
+
}
|
|
31
|
+
/** Parse and validate without compiling — the document's own sentences, before the framework's. */
|
|
32
|
+
export declare function readDocument(raw: unknown): {
|
|
33
|
+
readonly document?: GraviewDocument;
|
|
34
|
+
readonly findings: readonly Finding[];
|
|
35
|
+
};
|
|
36
|
+
export declare function kindShapes(document: GraviewDocument): Map<string, KindShape>;
|
|
37
|
+
/** The effects an act's shorthands mean, in order. */
|
|
38
|
+
export declare function effectsOf(act: ActSpec, document: GraviewDocument): readonly EffectSpec[];
|
|
39
|
+
declare class Refused extends Error {
|
|
40
|
+
}
|
|
41
|
+
export declare function compileDocument(raw: unknown, options?: CompileOptions): CompiledDocument | RefusedDocument;
|
|
42
|
+
export { Refused as ActRefusal };
|
|
43
|
+
//# sourceMappingURL=compile.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/document/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EAeL,KAAK,UAAU,EAMhB,MAAM,aAAa,CAAC;AAIrB,OAAO,EAAgD,KAAK,SAAS,EAAc,MAAM,oBAAoB,CAAC;AAE9G,OAAO,EAA6B,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAGL,KAAK,OAAO,EACZ,KAAK,UAAU,EAEf,KAAK,eAAe,EAEpB,KAAK,SAAS,EAEf,MAAM,aAAa,CAAC;AAiBrB,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,cAAc;IAC7B,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC;IAC9B,8EAA8E;IAC9E,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;CACrC;AAKD,mGAAmG;AACnG,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,GAAG;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,CAoCzH;AA2BD,wBAAgB,UAAU,CAAC,QAAQ,EAAE,eAAe,GAAG,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAS5E;AAED,sDAAsD;AACtD,wBAAgB,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,GAAG,SAAS,UAAU,EAAE,CAmBxF;AAoQD,cAAM,OAAQ,SAAQ,KAAK;CAAG;AAE9B,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,GAAE,cAAmB,GAAG,gBAAgB,GAAG,eAAe,CA4S9G;AAWD,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,CAAC"}
|