night 2026-09-13/14: first "be a customer" rotation (adventurelog) — 7 defects found, 13 rows closed
gates / gates (push) Successful in 18s

New runbooks/nightly-rotation.md; observations_gate.py reads every section
(R-471); target-selection.md names real paths (R-461); R-93 carries the
fact that drill-r50 is gone. Register: R-473/R-474/R-466/R-471/R-453/R-461
and v0.240.0's R-477/R-478/R-480/R-482/R-484/R-485/R-486 closed; R-481,
R-483, R-487, R-488, R-489 opened. 09 §6.1, 07 §6, CONTEXT, STATUS note.
Evidence: audits/nightly-2026-09-13-adventurelog/, audits/v0240-2026-09-13/.
This commit is contained in:
2026-09-13 19:38:00 +02:00
parent 681c3d6a6d
commit 5e8a82c3c4
37 changed files with 1067 additions and 76 deletions
+49 -30
View File
@@ -141,40 +141,59 @@ def known_rows(paths):
return rows
def observation_items(text):
"""(items, heading) — each item is (number, its full text). heading is None when absent."""
def observation_sections(text):
"""Every observations section in the file: [(heading_line, body_lines)], in document order.
R-471 (2026-09-13): this used to return the FIRST matching heading only, so a report carrying an
ordinary `## 11. Observations …` section and, appended below it, a second `## Observations` block
with an unmarked item PASSED — and the R-419 decoy, which plants exactly that shape, had been
reading LIVE HOLE at HEAD without anyone running the decoy suite. Every section is read now.
"""
lines = text.split("\n")
start = None
depth = 0
for i, line in enumerate(lines):
m = HEADING_RE.match(line)
if m:
start, depth = i, len(m.group(1))
break
if start is None:
sections = []
i = 0
while i < len(lines):
m = HEADING_RE.match(lines[i])
if not m:
i += 1
continue
depth = len(m.group(1))
body = []
j = i + 1
while j < len(lines):
hm = re.match(r"^(#+)\s", lines[j])
if hm and len(hm.group(1)) <= depth:
break
body.append(lines[j])
j += 1
sections.append((lines[i].strip(), body))
i = j
return sections
def observation_items(text):
"""(items, heading) — each item is (number, its full text), over EVERY observations section.
heading is None when there is no section; several headings are joined with " + "."""
sections = observation_sections(text)
if not sections:
return None, None
body = []
for line in lines[start + 1:]:
hm = re.match(r"^(#+)\s", line)
if hm and len(hm.group(1)) <= depth:
break
body.append(line)
items, cur = [], None
for line in body:
m = ITEM_RE.match(line)
if m:
if cur:
items.append(cur)
cur = [m.group(1), m.group(2)]
elif cur is not None:
if line.strip() == "" and cur[1].endswith("\n\n"):
continue
cur[1] += "\n" + line
if cur:
items.append(cur)
return items, lines[start].strip()
for _heading, body in sections:
for line in body:
m = ITEM_RE.match(line)
if m:
if cur:
items.append(cur)
cur = [m.group(1), m.group(2)]
elif cur is not None:
if line.strip() == "" and cur[1].endswith("\n\n"):
continue
cur[1] += "\n" + line
if cur:
items.append(cur)
cur = None
return items, " + ".join(h for h, _ in sections)
def main():