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.
- package/dist/commands/doctor.d.ts +1 -0
- package/dist/commands/doctor.d.ts.map +1 -1
- package/dist/commands/doctor.js +30 -1
- package/dist/commands/doctor.js.map +1 -1
- package/dist/commands/ide.d.ts +2 -1
- package/dist/commands/ide.d.ts.map +1 -1
- package/dist/commands/ide.js +60 -1
- package/dist/commands/ide.js.map +1 -1
- package/dist/commands/init-from-service.d.ts +15 -0
- package/dist/commands/init-from-service.d.ts.map +1 -0
- package/dist/commands/init-from-service.js +541 -0
- package/dist/commands/init-from-service.js.map +1 -0
- package/dist/commands/init.d.ts +1 -0
- package/dist/commands/init.d.ts.map +1 -1
- package/dist/commands/init.js +32 -1
- package/dist/commands/init.js.map +1 -1
- package/dist/commands/kanban.d.ts.map +1 -1
- package/dist/commands/kanban.js +13 -4
- package/dist/commands/kanban.js.map +1 -1
- package/dist/commands/linear.d.ts +41 -0
- package/dist/commands/linear.d.ts.map +1 -0
- package/dist/commands/linear.js +715 -0
- package/dist/commands/linear.js.map +1 -0
- package/dist/commands/peter.d.ts.map +1 -1
- package/dist/commands/peter.js +232 -25
- package/dist/commands/peter.js.map +1 -1
- package/dist/commands/services.d.ts.map +1 -1
- package/dist/commands/services.js +146 -0
- package/dist/commands/services.js.map +1 -1
- package/dist/commands/setup.d.ts.map +1 -1
- package/dist/commands/setup.js +173 -13
- package/dist/commands/setup.js.map +1 -1
- package/dist/commands/telemetry-monitor.d.ts +11 -0
- package/dist/commands/telemetry-monitor.d.ts.map +1 -0
- package/dist/commands/telemetry-monitor.js +224 -0
- package/dist/commands/telemetry-monitor.js.map +1 -0
- package/dist/commands/telemetry-test.d.ts +11 -0
- package/dist/commands/telemetry-test.d.ts.map +1 -0
- package/dist/commands/telemetry-test.js +67 -0
- package/dist/commands/telemetry-test.js.map +1 -0
- package/dist/commands/tenet-agents.d.ts +13 -0
- package/dist/commands/tenet-agents.d.ts.map +1 -0
- package/dist/commands/tenet-agents.js +191 -0
- package/dist/commands/tenet-agents.js.map +1 -0
- package/dist/commands/tenet-setup.d.ts +19 -0
- package/dist/commands/tenet-setup.d.ts.map +1 -0
- package/dist/commands/tenet-setup.js +131 -0
- package/dist/commands/tenet-setup.js.map +1 -0
- package/dist/commands/train.d.ts +18 -0
- package/dist/commands/train.d.ts.map +1 -1
- package/dist/commands/train.js +182 -0
- package/dist/commands/train.js.map +1 -1
- package/dist/commands/whoami.d.ts +2 -0
- package/dist/commands/whoami.d.ts.map +1 -0
- package/dist/commands/whoami.js +24 -0
- package/dist/commands/whoami.js.map +1 -0
- package/dist/index.js +159 -10
- package/dist/index.js.map +1 -1
- package/dist/lib/advanced-setup.d.ts +78 -0
- package/dist/lib/advanced-setup.d.ts.map +1 -0
- package/dist/lib/advanced-setup.js +433 -0
- package/dist/lib/advanced-setup.js.map +1 -0
- package/dist/lib/agent-config.d.ts +33 -0
- package/dist/lib/agent-config.d.ts.map +1 -1
- package/dist/lib/agent-config.js +26 -0
- package/dist/lib/agent-config.js.map +1 -1
- package/dist/lib/counterfactual-training-bridge.d.ts +114 -0
- package/dist/lib/counterfactual-training-bridge.d.ts.map +1 -0
- package/dist/lib/counterfactual-training-bridge.js +322 -0
- package/dist/lib/counterfactual-training-bridge.js.map +1 -0
- package/dist/lib/discovery-agent.d.ts +48 -0
- package/dist/lib/discovery-agent.d.ts.map +1 -0
- package/dist/lib/discovery-agent.js +111 -0
- package/dist/lib/discovery-agent.js.map +1 -0
- package/dist/lib/flow-engine.d.ts.map +1 -1
- package/dist/lib/flow-engine.js +46 -8
- package/dist/lib/flow-engine.js.map +1 -1
- package/dist/lib/gtm-generator.d.ts +29 -0
- package/dist/lib/gtm-generator.d.ts.map +1 -0
- package/dist/lib/gtm-generator.js +252 -0
- package/dist/lib/gtm-generator.js.map +1 -0
- package/dist/lib/hub-health.d.ts +40 -0
- package/dist/lib/hub-health.d.ts.map +1 -0
- package/dist/lib/hub-health.js +89 -0
- package/dist/lib/hub-health.js.map +1 -0
- package/dist/lib/invariant-monitor.d.ts +6 -2
- package/dist/lib/invariant-monitor.d.ts.map +1 -1
- package/dist/lib/invariant-monitor.js +89 -2
- package/dist/lib/invariant-monitor.js.map +1 -1
- package/dist/lib/journal-analyzer.d.ts +71 -0
- package/dist/lib/journal-analyzer.d.ts.map +1 -0
- package/dist/lib/journal-analyzer.js +306 -0
- package/dist/lib/journal-analyzer.js.map +1 -0
- package/dist/lib/linear-client.d.ts +73 -0
- package/dist/lib/linear-client.d.ts.map +1 -0
- package/dist/lib/linear-client.js +112 -0
- package/dist/lib/linear-client.js.map +1 -0
- package/dist/lib/linear-id-map.d.ts +20 -0
- package/dist/lib/linear-id-map.d.ts.map +1 -0
- package/dist/lib/linear-id-map.js +57 -0
- package/dist/lib/linear-id-map.js.map +1 -0
- package/dist/lib/linear-kanban.d.ts +66 -0
- package/dist/lib/linear-kanban.d.ts.map +1 -0
- package/dist/lib/linear-kanban.js +175 -0
- package/dist/lib/linear-kanban.js.map +1 -0
- package/dist/lib/onboarding.d.ts +40 -0
- package/dist/lib/onboarding.d.ts.map +1 -0
- package/dist/lib/onboarding.js +213 -0
- package/dist/lib/onboarding.js.map +1 -0
- package/dist/lib/physical-world-model.d.ts +50 -0
- package/dist/lib/physical-world-model.d.ts.map +1 -0
- package/dist/lib/physical-world-model.js +251 -0
- package/dist/lib/physical-world-model.js.map +1 -0
- package/dist/lib/planning-loop.d.ts +157 -0
- package/dist/lib/planning-loop.d.ts.map +1 -0
- package/dist/lib/planning-loop.js +537 -0
- package/dist/lib/planning-loop.js.map +1 -0
- package/dist/lib/policy-head.d.ts +13 -0
- package/dist/lib/policy-head.d.ts.map +1 -1
- package/dist/lib/policy-head.js +168 -2
- package/dist/lib/policy-head.js.map +1 -1
- package/dist/lib/resource-optimizer-middleware.d.ts +39 -0
- package/dist/lib/resource-optimizer-middleware.d.ts.map +1 -0
- package/dist/lib/resource-optimizer-middleware.js +222 -0
- package/dist/lib/resource-optimizer-middleware.js.map +1 -0
- package/dist/lib/resource-optimizer.d.ts +71 -0
- package/dist/lib/resource-optimizer.d.ts.map +1 -0
- package/dist/lib/resource-optimizer.js +228 -0
- package/dist/lib/resource-optimizer.js.map +1 -0
- package/dist/lib/rl-manager.d.ts +74 -0
- package/dist/lib/rl-manager.d.ts.map +1 -0
- package/dist/lib/rl-manager.js +244 -0
- package/dist/lib/rl-manager.js.map +1 -0
- package/dist/lib/service-analyzer.d.ts +76 -0
- package/dist/lib/service-analyzer.d.ts.map +1 -0
- package/dist/lib/service-analyzer.js +704 -0
- package/dist/lib/service-analyzer.js.map +1 -0
- package/dist/lib/service-gtm.js +2 -2
- package/dist/lib/service-gtm.js.map +1 -1
- package/dist/lib/service-questionnaire.d.ts +11 -0
- package/dist/lib/service-questionnaire.d.ts.map +1 -0
- package/dist/lib/service-questionnaire.js +89 -0
- package/dist/lib/service-questionnaire.js.map +1 -0
- package/dist/lib/setup/agent-generator.d.ts +2 -0
- package/dist/lib/setup/agent-generator.d.ts.map +1 -1
- package/dist/lib/setup/agent-generator.js +128 -4
- package/dist/lib/setup/agent-generator.js.map +1 -1
- package/dist/lib/setup/flow-generator.d.ts +10 -0
- package/dist/lib/setup/flow-generator.d.ts.map +1 -0
- package/dist/lib/setup/flow-generator.js +113 -0
- package/dist/lib/setup/flow-generator.js.map +1 -0
- package/dist/lib/setup/invariant-bridge.d.ts +91 -0
- package/dist/lib/setup/invariant-bridge.d.ts.map +1 -0
- package/dist/lib/setup/invariant-bridge.js +384 -0
- package/dist/lib/setup/invariant-bridge.js.map +1 -0
- package/dist/lib/setup/spec-generator.d.ts +41 -5
- package/dist/lib/setup/spec-generator.d.ts.map +1 -1
- package/dist/lib/setup/spec-generator.js +503 -29
- package/dist/lib/setup/spec-generator.js.map +1 -1
- package/dist/lib/stratus-client.js +1 -1
- package/dist/lib/stratus-client.js.map +1 -1
- package/dist/lib/surface-agent.d.ts +78 -0
- package/dist/lib/surface-agent.d.ts.map +1 -0
- package/dist/lib/surface-agent.js +105 -0
- package/dist/lib/surface-agent.js.map +1 -0
- package/dist/lib/surface-coordination-example.d.ts +30 -0
- package/dist/lib/surface-coordination-example.d.ts.map +1 -0
- package/dist/lib/surface-coordination-example.js +164 -0
- package/dist/lib/surface-coordination-example.js.map +1 -0
- package/dist/lib/telemetry/physical-world-collector.d.ts +15 -0
- package/dist/lib/telemetry/physical-world-collector.d.ts.map +1 -0
- package/dist/lib/telemetry/physical-world-collector.js +177 -0
- package/dist/lib/telemetry/physical-world-collector.js.map +1 -0
- package/dist/lib/telemetry/training-bridge.d.ts +51 -0
- package/dist/lib/telemetry/training-bridge.d.ts.map +1 -0
- package/dist/lib/telemetry/training-bridge.js +185 -0
- package/dist/lib/telemetry/training-bridge.js.map +1 -0
- package/dist/lib/telemetry.d.ts +2 -1
- package/dist/lib/telemetry.d.ts.map +1 -1
- package/dist/lib/telemetry.js +23 -2
- package/dist/lib/telemetry.js.map +1 -1
- package/dist/lib/tenet-board-agent.d.ts +52 -0
- package/dist/lib/tenet-board-agent.d.ts.map +1 -0
- package/dist/lib/tenet-board-agent.js +226 -0
- package/dist/lib/tenet-board-agent.js.map +1 -0
- package/dist/lib/tenet-ide-agent.d.ts +40 -0
- package/dist/lib/tenet-ide-agent.d.ts.map +1 -0
- package/dist/lib/tenet-ide-agent.js +199 -0
- package/dist/lib/tenet-ide-agent.js.map +1 -0
- package/dist/lib/workspace/data-pipeline.d.ts.map +1 -1
- package/dist/lib/workspace/data-pipeline.js +27 -5
- package/dist/lib/workspace/data-pipeline.js.map +1 -1
- package/dist/lib/workspace/sidebar-runner.d.ts +13 -0
- package/dist/lib/workspace/sidebar-runner.d.ts.map +1 -0
- package/dist/lib/workspace/sidebar-runner.js +419 -0
- package/dist/lib/workspace/sidebar-runner.js.map +1 -0
- package/dist/lib/workspace/surface-registry.d.ts.map +1 -1
- package/dist/lib/workspace/surface-registry.js +4 -1
- package/dist/lib/workspace/surface-registry.js.map +1 -1
- package/dist/lib/workspace/surfaces/agent-overview.d.ts +3 -3
- package/dist/lib/workspace/surfaces/agent-overview.d.ts.map +1 -1
- package/dist/lib/workspace/surfaces/agent-overview.js +3 -3
- package/dist/lib/workspace/surfaces/agent-overview.js.map +1 -1
- package/dist/lib/workspace/surfaces/index.d.ts +3 -0
- package/dist/lib/workspace/surfaces/index.d.ts.map +1 -1
- package/dist/lib/workspace/surfaces/index.js +3 -0
- package/dist/lib/workspace/surfaces/index.js.map +1 -1
- package/dist/lib/workspace/surfaces/kanban.d.ts +15 -0
- package/dist/lib/workspace/surfaces/kanban.d.ts.map +1 -0
- package/dist/lib/workspace/surfaces/kanban.js +43 -0
- package/dist/lib/workspace/surfaces/kanban.js.map +1 -0
- package/dist/lib/workspace/surfaces/physical-world.d.ts +15 -0
- package/dist/lib/workspace/surfaces/physical-world.d.ts.map +1 -0
- package/dist/lib/workspace/surfaces/physical-world.js +37 -0
- package/dist/lib/workspace/surfaces/physical-world.js.map +1 -0
- package/dist/lib/workspace/surfaces/sidebar.d.ts +22 -0
- package/dist/lib/workspace/surfaces/sidebar.d.ts.map +1 -0
- package/dist/lib/workspace/surfaces/sidebar.js +90 -0
- package/dist/lib/workspace/surfaces/sidebar.js.map +1 -0
- package/dist/types/flows.d.ts +2 -1
- package/dist/types/flows.d.ts.map +1 -1
- package/dist/types/physical-world-model.d.ts +65 -0
- package/dist/types/physical-world-model.d.ts.map +1 -0
- package/dist/types/physical-world-model.js +43 -0
- package/dist/types/physical-world-model.js.map +1 -0
- package/dist/types/telemetry.d.ts +37 -0
- package/dist/types/telemetry.d.ts.map +1 -1
- package/dist/types/world-model.d.ts.map +1 -1
- package/dist/types/world-model.js +14 -7
- package/dist/types/world-model.js.map +1 -1
- package/dist/utils/context-hub-port.d.ts.map +1 -1
- package/dist/utils/context-hub-port.js +6 -1
- package/dist/utils/context-hub-port.js.map +1 -1
- package/package.json +3 -2
- package/packages/pi/extensions/index.ts +34 -6
- package/scripts/telemetry-dashboard.sh +44 -0
- package/scripts/test-planning-loop-e2e.ts +181 -0
- package/scripts/test-server-inference.ts +49 -0
- package/scripts/test-state-sensitivity.ts +32 -0
- package/scripts/train/v2/benchmark.py +661 -0
- package/scripts/train/v2/generate_balanced.py +439 -0
- package/scripts/train/v2/generate_hard_negatives.py +219 -0
- package/scripts/train/v2/infer.py +149 -36
- package/scripts/train/v2/infer_server.py +224 -0
- package/scripts/train/v2/online_train.py +576 -0
- package/scripts/train/v2/precompute.py +24 -6
- 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;
|
|
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"}
|