Skip to content

Scaffold airlock + verified-run primitive#1

Merged
ThomasHartDev merged 2 commits into
mainfrom
thomas/feat/scaffold
Jul 18, 2026
Merged

Scaffold airlock + verified-run primitive#1
ThomasHartDev merged 2 commits into
mainfrom
thomas/feat/scaffold

Conversation

@ThomasHartDev

Copy link
Copy Markdown
Owner

sets up the repo from scratch: strict typescript, tsup build, vitest, and a CI workflow, plus the actual primitive this whole thing is built around. runVerified takes some untrusted task, runs it under a deadline with an AbortSignal, and only hands back the value when it beats the clock and passes a post-condition assertion the caller supplies. everything else (timeout, failed assertion, thrown error) comes back as an explicit variant of a discriminated union so you literally can't read the output without proving the run was good first. the in-process tier here can't preempt a synchronous spin loop, that's what the isolated-vm and docker tiers will handle later, but this pins down the contract they'll implement. tests cover the ok path, assertion refusal, timeouts aborting the task, caller cancellation, bad timeout args and a few concurrent runs staying independent.

@ThomasHartDev
ThomasHartDev merged commit 6f0700a into main Jul 18, 2026
1 check passed
@ThomasHartDev
ThomasHartDev deleted the thomas/feat/scaffold branch July 18, 2026 20:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant