jfl 0.8.1 → 0.9.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 (247) hide show
  1. package/dist/commands/doctor.d.ts +1 -0
  2. package/dist/commands/doctor.d.ts.map +1 -1
  3. package/dist/commands/doctor.js +30 -1
  4. package/dist/commands/doctor.js.map +1 -1
  5. package/dist/commands/ide.d.ts +2 -1
  6. package/dist/commands/ide.d.ts.map +1 -1
  7. package/dist/commands/ide.js +60 -1
  8. package/dist/commands/ide.js.map +1 -1
  9. package/dist/commands/init-from-service.d.ts +15 -0
  10. package/dist/commands/init-from-service.d.ts.map +1 -0
  11. package/dist/commands/init-from-service.js +541 -0
  12. package/dist/commands/init-from-service.js.map +1 -0
  13. package/dist/commands/init.d.ts +1 -0
  14. package/dist/commands/init.d.ts.map +1 -1
  15. package/dist/commands/init.js +32 -1
  16. package/dist/commands/init.js.map +1 -1
  17. package/dist/commands/kanban.d.ts.map +1 -1
  18. package/dist/commands/kanban.js +13 -4
  19. package/dist/commands/kanban.js.map +1 -1
  20. package/dist/commands/linear.d.ts +41 -0
  21. package/dist/commands/linear.d.ts.map +1 -0
  22. package/dist/commands/linear.js +715 -0
  23. package/dist/commands/linear.js.map +1 -0
  24. package/dist/commands/peter.d.ts.map +1 -1
  25. package/dist/commands/peter.js +232 -25
  26. package/dist/commands/peter.js.map +1 -1
  27. package/dist/commands/services.d.ts.map +1 -1
  28. package/dist/commands/services.js +146 -0
  29. package/dist/commands/services.js.map +1 -1
  30. package/dist/commands/setup.d.ts.map +1 -1
  31. package/dist/commands/setup.js +173 -13
  32. package/dist/commands/setup.js.map +1 -1
  33. package/dist/commands/telemetry-monitor.d.ts +11 -0
  34. package/dist/commands/telemetry-monitor.d.ts.map +1 -0
  35. package/dist/commands/telemetry-monitor.js +224 -0
  36. package/dist/commands/telemetry-monitor.js.map +1 -0
  37. package/dist/commands/telemetry-test.d.ts +11 -0
  38. package/dist/commands/telemetry-test.d.ts.map +1 -0
  39. package/dist/commands/telemetry-test.js +67 -0
  40. package/dist/commands/telemetry-test.js.map +1 -0
  41. package/dist/commands/tenet-agents.d.ts +13 -0
  42. package/dist/commands/tenet-agents.d.ts.map +1 -0
  43. package/dist/commands/tenet-agents.js +191 -0
  44. package/dist/commands/tenet-agents.js.map +1 -0
  45. package/dist/commands/tenet-setup.d.ts +19 -0
  46. package/dist/commands/tenet-setup.d.ts.map +1 -0
  47. package/dist/commands/tenet-setup.js +131 -0
  48. package/dist/commands/tenet-setup.js.map +1 -0
  49. package/dist/commands/train.d.ts +18 -0
  50. package/dist/commands/train.d.ts.map +1 -1
  51. package/dist/commands/train.js +182 -0
  52. package/dist/commands/train.js.map +1 -1
  53. package/dist/commands/whoami.d.ts +2 -0
  54. package/dist/commands/whoami.d.ts.map +1 -0
  55. package/dist/commands/whoami.js +24 -0
  56. package/dist/commands/whoami.js.map +1 -0
  57. package/dist/index.js +159 -10
  58. package/dist/index.js.map +1 -1
  59. package/dist/lib/advanced-setup.d.ts +78 -0
  60. package/dist/lib/advanced-setup.d.ts.map +1 -0
  61. package/dist/lib/advanced-setup.js +433 -0
  62. package/dist/lib/advanced-setup.js.map +1 -0
  63. package/dist/lib/agent-config.d.ts +33 -0
  64. package/dist/lib/agent-config.d.ts.map +1 -1
  65. package/dist/lib/agent-config.js +26 -0
  66. package/dist/lib/agent-config.js.map +1 -1
  67. package/dist/lib/counterfactual-training-bridge.d.ts +114 -0
  68. package/dist/lib/counterfactual-training-bridge.d.ts.map +1 -0
  69. package/dist/lib/counterfactual-training-bridge.js +322 -0
  70. package/dist/lib/counterfactual-training-bridge.js.map +1 -0
  71. package/dist/lib/discovery-agent.d.ts +48 -0
  72. package/dist/lib/discovery-agent.d.ts.map +1 -0
  73. package/dist/lib/discovery-agent.js +111 -0
  74. package/dist/lib/discovery-agent.js.map +1 -0
  75. package/dist/lib/flow-engine.d.ts.map +1 -1
  76. package/dist/lib/flow-engine.js +46 -8
  77. package/dist/lib/flow-engine.js.map +1 -1
  78. package/dist/lib/gtm-generator.d.ts +29 -0
  79. package/dist/lib/gtm-generator.d.ts.map +1 -0
  80. package/dist/lib/gtm-generator.js +252 -0
  81. package/dist/lib/gtm-generator.js.map +1 -0
  82. package/dist/lib/hub-health.d.ts +40 -0
  83. package/dist/lib/hub-health.d.ts.map +1 -0
  84. package/dist/lib/hub-health.js +89 -0
  85. package/dist/lib/hub-health.js.map +1 -0
  86. package/dist/lib/invariant-monitor.d.ts +6 -2
  87. package/dist/lib/invariant-monitor.d.ts.map +1 -1
  88. package/dist/lib/invariant-monitor.js +89 -2
  89. package/dist/lib/invariant-monitor.js.map +1 -1
  90. package/dist/lib/journal-analyzer.d.ts +71 -0
  91. package/dist/lib/journal-analyzer.d.ts.map +1 -0
  92. package/dist/lib/journal-analyzer.js +306 -0
  93. package/dist/lib/journal-analyzer.js.map +1 -0
  94. package/dist/lib/linear-client.d.ts +73 -0
  95. package/dist/lib/linear-client.d.ts.map +1 -0
  96. package/dist/lib/linear-client.js +112 -0
  97. package/dist/lib/linear-client.js.map +1 -0
  98. package/dist/lib/linear-id-map.d.ts +20 -0
  99. package/dist/lib/linear-id-map.d.ts.map +1 -0
  100. package/dist/lib/linear-id-map.js +57 -0
  101. package/dist/lib/linear-id-map.js.map +1 -0
  102. package/dist/lib/linear-kanban.d.ts +66 -0
  103. package/dist/lib/linear-kanban.d.ts.map +1 -0
  104. package/dist/lib/linear-kanban.js +175 -0
  105. package/dist/lib/linear-kanban.js.map +1 -0
  106. package/dist/lib/onboarding.d.ts +40 -0
  107. package/dist/lib/onboarding.d.ts.map +1 -0
  108. package/dist/lib/onboarding.js +213 -0
  109. package/dist/lib/onboarding.js.map +1 -0
  110. package/dist/lib/physical-world-model.d.ts +50 -0
  111. package/dist/lib/physical-world-model.d.ts.map +1 -0
  112. package/dist/lib/physical-world-model.js +251 -0
  113. package/dist/lib/physical-world-model.js.map +1 -0
  114. package/dist/lib/planning-loop.d.ts +157 -0
  115. package/dist/lib/planning-loop.d.ts.map +1 -0
  116. package/dist/lib/planning-loop.js +537 -0
  117. package/dist/lib/planning-loop.js.map +1 -0
  118. package/dist/lib/policy-head.d.ts +13 -0
  119. package/dist/lib/policy-head.d.ts.map +1 -1
  120. package/dist/lib/policy-head.js +168 -2
  121. package/dist/lib/policy-head.js.map +1 -1
  122. package/dist/lib/resource-optimizer-middleware.d.ts +39 -0
  123. package/dist/lib/resource-optimizer-middleware.d.ts.map +1 -0
  124. package/dist/lib/resource-optimizer-middleware.js +222 -0
  125. package/dist/lib/resource-optimizer-middleware.js.map +1 -0
  126. package/dist/lib/resource-optimizer.d.ts +71 -0
  127. package/dist/lib/resource-optimizer.d.ts.map +1 -0
  128. package/dist/lib/resource-optimizer.js +228 -0
  129. package/dist/lib/resource-optimizer.js.map +1 -0
  130. package/dist/lib/rl-manager.d.ts +74 -0
  131. package/dist/lib/rl-manager.d.ts.map +1 -0
  132. package/dist/lib/rl-manager.js +244 -0
  133. package/dist/lib/rl-manager.js.map +1 -0
  134. package/dist/lib/service-analyzer.d.ts +76 -0
  135. package/dist/lib/service-analyzer.d.ts.map +1 -0
  136. package/dist/lib/service-analyzer.js +704 -0
  137. package/dist/lib/service-analyzer.js.map +1 -0
  138. package/dist/lib/service-gtm.js +2 -2
  139. package/dist/lib/service-gtm.js.map +1 -1
  140. package/dist/lib/service-questionnaire.d.ts +11 -0
  141. package/dist/lib/service-questionnaire.d.ts.map +1 -0
  142. package/dist/lib/service-questionnaire.js +89 -0
  143. package/dist/lib/service-questionnaire.js.map +1 -0
  144. package/dist/lib/setup/agent-generator.d.ts +2 -0
  145. package/dist/lib/setup/agent-generator.d.ts.map +1 -1
  146. package/dist/lib/setup/agent-generator.js +128 -4
  147. package/dist/lib/setup/agent-generator.js.map +1 -1
  148. package/dist/lib/setup/flow-generator.d.ts +10 -0
  149. package/dist/lib/setup/flow-generator.d.ts.map +1 -0
  150. package/dist/lib/setup/flow-generator.js +113 -0
  151. package/dist/lib/setup/flow-generator.js.map +1 -0
  152. package/dist/lib/setup/invariant-bridge.d.ts +91 -0
  153. package/dist/lib/setup/invariant-bridge.d.ts.map +1 -0
  154. package/dist/lib/setup/invariant-bridge.js +384 -0
  155. package/dist/lib/setup/invariant-bridge.js.map +1 -0
  156. package/dist/lib/setup/spec-generator.d.ts +41 -5
  157. package/dist/lib/setup/spec-generator.d.ts.map +1 -1
  158. package/dist/lib/setup/spec-generator.js +503 -29
  159. package/dist/lib/setup/spec-generator.js.map +1 -1
  160. package/dist/lib/stratus-client.js +1 -1
  161. package/dist/lib/stratus-client.js.map +1 -1
  162. package/dist/lib/surface-agent.d.ts +78 -0
  163. package/dist/lib/surface-agent.d.ts.map +1 -0
  164. package/dist/lib/surface-agent.js +105 -0
  165. package/dist/lib/surface-agent.js.map +1 -0
  166. package/dist/lib/surface-coordination-example.d.ts +30 -0
  167. package/dist/lib/surface-coordination-example.d.ts.map +1 -0
  168. package/dist/lib/surface-coordination-example.js +164 -0
  169. package/dist/lib/surface-coordination-example.js.map +1 -0
  170. package/dist/lib/telemetry/physical-world-collector.d.ts +15 -0
  171. package/dist/lib/telemetry/physical-world-collector.d.ts.map +1 -0
  172. package/dist/lib/telemetry/physical-world-collector.js +177 -0
  173. package/dist/lib/telemetry/physical-world-collector.js.map +1 -0
  174. package/dist/lib/telemetry/training-bridge.d.ts +51 -0
  175. package/dist/lib/telemetry/training-bridge.d.ts.map +1 -0
  176. package/dist/lib/telemetry/training-bridge.js +185 -0
  177. package/dist/lib/telemetry/training-bridge.js.map +1 -0
  178. package/dist/lib/telemetry.d.ts +2 -1
  179. package/dist/lib/telemetry.d.ts.map +1 -1
  180. package/dist/lib/telemetry.js +23 -2
  181. package/dist/lib/telemetry.js.map +1 -1
  182. package/dist/lib/tenet-board-agent.d.ts +52 -0
  183. package/dist/lib/tenet-board-agent.d.ts.map +1 -0
  184. package/dist/lib/tenet-board-agent.js +226 -0
  185. package/dist/lib/tenet-board-agent.js.map +1 -0
  186. package/dist/lib/tenet-ide-agent.d.ts +40 -0
  187. package/dist/lib/tenet-ide-agent.d.ts.map +1 -0
  188. package/dist/lib/tenet-ide-agent.js +199 -0
  189. package/dist/lib/tenet-ide-agent.js.map +1 -0
  190. package/dist/lib/workspace/data-pipeline.d.ts.map +1 -1
  191. package/dist/lib/workspace/data-pipeline.js +27 -5
  192. package/dist/lib/workspace/data-pipeline.js.map +1 -1
  193. package/dist/lib/workspace/sidebar-runner.d.ts +13 -0
  194. package/dist/lib/workspace/sidebar-runner.d.ts.map +1 -0
  195. package/dist/lib/workspace/sidebar-runner.js +419 -0
  196. package/dist/lib/workspace/sidebar-runner.js.map +1 -0
  197. package/dist/lib/workspace/surface-registry.d.ts.map +1 -1
  198. package/dist/lib/workspace/surface-registry.js +4 -1
  199. package/dist/lib/workspace/surface-registry.js.map +1 -1
  200. package/dist/lib/workspace/surfaces/agent-overview.d.ts +3 -3
  201. package/dist/lib/workspace/surfaces/agent-overview.d.ts.map +1 -1
  202. package/dist/lib/workspace/surfaces/agent-overview.js +3 -3
  203. package/dist/lib/workspace/surfaces/agent-overview.js.map +1 -1
  204. package/dist/lib/workspace/surfaces/index.d.ts +3 -0
  205. package/dist/lib/workspace/surfaces/index.d.ts.map +1 -1
  206. package/dist/lib/workspace/surfaces/index.js +3 -0
  207. package/dist/lib/workspace/surfaces/index.js.map +1 -1
  208. package/dist/lib/workspace/surfaces/kanban.d.ts +15 -0
  209. package/dist/lib/workspace/surfaces/kanban.d.ts.map +1 -0
  210. package/dist/lib/workspace/surfaces/kanban.js +43 -0
  211. package/dist/lib/workspace/surfaces/kanban.js.map +1 -0
  212. package/dist/lib/workspace/surfaces/physical-world.d.ts +15 -0
  213. package/dist/lib/workspace/surfaces/physical-world.d.ts.map +1 -0
  214. package/dist/lib/workspace/surfaces/physical-world.js +37 -0
  215. package/dist/lib/workspace/surfaces/physical-world.js.map +1 -0
  216. package/dist/lib/workspace/surfaces/sidebar.d.ts +22 -0
  217. package/dist/lib/workspace/surfaces/sidebar.d.ts.map +1 -0
  218. package/dist/lib/workspace/surfaces/sidebar.js +90 -0
  219. package/dist/lib/workspace/surfaces/sidebar.js.map +1 -0
  220. package/dist/types/flows.d.ts +2 -1
  221. package/dist/types/flows.d.ts.map +1 -1
  222. package/dist/types/physical-world-model.d.ts +65 -0
  223. package/dist/types/physical-world-model.d.ts.map +1 -0
  224. package/dist/types/physical-world-model.js +43 -0
  225. package/dist/types/physical-world-model.js.map +1 -0
  226. package/dist/types/telemetry.d.ts +37 -0
  227. package/dist/types/telemetry.d.ts.map +1 -1
  228. package/dist/types/world-model.d.ts.map +1 -1
  229. package/dist/types/world-model.js +14 -7
  230. package/dist/types/world-model.js.map +1 -1
  231. package/dist/utils/context-hub-port.d.ts.map +1 -1
  232. package/dist/utils/context-hub-port.js +6 -1
  233. package/dist/utils/context-hub-port.js.map +1 -1
  234. package/package.json +3 -2
  235. package/packages/pi/extensions/index.ts +34 -6
  236. package/scripts/telemetry-dashboard.sh +44 -0
  237. package/scripts/test-planning-loop-e2e.ts +181 -0
  238. package/scripts/test-server-inference.ts +49 -0
  239. package/scripts/test-state-sensitivity.ts +32 -0
  240. package/scripts/train/v2/benchmark.py +661 -0
  241. package/scripts/train/v2/generate_balanced.py +439 -0
  242. package/scripts/train/v2/generate_hard_negatives.py +219 -0
  243. package/scripts/train/v2/infer.py +149 -36
  244. package/scripts/train/v2/infer_server.py +224 -0
  245. package/scripts/train/v2/online_train.py +576 -0
  246. package/scripts/train/v2/precompute.py +24 -6
  247. package/template/CLAUDE.md +74 -132
