Re-record DEMO.md against the refreshed kernel; shen-upstream rename#12
Merged
Conversation
showboat verify re-executed the full demo; only one block was stale (fib slice: 102 defuns -> 54, kernel-version -> 41.2-s41r.20260711). Re-recorded via showboat verify --output (no hand-edited output blocks); prose figures updated to match (683 kernel functions, 54-defun slice). All five targets still print fib 20 = 6765; final showboat verify passes clean. Also: pyrex41/shen-s41.1 -> pyrex41/shen-upstream (repo renamed; README + KLambda/PROVENANCE.md references updated). Co-Authored-By: Claude Fable 5 <noreply@anthropic.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
1 participant
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.
Closes the follow-up logged in #11: DEMO.md's recorded showboat outputs predated the S41.2 kernel refresh.
What happened
showboat verify DEMO.mdre-executed the entire demo against merged main: only one block was stale (the slice-stats grep: 102 defuns → 54,kernel-version=41.2→41.2-s41r.20260711). All five stage-2 targets still printfib 20 = 6765, including the linux/amd64 Go cross-build checks.showboat verify --output— recorded blocks are real command output, never hand-edited. Prose commentary updated to match (683 kernel functions, 54-defun slice incl. the synthesisedshen.initialise, 629 shaken away).showboat verify DEMO.md: passes clean.pyrex41/shen-s41.1→pyrex41/shen-upstreamin README.md and KLambda/PROVENANCE.md (tag/commit refs unchanged; old URLs redirect).Sibling sources used per target
Several local sibling checkouts sit on feature branches, so the demo ran against worktrees of each port's merged default branch (the migration worktrees, verified to match the merged refs) via a sibling-symlink topology; no user checkouts were touched:
🤖 Generated with Claude Code