PR CI acceleration, SPEC-009, and the repairs of #756 and #757 - #759
Draft
speak-agent wants to merge 11 commits into
Draft
speak-agent wants to merge 11 commits into
speak-agent wants to merge 11 commits into
Conversation
Add SPEC-009 (docs/specs/toolchain-maintenance.md), the toolchain specification approved in review on 2026-10-02: support tiers, the single line table, whole-line moves, provenance, what supporting a line means, the compiler-defect register, host platform releases, mirrors, the order and the gate (G1 to G6, 10 percent) for moving a default, machines that already have a default, mcpp building with what it gives, and the conformance checks C1 to C7. Each rule carries an implementation status and, where the status is not "implemented", the current behaviour. SPEC-006 section 7 becomes a reference to SPEC-009 section 10 (v0.6); the order of moving a C-library binding is carried into SPEC-009 section 10.10. The specification index and both documentation indexes list SPEC-009.
… caches, timed shards and a coverage check ci.yml classifies the change, runs the documentation checks, builds mcpp once per host (build.yml) and calls the per-area workflows, which take that build through use-built-mcpp instead of building their own. Caches are restored by every job and saved only by one job per key on a push to main; target/ is no longer cached. The e2e shards are assigned by measured duration (tests/e2e/timings) and write per-test reports that check_e2e_coverage.py reads: every test runs on some host, is run by a dedicated job, or is excused with a reason. run_all.sh grants llvm on Linux and probes musl and mingw-cross by family rather than by release.
… library and links nothing
…d, and each path dependency is classified by its own package (#757, #756) #757. build.ninja names the engine that wrote it by absolute path, and the emitter assumed that a new engine plans the graph again because the version is a fingerprint input. No fast path computes a fingerprint, so after an upgrade that removed the previous install the recorded graph was replayed and every action started a program that no longer existed. - BuildCacheEntry records the engine that wrote the graph: its version and mcpp_exe_path(), the function the emitter writes into the graph (now exported from mcpp.build.ninja so the two cannot be spelled apart). An entry that predates the field declines once ("the recorded build predates the engine identity"). - The gates the three fast paths share are one function, admit_recorded_build: the engine, the runtime binding and environment key, the fingerprint directory, the graph's existence, mode and request tag, the freshness of the runtime, the manifest and the project's sources, the recorded path-dependency roots, the xlings payloads, the toolchain named by path, and the artifact snapshot. try_fast_build, try_fast_workspace_build and try_fast_run call it and keep only their own gates (the selection, a program to run, a runner, the run tier). A field added to the record is checked in one place. #756. The freshness sweep classified every path-dependency tree with the consumer's extension table, so a provider's `.ixx` (declared only by the provider) was a file of no interest and an edit to its host module was replayed as "no work". - The plan records each root with its own package's module_extensions and device_extensions (DepSourceRoot), from the effective manifest. - The record carries them in a count-prefixed `depSources=` block; the block that listed the paths alone is read past and left unrecorded, so such an entry declines once. - dep_sources_newer_than classifies the files below each root with that root's table. Tests: e2e 878 (an engine moved to another path does not replay the old graph; the record written before the field declines once; `mcpp run`), e2e 879 (a provider's `.ixx` reaches the project, run and workspace fast paths with a consumer that declares nothing; an aged record declines once), and unit tests of the engine decision, the admission order, the record's round trip and the per-root sweep.
admit_recorded_build reads the `$mcpp` binding of build.ninja (read_engine_binding) and declines a graph that runs another engine, which the record alone cannot see when another install's --configure-only rewrote the graph. e2e 878 gains section E; three unit tests cover the reader. The version is 2026.10.2.1, with its CHANGELOG entry.
…hat falls back to the whole CI, a concurrency group per push to main, cache keys that name the install list, a step for the shard's installs, and a record that leaves a tab-holding root unrecorded
…and a 5-line tighten so src/build/prepare/plan.cpp is back under the 2,500-line gate The third CI round (run 36946677551) had two failures from the #756/#757 commit's +12 lines: - Windows clang+MSVC STL would not compile a literal returned directly to std::optional<std::string> in engine_declined_because (execute.cppm:189). std::string(...) makes the conversion explicit and identical on every STL. - src/build/prepare/plan.cpp went from 2,491 to 2,503 lines, three over the check_file_lengths.sh cap. The new rootOf/recorded lambdas in step13_source_packages carry DepSourceRoot (a comment is redundant with the struct's own), and the two are tight enough to put the file back at 2,498. No semantic change. Local unit tests: 20/20 BuildCacheRecord tests pass (BuildCacheRecord, DepSourcesNewerThan, ReadEngineBinding).
This branch has not been deployed
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.
Design record:
.agents/docs/2026-10-02-pr-ci-acceleration-and-the-toolchain-specification-design.md.This pull request is in progress. It carries, in one change:
ci.ymlruns the CI of one commit in stages:changesclassifies the paths (a change of documentation that nothing reads runs the documentation checks only),docsruns the checks that need no binary,build.ymlbuilds mcpp once per host, and the per-area workflows, now reusable, take that build through.github/actions/use-built-mcppinstead of building their own. Caches are saved by one job per key, on a push to main only;target/is no longer cached. The e2e shards are assigned by measured duration and report per test, ande2e-coveragerequires every test to run somewhere or to say why it cannot.Measured before the change (seven commits, 2026-10-01): 30 to 37 builds of mcpp per commit, 44 to 49 percent of 417 to 568 runner minutes; the 20-slot limit reached on every commit; a documentation-only commit costing 436 runner minutes; 24 e2e tests that ran on no runner.