Gladex Agent Logs

> 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
@@ -1183,10 +1183,14 @@
      and reported against BOTH counts - what is committed (`fig_head`) and what
      is checked out (`fig_disc`) - so a stale figure names the side that moved
      (queue item (83); C31 is the control, and the only one that builds a
      repository), and since (119) the undated half reads every numeric
-     `- Live:` bullet instead of `<N> suites` alone (C33 plants both shapes:
-     a bullet with no figure, and the figure line both selectors match)
+     `Live` claim line instead of `<N> suites` alone (C33 plants both
+     shapes: a bullet with no figure, and the figure line both selectors
+     match), and since (120) every one of those readers takes "claim line"
+     from ONE definition, `LIVE_RE`, which admits an indented continuation —
+     C34 undates one and C35 gives one a suite figure, and C34c asserts the
+     old `^- Live` spelling cannot see the plant at all
   G  a documented exit code 2 is also probed for a bad VALUE of a flag the tool
      really defines: `--format xml` and a missing `--format` for every tool
      whose --help advertises it, `--timeout 0` for every table whose own exit-2 bullet promises it,
      a `PORT` metavar, a value outside an ENUM metavar's own list and a

> build · mimo-v2.6-flash-free
$ cd /data/repo && sed -n '1210,1265p' tests/test_registry_coverage.sh
a synopsis that names no flag, a value its metavar's own type rules out —
enum and quantity planted together — and a DECLARED non-2 code that stops
being true, C32)

hooks (env): REGISTRY_COVERAGE_TOOLS_DIR, REGISTRY_COVERAGE_REGISTRY,
             REGISTRY_COVERAGE_TESTS_DIR, REGISTRY_COVERAGE_CHILD (internal)

exit codes:
  0  all assertions pass
  1  one or more assertions failed
  2  invalid arguments
EOF
  exit 0
