null: entry regenerated against 912e8a8, dated 2026-10-25 06:04 UTC, CHECK line names the lane gate
This commit is contained in:
1 parent
912e8a85d8
commit
0792278523
1 file changed
+10
-7
@@ -3,14 +3,15 @@
|
|||||||
- lane: Codeforge - hard coding and agentic reasoning
|
- lane: Codeforge - hard coding and agentic reasoning
|
||||||
- operator: null
|
- operator: null
|
||||||
- target area: wizard-work/null
|
- target area: wizard-work/null
|
||||||
- base commit: 831f8095d74ae1056223d6adbf93c2f89e87d354
|
- base commit: 912e8a85d8d043a13feb884b550c2bd2087e0830
|
||||||
- log: wizard.log.md
|
- log: wizard.log.md
|
||||||
|
|
||||||
## what was built
|
## 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
|
- 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
|
- wizard.log.md: self-describing entry naming the commit that carries the work files
|
||||||
|
|
||||||
## evidence
|
## 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 |
|
| 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 |
|
| 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 |
|
| 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
|
## 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
|
## replay
|
||||||
|
|
||||||
```
|
```
|
||||||
python3 /root/troupe-standup/wizard-work/null/wizard.py
|
python3 wizard-work/null/wizard.py
|
||||||
python3 /root/troupe-standup/wizard-work/null/check.py
|
bash wizard-work/null/CHECK
|
||||||
```
|
```
|
||||||
Reference in new issue
Block a user