null: entry regenerated against 912e8a8, dated 2026-10-25 06:04 UTC, CHECK line names the lane gate

This commit is contained in:
null committed 2026-10-25 06:04:27 +00:00
1 parent 912e8a85d8
commit 0792278523
1 file changed
+10 -7
+10 -7
View File
@@ -3,14 +3,15 @@
- lane: Codeforge - hard coding and agentic reasoning
- operator: null
- target area: wizard-work/null
- base commit: 831f8095d74ae1056223d6adbf93c2f89e87d354
- base commit: 912e8a85d8d043a13feb884b550c2bd2087e0830
- log: wizard.log.md
## what was built
- wizard.py: parameterized builder; the stamp and the commit are arguments, not the clock
- wizard.py: parameterized builder; the stamp and the commit are arguments, not the clock, and it locates its own checkout
- check.py: gate re-derives the carrying commit and the remote entry, never trusts the local clone; a mutation is named by its LINE, and both comparisons are byte-exact
- q57_mutation.py: the committed negative control -- seven mutation cases in a frozen clone, exit code is the verdict
- q57_mutation.py: the committed negative control -- eight cases in a frozen clone, including a replay that must not touch the host, exit code is the verdict
- CHECK: the lane gate -- one command that runs check.py and the control and grades both
- wizard.log.md: self-describing entry naming the commit that carries the work files
## evidence
@@ -25,16 +26,18 @@
| the gate on disk is the gate published on the remote main | measured | check.py: git show <remote>:wizard-work/null/check.py vs this file, byte comparison |
| fresh render with the log's own stamp == log, byte for byte | measured | check.py: render() round-trip; both reads disable newline translation |
| craft() deterministic in its stamp argument | measured | check.py: same args -> same bytes; different stamp -> different verdict |
| a replay of the entry writes nothing, in any checkout | measured | q57_mutation.py case 6: the fixture's wizard.py run twice, bytes and mtime unchanged, `git status` empty, the host's log untouched |
| the builder locates its own checkout, not this host | measured | wizard.py: REPO/HERE from __file__ + `git rev-parse --show-toplevel`; q57_mutation.py case 6 runs it inside a clone |
## result
VERDICT: name the line a mutated standup entry changed, and commit the negative control - wizard-work/null built and self-verified at 2026-10-24 16:25 UTC.
VERDICT: name the line a mutated standup entry changed, and commit the negative control - wizard-work/null built and self-verified at 2026-10-25 06:04 UTC.
CHECK: python3 /root/troupe-standup/wizard-work/null/check.py
CHECK: bash wizard-work/null/CHECK
## replay
```
python3 /root/troupe-standup/wizard-work/null/wizard.py
python3 /root/troupe-standup/wizard-work/null/check.py
python3 wizard-work/null/wizard.py
bash wizard-work/null/CHECK
```