Repository navigation
fix(reuse): ignore the gate receipt and print REUSE findings - #10
Merged
Merged
Conversation
The Praetor gate writes .standards-receipt.json at the repository root, and reuse lint refused it (no licence identifier), while the REUSE check ran with --quiet and printed nothing but a failure (engine ledger engine-receipt-reuse-template-1800). - praetorctl adopt (engine 603d6a34) re-rendered the managed .gitignore block to v4: it ignores /.standards-receipt.json and /.claude/settings.local.json. No other managed file changed. - tools/check_reuse.py runs reuse lint --lines and prints each finding on failure. - Its selftest runs in a scratch git repository, so .gitignore applies as in the checkout: a planted gate receipt passes, and a planted file without licence information fails with its path named. Mutants: without the receipt line in .gitignore the selftest fails on the receipt; with --quiet restored it fails because the planted file is not named. Signed-off-by: lusoris <lusoris@proton.me>
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
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.
Pull Request
Description
The Praetor gate writes
.standards-receipt.jsonat the repository root, andreuse lintrefused it (no licence identifier), while the REUSE check ran with--quietand printed only a failure (engine ledger engine-receipt-reuse-template-1800).praetorctl adopt(engine 603d6a34) re-rendered the managed.gitignoreblock to v4: it now ignores/.standards-receipt.jsonand/.claude/settings.local.json. No other managed file changed.tools/check_reuse.pyrunsreuse lint --linesand prints each finding on failure..gitignoreapplies as in the checkout: a planted gate receipt passes, and a planted file without licence information fails with its path named.Mutants: without the receipt line in
.gitignorethe selftest fails on the receipt; with--quietrestored it fails because the planted file is not named.Pre-Merge Verification Checklist
make verify-allstandardsctl compile-context --verify