Skip to content

docs: what the tree does, not what it did - #93

Merged
aledbf merged 1 commit into
mainfrom
docs/what-is-true
Oct 2, 2026
Merged

aledbf merged 1 commit into
mainfrom
docs/what-is-true

Conversation

@aledbf

@aledbf aledbf commented Oct 1, 2026 •

Copy link
Copy Markdown
Contributor

Prose that says something the tree no longer does:

  • README: no install.sh sits beside LICENSE and NOTICE; nothing ever wrote one
  • qemu/README: qboot "cannot run this machine", while DefaultBIOS is qboot.bin
  • CLAUDE.md: "the qboot probe" as the model of a probe that leaves the release alone; qboot ships now, task boot:firmware is the probe
  • docs/releasing.md: "Five workflows" (there are seven); the count goes
  • qemu/qboot/README: the 2026-09-21 table and measurements.json were host-GCC numbers the file itself called irreproducible, and cited a Dockerfile beside it that ae6ab48 removed. The finding they carried, that the compiler moved the result by a third, stays as one paragraph; the gate's exemption for the JSON goes with it
  • versions.yaml's header names the module kind and github-release track actionlint uses

🤖 Generated with Claude Code


View with [code]smith Autofix with [code]smith
Need help on this PR? Tag @codesmith-bot with what you need. Autofix is disabled.

README named an install.sh nothing writes; qemu/README said qboot cannot run the machine it
is the BIOS of; CLAUDE.md held up a qboot probe that no longer leaves the release alone;
releasing.md counted five workflows of seven. qboot's README keeps the toolchain finding and
drops the host-GCC table and measurements.json it rested on. versions.yaml's header names
the module kind and the github-release track it uses.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@aledbf
aledbf force-pushed the docs/what-is-true branch from 80d2e92 to 62c83c9 Compare October 2, 2026 00:03
@aledbf
aledbf merged commit a8bf0f2 into main Oct 2, 2026
7 checks passed
@aledbf
aledbf deleted the docs/what-is-true branch October 2, 2026 00:06
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.

1 participant