@red-codes/agentguard 1.0.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 (294) hide show
  1. package/LICENSE +190 -0
  2. package/README.md +298 -0
  3. package/dist/adapters/claude-code.d.ts +24 -0
  4. package/dist/adapters/claude-code.d.ts.map +1 -0
  5. package/dist/adapters/claude-code.js +99 -0
  6. package/dist/adapters/claude-code.js.map +1 -0
  7. package/dist/adapters/file.d.ts +3 -0
  8. package/dist/adapters/file.d.ts.map +1 -0
  9. package/dist/adapters/file.js +35 -0
  10. package/dist/adapters/file.js.map +1 -0
  11. package/dist/adapters/git.d.ts +3 -0
  12. package/dist/adapters/git.d.ts.map +1 -0
  13. package/dist/adapters/git.js +61 -0
  14. package/dist/adapters/git.js.map +1 -0
  15. package/dist/adapters/registry.d.ts +5 -0
  16. package/dist/adapters/registry.d.ts.map +1 -0
  17. package/dist/adapters/registry.js +15 -0
  18. package/dist/adapters/registry.js.map +1 -0
  19. package/dist/adapters/shell.d.ts +8 -0
  20. package/dist/adapters/shell.d.ts.map +1 -0
  21. package/dist/adapters/shell.js +27 -0
  22. package/dist/adapters/shell.js.map +1 -0
  23. package/dist/cli/args.d.ts +25 -0
  24. package/dist/cli/args.d.ts.map +1 -0
  25. package/dist/cli/args.js +63 -0
  26. package/dist/cli/args.js.map +1 -0
  27. package/dist/cli/bin.d.ts +3 -0
  28. package/dist/cli/bin.d.ts.map +1 -0
  29. package/dist/cli/bin.js +5769 -0
  30. package/dist/cli/bin.js.map +7 -0
  31. package/dist/cli/colors.d.ts +11 -0
  32. package/dist/cli/colors.d.ts.map +1 -0
  33. package/dist/cli/colors.js +44 -0
  34. package/dist/cli/colors.js.map +1 -0
  35. package/dist/cli/commands/claude-hook.d.ts +2 -0
  36. package/dist/cli/commands/claude-hook.d.ts.map +1 -0
  37. package/dist/cli/commands/claude-hook.js +110 -0
  38. package/dist/cli/commands/claude-hook.js.map +1 -0
  39. package/dist/cli/commands/claude-init.d.ts +2 -0
  40. package/dist/cli/commands/claude-init.d.ts.map +1 -0
  41. package/dist/cli/commands/claude-init.js +150 -0
  42. package/dist/cli/commands/claude-init.js.map +1 -0
  43. package/dist/cli/commands/export.d.ts +11 -0
  44. package/dist/cli/commands/export.d.ts.map +1 -0
  45. package/dist/cli/commands/export.js +113 -0
  46. package/dist/cli/commands/export.js.map +1 -0
  47. package/dist/cli/commands/guard.d.ts +12 -0
  48. package/dist/cli/commands/guard.d.ts.map +1 -0
  49. package/dist/cli/commands/guard.js +145 -0
  50. package/dist/cli/commands/guard.js.map +1 -0
  51. package/dist/cli/commands/import.d.ts +2 -0
  52. package/dist/cli/commands/import.d.ts.map +1 -0
  53. package/dist/cli/commands/import.js +115 -0
  54. package/dist/cli/commands/import.js.map +1 -0
  55. package/dist/cli/commands/inspect.d.ts +3 -0
  56. package/dist/cli/commands/inspect.d.ts.map +1 -0
  57. package/dist/cli/commands/inspect.js +185 -0
  58. package/dist/cli/commands/inspect.js.map +1 -0
  59. package/dist/cli/commands/plugin.d.ts +7 -0
  60. package/dist/cli/commands/plugin.d.ts.map +1 -0
  61. package/dist/cli/commands/plugin.js +234 -0
  62. package/dist/cli/commands/plugin.js.map +1 -0
  63. package/dist/cli/commands/replay.d.ts +12 -0
  64. package/dist/cli/commands/replay.d.ts.map +1 -0
  65. package/dist/cli/commands/replay.js +208 -0
  66. package/dist/cli/commands/replay.js.map +1 -0
  67. package/dist/cli/file-event-store.d.ts +41 -0
  68. package/dist/cli/file-event-store.d.ts.map +1 -0
  69. package/dist/cli/file-event-store.js +219 -0
  70. package/dist/cli/file-event-store.js.map +1 -0
  71. package/dist/cli/policy-resolver.d.ts +4 -0
  72. package/dist/cli/policy-resolver.d.ts.map +1 -0
  73. package/dist/cli/policy-resolver.js +62 -0
  74. package/dist/cli/policy-resolver.js.map +1 -0
  75. package/dist/cli/recorder.d.ts +36 -0
  76. package/dist/cli/recorder.d.ts.map +1 -0
  77. package/dist/cli/recorder.js +85 -0
  78. package/dist/cli/recorder.js.map +1 -0
  79. package/dist/cli/replay.d.ts +2 -0
  80. package/dist/cli/replay.d.ts.map +1 -0
  81. package/dist/cli/replay.js +310 -0
  82. package/dist/cli/replay.js.map +1 -0
  83. package/dist/cli/session-store.d.ts +41 -0
  84. package/dist/cli/session-store.d.ts.map +1 -0
  85. package/dist/cli/session-store.js +95 -0
  86. package/dist/cli/session-store.js.map +1 -0
  87. package/dist/cli/tui.d.ts +24 -0
  88. package/dist/cli/tui.d.ts.map +1 -0
  89. package/dist/cli/tui.js +197 -0
  90. package/dist/cli/tui.js.map +1 -0
  91. package/dist/core/actions.d.ts +11 -0
  92. package/dist/core/actions.d.ts.map +1 -0
  93. package/dist/core/actions.js +112 -0
  94. package/dist/core/actions.js.map +1 -0
  95. package/dist/core/adapters.d.ts +19 -0
  96. package/dist/core/adapters.d.ts.map +1 -0
  97. package/dist/core/adapters.js +85 -0
  98. package/dist/core/adapters.js.map +1 -0
  99. package/dist/core/execution-log/bridge.d.ts +12 -0
  100. package/dist/core/execution-log/bridge.d.ts.map +1 -0
  101. package/dist/core/execution-log/bridge.js +112 -0
  102. package/dist/core/execution-log/bridge.js.map +1 -0
  103. package/dist/core/execution-log/event-log.d.ts +7 -0
  104. package/dist/core/execution-log/event-log.d.ts.map +1 -0
  105. package/dist/core/execution-log/event-log.js +103 -0
  106. package/dist/core/execution-log/event-log.js.map +1 -0
  107. package/dist/core/execution-log/event-projections.d.ts +28 -0
  108. package/dist/core/execution-log/event-projections.d.ts.map +1 -0
  109. package/dist/core/execution-log/event-projections.js +272 -0
  110. package/dist/core/execution-log/event-projections.js.map +1 -0
  111. package/dist/core/execution-log/event-schema.d.ts +56 -0
  112. package/dist/core/execution-log/event-schema.d.ts.map +1 -0
  113. package/dist/core/execution-log/event-schema.js +160 -0
  114. package/dist/core/execution-log/event-schema.js.map +1 -0
  115. package/dist/core/execution-log/index.d.ts +7 -0
  116. package/dist/core/execution-log/index.d.ts.map +1 -0
  117. package/dist/core/execution-log/index.js +13 -0
  118. package/dist/core/execution-log/index.js.map +1 -0
  119. package/dist/core/hash.d.ts +5 -0
  120. package/dist/core/hash.d.ts.map +1 -0
  121. package/dist/core/hash.js +13 -0
  122. package/dist/core/hash.js.map +1 -0
  123. package/dist/core/rng.d.ts +29 -0
  124. package/dist/core/rng.d.ts.map +1 -0
  125. package/dist/core/rng.js +48 -0
  126. package/dist/core/rng.js.map +1 -0
  127. package/dist/core/types.d.ts +746 -0
  128. package/dist/core/types.d.ts.map +1 -0
  129. package/dist/core/types.js +8 -0
  130. package/dist/core/types.js.map +1 -0
  131. package/dist/events/bus.d.ts +24 -0
  132. package/dist/events/bus.d.ts.map +1 -0
  133. package/dist/events/bus.js +64 -0
  134. package/dist/events/bus.js.map +1 -0
  135. package/dist/events/decision-jsonl.d.ts +8 -0
  136. package/dist/events/decision-jsonl.d.ts.map +1 -0
  137. package/dist/events/decision-jsonl.js +44 -0
  138. package/dist/events/decision-jsonl.js.map +1 -0
  139. package/dist/events/jsonl.d.ts +8 -0
  140. package/dist/events/jsonl.d.ts.map +1 -0
  141. package/dist/events/jsonl.js +46 -0
  142. package/dist/events/jsonl.js.map +1 -0
  143. package/dist/events/schema.d.ts +59 -0
  144. package/dist/events/schema.d.ts.map +1 -0
  145. package/dist/events/schema.js +296 -0
  146. package/dist/events/schema.js.map +1 -0
  147. package/dist/events/store.d.ts +7 -0
  148. package/dist/events/store.d.ts.map +1 -0
  149. package/dist/events/store.js +64 -0
  150. package/dist/events/store.js.map +1 -0
  151. package/dist/invariants/checker.d.ts +15 -0
  152. package/dist/invariants/checker.d.ts.map +1 -0
  153. package/dist/invariants/checker.js +52 -0
  154. package/dist/invariants/checker.js.map +1 -0
  155. package/dist/invariants/definitions.d.ts +33 -0
  156. package/dist/invariants/definitions.d.ts.map +1 -0
  157. package/dist/invariants/definitions.js +168 -0
  158. package/dist/invariants/definitions.js.map +1 -0
  159. package/dist/kernel/aab.d.ts +26 -0
  160. package/dist/kernel/aab.d.ts.map +1 -0
  161. package/dist/kernel/aab.js +149 -0
  162. package/dist/kernel/aab.js.map +1 -0
  163. package/dist/kernel/blast-radius.d.ts +60 -0
  164. package/dist/kernel/blast-radius.d.ts.map +1 -0
  165. package/dist/kernel/blast-radius.js +146 -0
  166. package/dist/kernel/blast-radius.js.map +1 -0
  167. package/dist/kernel/decision.d.ts +40 -0
  168. package/dist/kernel/decision.d.ts.map +1 -0
  169. package/dist/kernel/decision.js +92 -0
  170. package/dist/kernel/decision.js.map +1 -0
  171. package/dist/kernel/decisions/factory.d.ts +12 -0
  172. package/dist/kernel/decisions/factory.d.ts.map +1 -0
  173. package/dist/kernel/decisions/factory.js +56 -0
  174. package/dist/kernel/decisions/factory.js.map +1 -0
  175. package/dist/kernel/decisions/types.d.ts +70 -0
  176. package/dist/kernel/decisions/types.d.ts.map +1 -0
  177. package/dist/kernel/decisions/types.js +5 -0
  178. package/dist/kernel/decisions/types.js.map +1 -0
  179. package/dist/kernel/evidence.d.ts +29 -0
  180. package/dist/kernel/evidence.d.ts.map +1 -0
  181. package/dist/kernel/evidence.js +61 -0
  182. package/dist/kernel/evidence.js.map +1 -0
  183. package/dist/kernel/kernel.d.ts +47 -0
  184. package/dist/kernel/kernel.d.ts.map +1 -0
  185. package/dist/kernel/kernel.js +377 -0
  186. package/dist/kernel/kernel.js.map +1 -0
  187. package/dist/kernel/monitor.d.ts +35 -0
  188. package/dist/kernel/monitor.d.ts.map +1 -0
  189. package/dist/kernel/monitor.js +144 -0
  190. package/dist/kernel/monitor.js.map +1 -0
  191. package/dist/kernel/replay-comparator.d.ts +72 -0
  192. package/dist/kernel/replay-comparator.d.ts.map +1 -0
  193. package/dist/kernel/replay-comparator.js +251 -0
  194. package/dist/kernel/replay-comparator.js.map +1 -0
  195. package/dist/kernel/replay-engine.d.ts +108 -0
  196. package/dist/kernel/replay-engine.d.ts.map +1 -0
  197. package/dist/kernel/replay-engine.js +241 -0
  198. package/dist/kernel/replay-engine.js.map +1 -0
  199. package/dist/kernel/replay-processor.d.ts +109 -0
  200. package/dist/kernel/replay-processor.d.ts.map +1 -0
  201. package/dist/kernel/replay-processor.js +118 -0
  202. package/dist/kernel/replay-processor.js.map +1 -0
  203. package/dist/kernel/simulation/filesystem-simulator.d.ts +3 -0
  204. package/dist/kernel/simulation/filesystem-simulator.d.ts.map +1 -0
  205. package/dist/kernel/simulation/filesystem-simulator.js +81 -0
  206. package/dist/kernel/simulation/filesystem-simulator.js.map +1 -0
  207. package/dist/kernel/simulation/git-simulator.d.ts +5 -0
  208. package/dist/kernel/simulation/git-simulator.d.ts.map +1 -0
  209. package/dist/kernel/simulation/git-simulator.js +115 -0
  210. package/dist/kernel/simulation/git-simulator.js.map +1 -0
  211. package/dist/kernel/simulation/package-simulator.d.ts +5 -0
  212. package/dist/kernel/simulation/package-simulator.d.ts.map +1 -0
  213. package/dist/kernel/simulation/package-simulator.js +164 -0
  214. package/dist/kernel/simulation/package-simulator.js.map +1 -0
  215. package/dist/kernel/simulation/registry.d.ts +3 -0
  216. package/dist/kernel/simulation/registry.d.ts.map +1 -0
  217. package/dist/kernel/simulation/registry.js +24 -0
  218. package/dist/kernel/simulation/registry.js.map +1 -0
  219. package/dist/kernel/simulation/types.d.ts +35 -0
  220. package/dist/kernel/simulation/types.d.ts.map +1 -0
  221. package/dist/kernel/simulation/types.js +4 -0
  222. package/dist/kernel/simulation/types.js.map +1 -0
  223. package/dist/plugins/discovery.d.ts +45 -0
  224. package/dist/plugins/discovery.d.ts.map +1 -0
  225. package/dist/plugins/discovery.js +89 -0
  226. package/dist/plugins/discovery.js.map +1 -0
  227. package/dist/plugins/index.d.ts +10 -0
  228. package/dist/plugins/index.d.ts.map +1 -0
  229. package/dist/plugins/index.js +7 -0
  230. package/dist/plugins/index.js.map +1 -0
  231. package/dist/plugins/registry.d.ts +52 -0
  232. package/dist/plugins/registry.d.ts.map +1 -0
  233. package/dist/plugins/registry.js +148 -0
  234. package/dist/plugins/registry.js.map +1 -0
  235. package/dist/plugins/sandbox.d.ts +87 -0
  236. package/dist/plugins/sandbox.d.ts.map +1 -0
  237. package/dist/plugins/sandbox.js +122 -0
  238. package/dist/plugins/sandbox.js.map +1 -0
  239. package/dist/plugins/types.d.ts +61 -0
  240. package/dist/plugins/types.d.ts.map +1 -0
  241. package/dist/plugins/types.js +16 -0
  242. package/dist/plugins/types.js.map +1 -0
  243. package/dist/plugins/validator.d.ts +36 -0
  244. package/dist/plugins/validator.d.ts.map +1 -0
  245. package/dist/plugins/validator.js +276 -0
  246. package/dist/plugins/validator.js.map +1 -0
  247. package/dist/policy/evaluator.d.ts +41 -0
  248. package/dist/policy/evaluator.d.ts.map +1 -0
  249. package/dist/policy/evaluator.js +111 -0
  250. package/dist/policy/evaluator.js.map +1 -0
  251. package/dist/policy/loader.d.ts +13 -0
  252. package/dist/policy/loader.d.ts.map +1 -0
  253. package/dist/policy/loader.js +118 -0
  254. package/dist/policy/loader.js.map +1 -0
  255. package/dist/policy/pack-loader.d.ts +40 -0
  256. package/dist/policy/pack-loader.d.ts.map +1 -0
  257. package/dist/policy/pack-loader.js +138 -0
  258. package/dist/policy/pack-loader.js.map +1 -0
  259. package/dist/policy/yaml-loader.d.ts +23 -0
  260. package/dist/policy/yaml-loader.d.ts.map +1 -0
  261. package/dist/policy/yaml-loader.js +222 -0
  262. package/dist/policy/yaml-loader.js.map +1 -0
  263. package/dist/renderers/index.d.ts +6 -0
  264. package/dist/renderers/index.d.ts.map +1 -0
  265. package/dist/renderers/index.js +4 -0
  266. package/dist/renderers/index.js.map +1 -0
  267. package/dist/renderers/registry.d.ts +39 -0
  268. package/dist/renderers/registry.d.ts.map +1 -0
  269. package/dist/renderers/registry.js +97 -0
  270. package/dist/renderers/registry.js.map +1 -0
  271. package/dist/renderers/tui-renderer.d.ts +18 -0
  272. package/dist/renderers/tui-renderer.d.ts.map +1 -0
  273. package/dist/renderers/tui-renderer.js +57 -0
  274. package/dist/renderers/tui-renderer.js.map +1 -0
  275. package/dist/renderers/types.d.ts +52 -0
  276. package/dist/renderers/types.d.ts.map +1 -0
  277. package/dist/renderers/types.js +4 -0
  278. package/dist/renderers/types.js.map +1 -0
  279. package/dist/telemetry/index.d.ts +3 -0
  280. package/dist/telemetry/index.d.ts.map +1 -0
  281. package/dist/telemetry/index.js +2 -0
  282. package/dist/telemetry/index.js.map +1 -0
  283. package/dist/telemetry/runtimeLogger.d.ts +9 -0
  284. package/dist/telemetry/runtimeLogger.d.ts.map +1 -0
  285. package/dist/telemetry/runtimeLogger.js +68 -0
  286. package/dist/telemetry/runtimeLogger.js.map +1 -0
  287. package/dist/telemetry/types.d.ts +22 -0
  288. package/dist/telemetry/types.d.ts.map +1 -0
  289. package/dist/telemetry/types.js +4 -0
  290. package/dist/telemetry/types.js.map +1 -0
  291. package/hooks/post-commit +57 -0
  292. package/hooks/post-merge +33 -0
  293. package/hooks/pre-commit +28 -0
  294. package/package.json +72 -0
