tryassay 0.6.0 → 0.11.1

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 (109) hide show
  1. package/dist/api/pricing-enforcer.d.ts +45 -0
  2. package/dist/api/pricing-enforcer.js +144 -0
  3. package/dist/api/pricing-enforcer.js.map +1 -0
  4. package/dist/api/server.d.ts +28 -0
  5. package/dist/api/server.js +265 -0
  6. package/dist/api/server.js.map +1 -0
  7. package/dist/api/team-session.d.ts +59 -0
  8. package/dist/api/team-session.js +240 -0
  9. package/dist/api/team-session.js.map +1 -0
  10. package/dist/cli.js +123 -2
  11. package/dist/cli.js.map +1 -1
  12. package/dist/commands/api.d.ts +4 -0
  13. package/dist/commands/api.js +50 -0
  14. package/dist/commands/api.js.map +1 -0
  15. package/dist/commands/runtime.d.ts +61 -0
  16. package/dist/commands/runtime.js +554 -0
  17. package/dist/commands/runtime.js.map +1 -1
  18. package/dist/runtime/agent-spawner.d.ts +56 -0
  19. package/dist/runtime/agent-spawner.js +217 -0
  20. package/dist/runtime/agent-spawner.js.map +1 -0
  21. package/dist/runtime/agents/coordinator-agent.d.ts +20 -0
  22. package/dist/runtime/agents/coordinator-agent.js +182 -0
  23. package/dist/runtime/agents/coordinator-agent.js.map +1 -0
  24. package/dist/runtime/agents/ops-agent.d.ts +11 -0
  25. package/dist/runtime/agents/ops-agent.js +113 -0
  26. package/dist/runtime/agents/ops-agent.js.map +1 -0
  27. package/dist/runtime/agents/research-agent.d.ts +11 -0
  28. package/dist/runtime/agents/research-agent.js +114 -0
  29. package/dist/runtime/agents/research-agent.js.map +1 -0
  30. package/dist/runtime/agents/test-agent.d.ts +11 -0
  31. package/dist/runtime/agents/test-agent.js +114 -0
  32. package/dist/runtime/agents/test-agent.js.map +1 -0
  33. package/dist/runtime/audit-log.js +2 -2
  34. package/dist/runtime/audit-log.js.map +1 -1
  35. package/dist/runtime/capability-registry.d.ts +62 -0
  36. package/dist/runtime/capability-registry.js +191 -0
  37. package/dist/runtime/capability-registry.js.map +1 -0
  38. package/dist/runtime/collusion-detector.d.ts +35 -0
  39. package/dist/runtime/collusion-detector.js +97 -0
  40. package/dist/runtime/collusion-detector.js.map +1 -0
  41. package/dist/runtime/control-server.js +8 -4
  42. package/dist/runtime/control-server.js.map +1 -1
  43. package/dist/runtime/domain-coverage-analyzer.d.ts +24 -0
  44. package/dist/runtime/domain-coverage-analyzer.js +178 -0
  45. package/dist/runtime/domain-coverage-analyzer.js.map +1 -0
  46. package/dist/runtime/executor.js +27 -12
  47. package/dist/runtime/executor.js.map +1 -1
  48. package/dist/runtime/human-escalation.d.ts +41 -0
  49. package/dist/runtime/human-escalation.js +122 -0
  50. package/dist/runtime/human-escalation.js.map +1 -0
  51. package/dist/runtime/kill-switch.d.ts +51 -0
  52. package/dist/runtime/kill-switch.js +185 -0
  53. package/dist/runtime/kill-switch.js.map +1 -0
  54. package/dist/runtime/layer2-guardian.d.ts +81 -0
  55. package/dist/runtime/layer2-guardian.js +263 -0
  56. package/dist/runtime/layer2-guardian.js.map +1 -0
  57. package/dist/runtime/multi-agent-loop.d.ts +37 -0
  58. package/dist/runtime/multi-agent-loop.js +411 -0
  59. package/dist/runtime/multi-agent-loop.js.map +1 -0
  60. package/dist/runtime/prompt-safety-analyzer.d.ts +17 -0
  61. package/dist/runtime/prompt-safety-analyzer.js +230 -0
  62. package/dist/runtime/prompt-safety-analyzer.js.map +1 -0
  63. package/dist/runtime/rollback-manager.d.ts +50 -0
  64. package/dist/runtime/rollback-manager.js +157 -0
  65. package/dist/runtime/rollback-manager.js.map +1 -0
  66. package/dist/runtime/rule-canary-deployer.d.ts +69 -0
  67. package/dist/runtime/rule-canary-deployer.js +289 -0
  68. package/dist/runtime/rule-canary-deployer.js.map +1 -0
  69. package/dist/runtime/rule-conflict-detector.d.ts +48 -0
  70. package/dist/runtime/rule-conflict-detector.js +214 -0
  71. package/dist/runtime/rule-conflict-detector.js.map +1 -0
  72. package/dist/runtime/rule-meta-verifier.d.ts +18 -0
  73. package/dist/runtime/rule-meta-verifier.js +275 -0
  74. package/dist/runtime/rule-meta-verifier.js.map +1 -0
  75. package/dist/runtime/rule-proposal-manager.d.ts +95 -0
  76. package/dist/runtime/rule-proposal-manager.js +190 -0
  77. package/dist/runtime/rule-proposal-manager.js.map +1 -0
  78. package/dist/runtime/safety-enforcer.d.ts +35 -0
  79. package/dist/runtime/safety-enforcer.js +165 -0
  80. package/dist/runtime/safety-enforcer.js.map +1 -0
  81. package/dist/runtime/safety-status.d.ts +48 -0
  82. package/dist/runtime/safety-status.js +119 -0
  83. package/dist/runtime/safety-status.js.map +1 -0
  84. package/dist/runtime/shared-memory.d.ts +47 -0
  85. package/dist/runtime/shared-memory.js +151 -0
  86. package/dist/runtime/shared-memory.js.map +1 -0
  87. package/dist/runtime/specialized-agent.d.ts +5 -0
  88. package/dist/runtime/specialized-agent.js +37 -0
  89. package/dist/runtime/specialized-agent.js.map +1 -1
  90. package/dist/runtime/stall-detector.d.ts +13 -0
  91. package/dist/runtime/stall-detector.js +121 -0
  92. package/dist/runtime/stall-detector.js.map +1 -0
  93. package/dist/runtime/tool-approval.d.ts +51 -0
  94. package/dist/runtime/tool-approval.js +148 -0
  95. package/dist/runtime/tool-approval.js.map +1 -0
  96. package/dist/runtime/tool-sandbox.d.ts +43 -0
  97. package/dist/runtime/tool-sandbox.js +394 -0
  98. package/dist/runtime/tool-sandbox.js.map +1 -0
  99. package/dist/runtime/tool-verifier.d.ts +18 -0
  100. package/dist/runtime/tool-verifier.js +323 -0
  101. package/dist/runtime/tool-verifier.js.map +1 -0
  102. package/dist/runtime/trust-manager.d.ts +33 -3
  103. package/dist/runtime/trust-manager.js +128 -26
  104. package/dist/runtime/trust-manager.js.map +1 -1
  105. package/dist/runtime/types.d.ts +652 -0
  106. package/dist/runtime/verification-intensity.d.ts +34 -0
  107. package/dist/runtime/verification-intensity.js +104 -0
  108. package/dist/runtime/verification-intensity.js.map +1 -0
  109. package/package.json +1 -1
@@ -1 +1 @@
1
- {"version":3,"file":"trust-manager.js","sourceRoot":"","sources":["../../src/runtime/trust-manager.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,2DAA2D;AAC3D,+DAA+D;AAS/D,+DAA+D;AAE/D,MAAM,OAAO,YAAY;IACf,MAAM,GAA+B,IAAI,GAAG,EAAE,CAAC;IAC/C,MAAM,CAAe;IACrB,uBAAuB,CAAU;IACjC,gBAAgB,GAAwB,IAAI,GAAG,EAAE,CAAC,CAAC,uCAAuC;IAC1F,gBAAgB,GAAwB,IAAI,GAAG,EAAE,CAAC,CAAC,uCAAuC;IAElG,YAAY,MAAoB,EAAE,IAA4C;QAC5E,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,uBAAuB,GAAG,IAAI,EAAE,uBAAuB,IAAI,IAAI,CAAC;IACvE,CAAC;IAED,mDAAmD;IACnD,QAAQ,CAAC,KAAoB;QAC3B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,4DAA4D;IAC5D,QAAQ,CAAC,OAAe;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC;IAED,iCAAiC;IACjC,YAAY;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED;;;OAGG;IACH,WAAW,CACT,OAAe,EACf,MAAkC;QAElC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QAEhF,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC;QAClC,IAAI,QAAQ,GAAG,QAAQ,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,CAAC;QAEpB,6BAA6B;QAC7B,IAAI,MAAM,CAAC,WAAW,CAAC,eAAe,GAAG,CAAC,IAAI,IAAI,CAAC,uBAAuB,EAAE,CAAC;YAC3E,oDAAoD;YACpD,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;YACtC,OAAO,GAAG,QAAQ,KAAK,QAAQ,CAAC;YAEhC,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC;gBACjG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAE9C,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAChE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAE9C,wDAAwD;gBACxD,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;oBACnB,QAAQ,GAAG,WAAW,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,mBAAmB,CAAC;YAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,GAAG,CAAC,CAAC;YAC3C,MAAM,WAAW,GAAG,CAAC,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC,aAAa,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC;YAE9E,mCAAmC;YACnC,IAAI,QAAQ,KAAK,WAAW,IAAI,QAAQ,IAAI,EAAE,IAAI,WAAW,IAAI,GAAG,EAAE,CAAC;gBACrE,QAAQ,GAAG,aAAa,CAAC;YAC3B,CAAC;iBAAM,IAAI,QAAQ,KAAK,aAAa,IAAI,QAAQ,IAAI,EAAE,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;gBAC/E,QAAQ,GAAG,SAAS,CAAC;YACvB,CAAC;QACH,CAAC;QAED,8BAA8B;QAC9B,MAAM,cAAc,GAAG;YACrB,aAAa,EAAE,KAAK,CAAC,mBAAmB,CAAC,aAAa,GAAG,CAAC;YAC1D,QAAQ,EAAE,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC;YAC7C,eAAe,EAAE,KAAK,CAAC,mBAAmB,CAAC,eAAe,GAAG,MAAM,CAAC,WAAW,CAAC,eAAe;SAChG,CAAC;QAEF,MAAM,YAAY,GAAkB;YAClC,GAAG,KAAK;YACR,UAAU,EAAE,QAAQ;YACpB,mBAAmB,EAAE,cAAc;SACpC,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAEvC,0BAA0B;QAC1B,MAAM,UAAU,GACd,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,4BAA4B;YACrG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,iBAAiB,CAAC;QAE7F,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAC3C,CAAC;IAED,4CAA4C;IAC5C,eAAe,CAAC,OAAe;QAC7B,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;YAClD,SAAS,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,2DAA2D;IAEnD,WAAW,CAAC,OAAmB;QACrC,QAAQ,OAAO,EAAE,CAAC;YAChB,KAAK,SAAS,CAAC,CAAC,OAAO,aAAa,CAAC;YACrC,KAAK,aAAa,CAAC,CAAC,OAAO,WAAW,CAAC;YACvC,KAAK,WAAW,CAAC,CAAC,OAAO,WAAW,CAAC;YACrC,KAAK,QAAQ,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,iCAAiC;QACnE,CAAC;IACH,CAAC;IAEO,eAAe,CAAC,KAAoB,EAAE,MAAkC;QAC9E,MAAM,QAAQ,GAAG,KAAK,CAAC,mBAAmB,CAAC,aAAa,CAAC;QACzD,MAAM,OAAO,GAAG,KAAK,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QACnD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,OAAO,CAAC,OAAO,GAAG,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC;CACF"}
1
+ {"version":3,"file":"trust-manager.js","sourceRoot":"","sources":["../../src/runtime/trust-manager.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,oDAAoD;AACpD,wDAAwD;AACxD,8DAA8D;AAC9D,+DAA+D;AA8B/D,MAAM,kBAAkB,GAAoB;IAC1C,sBAAsB,EAAE,EAAE;IAC1B,sBAAsB,EAAE,GAAG;IAC3B,kBAAkB,EAAE,EAAE;IACtB,kBAAkB,EAAE,IAAI;IACxB,UAAU,EAAE,EAAE;IACd,gBAAgB,EAAE,GAAG;CACtB,CAAC;AAEF,8DAA8D;AAE9D,MAAM,OAAO,YAAY;IACf,MAAM,GAA+B,IAAI,GAAG,EAAE,CAAC;IAC/C,MAAM,CAAe;IACrB,uBAAuB,CAAU;IACjC,UAAU,CAAkB;IAC5B,gBAAgB,GAAwB,IAAI,GAAG,EAAE,CAAC;IAClD,gBAAgB,GAAwB,IAAI,GAAG,EAAE,CAAC;IAClD,OAAO,GAAoC,IAAI,GAAG,EAAE,CAAC;IACrD,WAAW,GAAsB,EAAE,CAAC;IAE5C,YACE,MAAoB,EACpB,IAGC;QAED,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,uBAAuB,GAAG,IAAI,EAAE,uBAAuB,IAAI,IAAI,CAAC;QACrE,IAAI,CAAC,UAAU,GAAG,EAAE,GAAG,kBAAkB,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,CAAC;IACnE,CAAC;IAED,mDAAmD;IACnD,QAAQ,CAAC,KAAoB;QAC3B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,4DAA4D;IAC5D,QAAQ,CAAC,OAAe;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC;IAED,iCAAiC;IACjC,YAAY;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,iDAAiD;IACjD,cAAc,CAAC,OAAe;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAEzC,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACjE,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;QACzE,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC;QAE5E,OAAO;YACL,OAAO;YACP,UAAU,EAAE,aAAa,CAAC,MAAM;YAChC,OAAO,EAAE,aAAa;YACtB,QAAQ,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACzE,mBAAmB,EAAE,aAAa;SACnC,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,cAAc;QACZ,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAED;;;;OAIG;IACH,WAAW,CACT,OAAe,EACf,MAAkC;QAElC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QAEjG,wBAAwB;QACxB,MAAM,WAAW,GAAqB;YACpC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,iBAAiB,EAAE,MAAM,CAAC,WAAW,CAAC,eAAe,GAAG,CAAC;YACzD,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAElC,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC;QAClC,IAAI,QAAQ,GAAG,QAAQ,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,QAAQ,GAAG,KAAK,CAAC;QAErB,yCAAyC;QACzC,IAAI,MAAM,CAAC,WAAW,CAAC,eAAe,GAAG,CAAC,IAAI,IAAI,CAAC,uBAAuB,EAAE,CAAC;YAC3E,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;YACtC,OAAO,GAAG,QAAQ,KAAK,QAAQ,CAAC;YAEhC,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC;gBACjG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC9C,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAChE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAE9C,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;oBACnB,QAAQ,GAAG,WAAW,CAAC;gBACzB,CAAC;gBAED,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,0BAA0B,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAC/D,IAAI,YAAY,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;gBACtD,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;gBAC7F,IAAI,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,gBAAgB,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;oBAC5E,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;oBACtC,OAAO,GAAG,QAAQ,KAAK,QAAQ,CAAC;oBAChC,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;wBAChE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;wBAC9C,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC;oBAC7E,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,uDAAuD;QACvD,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;YAC1C,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;YACpC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAC/D,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC;gBACtC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM;gBAC7E,CAAC,CAAC,CAAC,CAAC;YAEN,IACE,QAAQ,KAAK,WAAW;gBACxB,aAAa,IAAI,IAAI,CAAC,UAAU,CAAC,sBAAsB;gBACvD,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,sBAAsB,EAClD,CAAC;gBACD,QAAQ,GAAG,aAAa,CAAC;gBACzB,QAAQ,GAAG,IAAI,CAAC;gBAChB,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;YAChE,CAAC;iBAAM,IACL,QAAQ,KAAK,aAAa;gBAC1B,aAAa,IAAI,IAAI,CAAC,UAAU,CAAC,kBAAkB;gBACnD,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,kBAAkB,EAC9C,CAAC;gBACD,QAAQ,GAAG,SAAS,CAAC;gBACrB,QAAQ,GAAG,IAAI,CAAC;gBAChB,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,MAAM,cAAc,GAAG;YACrB,aAAa,EAAE,KAAK,CAAC,mBAAmB,CAAC,aAAa,GAAG,CAAC;YAC1D,QAAQ,EAAE,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC;YAC7C,eAAe,EAAE,KAAK,CAAC,mBAAmB,CAAC,eAAe,GAAG,MAAM,CAAC,WAAW,CAAC,eAAe;SAChG,CAAC;QAEF,MAAM,YAAY,GAAkB;YAClC,GAAG,KAAK;YACR,UAAU,EAAE,QAAQ;YACpB,mBAAmB,EAAE,cAAc;SACpC,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAEvC,0BAA0B;QAC1B,MAAM,UAAU,GACd,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,4BAA4B;YACrG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,iBAAiB,CAAC;QAE7F,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;IACrD,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,OAAe,EAAE,MAAiC;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK;YAAE,OAAO,WAAW,CAAC;QAE/B,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAE5C,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YACzD,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAChE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAE9C,MAAM,YAAY,GAAkB,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;YACvE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QACzC,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,4CAA4C;IAC5C,eAAe,CAAC,OAAe;QAC7B,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;YAClD,SAAS,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,2DAA2D;IAEnD,WAAW,CAAC,OAAmB;QACrC,QAAQ,OAAO,EAAE,CAAC;YAChB,KAAK,SAAS,CAAC,CAAC,OAAO,aAAa,CAAC;YACrC,KAAK,aAAa,CAAC,CAAC,OAAO,WAAW,CAAC;YACvC,KAAK,WAAW,CAAC,CAAC,OAAO,WAAW,CAAC;YACrC,KAAK,QAAQ,CAAC,CAAC,OAAO,QAAQ,CAAC;QACjC,CAAC;IACH,CAAC;IAEO,qBAAqB,CAAC,OAAe;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACzD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;QAClC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IACzE,CAAC;IAEO,gBAAgB,CACtB,KAAoB,EACpB,IAAgB,EAChB,EAAc,EACd,MAAiC;QAEjC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YACpB,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,SAAS,EAAE,KAAK,CAAC,IAAI;YACrB,aAAa,EAAE,IAAI;YACnB,QAAQ,EAAE,EAAE;YACZ,MAAM;YACN,QAAQ,EAAE,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9C,UAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM;YACrD,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC,CAAC;IACL,CAAC;CACF"}
@@ -605,3 +605,655 @@ export interface AgentRoleConfig {
605
605
  capabilities: AgentCapability[];
606
606
  initialTrustLevel: TrustLevel;
607
607
  }
608
+ export interface TaskDecomposition {
609
+ readonly originalGoal: string;
610
+ readonly subtasks: readonly Subtask[];
611
+ readonly dependencies: readonly TaskEdge[];
612
+ readonly gapAnalysis: {
613
+ readonly coveredRequirements: readonly string[];
614
+ readonly uncoveredRequirements: readonly string[];
615
+ readonly redundantTasks: readonly string[];
616
+ };
617
+ }
618
+ export interface Subtask {
619
+ readonly id: string;
620
+ readonly goal: string;
621
+ readonly assignedTo: AgentSpecialization;
622
+ readonly estimatedComplexity: 'trivial' | 'small' | 'medium' | 'large';
623
+ readonly requiredCapabilities: readonly string[];
624
+ readonly contextRefs: readonly ContextRef[];
625
+ }
626
+ export interface TestQualityClaim {
627
+ readonly testFile: string;
628
+ readonly testName: string;
629
+ readonly claimedBehavior: string;
630
+ readonly actualAssertions: readonly string[];
631
+ readonly mockUsage: {
632
+ readonly totalMocks: number;
633
+ readonly realInteractions: number;
634
+ };
635
+ readonly verdict: 'meaningful' | 'trivial' | 'deceptive';
636
+ }
637
+ export type MemoryEntryType = 'fact' | 'decision' | 'convention' | 'finding' | 'requirement' | 'assumption';
638
+ export interface MemoryEntry {
639
+ readonly id: string;
640
+ readonly type: MemoryEntryType;
641
+ readonly content: string;
642
+ readonly author: string;
643
+ readonly tags: readonly string[];
644
+ readonly verificationStatus: BoundaryVerificationStatus;
645
+ readonly claims: readonly BoundaryClaim[];
646
+ readonly confidence: number;
647
+ readonly createdAt: string;
648
+ readonly supersedes?: string;
649
+ }
650
+ export interface MemoryFilter {
651
+ readonly type?: MemoryEntryType;
652
+ readonly tags?: readonly string[];
653
+ readonly minConfidence?: number;
654
+ readonly verificationStatus?: BoundaryVerificationStatus;
655
+ readonly author?: string;
656
+ readonly since?: string;
657
+ }
658
+ export interface MemoryConflict {
659
+ readonly id: string;
660
+ readonly entries: readonly [MemoryEntry, MemoryEntry];
661
+ readonly detectedBy: 'assay' | 'agent' | 'coordinator';
662
+ readonly resolution?: ConflictResolution;
663
+ readonly status: 'open' | 'resolved' | 'escalated';
664
+ }
665
+ export type ConflictResolution = {
666
+ readonly strategy: 'evidence_wins';
667
+ readonly winner: string;
668
+ readonly reason: string;
669
+ readonly evidence: string;
670
+ } | {
671
+ readonly strategy: 'formal_wins';
672
+ readonly winner: string;
673
+ readonly formalVerdict: string;
674
+ } | {
675
+ readonly strategy: 'human_decided';
676
+ readonly winner: string;
677
+ readonly humanNote: string;
678
+ } | {
679
+ readonly strategy: 'both_wrong';
680
+ readonly supersededBy: string;
681
+ };
682
+ export interface TeamConfig {
683
+ readonly goal: string;
684
+ readonly agents: readonly AgentSpecialization[];
685
+ readonly safetyPolicy: SafetyPolicy;
686
+ readonly maxConcurrentTasks: number;
687
+ readonly stallTimeoutMs: number;
688
+ readonly maxTotalAttempts: number;
689
+ readonly models?: Partial<Record<AgentSpecialization, string>>;
690
+ }
691
+ export interface TeamResult {
692
+ readonly goalId: string;
693
+ readonly status: 'completed' | 'failed' | 'stalled' | 'escalated';
694
+ readonly taskGraph: TaskGraph;
695
+ readonly artifacts: readonly VerifiedHandoff[];
696
+ readonly sharedMemorySnapshot: readonly MemoryEntry[];
697
+ readonly auditTrail: readonly AuditEntry[];
698
+ readonly totalDurationMs: number;
699
+ readonly stalls: readonly StallReport[];
700
+ }
701
+ export interface TrustWindow {
702
+ readonly agentId: string;
703
+ readonly windowSize: number;
704
+ readonly results: readonly TrustWindowEntry[];
705
+ readonly passRate: number;
706
+ readonly formalOverrideCount: number;
707
+ }
708
+ export interface TrustWindowEntry {
709
+ readonly boundaryId: string;
710
+ readonly verdict: 'PASS' | 'FAIL' | 'PARTIAL';
711
+ readonly hadFormalOverride: boolean;
712
+ readonly timestamp: string;
713
+ }
714
+ export interface TrustTransition {
715
+ readonly agentId: string;
716
+ readonly agentName: string;
717
+ readonly previousLevel: TrustLevel;
718
+ readonly newLevel: TrustLevel;
719
+ readonly reason: 'promotion' | 'demotion_formal_override' | 'demotion_low_pass_rate' | 'demotion_collusion';
720
+ readonly passRate: number;
721
+ readonly windowSize: number;
722
+ readonly timestamp: string;
723
+ }
724
+ export interface CollusionEvent {
725
+ readonly id: string;
726
+ readonly agentA: string;
727
+ readonly agentB: string;
728
+ readonly agreedVerdict: 'PASS' | 'FAIL' | 'PARTIAL' | 'N/A';
729
+ readonly formalVerdict: 'PASS' | 'FAIL';
730
+ readonly claimId: string;
731
+ readonly claimText: string;
732
+ readonly severity: 'critical' | 'high' | 'medium' | 'low';
733
+ readonly timestamp: string;
734
+ }
735
+ export interface HumanEscalation {
736
+ readonly id: string;
737
+ readonly trigger: HumanEscalationTrigger;
738
+ readonly context: {
739
+ readonly taskGraph: TaskGraph;
740
+ readonly relevantMessages: readonly AgentMessage[];
741
+ readonly conflictingClaims: readonly MemoryConflict[];
742
+ readonly recentAudit: readonly AuditEntry[];
743
+ readonly trustSnapshots: readonly TrustWindow[];
744
+ readonly collusionEvents: readonly CollusionEvent[];
745
+ };
746
+ readonly suggestedActions: readonly string[];
747
+ readonly status: 'pending' | 'resolved';
748
+ readonly humanResponse?: {
749
+ readonly action: string;
750
+ readonly reasoning: string;
751
+ readonly timestamp: string;
752
+ };
753
+ }
754
+ export type HumanEscalationTrigger = {
755
+ readonly type: 'safety_threshold';
756
+ readonly rule: string;
757
+ readonly value: number;
758
+ readonly max: number;
759
+ } | {
760
+ readonly type: 'collusion_detected';
761
+ readonly event: CollusionEvent;
762
+ } | {
763
+ readonly type: 'stall_unresolvable';
764
+ readonly stalls: readonly StallReport[];
765
+ } | {
766
+ readonly type: 'trust_collapse';
767
+ readonly agentId: string;
768
+ readonly demotions: number;
769
+ } | {
770
+ readonly type: 'agent_stuck';
771
+ readonly taskId: string;
772
+ readonly attempts: number;
773
+ };
774
+ export interface ModelDiversityConfig {
775
+ readonly enabled: boolean;
776
+ readonly providerMap: Partial<Record<AgentSpecialization, string>>;
777
+ readonly fallbackModel: string;
778
+ }
779
+ export interface SafetyCircuitBreaker {
780
+ readonly id: string;
781
+ readonly rule: string;
782
+ readonly currentValue: number;
783
+ readonly threshold: number;
784
+ readonly tripped: boolean;
785
+ readonly trippedAt?: string;
786
+ readonly action: 'halt' | 'escalate' | 'demote';
787
+ }
788
+ export type PricingTier = 'team' | 'pro' | 'platform';
789
+ export interface PricingTierConfig {
790
+ readonly tier: PricingTier;
791
+ readonly name: string;
792
+ readonly maxAgents: number;
793
+ readonly maxVerificationsPerMonth: number;
794
+ readonly hasFormalVerifier: boolean;
795
+ readonly hasHumanEscalation: boolean;
796
+ readonly overageCostCents: number;
797
+ readonly allowedAgentTypes: readonly AgentSpecialization[];
798
+ }
799
+ export interface ApiKeyInfo {
800
+ readonly key: string;
801
+ readonly tier: PricingTier;
802
+ readonly organizationId: string;
803
+ readonly createdAt: string;
804
+ readonly verificationsThisMonth: number;
805
+ readonly monthlyLimit: number;
806
+ }
807
+ export interface TeamSession {
808
+ readonly id: string;
809
+ readonly apiKey: string;
810
+ readonly goal: string;
811
+ readonly status: 'running' | 'completed' | 'failed' | 'halted';
812
+ readonly agents: readonly AgentSpecialization[];
813
+ readonly createdAt: string;
814
+ readonly completedAt?: string;
815
+ readonly result?: TeamResult;
816
+ }
817
+ export interface TeamCreateRequest {
818
+ readonly goal: string;
819
+ readonly agents?: readonly AgentSpecialization[];
820
+ readonly models?: Partial<Record<AgentSpecialization, string>>;
821
+ readonly maxConcurrentTasks?: number;
822
+ readonly stallTimeoutMs?: number;
823
+ readonly codebaseContext?: string;
824
+ }
825
+ export interface TeamCreateResponse {
826
+ readonly sessionId: string;
827
+ readonly streamUrl: string;
828
+ readonly statusUrl: string;
829
+ readonly agents: readonly AgentSpecialization[];
830
+ readonly createdAt: string;
831
+ }
832
+ export interface TeamStatusResponse {
833
+ readonly sessionId: string;
834
+ readonly status: TeamSession['status'];
835
+ readonly taskGraph: TaskGraph | null;
836
+ readonly agents: readonly {
837
+ readonly name: string;
838
+ readonly specialization: AgentSpecialization;
839
+ readonly trustLevel: TrustLevel;
840
+ readonly passRate: number;
841
+ }[];
842
+ readonly verificationCount: number;
843
+ readonly auditEntryCount: number;
844
+ readonly durationMs: number;
845
+ readonly stalls: readonly StallReport[];
846
+ }
847
+ export interface TeamAuditResponse {
848
+ readonly sessionId: string;
849
+ readonly entries: readonly AuditEntry[];
850
+ readonly total: number;
851
+ readonly offset: number;
852
+ readonly limit: number;
853
+ }
854
+ export interface SSEEvent {
855
+ readonly event: 'audit' | 'task_update' | 'verification' | 'trust_change' | 'escalation' | 'complete' | 'error';
856
+ readonly data: Record<string, unknown>;
857
+ readonly id?: string;
858
+ readonly timestamp: string;
859
+ }
860
+ export type ToolType = 'mcp_server' | 'cli_wrapper' | 'api_client' | 'data_transform' | 'verification_helper';
861
+ export interface ToolDefinition {
862
+ readonly id: string;
863
+ readonly name: string;
864
+ readonly type: ToolType;
865
+ readonly version: string;
866
+ readonly description: string;
867
+ readonly interface: ToolInterface;
868
+ readonly constraints: ToolConstraints;
869
+ readonly source: ToolSource;
870
+ readonly created_by: string;
871
+ readonly created_at: string;
872
+ readonly status: ToolStatus;
873
+ }
874
+ export type ToolStatus = 'proposed' | 'verified' | 'approved' | 'active' | 'deprecated' | 'revoked';
875
+ export interface ToolInterface {
876
+ readonly inputs: readonly ToolParameter[];
877
+ readonly outputs: readonly ToolParameter[];
878
+ readonly errors: readonly ToolError[];
879
+ readonly idempotent: boolean;
880
+ readonly side_effects: readonly string[];
881
+ }
882
+ export interface ToolParameter {
883
+ readonly name: string;
884
+ readonly type: string;
885
+ readonly required: boolean;
886
+ readonly description: string;
887
+ readonly constraints?: readonly string[];
888
+ }
889
+ export interface ToolError {
890
+ readonly code: string;
891
+ readonly description: string;
892
+ readonly recoverable: boolean;
893
+ }
894
+ export interface ToolConstraints {
895
+ readonly timeout_ms: number;
896
+ readonly max_memory_mb: number;
897
+ readonly network_access: NetworkAccess;
898
+ readonly filesystem_access: FilesystemAccess;
899
+ readonly max_invocations_per_minute: number;
900
+ }
901
+ export interface NetworkAccess {
902
+ readonly allowed: boolean;
903
+ readonly allowlisted_domains: readonly string[];
904
+ }
905
+ export interface FilesystemAccess {
906
+ readonly read_paths: readonly string[];
907
+ readonly write_paths: readonly string[];
908
+ }
909
+ export interface ToolSource {
910
+ readonly language: string;
911
+ readonly entry_point: string;
912
+ readonly source_hash: string;
913
+ readonly dependencies: readonly ToolDependency[];
914
+ }
915
+ export interface ToolDependency {
916
+ readonly name: string;
917
+ readonly version: string;
918
+ readonly source: 'npm' | 'pypi' | 'system' | 'vendored';
919
+ readonly hash: string;
920
+ }
921
+ export type ToolRiskLevel = 'none' | 'low' | 'medium' | 'high' | 'critical';
922
+ export interface ToolVerification {
923
+ readonly tool_id: string;
924
+ readonly verification_id: string;
925
+ readonly timestamp: string;
926
+ readonly code_verification: {
927
+ readonly claims_extracted: number;
928
+ readonly claims_passed: number;
929
+ readonly claims_failed: number;
930
+ readonly critical_failures: readonly ToolVerificationFailure[];
931
+ };
932
+ readonly security: {
933
+ readonly ssrf_risk: ToolRiskLevel;
934
+ readonly injection_risk: ToolRiskLevel;
935
+ readonly privilege_escalation_risk: ToolRiskLevel;
936
+ readonly data_exfiltration_risk: ToolRiskLevel;
937
+ readonly findings: readonly SecurityFinding[];
938
+ };
939
+ readonly sandbox_tests: {
940
+ readonly happy_path: ToolTestResult;
941
+ readonly malformed_input: ToolTestResult;
942
+ readonly timeout_behavior: ToolTestResult;
943
+ readonly constraint_compliance: ToolTestResult;
944
+ };
945
+ readonly verdict: 'approve' | 'reject' | 'needs_review';
946
+ readonly confidence: number;
947
+ readonly reasoning: string;
948
+ readonly blockers: readonly string[];
949
+ }
950
+ export interface ToolVerificationFailure {
951
+ readonly claim: string;
952
+ readonly verdict: 'FAIL';
953
+ readonly severity: 'critical' | 'high' | 'medium' | 'low';
954
+ readonly evidence: string;
955
+ }
956
+ export interface SecurityFinding {
957
+ readonly type: string;
958
+ readonly severity: ToolRiskLevel;
959
+ readonly location: string;
960
+ readonly description: string;
961
+ readonly recommendation: string;
962
+ }
963
+ export interface ToolTestResult {
964
+ readonly status: 'pass' | 'fail' | 'error' | 'timeout';
965
+ readonly input_summary: string;
966
+ readonly output_summary: string;
967
+ readonly duration_ms: number;
968
+ readonly error?: string;
969
+ }
970
+ export type ModificationType = 'tool' | 'agent' | 'rule' | 'prompt' | 'memory';
971
+ export interface ModificationProposal {
972
+ readonly id: string;
973
+ readonly type: ModificationType;
974
+ readonly timestamp: string;
975
+ readonly title: string;
976
+ readonly description: string;
977
+ readonly payload: unknown;
978
+ readonly justification: {
979
+ readonly capability_gap: string;
980
+ readonly evidence: readonly string[];
981
+ readonly expected_impact: string;
982
+ readonly risk_assessment: string;
983
+ };
984
+ readonly safety: {
985
+ readonly modifies_layer2: false;
986
+ readonly modifies_approval_framework: false;
987
+ readonly trust_level_required: TrustLevel;
988
+ readonly rollback_plan: string;
989
+ };
990
+ readonly proposed_by: string;
991
+ readonly status: ProposalStatus;
992
+ readonly verification_id?: string;
993
+ }
994
+ export type ProposalStatus = 'proposed' | 'verifying' | 'verified' | 'pending_approval' | 'approved' | 'deployed' | 'rejected' | 'rolled_back';
995
+ export interface ModificationApproval {
996
+ readonly proposal_id: string;
997
+ readonly decision: 'approved' | 'rejected' | 'deferred';
998
+ readonly decided_by: string;
999
+ readonly decided_at: string;
1000
+ readonly reasoning: string;
1001
+ readonly conditions?: readonly string[];
1002
+ readonly rollback_trigger?: string;
1003
+ }
1004
+ export interface CapabilityRegistry {
1005
+ readonly version: string;
1006
+ readonly last_modified: string;
1007
+ readonly modified_by: string;
1008
+ readonly tools: {
1009
+ readonly active: readonly ToolDefinition[];
1010
+ readonly deprecated: readonly ToolDefinition[];
1011
+ };
1012
+ readonly manifest_hash: string;
1013
+ readonly layer2_hash: string;
1014
+ readonly modifications: readonly ModificationLogEntry[];
1015
+ }
1016
+ export interface ModificationLogEntry {
1017
+ readonly timestamp: string;
1018
+ readonly proposal_id: string;
1019
+ readonly type: ModificationType;
1020
+ readonly action: 'added' | 'modified' | 'deprecated' | 'revoked' | 'rolled_back';
1021
+ readonly target_id: string;
1022
+ readonly approved_by: string;
1023
+ readonly registry_version_before: string;
1024
+ readonly registry_version_after: string;
1025
+ }
1026
+ export type Phase4AuditEventType = AuditEventType | 'tool_proposed' | 'tool_verified' | 'tool_approved' | 'tool_rejected' | 'tool_activated' | 'tool_deprecated' | 'tool_rollback' | 'sandbox_execution' | 'registry_updated';
1027
+ export type SpawnedAgentTrustLevel = 'sandboxed' | 'standard' | 'elevated' | 'coordinator';
1028
+ export interface AgentDefinition {
1029
+ readonly id: string;
1030
+ readonly name: string;
1031
+ readonly version: string;
1032
+ readonly domain: AgentDomain;
1033
+ readonly system_prompt: string;
1034
+ readonly tools: readonly string[];
1035
+ readonly trust_level: SpawnedAgentTrustLevel;
1036
+ readonly verification_rules: readonly string[];
1037
+ readonly constraints: SpawnedAgentConstraints;
1038
+ readonly created_by: string;
1039
+ readonly created_at: string;
1040
+ readonly approved_by: string;
1041
+ readonly approved_at: string;
1042
+ readonly status: AgentDefinitionStatus;
1043
+ }
1044
+ export type AgentDefinitionStatus = 'proposed' | 'verified' | 'approved' | 'active' | 'suspended' | 'retired';
1045
+ export interface AgentDomain {
1046
+ readonly description: string;
1047
+ readonly languages: readonly string[];
1048
+ readonly frameworks: readonly string[];
1049
+ readonly claim_categories: readonly string[];
1050
+ }
1051
+ export interface SpawnedAgentConstraints {
1052
+ readonly max_concurrent_tasks: number;
1053
+ readonly max_tokens_per_task: number;
1054
+ readonly max_tools_per_task: number;
1055
+ readonly can_spawn_agents: boolean;
1056
+ readonly max_spawned_trust: SpawnedAgentTrustLevel;
1057
+ readonly requires_approval_for: readonly string[];
1058
+ }
1059
+ export interface AgentVerification {
1060
+ readonly agent_id: string;
1061
+ readonly verification_id: string;
1062
+ readonly timestamp: string;
1063
+ readonly domain_coverage: {
1064
+ readonly claimed_scope: string;
1065
+ readonly verified_scope: string;
1066
+ readonly gaps: readonly string[];
1067
+ readonly overreach: readonly string[];
1068
+ };
1069
+ readonly prompt_safety: {
1070
+ readonly contains_verification_bypass: boolean;
1071
+ readonly contains_privilege_escalation: boolean;
1072
+ readonly contains_self_reference: boolean;
1073
+ readonly findings: readonly PromptSafetyFinding[];
1074
+ };
1075
+ readonly tool_access: {
1076
+ readonly justified: readonly string[];
1077
+ readonly questionable: readonly string[];
1078
+ readonly missing: readonly string[];
1079
+ };
1080
+ readonly trust_inheritance: {
1081
+ readonly parent_trust: SpawnedAgentTrustLevel | 'human';
1082
+ readonly requested_trust: SpawnedAgentTrustLevel;
1083
+ readonly valid: boolean;
1084
+ readonly reason: string;
1085
+ };
1086
+ readonly verdict: 'approve' | 'reject' | 'needs_review';
1087
+ readonly blockers: readonly string[];
1088
+ }
1089
+ export interface PromptSafetyFinding {
1090
+ readonly type: PromptSafetyFindingType;
1091
+ readonly severity: 'critical' | 'high' | 'medium' | 'low';
1092
+ readonly location: string;
1093
+ readonly description: string;
1094
+ }
1095
+ export type PromptSafetyFindingType = 'verification_bypass' | 'privilege_escalation' | 'self_reference' | 'unbounded_action' | 'missing_constraint';
1096
+ export type Phase4M2AuditEventType = Phase4AuditEventType | 'agent_proposed' | 'agent_verified' | 'agent_approved' | 'agent_rejected' | 'agent_spawned' | 'agent_suspended' | 'agent_retired';
1097
+ export type RuleSubstrate = 'formal_pattern' | 'formal_ast' | 'formal_type' | 'formal_taint' | 'llm_semantic' | 'llm_behavioral' | 'composite';
1098
+ export interface VerificationRule {
1099
+ readonly id: string;
1100
+ readonly name: string;
1101
+ readonly version: string;
1102
+ readonly substrate: RuleSubstrate;
1103
+ readonly confidence: number;
1104
+ readonly target: {
1105
+ readonly claim_categories: readonly string[];
1106
+ readonly languages: readonly string[];
1107
+ readonly frameworks: readonly string[];
1108
+ };
1109
+ readonly check: FormalCheck | LLMCheck | CompositeCheck;
1110
+ readonly test_cases: readonly RuleTestCase[];
1111
+ readonly created_by: string;
1112
+ readonly created_at: string;
1113
+ readonly approved_by: string;
1114
+ readonly approved_at: string;
1115
+ readonly status: RuleStatus;
1116
+ }
1117
+ export type RuleStatus = 'proposed' | 'meta_verified' | 'approved' | 'shadow' | 'canary' | 'active' | 'deprecated';
1118
+ export interface FormalCheck {
1119
+ readonly type: 'formal';
1120
+ readonly patterns: readonly FormalPattern[];
1121
+ readonly logic: 'all_match' | 'any_match' | 'none_match' | 'custom';
1122
+ readonly custom_logic?: string;
1123
+ }
1124
+ export interface FormalPattern {
1125
+ readonly description: string;
1126
+ readonly pattern: string;
1127
+ readonly pattern_type: 'regex' | 'tree_sitter' | 'semgrep';
1128
+ readonly target: 'source' | 'ast' | 'dataflow';
1129
+ }
1130
+ export interface LLMCheck {
1131
+ readonly type: 'llm';
1132
+ readonly prompt_template: string;
1133
+ readonly expected_output_format: string;
1134
+ readonly temperature: number;
1135
+ readonly max_tokens: number;
1136
+ }
1137
+ export interface CompositeCheck {
1138
+ readonly type: 'composite';
1139
+ readonly formal_component: FormalCheck;
1140
+ readonly llm_component: LLMCheck;
1141
+ readonly merge_strategy: 'formal_gate' | 'formal_override' | 'weighted';
1142
+ }
1143
+ export interface RuleTestCase {
1144
+ readonly id: string;
1145
+ readonly description: string;
1146
+ readonly input_code: string;
1147
+ readonly input_language: string;
1148
+ readonly expected_verdict: 'PASS' | 'FAIL';
1149
+ readonly expected_evidence_contains?: string;
1150
+ }
1151
+ export interface RuleMetaVerification {
1152
+ readonly rule_id: string;
1153
+ readonly verification_id: string;
1154
+ readonly timestamp: string;
1155
+ readonly test_results: readonly RuleTestResult[];
1156
+ readonly consistency: {
1157
+ readonly runs: number;
1158
+ readonly consistent: boolean;
1159
+ readonly variance: number;
1160
+ };
1161
+ readonly conflict_check: {
1162
+ readonly conflicting_rules: readonly string[];
1163
+ readonly resolution: string;
1164
+ };
1165
+ readonly verdict: 'approve' | 'reject' | 'needs_review';
1166
+ readonly blockers: readonly string[];
1167
+ }
1168
+ export interface RuleTestResult {
1169
+ readonly case_id: string;
1170
+ readonly actual_verdict: 'PASS' | 'FAIL';
1171
+ readonly expected_verdict: 'PASS' | 'FAIL';
1172
+ readonly match: boolean;
1173
+ readonly evidence: string;
1174
+ }
1175
+ export type CanaryStage = 'shadow' | 'canary_5' | 'canary_25' | 'full_rollout';
1176
+ export interface CanaryDeployment {
1177
+ readonly rule_id: string;
1178
+ readonly stage: CanaryStage;
1179
+ readonly started_at: string;
1180
+ readonly promoted_at?: string;
1181
+ readonly stage_duration_hours: number;
1182
+ readonly metrics: CanaryMetrics;
1183
+ readonly exit_criteria: CanaryExitCriteria;
1184
+ }
1185
+ export interface CanaryMetrics {
1186
+ readonly total_evaluations: number;
1187
+ readonly agreements_with_baseline: number;
1188
+ readonly disagreements: number;
1189
+ readonly error_rate: number;
1190
+ readonly false_positive_rate: number;
1191
+ readonly false_negative_rate: number;
1192
+ readonly avg_latency_ms: number;
1193
+ }
1194
+ export interface CanaryExitCriteria {
1195
+ readonly min_evaluations: number;
1196
+ readonly max_error_rate: number;
1197
+ readonly max_disagreement_rate: number;
1198
+ readonly min_duration_hours: number;
1199
+ }
1200
+ export type Phase4M3AuditEventType = Phase4M2AuditEventType | 'rule_proposed' | 'rule_meta_verified' | 'rule_approved' | 'rule_rejected' | 'rule_shadow_started' | 'rule_canary_started' | 'rule_promoted' | 'rule_deprecated' | 'rule_conflict_detected' | 'rule_rollback';
1201
+ export type Layer2Component = 'formal_verifier' | 'verification_protocol' | 'approval_framework' | 'immutability_constraint' | 'kill_switch';
1202
+ export interface Layer2Manifest {
1203
+ readonly version: string;
1204
+ readonly deployed_at: string;
1205
+ readonly deployed_by: string;
1206
+ readonly components: readonly Layer2ComponentEntry[];
1207
+ readonly manifest_hash: string;
1208
+ readonly signing_key_id: string;
1209
+ }
1210
+ export interface Layer2ComponentEntry {
1211
+ readonly component: Layer2Component;
1212
+ readonly file_path: string;
1213
+ readonly hash: string;
1214
+ readonly size_bytes: number;
1215
+ readonly last_verified: string;
1216
+ }
1217
+ export interface IntegrityCheckResult {
1218
+ readonly timestamp: string;
1219
+ readonly manifest_version: string;
1220
+ readonly components_checked: number;
1221
+ readonly components_valid: number;
1222
+ readonly components_invalid: readonly IntegrityViolation[];
1223
+ readonly overall: 'valid' | 'violation';
1224
+ }
1225
+ export interface IntegrityViolation {
1226
+ readonly component: Layer2Component;
1227
+ readonly file_path: string;
1228
+ readonly expected_hash: string;
1229
+ readonly actual_hash: string;
1230
+ readonly severity: 'critical';
1231
+ readonly action: 'halt';
1232
+ }
1233
+ export type KillSwitchLevel = 'layer2' | 'human' | 'coordinator' | 'agent';
1234
+ export type KillSwitchAction = 'halt_system' | 'suspend_agent' | 'suspend_tool' | 'suspend_rule' | 'reassign_task' | 'halt_task';
1235
+ export interface KillSwitchEvent {
1236
+ readonly id: string;
1237
+ readonly level: KillSwitchLevel;
1238
+ readonly action: KillSwitchAction;
1239
+ readonly target: string;
1240
+ readonly triggered_by: string;
1241
+ readonly reason: string;
1242
+ readonly timestamp: string;
1243
+ readonly auto_restart: boolean;
1244
+ readonly requires_redeployment: boolean;
1245
+ }
1246
+ export type RollbackTrigger = 'automatic' | 'human' | 'layer2' | 'coordinator';
1247
+ export interface RollbackEvent {
1248
+ readonly id: string;
1249
+ readonly trigger: RollbackTrigger;
1250
+ readonly triggered_by: string;
1251
+ readonly target_type: 'tool' | 'agent' | 'rule' | 'registry';
1252
+ readonly target_id: string;
1253
+ readonly from_version: string;
1254
+ readonly to_version: string;
1255
+ readonly timestamp: string;
1256
+ readonly verification_after_rollback: 'pass' | 'fail' | 'pending';
1257
+ readonly reason: string;
1258
+ }
1259
+ export type Phase4M4AuditEventType = Phase4M3AuditEventType | 'integrity_check_passed' | 'integrity_violation' | 'kill_switch_activated' | 'kill_switch_released' | 'rollback_triggered' | 'rollback_completed' | 'layer2_startup_verified' | 'layer2_deployment' | 'modification_proposal_blocked';