@ontrails/core 1.0.0-beta.13 → 1.0.0-beta.15

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 (287) hide show
  1. package/.turbo/turbo-lint.log +1 -1
  2. package/CHANGELOG.md +17 -0
  3. package/README.md +19 -14
  4. package/dist/branded.d.ts +1 -1
  5. package/dist/branded.d.ts.map +1 -1
  6. package/dist/branded.js +1 -1
  7. package/dist/branded.js.map +1 -1
  8. package/dist/context.d.ts +13 -1
  9. package/dist/context.d.ts.map +1 -1
  10. package/dist/context.js +19 -3
  11. package/dist/context.js.map +1 -1
  12. package/dist/contour.d.ts +81 -0
  13. package/dist/contour.d.ts.map +1 -0
  14. package/dist/contour.js +176 -0
  15. package/dist/contour.js.map +1 -0
  16. package/dist/cross-schema.d.ts +18 -0
  17. package/dist/cross-schema.d.ts.map +1 -0
  18. package/dist/cross-schema.js +29 -0
  19. package/dist/cross-schema.js.map +1 -0
  20. package/dist/derive.d.ts +6 -0
  21. package/dist/derive.d.ts.map +1 -1
  22. package/dist/derive.js +29 -5
  23. package/dist/derive.js.map +1 -1
  24. package/dist/draft.d.ts +28 -0
  25. package/dist/draft.d.ts.map +1 -0
  26. package/dist/draft.js +157 -0
  27. package/dist/draft.js.map +1 -0
  28. package/dist/errors.d.ts +62 -4
  29. package/dist/errors.d.ts.map +1 -1
  30. package/dist/errors.js +44 -1
  31. package/dist/errors.js.map +1 -1
  32. package/dist/execute.d.ts +26 -9
  33. package/dist/execute.d.ts.map +1 -1
  34. package/dist/execute.js +441 -20
  35. package/dist/execute.js.map +1 -1
  36. package/dist/fire.d.ts +43 -0
  37. package/dist/fire.d.ts.map +1 -0
  38. package/dist/fire.js +185 -0
  39. package/dist/fire.js.map +1 -0
  40. package/dist/index.d.ts +33 -17
  41. package/dist/index.d.ts.map +1 -1
  42. package/dist/index.js +26 -12
  43. package/dist/index.js.map +1 -1
  44. package/dist/internal/cross-batch.d.ts +44 -0
  45. package/dist/internal/cross-batch.d.ts.map +1 -0
  46. package/dist/internal/cross-batch.js +58 -0
  47. package/dist/internal/cross-batch.js.map +1 -0
  48. package/dist/internal/fork-ctx.d.ts +41 -0
  49. package/dist/internal/fork-ctx.d.ts.map +1 -0
  50. package/dist/internal/fork-ctx.js +47 -0
  51. package/dist/internal/fork-ctx.js.map +1 -0
  52. package/dist/internal/signal-ref.d.ts +15 -0
  53. package/dist/internal/signal-ref.d.ts.map +1 -0
  54. package/dist/internal/signal-ref.js +41 -0
  55. package/dist/internal/signal-ref.js.map +1 -0
  56. package/dist/internal/topo-saves.d.ts +53 -0
  57. package/dist/internal/topo-saves.d.ts.map +1 -0
  58. package/dist/internal/topo-saves.js +449 -0
  59. package/dist/internal/topo-saves.js.map +1 -0
  60. package/dist/internal/topo-snapshots.d.ts +57 -0
  61. package/dist/internal/topo-snapshots.d.ts.map +1 -0
  62. package/dist/internal/topo-snapshots.js +372 -0
  63. package/dist/internal/topo-snapshots.js.map +1 -0
  64. package/dist/internal/topo-store-read.d.ts +70 -0
  65. package/dist/internal/topo-store-read.d.ts.map +1 -0
  66. package/dist/internal/topo-store-read.js +221 -0
  67. package/dist/internal/topo-store-read.js.map +1 -0
  68. package/dist/internal/topo-store.d.ts +26 -0
  69. package/dist/internal/topo-store.d.ts.map +1 -0
  70. package/dist/internal/topo-store.js +621 -0
  71. package/dist/internal/topo-store.js.map +1 -0
  72. package/dist/internal/tracing.d.ts +98 -0
  73. package/dist/internal/tracing.d.ts.map +1 -0
  74. package/dist/internal/tracing.js +102 -0
  75. package/dist/internal/tracing.js.map +1 -0
  76. package/dist/internal/trails-db.d.ts +16 -0
  77. package/dist/internal/trails-db.d.ts.map +1 -0
  78. package/dist/internal/trails-db.js +118 -0
  79. package/dist/internal/trails-db.js.map +1 -0
  80. package/dist/internal/zod-wrappers.d.ts +40 -0
  81. package/dist/internal/zod-wrappers.d.ts.map +1 -0
  82. package/dist/internal/zod-wrappers.js +59 -0
  83. package/dist/internal/zod-wrappers.js.map +1 -0
  84. package/dist/layer.d.ts +22 -5
  85. package/dist/layer.d.ts.map +1 -1
  86. package/dist/layer.js +20 -3
  87. package/dist/layer.js.map +1 -1
  88. package/dist/path-security.d.ts +1 -1
  89. package/dist/path-security.d.ts.map +1 -1
  90. package/dist/path-security.js +1 -1
  91. package/dist/path-security.js.map +1 -1
  92. package/dist/resilience.d.ts +1 -1
  93. package/dist/resilience.d.ts.map +1 -1
  94. package/dist/resilience.js +3 -3
  95. package/dist/resilience.js.map +1 -1
  96. package/dist/resource-config.d.ts +22 -0
  97. package/dist/resource-config.d.ts.map +1 -0
  98. package/dist/resource-config.js +210 -0
  99. package/dist/resource-config.js.map +1 -0
  100. package/dist/resource.d.ts +74 -0
  101. package/dist/resource.d.ts.map +1 -0
  102. package/dist/resource.js +61 -0
  103. package/dist/resource.js.map +1 -0
  104. package/dist/run.d.ts +4 -3
  105. package/dist/run.d.ts.map +1 -1
  106. package/dist/run.js +5 -4
  107. package/dist/run.js.map +1 -1
  108. package/dist/serialization.d.ts.map +1 -1
  109. package/dist/serialization.js +2 -1
  110. package/dist/serialization.js.map +1 -1
  111. package/dist/store/accessor-protocol.d.ts +51 -0
  112. package/dist/store/accessor-protocol.d.ts.map +1 -0
  113. package/dist/store/accessor-protocol.js +2 -0
  114. package/dist/store/accessor-protocol.js.map +1 -0
  115. package/dist/store/index.d.ts +2 -0
  116. package/dist/store/index.d.ts.map +1 -0
  117. package/dist/store/index.js +2 -0
  118. package/dist/store/index.js.map +1 -0
  119. package/dist/surface-filter.d.ts +13 -0
  120. package/dist/surface-filter.d.ts.map +1 -0
  121. package/dist/surface-filter.js +76 -0
  122. package/dist/surface-filter.js.map +1 -0
  123. package/dist/topo-store.d.ts +62 -0
  124. package/dist/topo-store.d.ts.map +1 -0
  125. package/dist/topo-store.js +319 -0
  126. package/dist/topo-store.js.map +1 -0
  127. package/dist/topo.d.ts +23 -9
  128. package/dist/topo.d.ts.map +1 -1
  129. package/dist/topo.js +175 -46
  130. package/dist/topo.js.map +1 -1
  131. package/dist/trail.d.ts +86 -19
  132. package/dist/trail.d.ts.map +1 -1
  133. package/dist/trail.js +59 -4
  134. package/dist/trail.js.map +1 -1
  135. package/dist/trails/derive-trail.d.ts +66 -0
  136. package/dist/trails/derive-trail.d.ts.map +1 -0
  137. package/dist/trails/derive-trail.js +378 -0
  138. package/dist/trails/derive-trail.js.map +1 -0
  139. package/dist/trails/index.d.ts +5 -0
  140. package/dist/trails/index.d.ts.map +1 -0
  141. package/dist/trails/index.js +3 -0
  142. package/dist/trails/index.js.map +1 -0
  143. package/dist/trails/ingest.d.ts +24 -0
  144. package/dist/trails/ingest.d.ts.map +1 -0
  145. package/dist/trails/ingest.js +63 -0
  146. package/dist/trails/ingest.js.map +1 -0
  147. package/dist/transport-error-map.d.ts +106 -0
  148. package/dist/transport-error-map.d.ts.map +1 -0
  149. package/dist/transport-error-map.js +24 -0
  150. package/dist/transport-error-map.js.map +1 -0
  151. package/dist/type-checks.test-d.d.ts +71 -0
  152. package/dist/type-checks.test-d.d.ts.map +1 -0
  153. package/dist/type-checks.test-d.js +12 -0
  154. package/dist/type-checks.test-d.js.map +1 -0
  155. package/dist/type-utils.d.ts +11 -2
  156. package/dist/type-utils.d.ts.map +1 -1
  157. package/dist/type-utils.js.map +1 -1
  158. package/dist/types.d.ts +113 -7
  159. package/dist/types.d.ts.map +1 -1
  160. package/dist/types.js.map +1 -1
  161. package/dist/validate-established-topo.d.ts +76 -0
  162. package/dist/validate-established-topo.d.ts.map +1 -0
  163. package/dist/validate-established-topo.js +43 -0
  164. package/dist/validate-established-topo.js.map +1 -0
  165. package/dist/validate-topo.d.ts.map +1 -1
  166. package/dist/validate-topo.js +27 -8
  167. package/dist/validate-topo.js.map +1 -1
  168. package/dist/workspace.d.ts +1 -1
  169. package/dist/workspace.d.ts.map +1 -1
  170. package/dist/workspace.js +1 -1
  171. package/dist/workspace.js.map +1 -1
  172. package/package.json +10 -1
  173. package/src/__tests__/branded.test.ts +5 -5
  174. package/src/__tests__/context.test.ts +3 -3
  175. package/src/__tests__/contour.test.ts +263 -0
  176. package/src/__tests__/derive-trail.test.ts +668 -0
  177. package/src/__tests__/derive.test.ts +58 -1
  178. package/src/__tests__/errors.test.ts +118 -0
  179. package/src/__tests__/execute.test.ts +1179 -141
  180. package/src/__tests__/fire.test.ts +1056 -0
  181. package/src/__tests__/fork-ctx.test.ts +83 -0
  182. package/src/__tests__/ingest.test.ts +191 -0
  183. package/src/__tests__/{gate.test.ts → layer.test.ts} +21 -21
  184. package/src/__tests__/path-security.test.ts +7 -7
  185. package/src/__tests__/resilience.test.ts +8 -8
  186. package/src/__tests__/resource.test.ts +204 -0
  187. package/src/__tests__/run.test.ts +13 -13
  188. package/src/__tests__/service-config.test.ts +28 -32
  189. package/src/__tests__/surface-filter.test.ts +196 -0
  190. package/src/__tests__/topo-store-read.test.ts +256 -0
  191. package/src/__tests__/topo-store.test.ts +869 -0
  192. package/src/__tests__/topo.test.ts +350 -54
  193. package/src/__tests__/trail.test.ts +189 -24
  194. package/src/__tests__/trails-db.test.ts +198 -0
  195. package/src/__tests__/transport-error-map.test.ts +82 -0
  196. package/src/__tests__/type-utils.test.ts +29 -1
  197. package/src/__tests__/validate-topo.test.ts +305 -16
  198. package/src/__tests__/workspace.test.ts +6 -6
  199. package/src/__tests__/zod-wrappers.test.ts +62 -0
  200. package/src/branded.ts +1 -1
  201. package/src/context.ts +24 -4
  202. package/src/contour.ts +344 -0
  203. package/src/cross-schema.ts +36 -0
  204. package/src/derive.ts +39 -8
  205. package/src/draft.ts +338 -0
  206. package/src/errors.ts +62 -18
  207. package/src/execute.ts +840 -29
  208. package/src/fire.ts +295 -0
  209. package/src/index.ts +142 -26
  210. package/src/internal/cross-batch.ts +77 -0
  211. package/src/internal/fork-ctx.ts +69 -0
  212. package/src/internal/signal-ref.ts +87 -0
  213. package/src/internal/topo-snapshots.ts +517 -0
  214. package/src/internal/topo-store-read.ts +481 -0
  215. package/src/internal/topo-store.ts +1192 -0
  216. package/src/internal/tracing.ts +187 -0
  217. package/src/internal/trails-db.ts +187 -0
  218. package/src/internal/zod-wrappers.ts +78 -0
  219. package/src/layer.ts +50 -0
  220. package/src/path-security.ts +1 -1
  221. package/src/resilience.ts +3 -3
  222. package/src/{provision-config.ts → resource-config.ts} +109 -123
  223. package/src/resource.ts +155 -0
  224. package/src/run.ts +5 -4
  225. package/src/serialization.ts +2 -0
  226. package/src/store/accessor-protocol.ts +56 -0
  227. package/src/store/index.ts +4 -0
  228. package/src/surface-filter.ts +182 -0
  229. package/src/topo-store.ts +510 -0
  230. package/src/topo.ts +328 -57
  231. package/src/trail.ts +199 -31
  232. package/src/trails/derive-trail.ts +842 -0
  233. package/src/trails/index.ts +9 -0
  234. package/src/trails/ingest.ts +146 -0
  235. package/src/transport-error-map.ts +56 -0
  236. package/src/type-checks.test-d.ts +106 -0
  237. package/src/type-utils.ts +17 -2
  238. package/src/types.ts +148 -11
  239. package/src/validate-established-topo.ts +63 -0
  240. package/src/validate-topo.ts +37 -9
  241. package/src/workspace.ts +1 -1
  242. package/tsconfig.tests.json +10 -0
  243. package/tsconfig.tsbuildinfo +1 -1
  244. package/dist/adapters.d.ts +0 -39
  245. package/dist/adapters.d.ts.map +0 -1
  246. package/dist/adapters.js +0 -2
  247. package/dist/adapters.js.map +0 -1
  248. package/dist/dispatch.d.ts +0 -27
  249. package/dist/dispatch.d.ts.map +0 -1
  250. package/dist/dispatch.js +0 -34
  251. package/dist/dispatch.js.map +0 -1
  252. package/dist/event.d.ts +0 -8
  253. package/dist/event.d.ts.map +0 -1
  254. package/dist/event.js +0 -7
  255. package/dist/event.js.map +0 -1
  256. package/dist/gate.d.ts +0 -17
  257. package/dist/gate.d.ts.map +0 -1
  258. package/dist/gate.js +0 -21
  259. package/dist/gate.js.map +0 -1
  260. package/dist/health.d.ts +0 -18
  261. package/dist/health.d.ts.map +0 -1
  262. package/dist/health.js +0 -5
  263. package/dist/health.js.map +0 -1
  264. package/dist/job.d.ts +0 -24
  265. package/dist/job.d.ts.map +0 -1
  266. package/dist/job.js +0 -17
  267. package/dist/job.js.map +0 -1
  268. package/dist/provision-config.d.ts +0 -22
  269. package/dist/provision-config.d.ts.map +0 -1
  270. package/dist/provision-config.js +0 -210
  271. package/dist/provision-config.js.map +0 -1
  272. package/dist/provision.d.ts +0 -71
  273. package/dist/provision.d.ts.map +0 -1
  274. package/dist/provision.js +0 -56
  275. package/dist/provision.js.map +0 -1
  276. package/dist/service-config.d.ts +0 -22
  277. package/dist/service-config.d.ts.map +0 -1
  278. package/dist/service-config.js +0 -210
  279. package/dist/service-config.js.map +0 -1
  280. package/dist/service.d.ts +0 -71
  281. package/dist/service.d.ts.map +0 -1
  282. package/dist/service.js +0 -56
  283. package/dist/service.js.map +0 -1
  284. package/src/__tests__/service.test.ts +0 -197
  285. package/src/event.ts +0 -15
  286. package/src/gate.ts +0 -44
  287. package/src/provision.ts +0 -148
