@memoarchitect/tools 0.10.8 → 0.11.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (61) hide show
  1. package/README.md +1 -1
  2. package/package.json +2 -2
  3. package/packages/tools/lib/analysis/dsm.d.ts.map +1 -1
  4. package/packages/tools/lib/analysis/dsm.js +9 -4
  5. package/packages/tools/lib/analysis/dsm.js.map +1 -1
  6. package/packages/tools/lib/commands/dev.d.ts.map +1 -1
  7. package/packages/tools/lib/commands/dev.js +23 -1
  8. package/packages/tools/lib/commands/dev.js.map +1 -1
  9. package/packages/tools/lib/completeness/tracker.d.ts.map +1 -1
  10. package/packages/tools/lib/completeness/tracker.js +11 -4
  11. package/packages/tools/lib/completeness/tracker.js.map +1 -1
  12. package/packages/tools/lib/dhf/query-executor.d.ts +1 -1
  13. package/packages/tools/lib/dhf/query-executor.d.ts.map +1 -1
  14. package/packages/tools/lib/dhf/query-executor.js +4 -4
  15. package/packages/tools/lib/dhf/query-executor.js.map +1 -1
  16. package/packages/tools/lib/dhf/template-lint.js +1 -1
  17. package/packages/tools/lib/dhf/template-lint.js.map +1 -1
  18. package/packages/tools/lib/mcp/tools.d.ts.map +1 -1
  19. package/packages/tools/lib/mcp/tools.js +2 -1
  20. package/packages/tools/lib/mcp/tools.js.map +1 -1
  21. package/packages/tools/lib/model/builder.d.ts.map +1 -1
  22. package/packages/tools/lib/model/builder.js +223 -9
  23. package/packages/tools/lib/model/builder.js.map +1 -1
  24. package/packages/tools/lib/model/parser-utils.d.ts +2 -0
  25. package/packages/tools/lib/model/parser-utils.d.ts.map +1 -1
  26. package/packages/tools/lib/model/parser-utils.js +30 -4
  27. package/packages/tools/lib/model/parser-utils.js.map +1 -1
  28. package/packages/tools/lib/model/semantic.d.ts +61 -2
  29. package/packages/tools/lib/model/semantic.d.ts.map +1 -1
  30. package/packages/tools/lib/model/semantic.js +38 -0
  31. package/packages/tools/lib/model/semantic.js.map +1 -1
  32. package/packages/tools/lib/model/view-deriver.d.ts.map +1 -1
  33. package/packages/tools/lib/model/view-deriver.js +66 -20
  34. package/packages/tools/lib/model/view-deriver.js.map +1 -1
  35. package/packages/tools/lib/server/dev-server.d.ts.map +1 -1
  36. package/packages/tools/lib/server/dev-server.js +40 -4
  37. package/packages/tools/lib/server/dev-server.js.map +1 -1
  38. package/packages/tools/lib/server/package-source.d.ts +20 -1
  39. package/packages/tools/lib/server/package-source.d.ts.map +1 -1
  40. package/packages/tools/lib/server/package-source.js +23 -4
  41. package/packages/tools/lib/server/package-source.js.map +1 -1
  42. package/packages/tools/lib/server/package-writer.d.ts +18 -0
  43. package/packages/tools/lib/server/package-writer.d.ts.map +1 -1
  44. package/packages/tools/lib/server/package-writer.js +58 -5
  45. package/packages/tools/lib/server/package-writer.js.map +1 -1
  46. package/packages/tools/lib/server/persistor.d.ts.map +1 -1
  47. package/packages/tools/lib/server/persistor.js +4 -1
  48. package/packages/tools/lib/server/persistor.js.map +1 -1
  49. package/packages/tools/lib/validator/behavior-validator.d.ts +3 -5
  50. package/packages/tools/lib/validator/behavior-validator.d.ts.map +1 -1
  51. package/packages/tools/lib/validator/behavior-validator.js +28 -54
  52. package/packages/tools/lib/validator/behavior-validator.js.map +1 -1
  53. package/packages/tools/lib/validator/builtin-rules.d.ts.map +1 -1
  54. package/packages/tools/lib/validator/builtin-rules.js +14 -9
  55. package/packages/tools/lib/validator/builtin-rules.js.map +1 -1
  56. package/packages/tools/lib/validator/constraint-eval.d.ts.map +1 -1
  57. package/packages/tools/lib/validator/constraint-eval.js +4 -0
  58. package/packages/tools/lib/validator/constraint-eval.js.map +1 -1
  59. package/packages/tools/lib/validator/rule-engine.d.ts.map +1 -1
  60. package/packages/tools/lib/validator/rule-engine.js +9 -2
  61. package/packages/tools/lib/validator/rule-engine.js.map +1 -1