fi
if [ $# -gt 0 ]; then
  echo "test_registry_coverage.sh: unknown argument: $1 (try --help)" >&2
  exit 2
fi

# --------------------------------------------------------------------------
# Sandbox helpers — every control gets a fresh, independent copy.
# --------------------------------------------------------------------------
SBROOT=$(mktemp -d "${TMPDIR:-/tmp}/opencode/regcov.XXXXXX") || exit 1
trap 'rm -rf "$SBROOT"' EXIT

# fresh <case> -> path of a pristine copy of tools/ + REGISTRY.md, plus the
# tests/ tree the registered sections name. The WHOLE tree is copied, not just
# those five names: section F asks the copied `regression-run --list` how many
# suites exist, so a sandbox holding only stubs would answer 5 where the live
# tree answers 62 and every control would trip `figure_stale` for a reason of
# its own — the control environment must not change the truth it measures.
fresh() {
  local d="$SBROOT/$1" f t
  rm -rf "$d"
  mkdir -p "$d/tools" "$d/tests"
  for f in "$cov_tools"/*; do
    [ -f "$f" ] && cp "$f" "$d/tools/"
  done
  for f in "$cov_tests"/*; do
    [ -f "$f" ] && cp "$f" "$d/tests/"
  done
  # Registered-but-absent suites still get a stub, so the reverse direction of
  # the coverage check keeps reading existence rather than content. Nothing
  # truncates a copy that is already there.
  for t in $(sed -n 's/^## \(test_[A-Za-z0-9._-]*\)$/\1/p' "$d/tools/REGISTRY.md"); do
    [ -f "$d/tests/$t" ] || : > "$d/tests/$t"
  done
  printf '%s' "$d"
}

# run_child <sandbox> -> OUT, RC.  The ONLY way the checker is invoked here.
run_child() {
  local d="$1"
  OUT=$(REGISTRY_COVERAGE_CHILD=1 \
        REGISTRY_COVERAGE_TOOLS_DIR="$d/tools" \
        REGISTRY_COVERAGE_REGISTRY="$d/tools/REGISTRY.md" \
> 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
@@ -2525,8 +2525,108 @@
 assert_eq "C33q fig_undated counted the line once, not once per selector" 1 "$(sget fig_undated)"
 assert_eq "C33r and the figure itself was never called stale (only its date was removed)" \
   0 "$(sget fig_stale)"
 
+# --- C34 the (120) class: an INDENTED `Live` claim line that loses its date --
+# (119) widened WHAT is checked but not WHICH LINES are checked: the selector
+# was still the literal `^- Live`, written in this file's comment and quoted
+# in REGISTRY.md, so a claim line that is a continuation of its own bullet was
+# outside the rule by whitespace alone. The registry held five such lines,
+# three of them numeric and none dated, and none of the three could be reached
+# by any control. The plant takes an indented line that IS dated — so the only
+# thing that changes is the date — and C34c proves the old spelling could not
+# see it, which is the defect stated as an assertion rather than as prose.
+D=$(fresh c34)
+python3 - "$D/tools/REGISTRY.md" <<'PY'
+import re, sys
+p = sys.argv[1]
+s = open(p).read()
+m = None
+for cand in re.finditer(r'^[ \t]+Live[^\n]*$', s, flags=re.M):
+    line = cand.group(0)
+    if not re.search(r'[0-9]', line):
+        continue                      # nothing numeric could go stale
+    if not re.search(r'[0-9]{4}-[0-9]{2}-[0-9]{2}', line):
+        continue                      # already undated: no plant possible
+    if re.search(r'[0-9]+ suites([^0-9A-Za-z_]|$)', line):
+        continue                      # C35 owns an indented FIGURE line
+    m = cand
+    break
+assert m, "plant: no dated numeric indented Live claim line"
+new_line = re.sub(r'[0-9]{4}-[0-9]{2}-[0-9]{2}', 'XXXX-XX-XX', line)
+assert new_line != line, "plant matched nothing"
+s2 = s[:m.start()] + new_line + s[m.end():]
+assert s2 != s, "plant changed nothing"
+open(p, 'w').write(s2)
+PY
+c34_line=$(grep -E '^[[:space:]]+Live' "$D/tools/REGISTRY.md" | grep 'XXXX-XX-XX')
+expect "C34a plant: an indented Live claim line is present with its date replaced" \
+  test -n "$c34_line"
+expect "C34b plant: and it still carries a number, so there is still something to be stale" \
+  sh -c 'printf "%s\n" "$1" | grep -qE "[0-9]"' _ "$c34_line"
+expect_not "C34c plant: and the OLD ^- Live spelling cannot see it at all - the (120) defect" \
+  sh -c 'printf "%s\n" "$1" | grep -qE "^- Live"' _ "$c34_line"
+expect_not "C34d plant: and it now has no date anywhere on its line" \
+  sh -c 'printf "%s\n" "$1" | grep -qE "[0-9]{4}-[0-9]{2}-[0-9]{2}"' _ "$c34_line"
+run_child "$D"
+assert_eq "C34e an undated INDENTED Live claim line -> exit 1" 1 "$RC"
+has_v figure_undated live \
+  && ok "C34f VIOLATION figure_undated live" \
+  || fail "C34f VIOLATION figure_undated live"
+assert_eq "C34g exactly one violation - the plant, and nothing else" 1 "$(sget violations)"
+assert_eq "C34h fig_undated counted it once" 1 "$(sget fig_undated)"
+assert_contains "C34i and the DIAG names the line rather than leaving its text empty" \
+  "DIAG figure_undated_line subject=live text=" "$OUT"
+expect "C34j and that text really carries the word Live, i.e. an indented line is READ not merely counted" \
+  sh -c 'printf "%s\n" "$1" | grep -q "DIAG figure_undated_line subject=live text=.*Live"' _ "$OUT"
+assert_eq "C34k the singular-count reader still sees one Live figure - widening one reader did not move another" \
+  1 "$(sget fig_live)"
+assert_eq "C34l and figure_stale stayed 0 (only the date was removed)" 0 "$(sget fig_stale)"
+
+# --- C35 the same boundary seen from the OTHER reader: an indented claim line
+# --- that carries a suite figure must be COUNTED, so the registry now holds
+# --- two live claims and the singular rule reddens on it. The plant reuses the
+# --- figure the real claim already carries, so staleness cannot be what fires:
+# --- if figure_stale is 0 and fig_undated is 0, the only thing that could have
+# --- reddened the run is the scope of the count itself.
+D=$(fresh c35)
+python3 - "$D/tools/REGISTRY.md" <<'PY'
+import re, sys
+p = sys.argv[1]
+s = open(p).read()
+m = None
+for cand in re.finditer(r'^- Live[^\n]*$', s, flags=re.M):
+    if re.search(r'[0-9]+ suites([^0-9A-Za-z_]|$)', cand.group(0)):
+        m = cand
+        break
+assert m, "plant: no Live claim line carrying a suite figure"
+fig = re.search(r'[0-9]+(?= suites)', m.group(0)).group(0)
+plant = "  Live (measured 2026-10-03): `probe` -> **%s suites** discovered\n" % fig
+s2 = s[:m.start()] + plant + s[m.start():]
+assert s2 != s, "plant changed nothing"
+open(p, 'w').write(s2)
+PY
+c35_line=$(grep -E '^[[:space:]]+Live' "$D/tools/REGISTRY.md" | grep -E '[0-9]+ suites')
+expect "C35a plant: an indented Live claim line carrying a suite figure is present" \
+  test -n "$c35_line"
+expect "C35b plant: and it reuses the figure the real claim already carries" \
+  sh -c 'printf "%s\n" "$1" | grep -qF "$2"' _ "$c35_line" "$(first_figure "$D/tools/REGISTRY.md")"
+expect_not "C35c plant: and the OLD ^- Live spelling cannot see it, so it could never have been counted" \
+  sh -c 'printf "%s\n" "$1" | grep -qE "^- Live"' _ "$c35_line"
+run_child "$D"
+assert_eq "C35d a second LIVE claim line -> exit 1" 1 "$RC"
+has_v figure_duplicate live \
+  && ok "C35e VIOLATION figure_duplicate live" \
+  || fail "C35e VIOLATION figure_duplicate live"
+assert_eq "C35f exactly one violation - the count, and nothing else" 1 "$(sget violations)"
+assert_eq "C35g fig_live counted both claims" 2 "$(sget fig_live)"
+assert_eq "C35h fig_undated stayed 0 - the plant carries a date, so the undated rule had nothing to say" \
+  0 "$(sget fig_undated)"
+assert_eq "C35i figure_stale stayed 0 - the reused figure matches what the tool discovers" \
+  0 "$(sget fig_stale)"
+assert_eq "C35j and the helper the controls read back agrees with the checker: two figure lines" \
+  2 "$(figure_lines "$D/tools/REGISTRY.md")"
+
 # ==========================================================================
 # D — this suite's own argv surface: the rule it enforces for everyone else.
 # ==========================================================================
 bash "$SELF" --help >/dev/null 2>&1

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

[Sat Oct  3 04:13:10 2026] 127.0.0.1:57628 Accepted
[Sat Oct  3 04:13:10 2026] 127.0.0.1:57628 Closing
[Sat Oct  3 04:13:10 2026] 127.0.0.1:57638 Accepted
[Sat Oct  3 04:13:10 2026] 127.0.0.1:57638 Closing
[Sat Oct  3 04:13:10 2026] 127.0.0.1:57640 Accepted
[Sat Oct  3 04:13:10 2026] 127.0.0.1:57640 Closing
[Sat Oct  3 04:13:10 2026] 127.0.0.1:57654 Accepted
[Sat Oct  3 04:13:10 2026] 127.0.0.1:57654 Closing
[Sat Oct  3 04:13:10 2026] 127.0.0.1:57660 Accepted
[Sat Oct  3 04:13:11 2026] 127.0.0.1:57660 Closing
[Sat Oct  3 04:13:11 2026] 127.0.0.1:57672 Accepted
[Sat Oct  3 04:13:11 2026] 127.0.0.1:57672 Closing
[Sat Oct  3 04:13:11 2026] 127.0.0.1:57688 Accepted
[Sat Oct  3 04:13:11 2026] 127.0.0.1:57688 Closing
[Sat Oct  3 04:13:11 2026] 127.0.0.1:57694 Accepted
[Sat Oct  3 04:13:11 2026] 127.0.0.1:57694 Closing
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46264 Accepted
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46264 Closing
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46272 Accepted
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46272 Closing
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46276 Accepted
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46276 Closing
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46284 Accepted
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46284 Closing
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46298 Accepted
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46298 Closing
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46312 Accepted
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46312 Closing
[Sat Oct  3 04:15:08 2026] 127.0.0.1:46316 Accepted
[Sat Oct  3 04:15:09 2026] 127.0.0.1:46316 Closing
[Sat Oct  3 04:15:09 2026] 127.0.0.1:46330 Accepted
[Sat Oct  3 04:15:09 2026] 127.0.0.1:46330 Closing
[Sat Oct  3 04:15:09 2026] 127.0.0.1:46340 Accepted
[Sat Oct  3 04:15:09 2026] 127.0.0.1:46340 Closing
[Sat Oct  3 04:15:09 2026] 127.0.0.1:46348 Accepted
[Sat Oct  3 04:15:09 2026] 127.0.0.1:46348 Closing
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34634 Accepted
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34634 Closing
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34640 Accepted
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34640 Closing
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34644 Accepted
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34644 Closing
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34656 Accepted
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34656 Closing
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34666 Accepted
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34666 Closing
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34668 Accepted
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34668 Closing
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34676 Accepted
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34676 Closing
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34678 Accepted
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34678 Closing
[Sat Oct  3 04:15:54 2026] 127.0.0.1:34680 Accepted
[Sat Oct  3 04:15:55 2026] 127.0.0.1:34680 Closing
[Sat Oct  3 04:15:55 2026] 127.0.0.1:40244 Accepted
[Sat Oct  3 04:15:55 2026] 127.0.0.1:40244 Closing
[Sat Oct  3 04:24:38 2026] 127.0.0.1:50696 Accepted
[Sat Oct  3 04:24:38 2026] 127.0.0.1:50696 Closing
[Sat Oct  3 04:30:06 2026] 127.0.0.1:32914 Accepted