mirror of
https://github.com/piabrota/mu.git
synced 2026-11-07 06:15:59 -10:00
9077261221
* Check the journal: journal-check.sh and the factory-change tag (v0-T285) Co-Authored-By: Claude Haiku 5.5 <[email protected]> * journal-check compares the whole index row, refuses a duplicate, and reads quoted and block-style lists (v0-T285 review) Co-Authored-By: Claude Haiku 5.5 <[email protected]> * journal-check reads bare scalar lists and tags in any case (v0-T285 review) Co-Authored-By: Claude Haiku 5.5 <[email protected]> * The proof-run script: setup and the dry run (v0-T290) Co-Authored-By: Claude Sonnet 5.5 <[email protected]> * The proof-run script resolves folders physically, never enters the suites folder, and refuses unsafe paths (v0-T290 review) Co-Authored-By: Claude Sonnet 5.5 <[email protected]> * The proof-run script: the run, the grade and the evidence (v0-T291) Co-Authored-By: Claude Sonnet 5.5 <[email protected]> * The proof-run script gives the credentials to the run only, survives any byte, keeps the run's exit code and passes signals on (v0-T291 review) Co-Authored-By: Claude Sonnet 5.5 <[email protected]> * The proof-run script kills the run's whole process group at the wall clock, starts no run after a stop, and redacts or withholds (v0-T291 review) Co-Authored-By: Claude Sonnet 5.5 <[email protected]> * The proof-run script never echoes a bad credentials line and stops the build on any signal (v0-T291 review) Co-Authored-By: Claude Sonnet 5.5 <[email protected]> * The proof-run test fails if a Ctrl-C does not stop the build within five seconds (v0-T291 review) Co-Authored-By: Claude Sonnet 5.5 <[email protected]> * The proof-run test never waits without a bound (v0-T291 review) Co-Authored-By: Claude Sonnet 5.5 <[email protected]> * The proof-run script survives a terminal's Ctrl-C and hang-up, compares across proof folders, continues a stopped run itself, and cleans up after an abnormal end (ouroboric review) Co-Authored-By: Claude Opus 5.5 <[email protected]> * The proof-run script keeps its report after a Ctrl-C and a closed terminal, and writes proof.meta private (ouroboric review) Co-Authored-By: Claude Opus 5.5 <[email protected]> * The proof-run script keeps only its own files private and runs ygg with the caller's umask (ouroboric review) Co-Authored-By: Claude Opus 5.5 <[email protected]> --------- Co-authored-by: Bruno Guilhermo de Barros Valério <[email protected]> Co-authored-by: Claude Haiku 5.5 <[email protected]>
8 lines
293 B
Plaintext
8 lines
293 B
Plaintext
extends: .yamllint.yaml
|
|
|
|
# The pieces are fragments indented to sit under repos: (the piece contract), not YAML documents.
|
|
# The proof-run example is a template: its places between two at signs are filled by ygg-proof-run.sh.
|
|
ignore: |
|
|
scripts/templates/ci/pieces/
|
|
scripts/testdata/proof/
|