@@ -0,0 +1,47 @@
1
+ import type { DomainEvent, CanonicalAction } from '../core/types.js';
2
+ import type { MonitorConfig, MonitorDecision } from './monitor.js';
3
+ import type { RawAgentAction } from './aab.js';
4
+ import type { AdapterRegistry, ExecutionResult } from '../core/types.js';
5
+ import type { GovernanceDecisionRecord, DecisionSink } from './decisions/types.js';
6
+ import type { SimulatorRegistry } from './simulation/types.js';
7
+ import type { SeededRng } from '../core/rng.js';
8
+ export interface KernelResult {
9
+ allowed: boolean;
10
+ executed: boolean;
11
+ decision: MonitorDecision;
12
+ execution: ExecutionResult | null;
13
+ action: CanonicalAction | null;
14
+ events: DomainEvent[];
15
+ runId: string;
16
+ /** Governance decision record (additive — not present in older results) */
17
+ decisionRecord?: GovernanceDecisionRecord;
18
+ }
19
+ export interface EventSink {
20
+ write(event: DomainEvent): void;
21
+ flush?(): void;
22
+ }
23
+ export interface KernelConfig extends MonitorConfig {
24
+ runId?: string;
25
+ sinks?: EventSink[];
26
+ adapters?: AdapterRegistry;
27
+ dryRun?: boolean;
28
+ /** Optional decision sinks for persisting GovernanceDecisionRecords */
29
+ decisionSinks?: DecisionSink[];
30
+ /** Optional simulator registry for pre-execution impact simulation */
31
+ simulators?: SimulatorRegistry;
32
+ /** Blast radius threshold — simulation above this triggers invariant re-check */
33
+ simulationBlastRadiusThreshold?: number;
34
+ /** Optional seeded RNG for deterministic replay. If omitted, a random seed is generated. */
35
+ rng?: SeededRng;
36
+ }
37
+ export interface Kernel {
38
+ propose(rawAction: RawAgentAction, systemContext?: Record<string, unknown>): Promise<KernelResult>;
39
+ getRunId(): string;
40
+ /** Returns the seed used by this kernel's RNG (for session recording / replay) */
41
+ getSeed(): number;
42
+ getActionLog(): KernelResult[];
43
+ getEventCount(): number;
44
+ shutdown(): void;
45
+ }
46
+ export declare function createKernel(config?: KernelConfig): Kernel;
47
+ //# sourceMappingURL=kernel.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"kernel.d.ts","sourceRoot":"","sources":["../../src/kernel/kernel.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAErE,OAAO,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAG/C,OAAO,KAAK,EAAE,eAAe,EAAE,eAAe,EAAkB,MAAM,kBAAkB,CAAC;AAYzF,OAAO,KAAK,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEnF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAGhD,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,eAAe,CAAC;IAC1B,SAAS,EAAE,eAAe,GAAG,IAAI,CAAC;IAClC,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,2EAA2E;IAC3E,cAAc,CAAC,EAAE,wBAAwB,CAAC;CAC3C;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IAChC,KAAK,CAAC,IAAI,IAAI,CAAC;CAChB;AAED,MAAM,WAAW,YAAa,SAAQ,aAAa;IACjD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,uEAAuE;IACvE,aAAa,CAAC,EAAE,YAAY,EAAE,CAAC;IAC/B,sEAAsE;IACtE,UAAU,CAAC,EAAE,iBAAiB,CAAC;IAC/B,iFAAiF;IACjF,8BAA8B,CAAC,EAAE,MAAM,CAAC;IACxC,4FAA4F;IAC5F,GAAG,CAAC,EAAE,SAAS,CAAC;CACjB;AAED,MAAM,WAAW,MAAM;IACrB,OAAO,CACL,SAAS,EAAE,cAAc,EACzB,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACtC,OAAO,CAAC,YAAY,CAAC,CAAC;IACzB,QAAQ,IAAI,MAAM,CAAC;IACnB,kFAAkF;IAClF,OAAO,IAAI,MAAM,CAAC;IAClB,YAAY,IAAI,YAAY,EAAE,CAAC;IAC/B,aAAa,IAAI,MAAM,CAAC;IACxB,QAAQ,IAAI,IAAI,CAAC;CAClB;AAMD,wBAAgB,YAAY,CAAC,MAAM,GAAE,YAAiB,GAAG,MAAM,CAiZ9D"}
@@ -0,0 +1,377 @@
1
+ // Governed Action Kernel — the core orchestrator.
2
+ // Connects monitor (AAB + policy + invariants) with execution adapters.
3
+ // Emits full action lifecycle events: REQUESTED → ALLOWED/DENIED → EXECUTED/FAILED.
4
+ // Builds GovernanceDecisionRecords and sinks them for audit.
5
+ import { createMonitor } from './monitor.js';
6
+ import { createAction, getActionClass } from '../core/actions.js';
7
+ import { createAdapterRegistry } from '../core/adapters.js';
8
+ import { createEvent, ACTION_REQUESTED, ACTION_ALLOWED, ACTION_DENIED, ACTION_EXECUTED, ACTION_FAILED, DECISION_RECORDED, SIMULATION_COMPLETED, } from '../events/schema.js';
9
+ import { simpleHash } from '../core/hash.js';
10
+ import { buildDecisionRecord } from './decisions/factory.js';
11
+ import { generateSeed, createSeededRng } from '../core/rng.js';
12
+ function generateRunId(rng) {
13
+ return `run_${Date.now()}_${simpleHash(rng.random().toString())}`;
14
+ }
15
+ export function createKernel(config = {}) {
16
+ const rng = config.rng || createSeededRng(generateSeed());
17
+ const runId = config.runId || generateRunId(rng);
18
+ const sinks = config.sinks || [];
19
+ const decisionSinks = config.decisionSinks || [];
20
+ const adapters = config.adapters || createAdapterRegistry();
21
+ const dryRun = config.dryRun ?? false;
22
+ const simulators = config.simulators || null;
23
+ const blastRadiusThreshold = config.simulationBlastRadiusThreshold ?? 50;
24
+ const actionLog = [];
25
+ let eventCount = 0;
26
+ const monitor = createMonitor({
27
+ policyDefs: config.policyDefs,
28
+ invariants: config.invariants,
29
+ denialThreshold: config.denialThreshold,
30
+ violationThreshold: config.violationThreshold,
31
+ windowSize: config.windowSize,
32
+ });
33
+ function sinkEvent(event) {
34
+ eventCount++;
35
+ for (const sink of sinks) {
36
+ sink.write(event);
37
+ }
38
+ }
39
+ function sinkEvents(events) {
40
+ for (const event of events) {
41
+ sinkEvent(event);
42
+ }
43
+ }
44
+ function sinkDecision(record) {
45
+ for (const sink of decisionSinks) {
46
+ sink.write(record);
47
+ }
48
+ }
49
+ return {
50
+ propose: async (rawAction, systemContext = {}) => {
51
+ const allEvents = [];
52
+ // 1. Emit ACTION_REQUESTED
53
+ const requestedEvent = createEvent(ACTION_REQUESTED, {
54
+ actionType: rawAction.tool || 'unknown',
55
+ target: rawAction.file || rawAction.target || '',
56
+ justification: rawAction.metadata?.justification || 'agent action',
57
+ actionId: undefined,
58
+ agentId: rawAction.agent || 'unknown',
59
+ metadata: { runId, command: rawAction.command },
60
+ });
61
+ allEvents.push(requestedEvent);
62
+ // 2. Evaluate via monitor (AAB → policy → invariants → evidence)
63
+ const decision = monitor.process(rawAction, systemContext);
64
+ // 3. Create canonical action object for execution
65
+ let action = null;
66
+ try {
67
+ const actionType = decision.intent.action;
68
+ const target = decision.intent.target;
69
+ if (actionType !== 'unknown') {
70
+ action = createAction(actionType, target, 'kernel-proposed', {
71
+ command: rawAction.command,
72
+ agent: rawAction.agent,
73
+ runId,
74
+ });
75
+ }
76
+ }
77
+ catch {
78
+ // Action creation may fail for unknown types — continue with null
79
+ }
80
+ // 4. Emit decision events from monitor
81
+ sinkEvents(decision.events);
82
+ if (!decision.allowed) {
83
+ // 5a. DENIED — emit denial event, build decision record
84
+ const deniedEvent = createEvent(ACTION_DENIED, {
85
+ actionType: decision.intent.action,
86
+ target: decision.intent.target,
87
+ reason: decision.decision.reason,
88
+ actionId: action?.id,
89
+ policyHash: decision.decision.matchedPolicy?.id,
90
+ metadata: {
91
+ runId,
92
+ intervention: decision.intervention,
93
+ violations: decision.violations,
94
+ },
95
+ });
96
+ allEvents.push(deniedEvent);
97
+ sinkEvents(allEvents);
98
+ const decisionRecord = buildDecisionRecord({
99
+ runId,
100
+ decision,
101
+ execution: null,
102
+ executionDurationMs: null,
103
+ simulation: null,
104
+ });
105
+ sinkDecision(decisionRecord);
106
+ // Emit DECISION_RECORDED event
107
+ const decisionEvent = createEvent(DECISION_RECORDED, {
108
+ recordId: decisionRecord.recordId,
109
+ outcome: decisionRecord.outcome,
110
+ actionType: decisionRecord.action.type,
111
+ target: decisionRecord.action.target,
112
+ reason: decisionRecord.reason,
113
+ });
114
+ sinkEvent(decisionEvent);
115
+ const result = {
116
+ allowed: false,
117
+ executed: false,
118
+ decision,
119
+ execution: null,
120
+ action,
121
+ events: allEvents,
122
+ runId,
123
+ decisionRecord,
124
+ };
125
+ actionLog.push(result);
126
+ return result;
127
+ }
128
+ // 5b. ALLOWED — run simulation if available, then re-check
129
+ let simulationResult = null;
130
+ if (simulators && simulators.find(decision.intent)) {
131
+ const simulator = simulators.find(decision.intent);
132
+ try {
133
+ simulationResult = await simulator.simulate(decision.intent, systemContext);
134
+ // Emit simulation event
135
+ const simEvent = createEvent(SIMULATION_COMPLETED, {
136
+ simulatorId: simulationResult.simulatorId,
137
+ riskLevel: simulationResult.riskLevel,
138
+ blastRadius: simulationResult.blastRadius,
139
+ predictedChanges: simulationResult.predictedChanges,
140
+ durationMs: simulationResult.durationMs,
141
+ });
142
+ allEvents.push(simEvent);
143
+ sinkEvent(simEvent);
144
+ // Re-check invariants if simulation reveals elevated risk
145
+ if (simulationResult.blastRadius > blastRadiusThreshold ||
146
+ simulationResult.riskLevel === 'high') {
147
+ // Import checker for re-check
148
+ const { checkAllInvariants, buildSystemState } = await import('../invariants/checker.js');
149
+ const { DEFAULT_INVARIANTS } = await import('../invariants/definitions.js');
150
+ const reCheckState = buildSystemState({
151
+ ...systemContext,
152
+ filesAffected: simulationResult.blastRadius,
153
+ simulatedBlastRadius: simulationResult.blastRadius,
154
+ simulatedRiskLevel: simulationResult.riskLevel,
155
+ targetBranch: decision.intent.branch || systemContext.targetBranch,
156
+ forcePush: decision.intent.action === 'git.force-push',
157
+ directPush: decision.intent.action === 'git.push',
158
+ isPush: decision.intent.action === 'git.push' ||
159
+ decision.intent.action === 'git.force-push',
160
+ });
161
+ const reCheck = checkAllInvariants(config.invariants || DEFAULT_INVARIANTS, reCheckState);
162
+ if (!reCheck.allHold) {
163
+ // Simulation-triggered denial
164
+ sinkEvents(reCheck.events);
165
+ const deniedEvent = createEvent(ACTION_DENIED, {
166
+ actionType: decision.intent.action,
167
+ target: decision.intent.target,
168
+ reason: `Simulation revealed elevated risk: ${simulationResult.riskLevel} (blast radius: ${simulationResult.blastRadius})`,
169
+ actionId: action?.id,
170
+ metadata: {
171
+ runId,
172
+ simulationTriggered: true,
173
+ simulatorId: simulationResult.simulatorId,
174
+ violations: reCheck.violations.map((v) => ({
175
+ invariantId: v.invariant.id,
176
+ name: v.invariant.name,
177
+ severity: v.invariant.severity,
178
+ expected: v.result.expected,
179
+ actual: v.result.actual,
180
+ })),
181
+ },
182
+ });
183
+ allEvents.push(deniedEvent);
184
+ sinkEvents(allEvents);
185
+ const simSummary = {
186
+ predictedChanges: simulationResult.predictedChanges,
187
+ blastRadius: simulationResult.blastRadius,
188
+ riskLevel: simulationResult.riskLevel,
189
+ simulatorId: simulationResult.simulatorId,
190
+ durationMs: simulationResult.durationMs,
191
+ };
192
+ const decisionRecord = buildDecisionRecord({
193
+ runId,
194
+ decision: {
195
+ ...decision,
196
+ allowed: false,
197
+ violations: reCheck.violations.map((v) => ({
198
+ invariantId: v.invariant.id,
199
+ name: v.invariant.name,
200
+ severity: v.invariant.severity,
201
+ expected: v.result.expected,
202
+ actual: v.result.actual,
203
+ })),
204
+ },
205
+ execution: null,
206
+ executionDurationMs: null,
207
+ simulation: simSummary,
208
+ });
209
+ sinkDecision(decisionRecord);
210
+ const decisionEvent = createEvent(DECISION_RECORDED, {
211
+ recordId: decisionRecord.recordId,
212
+ outcome: 'deny',
213
+ actionType: decisionRecord.action.type,
214
+ target: decisionRecord.action.target,
215
+ reason: `Simulation-triggered denial`,
216
+ });
217
+ sinkEvent(decisionEvent);
218
+ const result = {
219
+ allowed: false,
220
+ executed: false,
221
+ decision: {
222
+ ...decision,
223
+ allowed: false,
224
+ violations: reCheck.violations.map((v) => ({
225
+ invariantId: v.invariant.id,
226
+ name: v.invariant.name,
227
+ severity: v.invariant.severity,
228
+ expected: v.result.expected,
229
+ actual: v.result.actual,
230
+ })),
231
+ },
232
+ execution: null,
233
+ action,
234
+ events: allEvents,
235
+ runId,
236
+ decisionRecord,
237
+ };
238
+ actionLog.push(result);
239
+ return result;
240
+ }
241
+ }
242
+ }
243
+ catch {
244
+ // Simulation failure is non-fatal — continue with execution
245
+ }
246
+ }
247
+ // Emit allowed event
248
+ const allowedEvent = createEvent(ACTION_ALLOWED, {
249
+ actionType: decision.intent.action,
250
+ target: decision.intent.target,
251
+ capability: decision.decision.matchedPolicy?.id || 'default-allow',
252
+ actionId: action?.id,
253
+ reason: decision.decision.reason,
254
+ metadata: { runId },
255
+ });
256
+ allEvents.push(allowedEvent);
257
+ // 6. Execute via adapter (unless dry-run)
258
+ let execution = null;
259
+ let executionDurationMs = null;
260
+ if (!dryRun && action) {
261
+ const actionClass = getActionClass(action.type);
262
+ if (actionClass && adapters.has(actionClass)) {
263
+ const adapterDecisionRecord = {
264
+ actionId: action.id,
265
+ decision: 'allow',
266
+ reason: decision.decision.reason,
267
+ timestamp: Date.now(),
268
+ policyHash: decision.decision.matchedPolicy?.id || 'none',
269
+ };
270
+ const startTime = Date.now();
271
+ try {
272
+ execution = await adapters.execute(action, adapterDecisionRecord);
273
+ executionDurationMs = Date.now() - startTime;
274
+ if (execution.success) {
275
+ const executedEvent = createEvent(ACTION_EXECUTED, {
276
+ actionType: action.type,
277
+ target: action.target,
278
+ result: 'success',
279
+ actionId: action.id,
280
+ duration: executionDurationMs,
281
+ metadata: { runId },
282
+ });
283
+ allEvents.push(executedEvent);
284
+ }
285
+ else {
286
+ const failedEvent = createEvent(ACTION_FAILED, {
287
+ actionType: action.type,
288
+ target: action.target,
289
+ error: execution.error || 'Unknown execution error',
290
+ actionId: action.id,
291
+ duration: executionDurationMs,
292
+ metadata: { runId },
293
+ });
294
+ allEvents.push(failedEvent);
295
+ }
296
+ }
297
+ catch (err) {
298
+ executionDurationMs = Date.now() - startTime;
299
+ execution = { success: false, error: err.message };
300
+ const failedEvent = createEvent(ACTION_FAILED, {
301
+ actionType: action.type,
302
+ target: action.target,
303
+ error: err.message,
304
+ actionId: action.id,
305
+ duration: executionDurationMs,
306
+ metadata: { runId },
307
+ });
308
+ allEvents.push(failedEvent);
309
+ }
310
+ }
311
+ }
312
+ sinkEvents(allEvents);
313
+ // Build and sink governance decision record
314
+ const simSummary = simulationResult
315
+ ? {
316
+ predictedChanges: simulationResult.predictedChanges,
317
+ blastRadius: simulationResult.blastRadius,
318
+ riskLevel: simulationResult.riskLevel,
319
+ simulatorId: simulationResult.simulatorId,
320
+ durationMs: simulationResult.durationMs,
321
+ }
322
+ : null;
323
+ const decisionRecord = buildDecisionRecord({
324
+ runId,
325
+ decision,
326
+ execution,
327
+ executionDurationMs,
328
+ simulation: simSummary,
329
+ });
330
+ sinkDecision(decisionRecord);
331
+ // Emit DECISION_RECORDED event
332
+ const decisionEvent = createEvent(DECISION_RECORDED, {
333
+ recordId: decisionRecord.recordId,
334
+ outcome: decisionRecord.outcome,
335
+ actionType: decisionRecord.action.type,
336
+ target: decisionRecord.action.target,
337
+ reason: decisionRecord.reason,
338
+ });
339
+ sinkEvent(decisionEvent);
340
+ const result = {
341
+ allowed: true,
342
+ executed: execution !== null,
343
+ decision,
344
+ execution,
345
+ action,
346
+ events: allEvents,
347
+ runId,
348
+ decisionRecord,
349
+ };
350
+ actionLog.push(result);
351
+ return result;
352
+ },
353
+ getRunId() {
354
+ return runId;
355
+ },
356
+ getSeed() {
357
+ return rng.seed;
358
+ },
359
+ getActionLog() {
360
+ return [...actionLog];
361
+ },
362
+ getEventCount() {
363
+ return eventCount;
364
+ },
365
+ shutdown() {
366
+ for (const sink of sinks) {
367
+ if (sink.flush)
368
+ sink.flush();
369
+ }
370
+ for (const sink of decisionSinks) {
371
+ if (sink.flush)
372
+ sink.flush();
373
+ }
374
+ },
375
+ };
376
+ }
377
+ //# sourceMappingURL=kernel.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"kernel.js","sourceRoot":"","sources":["../../src/kernel/kernel.ts"],"names":[],"mappings":"AAAA,kDAAkD;AAClD,wEAAwE;AACxE,oFAAoF;AACpF,6DAA6D;AAG7D,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAG7C,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAG7D,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AA+C/D,SAAS,aAAa,CAAC,GAAc;IACnC,OAAO,OAAO,IAAI,CAAC,GAAG,EAAE,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,SAAuB,EAAE;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,IAAI,eAAe,CAAC,YAAY,EAAE,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC;IACjD,MAAM,KAAK,GAAgB,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;IAC9C,MAAM,aAAa,GAAmB,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;IACjE,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,qBAAqB,EAAE,CAAC;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC;IACtC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,IAAI,CAAC;IAC7C,MAAM,oBAAoB,GAAG,MAAM,CAAC,8BAA8B,IAAI,EAAE,CAAC;IACzE,MAAM,SAAS,GAAmB,EAAE,CAAC;IACrC,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,MAAM,OAAO,GAAG,aAAa,CAAC;QAC5B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC,CAAC;IAEH,SAAS,SAAS,CAAC,KAAkB;QACnC,UAAU,EAAE,CAAC;QACb,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,SAAS,UAAU,CAAC,MAAqB;QACvC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,SAAS,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,SAAS,YAAY,CAAC,MAAgC;QACpD,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,aAAa,GAAG,EAAE,EAAE,EAAE;YAC/C,MAAM,SAAS,GAAkB,EAAE,CAAC;YAEpC,2BAA2B;YAC3B,MAAM,cAAc,GAAG,WAAW,CAAC,gBAAgB,EAAE;gBACnD,UAAU,EAAE,SAAS,CAAC,IAAI,IAAI,SAAS;gBACvC,MAAM,EAAE,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,MAAM,IAAI,EAAE;gBAChD,aAAa,EAAG,SAAS,CAAC,QAAQ,EAAE,aAAwB,IAAI,cAAc;gBAC9E,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,SAAS,CAAC,KAAK,IAAI,SAAS;gBACrC,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE;aAChD,CAAC,CAAC;YACH,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAE/B,iEAAiE;YACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;YAE3D,kDAAkD;YAClD,IAAI,MAAM,GAA2B,IAAI,CAAC;YAC1C,IAAI,CAAC;gBACH,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC7B,MAAM,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,iBAAiB,EAAE;wBAC3D,OAAO,EAAE,SAAS,CAAC,OAAO;wBAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;wBACtB,KAAK;qBACN,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,kEAAkE;YACpE,CAAC;YAED,uCAAuC;YACvC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAE5B,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;gBACtB,wDAAwD;gBACxD,MAAM,WAAW,GAAG,WAAW,CAAC,aAAa,EAAE;oBAC7C,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM;oBAClC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM;oBAC9B,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM;oBAChC,QAAQ,EAAE,MAAM,EAAE,EAAE;oBACpB,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE;oBAC/C,QAAQ,EAAE;wBACR,KAAK;wBACL,YAAY,EAAE,QAAQ,CAAC,YAAY;wBACnC,UAAU,EAAE,QAAQ,CAAC,UAAU;qBAChC;iBACF,CAAC,CAAC;gBACH,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC5B,UAAU,CAAC,SAAS,CAAC,CAAC;gBAEtB,MAAM,cAAc,GAAG,mBAAmB,CAAC;oBACzC,KAAK;oBACL,QAAQ;oBACR,SAAS,EAAE,IAAI;oBACf,mBAAmB,EAAE,IAAI;oBACzB,UAAU,EAAE,IAAI;iBACjB,CAAC,CAAC;gBACH,YAAY,CAAC,cAAc,CAAC,CAAC;gBAE7B,+BAA+B;gBAC/B,MAAM,aAAa,GAAG,WAAW,CAAC,iBAAiB,EAAE;oBACnD,QAAQ,EAAE,cAAc,CAAC,QAAQ;oBACjC,OAAO,EAAE,cAAc,CAAC,OAAO;oBAC/B,UAAU,EAAE,cAAc,CAAC,MAAM,CAAC,IAAI;oBACtC,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM;oBACpC,MAAM,EAAE,cAAc,CAAC,MAAM;iBAC9B,CAAC,CAAC;gBACH,SAAS,CAAC,aAAa,CAAC,CAAC;gBAEzB,MAAM,MAAM,GAAiB;oBAC3B,OAAO,EAAE,KAAK;oBACd,QAAQ,EAAE,KAAK;oBACf,QAAQ;oBACR,SAAS,EAAE,IAAI;oBACf,MAAM;oBACN,MAAM,EAAE,SAAS;oBACjB,KAAK;oBACL,cAAc;iBACf,CAAC;gBACF,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACvB,OAAO,MAAM,CAAC;YAChB,CAAC;YAED,2DAA2D;YAC3D,IAAI,gBAAgB,GAAG,IAAI,CAAC;YAE5B,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAE,CAAC;gBACpD,IAAI,CAAC;oBACH,gBAAgB,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;oBAE5E,wBAAwB;oBACxB,MAAM,QAAQ,GAAG,WAAW,CAAC,oBAAoB,EAAE;wBACjD,WAAW,EAAE,gBAAgB,CAAC,WAAW;wBACzC,SAAS,EAAE,gBAAgB,CAAC,SAAS;wBACrC,WAAW,EAAE,gBAAgB,CAAC,WAAW;wBACzC,gBAAgB,EAAE,gBAAgB,CAAC,gBAAgB;wBACnD,UAAU,EAAE,gBAAgB,CAAC,UAAU;qBACxC,CAAC,CAAC;oBACH,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACzB,SAAS,CAAC,QAAQ,CAAC,CAAC;oBAEpB,0DAA0D;oBAC1D,IACE,gBAAgB,CAAC,WAAW,GAAG,oBAAoB;wBACnD,gBAAgB,CAAC,SAAS,KAAK,MAAM,EACrC,CAAC;wBACD,8BAA8B;wBAC9B,MAAM,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,GAC5C,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;wBAC3C,MAAM,EAAE,kBAAkB,EAAE,GAAG,MAAM,MAAM,CAAC,8BAA8B,CAAC,CAAC;wBAE5E,MAAM,YAAY,GAAG,gBAAgB,CAAC;4BACpC,GAAG,aAAa;4BAChB,aAAa,EAAE,gBAAgB,CAAC,WAAW;4BAC3C,oBAAoB,EAAE,gBAAgB,CAAC,WAAW;4BAClD,kBAAkB,EAAE,gBAAgB,CAAC,SAAS;4BAC9C,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,IAAK,aAAa,CAAC,YAAuB;4BAC9E,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,gBAAgB;4BACtD,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU;4BACjD,MAAM,EACJ,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU;gCACrC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,gBAAgB;yBAC9C,CAAC,CAAC;wBAEH,MAAM,OAAO,GAAG,kBAAkB,CAChC,MAAM,CAAC,UAAU,IAAI,kBAAkB,EACvC,YAAY,CACb,CAAC;wBAEF,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;4BACrB,8BAA8B;4BAC9B,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;4BAE3B,MAAM,WAAW,GAAG,WAAW,CAAC,aAAa,EAAE;gCAC7C,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM;gCAClC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM;gCAC9B,MAAM,EAAE,sCAAsC,gBAAgB,CAAC,SAAS,mBAAmB,gBAAgB,CAAC,WAAW,GAAG;gCAC1H,QAAQ,EAAE,MAAM,EAAE,EAAE;gCACpB,QAAQ,EAAE;oCACR,KAAK;oCACL,mBAAmB,EAAE,IAAI;oCACzB,WAAW,EAAE,gBAAgB,CAAC,WAAW;oCACzC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wCACzC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE;wCAC3B,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI;wCACtB,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ;wCAC9B,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ;wCAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;qCACxB,CAAC,CAAC;iCACJ;6BACF,CAAC,CAAC;4BACH,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;4BAC5B,UAAU,CAAC,SAAS,CAAC,CAAC;4BAEtB,MAAM,UAAU,GAAG;gCACjB,gBAAgB,EAAE,gBAAgB,CAAC,gBAAgB;gCACnD,WAAW,EAAE,gBAAgB,CAAC,WAAW;gCACzC,SAAS,EAAE,gBAAgB,CAAC,SAAS;gCACrC,WAAW,EAAE,gBAAgB,CAAC,WAAW;gCACzC,UAAU,EAAE,gBAAgB,CAAC,UAAU;6BACxC,CAAC;4BAEF,MAAM,cAAc,GAAG,mBAAmB,CAAC;gCACzC,KAAK;gCACL,QAAQ,EAAE;oCACR,GAAG,QAAQ;oCACX,OAAO,EAAE,KAAK;oCACd,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wCACzC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE;wCAC3B,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI;wCACtB,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ;wCAC9B,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ;wCAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;qCACxB,CAAC,CAAC;iCACJ;gCACD,SAAS,EAAE,IAAI;gCACf,mBAAmB,EAAE,IAAI;gCACzB,UAAU,EAAE,UAAU;6BACvB,CAAC,CAAC;4BACH,YAAY,CAAC,cAAc,CAAC,CAAC;4BAE7B,MAAM,aAAa,GAAG,WAAW,CAAC,iBAAiB,EAAE;gCACnD,QAAQ,EAAE,cAAc,CAAC,QAAQ;gCACjC,OAAO,EAAE,MAAM;gCACf,UAAU,EAAE,cAAc,CAAC,MAAM,CAAC,IAAI;gCACtC,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM;gCACpC,MAAM,EAAE,6BAA6B;6BACtC,CAAC,CAAC;4BACH,SAAS,CAAC,aAAa,CAAC,CAAC;4BAEzB,MAAM,MAAM,GAAiB;gCAC3B,OAAO,EAAE,KAAK;gCACd,QAAQ,EAAE,KAAK;gCACf,QAAQ,EAAE;oCACR,GAAG,QAAQ;oCACX,OAAO,EAAE,KAAK;oCACd,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wCACzC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE;wCAC3B,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI;wCACtB,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ;wCAC9B,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ;wCAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;qCACxB,CAAC,CAAC;iCACJ;gCACD,SAAS,EAAE,IAAI;gCACf,MAAM;gCACN,MAAM,EAAE,SAAS;gCACjB,KAAK;gCACL,cAAc;6BACf,CAAC;4BACF,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;4BACvB,OAAO,MAAM,CAAC;wBAChB,CAAC;oBACH,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,4DAA4D;gBAC9D,CAAC;YACH,CAAC;YAED,qBAAqB;YACrB,MAAM,YAAY,GAAG,WAAW,CAAC,cAAc,EAAE;gBAC/C,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM;gBAClC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM;gBAC9B,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,IAAI,eAAe;gBAClE,QAAQ,EAAE,MAAM,EAAE,EAAE;gBACpB,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM;gBAChC,QAAQ,EAAE,EAAE,KAAK,EAAE;aACpB,CAAC,CAAC;YACH,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAE7B,0CAA0C;YAC1C,IAAI,SAAS,GAA2B,IAAI,CAAC;YAC7C,IAAI,mBAAmB,GAAkB,IAAI,CAAC;YAC9C,IAAI,CAAC,MAAM,IAAI,MAAM,EAAE,CAAC;gBACtB,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAChD,IAAI,WAAW,IAAI,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC7C,MAAM,qBAAqB,GAAmB;wBAC5C,QAAQ,EAAE,MAAM,CAAC,EAAE;wBACnB,QAAQ,EAAE,OAAO;wBACjB,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM;wBAChC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;wBACrB,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,IAAI,MAAM;qBAC1D,CAAC;oBAEF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC7B,IAAI,CAAC;wBACH,SAAS,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;wBAClE,mBAAmB,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;wBAE7C,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;4BACtB,MAAM,aAAa,GAAG,WAAW,CAAC,eAAe,EAAE;gCACjD,UAAU,EAAE,MAAM,CAAC,IAAI;gCACvB,MAAM,EAAE,MAAM,CAAC,MAAM;gCACrB,MAAM,EAAE,SAAS;gCACjB,QAAQ,EAAE,MAAM,CAAC,EAAE;gCACnB,QAAQ,EAAE,mBAAmB;gCAC7B,QAAQ,EAAE,EAAE,KAAK,EAAE;6BACpB,CAAC,CAAC;4BACH,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;wBAChC,CAAC;6BAAM,CAAC;4BACN,MAAM,WAAW,GAAG,WAAW,CAAC,aAAa,EAAE;gCAC7C,UAAU,EAAE,MAAM,CAAC,IAAI;gCACvB,MAAM,EAAE,MAAM,CAAC,MAAM;gCACrB,KAAK,EAAE,SAAS,CAAC,KAAK,IAAI,yBAAyB;gCACnD,QAAQ,EAAE,MAAM,CAAC,EAAE;gCACnB,QAAQ,EAAE,mBAAmB;gCAC7B,QAAQ,EAAE,EAAE,KAAK,EAAE;6BACpB,CAAC,CAAC;4BACH,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBAC9B,CAAC;oBACH,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,mBAAmB,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;wBAC7C,SAAS,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;wBAC9D,MAAM,WAAW,GAAG,WAAW,CAAC,aAAa,EAAE;4BAC7C,UAAU,EAAE,MAAM,CAAC,IAAI;4BACvB,MAAM,EAAE,MAAM,CAAC,MAAM;4BACrB,KAAK,EAAG,GAAa,CAAC,OAAO;4BAC7B,QAAQ,EAAE,MAAM,CAAC,EAAE;4BACnB,QAAQ,EAAE,mBAAmB;4BAC7B,QAAQ,EAAE,EAAE,KAAK,EAAE;yBACpB,CAAC,CAAC;wBACH,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBAC9B,CAAC;gBACH,CAAC;YACH,CAAC;YAED,UAAU,CAAC,SAAS,CAAC,CAAC;YAEtB,4CAA4C;YAC5C,MAAM,UAAU,GAAG,gBAAgB;gBACjC,CAAC,CAAC;oBACE,gBAAgB,EAAE,gBAAgB,CAAC,gBAAgB;oBACnD,WAAW,EAAE,gBAAgB,CAAC,WAAW;oBACzC,SAAS,EAAE,gBAAgB,CAAC,SAAS;oBACrC,WAAW,EAAE,gBAAgB,CAAC,WAAW;oBACzC,UAAU,EAAE,gBAAgB,CAAC,UAAU;iBACxC;gBACH,CAAC,CAAC,IAAI,CAAC;YAET,MAAM,cAAc,GAAG,mBAAmB,CAAC;gBACzC,KAAK;gBACL,QAAQ;gBACR,SAAS;gBACT,mBAAmB;gBACnB,UAAU,EAAE,UAAU;aACvB,CAAC,CAAC;YACH,YAAY,CAAC,cAAc,CAAC,CAAC;YAE7B,+BAA+B;YAC/B,MAAM,aAAa,GAAG,WAAW,CAAC,iBAAiB,EAAE;gBACnD,QAAQ,EAAE,cAAc,CAAC,QAAQ;gBACjC,OAAO,EAAE,cAAc,CAAC,OAAO;gBAC/B,UAAU,EAAE,cAAc,CAAC,MAAM,CAAC,IAAI;gBACtC,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM;gBACpC,MAAM,EAAE,cAAc,CAAC,MAAM;aAC9B,CAAC,CAAC;YACH,SAAS,CAAC,aAAa,CAAC,CAAC;YAEzB,MAAM,MAAM,GAAiB;gBAC3B,OAAO,EAAE,IAAI;gBACb,QAAQ,EAAE,SAAS,KAAK,IAAI;gBAC5B,QAAQ;gBACR,SAAS;gBACT,MAAM;gBACN,MAAM,EAAE,SAAS;gBACjB,KAAK;gBACL,cAAc;aACf,CAAC;YACF,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,QAAQ;YACN,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO;YACL,OAAO,GAAG,CAAC,IAAI,CAAC;QAClB,CAAC;QAED,YAAY;YACV,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC;QACxB,CAAC;QAED,aAAa;YACX,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,QAAQ;YACN,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,IAAI,CAAC,KAAK;oBAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/B,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;gBACjC,IAAI,IAAI,CAAC,KAAK;oBAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/B,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}
@@ -0,0 +1,35 @@
1
+ import type { EngineConfig, EngineDecision } from './decision.js';
2
+ import type { RawAgentAction } from './aab.js';
3
+ import { EventBus } from '../events/bus.js';
4
+ import type { EventStore } from '../core/types.js';
5
+ export declare const ESCALATION: {
6
+ readonly NORMAL: 0;
7
+ readonly ELEVATED: 1;
8
+ readonly HIGH: 2;
9
+ readonly LOCKDOWN: 3;
10
+ };
11
+ export type EscalationLevel = (typeof ESCALATION)[keyof typeof ESCALATION];
12
+ interface MonitorState {
13
+ escalationLevel: EscalationLevel;
14
+ totalEvaluations: number;
15
+ totalDenials: number;
16
+ totalViolations: number;
17
+ }
18
+ export interface MonitorDecision extends EngineDecision {
19
+ monitor: MonitorState;
20
+ }
21
+ export interface MonitorConfig extends EngineConfig {
22
+ denialThreshold?: number;
23
+ violationThreshold?: number;
24
+ windowSize?: number;
25
+ }
26
+ export interface Monitor {
27
+ bus: EventBus<Record<string, unknown>>;
28
+ store: EventStore;
29
+ process(rawAction: RawAgentAction | null, systemContext?: Record<string, unknown>): MonitorDecision;
30
+ getStatus(): Record<string, unknown>;
31
+ resetEscalation(): void;
32
+ }
33
+ export declare function createMonitor(config?: MonitorConfig): Monitor;
34
+ export {};
35
+ //# sourceMappingURL=monitor.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"monitor.d.ts","sourceRoot":"","sources":["../../src/kernel/monitor.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,eAAO,MAAM,UAAU;;;;;CAKb,CAAC;AAEX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,OAAO,UAAU,CAAC,CAAC;AAE3E,UAAU,YAAY;IACpB,eAAe,EAAE,eAAe,CAAC;IACjC,gBAAgB,EAAE,MAAM,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACrD,OAAO,EAAE,YAAY,CAAC;CACvB;AAED,MAAM,WAAW,aAAc,SAAQ,YAAY;IACjD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAQD,MAAM,WAAW,OAAO;IACtB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvC,KAAK,EAAE,UAAU,CAAC;IAClB,OAAO,CACL,SAAS,EAAE,cAAc,GAAG,IAAI,EAChC,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACtC,eAAe,CAAC;IACnB,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,eAAe,IAAI,IAAI,CAAC;CACzB;AAED,wBAAgB,aAAa,CAAC,MAAM,GAAE,aAAkB,GAAG,OAAO,CAgJjE"}
@@ -0,0 +1,144 @@
1
+ // Runtime Monitor — closed-loop feedback system.
2
+ // Pure domain logic. No DOM, no Node.js-specific APIs.
3
+ import { createEngine, INTERVENTION } from './decision.js';
4
+ import { EventBus } from '../events/bus.js';
5
+ import { createInMemoryStore } from '../events/store.js';
6
+ export const ESCALATION = {
7
+ NORMAL: 0,
8
+ ELEVATED: 1,
9
+ HIGH: 2,
10
+ LOCKDOWN: 3,
11
+ };
12
+ export function createMonitor(config = {}) {
13
+ const bus = new EventBus();
14
+ const store = createInMemoryStore();
15
+ const engine = createEngine({
16
+ policyDefs: config.policyDefs || [],
17
+ invariants: config.invariants,
18
+ onEvent(event) {
19
+ store.append(event);
20
+ bus.emit(event.kind, event);
21
+ bus.emit('*', event);
22
+ },
23
+ });
24
+ const denialThreshold = config.denialThreshold ?? 5;
25
+ const violationThreshold = config.violationThreshold ?? 3;
26
+ const windowSize = config.windowSize ?? 10;
27
+ let totalEvaluations = 0;
28
+ let totalDenials = 0;
29
+ let totalViolations = 0;
30
+ const denialsByAgent = new Map();
31
+ const violationsByInvariant = new Map();
32
+ const recentDenials = [];
33
+ let escalationLevel = ESCALATION.NORMAL;
34
+ const sessionStartTime = Date.now();
35
+ function updateEscalation() {
36
+ if (totalDenials >= denialThreshold * 2 || totalViolations >= violationThreshold * 2) {
37
+ escalationLevel = ESCALATION.LOCKDOWN;
38
+ }
39
+ else if (totalDenials >= denialThreshold || totalViolations >= violationThreshold) {
40
+ escalationLevel = ESCALATION.HIGH;
41
+ }
42
+ else if (totalDenials >= Math.ceil(denialThreshold / 2)) {
43
+ escalationLevel = ESCALATION.ELEVATED;
44
+ }
45
+ else {
46
+ escalationLevel = ESCALATION.NORMAL;
47
+ }
48
+ bus.emit('escalation', { level: escalationLevel });
49
+ }
50
+ return {
51
+ bus,
52
+ store,
53
+ process(rawAction, systemContext = {}) {
54
+ if (escalationLevel === ESCALATION.LOCKDOWN) {
55
+ totalEvaluations++;
56
+ const lockedResult = {
57
+ allowed: false,
58
+ intent: {
59
+ action: rawAction?.tool || 'unknown',
60
+ target: '',
61
+ agent: rawAction?.agent || 'unknown',
62
+ destructive: false,
63
+ },
64
+ decision: {
65
+ allowed: false,
66
+ decision: 'deny',
67
+ matchedRule: null,
68
+ matchedPolicy: null,
69
+ reason: 'Session in LOCKDOWN — human intervention required',
70
+ severity: 5,
71
+ },
72
+ violations: [],
73
+ events: [],
74
+ evidencePack: null,
75
+ intervention: INTERVENTION.DENY,
76
+ monitor: {
77
+ escalationLevel,
78
+ totalEvaluations,
79
+ totalDenials,
80
+ totalViolations,
81
+ },
82
+ };
83
+ bus.emit('lockdown-denial', lockedResult);
84
+ return lockedResult;
85
+ }
86
+ const result = engine.evaluate(rawAction, systemContext);
87
+ totalEvaluations++;
88
+ if (!result.allowed) {
89
+ totalDenials++;
90
+ const agent = result.intent.agent || 'unknown';
91
+ denialsByAgent.set(agent, (denialsByAgent.get(agent) || 0) + 1);
92
+ recentDenials.push({
93
+ timestamp: Date.now(),
94
+ action: result.intent.action,
95
+ reason: result.decision.reason,
96
+ });
97
+ while (recentDenials.length > windowSize) {
98
+ recentDenials.shift();
99
+ }
100
+ }
101
+ for (const v of result.violations) {
102
+ totalViolations++;
103
+ const id = v.invariantId;
104
+ violationsByInvariant.set(id, (violationsByInvariant.get(id) || 0) + 1);
105
+ }
106
+ updateEscalation();
107
+ return {
108
+ ...result,
109
+ monitor: {
110
+ escalationLevel,
111
+ totalEvaluations,
112
+ totalDenials,
113
+ totalViolations,
114
+ },
115
+ };
116
+ },
117
+ getStatus() {
118
+ return {
119
+ escalationLevel,
120
+ totalEvaluations,
121
+ totalDenials,
122
+ totalViolations,
123
+ denialsByAgent: Object.fromEntries(denialsByAgent),
124
+ violationsByInvariant: Object.fromEntries(violationsByInvariant),
125
+ recentDenials: [...recentDenials],
126
+ eventCount: store.count(),
127
+ uptime: Date.now() - sessionStartTime,
128
+ policyCount: engine.getPolicyCount(),
129
+ invariantCount: engine.getInvariantCount(),
130
+ policyErrors: engine.getPolicyErrors(),
131
+ };
132
+ },
133
+ resetEscalation() {
134
+ escalationLevel = ESCALATION.NORMAL;
135
+ totalDenials = 0;
136
+ totalViolations = 0;
137
+ denialsByAgent.clear();
138
+ violationsByInvariant.clear();
139
+ recentDenials.length = 0;
140
+ bus.emit('escalation-reset', { level: ESCALATION.NORMAL });
141
+ },
142
+ };
143
+ }
144
+ //# sourceMappingURL=monitor.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"monitor.js","sourceRoot":"","sources":["../../src/kernel/monitor.ts"],"names":[],"mappings":"AAAA,iDAAiD;AACjD,uDAAuD;AAGvD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAG3D,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAGzD,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,MAAM,EAAE,CAAC;IACT,QAAQ,EAAE,CAAC;IACX,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,CAAC;CACH,CAAC;AAsCX,MAAM,UAAU,aAAa,CAAC,SAAwB,EAAE;IACtD,MAAM,GAAG,GAAG,IAAI,QAAQ,EAA2B,CAAC;IACpD,MAAM,KAAK,GAAG,mBAAmB,EAAE,CAAC;IAEpC,MAAM,MAAM,GAAG,YAAY,CAAC;QAC1B,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;QACnC,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,OAAO,CAAC,KAAkB;YACxB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACpB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAA2C,CAAC,CAAC;YAClE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAA2C,CAAC,CAAC;QAC7D,CAAC;KACF,CAAC,CAAC;IAEH,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,IAAI,CAAC,CAAC;IACpD,MAAM,kBAAkB,GAAG,MAAM,CAAC,kBAAkB,IAAI,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;IAE3C,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxD,MAAM,aAAa,GAAmB,EAAE,CAAC;IACzC,IAAI,eAAe,GAAoB,UAAU,CAAC,MAAM,CAAC;IACzD,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAEpC,SAAS,gBAAgB;QACvB,IAAI,YAAY,IAAI,eAAe,GAAG,CAAC,IAAI,eAAe,IAAI,kBAAkB,GAAG,CAAC,EAAE,CAAC;YACrF,eAAe,GAAG,UAAU,CAAC,QAAQ,CAAC;QACxC,CAAC;aAAM,IAAI,YAAY,IAAI,eAAe,IAAI,eAAe,IAAI,kBAAkB,EAAE,CAAC;YACpF,eAAe,GAAG,UAAU,CAAC,IAAI,CAAC;QACpC,CAAC;aAAM,IAAI,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,CAAC,EAAE,CAAC;YAC1D,eAAe,GAAG,UAAU,CAAC,QAAQ,CAAC;QACxC,CAAC;aAAM,CAAC;YACN,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC;QACtC,CAAC;QAED,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,OAAO;QACL,GAAG;QACH,KAAK;QAEL,OAAO,CAAC,SAAS,EAAE,aAAa,GAAG,EAAE;YACnC,IAAI,eAAe,KAAK,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC5C,gBAAgB,EAAE,CAAC;gBACnB,MAAM,YAAY,GAAoB;oBACpC,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE;wBACN,MAAM,EAAE,SAAS,EAAE,IAAI,IAAI,SAAS;wBACpC,MAAM,EAAE,EAAE;wBACV,KAAK,EAAE,SAAS,EAAE,KAAK,IAAI,SAAS;wBACpC,WAAW,EAAE,KAAK;qBACnB;oBACD,QAAQ,EAAE;wBACR,OAAO,EAAE,KAAK;wBACd,QAAQ,EAAE,MAAM;wBAChB,WAAW,EAAE,IAAI;wBACjB,aAAa,EAAE,IAAI;wBACnB,MAAM,EAAE,mDAAmD;wBAC3D,QAAQ,EAAE,CAAC;qBACZ;oBACD,UAAU,EAAE,EAAE;oBACd,MAAM,EAAE,EAAE;oBACV,YAAY,EAAE,IAAI;oBAClB,YAAY,EAAE,YAAY,CAAC,IAAI;oBAC/B,OAAO,EAAE;wBACP,eAAe;wBACf,gBAAgB;wBAChB,YAAY;wBACZ,eAAe;qBAChB;iBACF,CAAC;gBACF,GAAG,CAAC,IAAI,CAAC,iBAAiB,EAAE,YAAkD,CAAC,CAAC;gBAChF,OAAO,YAAY,CAAC;YACtB,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;YACzD,gBAAgB,EAAE,CAAC;YAEnB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,YAAY,EAAE,CAAC;gBACf,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,IAAI,SAAS,CAAC;gBAC/C,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAEhE,aAAa,CAAC,IAAI,CAAC;oBACjB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;oBACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM;oBAC5B,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;iBAC/B,CAAC,CAAC;gBAEH,OAAO,aAAa,CAAC,MAAM,GAAG,UAAU,EAAE,CAAC;oBACzC,aAAa,CAAC,KAAK,EAAE,CAAC;gBACxB,CAAC;YACH,CAAC;YAED,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBAClC,eAAe,EAAE,CAAC;gBAClB,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC;gBACzB,qBAAqB,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1E,CAAC;YAED,gBAAgB,EAAE,CAAC;YAEnB,OAAO;gBACL,GAAG,MAAM;gBACT,OAAO,EAAE;oBACP,eAAe;oBACf,gBAAgB;oBAChB,YAAY;oBACZ,eAAe;iBAChB;aACF,CAAC;QACJ,CAAC;QAED,SAAS;YACP,OAAO;gBACL,eAAe;gBACf,gBAAgB;gBAChB,YAAY;gBACZ,eAAe;gBACf,cAAc,EAAE,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC;gBAClD,qBAAqB,EAAE,MAAM,CAAC,WAAW,CAAC,qBAAqB,CAAC;gBAChE,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC;gBACjC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE;gBACzB,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,gBAAgB;gBACrC,WAAW,EAAE,MAAM,CAAC,cAAc,EAAE;gBACpC,cAAc,EAAE,MAAM,CAAC,iBAAiB,EAAE;gBAC1C,YAAY,EAAE,MAAM,CAAC,eAAe,EAAE;aACvC,CAAC;QACJ,CAAC;QAED,eAAe;YACb,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC;YACpC,YAAY,GAAG,CAAC,CAAC;YACjB,eAAe,GAAG,CAAC,CAAC;YACpB,cAAc,CAAC,KAAK,EAAE,CAAC;YACvB,qBAAqB,CAAC,KAAK,EAAE,CAAC;YAC9B,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7D,CAAC;KACF,CAAC;AACJ,CAAC"}