package/dist/topo.js CHANGED
@@ -2,30 +2,42 @@
2
2
  * Application entry point — scans module exports to build a topology graph.
3
3
  */
4
4
  import { ValidationError } from './errors.js';
5
- import { isProvision } from './provision.js';
5
+ import { getLateBoundSignalRef, parseLateBoundSignalMarker, } from './internal/signal-ref.js';
6
+ import { isResource } from './resource.js';
6
7
  const isRegistrable = (value) => {
7
8
  if (typeof value !== 'object' || value === null) {
8
9
  return false;
9
10
  }
10
11
  const { kind } = value;
11
- return kind === 'trail' || kind === 'signal';
12
+ return kind === 'contour' || kind === 'trail' || kind === 'signal';
12
13
  };
13
14
  // ---------------------------------------------------------------------------
14
15
  // Topo implementation
15
16
  // ---------------------------------------------------------------------------
16
- const createTopo = (name, trails, signals, provisions) => ({
17
+ const createTopo = (identity, contours, trails, signals, resources) => ({
18
+ contourCount: contours.size,
19
+ contourIds() {
20
+ return [...contours.keys()];
21
+ },
22
+ contours,
17
23
  count: trails.size,
18
24
  get(id) {
19
25
  return trails.get(id);
20
26
  },
21
- getProvision(id) {
22
- return provisions.get(id);
27
+ getContour(contourName) {
28
+ return contours.get(contourName);
29
+ },
30
+ getResource(id) {
31
+ return resources.get(id);
23
32
  },
24
33
  has(id) {
25
34
  return trails.has(id);
26
35
  },
27
- hasProvision(id) {
28
- return provisions.has(id);
36
+ hasContour(contourName) {
37
+ return contours.has(contourName);
38
+ },
39
+ hasResource(id) {
40
+ return resources.has(id);
29
41
  },
30
42
  ids() {
31
43
  return [...trails.keys()];
@@ -33,48 +45,153 @@ const createTopo = (name, trails, signals, provisions) => ({
33
45
  list() {
34
46
  return [...trails.values()];
35
47
  },
36
- listProvisions() {
37
- return [...provisions.values()];
48
+ listContours() {
49
+ return [...contours.values()];
50
+ },
51
+ listResources() {
52
+ return [...resources.values()];
38
53
  },
39
54
  listSignals() {
40
55
  return [...signals.values()];
41
56
  },
42
- name,
43
- provisionCount: provisions.size,
44
- provisionIds() {
45
- return [...provisions.keys()];
57
+ name: identity.name,
58
+ ...(identity.version !== undefined && { version: identity.version }),
59
+ ...(identity.description !== undefined && {
60
+ description: identity.description,
61
+ }),
62
+ resourceCount: resources.size,
63
+ resourceIds() {
64
+ return [...resources.keys()];
46
65
  },
47
- provisions,
66
+ resources,
48
67
  signals,
49
68
  trails,
50
69
  });
51
70
  // ---------------------------------------------------------------------------
52
71
  // topo()
53
72
  // ---------------------------------------------------------------------------
73
+ const registerUnique = (collection, id, value, duplicateMessage) => {
74
+ const existing = collection.get(id);
75
+ if (existing === value) {
76
+ return;
77
+ }
78
+ if (existing !== undefined) {
79
+ throw new ValidationError(duplicateMessage);
80
+ }
81
+ collection.set(id, value);
82
+ };
83
+ const registerContour = (contour, contours) => {
84
+ registerUnique(contours, contour.name, contour, `Duplicate contour name: "${contour.name}"`);
85
+ };
86
+ const registerResourceValue = (resource, resources) => {
87
+ registerUnique(resources, resource.id, resource, `Duplicate resource ID: "${resource.id}"`);
88
+ };
89
+ const registerSignal = (signal, signals) => {
90
+ registerUnique(signals, signal.id, signal, `Duplicate signal ID: "${signal.id}"`);
91
+ };
92
+ const registerResourceSignals = (resource, signals) => {
93
+ for (const derived of resource.signals ?? []) {
94
+ registerSignal(derived, signals);
95
+ }
96
+ };
97
+ const registerTrail = (trail, trails) => {
98
+ registerUnique(trails, trail.id, trail, `Duplicate trail ID: "${trail.id}"`);
99
+ };
100
+ const registerLateBoundSignalId = (byToken, signal) => {
101
+ const ref = getLateBoundSignalRef(signal);
102
+ if (!ref) {
103
+ return;
104
+ }
105
+ const ids = byToken.get(ref.token) ?? new Set();
106
+ ids.add(signal.id);
107
+ byToken.set(ref.token, ids);
108
+ };
109
+ const collectLateBoundSignalIdsByToken = (resources) => {
110
+ const byToken = new Map();
111
+ for (const resource of resources.values()) {
112
+ for (const signal of resource.signals ?? []) {
113
+ registerLateBoundSignalId(byToken, signal);
114
+ }
115
+ }
116
+ return new Map([...byToken.entries()].map(([token, ids]) => [token, [...ids]]));
117
+ };
118
+ const resolveLateBoundSignalId = (trailId, signalId, lateBoundSignalIdsByToken) => {
119
+ const marker = parseLateBoundSignalMarker(signalId);
120
+ if (!marker) {
121
+ return signalId;
122
+ }
123
+ const matches = lateBoundSignalIdsByToken.get(marker.token) ?? [];
124
+ if (matches.length === 1) {
125
+ return matches[0] ?? signalId;
126
+ }
127
+ if (matches.length === 0) {
128
+ // Intentional throw: split-topo composition (where a trail and the
129
+ // store that backs its signals live in different topos) is not yet
130
+ // supported. Failing loudly here surfaces the case at assembly time
131
+ // instead of silently producing a trail with an unresolved store
132
+ // reference that would misbehave at runtime.
133
+ throw new ValidationError(`Trail "${trailId}" references store-derived signal "${marker.displayId}", but no resource bound in this topo exposes it. ` +
134
+ 'This usually means the store that backs this signal is not bound in this topo. ' +
135
+ `Bind the store via resource() in the same topo() call as "${trailId}", or compose this topo with the topo that binds the store. ` +
136
+ 'Splitting a trail and its backing store across independent topos is not yet supported.');
137
+ }
138
+ throw new ValidationError(`Trail "${trailId}" references late-bound signal "${marker.displayId}" but it resolves to multiple bound resource signals: ${matches.join(', ')}. Use canonical scoped ids when the same store definition is bound more than once.`);
139
+ };
140
+ const resolveTrailSignalIds = (trailId, signalIds, lateBoundSignalIdsByToken) => {
141
+ let changed = false;
142
+ const ids = Object.freeze(signalIds.map((signalId) => {
143
+ const resolved = resolveLateBoundSignalId(trailId, signalId, lateBoundSignalIdsByToken);
144
+ changed ||= resolved !== signalId;
145
+ return resolved;
146
+ }));
147
+ return { changed, ids };
148
+ };
149
+ const finalizeTrailSignals = (trails, resources) => {
150
+ const lateBoundSignalIdsByToken = collectLateBoundSignalIdsByToken(resources);
151
+ const finalized = new Map();
152
+ for (const trail of trails.values()) {
153
+ const resolvedFires = resolveTrailSignalIds(trail.id, trail.fires ?? [], lateBoundSignalIdsByToken);
154
+ const resolvedOn = resolveTrailSignalIds(trail.id, trail.on ?? [], lateBoundSignalIdsByToken);
155
+ if (!resolvedFires.changed && !resolvedOn.changed) {
156
+ finalized.set(trail.id, trail);
157
+ continue;
158
+ }
159
+ finalized.set(trail.id, Object.freeze({
160
+ ...trail,
161
+ fires: resolvedFires.ids,
162
+ on: resolvedOn.ids,
163
+ }));
164
+ }
165
+ return finalized;
166
+ };
54
167
  /** Register a single registrable value into the appropriate map. */
55
- const register = (value, trails, signals, provisions) => {
56
- const { id } = value;
57
- const registrars = {
58
- provision: () => {
59
- if (provisions.has(id)) {
60
- throw new ValidationError(`Duplicate provision ID: "${id}"`);
61
- }
62
- provisions.set(id, value);
63
- },
64
- signal: () => {
65
- if (signals.has(id)) {
66
- throw new ValidationError(`Duplicate signal ID: "${id}"`);
67
- }
68
- signals.set(id, value);
69
- },
70
- trail: () => {
71
- if (trails.has(id)) {
72
- throw new ValidationError(`Duplicate trail ID: "${id}"`);
73
- }
74
- trails.set(id, value);
75
- },
76
- };
77
- registrars[value.kind]?.();
168
+ const register = (value, contours, trails, signals, resources) => {
169
+ switch (value.kind) {
170
+ case 'contour': {
171
+ registerContour(value, contours);
172
+ break;
173
+ }
174
+ case 'resource': {
175
+ registerResourceValue(value, resources);
176
+ break;
177
+ }
178
+ case 'signal': {
179
+ registerSignal(value, signals);
180
+ break;
181
+ }
182
+ case 'trail': {
183
+ registerTrail(value, trails);
184
+ break;
185
+ }
186
+ default: {
187
+ throw new ValidationError('Unsupported registrable value in topo()');
188
+ }
189
+ }
190
+ };
191
+ const registerTrailContours = (trail, contours, trails, signals, resources) => {
192
+ for (const contour of trail.contours ?? []) {
193
+ register(contour, contours, trails, signals, resources);
194
+ }
78
195
  };
79
196
  const markUniqueObject = (value, seenValues) => {
80
197
  if (typeof value !== 'object' || value === null) {
@@ -86,27 +203,39 @@ const markUniqueObject = (value, seenValues) => {
86
203
  seenValues.add(value);
87
204
  return true;
88
205
  };
89
- const registerModuleValue = (value, trails, signals, provisions) => {
90
- if (isProvision(value) || isRegistrable(value)) {
91
- register(value, trails, signals, provisions);
206
+ const registerModuleValue = (value, contours, trails, signals, resources) => {
207
+ if (isResource(value) || isRegistrable(value)) {
208
+ register(value, contours, trails, signals, resources);
209
+ }
210
+ if (isResource(value)) {
211
+ registerResourceSignals(value, signals);
212
+ }
213
+ if (typeof value === 'object' &&
214
+ value !== null &&
215
+ value.kind === 'trail') {
216
+ registerTrailContours(value, contours, trails, signals, resources);
92
217
  }
93
218
  };
94
- const registerModuleValues = (mod, trails, signals, provisions) => {
219
+ const registerModuleValues = (mod, contours, trails, signals, resources) => {
95
220
  const seenValues = new WeakSet();
96
221
  for (const value of Object.values(mod)) {
97
222
  if (!markUniqueObject(value, seenValues)) {
98
223
  continue;
99
224
  }
100
- registerModuleValue(value, trails, signals, provisions);
225
+ registerModuleValue(value, contours, trails, signals, resources);
101
226
  }
102
227
  };
103
- export const topo = (name, ...modules) => {
228
+ export const topo = (nameOrIdentity, ...modules) => {
229
+ const identity = typeof nameOrIdentity === 'string'
230
+ ? { name: nameOrIdentity }
231
+ : nameOrIdentity;
232
+ const contours = new Map();
104
233
  const trails = new Map();
105
234
  const signals = new Map();
106
- const provisions = new Map();
235
+ const resources = new Map();
107
236
  for (const mod of modules) {
108
- registerModuleValues(mod, trails, signals, provisions);
237
+ registerModuleValues(mod, contours, trails, signals, resources);
109
238
  }
110
- return createTopo(name, trails, signals, provisions);
239
+ return createTopo(identity, contours, finalizeTrailSignals(trails, resources), signals, resources);
111
240
  };
112
241
  //# sourceMappingURL=topo.js.map
package/dist/topo.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"topo.js","sourceRoot":"","sources":["../src/topo.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAG9C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AA+B7C,MAAM,aAAa,GAAG,CAAC,KAAc,EAAwB,EAAE;IAC7D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,KAAgC,CAAC;IAClD,OAAO,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,CAAC;AAC/C,CAAC,CAAC;AAEF,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,MAAM,UAAU,GAAG,CACjB,IAAY,EACZ,MAAqC,EACrC,OAAuC,EACvC,UAA6C,EACvC,EAAE,CAAC,CAAC;IACV,KAAK,EAAE,MAAM,CAAC,IAAI;IAClB,GAAG,CAAC,EAAU;QACZ,OAAO,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,YAAY,CAAC,EAAU;QACrB,OAAO,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,GAAG,CAAC,EAAU;QACZ,OAAO,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,YAAY,CAAC,EAAU;QACrB,OAAO,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,GAAG;QACD,OAAO,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,IAAI;QACF,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,cAAc;QACZ,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IAClC,CAAC;IAED,WAAW;QACT,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI;IACJ,cAAc,EAAE,UAAU,CAAC,IAAI;IAE/B,YAAY;QACV,OAAO,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IAChC,CAAC;IACD,UAAU;IACV,OAAO;IACP,MAAM;CACP,CAAC,CAAC;AAEH,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,oEAAoE;AACpE,MAAM,QAAQ,GAAG,CACf,KAAkB,EAClB,MAA6B,EAC7B,OAA+B,EAC/B,UAAqC,EAC/B,EAAE;IACR,MAAM,EAAE,EAAE,EAAE,GAAG,KAAuB,CAAC;IACvC,MAAM,UAAU,GAA+B;QAC7C,SAAS,EAAE,GAAG,EAAE;YACd,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,eAAe,CAAC,4BAA4B,EAAE,GAAG,CAAC,CAAC;YAC/D,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,KAAqB,CAAC,CAAC;QAC5C,CAAC;QACD,MAAM,EAAE,GAAG,EAAE;YACX,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,eAAe,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC;YAC5D,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,KAAkB,CAAC,CAAC;QACtC,CAAC;QACD,KAAK,EAAE,GAAG,EAAE;YACV,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,eAAe,CAAC,wBAAwB,EAAE,GAAG,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAiB,CAAC,CAAC;QACpC,CAAC;KACF,CAAC;IACF,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,KAAc,EACd,UAA2B,EAClB,EAAE;IACX,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,KAAc,EACd,MAA6B,EAC7B,OAA+B,EAC/B,UAAqC,EAC/B,EAAE;IACR,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,GAA4B,EAC5B,MAA6B,EAC7B,OAA+B,EAC/B,UAAqC,EAC/B,EAAE;IACR,MAAM,UAAU,GAAG,IAAI,OAAO,EAAU,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;YACzC,SAAS;QACX,CAAC;QACD,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAY,EACZ,GAAG,OAAkC,EAC/B,EAAE;IACR,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEnD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACzD,CAAC;IAED,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AACvD,CAAC,CAAC"}
1
+ {"version":3,"file":"topo.js","sourceRoot":"","sources":["../src/topo.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,0BAA0B,CAAC;AAGlC,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AA6C3C,MAAM,aAAa,GAAG,CAAC,KAAc,EAAwB,EAAE;IAC7D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,KAAgC,CAAC;IAClD,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,CAAC;AACrE,CAAC,CAAC;AAEF,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,MAAM,UAAU,GAAG,CACjB,QAAsB,EACtB,QAAyC,EACzC,MAAqC,EACrC,OAAuC,EACvC,SAA2C,EACrC,EAAE,CAAC,CAAC;IACV,YAAY,EAAE,QAAQ,CAAC,IAAI;IAC3B,UAAU;QACR,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,QAAQ;IACR,KAAK,EAAE,MAAM,CAAC,IAAI;IAClB,GAAG,CAAC,EAAU;QACZ,OAAO,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,UAAU,CAAC,WAAmB;QAC5B,OAAO,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC;IACD,WAAW,CAAC,EAAU;QACpB,OAAO,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,GAAG,CAAC,EAAU;QACZ,OAAO,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,UAAU,CAAC,WAAmB;QAC5B,OAAO,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC;IACD,WAAW,CAAC,EAAU;QACpB,OAAO,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,GAAG;QACD,OAAO,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,IAAI;QACF,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,YAAY;QACV,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAChC,CAAC;IACD,aAAa;QACX,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,WAAW;QACT,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,EAAE,QAAQ,CAAC,IAAI;IACnB,GAAG,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;IACpE,GAAG,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS,IAAI;QACxC,WAAW,EAAE,QAAQ,CAAC,WAAW;KAClC,CAAC;IACF,aAAa,EAAE,SAAS,CAAC,IAAI;IAC7B,WAAW;QACT,OAAO,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/B,CAAC;IACD,SAAS;IACT,OAAO;IACP,MAAM;CACP,CAAC,CAAC;AAEH,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,cAAc,GAAG,CACrB,UAA0B,EAC1B,EAAU,EACV,KAAQ,EACR,gBAAwB,EAClB,EAAE;IACR,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpC,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,eAAe,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC;IACD,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC5B,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,OAAmB,EACnB,QAAiC,EAC3B,EAAE;IACR,cAAc,CACZ,QAAQ,EACR,OAAO,CAAC,IAAI,EACZ,OAAO,EACP,4BAA4B,OAAO,CAAC,IAAI,GAAG,CAC5C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAqB,EACrB,SAAmC,EAC7B,EAAE;IACR,cAAc,CACZ,SAAS,EACT,QAAQ,CAAC,EAAE,EACX,QAAQ,EACR,2BAA2B,QAAQ,CAAC,EAAE,GAAG,CAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,MAAiB,EACjB,OAA+B,EACzB,EAAE;IACR,cAAc,CACZ,OAAO,EACP,MAAM,CAAC,EAAE,EACT,MAAM,EACN,yBAAyB,MAAM,CAAC,EAAE,GAAG,CACtC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,QAAqB,EACrB,OAA+B,EACzB,EAAE;IACR,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QAC7C,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,KAAe,EACf,MAA6B,EACvB,EAAE;IACR,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,wBAAwB,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,OAAiC,EACjC,MAAiB,EACX,EAAE;IACR,MAAM,GAAG,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO;IACT,CAAC;IAED,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IACxD,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,SAA2C,EACH,EAAE;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAE/C,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YAC5C,yBAAyB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,OAAO,IAAI,GAAG,CACZ,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAChE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,OAAe,EACf,QAAgB,EAChB,yBAAiE,EACzD,EAAE;IACV,MAAM,MAAM,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,OAAO,GAAG,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAClE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC;IAChC,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,mEAAmE;QACnE,mEAAmE;QACnE,oEAAoE;QACpE,iEAAiE;QACjE,6CAA6C;QAC7C,MAAM,IAAI,eAAe,CACvB,UAAU,OAAO,sCAAsC,MAAM,CAAC,SAAS,oDAAoD;YACzH,iFAAiF;YACjF,6DAA6D,OAAO,8DAA8D;YAClI,wFAAwF,CAC3F,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,eAAe,CACvB,UAAU,OAAO,mCAAmC,MAAM,CAAC,SAAS,yDAAyD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,oFAAoF,CACpO,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,OAAe,EACf,SAA4B,EAC5B,yBAAiE,EACnB,EAAE;IAChD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CACvB,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QACzB,MAAM,QAAQ,GAAG,wBAAwB,CACvC,OAAO,EACP,QAAQ,EACR,yBAAyB,CAC1B,CAAC;QACF,OAAO,KAAK,QAAQ,KAAK,QAAQ,CAAC;QAClC,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,CACH,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,MAAqC,EACrC,SAA2C,EACpB,EAAE;IACzB,MAAM,yBAAyB,GAAG,gCAAgC,CAAC,SAAS,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE9C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,MAAM,aAAa,GAAG,qBAAqB,CACzC,KAAK,CAAC,EAAE,EACR,KAAK,CAAC,KAAK,IAAI,EAAE,EACjB,yBAAyB,CAC1B,CAAC;QACF,MAAM,UAAU,GAAG,qBAAqB,CACtC,KAAK,CAAC,EAAE,EACR,KAAK,CAAC,EAAE,IAAI,EAAE,EACd,yBAAyB,CAC1B,CAAC;QAEF,IAAI,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YAClD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,SAAS,CAAC,GAAG,CACX,KAAK,CAAC,EAAE,EACR,MAAM,CAAC,MAAM,CAAC;YACZ,GAAG,KAAK;YACR,KAAK,EAAE,aAAa,CAAC,GAAG;YACxB,EAAE,EAAE,UAAU,CAAC,GAAG;SACnB,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,oEAAoE;AACpE,MAAM,QAAQ,GAAG,CACf,KAAkB,EAClB,QAAiC,EACjC,MAA6B,EAC7B,OAA+B,EAC/B,SAAmC,EAC7B,EAAE;IACR,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,eAAe,CAAC,KAAmB,EAAE,QAAQ,CAAC,CAAC;YAC/C,MAAM;QACR,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,qBAAqB,CAAC,KAAoB,EAAE,SAAS,CAAC,CAAC;YACvD,MAAM;QACR,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,cAAc,CAAC,KAAkB,EAAE,OAAO,CAAC,CAAC;YAC5C,MAAM;QACR,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,aAAa,CAAC,KAAiB,EAAE,MAAM,CAAC,CAAC;YACzC,MAAM;QACR,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,IAAI,eAAe,CAAC,yCAAyC,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,KAAe,EACf,QAAiC,EACjC,MAA6B,EAC7B,OAA+B,EAC/B,SAAmC,EAC7B,EAAE;IACR,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC3C,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,KAAc,EACd,UAA2B,EAClB,EAAE;IACX,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,KAAc,EACd,QAAiC,EACjC,MAA6B,EAC7B,OAA+B,EAC/B,SAAmC,EAC7B,EAAE;IACR,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAA4B,CAAC,IAAI,KAAK,OAAO,EAC9C,CAAC;QACD,qBAAqB,CACnB,KAAiB,EACjB,QAAQ,EACR,MAAM,EACN,OAAO,EACP,SAAS,CACV,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,GAA4B,EAC5B,QAAiC,EACjC,MAA6B,EAC7B,OAA+B,EAC/B,SAAmC,EAC7B,EAAE;IACR,MAAM,UAAU,GAAG,IAAI,OAAO,EAAU,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;YACzC,SAAS;QACX,CAAC;QACD,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACnE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,cAAqC,EACrC,GAAG,OAAkC,EAC/B,EAAE;IACR,MAAM,QAAQ,GACZ,OAAO,cAAc,KAAK,QAAQ;QAChC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE;QAC1B,CAAC,CAAC,cAAc,CAAC;IAErB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEjD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,oBAAoB,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAClE,CAAC;IAED,OAAO,UAAU,CACf,QAAQ,EACR,QAAQ,EACR,oBAAoB,CAAC,MAAM,EAAE,SAAS,CAAC,EACvC,OAAO,EACP,SAAS,CACV,CAAC;AACJ,CAAC,CAAC"}
package/dist/trail.d.ts CHANGED
@@ -1,8 +1,11 @@
1
1
  import type { z } from 'zod';
2
+ import type { AnyContour } from './contour.js';
2
3
  import type { FieldOverride } from './derive.js';
3
4
  import type { Result } from './result.js';
4
- import type { AnyProvision } from './provision.js';
5
- import type { Implementation, PermitRequirement, TrailContext } from './types.js';
5
+ import type { AnyResource } from './resource.js';
6
+ import type { AnySignal } from './signal.js';
7
+ import type { TrailsError } from './errors.js';
8
+ import type { Detour, Implementation, PermitRequirement, TrailContext } from './types.js';
6
9
  /**
7
10
  * A named example for documentation and testing.
8
11
  *
@@ -17,53 +20,115 @@ export interface TrailExample<I, O> {
17
20
  readonly description?: string | undefined;
18
21
  /** The input value — fields with schema defaults may be omitted */
19
22
  readonly input: Partial<I>;
20
- /** Expected output for success-path examples */
23
+ /** Expected output for success-path examples (deep equality) */
21
24
  readonly expected?: O | undefined;
25
+ /** Partial output assertion — declared fields must match, others ignored */
26
+ readonly expectedMatch?: Partial<O> | undefined;
22
27
  /** Error class name for error-path examples */
23
28
  readonly error?: string | undefined;
24
29
  }
30
+ /**
31
+ * The input type received by a trail's blaze function.
32
+ *
33
+ * When a trail declares `crossInput`, the runtime merges those fields into
34
+ * the input object before calling blaze. This type makes the compiler aware
35
+ * of the merged shape so developers can access crossInput fields without a
36
+ * cast. Falls back to plain `I` when `CI` is `never` (the default).
37
+ */
38
+ export type BlazeInput<I, CI> = [CI] extends [never] ? I : I & CI;
25
39
  /** Everything needed to define a trail (minus the id) */
26
- export interface TrailSpec<I, O> {
40
+ export interface TrailSpec<I, O, CI = never> {
27
41
  /** Zod schema for validating input */
28
42
  readonly input: z.ZodType<I>;
29
43
  /** Zod schema for validating output (optional — some trails are fire-and-forget) */
30
44
  readonly output?: z.ZodType<O> | undefined;
31
45
  /** The pure function that does the work (sync or async authoring) */
32
- readonly blaze: Implementation<I, O>;
46
+ readonly blaze: Implementation<BlazeInput<I, CI>, O>;
33
47
  /** Human-readable description */
34
48
  readonly description?: string | undefined;
49
+ /** Declared operational shape for governance, derivation, and agent guidance. */
50
+ readonly pattern?: string | undefined;
35
51
  /** Named examples for docs and testing */
36
52
  readonly examples?: readonly TrailExample<I, O>[] | undefined;
37
53
  /** What this trail does to the world: read, write (default), or destroy */
38
54
  readonly intent?: 'read' | 'write' | 'destroy' | undefined;
39
55
  /** Trail is idempotent (safe to retry) */
40
56
  readonly idempotent?: boolean | undefined;
57
+ /** Whether trailheads expose this trail by default. */
58
+ readonly visibility?: TrailVisibility | undefined;
41
59
  /** Arbitrary meta for tooling and filtering */
42
60
  readonly meta?: Readonly<Record<string, unknown>> | undefined;
43
- /** Named sets of downstream trail IDs that may be invoked */
44
- readonly detours?: Readonly<Record<string, readonly string[]>> | undefined;
61
+ /** Recovery paths activated when blaze fails with a matching error class. */
62
+ readonly detours?: readonly Detour<I, O, TrailsError>[] | undefined;
45
63
  /** Per-field overrides for deriveFields() (labels, hints, options) */
46
64
  readonly fields?: Readonly<Record<string, FieldOverride>> | undefined;
47
- /** IDs of downstream trails this trail may invoke via ctx.cross() */
48
- readonly crosses?: readonly string[] | undefined;
49
- /** Provisions this trail may access via provision.from(ctx) */
50
- readonly provisions?: readonly AnyProvision[] | undefined;
65
+ /** Contours this trail operates on. */
66
+ readonly contours?: readonly AnyContour[] | undefined;
67
+ /** IDs or trail objects of downstream trails this trail may invoke via ctx.cross() */
68
+ readonly crosses?: readonly (string | AnyTrail)[] | undefined;
69
+ /**
70
+ * Composition-only input schema — merged with `input` for `ctx.cross()` calls,
71
+ * invisible to public trailheads (CLI, MCP, HTTP).
72
+ *
73
+ * Fields here are available in the blaze but are not derived into CLI flags,
74
+ * MCP tool parameters, or HTTP request bodies. Use for data that only makes
75
+ * sense when one trail crosses another (e.g. `forkedFrom`).
76
+ */
77
+ readonly crossInput?: z.ZodType<CI> | undefined;
78
+ /** Resources this trail may access via resource.from(ctx) */
79
+ readonly resources?: readonly AnyResource[] | undefined;
80
+ /**
81
+ * Signals this trail emits via `ctx.fire()`.
82
+ *
83
+ * Accepts either a string id or a `Signal` value. Both forms are
84
+ * normalized to the signal's id at trail definition time, so
85
+ * `trail.fires` is always `readonly string[]`.
86
+ *
87
+ * Note: `crosses` also accepts trail objects (normalized to IDs),
88
+ * following the same pattern as signal references here.
89
+ */
90
+ readonly fires?: readonly (string | AnySignal)[] | undefined;
91
+ /**
92
+ * Signals that activate this trail (framework auto-subscribes).
93
+ *
94
+ * Accepts either a string id or a `Signal` value. Both forms are
95
+ * normalized to the signal's id at trail definition time.
96
+ */
97
+ readonly on?: readonly (string | AnySignal)[] | undefined;
51
98
  /** Auth requirement: scopes object, 'public', or omitted (undeclared) */
52
99
  readonly permit?: PermitRequirement | undefined;
100
+ /** Primary input fields and their order. CLI projects as positional args. */
101
+ readonly args?: readonly string[] | false | undefined;
53
102
  }
54
103
  /** Intent describes what a trail does to the world */
55
104
  export type Intent = 'read' | 'write' | 'destroy';
105
+ /** Whether trailheads expose a trail by default. */
106
+ export type TrailVisibility = 'public' | 'internal';
56
107
  /** A fully-defined trail — the unit of work in the Trails system */
57
- export interface Trail<I, O> extends Omit<TrailSpec<I, O>, 'blaze' | 'crosses' | 'intent' | 'provisions'> {
108
+ export interface Trail<I, O, CI = never> extends Omit<TrailSpec<I, O, CI>, 'args' | 'blaze' | 'contours' | 'crosses' | 'crossInput' | 'detours' | 'fires' | 'intent' | 'on' | 'resources'> {
58
109
  readonly kind: 'trail';
59
110
  readonly id: string;
60
- readonly blaze: Implementation<I, O>;
111
+ readonly blaze: Implementation<BlazeInput<I, CI>, O>;
112
+ /** Contours this trail operates on (always present, default []). */
113
+ readonly contours: readonly AnyContour[];
61
114
  /** IDs of downstream trails this trail may invoke via ctx.cross() (always present, default []) */
62
115
  readonly crosses: readonly string[];
63
- /** Provisions this trail may access via provision.from(ctx) (always present, default []) */
64
- readonly provisions: readonly AnyProvision[];
116
+ /** Composition-only input schema, merged with `input` for ctx.cross() calls (optional) */
117
+ readonly crossInput?: z.ZodType<CI> | undefined;
118
+ /** Recovery paths activated when blaze fails with a matching error (always present, default []). */
119
+ readonly detours: readonly Detour<I, O, TrailsError>[];
120
+ /** Resources this trail may access via resource.from(ctx) (always present, default []) */
121
+ readonly resources: readonly AnyResource[];
122
+ /** IDs of signals this trail emits via ctx.fire() (always present, default []) */
123
+ readonly fires: readonly string[];
124
+ /** IDs of signals that activate this trail (always present, default []) */
125
+ readonly on: readonly string[];
65
126
  /** What this trail does to the world (always present, default 'write') */
66
127
  readonly intent: Intent;
128
+ /** Whether trailheads expose this trail by default (always present, default 'public'). */
129
+ readonly visibility: TrailVisibility;
130
+ /** Primary input fields and their order (always present, default undefined) */
131
+ readonly args?: readonly string[] | false | undefined;
67
132
  }
68
133
  /**
69
134
  * Create a trail definition.
@@ -87,10 +152,12 @@ export interface Trail<I, O> extends Omit<TrailSpec<I, O>, 'blaze' | 'crosses' |
87
152
  * });
88
153
  * ```
89
154
  */
90
- export declare function trail<I, O>(id: string, spec: TrailSpec<I, O>): Trail<I, O>;
91
- export declare function trail<I, O>(spec: TrailSpec<I, O> & {
155
+ export declare function trail<I, O, CI = never>(id: string, spec: TrailSpec<I, O, CI>): Trail<I, O, CI>;
156
+ export declare function trail<I, O, CI = never>(spec: TrailSpec<I, O, CI> & {
92
157
  readonly id: string;
93
- }): Trail<I, O>;
94
- export type AnyTrail = Trail<any, any>;
158
+ }): Trail<I, O, CI>;
159
+ export type AnyTrail = Omit<Trail<any, any, any>, 'blaze'> & {
160
+ readonly blaze: Implementation<any, any>;
161
+ };
95
162
  export type { Implementation, TrailContext, Result };
96
163
  //# sourceMappingURL=trail.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"trail.d.ts","sourceRoot":"","sources":["../src/trail.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAE7B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,EACV,cAAc,EACd,iBAAiB,EACjB,YAAY,EACb,MAAM,YAAY,CAAC;AAMpB;;;;;;GAMG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,EAAE,CAAC;IAChC,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,mEAAmE;IACnE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC3B,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;IAClC,+CAA+C;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAMD,yDAAyD;AACzD,MAAM,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC;IAC7B,sCAAsC;IACtC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7B,oFAAoF;IACpF,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;IAC3C,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,iCAAiC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC;IAC9D,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3D,0CAA0C;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC1C,+CAA+C;IAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC;IAC9D,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC;IAC3E,sEAAsE;IACtE,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,GAAG,SAAS,CAAC;IACtE,qEAAqE;IACrE,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IACjD,+DAA+D;IAC/D,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,YAAY,EAAE,GAAG,SAAS,CAAC;IAC1D,yEAAyE;IACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;CACjD;AAMD,sDAAsD;AACtD,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;AAElD,oEAAoE;AACpE,MAAM,WAAW,KAAK,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,IAAI,CACvC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EACf,OAAO,GAAG,SAAS,GAAG,QAAQ,GAAG,YAAY,CAC9C;IACC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,kGAAkG;IAClG,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,4FAA4F;IAC5F,QAAQ,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,CAAC;IAC7C,0EAA0E;IAC1E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAMD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5E,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EACxB,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9C,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAoCf,MAAM,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAEvC,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC"}
1
+ {"version":3,"file":"trail.d.ts","sourceRoot":"","sources":["../src/trail.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAE7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAK7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EACV,MAAM,EACN,cAAc,EACd,iBAAiB,EACjB,YAAY,EACb,MAAM,YAAY,CAAC;AAMpB;;;;;;GAMG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,EAAE,CAAC;IAChC,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,mEAAmE;IACnE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC3B,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;IAClC,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;IAChD,+CAA+C;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAMD;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;AAMlE,yDAAyD;AACzD,MAAM,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,KAAK;IACzC,sCAAsC;IACtC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7B,oFAAoF;IACpF,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;IAC3C,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrD,iCAAiC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,iFAAiF;IACjF,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC;IAC9D,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3D,0CAA0C;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC1C,uDAAuD;IACvD,QAAQ,CAAC,UAAU,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;IAClD,+CAA+C;IAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC;IAC9D,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,GAAG,SAAS,CAAC;IACpE,sEAAsE;IACtE,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,GAAG,SAAS,CAAC;IACtE,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,CAAC;IACtD,sFAAsF;IACtF,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC,EAAE,GAAG,SAAS,CAAC;IAC9D;;;;;;;OAOG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;IAChD,6DAA6D;IAC7D,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,WAAW,EAAE,GAAG,SAAS,CAAC;IACxD;;;;;;;;;OASG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC;IAC7D;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC;IAC1D,yEAAyE;IACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAChD,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,KAAK,GAAG,SAAS,CAAC;CACvD;AAMD,sDAAsD;AACtD,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;AAElD,oDAAoD;AACpD,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEpD,oEAAoE;AACpE,MAAM,WAAW,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,KAAK,CAAE,SAAQ,IAAI,CACnD,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EACjB,MAAM,GACN,OAAO,GACP,UAAU,GACV,SAAS,GACT,YAAY,GACZ,SAAS,GACT,OAAO,GACP,QAAQ,GACR,IAAI,GACJ,WAAW,CACd;IACC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrD,oEAAoE;IACpE,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IACzC,kGAAkG;IAClG,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,0FAA0F;IAC1F,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;IAChD,oGAAoG;IACpG,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;IACvD,0FAA0F;IAC1F,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAC;IAC3C,kFAAkF;IAClF,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,2EAA2E;IAC3E,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0FAA0F;IAC1F,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,KAAK,GAAG,SAAS,CAAC;CACvD;AAsED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,KAAK,EACpC,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GACxB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AACnB,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,KAAK,EACpC,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAClD,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAiDnB,MAAM,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG;IAC3D,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CAC1C,CAAC;AAGF,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC"}
package/dist/trail.js CHANGED
@@ -1,3 +1,54 @@
1
+ import { createLateBoundSignalMarker, getLateBoundSignalRef, } from './internal/signal-ref.js';
2
+ // ---------------------------------------------------------------------------
3
+ // Factory
4
+ // ---------------------------------------------------------------------------
5
+ /**
6
+ * Canonical scoped-signal id shape: `<scope>:<table>.<event>`.
7
+ *
8
+ * Matches exactly one `:` separating a non-empty scope from a non-empty
9
+ * dotted tail of at least two segments (e.g. `identity:users.created`).
10
+ * The scope forbids only `:` and whitespace so resource ids may contain
11
+ * dots for namespacing (e.g. `demo.store:gists.created`). Tail segments
12
+ * forbid both `:` and `.` so strings like `foo:bar` (no dot) or
13
+ * `a:b.c.d` stay unambiguous.
14
+ */
15
+ const SCOPED_SIGNAL_ID = /^[^:\s]+:[^:.\s]+(?:\.[^:.\s]+)+$/;
16
+ const normalizeSignalRef = (entry) => {
17
+ if (typeof entry === 'string') {
18
+ return entry;
19
+ }
20
+ const ref = getLateBoundSignalRef(entry);
21
+ if (!ref) {
22
+ return entry.id;
23
+ }
24
+ // Already-scoped canonical ids (e.g. "identity:users.created") must pass
25
+ // through unchanged. Rewriting them to a bare marker token collapses
26
+ // multi-binding cases where the same store definition is bound under two
27
+ // separate resources: both bindings share the late-bound token, so the
28
+ // caller's explicit choice of scope would be lost and topo resolution
29
+ // would throw an ambiguity error.
30
+ //
31
+ // Use a strict predicate that matches the canonical scoped shape
32
+ // `<scope>:<table>.<event>` (exactly one `:` separating a non-empty scope
33
+ // from a non-empty dotted tail of at least two segments). A looser
34
+ // `includes(':')` check would let unscoped ids that happen to contain `:`
35
+ // slip past markerization and then fail to resolve at topo finalization.
36
+ if (SCOPED_SIGNAL_ID.test(entry.id)) {
37
+ return entry.id;
38
+ }
39
+ return createLateBoundSignalMarker(ref, entry.id);
40
+ };
41
+ /** Normalize a crosses entry — trail objects are reduced to their id. */
42
+ const normalizeCrossRef = (entry) => typeof entry === 'string' ? entry : entry.id;
43
+ /** Freeze and normalize all collection fields from a trail spec. */
44
+ const normalizeCollections = (spec) => ({
45
+ args: Array.isArray(spec.args) ? Object.freeze([...spec.args]) : spec.args,
46
+ contours: Object.freeze([...(spec.contours ?? [])]),
47
+ detours: Object.freeze([...(spec.detours ?? [])]),
48
+ fires: Object.freeze((spec.fires ?? []).map(normalizeSignalRef)),
49
+ on: Object.freeze((spec.on ?? []).map(normalizeSignalRef)),
50
+ resources: Object.freeze([...(spec.resources ?? [])]),
51
+ });
1
52
  export function trail(idOrSpec, maybeSpec) {
2
53
  const resolved = typeof idOrSpec === 'string'
3
54
  ? { id: idOrSpec, spec: maybeSpec }
@@ -5,16 +56,20 @@ export function trail(idOrSpec, maybeSpec) {
5
56
  if (!resolved.spec) {
6
57
  throw new TypeError('trail() requires a spec when an id is provided');
7
58
  }
8
- const { blaze, crosses: rawCrosses, intent: rawIntent, provisions: rawProvisions, ...spec } = resolved.spec;
9
- const provisions = Object.freeze([...(rawProvisions ?? [])]);
59
+ const { blaze, crossInput, crosses: rawCrosses, intent: rawIntent, visibility: rawVisibility,
60
+ // Destructure away fields handled by normalizeCollections
61
+ args: _a, contours: _c, detours: _d, fires: _f, on: _o, resources: _r, ...spec } = resolved.spec;
62
+ const collections = normalizeCollections(resolved.spec);
10
63
  return Object.freeze({
11
64
  ...spec,
65
+ ...collections,
12
66
  blaze: async (input, ctx) => await blaze(input, ctx),
13
- crosses: Object.freeze([...(rawCrosses ?? [])]),
67
+ crossInput,
68
+ crosses: Object.freeze((rawCrosses ?? []).map(normalizeCrossRef)),
14
69
  id: resolved.id,
15
70
  intent: rawIntent ?? 'write',
16
71
  kind: 'trail',
17
- provisions,
72
+ visibility: rawVisibility ?? 'public',
18
73
  });
19
74
  }
20
75
  //# sourceMappingURL=trail.js.map
package/dist/trail.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"trail.js","sourceRoot":"","sources":["../src/trail.ts"],"names":[],"mappings":"AA0HA,MAAM,UAAU,KAAK,CACnB,QAA8D,EAC9D,SAA2B;IAE3B,MAAM,QAAQ,GACZ,OAAO,QAAQ,KAAK,QAAQ;QAC1B,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;QACnC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAE1C,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,EACJ,KAAK,EACL,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,SAAS,EACjB,UAAU,EAAE,aAAa,EACzB,GAAG,IAAI,EACR,GAAG,QAAQ,CAAC,IAAI,CAAC;IAClB,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,KAAK,EAAE,KAAK,EAAE,KAAQ,EAAE,GAAiB,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;QACrE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/C,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,MAAM,EAAE,SAAS,IAAI,OAAO;QAC5B,IAAI,EAAE,OAAgB;QACtB,UAAU;KACX,CAAC,CAAC;AACL,CAAC"}
1
+ {"version":3,"file":"trail.js","sourceRoot":"","sources":["../src/trail.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,0BAA0B,CAAC;AAuKlC,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,gBAAgB,GAAG,mCAAmC,CAAC;AAE7D,MAAM,kBAAkB,GAAG,CAAC,KAAyB,EAAU,EAAE;IAC/D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,GAAG,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,KAAK,CAAC,EAAE,CAAC;IAClB,CAAC;IAED,yEAAyE;IACzE,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,sEAAsE;IACtE,kCAAkC;IAClC,EAAE;IACF,iEAAiE;IACjE,0EAA0E;IAC1E,mEAAmE;IACnE,0EAA0E;IAC1E,yEAAyE;IACzE,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC,EAAE,CAAC;IAClB,CAAC;IAED,OAAO,2BAA2B,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,yEAAyE;AACzE,MAAM,iBAAiB,GAAG,CAAC,KAAwB,EAAU,EAAE,CAC7D,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;AAE/C,oEAAoE;AACpE,MAAM,oBAAoB,GAAG,CAC3B,IAAyB,EAQzB,EAAE,CAAC,CAAC;IACJ,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI;IAC1E,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;IACnD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAChE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAC1D,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;CACtD,CAAC,CAAC;AA+BH,MAAM,UAAU,KAAK,CACnB,QAAkE,EAClE,SAA+B;IAE/B,MAAM,QAAQ,GACZ,OAAO,QAAQ,KAAK,QAAQ;QAC1B,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;QACnC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAE1C,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,EACJ,KAAK,EACL,UAAU,EACV,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,SAAS,EACjB,UAAU,EAAE,aAAa;IACzB,0DAA0D;IAC1D,IAAI,EAAE,EAAE,EACR,QAAQ,EAAE,EAAE,EACZ,OAAO,EAAE,EAAE,EACX,KAAK,EAAE,EAAE,EACT,EAAE,EAAE,EAAE,EACN,SAAS,EAAE,EAAE,EACb,GAAG,IAAI,EACR,GAAG,QAAQ,CAAC,IAAI,CAAC;IAClB,MAAM,WAAW,GAAG,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAExD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,GAAG,WAAW;QACd,KAAK,EAAE,KAAK,EAAE,KAAwB,EAAE,GAAiB,EAAE,EAAE,CAC3D,MAAM,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;QACzB,UAAU;QACV,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACjE,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,MAAM,EAAE,SAAS,IAAI,OAAO;QAC5B,IAAI,EAAE,OAAgB;QACtB,UAAU,EAAE,aAAa,IAAI,QAAQ;KACtC,CAAC,CAAC;AACL,CAAC"}