progmune-runtime 2.1.5 → 3.2.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 (356) hide show
  1. package/README.md +108 -468
  2. package/dist/ablation-study.js +144 -0
  3. package/dist/ablation-study.test.js +18 -0
  4. package/dist/action-runtime.js +3 -1
  5. package/dist/active-learning.js +211 -0
  6. package/dist/analytics.js +139 -0
  7. package/dist/asset-factory.js +309 -0
  8. package/dist/asset-growth.js +244 -0
  9. package/dist/asset-promotion.js +382 -0
  10. package/dist/asset-quality.js +550 -0
  11. package/dist/audit/business-translator.js +285 -0
  12. package/dist/audit/cli.js +66 -0
  13. package/dist/audit/formatters/html.js +379 -0
  14. package/dist/audit/formatters/json.js +11 -0
  15. package/dist/audit/formatters/markdown.js +192 -0
  16. package/dist/audit/formatters/terminal.js +189 -0
  17. package/dist/audit/index.js +25 -0
  18. package/dist/audit/report-builder.js +318 -0
  19. package/dist/audit/types.js +8 -0
  20. package/dist/audit.js +3 -3
  21. package/dist/auto-benchmark-generator.js +137 -0
  22. package/dist/auto-benchmark-generator.test.js +45 -0
  23. package/dist/auto-protocol-synthesizer.js +362 -0
  24. package/dist/auto-protocol-synthesizer.test.js +82 -0
  25. package/dist/autonomous-patch.js +175 -0
  26. package/dist/autonomous-patch.test.js +128 -0
  27. package/dist/badge/badge-server.js +98 -0
  28. package/dist/behavior-miner.js +442 -0
  29. package/dist/belief-layer.js +475 -0
  30. package/dist/benchmark-count.js +5 -0
  31. package/dist/benchmark-generator.js +211 -0
  32. package/dist/benchmark-harness.js +201 -0
  33. package/dist/benchmark-pass-rate.js +7 -0
  34. package/dist/benchmark-report.js +8 -3
  35. package/dist/benchmark-save.js +14 -1
  36. package/dist/bootstrap-validation.js +197 -0
  37. package/dist/bootstrap-validation.test.js +51 -0
  38. package/dist/branch-ledger.js +1 -1
  39. package/dist/capability-gap.js +130 -0
  40. package/dist/certify-html.js +351 -0
  41. package/dist/certify.js +326 -0
  42. package/dist/check.js +4 -4
  43. package/dist/compliance-miner.js +447 -0
  44. package/dist/continuous-benchmark.js +194 -0
  45. package/dist/continuous-benchmark.test.js +116 -0
  46. package/dist/corpus-stats.js +173 -0
  47. package/dist/counterfactual-engine.js +288 -0
  48. package/dist/coverage-dashboard.js +109 -0
  49. package/dist/coverage-system.test.js +205 -0
  50. package/dist/cross-repo-precision.js +352 -0
  51. package/dist/cve-benchmark.js +180 -0
  52. package/dist/cve-benchmark.test.js +28 -0
  53. package/dist/cve-collector.js +73 -0
  54. package/dist/data-quality.js +141 -0
  55. package/dist/decision-engine.js +388 -0
  56. package/dist/derive-metadata.js +250 -0
  57. package/dist/difficulty-active.test.js +198 -0
  58. package/dist/difficulty-map.js +244 -0
  59. package/dist/discovery-analytics.js +125 -0
  60. package/dist/discovery-model.js +149 -0
  61. package/dist/discovery-optimize.test.js +199 -0
  62. package/dist/discovery-trace.js +276 -0
  63. package/dist/discovery-trace.test.js +97 -0
  64. package/dist/emitter.js +83 -1
  65. package/dist/enterprise-dashboard.js +405 -0
  66. package/dist/eval-hardening.js +297 -0
  67. package/dist/eval-hardening.test.js +85 -0
  68. package/dist/evaluation-campaign.js +359 -0
  69. package/dist/evaluation-campaign.test.js +181 -0
  70. package/dist/evidence-growth.js +143 -0
  71. package/dist/evidence-repository.js +209 -0
  72. package/dist/evidence-system.js +441 -0
  73. package/dist/execute.js +15 -7
  74. package/dist/experimental/software-physics.js +291 -0
  75. package/dist/experimental/state-inference.js +516 -0
  76. package/dist/experimental/unsupervised-physics.js +230 -0
  77. package/dist/extract-ir-python.js +54 -7
  78. package/dist/extract-ir.js +376 -12
  79. package/dist/failure-collector.js +2 -2
  80. package/dist/failure-corpus.js +322 -9
  81. package/dist/feedback.js +16 -5
  82. package/dist/feedback.test.js +49 -0
  83. package/dist/file-lock.js +1 -1
  84. package/dist/flywheel-batch.js +292 -0
  85. package/dist/frameworks/express-cli.js +237 -0
  86. package/dist/frameworks/express-detector.js +445 -0
  87. package/dist/frameworks/express-detector.test.js +206 -0
  88. package/dist/frameworks/index.js +30 -0
  89. package/dist/frameworks/nestjs-detector.js +302 -0
  90. package/dist/frameworks/trpc-detector.js +161 -0
  91. package/dist/frameworks/version-awareness.js +179 -0
  92. package/dist/function-synonyms.js +164 -0
  93. package/dist/function-synonyms.test.js +68 -0
  94. package/dist/generalization.test.js +352 -0
  95. package/dist/goal-annotator.js +113 -0
  96. package/dist/goal-planner.js +563 -0
  97. package/dist/gold-cve.js +164 -0
  98. package/dist/gold-cve.test.js +104 -0
  99. package/dist/gold-quality.js +206 -0
  100. package/dist/gold-tiers.js +241 -0
  101. package/dist/governance-dashboard.js +327 -0
  102. package/dist/graph-viz.js +240 -0
  103. package/dist/guided-frontier.js +195 -0
  104. package/dist/hierarchical-planner.js +148 -0
  105. package/dist/identifier-parser.js +260 -0
  106. package/dist/immune-metrics.js +93 -0
  107. package/dist/immune-receiver.js +158 -0
  108. package/dist/immune-reporter.js +1 -1
  109. package/dist/improvement-orchestrator.js +206 -0
  110. package/dist/inject-p0-vocabulary.js +300 -0
  111. package/dist/intent-parser.js +218 -0
  112. package/dist/invariant-algebra.js +476 -0
  113. package/dist/invariant-calculus.js +533 -0
  114. package/dist/ir-utils.js +70 -0
  115. package/dist/ir-utils.test.js +50 -0
  116. package/dist/knowledge-api.js +312 -0
  117. package/dist/knowledge-evolution.js +452 -0
  118. package/dist/knowledge-explorer.js +506 -0
  119. package/dist/knowledge-flywheel.js +274 -0
  120. package/dist/knowledge-governance.js +338 -0
  121. package/dist/knowledge-governance.test.js +150 -0
  122. package/dist/knowledge-graph.js +181 -0
  123. package/dist/knowledge-guided-synth.js +246 -0
  124. package/dist/knowledge-loop.test.js +77 -0
  125. package/dist/knowledge-object.js +316 -0
  126. package/dist/knowledge-package.js +98 -0
  127. package/dist/kpi-dashboard.js +561 -0
  128. package/dist/l3-cross-function.js +280 -0
  129. package/dist/learning-ranker.js +148 -0
  130. package/dist/learning-ranker.test.js +291 -0
  131. package/dist/ledger/accountability.js +322 -0
  132. package/dist/ledger/chain-builder.js +185 -0
  133. package/dist/ledger/cli.js +222 -0
  134. package/dist/ledger/index.js +13 -0
  135. package/dist/ledger/signatures.js +193 -0
  136. package/dist/ledger/types.js +9 -0
  137. package/dist/llm.js +74 -3
  138. package/dist/load-benchmarks.js +8 -3
  139. package/dist/logger.js +66 -0
  140. package/dist/logger.test.js +37 -0
  141. package/dist/logistic-reward.js +339 -0
  142. package/dist/logistic-reward.test.js +180 -0
  143. package/dist/macro-graph.js +193 -0
  144. package/dist/macro-repair.js +183 -0
  145. package/dist/mcp-server.mjs +1202 -483
  146. package/dist/memory-layer.js +42 -5
  147. package/dist/multi-repo-precision.js +422 -0
  148. package/dist/name-free-protocol.js +425 -0
  149. package/dist/name-free-protocol.test.js +170 -0
  150. package/dist/name-scrambling.js +138 -0
  151. package/dist/name-scrambling.test.js +16 -0
  152. package/dist/p3-observability.test.js +281 -0
  153. package/dist/p5-orchestrator.test.js +225 -0
  154. package/dist/pairwise-preference.js +294 -0
  155. package/dist/pairwise-preference.test.js +140 -0
  156. package/dist/planner-constraints.js +104 -0
  157. package/dist/planner-prompts.js +155 -0
  158. package/dist/planner-telemetry.js +415 -0
  159. package/dist/planner-trace.js +214 -0
  160. package/dist/planner.js +162 -167
  161. package/dist/plsb/artifact.js +116 -0
  162. package/dist/plsb/cli.js +71 -0
  163. package/dist/plsb/index.js +19 -0
  164. package/dist/plsb/leaderboard.js +249 -0
  165. package/dist/plsb/report-md.js +156 -0
  166. package/dist/plsb/schema.js +179 -0
  167. package/dist/plsb-benchmark.js +284 -0
  168. package/dist/plsb-benchmark.test.js +119 -0
  169. package/dist/policy/cli.js +134 -0
  170. package/dist/policy/engine.js +333 -0
  171. package/dist/policy/index.js +12 -0
  172. package/dist/policy/types.js +59 -0
  173. package/dist/policy-miner.js +505 -0
  174. package/dist/precision-analyze.js +229 -0
  175. package/dist/precision-benchmark.js +147 -0
  176. package/dist/precision-label-c.js +134 -0
  177. package/dist/precision-label.js +193 -0
  178. package/dist/precision-report-c.js +149 -0
  179. package/dist/precision-report.js +246 -0
  180. package/dist/progmune-status.js +108 -0
  181. package/dist/proof-engine.js +479 -0
  182. package/dist/proof-provenance.js +315 -0
  183. package/dist/protocol-coverage.js +294 -0
  184. package/dist/protocol-detector.js +1189 -0
  185. package/dist/protocol-embedding-expanded.js +297 -0
  186. package/dist/protocol-embedding-expanded.test.js +97 -0
  187. package/dist/protocol-embedding.js +195 -0
  188. package/dist/protocol-embedding.test.js +82 -0
  189. package/dist/protocol-extractor-v2.js +354 -0
  190. package/dist/protocol-extractor-v2.test.js +140 -0
  191. package/dist/protocol-extractor.js +310 -0
  192. package/dist/protocol-extractor.test.js +113 -0
  193. package/dist/protocol-foundation.js +322 -0
  194. package/dist/protocol-foundation.test.js +163 -0
  195. package/dist/protocol-frontier.js +243 -0
  196. package/dist/protocol-frontier.test.js +92 -0
  197. package/dist/protocol-gap-analyzer.js +228 -0
  198. package/dist/protocol-gap-analyzer.test.js +49 -0
  199. package/dist/protocol-invariants.js +276 -0
  200. package/dist/protocol-invariants.test.js +111 -0
  201. package/dist/protocol-knowledge.js +464 -0
  202. package/dist/protocol-miner.js +343 -0
  203. package/dist/protocol-mining.js +207 -0
  204. package/dist/protocol-mining.test.js +37 -0
  205. package/dist/protocol-registry.js +1 -1
  206. package/dist/protocol-security-benchmark.js +222 -0
  207. package/dist/protocol-vulnerability.js +257 -0
  208. package/dist/protocol-vulnerability.test.js +60 -0
  209. package/dist/python-benchmark.js +120 -0
  210. package/dist/python-emitter.js +163 -45
  211. package/dist/python-protocol-extractor.js +187 -0
  212. package/dist/python-protocol-extractor.test.js +116 -0
  213. package/dist/realworld-benchmark.js +646 -0
  214. package/dist/realworld-benchmark.test.js +36 -0
  215. package/dist/repair-arch.test.js +411 -0
  216. package/dist/repair-evolution.test.js +454 -0
  217. package/dist/repair-executor.js +719 -0
  218. package/dist/repair-proposal.js +4 -4
  219. package/dist/repair-ranker.js +141 -0
  220. package/dist/repair-strategies.js +419 -0
  221. package/dist/repair-taxonomy.js +234 -0
  222. package/dist/repair-types.js +12 -0
  223. package/dist/repo-evaluator.js +250 -0
  224. package/dist/repo-evaluator.test.js +128 -0
  225. package/dist/resource-abstraction.js +242 -0
  226. package/dist/resource-detector.js +211 -0
  227. package/dist/result.test.js +43 -0
  228. package/dist/reward-system.js +411 -0
  229. package/dist/reward-system.test.js +175 -0
  230. package/dist/risk-model.js +215 -0
  231. package/dist/rule-miner.js +234 -7
  232. package/dist/rule-specificity.js +254 -0
  233. package/dist/runtime-types.js +27 -0
  234. package/dist/scaffold.js +208 -0
  235. package/dist/scale-collector.test.js +101 -0
  236. package/dist/scale-trajectory-collector.js +128 -0
  237. package/dist/sdk.js +250 -0
  238. package/dist/search-planner.js +4 -41
  239. package/dist/semantic-snapshot.js +1 -1
  240. package/dist/semantic-topology.js +121 -0
  241. package/dist/semantic-trace.js +310 -317
  242. package/dist/sequence-extractor.js +343 -0
  243. package/dist/skill-library.js +245 -0
  244. package/dist/skill-planner.test.js +189 -0
  245. package/dist/software-physics.js +291 -0
  246. package/dist/software-physics.test.js +81 -0
  247. package/dist/ssg-precision.js +478 -0
  248. package/dist/ssg-validator.js +71 -21
  249. package/dist/state-inference-doubleblind.test.js +160 -0
  250. package/dist/state-inference.js +516 -0
  251. package/dist/state-inference.test.js +115 -0
  252. package/dist/state-machine-fingerprint.js +345 -0
  253. package/dist/state-machine-fingerprint.test.js +120 -0
  254. package/dist/state-miner.js +386 -0
  255. package/dist/state-name-inference.js +213 -0
  256. package/dist/state-name-inference.test.js +69 -0
  257. package/dist/strategy-planner.js +326 -59
  258. package/dist/strategy-planner.test.js +135 -0
  259. package/dist/telemetry-analytics.test.js +402 -0
  260. package/dist/terminal-format.js +68 -0
  261. package/dist/terminal-format.test.js +83 -0
  262. package/dist/topology-factory.js +196 -0
  263. package/dist/topology-representation.js +242 -0
  264. package/dist/topology-representation.test.js +27 -0
  265. package/dist/trajectory-augmentation.js +254 -0
  266. package/dist/trajectory-augmentation.test.js +63 -0
  267. package/dist/trajectory-corpus.js +440 -0
  268. package/dist/trajectory-corpus.test.js +32 -0
  269. package/dist/trajectory-feedback.test.js +116 -0
  270. package/dist/transition-synthesizer.js +286 -0
  271. package/dist/transition-synthesizer.test.js +123 -0
  272. package/dist/trust/api-semantic-mapper.js +809 -0
  273. package/dist/trust/call-graph-propagator.js +225 -0
  274. package/dist/trust/cli.js +122 -0
  275. package/dist/trust/compliance-scorer.js +283 -0
  276. package/dist/trust/confidence-calculator.js +261 -0
  277. package/dist/trust/engine.js +1145 -0
  278. package/dist/trust/explainability.js +85 -0
  279. package/dist/trust/formatters/ci.js +42 -0
  280. package/dist/trust/formatters/json.js +11 -0
  281. package/dist/trust/formatters/terminal.js +152 -0
  282. package/dist/trust/index.js +39 -0
  283. package/dist/trust/phase1-verify.js +171 -0
  284. package/dist/trust/protocol-domain-validator.js +697 -0
  285. package/dist/trust/score-calculator.js +282 -0
  286. package/dist/trust/ssg-bridge.js +641 -0
  287. package/dist/trust/ssg-bridge.test.js +269 -0
  288. package/dist/trust/types.js +67 -0
  289. package/dist/trust/violation-trace.js +335 -0
  290. package/dist/trust-api.js +179 -0
  291. package/dist/trust-calibration.js +279 -0
  292. package/dist/unknown-protocol-discovery.js +339 -0
  293. package/dist/unknown-protocol-discovery.test.js +102 -0
  294. package/dist/unsupervised-physics.js +230 -0
  295. package/dist/unsupervised-physics.test.js +95 -0
  296. package/dist/utils.test.js +37 -0
  297. package/dist/validator.js +187 -10
  298. package/dist/verification-intelligence.js +475 -0
  299. package/dist/verify-api.js +432 -0
  300. package/dist/vi-impact-report.js +293 -0
  301. package/dist/wl-fingerprint.js +162 -0
  302. package/dist/wl-fingerprint.test.js +130 -0
  303. package/dist/zeroshot-strategy.js +139 -0
  304. package/docs/Progmune_/346/212/225/350/265/204/344/272/272/347/231/275/347/232/256/344/271/246_v2.0.html +576 -0
  305. package/docs/Progmune_/351/241/271/347/233/256/345/205/250/350/247/243.html +710 -0
  306. package/package.json +74 -7
  307. package/protocols.json +1956 -50
  308. package/.dockerignore +0 -14
  309. package/.mcp.json +0 -11
  310. package/.progmune_allowlist +0 -50
  311. package/.test_report/test_report.md +0 -87
  312. package/Dockerfile +0 -9
  313. package/FAQ.md +0 -167
  314. package/WHITEPAPER.md +0 -540
  315. package/demo-project/auth.ts +0 -55
  316. package/demo-project/tsconfig.json +0 -8
  317. package/dist/acl-breakdown.js +0 -13
  318. package/dist/all-sessions.js +0 -11
  319. package/dist/antibody-stats.js +0 -11
  320. package/dist/branch-tree-count.js +0 -14
  321. package/dist/common-fixpath.js +0 -12
  322. package/dist/constraint-types.js +0 -12
  323. package/dist/exec-metrics.js +0 -11
  324. package/dist/failure-report.js +0 -11
  325. package/dist/fast-path-hits.js +0 -13
  326. package/dist/fingerprint-list.js +0 -15
  327. package/dist/gen-history-log.js +0 -13
  328. package/dist/heatmap-data.js +0 -11
  329. package/dist/recent-session.js +0 -12
  330. package/dist/svl-distribution.js +0 -11
  331. package/dist/terminal-status.js +0 -11
  332. package/dist/token-savings.js +0 -11
  333. package/dist/total-repairs.js +0 -12
  334. package/dist/unresolved-count.js +0 -12
  335. package/dist/valid-fingerprints.js +0 -13
  336. package/dist/verify-ledgers.js +0 -11
  337. package/docs/whitepaper-style.css +0 -77
  338. package/docs/whitepaper-v2.1.md +0 -609
  339. package/docs/whitepaper-v2.2.md +0 -1064
  340. package/docs/whitepaper-v2.2.pdf +0 -0
  341. package/fly.toml +0 -31
  342. package/public/dashboard.html +0 -119
  343. package/server/hub.js +0 -116
  344. package/test/replay-golden/sess_1780063202050_mgeld.json +0 -9
  345. package/test/replay-golden/sess_1780064032560_gocld.json +0 -354
  346. package/test/replay-golden/sess_1780064413331_s2709.json +0 -606
  347. package/test/replay-golden/sess_1780064792710_y3avo.json +0 -614
  348. package/test/replay-golden.ts +0 -84
  349. package/test_benchmark.js +0 -165
  350. package/test_comprehensive.mjs +0 -638
  351. package/test_concurrency.js +0 -129
  352. package/test_ir_robustness.js +0 -85
  353. package/test_semantic_contracts.js +0 -269
  354. package/test_ssg_stress.js +0 -156
  355. package/test_svl3.js +0 -58
  356. package/tsconfig.json +0 -17
