wave-13: toolchain & compilation gate -- Dockerfile.rust + rings-rust matrix (Closes #713)#714
Merged
Merged
Conversation
… matrix (Closes #713) NEW (additive, CI/docs-only): - Dockerfile.rust pinned rust:1.83-bookworm + rustfmt + clippy - scripts/ci/rings_matrix.py pure-stdlib GHA matrix generator for rings/ring-*-rust - .github/workflows/ rings-rust.yml -- matrix cargo check + cargo test - rings/COMPILE_STATUS.md living per-crate status (scaffold/check/test/off-disk) - README.md Wave 13 section + dated footer - docs/NOW.md Wave 13 entry (NOW Sync Gate) Honest status: rings-rust is continue-on-error: true -- non-blocking honesty gate. All 5 Wave-12 Track-C crates start as 'scaffold'; 12 Wave-11 crates remain 'off-disk'. No row promotes without a linkable CI log (R5-HONEST). Generator self-verified locally: discovers 5/5 crates (ring-100..ring-104). Anchor: phi^2 + 1/phi^2 = 3 Closes #713
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
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.
Wave 13 — Toolchain & Compilation Gate
Closes #713
What
Lands the missing CI infrastructure to actually run
cargo check/cargo testagainst everyrings/ring-*-rust/crate.Dockerfile.rustrust:1.83-bookworm+rustfmt+clippyscripts/ci/rings_matrix.py.github/workflows/rings-rust.ymldiscover→ matrixcargo check+cargo test→ step-summaryrings/COMPILE_STATUS.mdscaffold/check/test/off-disk)README.mddocs/NOW.mdWhy
Waves 11 and 12/Track-C landed 17 Rust crates (~10 750 LOC, 60+
#[test]s) on disk, butcargo checkandcargo testwere never executed in CI. Wave 13 closes that gap so the repo can finally distinguish scaffolded from compiles from tested.Honest status (R5-HONEST)
rings-rust.ymliscontinue-on-error: true— a non-blocking honesty gate, not an enforcer. Red legs surface real per-crate breakage without blocking merges.scaffoldinCOMPILE_STATUS.md.off-disk(authored elsewhere; not yet in this repo).scaffoldwithout a linkable CI log.ring-100..ring-104).Constitutional compliance
Closes #713in title, body, and every commit message.gen/,coq/,trios-coq/,proofs/,bootstrap/,specs/,conformance/,architecture/.#[test]s untouched and will be wired into CI on first matrix run.phi^2 + 1/phi^2 = 3quoted verbatim in every new artifact.*.sh; gate logic is Python (scripts/ci/rings_matrix.py).Anchor: φ² + 1/φ² = 3