Skip to content

docs: correct AGENTS.md metadata drift - #63

Draft
chbaker0 wants to merge 1 commit into
masterfrom
claude/trusting-albattani-czxmjk
Draft

docs: correct AGENTS.md metadata drift#63
chbaker0 wants to merge 1 commit into
masterfrom
claude/trusting-albattani-czxmjk

Conversation

@chbaker0

@chbaker0 chbaker0 commented Aug 3, 2026

Copy link
Copy Markdown
Owner

Filed by an AI coding agent (Claude Code).

Addresses #62.

Metadata-only fixes to AGENTS.md (no code changes). Corrects drift found auditing the Claude/agent metadata against current repo state.

What changed and why

  1. Bumped the stale status stamp 2026-07-212026-07-24. The "Project status" section's own newest content (the clippy safety-lint deny gate, 2026-07-23) and the Terse output style (2026-07-24) both postdate the old stamp.

  2. Documented the edition-2024 + workspace-lints migration. All crates moved to Rust edition 2024 and the unsafe/safety lints were centralized in the root [workspace.lints] (each crate opts in via lints.workspace = true). Added a short note calling out the two non-obvious consequences: a new crate silently escapes the deny-gate without that line, and the safety lints deny locally too, not only in CI. Also noted the vendored-OVMF/hermetic-build change landed in the same window.

  3. Added an "Agent tooling" section describing .claude/ — the workspace-wide Terse output style, the source-grounded-explorer subagent, and the qemu-boot skill — plus a back-reference to it from "Booting headlessly" (which the skill automates).

Not in this PR


🤖 Generated with Claude Code

https://claude.ai/code/session_01Q6RqEaeYJVADJMRGyg1Lvo


Generated by Claude Code

Bump stale status date, document the edition-2024 + workspace-lints
migration, and surface the .claude/ agent tooling.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Q6RqEaeYJVADJMRGyg1Lvo
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants