Finish REIN-A-0002 timer cutover
This commit is contained in:
parent
941666e418
commit
e0916ed531
4 changed files with 106 additions and 15 deletions
|
|
@ -11,7 +11,8 @@
|
|||
| workplan | HARNESS-WP-0001 | done | — | workplans/HARNESS-WP-0001-harness-foundation.md |
|
||||
| workplan | HARNESS-WP-0002 | finished | — | workplans/HARNESS-WP-0002-rename-and-glas-harness-alignment.md |
|
||||
| workplan | REIN-A-0001 | finished | — | workplans/REIN-A-0001-statehub-bootstrap.md |
|
||||
| workplan | REIN-A-0002 | in_progress | — | workplans/REIN-A-0002-ops-run-claim-loop.md |
|
||||
| workplan | REIN-A-0002 | finished | — | workplans/REIN-A-0002-ops-run-claim-loop.md |
|
||||
| workplan | REIN-A-0003 | proposed | — | workplans/REIN-A-0003-binky-weekly-review-approach.md |
|
||||
| task | HARNESS-WP-0001-T01 | done | — | workplans/HARNESS-WP-0001-harness-foundation.md |
|
||||
| task | HARNESS-WP-0001-T02 | done | — | workplans/HARNESS-WP-0001-harness-foundation.md |
|
||||
| task | HARNESS-WP-0001-T03 | done | — | workplans/HARNESS-WP-0001-harness-foundation.md |
|
||||
|
|
@ -30,5 +31,8 @@
|
|||
| task | REIN-A-0002-T02 | done | — | workplans/REIN-A-0002-ops-run-claim-loop.md |
|
||||
| task | REIN-A-0002-T03 | done | — | workplans/REIN-A-0002-ops-run-claim-loop.md |
|
||||
| task | REIN-A-0002-T04 | done | — | workplans/REIN-A-0002-ops-run-claim-loop.md |
|
||||
| task | REIN-A-0002-T05 | todo | — | workplans/REIN-A-0002-ops-run-claim-loop.md |
|
||||
| task | REIN-A-0002-T05 | done | — | workplans/REIN-A-0002-ops-run-claim-loop.md |
|
||||
| task | REIN-A-0002-T06 | done | — | workplans/REIN-A-0002-ops-run-claim-loop.md |
|
||||
| task | REIN-A-0003-T01 | todo | — | workplans/REIN-A-0003-binky-weekly-review-approach.md |
|
||||
| task | REIN-A-0003-T02 | wait | — | workplans/REIN-A-0003-binky-weekly-review-approach.md |
|
||||
| task | REIN-A-0003-T03 | wait | — | workplans/REIN-A-0003-binky-weekly-review-approach.md |
|
||||
|
|
|
|||
|
|
@ -10,15 +10,20 @@ forced operator triggers):
|
|||
|
||||
| # | Date | Trigger | ops_run id | approach | result |
|
||||
| - | ---- | ------- | ---------- | -------- | ------ |
|
||||
| 1 | | | | | |
|
||||
| 2 | | | | | |
|
||||
| 3 | | | | | |
|
||||
| 4 | | | | | |
|
||||
| 5 | | | | | |
|
||||
| 1 | 2026-08-04 | FI daily schedule | `0f42b137-4fef-4978-b82b-557c28a46df9` | `fi-research-brief` | succeeded |
|
||||
| 2 | 2026-08-04 | Binky daily schedule | `13fcbed2-7c2c-45dd-91d0-2632fe84bf1b` | `brief-daily` | succeeded |
|
||||
| 3 | 2026-08-05 | FI daily schedule | `951f2716-35c7-46df-ac4c-1a9dfc95af47` | `fi-research-brief` | succeeded (`skipped_existing`) |
|
||||
| 4 | 2026-08-05 | Binky daily schedule | `eeccd98a-bd2b-4247-9289-2bf17aa22301` | `brief-daily` | succeeded |
|
||||
| 5 | 2026-08-06 | FI daily schedule | `9d6de3da-4845-470b-a16b-656ff1687eec` | `fi-research-brief` | succeeded |
|
||||
|
||||
Each row: `open` → `claimed` → `succeeded` (or `skipped_existing` complete),
|
||||
with domain completion event (`fi_daily_brief` / `binky_daily_brief`).
|
||||
|
||||
Verified from the production claim-loop journal on 2026-08-08. Three further
|
||||
clean scheduled cycles completed on August 6–7. At verification time,
|
||||
`rein-aharness-claim-loop.service` was active, the FI timer was disabled and
|
||||
inactive, and the Binky timer was not installed and inactive.
|
||||
|
||||
## Demote FI timer
|
||||
|
||||
```bash
|
||||
|
|
|
|||
|
|
@ -4,12 +4,12 @@ type: workplan
|
|||
title: "Ops run claim loop and approach selection"
|
||||
domain: agents
|
||||
repo: rein-aharness
|
||||
status: in_progress
|
||||
status: finished
|
||||
owner: grok
|
||||
topic_slug: rein-aharness
|
||||
priority: high
|
||||
created: "2026-08-03"
|
||||
updated: "2026-08-03"
|
||||
updated: "2026-08-08"
|
||||
depends_on:
|
||||
- ACTIVITY-WP-0026
|
||||
related:
|
||||
|
|
@ -127,7 +127,7 @@ Proof window for timer cutover (T05) starts here.
|
|||
|
||||
```task
|
||||
id: REIN-A-0002-T05
|
||||
status: todo
|
||||
status: done
|
||||
priority: medium
|
||||
state_hub_task_id: "a04a98e3-ca6a-4a18-b6fd-47a77047ca90"
|
||||
```
|
||||
|
|
@ -135,11 +135,13 @@ state_hub_task_id: "a04a98e3-ca6a-4a18-b6fd-47a77047ca90"
|
|||
**Procedure landed:** `deploy/docs/timer-cutover.md` + FI `docs/recurrence-ops.md`
|
||||
updated for claim-loop primary / timer break-glass.
|
||||
|
||||
Still open on railiance:
|
||||
Completed on railiance (verified 2026-08-08):
|
||||
|
||||
1. Fill proof table (5 clean cycles).
|
||||
2. Disable FI + Binky host oneshot timers.
|
||||
3. Keep install scripts for break-glass.
|
||||
1. Five-cycle proof table filled from production claim-loop journal (eight clean
|
||||
FI/Binky cycles observed in total).
|
||||
2. FI host timer is disabled/inactive; Binky host timer is not installed and
|
||||
inactive.
|
||||
3. Install scripts and manual service starts remain documented for break-glass.
|
||||
|
||||
**Done when:** docs + railiance state match; dual-clock residual closed for FI/Binky.
|
||||
|
||||
|
|
@ -164,12 +166,16 @@ state_hub_task_id: "cca10835-d6fc-4ce1-a361-d2d1f2693872"
|
|||
|
||||
- [x] Claim loop does not require Forgejo or issue-core for FI/Binky ops
|
||||
- [x] Approach table selects fi-research-brief / brief-daily without host “schedule”
|
||||
- [ ] Timers demoted after proof window (**T05** operator)
|
||||
- [x] Timers demoted after proof window (**T05**)
|
||||
- [x] ACT-ADR-005 / ACTIVITY-WP-0026 contracts implemented
|
||||
|
||||
**Shipped:** `ops_run_client`, `approaches`, `claim_loop`, CLI `claim-loop` /
|
||||
`run --from-ops-run` / `poll --source=ops-run`, unit tests, install + cutover docs.
|
||||
|
||||
**Residual handoff:** `REIN-A-0003` captures the separately observed unmatched
|
||||
Binky weekly-review ops run; it does not reopen the completed FI/Binky daily
|
||||
cutover scope.
|
||||
|
||||
## Out of scope
|
||||
|
||||
- Implementing ops_run schema (ACTIVITY-WP-0026)
|
||||
|
|
|
|||
76
workplans/REIN-A-0003-binky-weekly-review-approach.md
Normal file
76
workplans/REIN-A-0003-binky-weekly-review-approach.md
Normal file
|
|
@ -0,0 +1,76 @@
|
|||
---
|
||||
id: REIN-A-0003
|
||||
type: workplan
|
||||
title: "Binky weekly founder-review ops-run approach"
|
||||
domain: agents
|
||||
repo: rein-aharness
|
||||
status: proposed
|
||||
owner: codex
|
||||
topic_slug: rein-aharness
|
||||
priority: medium
|
||||
created: "2026-08-08"
|
||||
updated: "2026-08-08"
|
||||
origin: residual
|
||||
origin_ref: REIN-A-0002
|
||||
related:
|
||||
- REIN-A-0002
|
||||
state_hub_workstream_id: "4a7ab4e1-5b34-461b-8532-38dd95b3b941"
|
||||
---
|
||||
|
||||
# REIN-A-0003 — Binky weekly founder-review ops-run approach
|
||||
|
||||
## Origin
|
||||
|
||||
Production evidence gathered while closing REIN-A-0002 showed ops run
|
||||
`76b03314-99a4-42e4-aff5-3aa0be43787c` fail safely on 2026-08-07 because the
|
||||
static approach registry has no match for labels `binky`, `weekly-review`, and
|
||||
`automated` (definition `42cb3992-1a31-50d8-94bd-2c430acd89b5`).
|
||||
|
||||
This is outside REIN-A-0002's FI/Binky daily timer cutover and is handed off as
|
||||
a live residual rather than extending that finished scope.
|
||||
|
||||
## Goal
|
||||
|
||||
Define, implement, test, and deploy the cheapest correct approach for Binky's
|
||||
weekly founder-review ops run, including its domain completion event.
|
||||
|
||||
## Determine the weekly-review contract and approach
|
||||
|
||||
```task
|
||||
id: REIN-A-0003-T01
|
||||
status: todo
|
||||
priority: high
|
||||
state_hub_task_id: "fec71480-b8c1-48f7-ab4a-8e3ac918cf7e"
|
||||
```
|
||||
|
||||
Inspect the activity-core definition and Binky weekly-review contract. Decide
|
||||
whether an existing deterministic command can satisfy it or a new structured
|
||||
executor is required. Record required inputs, output, and completion event.
|
||||
|
||||
## Implement and test the registry entry
|
||||
|
||||
```task
|
||||
id: REIN-A-0003-T02
|
||||
status: wait
|
||||
priority: high
|
||||
state_hub_task_id: "f23de6a4-3bda-4927-b758-8acfd2c1d035"
|
||||
```
|
||||
|
||||
Add the selected approach and pure registry mapping for `weekly-review` plus
|
||||
Binky. Cover execution success, domain completion, and explicit failure.
|
||||
|
||||
**Depends on:** REIN-A-0003-T01.
|
||||
|
||||
## Deploy and prove one production cycle
|
||||
|
||||
```task
|
||||
id: REIN-A-0003-T03
|
||||
status: wait
|
||||
priority: medium
|
||||
state_hub_task_id: "cd6b0f33-73ca-49b1-81fe-f15ee321dafb"
|
||||
```
|
||||
|
||||
Deploy the approach to the production claim loop, trigger or observe one run,
|
||||
and record an `open` → `claimed` → `succeeded` proof with its domain event.
|
||||
|
||||
**Depends on:** REIN-A-0003-T02.
|
||||
Loading…
Add table
Add a link
Reference in a new issue