Gladex Agent Logs

bump(p1, fig_re)
bump(p2, ctl_re)
PY
c46_p1="$D1/tools/REGISTRY.md"
c46_p2="$D2/tools/REGISTRY.md"
expect "C46a non-vacuity: the live section states BOTH figures as numbers, so the arithmetic below cannot fall over a missing claim" \
  sh -c 'case ${1:-}${2:-} in ""|*[!0-9]*) exit 1;; *) exit 0;; esac' _ "$c46_fig0" "$c46_ctl0"
assert_eq "C46b plant 1 took effect: its assertion figure is the live one bumped by one" \
  "$(( ${c46_fig0:-0} + 1 ))" "$(i_reg_pair "$c46_p1" | cut -d'|' -f1)"
assert_eq "C46c and plant 1 moved ONLY that figure - its control figure is untouched, so the two claims have readers that can disagree independently" \
  "$c46_ctl0" "$(i_reg_pair "$c46_p1" | cut -d'|' -f2)"
assert_eq "C46d plant 2 took effect: its control figure is the live one bumped by one" \
  "$(( ${c46_ctl0:-0} + 1 ))" "$(i_reg_pair "$c46_p2" | cut -d'|' -f2)"
assert_eq "C46e and plant 2 moved ONLY that figure - its assertion figure is untouched" \
  "$c46_fig0" "$(i_reg_pair "$c46_p2" | cut -d'|' -f1)"
assert_eq "C46f each plant changed exactly one line - one removed, one added, per copy - so no other figure and no other section moved under it" \
  4 "$( (diff "$cov_registry" "$c46_p1"; diff "$cov_registry" "$c46_p2") | grep -cE '^[<>]')"

# --- C43 the (126) class: `--help` DECLARES how many negative controls this   ---
> build · mimo-v2.6-flash-free
$ cd /data/repo
sed -n '4545,4592p' tests/test_registry_coverage.sh
# ==========================================================================
# I — (331) the two figures this suite's OWN registry section CLAIMS are read
# against what THIS run produced. `**N assertions**` had two readers of the
# wrong kind: the run that moved it, and no one else. `[0.4.328]` shipped 464
# while the file held 473, and 464 sat nine assertions behind for a whole
# release because nothing compared the claim with a count — (126)'s defect
# one level up, the same shape C43 exists for, a second copy.
#
# So both figures are now read HERE, live, by i_reg_pair(): the assertion
# figure against i0 (the count measured above this header) plus i_sites (the
# assertion call sites below it, counted statically), and the control figure
# against control_ids() — the same reader C43c compares --help's declaration
# with, so the two declarations sit in two places with one reader each and
# neither can drift alone. C46 is the control: it plants each figure bumped
# by one, and I4/I5 judge those plants with the SAME comparisons, which is
# the direction that matters — a reader that reddens when the figure is wrong
# and agrees when it is right, rather than one that merely differs or merely
# agrees.
#
# i_sites is counted from THIS header to the end of the file rather than from
# the top, because the whole file's static sites (414) have never equalled
# the executed count (485) — calls inside loops and inline `&& ok || fail`
# pairs run more than once or sit off column 0. Below this header every site
# runs exactly once, so the two counts are comparable, and I6 — the last
# assertion in the file — is the accounting that says so.
# ==========================================================================
i0=$((PASS + FAIL))
i_sites=$(awk '/^# I — /{f=1} f' "$SELF" \
  | grep -cE '^(assert_[a-z_]+|expect|expect_ok|expect_not|ok|fail) ')
IFS='|' read -r i_fig i_ctl <<< "$(i_reg_pair "$cov_registry")"
expect "I1 non-vacuity: this suite's registry section states BOTH figures as numbers" \
  sh -c 'case ${1:-}${2:-} in ""|*[!0-9]*) exit 1;; *) exit 0;; esac' _ "$i_fig" "$i_ctl"
assert_eq "I2 THE reader: the registry's assertion figure equals what this run produced - the count measured live above this header plus the assertion sites below it - so an assertion added or dropped anywhere reddens the claim instead of leaving it to drift" \
  "${i_fig:-}" "$((i0 + i_sites))"
assert_eq "I3 and the registry's control figure equals the namespaces this file defines - the reader C43c uses, so --help's declaration and the registry's own are each pinned to the same definition and cannot disagree with it" \
  "${i_ctl:-}" "$(control_ids "$SELF" | wc -l | tr -d ' ')"
assert_eq "I4 C46's first plant, judged by the SAME comparison I2 just made: a figure bumped by one reads DIFFERS against the live one - the reader is not one that always agrees" \
  "differs" "$(c43_state "${i_fig:-}" "$(i_reg_pair "$c46_p1" | cut -d'|' -f1)")"
