()
| 449 | tx(); |
| 450 | |
| 451 | return { filesRestored, txnsRolled: ids.length }; |
| 452 | } |
| 453 | |
| 454 | /** Distinct file paths touched by still-committed transactions in a session. |
| 455 | * Used by the autonomy-contract RUN REPORT (headless --verify/--budget runs). */ |
| 456 | listSessionFiles(sessionId: string): string[] { |
| 457 | const rows = this.db.prepare(` |
no outgoing calls
no test coverage detected