package/packages/tools/lib/validator/rule-engine.js CHANGED
@@ -42,6 +42,13 @@ inScope) {
42
42
  sourceFile: rule.sourceFile,
43
43
  });
44
44
  }
45
+ const unresolvedViolations = (model.unresolvedReferences ?? []).map(ref => ({
46
+ ruleId: 'XR-001', severity: 'error', elementId: ref.elementId,
47
+ elementName: ref.elementName, elementKind: ref.elementKind,
48
+ layer: model.elements.get(ref.elementId)?.layer ?? 'unknown',
49
+ description: `references "${ref.reference}", but package "${ref.packageName}" declares no "${ref.missingName}"`,
50
+ file: ref.file,
51
+ }));
45
52
  const behaviorViolations = validateBehavior(model);
46
53
  // AR-IBD-001's subject scope comes from the ontology's own `appliesTo`,
47
54
  // so the rule's reach is declared where the rule is declared.
@@ -66,7 +73,7 @@ inScope) {
66
73
  nativePassed++;
67
74
  nativeViolations.push(...violations);
68
75
  }
69
- const violations = [...behaviorViolations, ...architectureViolations, ...viewViolations, ...nativeViolations]
76
+ const violations = [...unresolvedViolations, ...behaviorViolations, ...architectureViolations, ...viewViolations, ...nativeViolations]
70
77
  .map(violation => ({
71
78
  ...violation,
72
79
  provenance: model.elements.get(violation.elementId)?.provenance,
@@ -79,7 +86,7 @@ inScope) {
79
86
  // counted only native rules, so "61 evaluated, 32 passed" was reporting
80
87
  // two different denominators as though they were one.
81
88
  const raisedByBuiltinValidators = new Set([
82
- ...behaviorViolations, ...architectureViolations, ...viewViolations,
89
+ ...unresolvedViolations, ...behaviorViolations, ...architectureViolations, ...viewViolations,
83
90
  ].map(violation => violation.ruleId));
84
91
  const builtinPassed = BUILTIN_RULE_IDS.filter(id => !raisedByBuiltinValidators.has(id)).length;
85
92
  const delegatedPassed = delegated.filter(id => !raisedByBuiltinValidators.has(id)).length;
package/packages/tools/lib/validator/rule-engine.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"rule-engine.js","sourceRoot":"","sources":["../../src/validator/rule-engine.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,6EAA6E;AAC7E,4EAA4E;AAC5E,wEAAwE;AACxE,gFAAgF;AAMhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CACzB,KAAgB,EAChB,oBAA0C,EAAE,EAC5C,YAA2B,EAC3B,cAAgC;AAChC,oEAAoE;AACpE,OAA0E;IAE1E,4EAA4E;IAC5E,uEAAuE;IACvE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAmC,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,cAAc,IAAI,EAAE,EAAE,CAAC;QACtC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE;YACtC,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,UAAU,EAAE,IAAI,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;YAC3E,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACxC,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW,IAAI,SAAS;aACrD,CAAC,CAAC;YACH,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,UAAU,EAAE,IAAI,CAAC,UAAU;SAC9B,CAAC,CAAC;IACP,CAAC;IAED,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACnD,wEAAwE;IACxE,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,cAAc,CAAC,EAAE,aAAa,CAAC;IAC5F,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IACnF,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAE5C,MAAM,gBAAgB,GAAgB,EAAE,CAAC;IACzC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,uEAAuE;IACvE,0EAA0E;IAC1E,0EAA0E;IAC1E,wEAAwE;IACxE,0EAA0E;IAC1E,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,UAAU,IAAI,iBAAiB,EAAE,CAAC;QACzC,IAAI,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC5D,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAC9B,SAAS;QACb,CAAC;QACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACpG,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,YAAY,EAAE,CAAC;QAC5C,gBAAgB,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc,EAAE,GAAG,gBAAgB,CAAC;SACxG,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACf,GAAG,SAAS;QACZ,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,UAAU;QAC/D,cAAc,EAAE,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC;KAC3D,CAAC,CAAC,CAAC;IAER,2EAA2E;IAC3E,sEAAsE;IACtE,sEAAsE;IACtE,oEAAoE;IACpE,wEAAwE;IACxE,sDAAsD;IACtD,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;QACtC,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc;KACtE,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACtC,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/F,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAE1F,OAAO;QACH,UAAU;QACV,cAAc,EAAE,gBAAgB,CAAC,MAAM,GAAG,iBAAiB,CAAC,MAAM;QAClE,WAAW,EAAE,aAAa,GAAG,eAAe,GAAG,YAAY;QAC3D,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACN,CAAC"}
1
+ {"version":3,"file":"rule-engine.js","sourceRoot":"","sources":["../../src/validator/rule-engine.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,6EAA6E;AAC7E,4EAA4E;AAC5E,wEAAwE;AACxE,gFAAgF;AAMhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CACzB,KAAgB,EAChB,oBAA0C,EAAE,EAC5C,YAA2B,EAC3B,cAAgC;AAChC,oEAAoE;AACpE,OAA0E;IAE1E,4EAA4E;IAC5E,uEAAuE;IACvE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAmC,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,cAAc,IAAI,EAAE,EAAE,CAAC;QACtC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE;YACtC,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,UAAU,EAAE,IAAI,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;YAC3E,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACxC,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW,IAAI,SAAS;aACrD,CAAC,CAAC;YACH,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,UAAU,EAAE,IAAI,CAAC,UAAU;SAC9B,CAAC,CAAC;IACP,CAAC;IAED,MAAM,oBAAoB,GAAgB,CAAC,KAAK,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrF,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS;QAC7D,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW;QAC1D,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,SAAS;QAC5D,WAAW,EAAE,eAAe,GAAG,CAAC,SAAS,mBAAmB,GAAG,CAAC,WAAW,kBAAkB,GAAG,CAAC,WAAW,GAAG;QAC/G,IAAI,EAAE,GAAG,CAAC,IAAI;KACjB,CAAC,CAAC,CAAC;IAEJ,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACnD,wEAAwE;IACxE,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,cAAc,CAAC,EAAE,aAAa,CAAC;IAC5F,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IACnF,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAE5C,MAAM,gBAAgB,GAAgB,EAAE,CAAC;IACzC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,uEAAuE;IACvE,0EAA0E;IAC1E,0EAA0E;IAC1E,wEAAwE;IACxE,0EAA0E;IAC1E,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,UAAU,IAAI,iBAAiB,EAAE,CAAC;QACzC,IAAI,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC5D,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAC9B,SAAS;QACb,CAAC;QACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACpG,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,YAAY,EAAE,CAAC;QAC5C,gBAAgB,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,GAAG,oBAAoB,EAAE,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc,EAAE,GAAG,gBAAgB,CAAC;SACjI,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACf,GAAG,SAAS;QACZ,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,UAAU;QAC/D,cAAc,EAAE,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC;KAC3D,CAAC,CAAC,CAAC;IAER,2EAA2E;IAC3E,sEAAsE;IACtE,sEAAsE;IACtE,oEAAoE;IACpE,wEAAwE;IACxE,sDAAsD;IACtD,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;QACtC,GAAG,oBAAoB,EAAE,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc;KAC/F,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACtC,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/F,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAE1F,OAAO;QACH,UAAU;QACV,cAAc,EAAE,gBAAgB,CAAC,MAAM,GAAG,iBAAiB,CAAC,MAAM;QAClE,WAAW,EAAE,aAAa,GAAG,eAAe,GAAG,YAAY;QAC3D,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACN,CAAC"}