docs: correct agent metadata drift (AGENTS.md status/structure + qemu-boot OVMF claim) - #71
Draft
chbaker0 wants to merge 1 commit into
Draft
docs: correct agent metadata drift (AGENTS.md status/structure + qemu-boot OVMF claim)#71chbaker0 wants to merge 1 commit into
chbaker0 wants to merge 1 commit into
Conversation
Document the checked-in .claude/ tooling, add the edition-2024/lints-deny milestone and Miri path-gating to Project status, fix the buildutil description, bump the date, and correct the qemu-boot skill's stale OVMF-fetch claim (firmware is vendored). Metadata only. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TKMgjYLWDAZMir7QYZx9MH
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 #70.
Corrects agent-metadata drift found auditing
AGENTS.md/CLAUDE.md/.claude/**against actual repo state. Metadata only — no code changes. These are the still-live corrections from prior audits whose fix-PRs (#35, #49, #54) were closed unmerged.What changed & why
AGENTS.md.claude/)" section documenting the tracked assetsAGENTS.mdnever mentioned: theqemu-bootskill, thesource-grounded-explorersubagent, and the Terse output style +settings.json. The "Booting headlessly" section now points at theqemu-bootskill up front (it packages that procedure) while staying the source of truth the skill defers to.Last updatedto 2026-08-11; added the two milestones the status had missed — the workspace move to Rust edition 2024 (Migrate all crates to Rust edition 2024 #33) and the centralization +warn→denypromotion of unsafe/safety lints in[workspace.lints](Centralize unsafe lints via workspace [lints] #36, Promote clippy safety lints to deny #45). Ground truth:Cargo.toml.expensive(Miri) job is now described as path-gated to Miri inputs (fast green no-op otherwise) with a dailyschedule:run for nightly-drift, matchingci.yml. TheVerifying changes§3 Miri note gains the same clarification.buildutildescription: was "helpers shared between build scripts and mkimage"; corrected — onlymkimagedepends on it andmake-image.shnever uses it, so it's a pre-UEFI leftover likemkimage..claude/skills/qemu-boot/SKILL.mdmake-image.sh"fetches OVMF prebuilts (first run only)"; it uses the vendored firmware underthird_party/ovmfand errors if the blobs are missing (since Vendor OVMF firmware so the image build is hermetic #26).Flagged, not implemented (see #70)
/land-prskill.claude-md-managementplugin (to make future drift audits on-demand rather than manual) andrust-analyzer-lsp(trial-first given the multi-target-Zbuild-stdsetup).🤖 Generated with Claude Code
https://claude.ai/code/session_01TKMgjYLWDAZMir7QYZx9MH
Generated by Claude Code