assert_eq "I5 and C46's second plant under I3's comparison: a control figure bumped by one reads DIFFERS too - the two claims have separable readers, each wrong on its own" \
  "differs" "$(c43_state "${i_ctl:-}" "$(i_reg_pair "$c46_p2" | cut -d'|' -f2)")"
assert_eq "I6 accounting, last assertion in the file: the static sites below this header minus this one equal the assertions the section produced - so the total I2 predicted is the total this run prints" \
  "$((i_sites - 1))" "$((PASS + FAIL - i0))"

echo
echo "=== Results: $PASS passed, $FAIL failed ==="
[ "$FAIL" -eq 0 ]
> build · mimo-v2.6-flash-free
← Edit repo/tests/test_registry_coverage.sh
Index: repo/tests/test_registry_coverage.sh
===================================================================
--- repo/tests/test_registry_coverage.sh
+++ repo/tests/test_registry_coverage.sh
@@ -4562,13 +4562,14 @@
 # and agrees when it is right, rather than one that merely differs or merely
 # agrees.
 #
 # i_sites is counted from THIS header to the end of the file rather than from
-# the top, because the whole file's static sites (414) have never equalled
-# the executed count (485) — calls inside loops and inline `&& ok || fail`
-# pairs run more than once or sit off column 0. Below this header every site
-# runs exactly once, so the two counts are comparable, and I6 — the last
-# assertion in the file — is the accounting that says so.
+# the top, because the whole file's static sites (414 when this section was
+# written) have never equalled its EXECUTED count (485 then, 497 now) — calls
+# inside loops and inline `&& ok || fail` pairs run more than once or sit off
+# column 0. Below this header every site runs exactly once, so the two counts
+# are comparable, and I6 — the last assertion in the file — is the accounting
+# that says so.
 # ==========================================================================
 i0=$((PASS + FAIL))
 i_sites=$(awk '/^# I — /{f=1} f' "$SELF" \
   | grep -cE '^(assert_[a-z_]+|expect|expect_ok|expect_not|ok|fail) ')

> build · mimo-v2.6-flash-free
I just edited a comment inside the section the in-flight mutant run will read — bash buffers scripts in blocks, so that run is no longer trustworthy. Killing and restarting it cleanly.
$ pkill -f 'test_registry_coverage.sh' ; sleep 2; pgrep -fa 'test_registry_coverage.sh' | head; echo "killed=$?"
(no output)
> build · mimo-v2.6-flash-free
$ tail -4 /tmp/opencode/r931/mutant.log; echo "---"; grep -cE '^PASS:' /tmp/opencode/r931/mutant.log; grep -cE '^FAIL:' /tmp/opencode/r931/mutant.log
PASS: C14f exactly one violation - the plant, and nothing else
PASS: C15a plant: the section still carries its Exit codes heading
PASS: C15b plant: its table no longer lists a code 2
PASS: C15c plant: the tool still exits 2 - only the table changed
---
74
0
> build · mimo-v2.6-flash-free
$ cd /data/repo && bash -n tests/test_registry_coverage.sh && echo "SYNTAX OK" && git status --porcelain
SYNTAX OK
 M CHANGELOG.md
M  agent-logs/identity-dispatcher.md
 M tests/test_registry_coverage.sh
M  tools/REGISTRY.md
> build · mimo-v2.6-flash-free
A sibling desk has staged files in the shared index — I must not sweep their work into my commit. Inspecting before anything else.
$ cd /data/repo
echo "=== staged (index vs HEAD) ==="
git diff --cached --stat
echo "=== worktree vs index ==="
git diff --stat
echo "=== staged REGISTRY diff (first 40 lines) ==="
git diff --cached tools/REGISTRY.md | head -40
=== staged (index vs HEAD) ===
 agent-logs/identity-dispatcher.md | 1047 +++++++++++++++++++++++++++++++++++++
 tools/REGISTRY.md                 |   21 +-
 2 files changed, 1061 insertions(+), 7 deletions(-)
=== worktree vs index ===
 CHANGELOG.md                    |  18 +++++
 tests/test_registry_coverage.sh | 141 +++++++++++++++++++++++++++++++++++++++-
 2 files changed, 158 insertions(+), 1 deletion(-)
=== staged REGISTRY diff (first 40 lines) ===
diff --git a/tools/REGISTRY.md b/tools/REGISTRY.md
index 994519d..5a9c106 100644
--- a/tools/REGISTRY.md
+++ b/tools/REGISTRY.md
@@ -5603,7 +5603,7 @@ a red that was the assertion's wiring, not the tree's.
 the suite's own path, so a copy run from `/tmp` still reads the real tree.
 
 **Tests**:
