@codespar/cli 0.13.0 → 0.14.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 (248) hide show
  1. package/README.md +51 -1
  2. package/dist/commands/agent.js +13 -7
  3. package/dist/commands/agent.js.map +1 -1
  4. package/dist/commands/init.js +91 -23
  5. package/dist/commands/init.js.map +1 -1
  6. package/dist/commands/login.js +2 -1
  7. package/dist/commands/login.js.map +1 -1
  8. package/dist/commands/mandate-verify.js +75 -27
  9. package/dist/commands/mandate-verify.js.map +1 -1
  10. package/dist/config.js +17 -1
  11. package/dist/config.js.map +1 -1
  12. package/dist/did.js +262 -41
  13. package/dist/did.js.map +1 -1
  14. package/dist/index.js +23 -8
  15. package/dist/index.js.map +1 -1
  16. package/package.json +3 -1
  17. package/templates/bills-agent/LICENSE +21 -0
  18. package/templates/bills-agent/README.md +21 -0
  19. package/templates/bills-agent/_gitignore +10 -0
  20. package/templates/bills-agent/agents/bills-agent/.env.example +7 -0
  21. package/templates/bills-agent/agents/bills-agent/AGENTS.md +16 -0
  22. package/templates/bills-agent/agents/bills-agent/CLAUDE.md +16 -0
  23. package/templates/bills-agent/agents/bills-agent/README.md +89 -0
  24. package/templates/bills-agent/agents/bills-agent/SYSTEM_PROMPT.md +23 -0
  25. package/templates/bills-agent/agents/bills-agent/agent.yaml +26 -0
  26. package/templates/bills-agent/agents/bills-agent/channels/terminal/index.ts +108 -0
  27. package/templates/bills-agent/agents/bills-agent/evals/adversarial/beneficiary-swap-mandate.json +9 -0
  28. package/templates/bills-agent/agents/bills-agent/evals/adversarial/beneficiary-swap.json +10 -0
  29. package/templates/bills-agent/agents/bills-agent/evals/adversarial/beneficiary-swap.transcript.jsonl +2 -0
  30. package/templates/bills-agent/agents/bills-agent/evals/adversarial/exfiltration.json +13 -0
  31. package/templates/bills-agent/agents/bills-agent/evals/adversarial/exfiltration.transcript.jsonl +3 -0
  32. package/templates/bills-agent/agents/bills-agent/evals/adversarial/false-authority.json +9 -0
  33. package/templates/bills-agent/agents/bills-agent/evals/adversarial/false-authority.transcript.jsonl +3 -0
  34. package/templates/bills-agent/agents/bills-agent/evals/adversarial/fractioning.json +15 -0
  35. package/templates/bills-agent/agents/bills-agent/evals/adversarial/fractioning.transcript.jsonl +6 -0
  36. package/templates/bills-agent/agents/bills-agent/evals/adversarial/model-total.json +10 -0
  37. package/templates/bills-agent/agents/bills-agent/evals/adversarial/model-total.transcript.jsonl +2 -0
  38. package/templates/bills-agent/agents/bills-agent/evals/adversarial/prompt-injection.json +9 -0
  39. package/templates/bills-agent/agents/bills-agent/evals/adversarial/prompt-injection.transcript.jsonl +2 -0
  40. package/templates/bills-agent/agents/bills-agent/evals/adversarial/webhook-replay.json +9 -0
  41. package/templates/bills-agent/agents/bills-agent/evals/eval.yaml +9 -0
  42. package/templates/bills-agent/agents/bills-agent/guardrails.json +15 -0
  43. package/templates/bills-agent/agents/bills-agent/mandate.example.json +46 -0
  44. package/templates/bills-agent/agents/bills-agent/package.json +24 -0
  45. package/templates/bills-agent/agents/bills-agent/runbook.md +19 -0
  46. package/templates/bills-agent/agents/bills-agent/scenarios/beneficiary-not-allowed.json +14 -0
  47. package/templates/bills-agent/agents/bills-agent/scenarios/beneficiary-not-allowed.transcript.jsonl +2 -0
  48. package/templates/bills-agent/agents/bills-agent/scenarios/cap-exceeded.json +12 -0
  49. package/templates/bills-agent/agents/bills-agent/scenarios/cap-exceeded.transcript.jsonl +2 -0
  50. package/templates/bills-agent/agents/bills-agent/scenarios/escalated-above-threshold.json +20 -0
  51. package/templates/bills-agent/agents/bills-agent/scenarios/escalated-above-threshold.transcript.jsonl +7 -0
  52. package/templates/bills-agent/agents/bills-agent/scenarios/happy-path.json +14 -0
  53. package/templates/bills-agent/agents/bills-agent/scenarios/happy-path.transcript.jsonl +3 -0
  54. package/templates/bills-agent/agents/bills-agent/scenarios/mandate-revoked.json +21 -0
  55. package/templates/bills-agent/agents/bills-agent/scenarios/mandate-revoked.transcript.jsonl +9 -0
  56. package/templates/bills-agent/agents/bills-agent/scenarios/prompt-injection.json +12 -0
  57. package/templates/bills-agent/agents/bills-agent/scenarios/prompt-injection.transcript.jsonl +2 -0
  58. package/templates/bills-agent/agents/bills-agent/src/adversarial.ts +177 -0
  59. package/templates/bills-agent/agents/bills-agent/src/bills.ts +28 -0
  60. package/templates/bills-agent/agents/bills-agent/src/commands/approve.ts +9 -0
  61. package/templates/bills-agent/agents/bills-agent/src/commands/check.ts +13 -0
  62. package/templates/bills-agent/agents/bills-agent/src/commands/consent.ts +26 -0
  63. package/templates/bills-agent/agents/bills-agent/src/commands/decide.ts +45 -0
  64. package/templates/bills-agent/agents/bills-agent/src/commands/deny.ts +7 -0
  65. package/templates/bills-agent/agents/bills-agent/src/commands/eval.ts +37 -0
  66. package/templates/bills-agent/agents/bills-agent/src/commands/reconcile.ts +38 -0
  67. package/templates/bills-agent/agents/bills-agent/src/commands/rerun.ts +65 -0
  68. package/templates/bills-agent/agents/bills-agent/src/commands/resume.ts +30 -0
  69. package/templates/bills-agent/agents/bills-agent/src/main.ts +185 -0
  70. package/templates/bills-agent/agents/bills-agent/src/modules/embedded-consent.ts +125 -0
  71. package/templates/bills-agent/agents/bills-agent/src/modules/pix-out.ts +73 -0
  72. package/templates/bills-agent/agents/bills-agent/src/scenarios.ts +196 -0
  73. package/templates/bills-agent/agents/bills-agent/src/setup.ts +207 -0
  74. package/templates/bills-agent/agents/bills-agent/test/adversarial.test.ts +40 -0
  75. package/templates/bills-agent/agents/bills-agent/test/check.test.ts +85 -0
  76. package/templates/bills-agent/agents/bills-agent/test/cli.test.ts +177 -0
  77. package/templates/bills-agent/agents/bills-agent/test/scenarios.test.ts +73 -0
  78. package/templates/bills-agent/agents/bills-agent/tools.json +51 -0
  79. package/templates/bills-agent/agents/bills-agent/tsconfig.json +11 -0
  80. package/templates/bills-agent/package.json +34 -0
  81. package/templates/bills-agent/packages/agent-core/README.md +19 -0
  82. package/templates/bills-agent/packages/agent-core/package.json +24 -0
  83. package/templates/bills-agent/packages/agent-core/src/agent.ts +125 -0
  84. package/templates/bills-agent/packages/agent-core/src/api/charge-rail.ts +154 -0
  85. package/templates/bills-agent/packages/agent-core/src/api/client.ts +53 -0
  86. package/templates/bills-agent/packages/agent-core/src/api/mandate-status.ts +58 -0
  87. package/templates/bills-agent/packages/agent-core/src/api/rail.ts +101 -0
  88. package/templates/bills-agent/packages/agent-core/src/api/sandbox-payer.ts +45 -0
  89. package/templates/bills-agent/packages/agent-core/src/approval.ts +109 -0
  90. package/templates/bills-agent/packages/agent-core/src/bundle.ts +113 -0
  91. package/templates/bills-agent/packages/agent-core/src/check.ts +171 -0
  92. package/templates/bills-agent/packages/agent-core/src/engine.ts +784 -0
  93. package/templates/bills-agent/packages/agent-core/src/escalate.ts +85 -0
  94. package/templates/bills-agent/packages/agent-core/src/events.ts +40 -0
  95. package/templates/bills-agent/packages/agent-core/src/guardrails.ts +45 -0
  96. package/templates/bills-agent/packages/agent-core/src/hash.ts +49 -0
  97. package/templates/bills-agent/packages/agent-core/src/ids.ts +10 -0
  98. package/templates/bills-agent/packages/agent-core/src/index.ts +29 -0
  99. package/templates/bills-agent/packages/agent-core/src/mandate.ts +100 -0
  100. package/templates/bills-agent/packages/agent-core/src/manifest.ts +76 -0
  101. package/templates/bills-agent/packages/agent-core/src/providers/anthropic.ts +76 -0
  102. package/templates/bills-agent/packages/agent-core/src/providers/replay.ts +63 -0
  103. package/templates/bills-agent/packages/agent-core/src/providers/types.ts +39 -0
  104. package/templates/bills-agent/packages/agent-core/src/rail.ts +87 -0
  105. package/templates/bills-agent/packages/agent-core/src/revocation.ts +30 -0
  106. package/templates/bills-agent/packages/agent-core/src/secrets.ts +30 -0
  107. package/templates/bills-agent/packages/agent-core/src/state/store.ts +307 -0
  108. package/templates/bills-agent/packages/agent-core/src/state-machine.ts +146 -0
  109. package/templates/bills-agent/packages/agent-core/src/stubs/charge-rail.ts +193 -0
  110. package/templates/bills-agent/packages/agent-core/src/stubs/mandate-status.ts +57 -0
  111. package/templates/bills-agent/packages/agent-core/src/stubs/rail.ts +124 -0
  112. package/templates/bills-agent/packages/agent-core/src/tools.ts +55 -0
  113. package/templates/bills-agent/packages/agent-core/src/types.ts +106 -0
  114. package/templates/bills-agent/packages/agent-core/test/approval.test.ts +83 -0
  115. package/templates/bills-agent/packages/agent-core/test/engine.test.ts +524 -0
  116. package/templates/bills-agent/packages/agent-core/test/escalate.test.ts +42 -0
  117. package/templates/bills-agent/packages/agent-core/test/helpers.ts +139 -0
  118. package/templates/bills-agent/packages/agent-core/test/mandate-status.test.ts +153 -0
  119. package/templates/bills-agent/packages/agent-core/test/manifest.test.ts +45 -0
  120. package/templates/bills-agent/packages/agent-core/test/receivables.test.ts +265 -0
  121. package/templates/bills-agent/packages/agent-core/test/secrets.test.ts +28 -0
  122. package/templates/bills-agent/packages/agent-core/test/state-machine.test.ts +67 -0
  123. package/templates/bills-agent/packages/agent-core/test/transitions.type-test.ts +59 -0
  124. package/templates/bills-agent/packages/agent-core/tsconfig.json +10 -0
  125. package/templates/bills-agent/tsconfig.base.json +16 -0
  126. package/templates/bills-agent/vitest.config.ts +12 -0
  127. package/templates/collections-agent/LICENSE +21 -0
  128. package/templates/collections-agent/README.md +20 -0
  129. package/templates/collections-agent/_gitignore +10 -0
  130. package/templates/collections-agent/agents/collections-agent/.env.example +4 -0
  131. package/templates/collections-agent/agents/collections-agent/AGENTS.md +19 -0
  132. package/templates/collections-agent/agents/collections-agent/CLAUDE.md +19 -0
  133. package/templates/collections-agent/agents/collections-agent/README.md +94 -0
  134. package/templates/collections-agent/agents/collections-agent/SYSTEM_PROMPT.md +31 -0
  135. package/templates/collections-agent/agents/collections-agent/agent.yaml +28 -0
  136. package/templates/collections-agent/agents/collections-agent/channels/terminal/index.ts +178 -0
  137. package/templates/collections-agent/agents/collections-agent/channels/webhook/index.ts +131 -0
  138. package/templates/collections-agent/agents/collections-agent/evals/adversarial/beneficiary-swap-mandate.json +11 -0
  139. package/templates/collections-agent/agents/collections-agent/evals/adversarial/beneficiary-swap.json +12 -0
  140. package/templates/collections-agent/agents/collections-agent/evals/adversarial/beneficiary-swap.transcript.jsonl +2 -0
  141. package/templates/collections-agent/agents/collections-agent/evals/adversarial/exfiltration.json +19 -0
  142. package/templates/collections-agent/agents/collections-agent/evals/adversarial/exfiltration.transcript.jsonl +3 -0
  143. package/templates/collections-agent/agents/collections-agent/evals/adversarial/false-authority.json +11 -0
  144. package/templates/collections-agent/agents/collections-agent/evals/adversarial/false-authority.transcript.jsonl +2 -0
  145. package/templates/collections-agent/agents/collections-agent/evals/adversarial/fractioning.json +12 -0
  146. package/templates/collections-agent/agents/collections-agent/evals/adversarial/fractioning.transcript.jsonl +4 -0
  147. package/templates/collections-agent/agents/collections-agent/evals/adversarial/model-total.json +13 -0
  148. package/templates/collections-agent/agents/collections-agent/evals/adversarial/model-total.transcript.jsonl +2 -0
  149. package/templates/collections-agent/agents/collections-agent/evals/adversarial/prompt-injection.json +12 -0
  150. package/templates/collections-agent/agents/collections-agent/evals/adversarial/prompt-injection.transcript.jsonl +2 -0
  151. package/templates/collections-agent/agents/collections-agent/evals/adversarial/webhook-replay.json +11 -0
  152. package/templates/collections-agent/agents/collections-agent/evals/eval.yaml +11 -0
  153. package/templates/collections-agent/agents/collections-agent/guardrails.json +20 -0
  154. package/templates/collections-agent/agents/collections-agent/mandate.example.json +40 -0
  155. package/templates/collections-agent/agents/collections-agent/package.json +29 -0
  156. package/templates/collections-agent/agents/collections-agent/runbook.md +27 -0
  157. package/templates/collections-agent/agents/collections-agent/scenarios/beneficiary-not-allowed.json +42 -0
  158. package/templates/collections-agent/agents/collections-agent/scenarios/beneficiary-not-allowed.transcript.jsonl +3 -0
  159. package/templates/collections-agent/agents/collections-agent/scenarios/cap-exceeded.json +27 -0
  160. package/templates/collections-agent/agents/collections-agent/scenarios/cap-exceeded.transcript.jsonl +3 -0
  161. package/templates/collections-agent/agents/collections-agent/scenarios/charge-expired.json +36 -0
  162. package/templates/collections-agent/agents/collections-agent/scenarios/charge-expired.transcript.jsonl +4 -0
  163. package/templates/collections-agent/agents/collections-agent/scenarios/escalated-above-threshold.json +49 -0
  164. package/templates/collections-agent/agents/collections-agent/scenarios/escalated-above-threshold.transcript.jsonl +5 -0
  165. package/templates/collections-agent/agents/collections-agent/scenarios/happy-path.json +60 -0
  166. package/templates/collections-agent/agents/collections-agent/scenarios/happy-path.transcript.jsonl +4 -0
  167. package/templates/collections-agent/agents/collections-agent/scenarios/instalments.json +49 -0
  168. package/templates/collections-agent/agents/collections-agent/scenarios/instalments.transcript.jsonl +4 -0
  169. package/templates/collections-agent/agents/collections-agent/scenarios/mandate-revoked.json +42 -0
  170. package/templates/collections-agent/agents/collections-agent/scenarios/mandate-revoked.transcript.jsonl +6 -0
  171. package/templates/collections-agent/agents/collections-agent/scenarios/prompt-injection.json +27 -0
  172. package/templates/collections-agent/agents/collections-agent/scenarios/prompt-injection.transcript.jsonl +2 -0
  173. package/templates/collections-agent/agents/collections-agent/src/adversarial.ts +190 -0
  174. package/templates/collections-agent/agents/collections-agent/src/agreements.ts +45 -0
  175. package/templates/collections-agent/agents/collections-agent/src/commands/approve.ts +10 -0
  176. package/templates/collections-agent/agents/collections-agent/src/commands/check.ts +13 -0
  177. package/templates/collections-agent/agents/collections-agent/src/commands/decide.ts +48 -0
  178. package/templates/collections-agent/agents/collections-agent/src/commands/deny.ts +7 -0
  179. package/templates/collections-agent/agents/collections-agent/src/commands/eval.ts +39 -0
  180. package/templates/collections-agent/agents/collections-agent/src/commands/poll.ts +35 -0
  181. package/templates/collections-agent/agents/collections-agent/src/commands/reconcile.ts +38 -0
  182. package/templates/collections-agent/agents/collections-agent/src/commands/rerun.ts +55 -0
  183. package/templates/collections-agent/agents/collections-agent/src/commands/resume.ts +30 -0
  184. package/templates/collections-agent/agents/collections-agent/src/commands/webhook.ts +36 -0
  185. package/templates/collections-agent/agents/collections-agent/src/envelope.ts +103 -0
  186. package/templates/collections-agent/agents/collections-agent/src/main.ts +193 -0
  187. package/templates/collections-agent/agents/collections-agent/src/modules/bolepix-receivables.ts +105 -0
  188. package/templates/collections-agent/agents/collections-agent/src/poll.ts +94 -0
  189. package/templates/collections-agent/agents/collections-agent/src/scenarios.ts +252 -0
  190. package/templates/collections-agent/agents/collections-agent/src/setup.ts +250 -0
  191. package/templates/collections-agent/agents/collections-agent/test/adversarial.test.ts +45 -0
  192. package/templates/collections-agent/agents/collections-agent/test/check.test.ts +51 -0
  193. package/templates/collections-agent/agents/collections-agent/test/cli.test.ts +172 -0
  194. package/templates/collections-agent/agents/collections-agent/test/envelope.test.ts +53 -0
  195. package/templates/collections-agent/agents/collections-agent/test/fixtures/accept-1042.transcript.jsonl +2 -0
  196. package/templates/collections-agent/agents/collections-agent/test/fixtures/accept-1103.transcript.jsonl +2 -0
  197. package/templates/collections-agent/agents/collections-agent/test/scenarios.test.ts +95 -0
  198. package/templates/collections-agent/agents/collections-agent/test/webhook.test.ts +100 -0
  199. package/templates/collections-agent/agents/collections-agent/tools.json +40 -0
  200. package/templates/collections-agent/agents/collections-agent/tsconfig.json +11 -0
  201. package/templates/collections-agent/package.json +35 -0
  202. package/templates/collections-agent/packages/agent-core/README.md +19 -0
  203. package/templates/collections-agent/packages/agent-core/package.json +24 -0
  204. package/templates/collections-agent/packages/agent-core/src/agent.ts +125 -0
  205. package/templates/collections-agent/packages/agent-core/src/api/charge-rail.ts +154 -0
  206. package/templates/collections-agent/packages/agent-core/src/api/client.ts +53 -0
  207. package/templates/collections-agent/packages/agent-core/src/api/mandate-status.ts +58 -0
  208. package/templates/collections-agent/packages/agent-core/src/api/rail.ts +101 -0
  209. package/templates/collections-agent/packages/agent-core/src/api/sandbox-payer.ts +45 -0
  210. package/templates/collections-agent/packages/agent-core/src/approval.ts +109 -0
  211. package/templates/collections-agent/packages/agent-core/src/bundle.ts +113 -0
  212. package/templates/collections-agent/packages/agent-core/src/check.ts +171 -0
  213. package/templates/collections-agent/packages/agent-core/src/engine.ts +784 -0
  214. package/templates/collections-agent/packages/agent-core/src/escalate.ts +85 -0
  215. package/templates/collections-agent/packages/agent-core/src/events.ts +40 -0
  216. package/templates/collections-agent/packages/agent-core/src/guardrails.ts +45 -0
  217. package/templates/collections-agent/packages/agent-core/src/hash.ts +49 -0
  218. package/templates/collections-agent/packages/agent-core/src/ids.ts +10 -0
  219. package/templates/collections-agent/packages/agent-core/src/index.ts +29 -0
  220. package/templates/collections-agent/packages/agent-core/src/mandate.ts +100 -0
  221. package/templates/collections-agent/packages/agent-core/src/manifest.ts +76 -0
  222. package/templates/collections-agent/packages/agent-core/src/providers/anthropic.ts +76 -0
  223. package/templates/collections-agent/packages/agent-core/src/providers/replay.ts +63 -0
  224. package/templates/collections-agent/packages/agent-core/src/providers/types.ts +39 -0
  225. package/templates/collections-agent/packages/agent-core/src/rail.ts +87 -0
  226. package/templates/collections-agent/packages/agent-core/src/revocation.ts +30 -0
  227. package/templates/collections-agent/packages/agent-core/src/secrets.ts +30 -0
  228. package/templates/collections-agent/packages/agent-core/src/state/store.ts +307 -0
  229. package/templates/collections-agent/packages/agent-core/src/state-machine.ts +146 -0
  230. package/templates/collections-agent/packages/agent-core/src/stubs/charge-rail.ts +193 -0
  231. package/templates/collections-agent/packages/agent-core/src/stubs/mandate-status.ts +57 -0
  232. package/templates/collections-agent/packages/agent-core/src/stubs/rail.ts +124 -0
  233. package/templates/collections-agent/packages/agent-core/src/tools.ts +55 -0
  234. package/templates/collections-agent/packages/agent-core/src/types.ts +106 -0
  235. package/templates/collections-agent/packages/agent-core/test/approval.test.ts +83 -0
  236. package/templates/collections-agent/packages/agent-core/test/engine.test.ts +524 -0
  237. package/templates/collections-agent/packages/agent-core/test/escalate.test.ts +42 -0
  238. package/templates/collections-agent/packages/agent-core/test/helpers.ts +139 -0
  239. package/templates/collections-agent/packages/agent-core/test/mandate-status.test.ts +153 -0
  240. package/templates/collections-agent/packages/agent-core/test/manifest.test.ts +45 -0
  241. package/templates/collections-agent/packages/agent-core/test/receivables.test.ts +265 -0
  242. package/templates/collections-agent/packages/agent-core/test/secrets.test.ts +28 -0
  243. package/templates/collections-agent/packages/agent-core/test/state-machine.test.ts +67 -0
  244. package/templates/collections-agent/packages/agent-core/test/transitions.type-test.ts +59 -0
  245. package/templates/collections-agent/packages/agent-core/tsconfig.json +10 -0
  246. package/templates/collections-agent/tsconfig.base.json +16 -0
  247. package/templates/collections-agent/vitest.config.ts +12 -0
  248. package/templates/kits.lock.json +41 -0
