@mmapp/react-compiler 0.1.0-alpha.1 → 0.1.0-alpha.3

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 (251) hide show
  1. package/ATOM-PIPELINE.md +144 -0
  2. package/README.md +88 -40
  3. package/dist/babel/index.js +113 -6
  4. package/dist/babel/index.mjs +2 -2
  5. package/dist/chunk-3USIFFE4.mjs +2190 -0
  6. package/dist/chunk-45YMGEVT.mjs +186 -0
  7. package/dist/chunk-4FN2AISW.mjs +148 -0
  8. package/dist/chunk-4OPI5L7G.mjs +2593 -0
  9. package/dist/chunk-4RYTKOOJ.mjs +186 -0
  10. package/dist/chunk-5RKTOVR5.mjs +244 -0
  11. package/dist/chunk-5YDMOO4X.mjs +214 -0
  12. package/dist/chunk-64ZWEMLJ.mjs +148 -0
  13. package/dist/chunk-6XP4KSWQ.mjs +2190 -0
  14. package/dist/chunk-72QWL54I.mjs +175 -0
  15. package/dist/chunk-7B4TRI7C.mjs +4835 -0
  16. package/dist/chunk-7ZKGHTNB.mjs +4952 -0
  17. package/dist/chunk-CIESM3BP.mjs +33 -0
  18. package/dist/chunk-DE3ZGQAC.mjs +148 -0
  19. package/dist/chunk-DMCY3BBG.mjs +1933 -0
  20. package/dist/chunk-DPIK3PJS.mjs +244 -0
  21. package/dist/chunk-E5IVH4RE.mjs +186 -0
  22. package/dist/chunk-E6FZNUR5.mjs +4953 -0
  23. package/dist/chunk-EJRBDQDP.mjs +2607 -0
  24. package/dist/chunk-ELO4TXJL.mjs +186 -0
  25. package/dist/chunk-FKRO52XH.mjs +3446 -0
  26. package/dist/chunk-FL4YAKU6.mjs +4941 -0
  27. package/dist/chunk-FYT47UBU.mjs +5076 -0
  28. package/dist/chunk-GCLGPOJZ.mjs +148 -0
  29. package/dist/chunk-GXB4JOP7.mjs +5072 -0
  30. package/dist/chunk-HFXOUMTD.mjs +175 -0
  31. package/dist/chunk-HWIZ47US.mjs +214 -0
  32. package/dist/chunk-IB7MNPQL.mjs +4953 -0
  33. package/dist/chunk-ICSIHQCG.mjs +148 -0
  34. package/dist/chunk-JLA5VNQ3.mjs +186 -0
  35. package/dist/chunk-JQLWFCTM.mjs +214 -0
  36. package/dist/chunk-KFJJCQAL.mjs +148 -0
  37. package/dist/chunk-KJUIIEQE.mjs +186 -0
  38. package/dist/chunk-KNWTHRVQ.mjs +175 -0
  39. package/dist/chunk-KSG4XSZF.mjs +175 -0
  40. package/dist/chunk-LF5N6DOU.mjs +175 -0
  41. package/dist/chunk-LJQCM2IM.mjs +214 -0
  42. package/dist/chunk-NW6555WJ.mjs +186 -0
  43. package/dist/chunk-OMZE6VLQ.mjs +214 -0
  44. package/dist/chunk-P4BR7WVO.mjs +2190 -0
  45. package/dist/chunk-QQHVYH2X.mjs +244 -0
  46. package/dist/chunk-S5QLWLLT.mjs +186 -0
  47. package/dist/chunk-SCWGT2FY.mjs +2190 -0
  48. package/dist/chunk-SMKJUSB3.mjs +2190 -0
  49. package/dist/chunk-VCAY2KGM.mjs +175 -0
  50. package/dist/chunk-WECAV6QB.mjs +148 -0
  51. package/dist/chunk-WMKBXUCE.mjs +3228 -0
  52. package/dist/chunk-XAJ5BKKL.mjs +4947 -0
  53. package/dist/chunk-XG2X7AEA.mjs +175 -0
  54. package/dist/chunk-XG7Z23NQ.mjs +148 -0
  55. package/dist/chunk-XWZAOCQ7.mjs +2607 -0
  56. package/dist/chunk-Y6MA7ULW.mjs +148 -0
  57. package/dist/chunk-YMS7Q7LG.mjs +214 -0
  58. package/dist/chunk-ZA37XTGA.mjs +175 -0
  59. package/dist/cli/index.js +1616 -366
  60. package/dist/cli/index.mjs +8 -8
  61. package/dist/codemod/cli.mjs +1 -1
  62. package/dist/codemod/index.mjs +1 -1
  63. package/dist/dev-server-RmGHIntF.d.mts +113 -0
  64. package/dist/dev-server-RmGHIntF.d.ts +113 -0
  65. package/dist/dev-server.d.mts +1 -1
  66. package/dist/dev-server.d.ts +1 -1
  67. package/dist/dev-server.js +982 -53
  68. package/dist/dev-server.mjs +5 -5
  69. package/dist/envelope.js +113 -6
  70. package/dist/envelope.mjs +3 -3
  71. package/dist/index.d.mts +5 -1
  72. package/dist/index.d.ts +5 -1
  73. package/dist/index.js +992 -63
  74. package/dist/index.mjs +8 -8
  75. package/{src/cli/init.ts → dist/init-7JQMAAXS.mjs} +70 -95
  76. package/dist/init-EHO4VQ22.mjs +369 -0
  77. package/dist/init-UC3FWPIW.mjs +367 -0
  78. package/dist/init-UNSMVKIK.mjs +366 -0
  79. package/dist/init-UNV5XIDE.mjs +367 -0
  80. package/dist/project-compiler-2P4N4DR7.mjs +10 -0
  81. package/dist/project-compiler-D2LCC27O.mjs +10 -0
  82. package/dist/project-compiler-EJ3GANJE.mjs +10 -0
  83. package/dist/project-compiler-LOQKVRZJ.mjs +10 -0
  84. package/dist/project-compiler-RQ6OQKRM.mjs +10 -0
  85. package/dist/project-compiler-VWNNCHGO.mjs +10 -0
  86. package/dist/project-compiler-XVAAU4C5.mjs +10 -0
  87. package/dist/project-compiler-YES5FGMD.mjs +10 -0
  88. package/dist/project-compiler-ZKMQDLGU.mjs +10 -0
  89. package/dist/project-decompiler-FLXCEJHS.mjs +7 -0
  90. package/dist/project-decompiler-VLPR22QF.mjs +7 -0
  91. package/dist/pull-FUS5QYZS.mjs +109 -0
  92. package/dist/pull-LD5ENLGY.mjs +109 -0
  93. package/dist/testing/index.js +113 -6
  94. package/dist/testing/index.mjs +2 -2
  95. package/dist/vite/index.js +113 -6
  96. package/dist/vite/index.mjs +3 -3
  97. package/examples/uber-app/app/admin/fleet.tsx +19 -19
  98. package/package.json +4 -3
  99. package/compile-blueprint-chat.mjs +0 -99
  100. package/compile-blueprint-glass-console.mjs +0 -98
  101. package/compile-chat-defs.mjs +0 -92
  102. package/examples/uber-app/tests/payment.test.tsx +0 -129
  103. package/examples/uber-app/tests/ride-flow.test.tsx +0 -123
  104. package/package.json.backup +0 -86
  105. package/scripts/decompile.ts +0 -226
  106. package/scripts/seed-auth.ts +0 -267
  107. package/scripts/seed-uber.ts +0 -248
  108. package/scripts/validate-uber.ts +0 -119
  109. package/seed-blueprint-chat.mjs +0 -444
  110. package/seed-blueprint-glass-console.mjs +0 -445
  111. package/seed-compiled.mjs +0 -318
  112. package/src/RoundTripValidator.ts +0 -400
  113. package/src/__tests__/atom-rendering-coverage.test.ts +0 -680
  114. package/src/__tests__/auth-module-compilation.test.ts +0 -247
  115. package/src/__tests__/auth-template-compilation.test.ts +0 -589
  116. package/src/__tests__/change-extractor.test.ts +0 -142
  117. package/src/__tests__/cli-pull.test.ts +0 -73
  118. package/src/__tests__/cli-test.test.ts +0 -72
  119. package/src/__tests__/component-extractor.test.ts +0 -331
  120. package/src/__tests__/context-extractor.test.ts +0 -145
  121. package/src/__tests__/decompiler.test.ts +0 -718
  122. package/src/__tests__/define-blueprint.test.ts +0 -133
  123. package/src/__tests__/definition-validator.test.ts +0 -519
  124. package/src/__tests__/during-extractor.test.ts +0 -152
  125. package/src/__tests__/effect-extractor.test.ts +0 -107
  126. package/src/__tests__/event-emission.test.ts +0 -127
  127. package/src/__tests__/examples.test.ts +0 -236
  128. package/src/__tests__/full-blueprint-coverage.test.ts +0 -1221
  129. package/src/__tests__/golden-suite.test.ts +0 -403
  130. package/src/__tests__/grammar-island-extractor.test.ts +0 -289
  131. package/src/__tests__/instance-key.test.ts +0 -82
  132. package/src/__tests__/ir-migration.test.ts +0 -255
  133. package/src/__tests__/lock-file.test.ts +0 -117
  134. package/src/__tests__/model-extractor.test.ts +0 -195
  135. package/src/__tests__/model-field-acl.test.ts +0 -237
  136. package/src/__tests__/model-hooks.test.ts +0 -130
  137. package/src/__tests__/model-ref-resolution.test.ts +0 -268
  138. package/src/__tests__/model-roundtrip.test.ts +0 -502
  139. package/src/__tests__/model-runtime.test.ts +0 -112
  140. package/src/__tests__/model-transitions.test.ts +0 -183
  141. package/src/__tests__/nrt-action-trace.test.ts +0 -391
  142. package/src/__tests__/pipeline-hardening.test.ts +0 -413
  143. package/src/__tests__/project-compiler.test.ts +0 -546
  144. package/src/__tests__/project-decompiler.test.ts +0 -343
  145. package/src/__tests__/query-compilation.test.ts +0 -145
  146. package/src/__tests__/round-trip/PLAN.md +0 -158
  147. package/src/__tests__/round-trip/README.md +0 -52
  148. package/src/__tests__/round-trip/RESULTS.md +0 -86
  149. package/src/__tests__/round-trip/fixtures/data-heavy/main.workflow.tsx +0 -55
  150. package/src/__tests__/round-trip/fixtures/data-heavy/mm.config.ts +0 -11
  151. package/src/__tests__/round-trip/fixtures/data-heavy/models/contact.ts +0 -54
  152. package/src/__tests__/round-trip/fixtures/full-workflow/main.workflow.tsx +0 -79
  153. package/src/__tests__/round-trip/fixtures/full-workflow/mm.config.ts +0 -12
  154. package/src/__tests__/round-trip/fixtures/full-workflow/models/order.ts +0 -50
  155. package/src/__tests__/round-trip/fixtures/simple-crud/main.workflow.tsx +0 -25
  156. package/src/__tests__/round-trip/fixtures/simple-crud/mm.config.ts +0 -11
  157. package/src/__tests__/round-trip/fixtures/simple-crud/models/task.ts +0 -32
  158. package/src/__tests__/round-trip/fixtures/view-heavy/main.workflow.tsx +0 -79
  159. package/src/__tests__/round-trip/fixtures/view-heavy/mm.config.ts +0 -10
  160. package/src/__tests__/round-trip/round-trip.test.ts +0 -2598
  161. package/src/__tests__/round-trip-ir.test.ts +0 -300
  162. package/src/__tests__/round-trip.test.ts +0 -1212
  163. package/src/__tests__/route-merging.test.ts +0 -372
  164. package/src/__tests__/router-composition.test.ts +0 -489
  165. package/src/__tests__/router-extractor.test.ts +0 -176
  166. package/src/__tests__/server-action-extractor.test.ts +0 -128
  167. package/src/__tests__/smart-type-inference.test.ts +0 -365
  168. package/src/__tests__/source-envelope.test.ts +0 -284
  169. package/src/__tests__/source-fidelity.test.ts +0 -516
  170. package/src/__tests__/state-extractor.test.ts +0 -115
  171. package/src/__tests__/strict-mode.test.ts +0 -227
  172. package/src/__tests__/transition-effect-extractor.test.ts +0 -119
  173. package/src/__tests__/transition-extractor.test.ts +0 -68
  174. package/src/__tests__/ts-to-expression.test.ts +0 -462
  175. package/src/__tests__/type-generator.test.ts +0 -201
  176. package/src/__tests__/uber-validation.test.ts +0 -502
  177. package/src/action-compiler.ts +0 -361
  178. package/src/babel/emitters/experience-transform.ts +0 -199
  179. package/src/babel/emitters/ir-to-tsx-emitter.ts +0 -110
  180. package/src/babel/emitters/pure-form-emitter.ts +0 -1023
  181. package/src/babel/emitters/runtime-glue-emitter.ts +0 -39
  182. package/src/babel/extractors/change-extractor.ts +0 -199
  183. package/src/babel/extractors/component-extractor.ts +0 -907
  184. package/src/babel/extractors/computed-extractor.ts +0 -262
  185. package/src/babel/extractors/context-extractor.ts +0 -277
  186. package/src/babel/extractors/during-extractor.ts +0 -295
  187. package/src/babel/extractors/effect-extractor.ts +0 -340
  188. package/src/babel/extractors/event-extractor.ts +0 -235
  189. package/src/babel/extractors/grammar-island-extractor.ts +0 -302
  190. package/src/babel/extractors/model-extractor.ts +0 -1018
  191. package/src/babel/extractors/router-extractor.ts +0 -303
  192. package/src/babel/extractors/server-action-extractor.ts +0 -173
  193. package/src/babel/extractors/server-action-hook-extractor.ts +0 -72
  194. package/src/babel/extractors/server-state-extractor.ts +0 -88
  195. package/src/babel/extractors/state-extractor.ts +0 -214
  196. package/src/babel/extractors/transition-effect-extractor.ts +0 -176
  197. package/src/babel/extractors/transition-extractor.ts +0 -143
  198. package/src/babel/index.ts +0 -24
  199. package/src/babel/transpilers/ts-to-expression.ts +0 -674
  200. package/src/babel/visitor.ts +0 -807
  201. package/src/cli/auth.ts +0 -255
  202. package/src/cli/build.ts +0 -288
  203. package/src/cli/deploy.ts +0 -206
  204. package/src/cli/index.ts +0 -328
  205. package/src/cli/installer.ts +0 -261
  206. package/src/cli/lock-file.ts +0 -94
  207. package/src/cli/mmrc.ts +0 -22
  208. package/src/cli/pull.ts +0 -172
  209. package/src/cli/registry-client.ts +0 -175
  210. package/src/cli/test.ts +0 -397
  211. package/src/cli/type-generator.ts +0 -243
  212. package/src/codemod/__tests__/forward.test.ts +0 -239
  213. package/src/codemod/__tests__/reverse.test.ts +0 -145
  214. package/src/codemod/__tests__/round-trip.test.ts +0 -137
  215. package/src/codemod/annotation.ts +0 -97
  216. package/src/codemod/classify.ts +0 -197
  217. package/src/codemod/cli.ts +0 -207
  218. package/src/codemod/control-flow.ts +0 -409
  219. package/src/codemod/forward.ts +0 -244
  220. package/src/codemod/import-manager.ts +0 -171
  221. package/src/codemod/index.ts +0 -120
  222. package/src/codemod/reverse.ts +0 -197
  223. package/src/codemod/rules.ts +0 -174
  224. package/src/codemod/state-transform.ts +0 -126
  225. package/src/decompiler/ast-builder.ts +0 -538
  226. package/src/decompiler/config-generator.ts +0 -151
  227. package/src/decompiler/index.ts +0 -315
  228. package/src/decompiler/project-decompiler.ts +0 -1776
  229. package/src/decompiler/project.ts +0 -862
  230. package/src/decompiler/split-strategy.ts +0 -140
  231. package/src/decompiler/state-emitter.ts +0 -1053
  232. package/src/decompiler/sx-emitter.ts +0 -318
  233. package/src/decompiler/workspace-hydrator.ts +0 -189
  234. package/src/dev-server.ts +0 -238
  235. package/src/envelope/fs-tree.ts +0 -217
  236. package/src/envelope/source-envelope.ts +0 -264
  237. package/src/envelope.ts +0 -315
  238. package/src/incremental-compiler.ts +0 -401
  239. package/src/index.ts +0 -99
  240. package/src/model-compiler.ts +0 -277
  241. package/src/project-compiler.ts +0 -1629
  242. package/src/route-extractor.ts +0 -333
  243. package/src/testing/index.ts +0 -32
  244. package/src/testing/snapshot.ts +0 -252
  245. package/src/testing/test-utils.ts +0 -226
  246. package/src/types.ts +0 -68
  247. package/src/vite/index.ts +0 -288
  248. package/test-compile.mjs +0 -142
  249. package/tsconfig.json +0 -25
  250. package/tsup.config.ts +0 -23
  251. package/vitest.config.ts +0 -9