-- `bash tests/test_registry_coverage.sh` → **485 assertions** (since (119),
+- `bash tests/test_registry_coverage.sh` → **497 assertions** (since (119),
   `[0.4.176]`, which added control **C33**'s 18, and (120), `[0.4.177]`,
   which added **C34**'s 12 and **C35**'s 10, and (121), `[0.4.178]`, which
   added **C36**'s 19 — 320 → 339 on 2026-10-03 — and (122), `[0.4.179]`,
@@ -5620,13 +5620,20 @@ the suite's own path, so a copy run from `/tmp` still reads the real tree.
   added section **H**'s H0–H3 and control **C44** — 464 → 473 on
   2026-10-13 — and `[0.4.329]`, which widened H to every option row
   (**H4–H8**), added **C44e** and control **C45** — 473 → **485** on
-  2026-10-13 (measured `485 passed, 0 failed`, exit 0; the 464 this line
-  carried until that run was already 9 assertions behind after `[0.4.328]`,
-  which did not refresh it — the run that moves the number owns the refresh,
-  which is why it moved twice in one day here); it was **298** from
+  2026-10-13, and (331), `[0.4.330]`, which gave both of THIS bullet's figures
+  their first reader — section **I** (I1–I6) reads the assertion figure
+  against the count measured live plus the section's own assertion sites, and
+  the control figure against `control_ids()` — with control **C46** planting
+  each of the two figures bumped by one — 485 → **497** on 2026-10-13
+  (measured `497 passed, 0 failed`, exit 0; the 464 this line
+  carried until `[0.4.329]` was already 9 assertions behind after
+  `[0.4.328]`, which did not refresh it — the run that moves the number
+  owns the refresh, which is why it moved three times in one day here, and
+  from `[0.4.330]` a run cannot move it again quietly: I2 reddens the moment
+  the claim and the run disagree); it was **298** from
   `[0.4.176]` until 2026-10-04 and **280** from
   `[0.4.150]`), ~450s (measured
-  7m26s at 464 and 7m17s at 455 on 2026-10-04, 7m24s at 441 and 9m11s at
+  10m10s at 485 on 2026-10-13 and 7m26s at 464 and 7m17s at 455 on 2026-10-04, 7m24s at 441 and 9m11s at
   416 on 2026-10-03 — the count is not what moves
   the clock, the box's load is — against 7m39s at 392, 6m10s at 373, 5m24s at 339, 4m11s at 320 and 3m53s at its previous 264 and 3m38s at 248), no
   EXTERNAL network — the one probe that opens a socket is `smtp-relay-probe
@@ -5634,7 +5641,7 @@ the suite's own path, so a copy run from `/tmp` still reads the real tree.
> build · mimo-v2.6-flash-free
The staged `tools/REGISTRY.md` is my own edit (someone else ran a broad `git add`); the staged `identity-dispatcher.md` is a sibling's and stays out of my pathspec. Restarting the mutant run now, with the test file frozen.
$ cd /data/repo && REGISTRY_COVERAGE_REGISTRY=/tmp/opencode/r931/reg_both.md bash tests/test_registry_coverage.sh > /tmp/opencode/r931/mutant2.log 2>&1; echo "rc=$?" >> /tmp/opencode/r931/mutant2.log
Command moved to the background (shell ID: sh_1341f417e001O9pK32iE9BFUtR).
Output is streaming to: /root/.local/share/opencode/shell/fa3e85b2145a60c127b5c9261e76a7ba6d520299/sh_1341f417e001O9pK32iE9BFUtR.out
> build · mimo-v2.6-flash-free
$ cd /data/repo
./tools/queue-source-check; echo "qsc rc=$?"
queue-source-check: FAIL - 1 violation(s): [0.4.330] is not named in agent-logs/PROGRESS.md - the newest CHANGELOG entry has no record in the authoritative file
  - [0.4.330] is not named in agent-logs/PROGRESS.md - the newest CHANGELOG entry has no record in the authoritative file
qsc rc=1
> build · mimo-v2.6-flash-free
$ cd /data/repo && ./tools/repo-lint 2>&1 | tail -8
repo-lint  repo=/data/repo  sha=31233069e9 (HEAD)  files=426  linted=207  skipped=219
  linted:   bash=65  go=45  json=12  php=62  python=23
  skipped:  binary=2  empty=6  no_shebang=4  unsupported_ext=207
  go-compile: 47 module file(s) compile clean (2.176s)
  changelog-version: 334 changelog version heading(s), 334 unique, 10208 citation(s) checked, 0 missing, 13374 bare token(s) counted
  elf-allowlist: 2 tracked ELF file(s), all shipped
result: all 207 linted file(s) parse clean (exit 0)
> build · mimo-v2.6-flash-free
$ sleep 420; tail -3 /tmp/opencode/r931/mutant2.log
PASS: C38i and C36 is GREEN through it: not one quote violation - the whole gap, named
PASS: C38j all three quotes compared and passed, all three glosses compared and failed
PASS: C39a plant: the definition line now carries a fragment no token of live_gloss() knows
> build · mimo-v2.6-flash-free

Select another run log from the list above. Only files matching run-YYYYMMDD-HHMMSS-N.log are readable.

[Tue Oct 13 09:15:20 2026] 127.0.0.1:40814 Accepted
[Tue Oct 13 09:15:20 2026] 127.0.0.1:40814 Closing
[Tue Oct 13 09:15:20 2026] 127.0.0.1:40826 Accepted
[Tue Oct 13 09:15:20 2026] 127.0.0.1:40826 Closing
[Tue Oct 13 09:15:20 2026] 127.0.0.1:40832 Accepted
[Tue Oct 13 09:15:20 2026] 127.0.0.1:40832 Closing
[Tue Oct 13 09:15:20 2026] 127.0.0.1:40846 Accepted
[Tue Oct 13 09:15:20 2026] 127.0.0.1:40846 Closing
[Tue Oct 13 09:15:20 2026] 127.0.0.1:40856 Accepted
[Tue Oct 13 09:15:20 2026] 127.0.0.1:40856 Closing
[Tue Oct 13 09:15:20 2026] 127.0.0.1:40872 Accepted
[Tue Oct 13 09:15:21 2026] 127.0.0.1:40872 Closing
[Tue Oct 13 09:15:21 2026] 127.0.0.1:40886 Accepted
[Tue Oct 13 09:15:21 2026] 127.0.0.1:40886 Closing
[Tue Oct 13 09:15:21 2026] 127.0.0.1:40888 Accepted
[Tue Oct 13 09:15:21 2026] 127.0.0.1:40888 Closing
[Tue Oct 13 09:15:21 2026] 127.0.0.1:40904 Accepted
[Tue Oct 13 09:15:21 2026] 127.0.0.1:40904 Closing
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38382 Accepted
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38382 Closing
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38394 Accepted
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38394 Closing
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38398 Accepted
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38398 Closing
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38400 Accepted
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38400 Closing
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38414 Accepted
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38414 Closing
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38424 Accepted
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38424 Closing
[Tue Oct 13 09:16:21 2026] 127.0.0.1:38430 Accepted
[Tue Oct 13 09:16:22 2026] 127.0.0.1:38430 Closing
[Tue Oct 13 09:16:22 2026] 127.0.0.1:38438 Accepted
[Tue Oct 13 09:16:22 2026] 127.0.0.1:38438 Closing
[Tue Oct 13 09:16:22 2026] 127.0.0.1:38440 Accepted
[Tue Oct 13 09:16:22 2026] 127.0.0.1:38440 Closing
[Tue Oct 13 09:16:22 2026] 127.0.0.1:38456 Accepted
[Tue Oct 13 09:16:22 2026] 127.0.0.1:38456 Closing
[Tue Oct 13 09:20:39 2026] 127.0.0.1:60236 Accepted
[Tue Oct 13 09:20:39 2026] 127.0.0.1:60236 Closed without sending a request; it was probably just an unused speculative preconnection
[Tue Oct 13 09:20:39 2026] 127.0.0.1:60236 Closing
[Tue Oct 13 09:20:41 2026] 127.0.0.1:60248 Accepted
[Tue Oct 13 09:20:41 2026] 127.0.0.1:60248 Closed without sending a request; it was probably just an unused speculative preconnection
[Tue Oct 13 09:20:41 2026] 127.0.0.1:60248 Closing
[Tue Oct 13 09:21:26 2026] 127.0.0.1:37010 Accepted
[Tue Oct 13 09:21:26 2026] 127.0.0.1:37010 Closed without sending a request; it was probably just an unused speculative preconnection
[Tue Oct 13 09:21:26 2026] 127.0.0.1:37010 Closing
[Tue Oct 13 09:21:28 2026] 127.0.0.1:37014 Accepted
[Tue Oct 13 09:21:28 2026] 127.0.0.1:37014 Closed without sending a request; it was probably just an unused speculative preconnection
[Tue Oct 13 09:21:28 2026] 127.0.0.1:37014 Closing
[Tue Oct 13 09:24:44 2026] 127.0.0.1:53152 Accepted
[Tue Oct 13 09:24:44 2026] 127.0.0.1:53152 Closing
[Tue Oct 13 09:24:54 2026] 127.0.0.1:59602 Accepted
[Tue Oct 13 09:24:54 2026] 127.0.0.1:59602 Closing
[Tue Oct 13 09:26:36 2026] 127.0.0.1:47094 Accepted
[Tue Oct 13 09:26:36 2026] 127.0.0.1:47094 Closing
[Tue Oct 13 09:27:11 2026] 127.0.0.1:38124 Accepted
[Tue Oct 13 09:27:11 2026] 127.0.0.1:38124 Closing
[Tue Oct 13 09:28:17 2026] 127.0.0.1:39744 Accepted

Other app logs: downloads.log