Skip to content

feat(runtime): converge public source runners#526

Merged
cukas merged 1 commit into
mainfrom
feat/kern-5-r2-m3-20-source-runner-convergence
Jul 15, 2026
Merged

feat(runtime): converge public source runners#526
cukas merged 1 commit into
mainfrom
feat/kern-5-r2-m3-20-source-runner-convergence

Conversation

@cukas

@cukas cukas commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

Route machine-eligible source programs through the canonical effect engine, isolate explicit compatibility execution, and promote the portable do contract with guarded blocker and browser-budget evidence.

⚔️ Forged by Agon

What

Why

How

Checklist

  • tsc -b passes
  • pnpm test passes
  • pnpm test:kern passes
  • pnpm lint passes
  • kern review packages/ --recursive checked

Route machine-eligible source programs through the canonical effect engine, isolate explicit compatibility execution, and promote the portable do contract with guarded blocker and browser-budget evidence.

⚔️ Forged by [Agon](https://github.com/KERNlang/agon)

Co-Authored-By: agon (KERN) <292465531+KERN-Agon@users.noreply.github.com>
@cukas
cukas merged commit 449f41a into main Jul 15, 2026
4 checks passed
@cukas
cukas deleted the feat/kern-5-r2-m3-20-source-runner-convergence branch July 15, 2026 05:16
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.

2 participants