@@ -0,0 +1,89 @@
1
+ /**
2
+ * @purpose Hub health check — verify hub is responsive before agent operations
3
+ *
4
+ * This implements the TOCTOU guard that TLC found missing in SystemSpec:
5
+ * ScheduleAgent checks hub at schedule time, but AgentStart didn't re-check.
6
+ * Hub can crash between schedule and start, leaving agents stranded.
7
+ *
8
+ * @invariant HubRequiredForScheduling (SystemSpec.tla)
9
+ * @invariant HubSafeExecution (PlanningLoop.tla)
10
+ */
11
+ import { existsSync, readFileSync } from "fs";
12
+ import { join } from "path";
13
+ /**
14
+ * Check if the hub is currently responsive.
15
+ * Uses a lightweight HTTP health check with strict timeout.
16
+ */
17
+ export async function checkHubHealth(projectRoot) {
18
+ const port = getHubPort(projectRoot);
19
+ if (!port) {
20
+ return { available: false, port: null, responseMs: null, error: "No hub port configured" };
21
+ }
22
+ const start = Date.now();
23
+ try {
24
+ const controller = new AbortController();
25
+ const timeout = setTimeout(() => controller.abort(), 2000);
26
+ const resp = await fetch(`http://localhost:${port}/api/health`, {
27
+ signal: controller.signal,
28
+ });
29
+ clearTimeout(timeout);
30
+ const elapsed = Date.now() - start;
31
+ return {
32
+ available: resp.ok,
33
+ port,
34
+ responseMs: elapsed,
35
+ error: resp.ok ? undefined : `HTTP ${resp.status}`,
36
+ };
37
+ }
38
+ catch (err) {
39
+ return {
40
+ available: false,
41
+ port,
42
+ responseMs: Date.now() - start,
43
+ error: err.name === "AbortError" ? "Timeout (2s)" : err.message,
44
+ };
45
+ }
46
+ }
47
+ /**
48
+ * Quick synchronous check — does the hub config exist?
49
+ * This is a fast pre-check; use checkHubHealth() for actual liveness.
50
+ */
51
+ export function isHubConfigured(projectRoot) {
52
+ return getHubPort(projectRoot) !== null;
53
+ }
54
+ /**
55
+ * Guard: verify hub is available before starting an agent.
56
+ * Returns true if safe to proceed, false if hub is down.
57
+ *
58
+ * This is the runtime equivalent of the TLA+ guard:
59
+ * AgentStart(a) == ... /\ serviceStatus["hub"] = "up"
60
+ */
61
+ export async function guardHubAvailable(projectRoot, agentName) {
62
+ const status = await checkHubHealth(projectRoot);
63
+ if (status.available) {
64
+ return { proceed: true, status };
65
+ }
66
+ return {
67
+ proceed: false,
68
+ status,
69
+ reason: `Hub unavailable (${status.error}). Cannot start agent "${agentName}" — ` +
70
+ `invariant HubRequiredForScheduling requires hub to be up at agent start time. ` +
71
+ `Run: jfl hub start`,
72
+ };
73
+ }
74
+ // ============================================================================
75
+ // Helpers
76
+ // ============================================================================
77
+ function getHubPort(projectRoot) {
78
+ const configPath = join(projectRoot, ".jfl", "config.json");
79
+ if (!existsSync(configPath))
80
+ return null;
81
+ try {
82
+ const config = JSON.parse(readFileSync(configPath, "utf-8"));
83
+ return config.port || config.hub_port || null;
84
+ }
85
+ catch {
86
+ return null;
87
+ }
88
+ }
89
+ //# sourceMappingURL=hub-health.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"hub-health.js","sourceRoot":"","sources":["../../src/lib/hub-health.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,IAAI,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAA;AAS3B;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,WAAmB;IACtD,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,CAAA;IACpC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,wBAAwB,EAAE,CAAA;IAC5F,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IACxB,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAA;QACxC,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAA;QAE1D,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,oBAAoB,IAAI,aAAa,EAAE;YAC9D,MAAM,EAAE,UAAU,CAAC,MAAM;SAC1B,CAAC,CAAA;QACF,YAAY,CAAC,OAAO,CAAC,CAAA;QAErB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAA;QAClC,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,EAAE;YAClB,IAAI;YACJ,UAAU,EAAE,OAAO;YACnB,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,MAAM,EAAE;SACnD,CAAA;IACH,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,OAAO;YACL,SAAS,EAAE,KAAK;YAChB,IAAI;YACJ,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;YAC9B,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO;SAChE,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,WAAmB;IACjD,OAAO,UAAU,CAAC,WAAW,CAAC,KAAK,IAAI,CAAA;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,WAAmB,EAAE,SAAiB;IAK5E,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,WAAW,CAAC,CAAA;IAEhD,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;IAClC,CAAC;IAED,OAAO;QACL,OAAO,EAAE,KAAK;QACd,MAAM;QACN,MAAM,EAAE,oBAAoB,MAAM,CAAC,KAAK,0BAA0B,SAAS,MAAM;YACzE,gFAAgF;YAChF,oBAAoB;KAC7B,CAAA;AACH,CAAC;AAED,+EAA+E;AAC/E,UAAU;AACV,+EAA+E;AAE/E,SAAS,UAAU,CAAC,WAAmB;IACrC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,CAAC,CAAA;IAC3D,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAA;IAExC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAA;QAC5D,OAAO,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAA;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC"}
@@ -12,12 +12,16 @@
12
12
  * @spec tla/PeterParker.tla, tla/JFLSystem.tla
13
13
  */
14
14
  import type { WorldState, InvariantViolation, InvariantId, InvariantSeverity } from "../types/world-model.js";
15
+ /** Clear cached rules (call after jfl setup regenerates them) */
16
+ export declare function clearInvariantRuleCache(): void;
15
17
  /**
16
- * Check all invariants against the given state
18
+ * Check all invariants against the given state.
19
+ * Checks both hardcoded invariants AND generated TLA+ bridge rules.
17
20
  * @param state - The WorldState to check
21
+ * @param projectRoot - Optional project root for loading generated rules
18
22
  * @returns Array of any violations found
19
23
  */
20
- export declare function checkInvariants(state: WorldState): InvariantViolation[];
24
+ export declare function checkInvariants(state: WorldState, projectRoot?: string): InvariantViolation[];
21
25
  /**
22
26
  * Check a specific invariant
23
27
  * @param invariantId - Which invariant to check
@@ -1 +1 @@
1
- {"version":3,"file":"invariant-monitor.d.ts","sourceRoot":"","sources":["../../src/lib/invariant-monitor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,kBAAkB,EAClB,WAAW,EACX,iBAAiB,EAClB,MAAM,yBAAyB,CAAA;AAoVhC;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,kBAAkB,EAAE,CAkBvE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,WAAW,EAAE,WAAW,EACxB,KAAK,EAAE,UAAU,GAChB,kBAAkB,GAAG,IAAI,CAiB3B;AAED;;GAEG;AACH,wBAAgB,uBAAuB,IAAI,KAAK,CAAC;IAC/C,EAAE,EAAE,WAAW,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,MAAM,CAAA;IACnB,QAAQ,EAAE,iBAAiB,CAAA;IAC3B,MAAM,EAAE,MAAM,CAAA;CACf,CAAC,CAQD;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAGhE;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,kBAAkB,EAAE,GAAG,MAAM,CAwB5E;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,kBAAkB,EAAE,GAAG,MAAM,EAAE,CAIjF"}
1
+ {"version":3,"file":"invariant-monitor.d.ts","sourceRoot":"","sources":["../../src/lib/invariant-monitor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,kBAAkB,EAClB,WAAW,EACX,iBAAiB,EAClB,MAAM,yBAAyB,CAAA;AAybhC,iEAAiE;AACjE,wBAAgB,uBAAuB,IAAI,IAAI,CAE9C;AAMD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,kBAAkB,EAAE,CAuB7F;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,WAAW,EAAE,WAAW,EACxB,KAAK,EAAE,UAAU,GAChB,kBAAkB,GAAG,IAAI,CAiB3B;AAED;;GAEG;AACH,wBAAgB,uBAAuB,IAAI,KAAK,CAAC;IAC/C,EAAE,EAAE,WAAW,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,MAAM,CAAA;IACnB,QAAQ,EAAE,iBAAiB,CAAA;IAC3B,MAAM,EAAE,MAAM,CAAA;CACf,CAAC,CAQD;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAGhE;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,kBAAkB,EAAE,GAAG,MAAM,CAwB5E;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,kBAAkB,EAAE,GAAG,MAAM,EAAE,CAIjF"}
@@ -298,16 +298,100 @@ const INVARIANTS = [
298
298
  check: checkEvalBeforeCommit,
299
299
  },
300
300
  ];
301
+ let _cachedGeneratedRules = null;
302
+ /**
303
+ * Load generated invariant rules from .jfl/invariant-rules.json
304
+ * These are produced by jfl setup from TLA+ invariants and TLC violations.
305
+ */
306
+ function loadGeneratedRules(projectRoot) {
307
+ if (_cachedGeneratedRules)
308
+ return _cachedGeneratedRules;
309
+ const paths = [
310
+ projectRoot ? `${projectRoot}/.jfl/invariant-rules.json` : null,
311
+ ".jfl/invariant-rules.json",
312
+ ].filter(Boolean);
313
+ for (const p of paths) {
314
+ try {
315
+ const { existsSync: exists, readFileSync: read } = require("fs");
316
+ if (exists(p)) {
317
+ _cachedGeneratedRules = JSON.parse(read(p, "utf-8"));
318
+ return _cachedGeneratedRules;
319
+ }
320
+ }
321
+ catch { /* skip */ }
322
+ }
323
+ _cachedGeneratedRules = [];
324
+ return [];
325
+ }
326
+ /**
327
+ * Check generated rules against state.
328
+ * These are the TLA+ → IM bridge rules.
329
+ */
330
+ function checkGeneratedRules(state, projectRoot) {
331
+ const rules = loadGeneratedRules(projectRoot);
332
+ const violations = [];
333
+ for (const rule of rules) {
334
+ // Only check VETO and THROTTLE rules (skip WARN for performance)
335
+ if (rule.action === "WARN")
336
+ continue;
337
+ let triggered = false;
338
+ // Check known conditions by name
339
+ switch (rule.name) {
340
+ case "NoAgentStranding":
341
+ case "TLC: HubRequiredForScheduling":
342
+ triggered = state.systemState.hubConnections === 0 &&
343
+ state.systemState.activeAgents.length > 0;
344
+ break;
345
+ case "HumanAgentIsolation":
346
+ triggered = state.contextState.humanActivity === true;
347
+ break;
348
+ case "WorktreeExclusivity": {
349
+ const allocs = Object.values(state.systemState.worktreeAllocation).filter(p => p !== "none");
350
+ triggered = allocs.length !== new Set(allocs).size;
351
+ break;
352
+ }
353
+ case "ThermalSafety":
354
+ triggered = (state.systemState.cpuTemp ?? 0) > 85;
355
+ break;
356
+ case "MemoryBound":
357
+ triggered = (state.systemState.memoryPressure ?? 0) > 80;
358
+ break;
359
+ // Planning-loop specific gates are checked by the planning loop itself
360
+ default:
361
+ continue;
362
+ }
363
+ if (triggered) {
364
+ const severity = rule.severity === "critical" ? "critical" :
365
+ rule.severity === "error" ? "error" : "warning";
366
+ violations.push({
367
+ invariantId: rule.id,
368
+ severity,
369
+ description: `[${rule.source}] ${rule.description}`,
370
+ violatingState: {},
371
+ suggestedRecovery: rule.recovery,
372
+ detectedAt: Date.now(),
373
+ });
374
+ }
375
+ }
376
+ return violations;
377
+ }
378
+ /** Clear cached rules (call after jfl setup regenerates them) */
379
+ export function clearInvariantRuleCache() {
380
+ _cachedGeneratedRules = null;
381
+ }
301
382
  // ============================================================================
