@bett3r-dev/blueprint-schema 1.6.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (221) hide show
  1. package/README.md +7 -0
  2. package/build/cjs/apply-design.d.ts +22 -0
  3. package/build/cjs/apply-design.d.ts.map +1 -0
  4. package/build/cjs/apply-design.js +206 -0
  5. package/build/cjs/apply-design.js.map +1 -0
  6. package/build/cjs/apply-overrides.d.ts +11 -0
  7. package/build/cjs/apply-overrides.d.ts.map +1 -0
  8. package/build/cjs/apply-overrides.js +240 -0
  9. package/build/cjs/apply-overrides.js.map +1 -0
  10. package/build/cjs/convergence.d.ts +15 -0
  11. package/build/cjs/convergence.d.ts.map +1 -0
  12. package/build/cjs/convergence.js +28 -0
  13. package/build/cjs/convergence.js.map +1 -0
  14. package/build/cjs/design.d.ts +85 -0
  15. package/build/cjs/design.d.ts.map +1 -0
  16. package/build/cjs/design.js +51 -0
  17. package/build/cjs/design.js.map +1 -0
  18. package/build/cjs/diagnostics.d.ts +74 -0
  19. package/build/cjs/diagnostics.d.ts.map +1 -0
  20. package/build/cjs/diagnostics.js +16 -0
  21. package/build/cjs/diagnostics.js.map +1 -0
  22. package/build/cjs/edges.d.ts +17 -0
  23. package/build/cjs/edges.d.ts.map +1 -0
  24. package/build/cjs/edges.js +21 -0
  25. package/build/cjs/edges.js.map +1 -0
  26. package/build/cjs/entry-points.d.ts +17 -0
  27. package/build/cjs/entry-points.d.ts.map +1 -0
  28. package/build/cjs/entry-points.js +58 -0
  29. package/build/cjs/entry-points.js.map +1 -0
  30. package/build/cjs/find-orphan-nodes.d.ts +5 -0
  31. package/build/cjs/find-orphan-nodes.d.ts.map +1 -0
  32. package/build/cjs/find-orphan-nodes.js +14 -0
  33. package/build/cjs/find-orphan-nodes.js.map +1 -0
  34. package/build/cjs/flow-traversal.d.ts +24 -0
  35. package/build/cjs/flow-traversal.d.ts.map +1 -0
  36. package/build/cjs/flow-traversal.js +102 -0
  37. package/build/cjs/flow-traversal.js.map +1 -0
  38. package/build/cjs/graph.d.ts +19 -0
  39. package/build/cjs/graph.d.ts.map +1 -0
  40. package/build/cjs/graph.js +32 -0
  41. package/build/cjs/graph.js.map +1 -0
  42. package/build/cjs/handler-scope.d.ts +27 -0
  43. package/build/cjs/handler-scope.d.ts.map +1 -0
  44. package/build/cjs/handler-scope.js +54 -0
  45. package/build/cjs/handler-scope.js.map +1 -0
  46. package/build/cjs/index.d.ts +27 -0
  47. package/build/cjs/index.d.ts.map +1 -0
  48. package/build/cjs/index.js +43 -0
  49. package/build/cjs/index.js.map +1 -0
  50. package/build/cjs/map-links.d.ts +12 -0
  51. package/build/cjs/map-links.d.ts.map +1 -0
  52. package/build/cjs/map-links.js +59 -0
  53. package/build/cjs/map-links.js.map +1 -0
  54. package/build/cjs/map-structure.d.ts +110 -0
  55. package/build/cjs/map-structure.d.ts.map +1 -0
  56. package/build/cjs/map-structure.js +54 -0
  57. package/build/cjs/map-structure.js.map +1 -0
  58. package/build/cjs/map-vocabulary.d.ts +53 -0
  59. package/build/cjs/map-vocabulary.d.ts.map +1 -0
  60. package/build/cjs/map-vocabulary.js +156 -0
  61. package/build/cjs/map-vocabulary.js.map +1 -0
  62. package/build/cjs/nodes.d.ts +39 -0
  63. package/build/cjs/nodes.d.ts.map +1 -0
  64. package/build/cjs/nodes.js +31 -0
  65. package/build/cjs/nodes.js.map +1 -0
  66. package/build/cjs/op-chain.d.ts +18 -0
  67. package/build/cjs/op-chain.d.ts.map +1 -0
  68. package/build/cjs/op-chain.js +42 -0
  69. package/build/cjs/op-chain.js.map +1 -0
  70. package/build/cjs/ops.d.ts +158 -0
  71. package/build/cjs/ops.d.ts.map +1 -0
  72. package/build/cjs/ops.js +11 -0
  73. package/build/cjs/ops.js.map +1 -0
  74. package/build/cjs/organisation.d.ts +10 -0
  75. package/build/cjs/organisation.d.ts.map +1 -0
  76. package/build/cjs/organisation.js +21 -0
  77. package/build/cjs/organisation.js.map +1 -0
  78. package/build/cjs/overrides.d.ts +74 -0
  79. package/build/cjs/overrides.d.ts.map +1 -0
  80. package/build/cjs/overrides.js +20 -0
  81. package/build/cjs/overrides.js.map +1 -0
  82. package/build/cjs/reachability.d.ts +27 -0
  83. package/build/cjs/reachability.d.ts.map +1 -0
  84. package/build/cjs/reachability.js +218 -0
  85. package/build/cjs/reachability.js.map +1 -0
  86. package/build/cjs/reality-check.d.ts +42 -0
  87. package/build/cjs/reality-check.d.ts.map +1 -0
  88. package/build/cjs/reality-check.js +191 -0
  89. package/build/cjs/reality-check.js.map +1 -0
  90. package/build/cjs/replication.d.ts +7 -0
  91. package/build/cjs/replication.d.ts.map +1 -0
  92. package/build/cjs/replication.js +19 -0
  93. package/build/cjs/replication.js.map +1 -0
  94. package/build/cjs/retention.d.ts +11 -0
  95. package/build/cjs/retention.d.ts.map +1 -0
  96. package/build/cjs/retention.js +22 -0
  97. package/build/cjs/retention.js.map +1 -0
  98. package/build/cjs/session.d.ts +45 -0
  99. package/build/cjs/session.d.ts.map +1 -0
  100. package/build/cjs/session.js +55 -0
  101. package/build/cjs/session.js.map +1 -0
  102. package/build/cjs/topology.d.ts +12 -0
  103. package/build/cjs/topology.d.ts.map +1 -0
  104. package/build/cjs/topology.js +48 -0
  105. package/build/cjs/topology.js.map +1 -0
  106. package/build/cjs/validate-design.d.ts +22 -0
  107. package/build/cjs/validate-design.d.ts.map +1 -0
  108. package/build/cjs/validate-design.js +576 -0
  109. package/build/cjs/validate-design.js.map +1 -0
  110. package/build/esm/apply-design.d.ts +22 -0
  111. package/build/esm/apply-design.d.ts.map +1 -0
  112. package/build/esm/apply-design.js +202 -0
  113. package/build/esm/apply-design.js.map +1 -0
  114. package/build/esm/apply-overrides.d.ts +11 -0
  115. package/build/esm/apply-overrides.d.ts.map +1 -0
  116. package/build/esm/apply-overrides.js +235 -0
  117. package/build/esm/apply-overrides.js.map +1 -0
  118. package/build/esm/convergence.d.ts +15 -0
  119. package/build/esm/convergence.d.ts.map +1 -0
  120. package/build/esm/convergence.js +25 -0
  121. package/build/esm/convergence.js.map +1 -0
  122. package/build/esm/design.d.ts +85 -0
  123. package/build/esm/design.d.ts.map +1 -0
  124. package/build/esm/design.js +43 -0
  125. package/build/esm/design.js.map +1 -0
  126. package/build/esm/diagnostics.d.ts +74 -0
  127. package/build/esm/diagnostics.d.ts.map +1 -0
  128. package/build/esm/diagnostics.js +13 -0
  129. package/build/esm/diagnostics.js.map +1 -0
  130. package/build/esm/edges.d.ts +17 -0
  131. package/build/esm/edges.d.ts.map +1 -0
  132. package/build/esm/edges.js +18 -0
  133. package/build/esm/edges.js.map +1 -0
  134. package/build/esm/entry-points.d.ts +17 -0
  135. package/build/esm/entry-points.d.ts.map +1 -0
  136. package/build/esm/entry-points.js +52 -0
  137. package/build/esm/entry-points.js.map +1 -0
  138. package/build/esm/find-orphan-nodes.d.ts +5 -0
  139. package/build/esm/find-orphan-nodes.d.ts.map +1 -0
  140. package/build/esm/find-orphan-nodes.js +11 -0
  141. package/build/esm/find-orphan-nodes.js.map +1 -0
  142. package/build/esm/flow-traversal.d.ts +24 -0
  143. package/build/esm/flow-traversal.d.ts.map +1 -0
  144. package/build/esm/flow-traversal.js +96 -0
  145. package/build/esm/flow-traversal.js.map +1 -0
  146. package/build/esm/graph.d.ts +19 -0
  147. package/build/esm/graph.d.ts.map +1 -0
  148. package/build/esm/graph.js +26 -0
  149. package/build/esm/graph.js.map +1 -0
  150. package/build/esm/handler-scope.d.ts +27 -0
  151. package/build/esm/handler-scope.d.ts.map +1 -0
  152. package/build/esm/handler-scope.js +49 -0
  153. package/build/esm/handler-scope.js.map +1 -0
  154. package/build/esm/index.d.ts +27 -0
  155. package/build/esm/index.d.ts.map +1 -0
  156. package/build/esm/index.js +27 -0
  157. package/build/esm/index.js.map +1 -0
  158. package/build/esm/map-links.d.ts +12 -0
  159. package/build/esm/map-links.d.ts.map +1 -0
  160. package/build/esm/map-links.js +56 -0
  161. package/build/esm/map-links.js.map +1 -0
  162. package/build/esm/map-structure.d.ts +110 -0
  163. package/build/esm/map-structure.d.ts.map +1 -0
  164. package/build/esm/map-structure.js +46 -0
  165. package/build/esm/map-structure.js.map +1 -0
  166. package/build/esm/map-vocabulary.d.ts +53 -0
  167. package/build/esm/map-vocabulary.d.ts.map +1 -0
  168. package/build/esm/map-vocabulary.js +146 -0
  169. package/build/esm/map-vocabulary.js.map +1 -0
  170. package/build/esm/nodes.d.ts +39 -0
  171. package/build/esm/nodes.d.ts.map +1 -0
  172. package/build/esm/nodes.js +28 -0
  173. package/build/esm/nodes.js.map +1 -0
  174. package/build/esm/op-chain.d.ts +18 -0
  175. package/build/esm/op-chain.d.ts.map +1 -0
  176. package/build/esm/op-chain.js +36 -0
  177. package/build/esm/op-chain.js.map +1 -0
  178. package/build/esm/ops.d.ts +158 -0
  179. package/build/esm/ops.d.ts.map +1 -0
  180. package/build/esm/ops.js +7 -0
  181. package/build/esm/ops.js.map +1 -0
  182. package/build/esm/organisation.d.ts +10 -0
  183. package/build/esm/organisation.d.ts.map +1 -0
  184. package/build/esm/organisation.js +16 -0
  185. package/build/esm/organisation.js.map +1 -0
  186. package/build/esm/overrides.d.ts +74 -0
  187. package/build/esm/overrides.d.ts.map +1 -0
  188. package/build/esm/overrides.js +15 -0
  189. package/build/esm/overrides.js.map +1 -0
  190. package/build/esm/package.json +1 -0
  191. package/build/esm/reachability.d.ts +27 -0
  192. package/build/esm/reachability.d.ts.map +1 -0
  193. package/build/esm/reachability.js +212 -0
  194. package/build/esm/reachability.js.map +1 -0
  195. package/build/esm/reality-check.d.ts +42 -0
  196. package/build/esm/reality-check.d.ts.map +1 -0
  197. package/build/esm/reality-check.js +185 -0
  198. package/build/esm/reality-check.js.map +1 -0
  199. package/build/esm/replication.d.ts +7 -0
  200. package/build/esm/replication.d.ts.map +1 -0
  201. package/build/esm/replication.js +15 -0
  202. package/build/esm/replication.js.map +1 -0
  203. package/build/esm/retention.d.ts +11 -0
  204. package/build/esm/retention.d.ts.map +1 -0
  205. package/build/esm/retention.js +17 -0
  206. package/build/esm/retention.js.map +1 -0
  207. package/build/esm/session.d.ts +45 -0
  208. package/build/esm/session.d.ts.map +1 -0
  209. package/build/esm/session.js +49 -0
  210. package/build/esm/session.js.map +1 -0
  211. package/build/esm/topology.d.ts +12 -0
  212. package/build/esm/topology.d.ts.map +1 -0
  213. package/build/esm/topology.js +43 -0
  214. package/build/esm/topology.js.map +1 -0
  215. package/build/esm/validate-design.d.ts +22 -0
  216. package/build/esm/validate-design.d.ts.map +1 -0
  217. package/build/esm/validate-design.js +572 -0
  218. package/build/esm/validate-design.js.map +1 -0
  219. package/build/tsconfig.tsbuildinfo +1 -0
  220. package/package.json +37 -0
  221. package/schema/map.schema.json +44 -0