@@ -1,133 +0,0 @@
1
- /**
2
- * defineBlueprint Tests — validates blueprint configuration and manifest generation.
3
- */
4
-
5
- import { describe, it, expect } from 'vitest';
6
- import { defineBlueprint } from '../../../react/src/config/defineBlueprint';
7
-
8
- describe('defineBlueprint', () => {
9
- it('should create a manifest with defaults applied', () => {
10
- const manifest = defineBlueprint({
11
- slug: 'my-app',
12
- name: 'My App',
13
- version: '1.0.0',
14
- });
15
-
16
- expect(manifest.slug).toBe('my-app');
17
- expect(manifest.name).toBe('My App');
18
- expect(manifest.version).toBe('1.0.0');
19
- expect(manifest.mode).toBe('infer');
20
- expect(manifest.defaultRuntime).toBe('local');
21
- expect(manifest.category).toBe('blueprint');
22
- });
23
-
24
- it('should preserve explicit mode', () => {
25
- const manifest = defineBlueprint({
26
- slug: 'strict-app',
27
- name: 'Strict App',
28
- version: '1.0.0',
29
- mode: 'strict',
30
- });
31
-
32
- expect(manifest.mode).toBe('strict');
33
- });
34
-
35
- it('should preserve explicit runtime', () => {
36
- const manifest = defineBlueprint({
37
- slug: 'collab-app',
38
- name: 'Collab App',
39
- version: '1.0.0',
40
- defaultRuntime: 'collaborative',
41
- });
42
-
43
- expect(manifest.defaultRuntime).toBe('collaborative');
44
- });
45
-
46
- it('should preserve contributes_to', () => {
47
- const manifest = defineBlueprint({
48
- slug: 'plugin-app',
49
- name: 'Plugin',
50
- version: '1.0.0',
51
- contributes_to: {
52
- 'mm-dashboard': {
53
- sidebar: ['ChatSidebar'],
54
- toolbar: ['ChatToolbar'],
55
- },
56
- },
57
- });
58
-
59
- expect(manifest.contributes_to).toBeDefined();
60
- expect(manifest.contributes_to!['mm-dashboard'].sidebar).toEqual(['ChatSidebar']);
61
- });
62
-
63
- it('should throw for missing slug', () => {
64
- expect(() => defineBlueprint({
65
- slug: '',
66
- name: 'No Slug',
67
- version: '1.0.0',
68
- })).toThrow('slug is required');
69
- });
70
-
71
- it('should throw for missing name', () => {
72
- expect(() => defineBlueprint({
73
- slug: 'test',
74
- name: '',
75
- version: '1.0.0',
76
- })).toThrow('name is required');
77
- });
78
-
79
- it('should throw for missing version', () => {
80
- expect(() => defineBlueprint({
81
- slug: 'test',
82
- name: 'Test',
83
- version: '',
84
- })).toThrow('version is required');
85
- });
86
-
87
- it('should throw for non-kebab-case slug', () => {
88
- expect(() => defineBlueprint({
89
- slug: 'MyApp',
90
- name: 'My App',
91
- version: '1.0.0',
92
- })).toThrow('kebab-case');
93
- });
94
-
95
- it('should throw for invalid version format', () => {
96
- expect(() => defineBlueprint({
97
- slug: 'test',
98
- name: 'Test',
99
- version: 'abc',
100
- })).toThrow('semver');
101
- });
102
-
103
- it('should accept valid semver versions', () => {
104
- const manifest = defineBlueprint({
105
- slug: 'test',
106
- name: 'Test',
107
- version: '0.1.0-beta.1',
108
- });
109
- expect(manifest.version).toBe('0.1.0-beta.1');
110
- });
111
-
112
- it('should preserve description', () => {
113
- const manifest = defineBlueprint({
114
- slug: 'test',
115
- name: 'Test',
116
- version: '1.0.0',
117
- description: 'A test blueprint',
118
- });
119
- expect(manifest.description).toBe('A test blueprint');
120
- });
121
-
122
- it('should preserve entries and models paths', () => {
123
- const manifest = defineBlueprint({
124
- slug: 'test',
125
- name: 'Test',
126
- version: '1.0.0',
127
- entries: ['app/page.tsx', 'app/settings/page.tsx'],
128
- models: ['models/channel.ts', 'models/message.ts'],
129
- });
130
- expect(manifest.entries).toEqual(['app/page.tsx', 'app/settings/page.tsx']);
131
- expect(manifest.models).toEqual(['models/channel.ts', 'models/message.ts']);
132
- });
133
- });
@@ -1,519 +0,0 @@
1
- /**
2
- * Definition Validator Tests — validates structural, referential,
3
- * semantic, and experience tree validation of compiled IR.
4
- */
5
-
6
- import { describe, it, expect } from 'vitest';
7
- import { validateDefinition, isViableDefinition } from '@mindmatrix/player-core';
8
- import type { IRWorkflowDefinition } from '@mindmatrix/player-core';
9
-
10
- // =============================================================================
11
- // Helpers
12
- // =============================================================================
13
-
14
- function createMinimalDefinition(overrides: Partial<IRWorkflowDefinition> = {}): IRWorkflowDefinition {
15
- return {
16
- slug: 'test-workflow',
17
- name: 'Test Workflow',
18
- version: '1.0.0',
19
- category: 'test',
20
- states: [
21
- { name: 'draft', type: 'START', on_enter: [], during: [], on_exit: [] },
22
- { name: 'active', type: 'REGULAR', on_enter: [], during: [], on_exit: [] },
23
- ],
24
- transitions: [
25
- { name: 'activate', from: ['draft'], to: 'active', actions: [] },
26
- ],
27
- fields: [
28
- { name: 'title', type: 'text', default_value: '' },
29
- ],
30
- roles: [],
31
- ...overrides,
32
- };
33
- }
34
-
35
- // =============================================================================
36
- // Structural Validation
37
- // =============================================================================
38
-
39
- describe('Structural Validation', () => {
40
- it('should pass for a valid minimal definition', () => {
41
- const def = createMinimalDefinition();
42
- const result = validateDefinition(def);
43
- expect(result.valid).toBe(true);
44
- expect(result.errorCount).toBe(0);
45
- });
46
-
47
- it('should error on missing slug', () => {
48
- const def = createMinimalDefinition({ slug: '' });
49
- const result = validateDefinition(def);
50
- expect(result.issues.some(i => i.code === 'MISSING_SLUG')).toBe(true);
51
- });
52
-
53
- it('should warn on missing name', () => {
54
- const def = createMinimalDefinition({ name: '' });
55
- const result = validateDefinition(def);
56
- const issue = result.issues.find(i => i.code === 'MISSING_NAME');
57
- expect(issue).toBeDefined();
58
- expect(issue!.severity).toBe('warning');
59
- });
60
-
61
- it('should error on no states', () => {
62
- const def = createMinimalDefinition({ states: [] });
63
- const result = validateDefinition(def);
64
- expect(result.issues.some(i => i.code === 'NO_STATES')).toBe(true);
65
- expect(result.valid).toBe(false);
66
- });
67
-
68
- it('should error on state missing type', () => {
69
- const def = createMinimalDefinition({
70
- states: [{ name: 'draft', type: '' as any, on_enter: [], during: [], on_exit: [] }],
71
- });
72
- const result = validateDefinition(def);
73
- expect(result.issues.some(i => i.code === 'STATE_MISSING_TYPE')).toBe(true);
74
- });
75
-
76
- it('should error on duplicate field names', () => {
77
- const def = createMinimalDefinition({
78
- fields: [
79
- { name: 'title', type: 'text', default_value: '' },
80
- { name: 'title', type: 'number', default_value: 0 },
81
- ],
82
- });
83
- const result = validateDefinition(def);
84
- expect(result.issues.some(i => i.code === 'DUPLICATE_FIELD')).toBe(true);
85
- });
86
-
87
- it('should error on transition missing from', () => {
88
- const def = createMinimalDefinition({
89
- transitions: [{ name: 'go', from: [], to: 'active', actions: [] }],
90
- });
91
- const result = validateDefinition(def);
92
- expect(result.issues.some(i => i.code === 'TRANSITION_MISSING_FROM')).toBe(true);
93
- });
94
-
95
- it('should error on transition missing to', () => {
96
- const def = createMinimalDefinition({
97
- transitions: [{ name: 'go', from: ['draft'], to: '', actions: [] }],
98
- });
99
- const result = validateDefinition(def);
100
- expect(result.issues.some(i => i.code === 'TRANSITION_MISSING_TO')).toBe(true);
101
- });
102
-
103
- it('should validate during action structure', () => {
104
- const def = createMinimalDefinition({
105
- states: [
106
- {
107
- name: 'draft', type: 'START', on_enter: [], on_exit: [],
108
- during: [{ id: 'd1', type: 'interval', actions: [] }], // missing interval_ms
109
- },
110
- ],
111
- });
112
- const result = validateDefinition(def);
113
- expect(result.issues.some(i => i.code === 'DURING_MISSING_INTERVAL')).toBe(true);
114
- });
115
- });
116
-
117
- // =============================================================================
118
- // Referential Validation
119
- // =============================================================================
120
-
121
- describe('Referential Validation', () => {
122
- it('should error on transition referencing unknown from state', () => {
123
- const def = createMinimalDefinition({
124
- transitions: [
125
- { name: 'activate', from: ['nonexistent'], to: 'active', actions: [] },
126
- ],
127
- });
128
- const result = validateDefinition(def);
129
- expect(result.issues.some(i => i.code === 'TRANSITION_UNKNOWN_FROM')).toBe(true);
130
- });
131
-
132
- it('should error on transition referencing unknown to state', () => {
133
- const def = createMinimalDefinition({
134
- transitions: [
135
- { name: 'activate', from: ['draft'], to: 'nonexistent', actions: [] },
136
- ],
137
- });
138
- const result = validateDefinition(def);
139
- expect(result.issues.some(i => i.code === 'TRANSITION_UNKNOWN_TO')).toBe(true);
140
- });
141
-
142
- it('should warn on set_field action referencing unknown field', () => {
143
- const def = createMinimalDefinition({
144
- states: [{
145
- name: 'draft', type: 'START', during: [], on_exit: [],
146
- on_enter: [{ id: 'a1', type: 'set_field', mode: 'auto', config: { field: 'nonexistent', value: 'x' } }],
147
- }],
148
- });
149
- const result = validateDefinition(def);
150
- expect(result.issues.some(i => i.code === 'ACTION_UNKNOWN_FIELD')).toBe(true);
151
- });
152
-
153
- it('should warn on field visible_in_states referencing unknown state', () => {
154
- const def = createMinimalDefinition({
155
- fields: [{ name: 'title', type: 'text', visible_in_states: ['nonexistent'] }],
156
- });
157
- const result = validateDefinition(def);
158
- expect(result.issues.some(i => i.code === 'FIELD_UNKNOWN_STATE')).toBe(true);
159
- });
160
-
161
- it('should pass clean referential check on valid definition', () => {
162
- const def = createMinimalDefinition();
163
- const result = validateDefinition(def);
164
- const refIssues = result.issues.filter(i => i.category === 'referential');
165
- expect(refIssues).toHaveLength(0);
166
- });
167
- });
168
-
169
- // =============================================================================
170
- // Semantic Validation
171
- // =============================================================================
172
-
173
- describe('Semantic Validation', () => {
174
- it('should error on no START state', () => {
175
- const def = createMinimalDefinition({
176
- states: [
177
- { name: 'active', type: 'REGULAR', on_enter: [], during: [], on_exit: [] },
178
- ],
179
- transitions: [],
180
- });
181
- const result = validateDefinition(def);
182
- expect(result.issues.some(i => i.code === 'NO_START_STATE')).toBe(true);
183
- });
184
-
185
- it('should error on multiple START states', () => {
186
- const def = createMinimalDefinition({
187
- states: [
188
- { name: 'draft', type: 'START', on_enter: [], during: [], on_exit: [] },
189
- { name: 'init', type: 'START', on_enter: [], during: [], on_exit: [] },
190
- ],
191
- });
192
- const result = validateDefinition(def);
193
- expect(result.issues.some(i => i.code === 'MULTIPLE_START_STATES')).toBe(true);
194
- });
195
-
196
- it('should error on duplicate state names', () => {
197
- const def = createMinimalDefinition({
198
- states: [
199
- { name: 'draft', type: 'START', on_enter: [], during: [], on_exit: [] },
200
- { name: 'draft', type: 'REGULAR', on_enter: [], during: [], on_exit: [] },
201
- ],
202
- });
203
- const result = validateDefinition(def);
204
- expect(result.issues.some(i => i.code === 'DUPLICATE_STATE')).toBe(true);
205
- });
206
-
207
- it('should warn on unreachable states', () => {
208
- const def = createMinimalDefinition({
209
- states: [
210
- { name: 'draft', type: 'START', on_enter: [], during: [], on_exit: [] },
211
- { name: 'active', type: 'REGULAR', on_enter: [], during: [], on_exit: [] },
212
- { name: 'orphan', type: 'REGULAR', on_enter: [], during: [], on_exit: [] },
213
- ],
214
- transitions: [
215
- { name: 'activate', from: ['draft'], to: 'active', actions: [] },
216
- ],
217
- });
218
- const result = validateDefinition(def);
219
- expect(result.issues.some(i => i.code === 'UNREACHABLE_STATE' && i.message.includes('orphan'))).toBe(true);
220
- });
221
-
222
- it('should warn on dead-end non-END states', () => {
223
- const def = createMinimalDefinition({
224
- states: [
225
- { name: 'draft', type: 'START', on_enter: [], during: [], on_exit: [] },
226
- { name: 'stuck', type: 'REGULAR', on_enter: [], during: [], on_exit: [] },
227
- ],
228
- transitions: [
229
- { name: 'go', from: ['draft'], to: 'stuck', actions: [] },
230
- ],
231
- });
232
- const result = validateDefinition(def);
233
- expect(result.issues.some(i => i.code === 'DEAD_END_STATE')).toBe(true);
234
- });
235
-
236
- it('should not warn on dead-end END states', () => {
237
- const def = createMinimalDefinition({
238
- states: [
239
- { name: 'draft', type: 'START', on_enter: [], during: [], on_exit: [] },
240
- { name: 'done', type: 'END', on_enter: [], during: [], on_exit: [] },
241
- ],
242
- transitions: [
243
- { name: 'complete', from: ['draft'], to: 'done', actions: [] },
244
- ],
245
- });
246
- const result = validateDefinition(def);
247
- expect(result.issues.some(i => i.code === 'DEAD_END_STATE')).toBe(false);
248
- });
249
-
250
- it('should warn on transitions from END states', () => {
251
- const def = createMinimalDefinition({
252
- states: [
253
- { name: 'draft', type: 'START', on_enter: [], during: [], on_exit: [] },
254
- { name: 'done', type: 'END', on_enter: [], during: [], on_exit: [] },
255
- ],
256
- transitions: [
257
- { name: 'complete', from: ['draft'], to: 'done', actions: [] },
258
- { name: 'reopen', from: ['done'], to: 'draft', actions: [] },
259
- ],
260
- });
261
- const result = validateDefinition(def);
262
- expect(result.issues.some(i => i.code === 'TRANSITION_FROM_END')).toBe(true);
263
- });
264
- });
265
-
266
- // =============================================================================
267
- // Experience Tree Validation
268
- // =============================================================================
269
-
270
- describe('Experience Tree Validation', () => {
271
- it('should warn on unknown component', () => {
272
- const def = createMinimalDefinition({
273
- metadata: {
274
- experience: {
275
- id: 'root',
276
- component: 'SuperWidget',
277
- children: [],
278
- },
279
- },
280
- });
281
- const result = validateDefinition(def, {
282
- knownComponents: ['Stack', 'Button', 'Text'],
283
- });
284
- expect(result.issues.some(i => i.code === 'UNKNOWN_COMPONENT')).toBe(true);
285
- });
286
-
287
- it('should not warn when component is known', () => {
288
- const def = createMinimalDefinition({
289
- metadata: {
290
- experience: {
291
- id: 'root',
292
- component: 'Stack',
293
- children: [],
294
- },
295
- },
296
- });
297
- const result = validateDefinition(def, {
298
- knownComponents: ['Stack', 'Button', 'Text'],
299
- });
300
- expect(result.issues.some(i => i.code === 'UNKNOWN_COMPONENT')).toBe(false);
301
- });
302
-
303
- it('should warn on unknown binding root', () => {
304
- const def = createMinimalDefinition({
305
- metadata: {
306
- experience: {
307
- id: 'root',
308
- component: 'Text',
309
- bindings: { text: '$unknown.field' },
310
- children: [],
311
- },
312
- },
313
- });
314
- const result = validateDefinition(def);
315
- expect(result.issues.some(i => i.code === 'UNKNOWN_BINDING_ROOT')).toBe(true);
316
- });
317
-
318
- it('should accept known binding roots', () => {
319
- const def = createMinimalDefinition({
320
- metadata: {
321
- experience: {
322
- id: 'root',
323
- component: 'Text',
324
- bindings: { text: '$instance.count' },
325
- children: [],
326
- },
327
- },
328
- });
329
- const result = validateDefinition(def);
330
- expect(result.issues.some(i => i.code === 'UNKNOWN_BINDING_ROOT')).toBe(false);
331
- });
332
-
333
- it('should warn on duplicate child IDs', () => {
334
- const def = createMinimalDefinition({
335
- metadata: {
336
- experience: {
337
- id: 'root',
338
- component: 'Stack',
339
- children: [
340
- { id: 'btn', component: 'Button', children: [] },
341
- { id: 'btn', component: 'Button', children: [] },
342
- ],
343
- },
344
- },
345
- });
346
- const result = validateDefinition(def);
347
- expect(result.issues.some(i => i.code === 'DUPLICATE_NODE_ID')).toBe(true);
348
- });
349
-
350
- it('should skip experience validation when option set', () => {
351
- const def = createMinimalDefinition({
352
- metadata: {
353
- experience: {
354
- id: 'root',
355
- component: 'FakeComponent',
356
- children: [],
357
- },
358
- },
359
- });
360
- const result = validateDefinition(def, {
361
- knownComponents: ['Stack'],
362
- skipExperience: true,
363
- });
364
- expect(result.issues.some(i => i.code === 'UNKNOWN_COMPONENT')).toBe(false);
365
- });
366
-
367
- it('should accept literal bindings', () => {
368
- const def = createMinimalDefinition({
369
- metadata: {
370
- experience: {
371
- id: 'root',
372
- component: 'Text',
373
- bindings: { text: '"Hello"' },
374
- children: [],
375
- },
376
- },
377
- });
378
- const result = validateDefinition(def);
379
- expect(result.issues.filter(i => i.category === 'experience')).toHaveLength(0);
380
- });
381
-
382
- it('should accept transition.fire bindings', () => {
383
- const def = createMinimalDefinition({
384
- metadata: {
385
- experience: {
386
- id: 'root',
387
- component: 'Button',
388
- bindings: { onPress: 'start.fire' },
389
- children: [],
390
- },
391
- },
392
- });
393
- const result = validateDefinition(def);
394
- expect(result.issues.filter(i => i.category === 'experience')).toHaveLength(0);
395
- });
396
- });
397
-
398
- // =============================================================================
399
- // isViableDefinition
400
- // =============================================================================
401
-
402
- describe('isViableDefinition', () => {
403
- it('should return true for valid definition', () => {
404
- const def = createMinimalDefinition();
405
- expect(isViableDefinition(def)).toBe(true);
406
- });
407
-
408
- it('should return false for null', () => {
409
- expect(isViableDefinition(null)).toBe(false);
410
- });
411
-
412
- it('should return false for empty object', () => {
413
- expect(isViableDefinition({})).toBe(false);
414
- });
415
-
416
- it('should return false for definition without states', () => {
417
- expect(isViableDefinition({ slug: 'test', states: [], transitions: [], fields: [] })).toBe(false);
418
- });
419
-
420
- it('should return false for definition without slug', () => {
421
- expect(isViableDefinition({
422
- states: [{ name: 'draft' }],
423
- transitions: [],
424
- fields: [],
425
- })).toBe(false);
426
- });
427
- });
428
-
429
- // =============================================================================
430
- // Summary Statistics
431
- // =============================================================================
432
-
433
- describe('Validation Summary', () => {
434
- it('should report correct summary statistics', () => {
435
- const def = createMinimalDefinition();
436
- const result = validateDefinition(def);
437
- expect(result.summary.stateCount).toBe(2);
438
- expect(result.summary.transitionCount).toBe(1);
439
- expect(result.summary.fieldCount).toBe(1);
440
- expect(result.summary.hasExperience).toBe(false);
441
- expect(result.summary.hasExtensions).toBe(false);
442
- });
443
-
444
- it('should detect experience presence', () => {
445
- const def = createMinimalDefinition({
446
- metadata: {
447
- experience: { id: 'root', component: 'Stack', children: [] },
448
- },
449
- });
450
- const result = validateDefinition(def);
451
- expect(result.summary.hasExperience).toBe(true);
452
- });
453
-
454
- it('should detect extensions presence', () => {
455
- const def = createMinimalDefinition({
456
- extensions: { cedar: [{ slug: 'test', contextTag: 'cedar', rawSource: '' }] },
457
- });
458
- const result = validateDefinition(def);
459
- expect(result.summary.hasExtensions).toBe(true);
460
- });
461
- });
462
-
463
- // =============================================================================
464
- // Compiled Output Validation (real-world counter.json format)
465
- // =============================================================================
466
-
467
- describe('Compiled Output Validation', () => {
468
- it('should validate compiled counter.json format (v1.0 with state_type/action_type)', () => {
469
- const compiled = {
470
- slug: 'counter',
471
- name: 'Counter',
472
- version: '1.0.0',
473
- category: 'demo',
474
- states: [
475
- {
476
- name: 'idle',
477
- state_type: 'START',
478
- on_enter: [{ id: 'a1', action_type: 'set_field', config: { field: 'status', value: 'idle' } }],
479
- on_exit: [],
480
- during: [],
481
- },
482
- {
483
- name: 'counting',
484
- state_type: 'REGULAR',
485
- on_enter: [],
486
- on_exit: [],
487
- during: [{ id: 'd1', type: 'interval', interval_ms: 1000, actions: [] }],
488
- },
489
- ],
490
- transitions: [
491
- { name: 'start', from: ['idle'], to: 'counting', actions: [] },
492
- ],
493
- fields: [
494
- { name: 'count', field_type: 'number', default_value: 0 },
495
- { name: 'status', field_type: 'text', default_value: 'idle' },
496
- ],
497
- roles: [],
498
- metadata: {
499
- experience: {
500
- id: 'stack_1',
501
- component: 'Stack',
502
- children: [
503
- { id: 'text_1', component: 'Text', bindings: { text: '$instance.count' }, children: [] },
504
- {
505
- id: 'btn_1', component: 'Button',
506
- bindings: { onPress: 'start.fire' },
507
- children: [],
508
- },
509
- ],
510
- },
511
- },
512
- };
513
-
514
- // The validator accepts both v1.0 (state_type/action_type/field_type) and v1.1+ (type) formats
515
- const result = validateDefinition(compiled as any);
516
- expect(result.valid).toBe(true);
517
- expect(result.errorCount).toBe(0);
518
- });
519
- });