chore(deps): bump @kernlang family 3.5.8 → 4.0.0#208
Merged
Conversation
KERN 4.0 — own core runtime (IR interpreter + core-contracts) and the
new `kern check` nominal type checker. Compile flow unchanged for all
agon targets; regenerated output diff is version headers plus a
cosmetic empty-arrow-body print change (() => {} → () => { }).
Full gate: kern:compile green, build green, 2923/2924 tests green.
The one red is the live claude /model PTY probe e2e — the claude CLI
picker no longer marks a (current) row (Fable-era TUI drift), which is
an @kernlang/agon-engines model_probe.py issue independent of this bump.
⚔️ Forged by [Agon](https://github.com/KERNlang/agon)
Co-Authored-By: agon (KERN) <292465531+KERN-Agon@users.noreply.github.com>
Every workspace's kern:compile now runs `kern check <srcDir> --quiet` (KERN 4.0 nominal type checker: override variance, call arity/arg types, declared-return contracts) before compiling; a red check blocks the compile. Zero-false-positive by design. AGON_SKIP_KERN_CHECK=1 opts out. Baseline: all 325 .kern files across 6 workspaces check clean. ⚔️ Forged by [Agon](https://github.com/KERNlang/agon) Co-Authored-By: agon (KERN) <292465531+KERN-Agon@users.noreply.github.com>
Picks up the kern-engines release with the Fable/Mythos picker-row fix and the ask/ask_stream empty-settle guard. The live claude /model e2e is green again: full suite now 2924/2924. ⚔️ Forged by [Agon](https://github.com/KERNlang/agon) Co-Authored-By: agon (KERN) <292465531+KERN-Agon@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
KERN 4.0 — own core runtime (IR interpreter + core-contracts) and the new
kern checknominal type checker. Compile flow unchanged for all agon targets; regenerated output diff is version headers plus a cosmetic empty-arrow-body print change (() => {} → () => { }).Full gate: kern:compile green, build green, 2923/2924 tests green. The one red is the live claude /model PTY probe e2e — the claude CLI picker no longer marks a (current) row (Fable-era TUI drift), which is an @kernlang/agon-engines model_probe.py issue independent of this bump.
⚔️ Forged by Agon