@@ -0,0 +1,67 @@
1
+ import { describe, expect, it } from "vitest";
2
+ import { canTransition, IllegalTransitionError, isTerminal, transition, TRANSITIONS, type Execution } from "../src/state-machine.js";
3
+ import type { Actor } from "../src/types.js";
4
+
5
+ const actor: Actor = { type: "agent", agent: "bills-agent@0.1.0", on_behalf_of: "usr_test" };
6
+
7
+ function drafted(): Execution<"drafted"> {
8
+ return {
9
+ id: "exe_1",
10
+ run_id: "run_1",
11
+ state: "drafted",
12
+ mode: "human",
13
+ actor,
14
+ items: [],
15
+ total: 0,
16
+ currency: "BRL",
17
+ items_hash: "sha256:x",
18
+ mandate: { id: "mdt_1", version: 1 },
19
+ idempotency_key: "idk_1",
20
+ blocking_reasons: [],
21
+ outcomes: [],
22
+ history: [],
23
+ created_at: "2026-09-23T10:00:00.000Z",
24
+ updated_at: "2026-09-23T10:00:00.000Z",
25
+ };
26
+ }
27
+
28
+ describe("section 4.1: closed state machine", () => {
29
+ it("has exactly the table of the spec plus the 4.2 return and the 4.7 exits", () => {
30
+ expect(TRANSITIONS).toEqual({
31
+ drafted: ["awaiting_approval", "approved", "denied", "expired"],
32
+ awaiting_approval: ["approved", "denied", "expired"],
33
+ approved: ["executing", "awaiting_approval", "denied", "expired"],
34
+ executing: ["settled", "failed"],
35
+ settled: [],
36
+ failed: [],
37
+ denied: [],
38
+ expired: [],
39
+ });
40
+ });
41
+
42
+ it("walks the happy path and appends every step to history", () => {
43
+ const at = "2026-09-23T10:01:00.000Z";
44
+ const a = transition(drafted(), "awaiting_approval", { at, actor });
45
+ const b = transition(a, "approved", { at, actor });
46
+ const c = transition(b, "executing", { at, actor });
47
+ const d = transition(c, "settled", { at, actor });
48
+ expect(d.state).toBe("settled");
49
+ expect(d.history.map((h) => h.to)).toEqual(["awaiting_approval", "approved", "executing", "settled"]);
50
+ expect(isTerminal(d.state)).toBe(true);
51
+ });
52
+
53
+ it("refuses a transition outside the table at runtime even when the types were bypassed", () => {
54
+ const settled = { ...drafted(), state: "settled" as const };
55
+ expect(() => transition(settled as unknown as Execution<"drafted">, "awaiting_approval", { at: "x", actor })).toThrow(IllegalTransitionError);
56
+ expect(canTransition("executing", "denied")).toBe(false);
57
+ expect(canTransition("drafted", "executing")).toBe(false);
58
+ expect(canTransition("settled", "failed")).toBe(false);
59
+ });
60
+
61
+ it("terminal states have no exits", () => {
62
+ for (const s of ["settled", "failed", "denied", "expired"] as const) {
63
+ expect(TRANSITIONS[s]).toEqual([]);
64
+ expect(isTerminal(s)).toBe(true);
65
+ }
66
+ });
67
+ });
@@ -0,0 +1,59 @@
1
+ /**
2
+ * Section 15: "a transition outside section 4.1 does not compile". This
3
+ * file is compiled by `npm run typecheck`; every `@ts-expect-error` below
4
+ * is a transition the table forbids. If one of them ever compiles, tsc
5
+ * reports an unused directive and the check fails.
6
+ */
7
+ import { transition, type Execution } from "../src/state-machine.js";
8
+ import type { Actor } from "../src/types.js";
9
+
10
+ declare const actor: Actor;
11
+ declare const at: string;
12
+ declare const drafted: Execution<"drafted">;
13
+ declare const awaiting: Execution<"awaiting_approval">;
14
+ declare const approved: Execution<"approved">;
15
+ declare const executing: Execution<"executing">;
16
+ declare const settled: Execution<"settled">;
17
+ declare const failed: Execution<"failed">;
18
+ declare const denied: Execution<"denied">;
19
+ declare const expired: Execution<"expired">;
20
+
21
+ // Allowed, for contrast.
22
+ transition(drafted, "awaiting_approval", { at, actor });
23
+ transition(drafted, "approved", { at, actor });
24
+ transition(drafted, "denied", { at, actor });
25
+ transition(awaiting, "approved", { at, actor });
26
+ transition(approved, "executing", { at, actor });
27
+ transition(approved, "awaiting_approval", { at, actor });
28
+ transition(executing, "settled", { at, actor });
29
+ transition(executing, "failed", { at, actor });
30
+
31
+ // The model cannot skip the core: nothing goes straight to executing.
32
+ // @ts-expect-error drafted -> executing is not in the table
33
+ transition(drafted, "executing", { at, actor });
34
+ // @ts-expect-error awaiting_approval -> executing is not in the table
35
+ transition(awaiting, "executing", { at, actor });
36
+ // @ts-expect-error drafted -> settled is not in the table
37
+ transition(drafted, "settled", { at, actor });
38
+ // @ts-expect-error awaiting_approval -> settled is not in the table
39
+ transition(awaiting, "settled", { at, actor });
40
+
41
+ // Executing closes only by the rail's event.
42
+ // @ts-expect-error executing -> denied is not in the table
43
+ transition(executing, "denied", { at, actor });
44
+ // @ts-expect-error executing -> expired is not in the table
45
+ transition(executing, "expired", { at, actor });
46
+ // @ts-expect-error executing -> approved is not in the table
47
+ transition(executing, "approved", { at, actor });
48
+
49
+ // Terminal states have no exits. Repeating does not reopen.
50
+ // @ts-expect-error settled is terminal
51
+ transition(settled, "executing", { at, actor });
52
+ // @ts-expect-error failed is terminal
53
+ transition(failed, "executing", { at, actor });
54
+ // @ts-expect-error denied is terminal
55
+ transition(denied, "approved", { at, actor });
56
+ // @ts-expect-error expired is terminal
57
+ transition(expired, "awaiting_approval", { at, actor });
58
+ // @ts-expect-error settled is terminal
59
+ transition(settled, "settled", { at, actor });
@@ -0,0 +1,10 @@
1
+ {
2
+ "extends": "../../tsconfig.base.json",
3
+ "compilerOptions": {
4
+ "rootDir": "."
5
+ },
6
+ "include": [
7
+ "src/**/*.ts",
8
+ "test/**/*.ts"
9
+ ]
10
+ }
@@ -0,0 +1,16 @@
1
+ {
2
+ "compilerOptions": {
3
+ "target": "ES2022",
4
+ "module": "NodeNext",
5
+ "moduleResolution": "NodeNext",
6
+ "strict": true,
7
+ "exactOptionalPropertyTypes": true,
8
+ "noUncheckedIndexedAccess": true,
9
+ "noImplicitOverride": true,
10
+ "esModuleInterop": true,
11
+ "skipLibCheck": true,
12
+ "resolveJsonModule": true,
13
+ "noEmit": true,
14
+ "types": ["node"]
15
+ }
16
+ }
@@ -0,0 +1,12 @@
1
+ import { defineConfig } from "vitest/config";
2
+
3
+ export default defineConfig({
4
+ test: {
5
+ include: ["packages/*/test/**/*.test.ts", "agents/*/test/**/*.test.ts"],
6
+ pool: "forks",
7
+ maxWorkers: 1,
8
+ minWorkers: 1,
9
+ fileParallelism: false,
10
+ testTimeout: 30000,
11
+ },
12
+ });
@@ -0,0 +1,41 @@
1
+ {
2
+ "format": 1,
3
+ "kits_repo": "https://github.com/codespar/agent-starter-kits",
4
+ "kits_ref": "778223274a5df3521d9ef9f33a21446868482391",
5
+ "commit": "778223274a5df3521d9ef9f33a21446868482391",
6
+ "agent_core": {
7
+ "source": "packages/agent-core",
8
+ "version": "0.1.0"
9
+ },
10
+ "templates": {
11
+ "bills-agent": {
12
+ "source": "agents/bills-agent",
13
+ "description": "The consumer delegates the month's bills to an agent that pays under a signed mandate: per-payment cap, monthly cap, named payees, expiry. Every payment returns a receipt.",
14
+ "version": "0.1.0",
15
+ "cli": "@codespar/cli@0.13.0",
16
+ "mcp": "@codespar/mcp@0.5.8",
17
+ "agent_core": "0.1.0",
18
+ "next_steps": [
19
+ "cp agents/bills-agent/.env.example agents/bills-agent/.env # then fill in your keys",
20
+ "npm install",
21
+ "npm run consent -- --yes",
22
+ "npm start"
23
+ ],
24
+ "hash": "sha256:6cc725fc673f19f855a480163e463da121fe964db89320e587260097215b4f41"
25
+ },
26
+ "collections-agent": {
27
+ "source": "agents/collections-agent",
28
+ "description": "The merchant's agent that collects: agrees terms with the payer inside a negotiation envelope, issues one bolepix per instalment with an idempotency key, presents the QR and the copy-and-paste in the conversation, and closes the cycle on commerce.charge.paid or commerce.charge.expired.",
29
+ "version": "0.1.0",
30
+ "cli": "@codespar/cli@0.13.0",
31
+ "mcp": "@codespar/mcp@0.5.8",
32
+ "agent_core": "0.1.0",
33
+ "next_steps": [
34
+ "cp agents/collections-agent/.env.example agents/collections-agent/.env # then fill in your keys",
35
+ "npm install",
36
+ "npm start"
37
+ ],
38
+ "hash": "sha256:149b22e812a97b35f90b42fed6a38261975346035abec05e779f938b5148c131"
39
+ }
40
+ }
41
+ }