@bett3r-dev/blueprint-schema 1.9.0 → 1.10.0

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.
Files changed (67) hide show
  1. package/CHANGELOG.md +9 -0
  2. package/build/cjs/apply-design.d.ts.map +1 -1
  3. package/build/cjs/apply-design.js +5 -1
  4. package/build/cjs/apply-design.js.map +1 -1
  5. package/build/cjs/design.d.ts +12 -4
  6. package/build/cjs/design.d.ts.map +1 -1
  7. package/build/cjs/design.js +2 -1
  8. package/build/cjs/design.js.map +1 -1
  9. package/build/cjs/effective-design.d.ts +2 -2
  10. package/build/cjs/effective-design.d.ts.map +1 -1
  11. package/build/cjs/effective-design.js +25 -2
  12. package/build/cjs/effective-design.js.map +1 -1
  13. package/build/cjs/entry-points.d.ts.map +1 -1
  14. package/build/cjs/entry-points.js +3 -1
  15. package/build/cjs/entry-points.js.map +1 -1
  16. package/build/cjs/nodes.d.ts +65 -0
  17. package/build/cjs/nodes.d.ts.map +1 -1
  18. package/build/cjs/nodes.js +8 -1
  19. package/build/cjs/nodes.js.map +1 -1
  20. package/build/cjs/reality-check.d.ts +19 -1
  21. package/build/cjs/reality-check.d.ts.map +1 -1
  22. package/build/cjs/reality-check.js +110 -6
  23. package/build/cjs/reality-check.js.map +1 -1
  24. package/build/cjs/spec.d.ts.map +1 -1
  25. package/build/cjs/spec.js +44 -3
  26. package/build/cjs/spec.js.map +1 -1
  27. package/build/cjs/topology.d.ts.map +1 -1
  28. package/build/cjs/topology.js +2 -0
  29. package/build/cjs/topology.js.map +1 -1
  30. package/build/cjs/validate-design.d.ts +1 -1
  31. package/build/cjs/validate-design.d.ts.map +1 -1
  32. package/build/cjs/validate-design.js +174 -9
  33. package/build/cjs/validate-design.js.map +1 -1
  34. package/build/esm/apply-design.d.ts.map +1 -1
  35. package/build/esm/apply-design.js +5 -1
  36. package/build/esm/apply-design.js.map +1 -1
  37. package/build/esm/design.d.ts +12 -4
  38. package/build/esm/design.d.ts.map +1 -1
  39. package/build/esm/design.js +2 -1
  40. package/build/esm/design.js.map +1 -1
  41. package/build/esm/effective-design.d.ts +2 -2
  42. package/build/esm/effective-design.d.ts.map +1 -1
  43. package/build/esm/effective-design.js +25 -2
  44. package/build/esm/effective-design.js.map +1 -1
  45. package/build/esm/entry-points.d.ts.map +1 -1
  46. package/build/esm/entry-points.js +3 -1
  47. package/build/esm/entry-points.js.map +1 -1
  48. package/build/esm/nodes.d.ts +65 -0
  49. package/build/esm/nodes.d.ts.map +1 -1
  50. package/build/esm/nodes.js +7 -0
  51. package/build/esm/nodes.js.map +1 -1
  52. package/build/esm/reality-check.d.ts +19 -1
  53. package/build/esm/reality-check.d.ts.map +1 -1
  54. package/build/esm/reality-check.js +109 -6
  55. package/build/esm/reality-check.js.map +1 -1
  56. package/build/esm/spec.d.ts.map +1 -1
  57. package/build/esm/spec.js +44 -3
  58. package/build/esm/spec.js.map +1 -1
  59. package/build/esm/topology.d.ts.map +1 -1
  60. package/build/esm/topology.js +2 -0
  61. package/build/esm/topology.js.map +1 -1
  62. package/build/esm/validate-design.d.ts +1 -1
  63. package/build/esm/validate-design.d.ts.map +1 -1
  64. package/build/esm/validate-design.js +175 -10
  65. package/build/esm/validate-design.js.map +1 -1
  66. package/build/tsconfig.tsbuildinfo +1 -1
  67. package/package.json +1 -1
