Finding
The docs-only exemption added for #775 skips the kernel job's source-level wiring-inventory check even when the changed document is the inventory itself. A malformed docs/capability-inventory.toml can therefore receive the required kernel context without the repository mechanism that validates its module coverage, witness claims, and compiled-only ownership reasons.
Evidence
PR #943 is an affirmative docs-only witness:
PR #943 itself is safe: an independent local scripts/check-wiring-inventory.sh --no-log run reports all 121 modules classified across 30 capabilities and all declared witness/source invariants valid. The gap is in admission for a future inventory edit.
Desired correction
Run the source-only half of the canonical checker for docs-only changes, preferably in the fast fmt job:
scripts/check-wiring-inventory.sh --no-log
Keep boot-log assertion in the full kernel path. Do not duplicate the checker or weaken the docs-only exemption.
Done when a docs-only change to docs/capability-inventory.toml still avoids kernel build/QEMU work but cannot merge with an unclassified/duplicate module, missing witness assertion, or ownerless compiled-only capability.
Finding
The docs-only exemption added for #775 skips the kernel job's source-level wiring-inventory check even when the changed document is the inventory itself. A malformed
docs/capability-inventory.tomlcan therefore receive the required kernel context without the repository mechanism that validates its module coverage, witness claims, and compiled-only ownership reasons.Evidence
PR #943 is an affirmative docs-only witness:
scripts/check-wiring-inventory.shis one of those skipped steps.github/workflows/ci.ymlinvokes itPR #943 itself is safe: an independent local
scripts/check-wiring-inventory.sh --no-logrun reports all 121 modules classified across 30 capabilities and all declared witness/source invariants valid. The gap is in admission for a future inventory edit.Desired correction
Run the source-only half of the canonical checker for docs-only changes, preferably in the fast
fmtjob:Keep boot-log assertion in the full kernel path. Do not duplicate the checker or weaken the docs-only exemption.
Done when a docs-only change to
docs/capability-inventory.tomlstill avoids kernel build/QEMU work but cannot merge with an unclassified/duplicate module, missing witness assertion, or ownerless compiled-only capability.