Repository navigation
Promote agents to dev (agents-to-dev-2026-10-09) - #4
Merged
Merged
Conversation
Adopts the committed-binaries tier of the MCL Standard Hook Set (mcl-standard-hooks) in the portable committed form, per metacraft-dev-guidelines/policies/repo-requirements.md 4.3. Before this commit this repository had neither a .pre-commit-config.yaml nor a .git/hooks/pre-commit, so 4.3 was enforced here by nothing. Both hooks act on files a commit ADDS (git diff --staged --diff-filter=A), so adoption cannot retroactively fail anything already tracked. Verified here, in both directions, before this commit: an added *.ct file and an added member of a *.ct/ directory are each refused by name by ban-added-ct-recordings; an added 2 MiB file is refused by check-added-large-files as "exceeds 1024 KB"; and this commit, an ordinary one, passes both.
verno now follows the product-repository branch model: `dev` is the mainline, `stable` will carry releases, and `agents` is the agent landing branch. `main` is being retired, so a push filter naming it would stop CI from running on any branch without reporting anything. Pull requests are filtered to the same two bases, so pull requests into `agents` (which has no CI by policy) do not run the workflow either. The documentation link to scripts/run-corpus.py now points at `dev`.
The machine-readable report documentation, the payload module and the harness scripts cited documents that readers of this repository cannot open, and labelled passages with internal work-item identifiers. Each passage now states the rule it relies on directly. The contract is still checked from both sides through conformance/codetracer-payload/, which is the public, executable form of it. No code or behaviour changes.
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.
Stabilisation of
agentscut at 6b79bd6. This is the first promotion since verno moved to the product branch model (devmainline,agentslanding branch).Contents:
devandstable(push and pull request) instead ofmain, which has been retired..ctrecordings.Verified locally on Linux x86_64, in the repository's dev shell:
./scripts/check-noir-pin.sh,cargo check --workspace --all-targets --locked,cargo test -p formal_verification --lib --locked,cargo fmt --all -- --check, and the pre-commit hooks over all files.Not verified locally: the corpus job (it needs the venir toolchain; CI runs it).
Certificates: none (not a reprobuild test-certificate repository).