@@ -1 +1 @@
1
- {"version":3,"file":"effective-design.js","sourceRoot":"","sources":["../../src/effective-design.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAqBxD,MAAM,OAAO,GAAG,CAAE,IAAgD,EAAU,EAAE,CAAC,GAAI,IAAI,CAAC,IAAK,IAAK,IAAI,CAAC,EAAG,IAAK,IAAI,CAAC,IAAK,EAAE,CAAC;AAE5H,yGAAyG;AACzG,SAAS,OAAO,CAAE,IAAkB,EAAE,GAAkC,EAAE,IAAwB;IAChG,MAAM,IAAI,GAAiB,EAAE,GAAG,IAAI,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,UAAU,CAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAE,CAAC;IAC7C,IAAK,MAAM,KAAK,SAAS;QAAG,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC;IAC/C,IAAK,GAAG,CAAC,KAAK,KAAK,SAAS;QAAG,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACtD,IAAK,GAAG,CAAC,SAAS,KAAK,SAAS;QAAG,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;IAClE,IAAK,GAAG,CAAC,WAAW,KAAK,SAAS;QAAG,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;IACxE,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS;QAAG,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5D,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS;QAAG,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACnD,IAAK,GAAG,CAAC,UAAU,KAAK,SAAS;QAAG,IAAI,CAAC,UAAU,GAAG,CAAE,GAAG,GAAG,CAAC,UAAU,CAAE,CAAC;IAC5E,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS;QAAG,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5D,8DAA8D;IAC9D,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAAG,IAAI,CAAC,IAAI,GAAG,CAAE,GAAG,GAAG,CAAC,IAAI,CAAE,CAAC;SAC5E,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS;QAAG,OAAO,IAAI,CAAC,IAAI,CAAC;IACpD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAE,MAAqB,EAAE,IAA8B;IACtE,IAAK,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,IAAI,iBAAiB,CAAE,MAAM,CAAE;QAAE,OAAO,MAAM,CAAC;IAC3F,IAAK,OAAO,MAAM,KAAK,QAAQ;QAAG,OAAO,IAAI,CAAE,MAAM,CAAE,CAAC;IACxD,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,CAAE,MAAM,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,IAAI,CAAE,MAAM,CAAC,EAAE,CAAE,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,KAAK,CAAE,GAAmB,EAAE,IAA0C;IAC7E,IAAK,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAG,OAAO,GAAG,CAAC;IACnF,MAAM,IAAI,GAAG,CAAE,MAAoB,EAAiB,EAAE,CAAC,CAAC;QACtD,GAAG,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAE,EAAE,CAAE,IAAI,EAAE,CAAC;KAChE,CAAC,CAAC;IACH,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;IACzD,OAAO;QACL,GAAG,GAAG;QACN,UAAU,EAAE;YACV,GAAG,GAAG,CAAC,UAAU;YACjB,MAAM,EAAE,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAE,SAAS,CAAE,EAAE,GAAG,CAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAE,WAAW,CAAE,EAAE,CAAC,EAAE;SAChJ;KACF,CAAC;AACJ,CAAC;AAED,4HAA4H;AAC5H,SAAS,KAAK,CAAE,GAAY,EAAE,IAA0C;IACtE,MAAM,MAAM,GAAG,CAAkC,OAAyB,EAAY,EAAE,CAAC,OAAO,CAAC,OAAO,CAAE,KAAK,CAAC,EAAE;QAChH,MAAM,IAAI,GAAG,IAAI,CAAE,KAAK,CAAC,IAAI,CAAE,CAAC;QAChC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAE,CAAC;IAC1D,CAAC,CAAC,CAAC;IACH,OAAO;QACL,GAAG,GAAG;QACN,KAAK,EAAE,MAAM,CAAE,GAAG,CAAC,KAAK,CAAE;QAC1B,QAAQ,EAAE,MAAM,CAAE,GAAG,CAAC,QAAQ,CAAE;QAChC,YAAY,EAAE,GAAG,CAAC,YAAY,CAAC,GAAG,CAAE,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,GAAG,EAAE,KAAK,CAAE,WAAW,CAAC,GAAG,EAAE,IAAI,CAAE,EAAE,CAAC,CAAC;QAC7G,GAAG,CAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAE,GAAG,CAAC,MAAM,CAAE,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAE,MAAkB,EAAE,GAAY;IACjE,MAAM,KAAK,GAAG,CAAE,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IACzE,sHAAsH;IACtH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QAC9B,MAAM,EAAE,GAAG,cAAc,CAAE,IAAI,CAAE,CAAC;QAClC,IAAK,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE;YAAE,IAAI,CAAC,GAAG,CAAE,EAAE,EAAE,KAAK,CAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAE,EAAU,EAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,EAAE,CAAC;IAClE,mHAAmH;IACnH,MAAM,QAAQ,GAAG,CAAE,EAAU,EAAW,EAAE,CAAC,OAAO,CAAE,iBAAiB,CAAE,EAAE,EAAE,WAAW,CAAE,IAAI,EAAE,CAAE,CAAC;IAEjG,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAM,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,OAAO,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;QAC7B,IAAK,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;YACrB,SAAS;QACX,CAAC;QACD,KAAK,CAAE,KAAK,CAAE,GAAG,OAAO,CAAE,KAAK,CAAE,KAAK,CAAG,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC;QACzE,MAAM,IAAI,GAAG,cAAc,CAAE,KAAK,CAAE,KAAK,CAAG,CAAE,CAAC;QAC/C,IAAK,IAAI,KAAK,EAAE;YAAG,SAAS;QAC5B,IAAI,CAAC,MAAM,CAAE,EAAE,CAAE,CAAC;QAClB,IAAK,CAAC,IAAI,CAAC,GAAG,CAAE,IAAI,CAAE;YAAE,IAAI,CAAC,GAAG,CAAE,IAAI,EAAE,KAAK,CAAE,CAAC;QAChD,KAAM,MAAM,CAAE,IAAI,EAAE,EAAE,CAAE,IAAI,OAAO;YAAG,IAAK,EAAE,KAAK,EAAE;gBAAG,OAAO,CAAC,GAAG,CAAE,IAAI,EAAE,IAAI,CAAE,CAAC;QACjF,OAAO,CAAC,GAAG,CAAE,EAAE,EAAE,IAAI,CAAE,CAAC;IAC1B,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACjD,MAAM,aAAa,GAAmB,YAAY,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/D,GAAG,IAAI;QACP,IAAI,EAAE,QAAQ,CAAE,IAAI,CAAC,IAAI,CAAE;QAC3B,EAAE,EAAE,QAAQ,CAAE,IAAI,CAAC,EAAE,CAAE;QACvB,GAAG,CAAE,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAE,QAAQ,CAAE,EAAE,CAAC;KACrF,CAAC,CAAC,CAAC;IACJ,+GAA+G;IAC/G,4FAA4F;IAC5F,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAE,IAAI,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,OAAO,CAAE,IAAI,CAAC,EAAE,CAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChI,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC;IAClD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAM,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzC,IAAK,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,OAAO,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;YAC7B,IAAK,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,IAAI,CAAC,MAAM,CAAE,EAAE,CAAE,CAAC;YAClB,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC;YAC1B,OAAO,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;YAClB,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAE,KAAK,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,OAAO,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QACxG,MAAM,QAAQ,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAE,KAAK,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,QAAQ,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3G,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,CAAE,GAAG,EAAE,KAAK,EAAG,EAAE,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1F,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAE,GAAG,EAAE,KAAK,EAAG,EAAE,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7H,IAAK,OAAO,CAAC,MAAM,GAAG,CAAC;YAAG,OAAO,CAAC,OAAO,CAAE,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC,CAAC;;YAC1E,MAAM,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;IAC5B,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QACpD,MAAM,GAAG,GAAG,OAAO,CAAE,IAAI,CAAE,CAAC;QAC5B,IAAK,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,IAAI,OAAO,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,IAAI,OAAO,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,IAAI,IAAI,CAAC,GAAG,CAAE,GAAG,CAAE;YAAE,OAAO,EAAE,CAAC;QACnH,IAAI,CAAC,GAAG,CAAE,GAAG,CAAE,CAAC;QAChB,IAAK,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAG,OAAO,CAAE,IAAI,CAAE,CAAC;QACnD,MAAM,EAAE,QAAQ,EAAE,GAAG,YAAY,EAAE,GAAG,IAAI,CAAC;QAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,CAAC;QACpE,OAAO,CAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,YAAY,CAAE,CAAC;IACtF,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC,CAAC;IAEnF,MAAM,QAAQ,GAAgC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAE,EAAE,CAAC,CAAC,CAAC;IAC9I,MAAM,KAAK,GAAwB;QACjC,OAAO,EAAE;YACP,GAAG,CAAE,MAAM,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;YACzE,GAAG,CAAE,MAAM,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;SAC3D;QACD,MAAM;QACN,MAAM;QACN,QAAQ;KACT,CAAC;IACF,sHAAsH;IACtH,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAE,MAAM,CAAC,OAAO,CAAE,MAAM,CAAE,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,EAAE,KAAK,CAAE,EAAE,EAAE,CACjF,CAAE,GAAG,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAE,GAAuB,CAAE,CAAC,CAAC,CAAC,KAAK,CAAE,CAAC,CAAe,CAAC;IACnF,OAAO;QACL,MAAM,EAAE,MAAM;QACd,GAAG,EAAE,KAAK,CAAE,GAAG,EAAE,EAAE,CAAC,EAAE;YACpB,MAAM,EAAE,GAAG,OAAO,CAAE,EAAE,CAAE,CAAC;YACzB,OAAO,OAAO,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,CAAC,CAAC;QACF,OAAO;QACP,OAAO;KACR,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"effective-design.js","sourceRoot":"","sources":["../../src/effective-design.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAqBxD,MAAM,OAAO,GAAG,CAAE,IAAgD,EAAU,EAAE,CAAC,GAAI,IAAI,CAAC,IAAK,IAAK,IAAI,CAAC,EAAG,IAAK,IAAI,CAAC,IAAK,EAAE,CAAC;AAE5H,yGAAyG;AACzG,SAAS,OAAO,CAAE,IAAkB,EAAE,GAAkC,EAAE,IAAwB;IAChG,MAAM,IAAI,GAAiB,EAAE,GAAG,IAAI,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,UAAU,CAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAE,CAAC;IAC7C,IAAK,MAAM,KAAK,SAAS;QAAG,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC;IAC/C,IAAK,GAAG,CAAC,KAAK,KAAK,SAAS;QAAG,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACtD,IAAK,GAAG,CAAC,SAAS,KAAK,SAAS;QAAG,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;IAClE,IAAK,GAAG,CAAC,WAAW,KAAK,SAAS;QAAG,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;IACxE,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS;QAAG,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5D,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS;QAAG,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACnD,IAAK,GAAG,CAAC,UAAU,KAAK,SAAS;QAAG,IAAI,CAAC,UAAU,GAAG,CAAE,GAAG,GAAG,CAAC,UAAU,CAAE,CAAC;IAC5E,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS;QAAG,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5D,8DAA8D;IAC9D,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAAG,IAAI,CAAC,IAAI,GAAG,CAAE,GAAG,GAAG,CAAC,IAAI,CAAE,CAAC;SAC5E,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS;QAAG,OAAO,IAAI,CAAC,IAAI,CAAC;IACpD,IAAK,GAAG,CAAC,SAAS,KAAK,SAAS;QAAG,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,sHAAsH;AACtH,2FAA2F;AAC3F,SAAS,MAAM,CAAE,IAAc,EAAE,IAA8B;IAC7D,QAAS,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAE,IAAI,CAAC,MAAM,CAAE,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAE,IAAI,CAAC,MAAM,CAAE,EAAE,CAAC;QACzG,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,CAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAE,EAAE,CAAC;QACnE,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,CAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAE,EAAE,CAAC;QACpE,KAAK,QAAQ,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,OAAO,CAAE,KAAK,EAAE,IAAI,CAAE,CAAC,EAAE,CAAC;QAC7F,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACvB,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAE,KAAgB,EAAE,IAA8B;IAChE,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,MAAM,CAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAE,EAAE,CAAC;AAC3F,CAAC;AAED,SAAS,OAAO,CAAE,KAAgB,EAAE,IAA8B;IAChE,IAAK,QAAQ,IAAI,KAAK;QAAG,OAAO,IAAI,CAAE,KAAK,CAAC,MAAM,CAAE,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,IAAI,CAAE,KAAK,CAAC,MAAM,CAAE,EAAE,CAAC;IAC3H,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,OAAO,CAAE,KAAK,EAAE,IAAI,CAAE,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,SAAS,QAAQ,CAAE,MAAqB,EAAE,IAA8B;IACtE,IAAK,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,IAAI,iBAAiB,CAAE,MAAM,CAAE;QAAE,OAAO,MAAM,CAAC;IAC3F,IAAK,OAAO,MAAM,KAAK,QAAQ;QAAG,OAAO,IAAI,CAAE,MAAM,CAAE,CAAC;IACxD,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,CAAE,MAAM,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,IAAI,CAAE,MAAM,CAAC,EAAE,CAAE,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,KAAK,CAAE,GAAmB,EAAE,IAA0C;IAC7E,IAAK,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAG,OAAO,GAAG,CAAC;IACnF,MAAM,IAAI,GAAG,CAAE,MAAoB,EAAiB,EAAE,CAAC,CAAC;QACtD,GAAG,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAE,EAAE,CAAE,IAAI,EAAE,CAAC;KAChE,CAAC,CAAC;IACH,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;IACzD,OAAO;QACL,GAAG,GAAG;QACN,UAAU,EAAE;YACV,GAAG,GAAG,CAAC,UAAU;YACjB,MAAM,EAAE,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAE,SAAS,CAAE,EAAE,GAAG,CAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAE,WAAW,CAAE,EAAE,CAAC,EAAE;SAChJ;KACF,CAAC;AACJ,CAAC;AAED,4HAA4H;AAC5H,SAAS,KAAK,CAAE,GAAY,EAAE,IAA0C;IACtE,MAAM,MAAM,GAAG,CAAkC,OAAyB,EAAY,EAAE,CAAC,OAAO,CAAC,OAAO,CAAE,KAAK,CAAC,EAAE;QAChH,MAAM,IAAI,GAAG,IAAI,CAAE,KAAK,CAAC,IAAI,CAAE,CAAC;QAChC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAE,CAAC;IAC1D,CAAC,CAAC,CAAC;IACH,OAAO;QACL,GAAG,GAAG;QACN,KAAK,EAAE,MAAM,CAAE,GAAG,CAAC,KAAK,CAAE;QAC1B,QAAQ,EAAE,MAAM,CAAE,GAAG,CAAC,QAAQ,CAAE;QAChC,YAAY,EAAE,GAAG,CAAC,YAAY,CAAC,GAAG,CAAE,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,GAAG,EAAE,KAAK,CAAE,WAAW,CAAC,GAAG,EAAE,IAAI,CAAE,EAAE,CAAC,CAAC;QAC7G,GAAG,CAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAE,GAAG,CAAC,MAAM,CAAE,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAE,MAAkB,EAAE,GAAY;IACjE,MAAM,KAAK,GAAG,CAAE,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IACzE,sHAAsH;IACtH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QAC9B,MAAM,EAAE,GAAG,cAAc,CAAE,IAAI,CAAE,CAAC;QAClC,IAAK,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE;YAAE,IAAI,CAAC,GAAG,CAAE,EAAE,EAAE,KAAK,CAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAE,EAAU,EAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,EAAE,CAAC;IAClE,mHAAmH;IACnH,MAAM,QAAQ,GAAG,CAAE,EAAU,EAAW,EAAE,CAAC,OAAO,CAAE,iBAAiB,CAAE,EAAE,EAAE,WAAW,CAAE,IAAI,EAAE,CAAE,CAAC;IAEjG,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAM,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,OAAO,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;QAC7B,IAAK,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;YACrB,SAAS;QACX,CAAC;QACD,KAAK,CAAE,KAAK,CAAE,GAAG,OAAO,CAAE,KAAK,CAAE,KAAK,CAAG,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC;QACzE,MAAM,IAAI,GAAG,cAAc,CAAE,KAAK,CAAE,KAAK,CAAG,CAAE,CAAC;QAC/C,IAAK,IAAI,KAAK,EAAE;YAAG,SAAS;QAC5B,IAAI,CAAC,MAAM,CAAE,EAAE,CAAE,CAAC;QAClB,IAAK,CAAC,IAAI,CAAC,GAAG,CAAE,IAAI,CAAE;YAAE,IAAI,CAAC,GAAG,CAAE,IAAI,EAAE,KAAK,CAAE,CAAC;QAChD,KAAM,MAAM,CAAE,IAAI,EAAE,EAAE,CAAE,IAAI,OAAO;YAAG,IAAK,EAAE,KAAK,EAAE;gBAAG,OAAO,CAAC,GAAG,CAAE,IAAI,EAAE,IAAI,CAAE,CAAC;QACjF,OAAO,CAAC,GAAG,CAAE,EAAE,EAAE,IAAI,CAAE,CAAC;IAC1B,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACjD,MAAM,aAAa,GAAmB,YAAY,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/D,GAAG,IAAI;QACP,IAAI,EAAE,QAAQ,CAAE,IAAI,CAAC,IAAI,CAAE;QAC3B,EAAE,EAAE,QAAQ,CAAE,IAAI,CAAC,EAAE,CAAE;QACvB,GAAG,CAAE,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAE,QAAQ,CAAE,EAAE,CAAC;KACrF,CAAC,CAAC,CAAC;IACJ,+GAA+G;IAC/G,4FAA4F;IAC5F,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAE,IAAI,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,OAAO,CAAE,IAAI,CAAC,EAAE,CAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChI,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC;IAClD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAM,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzC,IAAK,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,OAAO,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;YAC7B,IAAK,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,IAAI,CAAC,MAAM,CAAE,EAAE,CAAE,CAAC;YAClB,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC;YAC1B,OAAO,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;YAClB,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAE,KAAK,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,OAAO,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QACxG,MAAM,QAAQ,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAE,KAAK,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,QAAQ,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3G,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,CAAE,GAAG,EAAE,KAAK,EAAG,EAAE,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1F,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAE,GAAG,EAAE,KAAK,EAAG,EAAE,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7H,IAAK,OAAO,CAAC,MAAM,GAAG,CAAC;YAAG,OAAO,CAAC,OAAO,CAAE,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC,CAAC;;YAC1E,MAAM,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;IAC5B,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QACpD,MAAM,GAAG,GAAG,OAAO,CAAE,IAAI,CAAE,CAAC;QAC5B,IAAK,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,IAAI,OAAO,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,IAAI,OAAO,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,IAAI,IAAI,CAAC,GAAG,CAAE,GAAG,CAAE;YAAE,OAAO,EAAE,CAAC;QACnH,IAAI,CAAC,GAAG,CAAE,GAAG,CAAE,CAAC;QAChB,IAAK,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAG,OAAO,CAAE,IAAI,CAAE,CAAC;QACnD,MAAM,EAAE,QAAQ,EAAE,GAAG,YAAY,EAAE,GAAG,IAAI,CAAC;QAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,CAAC;QACpE,OAAO,CAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,YAAY,CAAE,CAAC;IACtF,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAuC,MAAS,EAAM,EAAE,CACrE,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,OAAO,CAAE,MAAM,CAAC,SAAS,EAAE,OAAO,CAAE,EAAE,CAAC;IACjI,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC,CAAC,GAAG,CAAE,MAAM,CAAE,CAAC;IACjG,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,MAAM,CAAE,KAAK,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC;IAE7H,MAAM,QAAQ,GAAgC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAE,EAAE,CAAC,CAAC,CAAC;IAC9I,MAAM,KAAK,GAAwB;QACjC,OAAO,EAAE;YACP,GAAG,CAAE,MAAM,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;YACzE,GAAG,CAAE,MAAM,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;SAC3D;QACD,MAAM,EAAE,UAAU;QAClB,MAAM;QACN,QAAQ;KACT,CAAC;IACF,sHAAsH;IACtH,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAE,MAAM,CAAC,OAAO,CAAE,MAAM,CAAE,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,EAAE,KAAK,CAAE,EAAE,EAAE,CACjF,CAAE,GAAG,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAE,GAAuB,CAAE,CAAC,CAAC,CAAC,KAAK,CAAE,CAAC,CAAe,CAAC;IACnF,OAAO;QACL,MAAM,EAAE,MAAM;QACd,GAAG,EAAE,KAAK,CAAE,GAAG,EAAE,EAAE,CAAC,EAAE;YACpB,MAAM,EAAE,GAAG,OAAO,CAAE,EAAE,CAAE,CAAC;YACzB,OAAO,OAAO,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,CAAC,CAAC;QACF,OAAO;QACP,OAAO;KACR,CAAC;AACJ,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"entry-points.d.ts","sourceRoot":"","sources":["../../src/entry-points.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,MAAM,MAAM,eAAe,GAAG;IAC5B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,yBAAyB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,YAAY,EAAE,OAAO,CAAC;IACtB,0BAA0B,EAAE,OAAO,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,OAAO,cAAc,EACrB,YAAW,WAAW,CAAC,MAAM,EAAE,aAAa,CAE3C,KACA,eA0CF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,UAAS,gBAAqB,KAC7B,OAE2E,CAAC;AAE/E,eAAO,MAAM,cAAc,GACzB,IAAI,MAAM,EACV,OAAO,eAAe,EACtB,UAAS,gBAAqB,KAC7B,OAOA,CAAC"}
1
+ {"version":3,"file":"entry-points.d.ts","sourceRoot":"","sources":["../../src/entry-points.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,MAAM,MAAM,eAAe,GAAG;IAC5B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,yBAAyB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,YAAY,EAAE,OAAO,CAAC;IACtB,0BAA0B,EAAE,OAAO,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,OAAO,cAAc,EACrB,YAAW,WAAW,CAAC,MAAM,EAAE,aAAa,CAE3C,KACA,eA6CF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,UAAS,gBAAqB,KAC7B,OAE2E,CAAC;AAE/E,eAAO,MAAM,cAAc,GACzB,IAAI,MAAM,EACV,OAAO,eAAe,EACtB,UAAS,gBAAqB,KAC7B,OAOA,CAAC"}
@@ -3,8 +3,10 @@ export const buildEntryPointIndex = (graph, nodesById = new Map(graph.nodes.map(
3
3
  const uiInvokedTargets = new Set();
4
4
  const policyTriggerSubdomains = new Map();
5
5
  for (const edge of graph.edges) {
6
- if (edge.kind === 'issues')
6
+ // A command an external system issues (its reply) stays an entry point.
7
+ if (edge.kind === 'issues' && nodesById.get(edge.from)?.type !== 'external-system') {
7
8
  issuedTargets.add(edge.to);
9
+ }
8
10
  if (edge.kind === 'invokes')
9
11
  uiInvokedTargets.add(edge.to);
10
12
  if (edge.kind === 'triggers') {
@@ -1 +1 @@
1
- {"version":3,"file":"entry-points.js","sourceRoot":"","sources":["../../src/entry-points.ts"],"names":[],"mappings":"AAiBA,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAqB,EACrB,YAAgD,IAAI,GAAG,CACrD,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAW,CAAE,CAC1D,EACgB,EAAE;IACnB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,MAAM,uBAAuB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAE/D,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;QACjC,IAAK,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAG,aAAa,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;QAC3D,IAAK,IAAI,CAAC,IAAI,KAAK,SAAS;YAAG,gBAAgB,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;QAC/D,IAAK,IAAI,CAAC,IAAI,KAAK,UAAU,EAAG,CAAC;YAC/B,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;YAC3C,IAAK,OAAO,EAAG,CAAC;gBACd,MAAM,IAAI,GAAG,uBAAuB,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,IAAI,IAAI,GAAG,EAAU,CAAC;gBACzE,IAAI,CAAC,GAAG,CAAE,OAAO,CAAC,SAAS,CAAE,CAAC;gBAC9B,uBAAuB,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,yBAAyB,GAAG,IAAI,GAAG,EAAU,CAAC;IACpD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;QACjC,IAAK,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAG,SAAS;QACvC,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;QAC7C,IAAK,CAAC,WAAW;YAAG,SAAS;QAC7B,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QACnE,IAAK,CAAC,iBAAiB;YAAG,SAAS;QACnC,KAAM,MAAM,GAAG,IAAI,iBAAiB,EAAG,CAAC;YACtC,IAAK,GAAG,KAAK,WAAW,CAAC,SAAS,EAAG,CAAC;gBACpC,yBAAyB,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;gBACzC,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;QACjC,IAAK,IAAI,CAAC,IAAI,KAAK,SAAS;YAAG,SAAS;QACxC,IAAK,CAAC,aAAa,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,IAAI,gBAAgB,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,EAAG,CAAC;YACvE,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,yBAAyB,EAAE,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAsB,EACtB,UAA4B,EAAE,EACrB,EAAE,CACX,KAAK,CAAC,YAAY;IAClB,CAAE,OAAO,CAAC,mBAAmB,KAAK,IAAI,IAAI,KAAK,CAAC,0BAA0B,CAAE,CAAC;AAE/E,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,EAAU,EACV,KAAsB,EACtB,UAA4B,EAAE,EACrB,EAAE,CACX,sBAAsB,CACpB;IACE,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAE,EAAE,CAAE;IACzC,0BAA0B,EAAE,KAAK,CAAC,yBAAyB,CAAC,GAAG,CAAE,EAAE,CAAE;CACtE,EACD,OAAO,CACR,CAAC"}
1
+ {"version":3,"file":"entry-points.js","sourceRoot":"","sources":["../../src/entry-points.ts"],"names":[],"mappings":"AAiBA,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAqB,EACrB,YAAgD,IAAI,GAAG,CACrD,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAW,CAAE,CAC1D,EACgB,EAAE;IACnB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,MAAM,uBAAuB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAE/D,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;QACjC,wEAAwE;QACxE,IAAK,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,EAAE,IAAI,KAAK,iBAAiB,EAAG,CAAC;YACvF,aAAa,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;QAC/B,CAAC;QACD,IAAK,IAAI,CAAC,IAAI,KAAK,SAAS;YAAG,gBAAgB,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;QAC/D,IAAK,IAAI,CAAC,IAAI,KAAK,UAAU,EAAG,CAAC;YAC/B,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;YAC3C,IAAK,OAAO,EAAG,CAAC;gBACd,MAAM,IAAI,GAAG,uBAAuB,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,IAAI,IAAI,GAAG,EAAU,CAAC;gBACzE,IAAI,CAAC,GAAG,CAAE,OAAO,CAAC,SAAS,CAAE,CAAC;gBAC9B,uBAAuB,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,yBAAyB,GAAG,IAAI,GAAG,EAAU,CAAC;IACpD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;QACjC,IAAK,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAG,SAAS;QACvC,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;QAC7C,IAAK,CAAC,WAAW;YAAG,SAAS;QAC7B,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QACnE,IAAK,CAAC,iBAAiB;YAAG,SAAS;QACnC,KAAM,MAAM,GAAG,IAAI,iBAAiB,EAAG,CAAC;YACtC,IAAK,GAAG,KAAK,WAAW,CAAC,SAAS,EAAG,CAAC;gBACpC,yBAAyB,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;gBACzC,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;QACjC,IAAK,IAAI,CAAC,IAAI,KAAK,SAAS;YAAG,SAAS;QACxC,IAAK,CAAC,aAAa,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,IAAI,gBAAgB,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,EAAG,CAAC;YACvE,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,yBAAyB,EAAE,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAsB,EACtB,UAA4B,EAAE,EACrB,EAAE,CACX,KAAK,CAAC,YAAY;IAClB,CAAE,OAAO,CAAC,mBAAmB,KAAK,IAAI,IAAI,KAAK,CAAC,0BAA0B,CAAE,CAAC;AAE/E,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,EAAU,EACV,KAAsB,EACtB,UAA4B,EAAE,EACrB,EAAE,CACX,sBAAsB,CACpB;IACE,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAE,EAAE,CAAE;IACzC,0BAA0B,EAAE,KAAK,CAAC,yBAAyB,CAAC,GAAG,CAAE,EAAE,CAAE;CACtE,EACD,OAAO,CACR,CAAC"}
@@ -10,6 +10,11 @@ export type NodeMeta = {
10
10
  * to the label's PascalCase.
11
11
  */
12
12
  runtimeName?: string;
13
+ /**
14
+ * BP-270: why an extractor could not read this node's data shape from code (a union, an unresolved identifier). A
15
+ * shape is read whole or not at all, so a node carrying this reason carries no `dataShape`.
16
+ */
17
+ dataShapeUnread?: string;
13
18
  };
14
19
  export type Origin = 'extracted' | 'manual' | 'human' | 'ai' | 'derived';
15
20
  export type DesignAuthor = 'human' | 'ai';
@@ -27,6 +32,65 @@ export type ReadModelSearchIndex = {
27
32
  engine: string;
28
33
  source: NodeSource;
29
34
  };
35
+ /**
36
+ * BP-270 (ADR-127): the type of one field of a data shape, from a closed, framework-neutral vocabulary. A `string` may
37
+ * name a `format` (`date-time`, `email`, `uuid`); an `enum` lists its `values`; a `list` holds `items`; a `map` keys
38
+ * strings to `values`; an `object` lists its own `fields` and is `open` when it admits fields it does not list; a
39
+ * `ref` names the node whose shape it carries by `target` id; a `schema` names a schema the design does not shape.
40
+ */
41
+ export type DataType = {
42
+ kind: 'string';
43
+ format?: string;
44
+ } | {
45
+ kind: 'number';
46
+ } | {
47
+ kind: 'integer';
48
+ } | {
49
+ kind: 'boolean';
50
+ } | {
51
+ kind: 'any';
52
+ } | {
53
+ kind: 'enum';
54
+ values: string[];
55
+ } | {
56
+ kind: 'list';
57
+ items: DataType;
58
+ } | {
59
+ kind: 'map';
60
+ values: DataType;
61
+ } | {
62
+ kind: 'object';
63
+ fields: DataField[];
64
+ open?: boolean;
65
+ } | {
66
+ kind: 'ref';
67
+ target: string;
68
+ } | {
69
+ kind: 'schema';
70
+ name: string;
71
+ };
72
+ export type DataTypeKind = DataType['kind'];
73
+ export declare const DATA_TYPE_KINDS: readonly DataTypeKind[];
74
+ /** BP-270: one named field of a data shape. A field with no `type` is owed. */
75
+ export type DataField = {
76
+ name: string;
77
+ type?: DataType;
78
+ optional?: boolean;
79
+ nullable?: boolean;
80
+ note?: string;
81
+ };
82
+ /**
83
+ * BP-270 (ADR-127): what a command, event, aggregate's state or read-model row carries: its fields, `open` when it
84
+ * admits fields it does not list; or `sameAs` the node id whose shape it repeats.
85
+ */
86
+ export type DataShape = {
87
+ fields: DataField[];
88
+ open?: boolean;
89
+ } | {
90
+ sameAs: string;
91
+ };
92
+ /** BP-270 D4: the node types a data shape may sit on; validateDesign refuses one elsewhere as DATA_SHAPE_NOT_ALLOWED. */
93
+ export declare const DATA_SHAPE_NODE_TYPES: readonly NodeType[];
30
94
  export type BlueprintNode = {
31
95
  id: string;
32
96
  type: NodeType;
@@ -43,6 +107,7 @@ export type BlueprintNode = {
43
107
  generic?: boolean;
44
108
  /** BP-279: the node's tags (tags.ts); absent when it has none. */
45
109
  tags?: string[];
110
+ dataShape?: DataShape;
46
111
  origin?: Origin;
47
112
  status?: DesignStatus;
48
113
  previousLabel?: string;
@@ -1 +1 @@
1
- {"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/nodes.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,MAAM,EAAE,UAAU,CAAC;IACnB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;AAEzE,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,IAAI,CAAC;AAE1C,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,CAAC;AAE7E,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG,aAAa,CAAC;AAEhD,MAAM,MAAM,QAAQ,GAChB,WAAW,GACX,QAAQ,GACR,SAAS,GACT,OAAO,GACP,QAAQ,GACR,YAAY,GACZ,iBAAiB,GACjB,WAAW,GACX,OAAO,GACP,IAAI,GACJ,eAAe,GACf,WAAW,CAAC;AAEhB,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EAahC,CAAC;AAEX,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAahD,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAElE,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,UAAU,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,UAAU,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,cAAc,EAAE,CAAC;IAC3B,aAAa,CAAC,EAAE,oBAAoB,EAAE,CAAC;IACvC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,sHAAsH;IACtH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,kEAAkE;IAClE,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC"}
1
+ {"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/nodes.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,MAAM,EAAE,UAAU,CAAC;IACnB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;AAEzE,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,IAAI,CAAC;AAE1C,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,CAAC;AAE7E,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG,aAAa,CAAC;AAEhD,MAAM,MAAM,QAAQ,GAChB,WAAW,GACX,QAAQ,GACR,SAAS,GACT,OAAO,GACP,QAAQ,GACR,YAAY,GACZ,iBAAiB,GACjB,WAAW,GACX,OAAO,GACP,IAAI,GACJ,eAAe,GACf,WAAW,CAAC;AAEhB,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EAahC,CAAC;AAEX,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAahD,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAElE,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,UAAU,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,UAAU,CAAC;CACpB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,GACf;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErC,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAE,MAAM,CAAE,CAAC;AAE9C,eAAO,MAAM,eAAe,EAAE,SAAS,YAAY,EAEzC,CAAC;AAEX,+EAA+E;AAC/E,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,GACvC;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvB,yHAAyH;AACzH,eAAO,MAAM,qBAAqB,EAAE,SAAS,QAAQ,EAE3C,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,cAAc,EAAE,CAAC;IAC3B,aAAa,CAAC,EAAE,oBAAoB,EAAE,CAAC;IACvC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,sHAAsH;IACtH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,kEAAkE;IAClE,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC"}
@@ -27,4 +27,11 @@ export const NODE_ABBREV = {
27
27
  'invariant': 'inv'
28
28
  };
29
29
  export const NODE_TYPE_BY_ABBREV = Object.fromEntries(NODE_TYPES.map(type => [NODE_ABBREV[type], type]));
30
+ export const DATA_TYPE_KINDS = [
31
+ 'string', 'number', 'integer', 'boolean', 'any', 'enum', 'list', 'map', 'object', 'ref', 'schema'
32
+ ];
33
+ /** BP-270 D4: the node types a data shape may sit on; validateDesign refuses one elsewhere as DATA_SHAPE_NOT_ALLOWED. */
34
+ export const DATA_SHAPE_NODE_TYPES = [
35
+ 'command', 'event', 'aggregate', 'read-model', 'postgres-view'
36
+ ];
30
37
  //# sourceMappingURL=nodes.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"nodes.js","sourceRoot":"","sources":["../../src/nodes.ts"],"names":[],"mappings":"AAqCA,MAAM,CAAC,MAAM,UAAU,GAAwB;IAC7C,WAAW;IACX,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;IACR,YAAY;IACZ,iBAAiB;IACjB,WAAW;IACX,OAAO;IACP,IAAI;IACJ,eAAe;IACf,WAAW;CACH,CAAC;AAEX,MAAM,CAAC,MAAM,WAAW,GAA6B;IACnD,WAAW,EAAE,KAAK;IAClB,QAAQ,EAAE,KAAK;IACf,SAAS,EAAE,KAAK;IAChB,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE,KAAK;IACf,YAAY,EAAE,IAAI;IAClB,iBAAiB,EAAE,KAAK;IACxB,WAAW,EAAE,KAAK;IAClB,OAAO,EAAE,OAAO;IAChB,IAAI,EAAE,IAAI;IACV,eAAe,EAAE,MAAM;IACvB,WAAW,EAAE,KAAK;CACnB,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAuC,MAAM,CAAC,WAAW,CACvF,UAAU,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,CAAE,WAAW,CAAE,IAAI,CAAE,EAAE,IAAI,CAAE,CAAE,CACxD,CAAC"}
1
+ {"version":3,"file":"nodes.js","sourceRoot":"","sources":["../../src/nodes.ts"],"names":[],"mappings":"AA0CA,MAAM,CAAC,MAAM,UAAU,GAAwB;IAC7C,WAAW;IACX,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;IACR,YAAY;IACZ,iBAAiB;IACjB,WAAW;IACX,OAAO;IACP,IAAI;IACJ,eAAe;IACf,WAAW;CACH,CAAC;AAEX,MAAM,CAAC,MAAM,WAAW,GAA6B;IACnD,WAAW,EAAE,KAAK;IAClB,QAAQ,EAAE,KAAK;IACf,SAAS,EAAE,KAAK;IAChB,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE,KAAK;IACf,YAAY,EAAE,IAAI;IAClB,iBAAiB,EAAE,KAAK;IACxB,WAAW,EAAE,KAAK;IAClB,OAAO,EAAE,OAAO;IAChB,IAAI,EAAE,IAAI;IACV,eAAe,EAAE,MAAM;IACvB,WAAW,EAAE,KAAK;CACnB,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAuC,MAAM,CAAC,WAAW,CACvF,UAAU,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,CAAE,WAAW,CAAE,IAAI,CAAE,EAAE,IAAI,CAAE,CAAE,CACxD,CAAC;AAiCF,MAAM,CAAC,MAAM,eAAe,GAA4B;IACtD,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ;CACzF,CAAC;AAmBX,yHAAyH;AACzH,MAAM,CAAC,MAAM,qBAAqB,GAAwB;IACxD,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,eAAe;CACtD,CAAC"}
@@ -1,7 +1,7 @@
1
1
  import type { EdgeKind } from './edges.js';
2
2
  import { type DesignFile } from './design.js';
3
3
  import { type BlueprintGraph } from './graph.js';
4
- import type { DesignAuthor } from './nodes.js';
4
+ import type { DataField, DesignAuthor } from './nodes.js';
5
5
  export type VerbOutcome = 'satisfied' | 'stale' | 'pending';
6
6
  export type VerbSubject = {
7
7
  kind: 'node';
@@ -13,6 +13,15 @@ export type VerbSubject = {
13
13
  edgeKind: EdgeKind;
14
14
  };
15
15
  export declare function verbSubjectKey(subject: VerbSubject): string;
16
+ /**
17
+ * BP-270 D17: how a satisfied verdict's designed data shape stood against the extracted node's. `verified` is false when
18
+ * the shape counted by existence alone (the node carries no shape, its shape was unread, or either side is a `sameAs`);
19
+ * `extra` lists, by path (`traceId`, `address.zip`), the code fields the design does not name, which never fail it (F15=B).
20
+ */
21
+ export type ShapeCheck = {
22
+ verified: boolean;
23
+ extra: string[];
24
+ };
16
25
  export type VerbVerdict = {
17
26
  path: string;
18
27
  verb: 'propose' | 'modify' | 'remove';
@@ -20,6 +29,8 @@ export type VerbVerdict = {
20
29
  outcome: VerbOutcome;
21
30
  subject: VerbSubject;
22
31
  reason: string;
32
+ /** Present on a satisfied propose or modify whose design carries a data shape. */
33
+ shape?: ShapeCheck;
23
34
  };
24
35
  export type RealityCheck = {
25
36
  verdicts: VerbVerdict[];
@@ -28,6 +39,13 @@ export type RealityCheck = {
28
39
  note: string;
29
40
  };
30
41
  export declare function realityMovedNote(satisfied: number, stale: number, degraded?: number): string;
42
+ /**
43
+ * BP-270 D17: why the extracted field `extracted` (undefined: none of that name) does not carry the designed one, by the
44
+ * rule {@link checkDesignAgainstReality} judges a field by; empty when it does. Extra code fields inside it are allowed,
45
+ * as there. The scaffolder (BP-270 D8) calls a designed field changed by this rule, so a field it owes as changed is one
46
+ * the reality check holds pending. (A removed field it also owes is not held pending: extra code fields are allowed.)
47
+ */
48
+ export declare function designedFieldMismatches(designed: DataField, extracted: DataField | undefined): string[];
31
49
  export declare function checkDesignAgainstReality(reality: BlueprintGraph, design: DesignFile | undefined): RealityCheck;
32
50
  export type DecorateSatisfiedInput = {
33
51
  reality: BlueprintGraph;
@@ -1 +1 @@
1
- {"version":3,"file":"reality-check.d.ts","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAiB,MAAM,YAAY,CAAC;AAC1D,OAAO,EACL,KAAK,UAAU,EAOhB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,KAAK,cAAc,EAAgE,MAAM,YAAY,CAAC;AAC/G,OAAO,KAAK,EAAE,YAAY,EAAiC,MAAM,YAAY,CAAC;AAE9E,MAAM,MAAM,WAAW,GACnB,WAAW,GACX,OAAO,GACP,SAAS,CAAC;AAEd,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEnE,wBAAgB,cAAc,CAAE,OAAO,EAAE,WAAW,GAAI,MAAM,CAI7D;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACtC,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,wBAAgB,gBAAgB,CAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,SAAI,GAAI,MAAM,CAGzF;AAqMD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,UAAU,GAAG,SAAS,GAC7B,YAAY,CA4Dd;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,OAAO,EAAE,cAAc,CAAC;IACxB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,KAAK,EAAE,cAAc,CAAC;IACtB,KAAK,EAAE,YAAY,CAAC;CACrB,CAAC;AAEF,wBAAgB,iBAAiB,CAAE,KAAK,EAAE,sBAAsB,GAAI,uBAAuB,CA6B1F"}
1
+ {"version":3,"file":"reality-check.d.ts","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAiB,MAAM,YAAY,CAAC;AAC1D,OAAO,EACL,KAAK,UAAU,EAOhB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,KAAK,cAAc,EAAgE,MAAM,YAAY,CAAC;AAC/G,OAAO,KAAK,EAAE,SAAS,EAAuB,YAAY,EAAiC,MAAM,YAAY,CAAC;AAE9G,MAAM,MAAM,WAAW,GACnB,WAAW,GACX,OAAO,GACP,SAAS,CAAC;AAEd,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEnE,wBAAgB,cAAc,CAAE,OAAO,EAAE,WAAW,GAAI,MAAM,CAI7D;AAED;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACtC,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,kFAAkF;IAClF,KAAK,CAAC,EAAE,UAAU,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,wBAAgB,gBAAgB,CAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,SAAI,GAAI,MAAM,CAGzF;AA+GD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,GAAG,SAAS,GAAI,MAAM,EAAE,CAEzG;AA+LD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,UAAU,GAAG,SAAS,GAC7B,YAAY,CA4Dd;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,OAAO,EAAE,cAAc,CAAC;IACxB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,KAAK,EAAE,cAAc,CAAC;IACtB,KAAK,EAAE,YAAY,CAAC;CACrB,CAAC;AAEF,wBAAgB,iBAAiB,CAAE,KAAK,EAAE,sBAAsB,GAAI,uBAAuB,CA6B1F"}
@@ -41,6 +41,91 @@ function routesOf(queries) {
41
41
  function codesOf(errorCodes) {
42
42
  return [...new Set(errorCodes ?? [])].sort().join('\u0000');
43
43
  }
44
+ /**
45
+ * BP-270 D17: a designed type that leaves the code's type open. `ref` and `schema` match by name only at every depth,
46
+ * since the extractor reads a named schema inline; `any` matches whatever the code narrows it to (F2).
47
+ */
48
+ const leavesTypeOpen = (type) => type.kind === 'any' || type.kind === 'ref' || type.kind === 'schema';
49
+ /**
50
+ * BP-270 D17 (ADR-127 decision 8): why an extracted type does not carry a designed one, recursively. List items and
51
+ * map values recurse; an object's fields are compared as a shape of their own (ADR-127 decision 4); enum values must
52
+ * all be present in code, which may add more; a string format is compared only when the design sets it. `subject`
53
+ * names what a kind mismatch is about: the field's path, or its list items or map values.
54
+ */
55
+ function typeMismatches(path, subject, designed, extracted, extra) {
56
+ if (leavesTypeOpen(designed))
57
+ return [];
58
+ if (designed.kind === 'list' && extracted?.kind === 'list') {
59
+ return typeMismatches(path, `${subject} items`, designed.items, extracted.items, extra);
60
+ }
61
+ if (designed.kind === 'map' && extracted?.kind === 'map') {
62
+ return typeMismatches(path, `${subject} values`, designed.values, extracted.values, extra);
63
+ }
64
+ if (designed.kind === 'object' && extracted?.kind === 'object')
65
+ return fieldsMismatches(`${path}.`, designed.fields, extracted.fields, extra);
66
+ if (designed.kind === 'enum' && extracted?.kind === 'enum') {
67
+ const lacking = designed.values.filter(value => !extracted.values.includes(value));
68
+ return lacking.length > 0 ? [`${path} lacks ${lacking.join(', ')}`] : [];
69
+ }
70
+ if (designed.kind === 'string' && extracted?.kind === 'string') {
71
+ return designed.format !== undefined && designed.format !== extracted.format
72
+ ? [`${path} has format ${extracted.format ?? 'none'}, designed ${designed.format}`]
73
+ : [];
74
+ }
75
+ return designed.kind === extracted?.kind ? [] : [`${subject} ${subject === path ? 'is' : 'are'} ${extracted?.kind ?? 'untyped'}, designed ${designed.kind}`];
76
+ }
77
+ /** BP-270 D17: an untyped, `ref` or `schema` designed field matches by name only; any other compares its flags and type. */
78
+ function fieldMismatches(path, designed, extracted, extra) {
79
+ if (extracted === undefined)
80
+ return [`${path} is missing`];
81
+ if (designed.type === undefined || designed.type.kind === 'ref' || designed.type.kind === 'schema')
82
+ return [];
83
+ const flags = [];
84
+ if ((designed.optional ?? false) !== (extracted.optional ?? false)) {
85
+ flags.push(`${path} is ${extracted.optional ? 'optional' : 'required'}, designed ${designed.optional ? 'optional' : 'required'}`);
86
+ }
87
+ if ((designed.nullable ?? false) !== (extracted.nullable ?? false)) {
88
+ flags.push(`${path} is ${extracted.nullable ? 'nullable' : 'not nullable'}, designed ${designed.nullable ? 'nullable' : 'not nullable'}`);
89
+ }
90
+ return [...typeMismatches(path, path, designed.type, extracted.type, extra), ...flags];
91
+ }
92
+ /**
93
+ * BP-270 D17: why the extracted field `extracted` (undefined: none of that name) does not carry the designed one, by the
94
+ * rule {@link checkDesignAgainstReality} judges a field by; empty when it does. Extra code fields inside it are allowed,
95
+ * as there. The scaffolder (BP-270 D8) calls a designed field changed by this rule, so a field it owes as changed is one
96
+ * the reality check holds pending. (A removed field it also owes is not held pending: extra code fields are allowed.)
97
+ */
98
+ export function designedFieldMismatches(designed, extracted) {
99
+ return fieldMismatches(designed.name, designed, extracted, []);
100
+ }
101
+ /**
102
+ * BP-270 D17 (F15=B): the designed fields the extracted ones do not carry, each named by its path (`address.street`,
103
+ * ADR-127 decision 6). Extra code fields at this level are pushed onto `extra` by path, never failed on; an object's
104
+ * `open` flag is not compared, since extras are allowed either way.
105
+ */
106
+ function fieldsMismatches(prefix, designed, extracted, extra) {
107
+ const byName = new Map(extracted.map(field => [field.name, field]));
108
+ const named = new Set(designed.map(field => field.name));
109
+ extra.push(...extracted.map(field => field.name).filter(name => !named.has(name)).map(name => `${prefix}${name}`));
110
+ return designed.flatMap(field => fieldMismatches(`${prefix}${field.name}`, field, byName.get(field.name), extra));
111
+ }
112
+ /**
113
+ * BP-270 D17 (F15=B): whether the extracted node carries every designed field with its type, compared recursively,
114
+ * and its optional and nullable flags. Extra code fields, at any depth, are listed, never failed on. A node with no
115
+ * shape, an unread one, or a `sameAs` on either side counts by existence and is flagged shape not verified.
116
+ */
117
+ function judgeShape(node, designed) {
118
+ const extracted = node.dataShape;
119
+ if (!('fields' in designed) || extracted === undefined || !('fields' in extracted) || node.meta?.dataShapeUnread !== undefined) {
120
+ const why = node.meta?.dataShapeUnread ?? ('fields' in designed ? 'the extracted node carries no field list' : 'the designed shape repeats another node\'s');
121
+ return { met: true, check: { verified: false, extra: [] }, note: `; shape not verified (${why})` };
122
+ }
123
+ const extra = [];
124
+ const mismatches = fieldsMismatches('', designed.fields, extracted.fields, extra);
125
+ if (mismatches.length > 0)
126
+ return { met: false, reason: mismatches.join('; ') };
127
+ return { met: true, check: { verified: true, extra }, note: extra.length > 0 ? `; extra code fields: ${extra.join(', ')}` : '' };
128
+ }
44
129
  function exhibitsFields(node, set) {
45
130
  if (set.resourceKey !== undefined && node.resourceKey !== set.resourceKey)
46
131
  return false;
@@ -55,6 +140,8 @@ function exhibitsFields(node, set) {
55
140
  // BP-279: tags compare as sets, so a modify setting keyed stays pending until the extracted node carries it.
56
141
  if (set.tags !== undefined && codesOf(node.tags) !== codesOf(set.tags))
57
142
  return false;
143
+ if (set.dataShape !== undefined && !judgeShape(node, set.dataShape).met)
144
+ return false;
58
145
  return true;
59
146
  }
60
147
  function modifyTargetIdentity(entry, reality) {
@@ -91,11 +178,20 @@ function typeWordBuilds(proposedNodes, reality) {
91
178
  }
92
179
  function judgeProposedNode(proposed, reality, identity, builds) {
93
180
  const built = builds.get(identity);
94
- return decide(reality.byIdentity.has(identity)
95
- ? { outcome: 'satisfied', reason: `${identity} now exists in the extracted graph` }
181
+ const node = reality.byIdentity.get(identity) ?? (built === undefined ? undefined : nodeAt(reality, built));
182
+ const shape = node === undefined || proposed.dataShape === undefined ? undefined : judgeShape(node, proposed.dataShape);
183
+ const exists = reality.byIdentity.has(identity)
184
+ ? `${identity} now exists in the extracted graph`
96
185
  : built !== undefined
97
- ? { outcome: 'satisfied', reason: `${identity} now exists in the extracted graph as ${built}, its code name under the repository's type words` }
98
- : undefined, undefined, { outcome: 'pending', reason: `${proposed.label} has not been built yet` });
186
+ ? `${identity} now exists in the extracted graph as ${built}, its code name under the repository's type words`
187
+ : undefined;
188
+ return decide(exists !== undefined && shape?.met !== false
189
+ ? shape === undefined
190
+ ? { outcome: 'satisfied', reason: exists }
191
+ : { outcome: 'satisfied', reason: `${exists}${shape.note}`, shape: shape.check }
192
+ : undefined, undefined, shape?.met === false
193
+ ? { outcome: 'pending', reason: `${proposed.label} is built without its designed shape: ${shape.reason}` }
194
+ : { outcome: 'pending', reason: `${proposed.label} has not been built yet` });
99
195
  }
100
196
  function exhibitsScope(proposed, reality, key) {
101
197
  const declared = proposed.handlers;
@@ -128,13 +224,20 @@ function judgeModifyEntry(entry, reality, proposedIdentities, identity) {
128
224
  // re-extraction never confirms it: it stays pending until the design closes, never satisfied by the node existing.
129
225
  const built = target !== undefined && !isNoteOnlyModify(entry) && exhibitsFields(target, entry.set ?? {});
130
226
  const resolves = nodeAt(reality, entry.id) !== undefined || proposedIdentities.has(entry.id);
227
+ const designedShape = entry.set?.dataShape;
228
+ const shape = target === undefined || designedShape === undefined ? undefined : judgeShape(target, designedShape);
229
+ const asked = `${identity} now exists in the extracted graph as asked`;
131
230
  return decide(built
132
- ? { outcome: 'satisfied', reason: `${identity} now exists in the extracted graph as asked` }
231
+ ? shape?.met === true
232
+ ? { outcome: 'satisfied', reason: `${asked}${shape.note}`, shape: shape.check }
233
+ : { outcome: 'satisfied', reason: asked }
133
234
  : undefined, !resolves
134
235
  ? { outcome: 'stale', reason: `modify targets ${entry.id}, which reality no longer has` }
135
236
  : undefined, isNoteOnlyModify(entry)
136
237
  ? { outcome: 'pending', reason: `${entry.id} carries a change the extracted graph cannot show; it stays pending` }
137
- : { outcome: 'pending', reason: `${entry.id} has not been changed yet` });
238
+ : shape?.met === false
239
+ ? { outcome: 'pending', reason: `${entry.id} has not been changed yet: ${shape.reason}` }
240
+ : { outcome: 'pending', reason: `${entry.id} has not been changed yet` });
138
241
  }
139
242
  function judgeRemoveEntry(entry, reality, proposedIdentities, proposedEdgeKeys) {
140
243
  const [present, subject] = entry.kind === 'node'
@@ -1 +1 @@
1
- {"version":3,"file":"reality-check.js","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":"AACA,OAAO,EAOL,gBAAgB,EACjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAuB,UAAU,EAAE,MAAM,EAAE,WAAW,EAAkB,WAAW,EAAE,MAAM,YAAY,CAAC;AAY/G,MAAM,UAAU,cAAc,CAAE,OAAoB;IAClD,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM;QAC5B,CAAC,CAAC,QAAS,OAAO,CAAC,QAAS,EAAE;QAC9B,CAAC,CAAC,QAAS,OAAO,CAAC,IAAK,IAAK,OAAO,CAAC,EAAG,IAAK,OAAO,CAAC,QAAS,EAAE,CAAC;AACrE,CAAC;AAkBD,MAAM,UAAU,gBAAgB,CAAE,SAAiB,EAAE,KAAa,EAAE,QAAQ,GAAG,CAAC;IAC9E,MAAM,MAAM,GAAG,kBAAmB,SAAU,gBAAiB,KAAM,QAAQ,CAAC;IAC5E,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAI,MAAO,MAAO,QAAS,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;AACxE,CAAC;AAID,SAAS,MAAM,CACb,SAAgC,EAChC,KAA4B,EAC5B,OAAkB;IAElB,OAAO,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC;AACvC,CAAC;AAUD,SAAS,OAAO,CAAE,IAAgD;IAChE,OAAO,GAAI,IAAI,CAAC,IAAK,IAAK,IAAI,CAAC,EAAG,IAAK,IAAI,CAAC,IAAK,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,UAAU,CAAE,IAAmB;IACtC,OAAO,MAAM,CAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAE,CAAC;AACzD,CAAC;AAED,SAAS,YAAY,CAAE,KAAqB;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAC;QAC1B,UAAU,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,IAAI,CAAE,CAAC;IAC7C,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IACxD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAK,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAG,UAAU,CAAC,GAAG,CAAE,OAAO,CAAE,IAAI,CAAE,EAAE,IAAI,CAAC,QAAQ,CAAE,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,GAAG,CAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,CAAE,KAAK,CAAE,EAAE,CAAC;AACxH,CAAC;AAED,SAAS,MAAM,CAAE,OAAgB,EAAE,EAAU;IAC3C,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;AAChE,CAAC;AAED,SAAS,QAAQ,CAAE,OAAqC;IACtD,OAAO,CAAE,GAAG,CAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAE,CAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAE,QAAQ,CAAE,CAAC;AACrF,CAAC;AAED,SAAS,OAAO,CAAE,UAAyC;IACzD,OAAO,CAAE,GAAG,IAAI,GAAG,CAAE,UAAU,IAAI,EAAE,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAE,QAAQ,CAAE,CAAC;AACnE,CAAC;AAED,SAAS,cAAc,CAAE,IAAmB,EAAE,GAAkC;IAC9E,IAAK,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,GAAG,CAAC,WAAW;QAAG,OAAO,KAAK,CAAC;IAC1F,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAE,IAAI,CAAC,OAAO,CAAE,KAAK,QAAQ,CAAE,GAAG,CAAC,OAAO,CAAE;QAAE,OAAO,KAAK,CAAC;IACrG,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;QAAG,OAAO,KAAK,CAAC;IACrE,IAAK,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,CAAE,IAAI,CAAC,UAAU,CAAE,KAAK,OAAO,CAAE,GAAG,CAAC,UAAU,CAAE;QAAE,OAAO,KAAK,CAAC;IAC5G,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,CAAE,IAAI,CAAC,OAAO,IAAI,KAAK,CAAE,KAAK,GAAG,CAAC,OAAO;QAAG,OAAO,KAAK,CAAC;IAC3F,6GAA6G;IAC7G,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAE,IAAI,CAAC,IAAI,CAAE,KAAK,OAAO,CAAE,GAAG,CAAC,IAAI,CAAE;QAAE,OAAO,KAAK,CAAC;IAC1F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAE,KAAkB,EAAE,OAAgB;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAC5C,IAAK,OAAO,EAAE,CAAC;QACb,OAAO,MAAM,CAAE,GAAG,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAE,CAAC;IAChG,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IACvC,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,SAAS,CAAC;IAC7C,OAAO,MAAM,CAAE,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAE,CAAC;AAC5F,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAE,QAAsB,EAAE,OAAgB,EAAE,QAAgB;IACrF,IAAK,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,IAAI,GAAG,UAAU,CAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAE,CAAC;IAChG,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAE,OAAO,EAAE,IAAI,CAAE,CAAC;AACvF,CAAC;AAED,uGAAuG;AACvG,SAAS,cAAc,CAAE,aAAsC,EAAE,OAAgB;IAC/E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAM,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC;QAC7E,MAAM,KAAK,GAAG,kBAAkB,CAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAE,CAAC;QAChE,IAAK,KAAK,KAAK,SAAS;YAAG,MAAM,CAAC,GAAG,CAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAC9D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,OAAgB,EAChB,QAAgB,EAChB,MAAmC;IAEnC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAE,QAAQ,CAAE,CAAC;IACrC,OAAO,MAAM,CACX,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE;QAChC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,oCAAoC,EAAE;QACrF,CAAC,CAAC,KAAK,KAAK,SAAS;YACnB,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,yCAA0C,KAAM,mDAAmD,EAAE;YACpJ,CAAC,CAAC,SAAS,EACf,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,QAAQ,CAAC,KAAM,yBAAyB,EAAE,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAE,QAAsB,EAAE,OAAgB,EAAE,GAAW;IAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACnC,IAAK,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,IAAI,CAAC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,GAAG,CAAE,CAAC;IAC7C,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,KAAK,CAAC;IACzC,OAAO,QAAQ,CAAC,KAAK,CAAE,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAE,SAAS,CAAE,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,OAAgB,EAChB,kBAAuC,EACvC,MAAmC;IAEnC,MAAM,GAAG,GAAG,OAAO,CAAC;QAClB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAE,QAAQ,CAAC,IAAI,CAAE,IAAI,QAAQ,CAAC,IAAI;QAClD,EAAE,EAAE,MAAM,CAAC,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAE,IAAI,QAAQ,CAAC,EAAE;QAC5C,IAAI,EAAE,QAAQ,CAAC,IAAI;KACpB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,CAAE,EAAU,EAAY,EAAE,CACzC,MAAM,CAAE,OAAO,EAAE,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAE,QAAQ,CAAC,IAAI,CAAE;QACzC,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,CAAC,CAAC,CAAC,QAAQ,CAAE,QAAQ,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAEvD,OAAO,MAAM,CACX,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,GAAG,CAAE,IAAI,aAAa,CAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAE;QACjE,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,GAAI,oCAAoC,EAAE;QAChF,CAAC,CAAC,SAAS,EACb,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,4BAA6B,QAAS,+BAA+B,EAAE;QACrG,CAAC,CAAC,SAAS,EACb,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,GAAI,4BAA4B,EAAE,CACrE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,QAA4B;IAE5B,MAAM,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE,CAAC;IACvF,8GAA8G;IAC9G,mHAAmH;IACnH,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAE,KAAK,CAAE,IAAI,cAAc,CAAE,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IAC7G,MAAM,QAAQ,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAEjG,OAAO,MAAM,CACX,KAAK;QACH,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,6CAA6C,EAAE;QAC9F,CAAC,CAAC,SAAS,EACb,CAAC,QAAQ;QACP,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAmB,KAAK,CAAC,EAAG,+BAA+B,EAAE;QAC3F,CAAC,CAAC,SAAS,EACb,gBAAgB,CAAE,KAAK,CAAE;QACvB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,KAAK,CAAC,EAAG,qEAAqE,EAAE;QACpH,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,KAAK,CAAC,EAAG,2BAA2B,EAAE,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,gBAAqC;IAErC,MAAM,CAAE,OAAO,EAAE,OAAO,CAAE,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM;QAChD,CAAC,CAAC,CAAE,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,KAAK,CAAC,EAAE,CAAE;QAC/F,CAAC,CAAC;YACA,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;mBAChF,gBAAgB,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC7F,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;SAClE,CAAC;IAEJ,OAAO,MAAM,CACX,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,OAAQ,mCAAmC,EAAE,EACvG,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,OAAQ,kCAAkC,EAAE,CAC/E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAAuB,EACvB,MAA8B;IAE9B,MAAM,OAAO,GAAG,YAAY,CAAE,OAAO,CAAE,CAAC;IACxC,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,aAAa,CAAC,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC,CAC5F,CAAC;IACF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAE,aAAa,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,cAAc,CAAE,aAAa,EAAE,OAAO,CAAE,CAAC;IAExD,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,MAAM,QAAQ,GAAG,MAAM,CAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC;QAC7E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE;YACnC,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAE;SAC5D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;YACxF,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,CAAE;SACtE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,IAAI,KAAK,CAAC,EAAE,EAAE;YACzD,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,CAAE;SACpE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM;gBAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE;gBACtC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;YAC9E,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,CAAE;SAC5E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,WAAW,CAAE,CAAC;IAChF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,OAAO,CAAE,CAAC;IAExE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAE,EAAE,CAAC;AAClG,CAAC;AAaD,MAAM,UAAU,iBAAiB,CAAE,KAA6B;IAC9D,MAAM,KAAK,GAAG,yBAAyB,CAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAE,CAAC;IACvE,IAAK,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IAE1E,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QAC9B,SAAS,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,KAAK,CAAE,CAAC;QAC3C,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,KAAM,MAAM,OAAO,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,IAAK,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAE,CAAC;YACxD,IAAK,KAAK,KAAK,SAAS;gBAAG,SAAS;YACpC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,KAAK,CAAE,KAAK,CAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACpF,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC;YAClB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ;SACnF,CAAC,CAAC;QACH,KAAK,CAAC,OAAO,CAAC,CAAE,IAAmB,EAAE,KAAK,EAAG,EAAE;YAC7C,IAAK,OAAO,CAAE,IAAI,CAAE,KAAK,GAAG;gBAAG,OAAO;YACtC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC;AAC7D,CAAC"}
1
+ {"version":3,"file":"reality-check.js","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":"AACA,OAAO,EAOL,gBAAgB,EACjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAuB,UAAU,EAAE,MAAM,EAAE,WAAW,EAAkB,WAAW,EAAE,MAAM,YAAY,CAAC;AAY/G,MAAM,UAAU,cAAc,CAAE,OAAoB;IAClD,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM;QAC5B,CAAC,CAAC,QAAS,OAAO,CAAC,QAAS,EAAE;QAC9B,CAAC,CAAC,QAAS,OAAO,CAAC,IAAK,IAAK,OAAO,CAAC,EAAG,IAAK,OAAO,CAAC,QAAS,EAAE,CAAC;AACrE,CAAC;AA8BD,MAAM,UAAU,gBAAgB,CAAE,SAAiB,EAAE,KAAa,EAAE,QAAQ,GAAG,CAAC;IAC9E,MAAM,MAAM,GAAG,kBAAmB,SAAU,gBAAiB,KAAM,QAAQ,CAAC;IAC5E,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAI,MAAO,MAAO,QAAS,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;AACxE,CAAC;AAID,SAAS,MAAM,CACb,SAAgC,EAChC,KAA4B,EAC5B,OAAkB;IAElB,OAAO,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC;AACvC,CAAC;AAUD,SAAS,OAAO,CAAE,IAAgD;IAChE,OAAO,GAAI,IAAI,CAAC,IAAK,IAAK,IAAI,CAAC,EAAG,IAAK,IAAI,CAAC,IAAK,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,UAAU,CAAE,IAAmB;IACtC,OAAO,MAAM,CAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAE,CAAC;AACzD,CAAC;AAED,SAAS,YAAY,CAAE,KAAqB;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAC;QAC1B,UAAU,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,IAAI,CAAE,CAAC;IAC7C,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IACxD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAK,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAG,UAAU,CAAC,GAAG,CAAE,OAAO,CAAE,IAAI,CAAE,EAAE,IAAI,CAAC,QAAQ,CAAE,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,GAAG,CAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,CAAE,KAAK,CAAE,EAAE,CAAC;AACxH,CAAC;AAED,SAAS,MAAM,CAAE,OAAgB,EAAE,EAAU;IAC3C,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;AAChE,CAAC;AAED,SAAS,QAAQ,CAAE,OAAqC;IACtD,OAAO,CAAE,GAAG,CAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAE,CAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAE,QAAQ,CAAE,CAAC;AACrF,CAAC;AAED,SAAS,OAAO,CAAE,UAAyC;IACzD,OAAO,CAAE,GAAG,IAAI,GAAG,CAAE,UAAU,IAAI,EAAE,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAE,QAAQ,CAAE,CAAC;AACnE,CAAC;AAMD;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAE,IAAc,EAAY,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;AAE3H;;;;;GAKG;AACH,SAAS,cAAc,CACrB,IAAY,EACZ,OAAe,EACf,QAAkB,EAClB,SAA+B,EAC/B,KAAe;IAEf,IAAK,cAAc,CAAE,QAAQ,CAAE;QAAE,OAAO,EAAE,CAAC;IAC3C,IAAK,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5D,OAAO,cAAc,CAAE,IAAI,EAAE,GAAI,OAAQ,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,CAAE,CAAC;IAC9F,CAAC;IACD,IAAK,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;QAC1D,OAAO,cAAc,CAAE,IAAI,EAAE,GAAI,OAAQ,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAE,CAAC;IACjG,CAAC;IACD,IAAK,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,EAAE,IAAI,KAAK,QAAQ;QAAG,OAAO,gBAAgB,CAAE,GAAI,IAAK,GAAG,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAE,CAAC;IACpJ,IAAK,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5D,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAE,KAAK,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAE,KAAK,CAAE,CAAC,CAAC;QACtF,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,GAAI,IAAK,UAAW,OAAO,CAAC,IAAI,CAAE,IAAI,CAAG,EAAE,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnF,CAAC;IACD,IAAK,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;YAC1E,CAAC,CAAC,CAAE,GAAI,IAAK,eAAgB,SAAS,CAAC,MAAM,IAAI,MAAO,cAAe,QAAQ,CAAC,MAAO,EAAE,CAAE;YAC3F,CAAC,CAAC,EAAE,CAAC;IACT,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,GAAI,OAAQ,IAAK,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAM,IAAK,SAAS,EAAE,IAAI,IAAI,SAAU,cAAe,QAAQ,CAAC,IAAK,EAAE,CAAE,CAAC;AACzK,CAAC;AAED,4HAA4H;AAC5H,SAAS,eAAe,CAAE,IAAY,EAAE,QAAmB,EAAE,SAAgC,EAAE,KAAe;IAC5G,IAAK,SAAS,KAAK,SAAS;QAAG,OAAO,CAAE,GAAI,IAAK,aAAa,CAAE,CAAC;IACjE,IAAK,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAG,OAAO,EAAE,CAAC;IAChH,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAE,QAAQ,CAAC,QAAQ,IAAI,KAAK,CAAE,KAAK,CAAE,SAAS,CAAC,QAAQ,IAAI,KAAK,CAAE,EAAC,CAAC;QACtE,KAAK,CAAC,IAAI,CAAE,GAAI,IAAK,OAAQ,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAW,cAAe,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAW,EAAE,CAAE,CAAC;IAC5I,CAAC;IACD,IAAI,CAAE,QAAQ,CAAC,QAAQ,IAAI,KAAK,CAAE,KAAK,CAAE,SAAS,CAAC,QAAQ,IAAI,KAAK,CAAE,EAAC,CAAC;QACtE,KAAK,CAAC,IAAI,CAAE,GAAI,IAAK,OAAQ,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAe,cAAe,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAe,EAAE,CAAE,CAAC;IACpJ,CAAC;IACD,OAAO,CAAE,GAAG,cAAc,CAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAE,EAAE,GAAG,KAAK,CAAE,CAAC;AAC7F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAE,QAAmB,EAAE,SAAgC;IAC5F,OAAO,eAAe,CAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAE,MAAc,EAAE,QAAqB,EAAE,SAAsB,EAAE,KAAe;IACvG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAE,SAAS,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,CAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAE,CAAE,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAE,QAAQ,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAE,GAAG,SAAS,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC,MAAM,CAAE,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAE,IAAI,CAAE,CAAC,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,GAAI,MAAO,GAAI,IAAK,EAAE,CAAE,CAAC,CAAC;IAC/H,OAAO,QAAQ,CAAC,OAAO,CAAE,KAAK,CAAC,EAAE,CAAC,eAAe,CAAE,GAAI,MAAO,GAAI,KAAK,CAAC,IAAK,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAE,KAAK,CAAC,IAAI,CAAE,EAAE,KAAK,CAAE,CAAC,CAAC;AAC7H,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAE,IAAmB,EAAE,QAAmB;IAC3D,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAK,CAAC,CAAE,QAAQ,IAAI,QAAQ,CAAE,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,CAAE,QAAQ,IAAI,SAAS,CAAE,IAAI,IAAI,CAAC,IAAI,EAAE,eAAe,KAAK,SAAS,EAAE,CAAC;QACpI,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,eAAe,IAAI,CAAE,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,0CAA0C,CAAC,CAAC,CAAC,4CAA4C,CAAE,CAAC;QAC/J,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,yBAA0B,GAAI,GAAG,EAAE,CAAC;IACvG,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,UAAU,GAAG,gBAAgB,CAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAE,CAAC;IACpF,IAAK,UAAU,CAAC,MAAM,GAAG,CAAC;QAAG,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAE,IAAI,CAAE,EAAE,CAAC;IACpF,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,wBAAyB,KAAK,CAAC,IAAI,CAAE,IAAI,CAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AACvI,CAAC;AAED,SAAS,cAAc,CAAE,IAAmB,EAAE,GAAkC;IAC9E,IAAK,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,GAAG,CAAC,WAAW;QAAG,OAAO,KAAK,CAAC;IAC1F,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAE,IAAI,CAAC,OAAO,CAAE,KAAK,QAAQ,CAAE,GAAG,CAAC,OAAO,CAAE;QAAE,OAAO,KAAK,CAAC;IACrG,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;QAAG,OAAO,KAAK,CAAC;IACrE,IAAK,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,CAAE,IAAI,CAAC,UAAU,CAAE,KAAK,OAAO,CAAE,GAAG,CAAC,UAAU,CAAE;QAAE,OAAO,KAAK,CAAC;IAC5G,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,CAAE,IAAI,CAAC,OAAO,IAAI,KAAK,CAAE,KAAK,GAAG,CAAC,OAAO;QAAG,OAAO,KAAK,CAAC;IAC3F,6GAA6G;IAC7G,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAE,IAAI,CAAC,IAAI,CAAE,KAAK,OAAO,CAAE,GAAG,CAAC,IAAI,CAAE;QAAE,OAAO,KAAK,CAAC;IAC1F,IAAK,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,UAAU,CAAE,IAAI,EAAE,GAAG,CAAC,SAAS,CAAE,CAAC,GAAG;QAAG,OAAO,KAAK,CAAC;IAC1F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAE,KAAkB,EAAE,OAAgB;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAC5C,IAAK,OAAO,EAAE,CAAC;QACb,OAAO,MAAM,CAAE,GAAG,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAE,CAAC;IAChG,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IACvC,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,SAAS,CAAC;IAC7C,OAAO,MAAM,CAAE,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAE,CAAC;AAC5F,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAE,QAAsB,EAAE,OAAgB,EAAE,QAAgB;IACrF,IAAK,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,IAAI,GAAG,UAAU,CAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAE,CAAC;IAChG,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAE,OAAO,EAAE,IAAI,CAAE,CAAC;AACvF,CAAC;AAED,uGAAuG;AACvG,SAAS,cAAc,CAAE,aAAsC,EAAE,OAAgB;IAC/E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAM,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC;QAC7E,MAAM,KAAK,GAAG,kBAAkB,CAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAE,CAAC;QAChE,IAAK,KAAK,KAAK,SAAS;YAAG,MAAM,CAAC,GAAG,CAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAC9D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,OAAgB,EAChB,QAAgB,EAChB,MAAmC;IAEnC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAE,QAAQ,CAAE,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE,IAAI,CAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAE,OAAO,EAAE,KAAK,CAAE,CAAC,CAAC;IACjH,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAE,CAAC;IAC1H,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE;QAC/C,CAAC,CAAC,GAAI,QAAS,oCAAoC;QACnD,CAAC,CAAC,KAAK,KAAK,SAAS;YACnB,CAAC,CAAC,GAAI,QAAS,yCAA0C,KAAM,mDAAmD;YAClH,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,MAAM,CACX,MAAM,KAAK,SAAS,IAAI,KAAK,EAAE,GAAG,KAAK,KAAK;QAC1C,CAAC,CAAC,KAAK,KAAK,SAAS;YACnB,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE;YAC1C,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,MAAO,GAAI,KAAK,CAAC,IAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;QACtF,CAAC,CAAC,SAAS,EACb,SAAS,EACT,KAAK,EAAE,GAAG,KAAK,KAAK;QAClB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,QAAQ,CAAC,KAAM,yCAA0C,KAAK,CAAC,MAAO,EAAE,EAAE;QAC9G,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,QAAQ,CAAC,KAAM,yBAAyB,EAAE,CACjF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAE,QAAsB,EAAE,OAAgB,EAAE,GAAW;IAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACnC,IAAK,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,IAAI,CAAC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,GAAG,CAAE,CAAC;IAC7C,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,KAAK,CAAC;IACzC,OAAO,QAAQ,CAAC,KAAK,CAAE,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAE,SAAS,CAAE,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,OAAgB,EAChB,kBAAuC,EACvC,MAAmC;IAEnC,MAAM,GAAG,GAAG,OAAO,CAAC;QAClB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAE,QAAQ,CAAC,IAAI,CAAE,IAAI,QAAQ,CAAC,IAAI;QAClD,EAAE,EAAE,MAAM,CAAC,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAE,IAAI,QAAQ,CAAC,EAAE;QAC5C,IAAI,EAAE,QAAQ,CAAC,IAAI;KACpB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,CAAE,EAAU,EAAY,EAAE,CACzC,MAAM,CAAE,OAAO,EAAE,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAE,QAAQ,CAAC,IAAI,CAAE;QACzC,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,CAAC,CAAC,CAAC,QAAQ,CAAE,QAAQ,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAEvD,OAAO,MAAM,CACX,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,GAAG,CAAE,IAAI,aAAa,CAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAE;QACjE,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,GAAI,oCAAoC,EAAE;QAChF,CAAC,CAAC,SAAS,EACb,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,4BAA6B,QAAS,+BAA+B,EAAE;QACrG,CAAC,CAAC,SAAS,EACb,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,GAAI,4BAA4B,EAAE,CACrE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,QAA4B;IAE5B,MAAM,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE,CAAC;IACvF,8GAA8G;IAC9G,mHAAmH;IACnH,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAE,KAAK,CAAE,IAAI,cAAc,CAAE,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IAC7G,MAAM,QAAQ,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IACjG,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,EAAE,SAAS,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAE,MAAM,EAAE,aAAa,CAAE,CAAC;IACpH,MAAM,KAAK,GAAG,GAAI,QAAS,6CAA6C,CAAC;IAEzE,OAAO,MAAM,CACX,KAAK;QACH,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,IAAI;YACnB,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,KAAM,GAAI,KAAK,CAAC,IAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;YACnF,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE;QAC3C,CAAC,CAAC,SAAS,EACb,CAAC,QAAQ;QACP,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAmB,KAAK,CAAC,EAAG,+BAA+B,EAAE;QAC3F,CAAC,CAAC,SAAS,EACb,gBAAgB,CAAE,KAAK,CAAE;QACvB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,KAAK,CAAC,EAAG,qEAAqE,EAAE;QACpH,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,KAAK;YACpB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,KAAK,CAAC,EAAG,8BAA+B,KAAK,CAAC,MAAO,EAAE,EAAE;YAC7F,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,KAAK,CAAC,EAAG,2BAA2B,EAAE,CAC/E,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,gBAAqC;IAErC,MAAM,CAAE,OAAO,EAAE,OAAO,CAAE,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM;QAChD,CAAC,CAAC,CAAE,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,KAAK,CAAC,EAAE,CAAE;QAC/F,CAAC,CAAC;YACA,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;mBAChF,gBAAgB,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC7F,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;SAClE,CAAC;IAEJ,OAAO,MAAM,CACX,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,OAAQ,mCAAmC,EAAE,EACvG,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,OAAQ,kCAAkC,EAAE,CAC/E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAAuB,EACvB,MAA8B;IAE9B,MAAM,OAAO,GAAG,YAAY,CAAE,OAAO,CAAE,CAAC;IACxC,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,aAAa,CAAC,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC,CAC5F,CAAC;IACF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAE,aAAa,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,cAAc,CAAE,aAAa,EAAE,OAAO,CAAE,CAAC;IAExD,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,MAAM,QAAQ,GAAG,MAAM,CAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC;QAC7E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE;YACnC,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAE;SAC5D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;YACxF,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,CAAE;SACtE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,IAAI,KAAK,CAAC,EAAE,EAAE;YACzD,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,CAAE;SACpE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM;gBAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE;gBACtC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;YAC9E,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,CAAE;SAC5E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,WAAW,CAAE,CAAC;IAChF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,OAAO,CAAE,CAAC;IAExE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAE,EAAE,CAAC;AAClG,CAAC;AAaD,MAAM,UAAU,iBAAiB,CAAE,KAA6B;IAC9D,MAAM,KAAK,GAAG,yBAAyB,CAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAE,CAAC;IACvE,IAAK,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IAE1E,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QAC9B,SAAS,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,KAAK,CAAE,CAAC;QAC3C,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,KAAM,MAAM,OAAO,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,IAAK,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAE,CAAC;YACxD,IAAK,KAAK,KAAK,SAAS;gBAAG,SAAS;YACpC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,KAAK,CAAE,KAAK,CAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACpF,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC;YAClB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ;SACnF,CAAC,CAAC;QACH,KAAK,CAAC,OAAO,CAAC,CAAE,IAAmB,EAAE,KAAK,EAAG,EAAE;YAC7C,IAAK,OAAO,CAAE,IAAI,CAAE,KAAK,GAAG;gBAAG,OAAO;YACtC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC;AAC7D,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"spec.d.ts","sourceRoot":"","sources":["../../src/spec.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,KAAK,UAAU,EAAwE,MAAM,aAAa,CAAC;AAKxI,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAmE,MAAM,oBAAoB,CAAC;AAE/H,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAOnC,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC;AAE5B,eAAO,MAAM,YAAY,EAAE,WAAe,CAAC;AAE3C,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAIjC,eAAO,MAAM,gBAAgB,qJAUnB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,OAAO,gBAAgB,CAAE,MAAM,CAAE,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,EAAE,EAAE,WAAW,CAAC;IAChB,OAAO,EAAE,aAAa,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,MAAM,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,WAAW,EAAE,WAAW,CAAC;IACzB,OAAO,EAAE,SAAS,EAAE,CAAC;CACtB,CAAC;AAEF,sFAAsF;AACtF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,EAAE,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7D,MAAM,MAAM,mBAAmB,GAAG;IAChC,OAAO,EAAE,UAAU,EAAE,CAAC;CACvB,CAAC;AAEF,6EAA6E;AAC7E,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB,CAAC;AAEF,wBAAgB,SAAS,IAAI,QAAQ,CAEpC;AASD,wBAAgB,eAAe,CAAE,KAAK,EAAE,OAAO,GAAI,KAAK,IAAI,aAAa,CAExE;AAyBD,gFAAgF;AAChF,wBAAgB,aAAa,CAAE,OAAO,EAAE,OAAO,GAAI,SAAS,CAE3D;AAED,6EAA6E;AAC7E,wBAAgB,eAAe,CAAE,OAAO,EAAE,OAAO,GAAI,SAAS,CAM7D;AAYD;;;GAGG;AACH,wBAAgB,aAAa,CAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,GAAI,QAAQ,CAE7E;AAID,MAAM,MAAM,WAAW,GACnB,WAAW,GACX,eAAe,GACf,eAAe,GACf,kBAAkB,GAClB,sBAAsB,GACtB,mBAAmB,GACnB,YAAY,GACZ,sBAAsB,GACtB,eAAe,GACf,mBAAmB,GACnB,6BAA6B,GAC7B,wBAAwB,GACxB,mBAAmB,CAAC;AAExB,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,WAAW,CAAC;IAClB,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC;IACnB,MAAM,EAAE,UAAU,CAAC;IACnB,GAAG,EAAE,OAAO,CAAC;IACb,IAAI,EAAE,QAAQ,CAAC;IACf,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B,CAAC;AAEF,2FAA2F;AAC3F,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B,CAAC;AAEF,6DAA6D;AAC7D,MAAM,MAAM,YAAY,GAAG;IACzB,MAAM,EAAE,UAAU,CAAC;IACnB,GAAG,EAAE,OAAO,CAAC;IACb,IAAI,EAAE,QAAQ,CAAC;CAChB,CAAC;AAEF,8GAA8G;AAC9G,MAAM,MAAM,UAAU,GAAG,CAAE,GAAG,EAAE,SAAS,EAAE,EAAE,KAAM,YAAY,CAAC;AAEhE,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC;IACnB,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,UAAU,CAAC;CACpB,CAAC;AAcF,wBAAgB,aAAa,CAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAI,MAAM,CAE1D;AAsQD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAE,KAAK,EAAE,eAAe,GAAI,MAAM,CAwBhE;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAE,KAAK,EAAE,eAAe,GAAI,MAAM,CAwBhE;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,KAAK,GAAG,QAAQ,CAAC;AAE9C,yHAAyH;AACzH,eAAO,MAAM,sBAAsB,EAAE;IAAE,QAAQ,EAAG,KAAK,IAAI,cAAc,GAAI,SAAS,aAAa,EAAE;CAGpG,CAAC;AAQF,oEAAoE;AACpE,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AA2GlD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAE,KAAK,EAAE,cAAc,EAAE,KAAK,GAAE,cAAyB,GAAI;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,OAAO,EAAE,CAAA;CAAE,CAkBvI;AAED,MAAM,MAAM,cAAc,GAAG;IAAE,cAAc,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhF;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,GAC1F;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,OAAO,EAAE,CAAA;CAAE,CAItE"}
1
+ {"version":3,"file":"spec.d.ts","sourceRoot":"","sources":["../../src/spec.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,KAAK,UAAU,EAA0F,MAAM,aAAa,CAAC;AAK1J,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAmE,MAAM,oBAAoB,CAAC;AAI/H,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAOnC,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC;AAE5B,eAAO,MAAM,YAAY,EAAE,WAAe,CAAC;AAE3C,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAIjC,eAAO,MAAM,gBAAgB,qJAUnB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,OAAO,gBAAgB,CAAE,MAAM,CAAE,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,EAAE,EAAE,WAAW,CAAC;IAChB,OAAO,EAAE,aAAa,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,MAAM,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,WAAW,EAAE,WAAW,CAAC;IACzB,OAAO,EAAE,SAAS,EAAE,CAAC;CACtB,CAAC;AAEF,sFAAsF;AACtF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,EAAE,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7D,MAAM,MAAM,mBAAmB,GAAG;IAChC,OAAO,EAAE,UAAU,EAAE,CAAC;CACvB,CAAC;AAEF,6EAA6E;AAC7E,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB,CAAC;AAEF,wBAAgB,SAAS,IAAI,QAAQ,CAEpC;AASD,wBAAgB,eAAe,CAAE,KAAK,EAAE,OAAO,GAAI,KAAK,IAAI,aAAa,CAExE;AAyBD,gFAAgF;AAChF,wBAAgB,aAAa,CAAE,OAAO,EAAE,OAAO,GAAI,SAAS,CAE3D;AAED,6EAA6E;AAC7E,wBAAgB,eAAe,CAAE,OAAO,EAAE,OAAO,GAAI,SAAS,CAM7D;AAYD;;;GAGG;AACH,wBAAgB,aAAa,CAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,GAAI,QAAQ,CAE7E;AAID,MAAM,MAAM,WAAW,GACnB,WAAW,GACX,eAAe,GACf,eAAe,GACf,kBAAkB,GAClB,sBAAsB,GACtB,mBAAmB,GACnB,YAAY,GACZ,sBAAsB,GACtB,eAAe,GACf,mBAAmB,GACnB,6BAA6B,GAC7B,wBAAwB,GACxB,mBAAmB,CAAC;AAExB,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,WAAW,CAAC;IAClB,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC;IACnB,MAAM,EAAE,UAAU,CAAC;IACnB,GAAG,EAAE,OAAO,CAAC;IACb,IAAI,EAAE,QAAQ,CAAC;IACf,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B,CAAC;AAEF,2FAA2F;AAC3F,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B,CAAC;AAEF,6DAA6D;AAC7D,MAAM,MAAM,YAAY,GAAG;IACzB,MAAM,EAAE,UAAU,CAAC;IACnB,GAAG,EAAE,OAAO,CAAC;IACb,IAAI,EAAE,QAAQ,CAAC;CAChB,CAAC;AAEF,8GAA8G;AAC9G,MAAM,MAAM,UAAU,GAAG,CAAE,GAAG,EAAE,SAAS,EAAE,EAAE,KAAM,YAAY,CAAC;AAEhE,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC;IACnB,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,UAAU,CAAC;CACpB,CAAC;AAcF,wBAAgB,aAAa,CAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAI,MAAM,CAE1D;AAkTD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAE,KAAK,EAAE,eAAe,GAAI,MAAM,CAwBhE;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAE,KAAK,EAAE,eAAe,GAAI,MAAM,CAwBhE;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,KAAK,GAAG,QAAQ,CAAC;AAE9C,yHAAyH;AACzH,eAAO,MAAM,sBAAsB,EAAE;IAAE,QAAQ,EAAG,KAAK,IAAI,cAAc,GAAI,SAAS,aAAa,EAAE;CAGpG,CAAC;AAQF,oEAAoE;AACpE,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AA2GlD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAE,KAAK,EAAE,cAAc,EAAE,KAAK,GAAE,cAAyB,GAAI;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,OAAO,EAAE,CAAA;CAAE,CAkBvI;AAED,MAAM,MAAM,cAAc,GAAG;IAAE,cAAc,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhF;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,GAC1F;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,OAAO,EAAE,CAAA;CAAE,CAItE"}
package/build/esm/spec.js CHANGED
@@ -4,6 +4,7 @@ import { effectiveDesignOf } from './effective-design.js';
4
4
  import { FORK_SCENARIO_KEY_PREFIX, joinForkScenarios } from './fork-scenarios.js';
5
5
  import { emptyGraph, nodeId, parseNodeId } from './graph.js';
6
6
  import { joinMapLinks } from './map-links.js';
7
+ import { canonicalJson } from './op-chain.js';
7
8
  import { anchorTestLevel } from './scenario-test-level.js';
8
9
  export const SPEC_VERSION = 1;
9
10
  // The written sections in spine order, spelled as the spec-post payload carries them. The decision tree's
@@ -239,7 +240,8 @@ const DETAIL_LABELS = {
239
240
  rule: 'Rule',
240
241
  errorCodes: 'Error codes',
241
242
  generic: 'Generic',
242
- tags: 'Tags'
243
+ tags: 'Tags',
244
+ dataShape: 'Data shape'
243
245
  };
244
246
  function detailLines(fields, shown) {
245
247
  return shown.flatMap(field => {
@@ -248,13 +250,49 @@ function detailLines(fields, shown) {
248
250
  return [];
249
251
  const text = field === 'tags' && value.length === 0 ? 'none'
250
252
  : field === 'errorCodes' || field === 'tags' ? value.join(', ')
251
- : field === 'queries' ? JSON.stringify(value)
253
+ : field === 'queries' || field === 'dataShape' ? JSON.stringify(value)
252
254
  : field === 'generic' ? (value ? 'yes' : 'no')
253
255
  : String(value);
254
256
  return [` ${DETAIL_LABELS[field]}: ${text}`];
255
257
  });
256
258
  }
257
- const NODE_DETAIL_FIELDS = ['resourceKey', 'queries', 'rule', 'errorCodes', 'generic', 'tags'];
259
+ const NODE_DETAIL_FIELDS = ['resourceKey', 'queries', 'rule', 'errorCodes', 'generic', 'tags', 'dataShape'];
260
+ /**
261
+ * A shape's field list when it is one whose every field is an object: the render reads documents validation has not
262
+ * seen (a hosted session's ops), so a shape it cannot diff reads as one with no field list rather than throwing.
263
+ */
264
+ const fieldListOf = (shape) => {
265
+ const fields = typeof shape === 'object' && shape !== null ? shape.fields : undefined;
266
+ return Array.isArray(fields) && fields.every(field => typeof field === 'object' && field !== null) ? fields : undefined;
267
+ };
268
+ /**
269
+ * BP-270 T3 (D5): the field diff of a modify's `set.dataShape` against the shape it replaces: the fields it adds, the
270
+ * fields it changes (type, optional, nullable or note, compared regardless of key order) and the fields it removes, a
271
+ * line each when any. A shape that is not a field list on both sides (a `sameAs`, or a malformed one) has no field
272
+ * diff, so the shape it replaces is printed whole.
273
+ */
274
+ function shapeDiffLines(next, previous) {
275
+ const nextFields = fieldListOf(next);
276
+ const previousFields = fieldListOf(previous);
277
+ if (nextFields === undefined || previousFields === undefined) {
278
+ return canonicalJson(next) === canonicalJson(previous) ? [] : [` Previous data shape: ${JSON.stringify(previous)}`];
279
+ }
280
+ const before = new Map(previousFields.map(field => [field.name, canonicalJson(field)]));
281
+ const after = new Set(nextFields.map(field => field.name));
282
+ const added = nextFields.filter(field => !before.has(field.name)).map(field => field.name);
283
+ const changed = nextFields
284
+ .filter(field => before.has(field.name) && before.get(field.name) !== canonicalJson(field))
285
+ .map(field => field.name);
286
+ const removed = previousFields.filter(field => !after.has(field.name)).map(field => field.name);
287
+ return [
288
+ ...(added.length > 0 ? [` Fields added: ${added.join(', ')}`] : []),
289
+ ...(changed.length > 0 ? [` Fields changed: ${changed.join(', ')}`] : []),
290
+ ...(removed.length > 0 ? [` Fields removed: ${removed.join(', ')}`] : [])
291
+ ];
292
+ }
293
+ /** The shape a modify of `entry.id` replaces: the one the node's first shape modify kept from the code (BP-270 D5). */
294
+ const replacedShapeOf = (design, entry) => entry.previousDataShape
295
+ ?? (design.modify ?? []).find(other => other.id === entry.id && other.previousDataShape !== undefined)?.previousDataShape;
258
296
  /**
259
297
  * Specification v1: the type of the node `id` names, which a modify or removal prints so an agent knows what the
260
298
  * extractor can show: the type its id spells (the extractor's `<subdomain>_<abbrev>_<slug>`), else the type of the node
@@ -285,9 +323,12 @@ function artifactsOf(replayed, replayedMap) {
285
323
  const edges = (design.propose?.edges ?? []).map(edge => `- edge \`${edge.from}\` → \`${edge.to}\` (${edge.kind}${edge.handlers === undefined ? '' : `; handlers ${edge.handlers.join(', ')}`})`);
286
324
  const modifies = (design.modify ?? []).flatMap(entry => {
287
325
  const renamed = modifiedIdOf(entry.id, entry.set ?? {});
326
+ const shape = entry.set?.dataShape;
327
+ const replaced = shape === undefined ? undefined : replacedShapeOf(design, entry);
288
328
  return [
289
329
  `- modifies ${nodeTypeOf(design, entry.id)} \`${entry.id}\`${renamed === entry.id ? '' : ` → \`${renamed}\``}${serves(entry.id)}`,
290
330
  ...detailLines(entry.set ?? {}, MODIFIABLE_NODE_FIELDS),
331
+ ...(shape === undefined || replaced === undefined ? [] : shapeDiffLines(shape, replaced)),
291
332
  ...(entry.note === undefined || entry.note.trim() === '' ? [] : [` Change: ${entry.note}`])
292
333
  ];
293
334
  });