docs: correct AGENTS.md metadata drift (date, edition-2024/lints milestone, buildutil) - #49
Closed
chbaker0 wants to merge 1 commit into
Closed
docs: correct AGENTS.md metadata drift (date, edition-2024/lints milestone, buildutil)#49chbaker0 wants to merge 1 commit into
chbaker0 wants to merge 1 commit into
Conversation
Refresh Project status (edition 2024 + workspace-lints milestone, date) and fix the stale buildutil description. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_016p2sv1h2shquYStZuV9hzs
chbaker0
added a commit
that referenced
this pull request
Jul 27, 2026
Ports the non-overlapping corrections from the other three open drift PRs so a single PR can land and the rest can close: - #49: edition-2024/workspace-lints milestone in Project status; corrected buildutil description (mkimage-only consumer, pre-UEFI leftover) - #35: Miri path-gating + daily scheduled run in Project status and Verifying changes; qemu-boot SKILL.md vendored-OVMF correction - #54: Last-updated date to 2026-07-26 All claims re-verified against Cargo.toml, ci.yml, and make-image.sh at head. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Owner
Author
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
2 participants
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.
Filed by an AI coding agent (Claude Code).
Addresses #48.
Corrects agent-metadata drift found auditing
AGENTS.md/CLAUDE.md/.claude/**against actual repo state (anchor7761ef0→HEAD). Metadata only — no code changes. All changes are inAGENTS.md.What changed & why
Project status date + milestone. Bumped
Last updated 2026-07-21→2026-07-24, and added the two structural changes the status had missed: the workspace's move to Rust edition 2024 (PR Migrate all crates to Rust edition 2024 #33) and the centralization of unsafe/safety lints in[workspace.lints](PR Centralize unsafe lints via workspace [lints] #36; safety clippy lints promoted todenyin PR Promote clippy safety lints to deny #45). Ground truth:Cargo.tomlnow carriesedition = "2024"and the[workspace.lints.*]tables. The status previously peaked at "just finished the UEFI migration," which is several PRs stale.buildutildescription. Was "helpers shared between build scripts and mkimage." Corrected to reflect reality:buildutilis depended on only bymkimage(perCargo.toml+ a source grep); the livemake-image.shpath never uses it, so — likemkimage— it's effectively a pre-UEFI leftover.Deliberately not touched here
Left as follow-ups (see #48): the stale
README.mdthatAGENTS.mddefers to (OVMF is now vendored, not fetched), the deadmultiboot2kernel dependency, and adopting external tooling (e.g. the CLAUDE.md Management Plugin) to make future drift audits less manual. Those are out of scope for a metadata-only correction.Generated by Claude Code