The mc package names its check unit; the release job names the registry until the flip - #33
Merged
Conversation
…gistry until the flip mc.toml gains [package].check = ["src/mc_linux_x86_64.mc"], the one translation unit the registry's validator compiles inside its box (docs/specs/M47-S5.md § 3: the lib alone needs a host layer first). The compiler ignores the key; the tree hash moves because mc.toml is hashed (mc and scripts/pkg-hash.sh agree: 415d2341...cde0). release.yml's publish-to-registry job passes registry/index explicitly: the apex is still GitHub Pages and answered 405 to v0.15.4's POST /poll. Both lines go away at the apex flip. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Collaborator
Author
|
Merging: CI 14/14 green, mergeable clean, patch. Authored and read by the architect: one manifest key the compiler ignores (the tree hash agrees on both roads) and two explicit action inputs to be removed at the apex flip. |
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
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.
Follow-up to #32 (S5).
mc.tomlgains[package].check = ["src/mc_linux_x86_64.mc"]-- the translation unit the registry's validator compiles inside its box (docs/specs/M47-S5.md§ 3: the lib alone needs a host layer first; the registry's S5b implements the key). The compiler ignores the key; the tree hash moves because the manifest is hashed:build/mc1 pkg hash .andscripts/pkg-hash.sh .both answer415d2341079842bd0337154fdc6bc25f39609a754f7b3c92935fdaabaa60cde0.release.yml'spublish-to-registryjob now passesregistry: https://next.minicompiler.devandindex: https://pkg.minicompiler.dev: v0.15.4's run reached the apex, which is still GitHub Pages, and got a 405 from Pages instead of the registry's answer. Both lines are removed at the apex flip. Patch, no release label.🤖 Generated with Claude Code