Spec 0244 — Verifier: promote I2.6 (RAISED cross-check), I2.7 (empty-turn retry hardening), I2.8 (turn termination) from reporting → gating, atomic + reversible
Frontmatter
Field
Value
kind
dev
spec
0244
slug
promote-verifier-i2-6-i2-7-i2-8-from-reporting-to-gating
title
Verifier: promote I2.6 (RAISED cross-check), I2.7 (empty-turn retry hardening), I2.8 (turn termination) from reporting → gating, atomic + reversible
type
new-feature
label
new-feature
version_bump
MINOR
target_version
TBD
status
deployed
depends_on
['0232', '0239', '0241']
complexity
S
created
2026-05-28
queued_at
started_at
2026-05-28T11:46:43Z
merged_at
2026-05-28T11:55:53Z
deployed_at
2026-05-28T12:08:04Z
pr
https://github.com/Lexiz/dual-research/pull/279
handover
handoffs/2026-05-28-spec-0244-promote-verifier-i2-6-i2-7-i2-8.md
failure_step
deploy
source_session
promoted_from_draft
disposition
ship
disposition_reason
All three reporting-only invariants pass on the first clean reference run (20260528-094743-backend-language-choice — $8.66, 39KB final.md, clean shutdown). The promotion-to-gating preconditions documented in 0232 §6, 0239 §6, and 0241 §6 are all satisfied. Promoting now locks in the contract before a future regression silently degrades these invariants; staying at reporting indefinitely would mean a real bug in the parser/retry/liveness surfaces could land green for one or more cycles before someone notices.
Event timeline
When
Step
Data
2026-05-28T11:04:33Z
queued
{}
2026-05-28T11:46:45Z
in_progress
{}
2026-05-28T11:47:20Z
branched
{"branch": "spec/0244-promote-verifier-i2-6-i2-7-i2-8", "from": "main@2e068e5"}
2026-05-28T11:47:24Z
implementing_started
{}
2026-05-28T11:52:00Z
implement_complete
{"files_changed": 11, "commits": 0}
2026-05-28T11:52:07Z
tests_started
{}
2026-05-28T11:54:24Z
tests_green
{"passed": 2324}
2026-05-28T11:55:45Z
pr_opened
{"url": "https://github.com/Lexiz/dual-research/pull/279"}
2026-05-28T11:55:55Z
merged
{"pr": "https://github.com/Lexiz/dual-research/pull/279"}
2026-05-28T12:03:46Z
failed
{"run_url": "https://github.com/Lexiz/dual-research/actions/runs/26573152076", "conclusion": "failure", "reason": "fly.io machine health-check timeout \u2014 request canceled on machines.dev API; app still serving previous version 1.57.0"}
2026-05-28T12:07:09Z
deployed
{"version": "1.58.0", "note": "redeploy after transient fly.io health-check timeout on first attempt"}
2026-05-28T12:07:09Z
deploy_health_check_ok
{"endpoint": "/api/health", "version": "1.58.0"}
2026-05-28T12:07:58Z
handoff_written
{"path": "handoffs/2026-05-28-spec-0244-promote-verifier-i2-6-i2-7-i2-8.md"}
Links