package/test/replay-golden/sess_1780064413331_s2709.json DELETED
@@ -1,606 +0,0 @@
1
- {
2
- "sessionId": "sess_1780064413331_s2709",
3
- "intent": "extract IR then validate",
4
- "attempts": [
5
- {
6
- "id": "att_1780064417139_a2tyo",
7
- "sessionId": "sess_1780064413331_s2709",
8
- "attemptNumber": 1,
9
- "inputIntent": "extract IR then validate",
10
- "plannerSeed": "fca35c14",
11
- "constraintSnapshotId": "snap_1780064413341_82709ff22603",
12
- "generatedActions": [
13
- {
14
- "kind": "assign",
15
- "target": "project_root",
16
- "value": "/path/to/project"
17
- },
18
- {
19
- "kind": "call",
20
- "function": "ir_data",
21
- "args": [
22
- "project_root"
23
- ],
24
- "assignTo": "extractIR"
25
- },
26
- {
27
- "kind": "call",
28
- "function": "validation_result",
29
- "args": [
30
- "ir_data"
31
- ],
32
- "assignTo": "validateActionSequence"
33
- },
34
- {
35
- "kind": "return",
36
- "value": "validation_result"
37
- }
38
- ],
39
- "transitions": [],
40
- "violations": [
41
- {
42
- "svl": 1,
43
- "violatedConstraint": "symbol_existence",
44
- "actionIndex": 0,
45
- "missingStates": [
46
- "ir_data"
47
- ],
48
- "description": "函数 'ir_data' 不存在; 函数 'validation_result' 不存在"
49
- }
50
- ],
51
- "outcome": "constraint_violation",
52
- "timestamp": 1780064417139,
53
- "llmCallCount": 0,
54
- "durationMs": 0
55
- },
56
- {
57
- "id": "att_1780064420679_sb22s",
58
- "sessionId": "sess_1780064413331_s2709",
59
- "attemptNumber": 2,
60
- "inputIntent": "extract IR then validate",
61
- "plannerSeed": "ea3207f1",
62
- "constraintSnapshotId": "snap_1780064413341_82709ff22603",
63
- "generatedActions": [
64
- {
65
- "kind": "call",
66
- "function": "loadIR",
67
- "args": [
68
- {
69
- "name": "p0",
70
- "type": "any",
71
- "value": []
72
- }
73
- ]
74
- },
75
- {
76
- "kind": "assign",
77
- "target": "ir_data",
78
- "value": "loadIR_result"
79
- },
80
- {
81
- "kind": "call",
82
- "function": "validateActionSequence",
83
- "args": [
84
- {
85
- "name": "actions",
86
- "type": "Action[]",
87
- "value": [
88
- "ir_data"
89
- ]
90
- }
91
- ]
92
- },
93
- {
94
- "kind": "assign",
95
- "target": "validation_result",
96
- "value": "validateActionSequence_result"
97
- },
98
- {
99
- "kind": "return",
100
- "value": "validation_result"
101
- }
102
- ],
103
- "transitions": [],
104
- "violations": [
105
- {
106
- "svl": 2,
107
- "violatedConstraint": "type_mismatch",
108
- "actionIndex": 0,
109
- "description": "参数数量不匹配: 期望 0, 实际 1"
110
- }
111
- ],
112
- "outcome": "constraint_violation",
113
- "timestamp": 1780064420679,
114
- "llmCallCount": 0,
115
- "durationMs": 0
116
- },
117
- {
118
- "id": "att_1780064425837_wuinb",
119
- "sessionId": "sess_1780064413331_s2709",
120
- "attemptNumber": 3,
121
- "inputIntent": "extract IR then validate",
122
- "plannerSeed": "85f42c5e",
123
- "constraintSnapshotId": "snap_1780064413341_82709ff22603",
124
- "generatedActions": [
125
- {
126
- "kind": "call",
127
- "function": "extractIRPython",
128
- "args": [
129
- {
130
- "name": "projectRoot",
131
- "type": "string",
132
- "value": "{{projectRoot}}"
133
- }
134
- ],
135
- "assignTo": "extractIRPython_result"
136
- },
137
- {
138
- "kind": "call",
139
- "function": "extractDirectCalls",
140
- "args": [
141
- {
142
- "name": "func",
143
- "type": "FunctionDeclaration | ArrowFunction",
144
- "value": "{{func}}"
145
- }
146
- ],
147
- "assignTo": "extractDirectCalls_result"
148
- },
149
- {
150
- "kind": "call",
151
- "function": "extractIR",
152
- "args": [
153
- {
154
- "name": "projectRoot",
155
- "type": "string",
156
- "value": "{{projectRoot}}"
157
- }
158
- ],
159
- "assignTo": "extractIR_result"
160
- },
161
- {
162
- "kind": "call",
163
- "function": "extractFingerprints",
164
- "args": [
165
- {
166
- "name": "cursor",
167
- "type": "{ lastTimestamp: string | null }",
168
- "value": "{{cursor}}"
169
- }
170
- ],
171
- "assignTo": "extractFingerprints_result"
172
- },
173
- {
174
- "kind": "call",
175
- "function": "extractKeywords",
176
- "args": [
177
- {
178
- "name": "intent",
179
- "type": "string",
180
- "value": "{{intent}}"
181
- }
182
- ],
183
- "assignTo": "extractKeywords_result"
184
- },
185
- {
186
- "kind": "call",
187
- "function": "ensureDir",
188
- "args": [
189
- {
190
- "name": "dir",
191
- "type": "string",
192
- "value": "{{dir}}"
193
- }
194
- ],
195
- "assignTo": "ensureDir_result"
196
- },
197
- {
198
- "kind": "call",
199
- "function": "ensureLockDir",
200
- "args": [],
201
- "assignTo": "ensureLockDir_result"
202
- },
203
- {
204
- "kind": "call",
205
- "function": "loadProtocolsFromIR",
206
- "args": [
207
- {
208
- "name": "ir",
209
- "type": "any[]",
210
- "value": "{{ir}}"
211
- }
212
- ],
213
- "assignTo": "loadProtocolsFromIR_result"
214
- },
215
- {
216
- "kind": "call",
217
- "function": "attemptSSGRepair",
218
- "args": [
219
- {
220
- "name": "actions",
221
- "type": "Action[]",
222
- "value": "{{actions}}"
223
- },
224
- {
225
- "name": "rejection",
226
- "type": "SSGRejection",
227
- "value": "{{rejection}}"
228
- },
229
- {
230
- "name": "ir",
231
- "type": "any[]",
232
- "value": "{{ir}}"
233
- },
234
- {
235
- "name": "protocols",
236
- "type": "FunctionProtocol[]",
237
- "value": "{{protocols}}"
238
- },
239
- {
240
- "name": "namespaceInitialStates",
241
- "type": "Map<string, string>",
242
- "value": "{{namespaceInitialStates}}"
243
- }
244
- ],
245
- "assignTo": "attemptSSGRepair_result"
246
- },
247
- {
248
- "kind": "call",
249
- "function": "loadIR",
250
- "args": [],
251
- "assignTo": "loadIR_result"
252
- },
253
- {
254
- "kind": "call",
255
- "function": "mkdirSync",
256
- "args": [
257
- {
258
- "name": "path",
259
- "type": "string",
260
- "value": "{{path}}"
261
- },
262
- {
263
- "name": "options",
264
- "type": "object",
265
- "value": "{{options}}"
266
- }
267
- ]
268
- },
269
- {
270
- "kind": "call",
271
- "function": "readdirSync",
272
- "args": [
273
- {
274
- "name": "path",
275
- "type": "string",
276
- "value": "{{path}}"
277
- }
278
- ],
279
- "assignTo": "readdirSync_result"
280
- },
281
- {
282
- "kind": "call",
283
- "function": "rmdirSync",
284
- "args": [],
285
- "assignTo": "rmdirSync_result"
286
- },
287
- {
288
- "kind": "call",
289
- "function": "require",
290
- "args": [],
291
- "assignTo": "require_result"
292
- },
293
- {
294
- "kind": "call",
295
- "function": "dirname",
296
- "args": [
297
- {
298
- "name": "path",
299
- "type": "string",
300
- "value": "{{path}}"
301
- }
302
- ],
303
- "assignTo": "dirname_result"
304
- },
305
- {
306
- "kind": "call",
307
- "function": "validateProtocolWithTransitions",
308
- "args": [
309
- {
310
- "name": "actions",
311
- "type": "Action[]",
312
- "value": "{{actions}}"
313
- },
314
- {
315
- "name": "protocols",
316
- "type": "FunctionProtocol[]",
317
- "value": "{{protocols}}"
318
- },
319
- {
320
- "name": "namespaceInitialStates",
321
- "type": "Map<string, string>",
322
- "value": "{{namespaceInitialStates}}"
323
- }
324
- ],
325
- "assignTo": "validateProtocolWithTransitions_result"
326
- },
327
- {
328
- "kind": "call",
329
- "function": "validateAction",
330
- "args": [
331
- {
332
- "name": "action",
333
- "type": "Action",
334
- "value": "{{action}}"
335
- }
336
- ],
337
- "assignTo": "validateAction_result"
338
- },
339
- {
340
- "kind": "call",
341
- "function": "validateActionSequence",
342
- "args": [
343
- {
344
- "name": "actions",
345
- "type": "Action[]",
346
- "value": "{{actions}}"
347
- }
348
- ],
349
- "assignTo": "validateActionSequence_result"
350
- }
351
- ],
352
- "transitions": [],
353
- "violations": [],
354
- "outcome": "success",
355
- "timestamp": 1780064425837,
356
- "llmCallCount": 0,
357
- "durationMs": 0
358
- }
359
- ],
360
- "resolved": true,
361
- "startedAt": 1780064413331,
362
- "successfulAttempt": {
363
- "id": "att_1780064425837_wuinb",
364
- "sessionId": "sess_1780064413331_s2709",
365
- "attemptNumber": 3,
366
- "inputIntent": "extract IR then validate",
367
- "plannerSeed": "85f42c5e",
368
- "constraintSnapshotId": "snap_1780064413341_82709ff22603",
369
- "generatedActions": [
370
- {
371
- "kind": "call",
372
- "function": "extractIRPython",
373
- "args": [
374
- {
375
- "name": "projectRoot",
376
- "type": "string",
377
- "value": "{{projectRoot}}"
378
- }
379
- ],
380
- "assignTo": "extractIRPython_result"
381
- },
382
- {
383
- "kind": "call",
384
- "function": "extractDirectCalls",
385
- "args": [
386
- {
387
- "name": "func",
388
- "type": "FunctionDeclaration | ArrowFunction",
389
- "value": "{{func}}"
390
- }
391
- ],
392
- "assignTo": "extractDirectCalls_result"
393
- },
394
- {
395
- "kind": "call",
396
- "function": "extractIR",
397
- "args": [
398
- {
399
- "name": "projectRoot",
400
- "type": "string",
401
- "value": "{{projectRoot}}"
402
- }
403
- ],
404
- "assignTo": "extractIR_result"
405
- },
406
- {
407
- "kind": "call",
408
- "function": "extractFingerprints",
409
- "args": [
410
- {
411
- "name": "cursor",
412
- "type": "{ lastTimestamp: string | null }",
413
- "value": "{{cursor}}"
414
- }
415
- ],
416
- "assignTo": "extractFingerprints_result"
417
- },
418
- {
419
- "kind": "call",
420
- "function": "extractKeywords",
421
- "args": [
422
- {
423
- "name": "intent",
424
- "type": "string",
425
- "value": "{{intent}}"
426
- }
427
- ],
428
- "assignTo": "extractKeywords_result"
429
- },
430
- {
431
- "kind": "call",
432
- "function": "ensureDir",
433
- "args": [
434
- {
435
- "name": "dir",
436
- "type": "string",
437
- "value": "{{dir}}"
438
- }
439
- ],
440
- "assignTo": "ensureDir_result"
441
- },
442
- {
443
- "kind": "call",
444
- "function": "ensureLockDir",
445
- "args": [],
446
- "assignTo": "ensureLockDir_result"
447
- },
448
- {
449
- "kind": "call",
450
- "function": "loadProtocolsFromIR",
451
- "args": [
452
- {
453
- "name": "ir",
454
- "type": "any[]",
455
- "value": "{{ir}}"
456
- }
457
- ],
458
- "assignTo": "loadProtocolsFromIR_result"
459
- },
460
- {
461
- "kind": "call",
462
- "function": "attemptSSGRepair",
463
- "args": [
464
- {
465
- "name": "actions",
466
- "type": "Action[]",
467
- "value": "{{actions}}"
468
- },
469
- {
470
- "name": "rejection",
471
- "type": "SSGRejection",
472
- "value": "{{rejection}}"
473
- },
474
- {
475
- "name": "ir",
476
- "type": "any[]",
477
- "value": "{{ir}}"
478
- },
479
- {
480
- "name": "protocols",
481
- "type": "FunctionProtocol[]",
482
- "value": "{{protocols}}"
483
- },
484
- {
485
- "name": "namespaceInitialStates",
486
- "type": "Map<string, string>",
487
- "value": "{{namespaceInitialStates}}"
488
- }
489
- ],
490
- "assignTo": "attemptSSGRepair_result"
491
- },
492
- {
493
- "kind": "call",
494
- "function": "loadIR",
495
- "args": [],
496
- "assignTo": "loadIR_result"
497
- },
498
- {
499
- "kind": "call",
500
- "function": "mkdirSync",
501
- "args": [
502
- {
503
- "name": "path",
504
- "type": "string",
505
- "value": "{{path}}"
506
- },
507
- {
508
- "name": "options",
509
- "type": "object",
510
- "value": "{{options}}"
511
- }
512
- ]
513
- },
514
- {
515
- "kind": "call",
516
- "function": "readdirSync",
517
- "args": [
518
- {
519
- "name": "path",
520
- "type": "string",
521
- "value": "{{path}}"
522
- }
523
- ],
524
- "assignTo": "readdirSync_result"
525
- },
526
- {
527
- "kind": "call",
528
- "function": "rmdirSync",
529
- "args": [],
530
- "assignTo": "rmdirSync_result"
531
- },
532
- {
533
- "kind": "call",
534
- "function": "require",
535
- "args": [],
536
- "assignTo": "require_result"
537
- },
538
- {
539
- "kind": "call",
540
- "function": "dirname",
541
- "args": [
542
- {
543
- "name": "path",
544
- "type": "string",
545
- "value": "{{path}}"
546
- }
547
- ],
548
- "assignTo": "dirname_result"
549
- },
550
- {
551
- "kind": "call",
552
- "function": "validateProtocolWithTransitions",
553
- "args": [
554
- {
555
- "name": "actions",
556
- "type": "Action[]",
557
- "value": "{{actions}}"
558
- },
559
- {
560
- "name": "protocols",
561
- "type": "FunctionProtocol[]",
562
- "value": "{{protocols}}"
563
- },
564
- {
565
- "name": "namespaceInitialStates",
566
- "type": "Map<string, string>",
567
- "value": "{{namespaceInitialStates}}"
568
- }
569
- ],
570
- "assignTo": "validateProtocolWithTransitions_result"
571
- },
572
- {
573
- "kind": "call",
574
- "function": "validateAction",
575
- "args": [
576
- {
577
- "name": "action",
578
- "type": "Action",
579
- "value": "{{action}}"
580
- }
581
- ],
582
- "assignTo": "validateAction_result"
583
- },
584
- {
585
- "kind": "call",
586
- "function": "validateActionSequence",
587
- "args": [
588
- {
589
- "name": "actions",
590
- "type": "Action[]",
591
- "value": "{{actions}}"
592
- }
593
- ],
594
- "assignTo": "validateActionSequence_result"
595
- }
596
- ],
597
- "transitions": [],
598
- "violations": [],
599
- "outcome": "success",
600
- "timestamp": 1780064425837,
601
- "llmCallCount": 0,
602
- "durationMs": 0
603
- },
604
- "snapshotId": "snap_1780064413341_82709ff22603",
605
- "endedAt": 1780064425837
606
- }