@@ -0,0 +1,218 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.findStrandedProposals = exports.drawableIds = exports.strandingFailure = exports.CAUSAL_KINDS = void 0;
4
+ const entry_points_js_1 = require("./entry-points.js");
5
+ const apply_design_js_1 = require("./apply-design.js");
6
+ const flow_traversal_js_1 = require("./flow-traversal.js");
7
+ exports.CAUSAL_KINDS = new Set([
8
+ ...flow_traversal_js_1.TRAVERSABLE_KINDS,
9
+ 'emits',
10
+ 'issues'
11
+ ]);
12
+ const strandingFailure = (cause) => {
13
+ const code = cause?.code;
14
+ return {
15
+ code: typeof code === 'string' ? code : 'INTERNAL_ERROR',
16
+ message: cause instanceof Error ? cause.message : String(cause)
17
+ };
18
+ };
19
+ exports.strandingFailure = strandingFailure;
20
+ const drawableIds = (graph, options = {}) => {
21
+ const nodesById = new Map(graph.nodes.map((node) => [node.id, node]));
22
+ const index = (0, entry_points_js_1.buildEntryPointIndex)(graph, nodesById);
23
+ const roots = graph.nodes
24
+ .filter((node) => node.type === 'command' &&
25
+ node.status !== 'removed' &&
26
+ (0, entry_points_js_1.isPromotableId)(node.id, index, options))
27
+ .map((node) => node.id);
28
+ const rootIds = new Set(roots);
29
+ const flowIndex = (0, flow_traversal_js_1.buildFlowIndex)(graph);
30
+ const spine = new Set();
31
+ for (const rootId of roots) {
32
+ for (const id of (0, flow_traversal_js_1.traverseFlow)(flowIndex, { rootId }).keys())
33
+ spine.add(id);
34
+ }
35
+ const drawable = new Set(spine);
36
+ for (const edge of graph.edges) {
37
+ const from = nodesById.get(edge.from);
38
+ if (from === undefined)
39
+ continue;
40
+ if (edge.kind === 'invokes' && from.type === 'ui' && spine.has(edge.to)) {
41
+ drawable.add(edge.from);
42
+ }
43
+ if (edge.kind === 'issues' && from.type === 'policy' && rootIds.has(edge.to)) {
44
+ drawable.add(edge.from);
45
+ }
46
+ }
47
+ return drawable;
48
+ };
49
+ exports.drawableIds = drawableIds;
50
+ const findStrandedProposals = (graph, design, options = {}) => {
51
+ const proposedNodes = design.propose?.nodes ?? [];
52
+ const proposedEdges = design.propose?.edges ?? [];
53
+ if (proposedNodes.length === 0)
54
+ return { frontier: [], downstream: [] };
55
+ const incident = new Set();
56
+ for (const edge of proposedEdges) {
57
+ incident.add(edge.from);
58
+ incident.add(edge.to);
59
+ }
60
+ const drawable = (0, exports.drawableIds)(graph, options);
61
+ const stranded = proposedNodes
62
+ .map((node) => (0, apply_design_js_1.proposedNodeId)(node))
63
+ .filter((id) => incident.has(id) && !drawable.has(id));
64
+ if (stranded.length === 0)
65
+ return { frontier: [], downstream: [] };
66
+ const strandedSet = new Set(stranded);
67
+ const causalEdges = graph.edges.filter((edge) => exports.CAUSAL_KINDS.has(edge.kind) &&
68
+ strandedSet.has(edge.from) &&
69
+ strandedSet.has(edge.to) &&
70
+ edge.from !== edge.to);
71
+ const componentOf = stronglyConnectedComponents(stranded, causalEdges);
72
+ const causedComponents = new Set();
73
+ for (const edge of causalEdges) {
74
+ if (componentOf.get(edge.from) !== componentOf.get(edge.to)) {
75
+ causedComponents.add(componentOf.get(edge.to));
76
+ }
77
+ }
78
+ const frontierIds = stranded.filter((id) => !causedComponents.has(componentOf.get(id)));
79
+ const attribution = attributeToFrontier(frontierIds, causalEdges);
80
+ const nodesById = new Map(graph.nodes.map((node) => [node.id, node]));
81
+ const explain = explainer(graph, nodesById);
82
+ const frontier = [];
83
+ const downstream = [];
84
+ for (const id of stranded) {
85
+ const cause = attribution.get(id);
86
+ if (cause === undefined || cause === id) {
87
+ frontier.push({ id, ...explain(id) });
88
+ }
89
+ else {
90
+ downstream.push({ id, downstreamOf: cause });
91
+ }
92
+ }
93
+ return { frontier, downstream };
94
+ };
95
+ exports.findStrandedProposals = findStrandedProposals;
96
+ const explainer = (graph, nodesById) => {
97
+ let wideDrawable;
98
+ return (id) => {
99
+ if (wideDrawable === undefined) {
100
+ wideDrawable = (0, exports.drawableIds)(graph, { showInboundTriggers: true });
101
+ }
102
+ if (wideDrawable.has(id)) {
103
+ return {
104
+ reason: 'CROSS_SUBDOMAIN_ENTRY_POINT_ONLY',
105
+ hint: 'drawn only while the board\'s "show inbound triggers" toggle is on, which is off by default'
106
+ };
107
+ }
108
+ const node = nodesById.get(id);
109
+ if (node?.type === 'system' &&
110
+ !graph.edges.some((edge) => edge.kind === 'handled-by' && edge.to === id)) {
111
+ return { reason: 'SYSTEM_WITHOUT_COMMAND_HANDLER' };
112
+ }
113
+ if (node?.type === 'command') {
114
+ for (const issues of graph.edges) {
115
+ if (issues.kind !== 'issues' || issues.to !== id)
116
+ continue;
117
+ for (const triggers of graph.edges) {
118
+ if (triggers.kind !== 'triggers' || triggers.to !== issues.from)
119
+ continue;
120
+ const mirrored = graph.edges.some((edge) => edge.kind === 'causes' && edge.from === triggers.from && edge.to === id);
121
+ if (!mirrored) {
122
+ return {
123
+ reason: 'POLICY_HOP_WITHOUT_CAUSES_MIRROR',
124
+ hint: `${triggers.from} --causes--> ${id}`
125
+ };
126
+ }
127
+ }
128
+ }
129
+ }
130
+ return { reason: 'NO_PATH_FROM_ANY_ROOT' };
131
+ };
132
+ };
133
+ const stronglyConnectedComponents = (ids, edges) => {
134
+ const adjacency = new Map(ids.map((id) => [id, []]));
135
+ for (const edge of edges)
136
+ adjacency.get(edge.from).push(edge.to);
137
+ const index = new Map();
138
+ const lowLink = new Map();
139
+ const onStack = new Set();
140
+ const stack = [];
141
+ const component = new Map();
142
+ let counter = 0;
143
+ let components = 0;
144
+ for (const start of ids) {
145
+ if (index.has(start))
146
+ continue;
147
+ const frames = [[start, 0]];
148
+ index.set(start, counter);
149
+ lowLink.set(start, counter);
150
+ counter += 1;
151
+ stack.push(start);
152
+ onStack.add(start);
153
+ while (frames.length > 0) {
154
+ const frame = frames[frames.length - 1];
155
+ const [node] = frame;
156
+ const neighbours = adjacency.get(node);
157
+ if (frame[1] < neighbours.length) {
158
+ const next = neighbours[frame[1]];
159
+ frame[1] += 1;
160
+ if (!index.has(next)) {
161
+ index.set(next, counter);
162
+ lowLink.set(next, counter);
163
+ counter += 1;
164
+ stack.push(next);
165
+ onStack.add(next);
166
+ frames.push([next, 0]);
167
+ }
168
+ else if (onStack.has(next)) {
169
+ lowLink.set(node, Math.min(lowLink.get(node), index.get(next)));
170
+ }
171
+ continue;
172
+ }
173
+ frames.pop();
174
+ if (frames.length > 0) {
175
+ const parent = frames[frames.length - 1][0];
176
+ lowLink.set(parent, Math.min(lowLink.get(parent), lowLink.get(node)));
177
+ }
178
+ if (lowLink.get(node) === index.get(node)) {
179
+ let member;
180
+ do {
181
+ member = stack.pop();
182
+ onStack.delete(member);
183
+ component.set(member, components);
184
+ } while (member !== node);
185
+ components += 1;
186
+ }
187
+ }
188
+ }
189
+ return component;
190
+ };
191
+ const attributeToFrontier = (frontierIds, edges) => {
192
+ const outgoing = new Map();
193
+ for (const edge of edges) {
194
+ const list = outgoing.get(edge.from);
195
+ if (list)
196
+ list.push(edge.to);
197
+ else
198
+ outgoing.set(edge.from, [edge.to]);
199
+ }
200
+ const attribution = new Map();
201
+ const queue = [];
202
+ for (const id of frontierIds) {
203
+ attribution.set(id, id);
204
+ queue.push(id);
205
+ }
206
+ while (queue.length > 0) {
207
+ const current = queue.shift();
208
+ const cause = attribution.get(current);
209
+ for (const next of outgoing.get(current) ?? []) {
210
+ if (attribution.has(next))
211
+ continue;
212
+ attribution.set(next, cause);
213
+ queue.push(next);
214
+ }
215
+ }
216
+ return attribution;
217
+ };
218
+ //# sourceMappingURL=reachability.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"reachability.js","sourceRoot":"","sources":["../../src/reachability.ts"],"names":[],"mappings":";;;AAEA,uDAA2F;AAG3F,uDAAmD;AACnD,2DAAsF;AAEzE,QAAA,YAAY,GAA0B,IAAI,GAAG,CAAY;IACpE,GAAG,qCAAiB;IACpB,OAAO;IACP,QAAQ;CACT,CAAE,CAAC;AA6BG,MAAM,gBAAgB,GAAG,CAAE,KAAc,EAAqB,EAAE;IACrE,MAAM,IAAI,GAAK,KAAgD,EAAE,IAAI,CAAC;IACtE,OAAO;QACL,IAAI,EAAE,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB;QACxD,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAE,KAAK,CAAE;KAClE,CAAC;AACJ,CAAC,CAAC;AANW,QAAA,gBAAgB,oBAM3B;AAEK,MAAM,WAAW,GAAG,CACzB,KAAqB,EACrB,UAA4B,EAAE,EACT,EAAE;IACvB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAyB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAE,CAAE,CAAC;IACrG,MAAM,KAAK,GAAG,IAAA,sCAAoB,EAAE,KAAK,EAAE,SAAS,CAAE,CAAC;IAEvD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK;SACtB,MAAM,CAAE,CAAE,IAAI,EAAG,EAAE,CAClB,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,IAAI,CAAC,MAAM,KAAK,SAAS;QACzB,IAAA,gCAAc,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAE,CAAE;SAC5C,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAE,KAAK,CAAE,CAAC;IAEjC,MAAM,SAAS,GAAG,IAAA,kCAAc,EAAE,KAAK,CAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAM,MAAM,MAAM,IAAI,KAAK,EAAG,CAAC;QAC7B,KAAM,MAAM,EAAE,IAAI,IAAA,gCAAY,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAE,CAAC,IAAI,EAAE;YAAG,KAAK,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;IACnF,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAU,KAAK,CAAE,CAAC;IAE1C,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;QACjC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QACxC,IAAK,IAAI,KAAK,SAAS;YAAG,SAAS;QACnC,IAAK,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,EAAG,CAAC;YAC5E,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QAC5B,CAAC;QACD,IAAK,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,EAAG,CAAC;YACjF,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAnCW,QAAA,WAAW,eAmCtB;AAEK,MAAM,qBAAqB,GAAG,CACnC,KAAqB,EACrB,MAAkB,EAClB,UAA4B,EAAE,EACb,EAAE;IACnB,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IAClD,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IAClD,IAAK,aAAa,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAE1E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAM,MAAM,IAAI,IAAI,aAAa,EAAG,CAAC;QACnC,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QAC1B,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;IAC1B,CAAC;IAED,MAAM,QAAQ,GAAG,IAAA,mBAAW,EAAE,KAAK,EAAE,OAAO,CAAE,CAAC;IAC/C,MAAM,QAAQ,GAAG,aAAa;SAC3B,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,IAAA,gCAAc,EAAE,IAAI,CAAE,CAAE;SACzC,MAAM,CAAE,CAAE,EAAE,EAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAE,EAAE,CAAE,CAAE,CAAC;IACjE,IAAK,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAErE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAE,QAAQ,CAAE,CAAC;IACxC,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAE,CAAE,IAAI,EAAG,EAAE,CACjD,oBAAY,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE;QAC7B,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE;QAC5B,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE;QAC1B,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAE,CAAC;IAE1B,MAAM,WAAW,GAAG,2BAA2B,CAAE,QAAQ,EAAE,WAAW,CAAE,CAAC;IAEzE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAM,MAAM,IAAI,IAAI,WAAW,EAAG,CAAC;QACjC,IAAK,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,KAAK,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,EAAG,CAAC;YAClE,gBAAgB,CAAC,GAAG,CAAE,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAG,CAAE,CAAC;QACtD,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAE,CAAE,EAAE,EAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAE,WAAW,CAAC,GAAG,CAAE,EAAE,CAAG,CAAE,CAAE,CAAC;IACjG,MAAM,WAAW,GAAG,mBAAmB,CAAE,WAAW,EAAE,WAAW,CAAE,CAAC;IAEpE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAyB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAE,CAAE,CAAC;IACrG,MAAM,OAAO,GAAG,SAAS,CAAE,KAAK,EAAE,SAAS,CAAE,CAAC;IAE9C,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,KAAM,MAAM,EAAE,IAAI,QAAQ,EAAG,CAAC;QAC5B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;QACpC,IAAK,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,EAAG,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAE,EAAE,CAAE,EAAE,CAAE,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAE,CAAC;QACjD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAClC,CAAC,CAAC;AAvDW,QAAA,qBAAqB,yBAuDhC;AAEF,MAAM,SAAS,GAAG,CAAE,KAAqB,EAAE,SAA6C,EAAG,EAAE;IAC3F,IAAI,YAA6C,CAAC;IAElD,OAAO,CAAE,EAAU,EAA4C,EAAE;QAC/D,IAAK,YAAY,KAAK,SAAS,EAAG,CAAC;YACjC,YAAY,GAAG,IAAA,mBAAW,EAAE,KAAK,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAE,CAAC;QACrE,CAAC;QACD,IAAK,YAAY,CAAC,GAAG,CAAE,EAAE,CAAE,EAAG,CAAC;YAC7B,OAAO;gBACL,MAAM,EAAE,kCAAkC;gBAC1C,IAAI,EAAE,6FAA6F;aACpG,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;QAEjC,IACE,IAAI,EAAE,IAAI,KAAK,QAAQ;YACvB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,EAAE,KAAK,EAAE,CAAE,EAC7E,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;QACtD,CAAC;QAED,IAAK,IAAI,EAAE,IAAI,KAAK,SAAS,EAAG,CAAC;YAC/B,KAAM,MAAM,MAAM,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;gBACnC,IAAK,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,EAAE,KAAK,EAAE;oBAAG,SAAS;gBAC7D,KAAM,MAAM,QAAQ,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;oBACrC,IAAK,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI;wBAAG,SAAS;oBAC5E,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAE,CAAE,IAAI,EAAG,EAAE,CAC5C,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,EAAE,CAAE,CAAC;oBAC5E,IAAK,CAAC,QAAQ,EAAG,CAAC;wBAChB,OAAO;4BACL,MAAM,EAAE,kCAAkC;4BAC1C,IAAI,EAAE,GAAI,QAAQ,CAAC,IAAK,gBAAiB,EAAG,EAAE;yBAC/C,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;IAC7C,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,GAAsB,EACtB,KAA8C,EACjB,EAAE;IAC/B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAoB,GAAG,CAAC,GAAG,CAAE,CAAE,EAAE,EAAG,EAAE,CAAC,CAAE,EAAE,EAAE,EAAE,CAAE,CAAE,CAAE,CAAC;IAC/E,KAAM,MAAM,IAAI,IAAI,KAAK;QAAG,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAG,CAAC,IAAI,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;IAExE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAM,MAAM,KAAK,IAAI,GAAG,EAAG,CAAC;QAC1B,IAAK,KAAK,CAAC,GAAG,CAAE,KAAK,CAAE;YAAG,SAAS;QAEnC,MAAM,MAAM,GAAyB,CAAE,CAAE,KAAK,EAAE,CAAC,CAAE,CAAE,CAAC;QACtD,KAAK,CAAC,GAAG,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,CAAC;QACb,KAAK,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC;QAErB,OAAQ,MAAM,CAAC,MAAM,GAAG,CAAC,EAAG,CAAC;YAC3B,MAAM,KAAK,GAAG,MAAM,CAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;YAC1C,MAAM,CAAE,IAAI,CAAE,GAAG,KAAK,CAAC;YACvB,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAE,IAAI,CAAG,CAAC;YAE1C,IAAK,KAAK,CAAE,CAAC,CAAE,GAAG,UAAU,CAAC,MAAM,EAAG,CAAC;gBACrC,MAAM,IAAI,GAAG,UAAU,CAAE,KAAK,CAAE,CAAC,CAAE,CAAE,CAAC;gBACtC,KAAK,CAAE,CAAC,CAAE,IAAI,CAAC,CAAC;gBAChB,IAAK,CAAC,KAAK,CAAC,GAAG,CAAE,IAAI,CAAE,EAAG,CAAC;oBACzB,KAAK,CAAC,GAAG,CAAE,IAAI,EAAE,OAAO,CAAE,CAAC;oBAC3B,OAAO,CAAC,GAAG,CAAE,IAAI,EAAE,OAAO,CAAE,CAAC;oBAC7B,OAAO,IAAI,CAAC,CAAC;oBACb,KAAK,CAAC,IAAI,CAAE,IAAI,CAAE,CAAC;oBACnB,OAAO,CAAC,GAAG,CAAE,IAAI,CAAE,CAAC;oBACpB,MAAM,CAAC,IAAI,CAAE,CAAE,IAAI,EAAE,CAAC,CAAE,CAAE,CAAC;gBAC7B,CAAC;qBAAM,IAAK,OAAO,CAAC,GAAG,CAAE,IAAI,CAAE,EAAG,CAAC;oBACjC,OAAO,CAAC,GAAG,CAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAE,OAAO,CAAC,GAAG,CAAE,IAAI,CAAG,EAAE,KAAK,CAAC,GAAG,CAAE,IAAI,CAAG,CAAE,CAAE,CAAC;gBAC5E,CAAC;gBACD,SAAS;YACX,CAAC;YAED,MAAM,CAAC,GAAG,EAAE,CAAC;YACb,IAAK,MAAM,CAAC,MAAM,GAAG,CAAC,EAAG,CAAC;gBACxB,MAAM,MAAM,GAAG,MAAM,CAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAE,CAAC,CAAE,CAAC;gBAChD,OAAO,CAAC,GAAG,CAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAE,OAAO,CAAC,GAAG,CAAE,MAAM,CAAG,EAAE,OAAO,CAAC,GAAG,CAAE,IAAI,CAAG,CAAE,CAAE,CAAC;YAClF,CAAC;YACD,IAAK,OAAO,CAAC,GAAG,CAAE,IAAI,CAAE,KAAK,KAAK,CAAC,GAAG,CAAE,IAAI,CAAE,EAAG,CAAC;gBAChD,IAAI,MAAc,CAAC;gBACnB,GAAG,CAAC;oBACF,MAAM,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;oBACtB,OAAO,CAAC,MAAM,CAAE,MAAM,CAAE,CAAC;oBACzB,SAAS,CAAC,GAAG,CAAE,MAAM,EAAE,UAAU,CAAE,CAAC;gBACtC,CAAC,QAAS,MAAM,KAAK,IAAI,EAAG;gBAC5B,UAAU,IAAI,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,WAA8B,EAC9B,KAA8C,EACjB,EAAE;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAM,MAAM,IAAI,IAAI,KAAK,EAAG,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QACvC,IAAK,IAAI;YAAG,IAAI,CAAC,IAAI,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;;YAC5B,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,EAAE,CAAE,IAAI,CAAC,EAAE,CAAE,CAAE,CAAC;IAC9C,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAM,MAAM,EAAE,IAAI,WAAW,EAAG,CAAC;QAC/B,WAAW,CAAC,GAAG,CAAE,EAAE,EAAE,EAAE,CAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAE,EAAE,CAAE,CAAC;IACnB,CAAC;IAED,OAAQ,KAAK,CAAC,MAAM,GAAG,CAAC,EAAG,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAE,OAAO,CAAG,CAAC;QAC1C,KAAM,MAAM,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAE,OAAO,CAAE,IAAI,EAAE,EAAG,CAAC;YACnD,IAAK,WAAW,CAAC,GAAG,CAAE,IAAI,CAAE;gBAAG,SAAS;YACxC,WAAW,CAAC,GAAG,CAAE,IAAI,EAAE,KAAK,CAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAE,IAAI,CAAE,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}
@@ -0,0 +1,42 @@
1
+ import { EdgeKind } from './edges.js';
2
+ import { DesignFile } from './design.js';
3
+ import { BlueprintGraph } from './graph.js';
4
+ import { DesignAuthor } from './nodes.js';
5
+ export type VerbOutcome = 'satisfied' | 'stale' | 'pending';
6
+ export type VerbSubject = {
7
+ kind: 'node';
8
+ identity: string;
9
+ } | {
10
+ kind: 'edge';
11
+ from: string;
12
+ to: string;
13
+ edgeKind: EdgeKind;
14
+ };
15
+ export declare function verbSubjectKey(subject: VerbSubject): string;
16
+ export type VerbVerdict = {
17
+ path: string;
18
+ verb: 'propose' | 'modify' | 'remove';
19
+ author: DesignAuthor;
20
+ outcome: VerbOutcome;
21
+ subject: VerbSubject;
22
+ reason: string;
23
+ };
24
+ export type RealityCheck = {
25
+ verdicts: VerbVerdict[];
26
+ satisfied: VerbVerdict[];
27
+ stale: VerbVerdict[];
28
+ note: string;
29
+ };
30
+ export declare function realityMovedNote(satisfied: number, stale: number, degraded?: number): string;
31
+ export declare function checkDesignAgainstReality(reality: BlueprintGraph, design: DesignFile | undefined): RealityCheck;
32
+ export type DecorateSatisfiedInput = {
33
+ reality: BlueprintGraph;
34
+ merged: BlueprintGraph;
35
+ design: DesignFile | undefined;
36
+ };
37
+ export type DecorateSatisfiedResult = {
38
+ graph: BlueprintGraph;
39
+ check: RealityCheck;
40
+ };
41
+ export declare function decorateSatisfied(input: DecorateSatisfiedInput): DecorateSatisfiedResult;
42
+ //# sourceMappingURL=reality-check.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"reality-check.d.ts","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAiB,MAAM,YAAY,CAAC;AACrD,OAAO,EACL,UAAU,EAMX,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,cAAc,EAAuB,MAAM,YAAY,CAAC;AACjE,OAAO,EAAE,YAAY,EAAiC,MAAM,YAAY,CAAC;AAEzE,MAAM,MAAM,WAAW,GACnB,WAAW,GACX,OAAO,GACP,SAAS,CAAC;AAEd,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEnE,wBAAgB,cAAc,CAAE,OAAO,EAAE,WAAW,GAAI,MAAM,CAI7D;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACtC,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,wBAAgB,gBAAgB,CAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,SAAI,GAAI,MAAM,CAGzF;AAqJD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,UAAU,GAAG,SAAS,GAC7B,YAAY,CA2Dd;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,OAAO,EAAE,cAAc,CAAC;IACxB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,KAAK,EAAE,cAAc,CAAC;IACtB,KAAK,EAAE,YAAY,CAAC;CACrB,CAAC;AAEF,wBAAgB,iBAAiB,CAAE,KAAK,EAAE,sBAAsB,GAAI,uBAAuB,CA6B1F"}
@@ -0,0 +1,191 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.verbSubjectKey = verbSubjectKey;
4
+ exports.realityMovedNote = realityMovedNote;
5
+ exports.checkDesignAgainstReality = checkDesignAgainstReality;
6
+ exports.decorateSatisfied = decorateSatisfied;
7
+ const graph_js_1 = require("./graph.js");
8
+ function verbSubjectKey(subject) {
9
+ return subject.kind === 'node'
10
+ ? `node:${subject.identity}`
11
+ : `edge:${subject.from}|${subject.to}|${subject.edgeKind}`;
12
+ }
13
+ function realityMovedNote(satisfied, stale, degraded = 0) {
14
+ const census = `re-extraction: ${satisfied} satisfied / ${stale} stale`;
15
+ return degraded > 0 ? `${census} / ${degraded} degraded` : census;
16
+ }
17
+ function decide(satisfied, stale, pending) {
18
+ return satisfied ?? stale ?? pending;
19
+ }
20
+ function edgeKey(edge) {
21
+ return `${edge.from}|${edge.to}|${edge.kind}`;
22
+ }
23
+ function identityOf(node) {
24
+ return (0, graph_js_1.nodeId)(node.subdomain, node.type, node.label);
25
+ }
26
+ function indexReality(graph) {
27
+ const byId = new Map();
28
+ const byIdentity = new Map();
29
+ for (const node of graph.nodes) {
30
+ byId.set(node.id, node);
31
+ byIdentity.set(identityOf(node), node);
32
+ }
33
+ const edgeScopes = new Map();
34
+ for (const edge of graph.edges) {
35
+ if (edge.handlers !== undefined)
36
+ edgeScopes.set(edgeKey(edge), edge.handlers);
37
+ }
38
+ return { byId, byIdentity, edges: new Set(graph.edges.map(edgeKey)), edgeScopes };
39
+ }
40
+ function nodeAt(reality, id) {
41
+ return reality.byId.get(id) ?? reality.byIdentity.get(id);
42
+ }
43
+ function routesOf(queries) {
44
+ return [...(queries ?? []).map(query => query.route)].sort().join('\u0000');
45
+ }
46
+ function exhibitsFields(node, set) {
47
+ if (set.resourceKey !== undefined && node.resourceKey !== set.resourceKey)
48
+ return false;
49
+ if (set.queries !== undefined && routesOf(node.queries) !== routesOf(set.queries))
50
+ return false;
51
+ return true;
52
+ }
53
+ function modifyTargetIdentity(entry, reality) {
54
+ const set = entry.set ?? {};
55
+ const current = nodeAt(reality, entry.id);
56
+ if (current) {
57
+ return (0, graph_js_1.nodeId)(set.subdomain ?? current.subdomain, current.type, set.label ?? current.label);
58
+ }
59
+ const parsed = (0, graph_js_1.parseNodeId)(entry.id);
60
+ if (parsed === undefined)
61
+ return undefined;
62
+ return (0, graph_js_1.nodeId)(set.subdomain ?? parsed.subdomain, parsed.type, set.label ?? parsed.slug);
63
+ }
64
+ function judgeProposedNode(proposed, reality, identity) {
65
+ return decide(reality.byIdentity.has(identity)
66
+ ? { outcome: 'satisfied', reason: `${identity} now exists in the extracted graph` }
67
+ : undefined, undefined, { outcome: 'pending', reason: `${proposed.label} has not been built yet` });
68
+ }
69
+ function exhibitsScope(proposed, reality, key) {
70
+ const declared = proposed.handlers;
71
+ if (declared === undefined || declared.length === 0)
72
+ return true;
73
+ const actual = reality.edgeScopes.get(key);
74
+ if (actual === undefined)
75
+ return false;
76
+ return declared.every(handlerId => actual.includes(handlerId));
77
+ }
78
+ function judgeProposedEdge(proposed, reality, proposedIdentities) {
79
+ const key = edgeKey(proposed);
80
+ const resolves = (id) => nodeAt(reality, id) !== undefined || proposedIdentities.has(id);
81
+ const vanished = !resolves(proposed.from)
82
+ ? proposed.from
83
+ : !resolves(proposed.to) ? proposed.to : undefined;
84
+ return decide(reality.edges.has(key) && exhibitsScope(proposed, reality, key)
85
+ ? { outcome: 'satisfied', reason: `${key} now exists in the extracted graph` }
86
+ : undefined, vanished !== undefined
87
+ ? { outcome: 'stale', reason: `proposed edge references ${vanished}, which reality no longer has` }
88
+ : undefined, { outcome: 'pending', reason: `${key} has not been wired up yet` });
89
+ }
90
+ function judgeModifyEntry(entry, reality, proposedIdentities, identity) {
91
+ const target = identity === undefined ? undefined : reality.byIdentity.get(identity);
92
+ const built = target !== undefined && exhibitsFields(target, entry.set ?? {});
93
+ const resolves = nodeAt(reality, entry.id) !== undefined || proposedIdentities.has(entry.id);
94
+ return decide(built
95
+ ? { outcome: 'satisfied', reason: `${identity} now exists in the extracted graph as asked` }
96
+ : undefined, !resolves
97
+ ? { outcome: 'stale', reason: `modify targets ${entry.id}, which reality no longer has` }
98
+ : undefined, { outcome: 'pending', reason: `${entry.id} has not been changed yet` });
99
+ }
100
+ function judgeRemoveEntry(entry, reality, proposedIdentities, proposedEdgeKeys) {
101
+ const [present, subject] = entry.kind === 'node'
102
+ ? [nodeAt(reality, entry.id) !== undefined || proposedIdentities.has(entry.id), entry.id]
103
+ : [
104
+ reality.edges.has(edgeKey({ from: entry.from, to: entry.to, kind: entry.edgeKind }))
105
+ || proposedEdgeKeys.has(edgeKey({ from: entry.from, to: entry.to, kind: entry.edgeKind })),
106
+ edgeKey({ from: entry.from, to: entry.to, kind: entry.edgeKind })
107
+ ];
108
+ return decide(present ? undefined : { outcome: 'satisfied', reason: `${subject} is gone from the extracted graph` }, undefined, { outcome: 'pending', reason: `${subject} is still in the extracted graph` });
109
+ }
110
+ function checkDesignAgainstReality(reality, design) {
111
+ const indexed = indexReality(reality);
112
+ const proposedNodes = design?.propose?.nodes ?? [];
113
+ const proposedEdges = design?.propose?.edges ?? [];
114
+ const proposedIdentities = new Set(proposedNodes.map(proposed => (0, graph_js_1.nodeId)(proposed.subdomain, proposed.type, proposed.label)));
115
+ const proposedEdgeKeys = new Set(proposedEdges.map(edgeKey));
116
+ const verdicts = [];
117
+ proposedNodes.forEach((proposed, index) => {
118
+ const identity = (0, graph_js_1.nodeId)(proposed.subdomain, proposed.type, proposed.label);
119
+ verdicts.push({
120
+ path: `propose.nodes[${index}]`,
121
+ verb: 'propose',
122
+ author: proposed.author,
123
+ subject: { kind: 'node', identity },
124
+ ...judgeProposedNode(proposed, indexed, identity)
125
+ });
126
+ });
127
+ proposedEdges.forEach((proposed, index) => {
128
+ verdicts.push({
129
+ path: `propose.edges[${index}]`,
130
+ verb: 'propose',
131
+ author: proposed.author,
132
+ subject: { kind: 'edge', from: proposed.from, to: proposed.to, edgeKind: proposed.kind },
133
+ ...judgeProposedEdge(proposed, indexed, proposedIdentities)
134
+ });
135
+ });
136
+ (design?.modify ?? []).forEach((entry, index) => {
137
+ const identity = modifyTargetIdentity(entry, indexed);
138
+ verdicts.push({
139
+ path: `modify[${index}]`,
140
+ verb: 'modify',
141
+ author: entry.author,
142
+ subject: { kind: 'node', identity: identity ?? entry.id },
143
+ ...judgeModifyEntry(entry, indexed, proposedIdentities, identity)
144
+ });
145
+ });
146
+ (design?.remove ?? []).forEach((entry, index) => {
147
+ verdicts.push({
148
+ path: `remove[${index}]`,
149
+ verb: 'remove',
150
+ author: entry.author,
151
+ subject: entry.kind === 'node'
152
+ ? { kind: 'node', identity: entry.id }
153
+ : { kind: 'edge', from: entry.from, to: entry.to, edgeKind: entry.edgeKind },
154
+ ...judgeRemoveEntry(entry, indexed, proposedIdentities, proposedEdgeKeys)
155
+ });
156
+ });
157
+ const satisfied = verdicts.filter(verdict => verdict.outcome === 'satisfied');
158
+ const stale = verdicts.filter(verdict => verdict.outcome === 'stale');
159
+ return { verdicts, satisfied, stale, note: realityMovedNote(satisfied.length, stale.length) };
160
+ }
161
+ function decorateSatisfied(input) {
162
+ const check = checkDesignAgainstReality(input.reality, input.design);
163
+ if (check.satisfied.length === 0)
164
+ return { graph: input.merged, check };
165
+ const nodes = [...input.merged.nodes];
166
+ const edges = [...input.merged.edges];
167
+ const nodeIndex = new Map();
168
+ nodes.forEach((node, index) => {
169
+ nodeIndex.set(identityOf(node), index);
170
+ nodeIndex.set(node.id, index);
171
+ });
172
+ for (const verdict of check.satisfied) {
173
+ if (verdict.subject.kind === 'node') {
174
+ const index = nodeIndex.get(verdict.subject.identity);
175
+ if (index === undefined)
176
+ continue;
177
+ nodes[index] = { ...nodes[index], status: 'satisfied', origin: verdict.author };
178
+ continue;
179
+ }
180
+ const key = edgeKey({
181
+ from: verdict.subject.from, to: verdict.subject.to, kind: verdict.subject.edgeKind
182
+ });
183
+ edges.forEach((edge, index) => {
184
+ if (edgeKey(edge) !== key)
185
+ return;
186
+ edges[index] = { ...edge, status: 'satisfied', origin: verdict.author };
187
+ });
188
+ }
189
+ return { graph: { ...input.merged, nodes, edges }, check };
190
+ }
191
+ //# sourceMappingURL=reality-check.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"reality-check.js","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":";;AAqBA,wCAIC;AAkBD,4CAGC;AAqJD,8DA8DC;AAaD,8CA6BC;AAlSD,yCAAiE;AAYjE,SAAgB,cAAc,CAAE,OAAoB;IAClD,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM;QAC5B,CAAC,CAAC,QAAS,OAAO,CAAC,QAAS,EAAE;QAC9B,CAAC,CAAC,QAAS,OAAO,CAAC,IAAK,IAAK,OAAO,CAAC,EAAG,IAAK,OAAO,CAAC,QAAS,EAAE,CAAC;AACrE,CAAC;AAkBD,SAAgB,gBAAgB,CAAE,SAAiB,EAAE,KAAa,EAAE,QAAQ,GAAG,CAAC;IAC9E,MAAM,MAAM,GAAG,kBAAmB,SAAU,gBAAiB,KAAM,QAAQ,CAAC;IAC5E,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAI,MAAO,MAAO,QAAS,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;AACxE,CAAC;AAID,SAAS,MAAM,CACb,SAAgC,EAChC,KAA4B,EAC5B,OAAkB;IAElB,OAAO,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC;AACvC,CAAC;AASD,SAAS,OAAO,CAAE,IAAgD;IAChE,OAAO,GAAI,IAAI,CAAC,IAAK,IAAK,IAAI,CAAC,EAAG,IAAK,IAAI,CAAC,IAAK,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,UAAU,CAAE,IAAmB;IACtC,OAAO,IAAA,iBAAM,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAE,CAAC;AACzD,CAAC;AAED,SAAS,YAAY,CAAE,KAAqB;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAC;QAC1B,UAAU,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,IAAI,CAAE,CAAC;IAC7C,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IACxD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAK,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAG,UAAU,CAAC,GAAG,CAAE,OAAO,CAAE,IAAI,CAAE,EAAE,IAAI,CAAC,QAAQ,CAAE,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,GAAG,CAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,EAAE,UAAU,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,MAAM,CAAE,OAAgB,EAAE,EAAU;IAC3C,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;AAChE,CAAC;AAED,SAAS,QAAQ,CAAE,OAAqC;IACtD,OAAO,CAAE,GAAG,CAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAE,CAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAE,QAAQ,CAAE,CAAC;AACrF,CAAC;AAED,SAAS,cAAc,CAAE,IAAmB,EAAE,GAAkC;IAC9E,IAAK,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,GAAG,CAAC,WAAW;QAAG,OAAO,KAAK,CAAC;IAC1F,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAE,IAAI,CAAC,OAAO,CAAE,KAAK,QAAQ,CAAE,GAAG,CAAC,OAAO,CAAE;QAAE,OAAO,KAAK,CAAC;IACrG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAE,KAAkB,EAAE,OAAgB;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAC5C,IAAK,OAAO,EAAE,CAAC;QACb,OAAO,IAAA,iBAAM,EAAE,GAAG,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAE,CAAC;IAChG,CAAC;IACD,MAAM,MAAM,GAAG,IAAA,sBAAW,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IACvC,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,SAAS,CAAC;IAC7C,OAAO,IAAA,iBAAM,EAAE,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAE,CAAC;AAC5F,CAAC;AAED,SAAS,iBAAiB,CAAE,QAAsB,EAAE,OAAgB,EAAE,QAAgB;IACpF,OAAO,MAAM,CACX,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE;QAChC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,oCAAoC,EAAE;QACrF,CAAC,CAAC,SAAS,EACb,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,QAAQ,CAAC,KAAM,yBAAyB,EAAE,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAE,QAAsB,EAAE,OAAgB,EAAE,GAAW;IAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACnC,IAAK,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,IAAI,CAAC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,GAAG,CAAE,CAAC;IAC7C,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,KAAK,CAAC;IACzC,OAAO,QAAQ,CAAC,KAAK,CAAE,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAE,SAAS,CAAE,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,OAAgB,EAChB,kBAAuC;IAEvC,MAAM,GAAG,GAAG,OAAO,CAAE,QAAQ,CAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAE,EAAU,EAAY,EAAE,CACzC,MAAM,CAAE,OAAO,EAAE,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAE,QAAQ,CAAC,IAAI,CAAE;QACzC,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,CAAC,CAAC,CAAC,QAAQ,CAAE,QAAQ,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAEvD,OAAO,MAAM,CACX,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,GAAG,CAAE,IAAI,aAAa,CAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAE;QACjE,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,GAAI,oCAAoC,EAAE;QAChF,CAAC,CAAC,SAAS,EACb,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,4BAA6B,QAAS,+BAA+B,EAAE;QACrG,CAAC,CAAC,SAAS,EACb,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,GAAI,4BAA4B,EAAE,CACrE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,QAA4B;IAE5B,MAAM,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,IAAI,cAAc,CAAE,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAEjG,OAAO,MAAM,CACX,KAAK;QACH,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,6CAA6C,EAAE;QAC9F,CAAC,CAAC,SAAS,EACb,CAAC,QAAQ;QACP,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAmB,KAAK,CAAC,EAAG,+BAA+B,EAAE;QAC3F,CAAC,CAAC,SAAS,EACb,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,KAAK,CAAC,EAAG,2BAA2B,EAAE,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,gBAAqC;IAErC,MAAM,CAAE,OAAO,EAAE,OAAO,CAAE,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM;QAChD,CAAC,CAAC,CAAE,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,KAAK,CAAC,EAAE,CAAE;QAC/F,CAAC,CAAC;YACA,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;mBAChF,gBAAgB,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC7F,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;SAClE,CAAC;IAEJ,OAAO,MAAM,CACX,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,OAAQ,mCAAmC,EAAE,EACvG,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,OAAQ,kCAAkC,EAAE,CAC/E,CAAC;AACJ,CAAC;AAED,SAAgB,yBAAyB,CACvC,OAAuB,EACvB,MAA8B;IAE9B,MAAM,OAAO,GAAG,YAAY,CAAE,OAAO,CAAE,CAAC;IACxC,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,aAAa,CAAC,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,IAAA,iBAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC,CAC5F,CAAC;IACF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAE,aAAa,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,CAAC;IAEhE,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,MAAM,QAAQ,GAAG,IAAA,iBAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC;QAC7E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE;YACnC,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAE;SACpD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;YACxF,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,kBAAkB,CAAE;SAC9D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,IAAI,KAAK,CAAC,EAAE,EAAE;YACzD,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,CAAE;SACpE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM;gBAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE;gBACtC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;YAC9E,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,CAAE;SAC5E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,WAAW,CAAE,CAAC;IAChF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,OAAO,CAAE,CAAC;IAExE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAE,EAAE,CAAC;AAClG,CAAC;AAaD,SAAgB,iBAAiB,CAAE,KAA6B;IAC9D,MAAM,KAAK,GAAG,yBAAyB,CAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAE,CAAC;IACvE,IAAK,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IAE1E,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QAC9B,SAAS,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,KAAK,CAAE,CAAC;QAC3C,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,KAAM,MAAM,OAAO,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,IAAK,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAE,CAAC;YACxD,IAAK,KAAK,KAAK,SAAS;gBAAG,SAAS;YACpC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,KAAK,CAAE,KAAK,CAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACpF,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC;YAClB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ;SACnF,CAAC,CAAC;QACH,KAAK,CAAC,OAAO,CAAC,CAAE,IAAmB,EAAE,KAAK,EAAG,EAAE;YAC7C,IAAK,OAAO,CAAE,IAAI,CAAE,KAAK,GAAG;gBAAG,OAAO;YACtC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC;AAC7D,CAAC"}
@@ -0,0 +1,7 @@
1
+ import type { Op, OpClass, OperationalOpVerb, OpVerb } from './ops.js';
2
+ export type ReplicationDisposition = 'replicated' | 'local';
3
+ export declare const REPLICATION_BY_CLASS: Record<OpClass, ReplicationDisposition>;
4
+ export declare const LOCAL_ONLY_VERBS: ReadonlySet<OpVerb | OperationalOpVerb>;
5
+ export type ReplicationSubject = Pick<Op, 'class' | 'verb'>;
6
+ export declare function replicationOf(op: ReplicationSubject): ReplicationDisposition;
7
+ //# sourceMappingURL=replication.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"replication.d.ts","sourceRoot":"","sources":["../../src/replication.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAEvE,MAAM,MAAM,sBAAsB,GAAG,YAAY,GAAG,OAAO,CAAC;AAE5D,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,OAAO,EAAE,sBAAsB,CAIxE,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,WAAW,CAAC,MAAM,GAAG,iBAAiB,CAGnE,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC;AAE5D,wBAAgB,aAAa,CAAE,EAAE,EAAE,kBAAkB,GAAI,sBAAsB,CAG9E"}
@@ -0,0 +1,19 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.LOCAL_ONLY_VERBS = exports.REPLICATION_BY_CLASS = void 0;
4
+ exports.replicationOf = replicationOf;
5
+ exports.REPLICATION_BY_CLASS = {
6
+ semantic: 'replicated',
7
+ layout: 'replicated',
8
+ operational: 'local'
9
+ };
10
+ exports.LOCAL_ONLY_VERBS = new Set([
11
+ 'reclassify',
12
+ 'scope'
13
+ ]);
14
+ function replicationOf(op) {
15
+ if (exports.LOCAL_ONLY_VERBS.has(op.verb))
16
+ return 'local';
17
+ return exports.REPLICATION_BY_CLASS[op.class] ?? 'local';
18
+ }
19
+ //# sourceMappingURL=replication.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"replication.js","sourceRoot":"","sources":["../../src/replication.ts"],"names":[],"mappings":";;;AAiBA,sCAGC;AAhBY,QAAA,oBAAoB,GAA4C;IAC3E,QAAQ,EAAE,YAAY;IACtB,MAAM,EAAE,YAAY;IACpB,WAAW,EAAE,OAAO;CACrB,CAAC;AAEW,QAAA,gBAAgB,GAA4C,IAAI,GAAG,CAAC;IAC/E,YAAY;IACZ,OAAO;CACR,CAAC,CAAC;AAIH,SAAgB,aAAa,CAAE,EAAsB;IACnD,IAAK,wBAAgB,CAAC,GAAG,CAAE,EAAE,CAAC,IAAI,CAAE;QAAE,OAAO,OAAO,CAAC;IACrD,OAAO,4BAAoB,CAAE,EAAE,CAAC,KAAK,CAAE,IAAI,OAAO,CAAC;AACrD,CAAC"}
@@ -0,0 +1,11 @@
1
+ export type RetentionClass = 'scratch' | 'record' | 'retained';
2
+ export declare const RETENTION_CLASSES: readonly RetentionClass[];
3
+ export declare const DEFAULT_RETENTION_CLASS: RetentionClass;
4
+ export declare function isRetentionClass(value: unknown): value is RetentionClass;
5
+ export type RetentionPolicy = {
6
+ erasure: 'permitted' | 'refused';
7
+ reasonRequired: boolean;
8
+ };
9
+ export declare const RETENTION_POLICY: Record<RetentionClass, RetentionPolicy>;
10
+ export declare function retentionPolicyOf(retentionClass?: RetentionClass): RetentionPolicy;
11
+ //# sourceMappingURL=retention.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"retention.d.ts","sourceRoot":"","sources":["../../src/retention.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC;AAE/D,eAAO,MAAM,iBAAiB,EAAE,SAAS,cAAc,EAAwC,CAAC;AAEhG,eAAO,MAAM,uBAAuB,EAAE,cAAyB,CAAC;AAEhE,wBAAgB,gBAAgB,CAAE,KAAK,EAAE,OAAO,GAAI,KAAK,IAAI,cAAc,CAE1E;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC;IACjC,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,EAAE,eAAe,CAIpE,CAAC;AAIF,wBAAgB,iBAAiB,CAAE,cAAc,CAAC,EAAE,cAAc,GAAI,eAAe,CAGpF"}
@@ -0,0 +1,22 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.RETENTION_POLICY = exports.DEFAULT_RETENTION_CLASS = exports.RETENTION_CLASSES = void 0;
4
+ exports.isRetentionClass = isRetentionClass;
5
+ exports.retentionPolicyOf = retentionPolicyOf;
6
+ exports.RETENTION_CLASSES = ['scratch', 'record', 'retained'];
7
+ exports.DEFAULT_RETENTION_CLASS = 'record';
8
+ function isRetentionClass(value) {
9
+ return typeof value === 'string' && exports.RETENTION_CLASSES.includes(value);
10
+ }
11
+ exports.RETENTION_POLICY = {
12
+ scratch: { erasure: 'permitted', reasonRequired: false },
13
+ record: { erasure: 'permitted', reasonRequired: true },
14
+ retained: { erasure: 'refused', reasonRequired: true }
15
+ };
16
+ const UNKNOWN_CLASS_POLICY = { erasure: 'refused', reasonRequired: true };
17
+ function retentionPolicyOf(retentionClass) {
18
+ if (retentionClass === undefined)
19
+ return exports.RETENTION_POLICY[exports.DEFAULT_RETENTION_CLASS];
20
+ return exports.RETENTION_POLICY[retentionClass] ?? UNKNOWN_CLASS_POLICY;
21
+ }
22
+ //# sourceMappingURL=retention.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"retention.js","sourceRoot":"","sources":["../../src/retention.ts"],"names":[],"mappings":";;;AAMA,4CAEC;AAeD,8CAGC;AAxBY,QAAA,iBAAiB,GAA8B,CAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAE,CAAC;AAEnF,QAAA,uBAAuB,GAAmB,QAAQ,CAAC;AAEhE,SAAgB,gBAAgB,CAAE,KAAc;IAC9C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAM,yBAAwC,CAAC,QAAQ,CAAE,KAAK,CAAE,CAAC;AACnG,CAAC;AAOY,QAAA,gBAAgB,GAA4C;IACvE,OAAO,EAAG,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,KAAK,EAAE;IACzD,MAAM,EAAI,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE;IACxD,QAAQ,EAAE,EAAE,OAAO,EAAE,SAAS,EAAI,cAAc,EAAE,IAAI,EAAE;CACzD,CAAC;AAEF,MAAM,oBAAoB,GAAoB,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;AAE3F,SAAgB,iBAAiB,CAAE,cAA+B;IAChE,IAAK,cAAc,KAAK,SAAS;QAAG,OAAO,wBAAgB,CAAE,+BAAuB,CAAE,CAAC;IACvF,OAAO,wBAAgB,CAAE,cAAc,CAAE,IAAI,oBAAoB,CAAC;AACpE,CAAC"}
@@ -0,0 +1,45 @@
1
+ import type { OrgId } from './organisation.js';
2
+ import type { RetentionClass } from './retention.js';
3
+ export type SessionSchemaVersion = 1;
4
+ export declare const SESSION_SCHEMA_VERSION: SessionSchemaVersion;
5
+ export type SessionId = string;
6
+ export type ActorId = string;
7
+ export type SessionState = 'active' | 'unanchored' | 'frozen';
8
+ export declare const SESSION_STATES: readonly SessionState[];
9
+ export declare function isSessionState(value: unknown): value is SessionState;
10
+ export type RealityPointer = {
11
+ realityProvider?: ActorId;
12
+ realitySha?: string;
13
+ realityAt?: string;
14
+ };
15
+ export type DesignSession = RealityPointer & {
16
+ schemaVersion: SessionSchemaVersion;
17
+ id: SessionId;
18
+ name: string;
19
+ state: SessionState;
20
+ createdAt: string;
21
+ headSeq: number;
22
+ orgId: OrgId;
23
+ retentionClass?: RetentionClass;
24
+ owner: ActorId;
25
+ participants: ActorId[];
26
+ frozenFrom?: Exclude<SessionState, 'frozen'>;
27
+ ticketRefs?: string[];
28
+ prRef?: string;
29
+ };
30
+ export type SessionEvent = {
31
+ type: 'attach';
32
+ provider: ActorId;
33
+ sha: string;
34
+ at: string;
35
+ } | {
36
+ type: 'detach';
37
+ at: string;
38
+ } | {
39
+ type: 'freeze';
40
+ } | {
41
+ type: 'reopen';
42
+ };
43
+ export declare function applySessionEvent(session: DesignSession, event: SessionEvent): DesignSession;
44
+ export declare function isSessionFrozen(session: Pick<DesignSession, 'state'>): boolean;
45
+ //# sourceMappingURL=session.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"session.d.ts","sourceRoot":"","sources":["../../src/session.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAErC,eAAO,MAAM,sBAAsB,EAAE,oBAAwB,CAAC;AAE9D,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,YAAY,GAAG,QAAQ,CAAC;AAE9D,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EAAyC,CAAC;AAE5F,wBAAgB,cAAc,CAAE,KAAK,EAAE,OAAO,GAAI,KAAK,IAAI,YAAY,CAEtE;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,cAAc,GAAG;IAC3C,aAAa,EAAE,oBAAoB,CAAC;IACpC,EAAE,EAAE,SAAS,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,YAAY,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,KAAK,CAAC;IACb,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,YAAY,EAAE,OAAO,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC7C,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAMvB,wBAAgB,iBAAiB,CAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,GAAI,aAAa,CAgC9F;AAED,wBAAgB,eAAe,CAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,GAAI,OAAO,CAEhF"}