302
383
  // Public API
303
384
  // ============================================================================
304
385
  /**
305
- * Check all invariants against the given state
386
+ * Check all invariants against the given state.
387
+ * Checks both hardcoded invariants AND generated TLA+ bridge rules.
306
388
  * @param state - The WorldState to check
389
+ * @param projectRoot - Optional project root for loading generated rules
307
390
  * @returns Array of any violations found
308
391
  */
309
- export function checkInvariants(state) {
392
+ export function checkInvariants(state, projectRoot) {
310
393
  const violations = [];
394
+ // Check hardcoded invariants
311
395
  for (const invariant of INVARIANTS) {
312
396
  const result = invariant.check(state);
313
397
  if (result) {
@@ -321,6 +405,9 @@ export function checkInvariants(state) {
321
405
  });
322
406
  }
323
407
  }
408
+ // Check generated TLA+ bridge rules
409
+ const generatedViolations = checkGeneratedRules(state, projectRoot);
410
+ violations.push(...generatedViolations);
324
411
  return violations;
325
412
  }
326
413
  /**
@@ -1 +1 @@
1
- {"version":3,"file":"invariant-monitor.js","sourceRoot":"","sources":["../../src/lib/invariant-monitor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAkCH,+EAA+E;AAC/E,4BAA4B;AAC5B,+EAA+E;AAE/E;;;GAGG;AACH,SAAS,qBAAqB,CAAC,KAAiB;IAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,cAAc,KAAK,CAAC,CAAA;IAEtD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAA;IAEzB,2CAA2C;IAC3C,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAA;IAChF,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;IAE9E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAE1C,OAAO;QACL,WAAW,EAAE,GAAG,YAAY,CAAC,MAAM,qCAAqC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACjH,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC1C,cAAc,EAAE,CAAC;gBACjB,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;gBACtC,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;aAC7C;SACF;QACD,iBAAiB,EAAE,yDAAyD;KAC7E,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAAC,KAAiB;IACjD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,aAAa;QAAE,OAAO,IAAI,CAAA;IAElD,kEAAkE;IAClE,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAA;IAChF,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;IAE9E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAE1C,OAAO;QACL,WAAW,EAAE,YAAY,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,iCAAiC;QACjG,cAAc,EAAE;YACd,YAAY,EAAE;gBACZ,aAAa,EAAE,IAAI;gBACnB,aAAa,EAAE,KAAK,CAAC,YAAY,CAAC,aAAa;gBAC/C,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,OAAO;gBACnC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,YAAY;gBAC7C,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,SAAS;aACxC;YACD,WAAW,EAAE;gBACX,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;gBAChD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;gBACtC,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;aAC7C;SACF;QACD,iBAAiB,EAAE,iDAAiD;KACrE,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,KAAiB;IAC7C,iDAAiD;IACjD,IAAI,KAAK,CAAC,WAAW,CAAC,cAAc,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IAErD,+CAA+C;IAC/C,MAAM,eAAe,GAAG,KAAK,CAAC,WAAW,CAAC,YAAY,GAAG,CAAC,CAAA;IAC1D,MAAM,eAAe,GAAG,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAA;IAEjE,IAAI,CAAC,eAAe,IAAI,CAAC,eAAe;QAAE,OAAO,IAAI,CAAA;IAErD,OAAO;QACL,WAAW,EAAE,wBAAwB,KAAK,CAAC,WAAW,CAAC,YAAY,sBAAsB,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,gBAAgB;QAC9I,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,cAAc,EAAE,CAAC;gBACjB,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;aACvC;SACF;QACD,iBAAiB,EAAE,iCAAiC;KACrD,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAAC,KAAiB;IACjD,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAA;IACxD,MAAM,UAAU,GAA6B,EAAE,CAAA;IAE/C,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,KAAK,MAAM;YAAE,SAAQ;QAC7B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAA;QAC5C,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAEtF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAEvC,MAAM,YAAY,GAAG,SAAS;SAC3B,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;SACxD,IAAI,CAAC,IAAI,CAAC,CAAA;IAEb,OAAO;QACL,WAAW,EAAE,yBAAyB,YAAY,EAAE;QACpD,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,kBAAkB,EAAE,WAAW;gBAC/B,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;gBAChD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;gBACtC,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;aAC7C;SACF;QACD,iBAAiB,EAAE,+DAA+D;KACnF,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,0BAA0B,CAAC,KAAiB;IACnD,MAAM,eAAe,GAAG,KAAK,CAAA,CAAC,oCAAoC;IAElE,uDAAuD;IACvD,gEAAgE;IAChE,MAAM,WAAW,GAAG,GAAG,CAAA;IAEvB,IAAI,KAAK,CAAC,WAAW,CAAC,YAAY,IAAI,WAAW;QAAE,OAAO,IAAI,CAAA;IAE9D,OAAO;QACL,WAAW,EAAE,kBAAkB,KAAK,CAAC,WAAW,CAAC,YAAY,oBAAoB,WAAW,GAAG;QAC/F,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;gBAChD,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;aACvC;SACF;QACD,iBAAiB,EAAE,kDAAkD;KACtE,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,KAAiB;IAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,SAAS,CAAA;IAEzC,4BAA4B;IAC5B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAA;IAClC,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAA;IAElD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IAEvE,OAAO;QACL,WAAW,EAAE,kCAAkC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACtE,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,SAAS,EAAE,KAAK;gBAChB,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;gBAChD,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;aAC7C;SACF;QACD,iBAAiB,EAAE,yDAAyD;KAC7E,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,KAAiB;IAC1C,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAC;SACtE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;IAE1B,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAE1C,0EAA0E;IAC1E,sEAAsE;IACtE,IAAI,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IAEvD,OAAO;QACL,WAAW,EAAE,kBAAkB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,8BAA8B;QACpF,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,YAAY;gBACZ,SAAS,EAAE,EAAE;gBACb,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;gBAChD,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;aAC7C;SACF;QACD,iBAAiB,EAAE,uDAAuD;KAC3E,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,MAAkB;IAC/C,4EAA4E;IAC5E,2EAA2E;IAC3E,OAAO,IAAI,CAAA;AACb,CAAC;AAED,+EAA+E;AAC/E,qBAAqB;AACrB,+EAA+E;AAE/E,MAAM,UAAU,GAAmB;IACjC;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EAAE,wDAAwD;QACrE,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,qBAAqB;KAC7B;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,uBAAuB;QAC7B,WAAW,EAAE,sDAAsD;QACnE,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,wBAAwB;KAChC;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,kBAAkB;QACxB,WAAW,EAAE,gDAAgD;QAC7D,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,oBAAoB;KAC5B;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,sBAAsB;QAC5B,WAAW,EAAE,2CAA2C;QACxD,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,wBAAwB;KAChC;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,yBAAyB;QAC/B,WAAW,EAAE,8CAA8C;QAC3D,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,0BAA0B;KAClC;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,iBAAiB;QACvB,WAAW,EAAE,0CAA0C;QACvD,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,mBAAmB;KAC3B;IACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE,4CAA4C;QACzD,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,iBAAiB;KACzB;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EAAE,kCAAkC;QAC/C,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,qBAAqB;KAC7B;CACF,CAAA;AAED,+EAA+E;AAC/E,aAAa;AACb,+EAA+E;AAE/E;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAiB;IAC/C,MAAM,UAAU,GAAyB,EAAE,CAAA;IAE3C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACrC,IAAI,MAAM,EAAE,CAAC;YACX,UAAU,CAAC,IAAI,CAAC;gBACd,WAAW,EAAE,SAAS,CAAC,EAAE;gBACzB,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;aACvB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,WAAwB,EACxB,KAAiB;IAEjB,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,CAAA;IAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,sBAAsB,WAAW,EAAE,CAAC,CAAA;IACtD,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACrC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAA;IAExB,OAAO;QACL,WAAW,EAAE,SAAS,CAAC,EAAE;QACzB,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;KACvB,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB;IAOrC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1B,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC,CAAC,CAAA;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAiB;IACrD,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;IACzC,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAA;AACxD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAgC;IAClE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,0BAA0B,CAAA;IACnC,CAAC;IAED,MAAM,UAAU,GAAG;QACjB,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC;QAC3D,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;QACrD,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC;KAC1D,CAAA;IAED,MAAM,KAAK,GAAa,EAAE,CAAA;IAE1B,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,aAAa,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACnF,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC7E,CAAC;IACD,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACjF,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAgC;IACrE,OAAO,UAAU;SACd,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC;SAChC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAA;AAC1D,CAAC"}
1
+ {"version":3,"file":"invariant-monitor.js","sourceRoot":"","sources":["../../src/lib/invariant-monitor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAkCH,+EAA+E;AAC/E,4BAA4B;AAC5B,+EAA+E;AAE/E;;;GAGG;AACH,SAAS,qBAAqB,CAAC,KAAiB;IAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,cAAc,KAAK,CAAC,CAAA;IAEtD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAA;IAEzB,2CAA2C;IAC3C,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAA;IAChF,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;IAE9E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAE1C,OAAO;QACL,WAAW,EAAE,GAAG,YAAY,CAAC,MAAM,qCAAqC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACjH,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC1C,cAAc,EAAE,CAAC;gBACjB,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;gBACtC,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;aAC7C;SACF;QACD,iBAAiB,EAAE,yDAAyD;KAC7E,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAAC,KAAiB;IACjD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,aAAa;QAAE,OAAO,IAAI,CAAA;IAElD,kEAAkE;IAClE,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAA;IAChF,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;IAE9E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAE1C,OAAO;QACL,WAAW,EAAE,YAAY,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,iCAAiC;QACjG,cAAc,EAAE;YACd,YAAY,EAAE;gBACZ,aAAa,EAAE,IAAI;gBACnB,aAAa,EAAE,KAAK,CAAC,YAAY,CAAC,aAAa;gBAC/C,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,OAAO;gBACnC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,YAAY;gBAC7C,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,SAAS;aACxC;YACD,WAAW,EAAE;gBACX,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;gBAChD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;gBACtC,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;aAC7C;SACF;QACD,iBAAiB,EAAE,iDAAiD;KACrE,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,KAAiB;IAC7C,iDAAiD;IACjD,IAAI,KAAK,CAAC,WAAW,CAAC,cAAc,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IAErD,+CAA+C;IAC/C,MAAM,eAAe,GAAG,KAAK,CAAC,WAAW,CAAC,YAAY,GAAG,CAAC,CAAA;IAC1D,MAAM,eAAe,GAAG,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAA;IAEjE,IAAI,CAAC,eAAe,IAAI,CAAC,eAAe;QAAE,OAAO,IAAI,CAAA;IAErD,OAAO;QACL,WAAW,EAAE,wBAAwB,KAAK,CAAC,WAAW,CAAC,YAAY,sBAAsB,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,gBAAgB;QAC9I,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,cAAc,EAAE,CAAC;gBACjB,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;aACvC;SACF;QACD,iBAAiB,EAAE,iCAAiC;KACrD,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAAC,KAAiB;IACjD,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAA;IACxD,MAAM,UAAU,GAA6B,EAAE,CAAA;IAE/C,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,KAAK,MAAM;YAAE,SAAQ;QAC7B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAA;QAC5C,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAEtF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAEvC,MAAM,YAAY,GAAG,SAAS;SAC3B,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;SACxD,IAAI,CAAC,IAAI,CAAC,CAAA;IAEb,OAAO;QACL,WAAW,EAAE,yBAAyB,YAAY,EAAE;QACpD,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,kBAAkB,EAAE,WAAW;gBAC/B,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;gBAChD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;gBACtC,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;aAC7C;SACF;QACD,iBAAiB,EAAE,+DAA+D;KACnF,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,0BAA0B,CAAC,KAAiB;IACnD,MAAM,eAAe,GAAG,KAAK,CAAA,CAAC,oCAAoC;IAElE,uDAAuD;IACvD,gEAAgE;IAChE,MAAM,WAAW,GAAG,GAAG,CAAA;IAEvB,IAAI,KAAK,CAAC,WAAW,CAAC,YAAY,IAAI,WAAW;QAAE,OAAO,IAAI,CAAA;IAE9D,OAAO;QACL,WAAW,EAAE,kBAAkB,KAAK,CAAC,WAAW,CAAC,YAAY,oBAAoB,WAAW,GAAG;QAC/F,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;gBAChD,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;aACvC;SACF;QACD,iBAAiB,EAAE,kDAAkD;KACtE,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,KAAiB;IAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,SAAS,CAAA;IAEzC,4BAA4B;IAC5B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAA;IAClC,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAA;IAElD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IAEvE,OAAO;QACL,WAAW,EAAE,kCAAkC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACtE,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,SAAS,EAAE,KAAK;gBAChB,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;gBAC5C,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;gBAChD,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;aAC7C;SACF;QACD,iBAAiB,EAAE,yDAAyD;KAC7E,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,KAAiB;IAC1C,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAC;SACtE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;IAE1B,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAE1C,0EAA0E;IAC1E,sEAAsE;IACtE,IAAI,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IAEvD,OAAO;QACL,WAAW,EAAE,kBAAkB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,8BAA8B;QACpF,cAAc,EAAE;YACd,WAAW,EAAE;gBACX,YAAY;gBACZ,SAAS,EAAE,EAAE;gBACb,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;gBAChD,kBAAkB,EAAE,KAAK,CAAC,WAAW,CAAC,kBAAkB;gBACxD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;gBAC1C,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;aAC7C;SACF;QACD,iBAAiB,EAAE,uDAAuD;KAC3E,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,MAAkB;IAC/C,4EAA4E;IAC5E,2EAA2E;IAC3E,OAAO,IAAI,CAAA;AACb,CAAC;AAED,+EAA+E;AAC/E,qBAAqB;AACrB,+EAA+E;AAE/E,MAAM,UAAU,GAAmB;IACjC;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EAAE,wDAAwD;QACrE,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,qBAAqB;KAC7B;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,uBAAuB;QAC7B,WAAW,EAAE,sDAAsD;QACnE,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,wBAAwB;KAChC;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,kBAAkB;QACxB,WAAW,EAAE,gDAAgD;QAC7D,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,oBAAoB;KAC5B;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,sBAAsB;QAC5B,WAAW,EAAE,2CAA2C;QACxD,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,wBAAwB;KAChC;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,yBAAyB;QAC/B,WAAW,EAAE,8CAA8C;QAC3D,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,0BAA0B;KAClC;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,iBAAiB;QACvB,WAAW,EAAE,0CAA0C;QACvD,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,mBAAmB;KAC3B;IACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE,4CAA4C;QACzD,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,iBAAiB;KACzB;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EAAE,kCAAkC;QAC/C,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,qBAAqB;KAC7B;CACF,CAAA;AAsBD,IAAI,qBAAqB,GAA2B,IAAI,CAAA;AAExD;;;GAGG;AACH,SAAS,kBAAkB,CAAC,WAAoB;IAC9C,IAAI,qBAAqB;QAAE,OAAO,qBAAqB,CAAA;IAEvD,MAAM,KAAK,GAAG;QACZ,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,4BAA4B,CAAC,CAAC,CAAC,IAAI;QAC/D,2BAA2B;KAC5B,CAAC,MAAM,CAAC,OAAO,CAAa,CAAA;IAE7B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;YAChE,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBACd,qBAAqB,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;gBACpD,OAAO,qBAAsB,CAAA;YAC/B,CAAC;QACH,CAAC;QAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;IACxB,CAAC;IAED,qBAAqB,GAAG,EAAE,CAAA;IAC1B,OAAO,EAAE,CAAA;AACX,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,KAAiB,EAAE,WAAoB;IAClE,MAAM,KAAK,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAA;IAC7C,MAAM,UAAU,GAAyB,EAAE,CAAA;IAE3C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,iEAAiE;QACjE,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QAEpC,IAAI,SAAS,GAAG,KAAK,CAAA;QAErB,iCAAiC;QACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,kBAAkB,CAAC;YACxB,KAAK,+BAA+B;gBAClC,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,cAAc,KAAK,CAAC;oBAChD,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAA;gBAC3C,MAAK;YACP,KAAK,qBAAqB;gBACxB,SAAS,GAAG,KAAK,CAAC,YAAY,CAAC,aAAa,KAAK,IAAI,CAAA;gBACrD,MAAK;YACP,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAA;gBAC5F,SAAS,GAAG,MAAM,CAAC,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAA;gBAClD,MAAK;YACP,CAAC;YACD,KAAK,eAAe;gBAClB,SAAS,GAAG,CAAE,KAAK,CAAC,WAAmB,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,CAAA;gBAC1D,MAAK;YACP,KAAK,aAAa;gBAChB,SAAS,GAAG,CAAE,KAAK,CAAC,WAAmB,CAAC,cAAc,IAAI,CAAC,CAAC,GAAG,EAAE,CAAA;gBACjE,MAAK;YACP,uEAAuE;YACvE;gBACE,SAAQ;QACZ,CAAC;QAED,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBAC1D,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;YACjD,UAAU,CAAC,IAAI,CAAC;gBACd,WAAW,EAAE,IAAI,CAAC,EAAiB;gBACnC,QAAQ;gBACR,WAAW,EAAE,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,WAAW,EAAE;gBACnD,cAAc,EAAE,EAAE;gBAClB,iBAAiB,EAAE,IAAI,CAAC,QAAQ;gBAChC,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;aACvB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,uBAAuB;IACrC,qBAAqB,GAAG,IAAI,CAAA;AAC9B,CAAC;AAED,+EAA+E;AAC/E,aAAa;AACb,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,KAAiB,EAAE,WAAoB;IACrE,MAAM,UAAU,GAAyB,EAAE,CAAA;IAE3C,6BAA6B;IAC7B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACrC,IAAI,MAAM,EAAE,CAAC;YACX,UAAU,CAAC,IAAI,CAAC;gBACd,WAAW,EAAE,SAAS,CAAC,EAAE;gBACzB,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;aACvB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,oCAAoC;IACpC,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IACnE,UAAU,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,CAAA;IAEvC,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,WAAwB,EACxB,KAAiB;IAEjB,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,CAAA;IAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,sBAAsB,WAAW,EAAE,CAAC,CAAA;IACtD,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACrC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAA;IAExB,OAAO;QACL,WAAW,EAAE,SAAS,CAAC,EAAE;QACzB,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;KACvB,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB;IAOrC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1B,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC,CAAC,CAAA;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAiB;IACrD,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;IACzC,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAA;AACxD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAgC;IAClE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,0BAA0B,CAAA;IACnC,CAAC;IAED,MAAM,UAAU,GAAG;QACjB,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC;QAC3D,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;QACrD,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC;KAC1D,CAAA;IAED,MAAM,KAAK,GAAa,EAAE,CAAA;IAE1B,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,aAAa,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACnF,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC7E,CAAC;IACD,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACjF,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAgC;IACrE,OAAO,UAAU;SACd,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC;SAChC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAA;AAC1D,CAAC"}
@@ -0,0 +1,71 @@
1
+ /**
2
+ * @purpose Analyze project journals to create personalized RL agent recommendations
3
+ *
4
+ * Reads .jfl/journal/, eval data, git patterns to understand actual work patterns
5
+ */
6
+ export interface WorkPattern {
7
+ category: string;
8
+ frequency: number;
9
+ examples: string[];
10
+ impact: 'high' | 'medium' | 'low';
11
+ optimization_opportunity: string;
12
+ }
13
+ export interface PersonalizedAgent {
14
+ name: string;
15
+ purpose: string;
16
+ based_on: string[];
17
+ metrics_to_optimize: string[];
18
+ current_baseline: any;
19
+ potential_improvement: string;
20
+ training_data_available: number;
21
+ }
22
+ export declare class JournalAnalyzer {
23
+ private projectRoot;
24
+ private jflDir;
25
+ constructor(projectRoot: string);
26
+ /**
27
+ * Analyze project patterns to create personalized agent recommendations
28
+ */
29
+ analyzeForPersonalizedAgents(): Promise<{
30
+ patterns: WorkPattern[];
31
+ recommendedAgents: PersonalizedAgent[];
32
+ insights: string[];
33
+ }>;
34
+ /**
35
+ * Extract work patterns from journals and project history
36
+ */
37
+ private extractWorkPatterns;
38
+ /**
39
+ * Analyze project journals for work patterns
40
+ */
41
+ private analyzeJournals;
42
+ /**
43
+ * Analyze eval.jsonl for performance patterns
44
+ */
45
+ private analyzeEvals;
46
+ /**
47
+ * Analyze git workflow patterns
48
+ */
49
+ private analyzeGitWorkflow;
50
+ /**
51
+ * Analyze package.json evolution
52
+ */
53
+ private analyzePackageEvolution;
54
+ /**
55
+ * Create personalized RL agents based on discovered patterns
56
+ */
57
+ private createPersonalizedAgents;
58
+ /**
59
+ * Generate insights about the user's work patterns
60
+ */
61
+ private generateInsights;
62
+ /**
63
+ * Categorize work tasks from journal entries
64
+ */
65
+ private categorizeTask;
66
+ /**
67
+ * Get optimization hint based on category and frequency
68
+ */
69
+ private getOptimizationHint;
70
+ }
71
+ //# sourceMappingURL=journal-analyzer.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"journal-analyzer.d.ts","sourceRoot":"","sources":["../../src/lib/journal-analyzer.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAA;IAChB,SAAS,EAAE,MAAM,CAAA;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAA;IACjC,wBAAwB,EAAE,MAAM,CAAA;CACjC;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,mBAAmB,EAAE,MAAM,EAAE,CAAA;IAC7B,gBAAgB,EAAE,GAAG,CAAA;IACrB,qBAAqB,EAAE,MAAM,CAAA;IAC7B,uBAAuB,EAAE,MAAM,CAAA;CAChC;AAED,qBAAa,eAAe;IAC1B,OAAO,CAAC,WAAW,CAAQ;IAC3B,OAAO,CAAC,MAAM,CAAQ;gBAEV,WAAW,EAAE,MAAM;IAK/B;;OAEG;IACG,4BAA4B,IAAI,OAAO,CAAC;QAC5C,QAAQ,EAAE,WAAW,EAAE,CAAA;QACvB,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;QACtC,QAAQ,EAAE,MAAM,EAAE,CAAA;KACnB,CAAC;IAUF;;OAEG;YACW,mBAAmB;IA4BjC;;OAEG;YACW,eAAe;IAkD7B;;OAEG;YACW,YAAY;IAwC1B;;OAEG;YACW,kBAAkB;IAoBhC;;OAEG;YACW,uBAAuB;IA2BrC;;OAEG;IACH,OAAO,CAAC,wBAAwB;IA8DhC;;OAEG;IACH,OAAO,CAAC,gBAAgB;IA2BxB;;OAEG;IACH,OAAO,CAAC,cAAc;IActB;;OAEG;IACH,OAAO,CAAC,mBAAmB;CAa5B"}