Repository navigation
docs(release): document published runtime choices - #58
Merged
Merged
Conversation
Draft instructions for core 0.1.1, CLI 0.1.2 and extension 0.5.0. Keep off main until publication, digest pins and host evidence pass.
Prepare the 0.5.0 recipe from qualified workflow 40777545069. Verify these exact bytes against the published release before landing.
Record released package and extension checks, refresh host evidence and archive the completed process MEP change. Isolate qualification caches after reproducing stale pip metadata.
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
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.
The published packages and dual-runtime extension are now available, but the site still points to the earlier release. Update the installation, API/CLI and Rust-host recipes to core 0.1.1, CLI/native 0.1.2 and extension 0.5.0, using digests verified against actual public downloads. Preserve the MoonBit-derived colors and landing-page layout, and keep unsupported MoonBit routes explicit.
Add a checked download recipe for the separate WASM/process bundles, refresh the committed host evidence, and archive
add-process-mep-extensionafter confirming all nine requirements already match the main specs. Isolate pip/uv qualification caches after independently reproducing stale user-global pip metadata; both actual published mise installers pass with the fix. No published compiler or package implementation changes.Validation:
mise run checkpasses 2,638 tests with five intentional skips, BDD, strict mypy/pyright and Ruff; the full documentation examples, site build/check, 20 browser cases and strict OpenSpec validation pass. Public PyPI/GitHub downloads match qualified artifact bytes. Extension assets pass all checksums, eleven archive-member/mode checks, six canonical MCK report/recheck transfers totaling 546 observations, and actual offline WASM/process/WASM switching with tampering and unsupported-platform refusals. Fresh public API/CLI examples and actual mise/uv plus mise/pipx installs pass.Successful releases: native, core, CLI, extension. The archive records exact source commits and preserves the failed CLI tag history. Tracker: morphir-5hxy, morphir-5hxy.6 through .9. All merges and deployments are maintainer approved.