chore(reconciler): stop polling genuinely-closed-unmerged proposals (Tier A) - #216

Merged

SoundMindsAI merged 5 commits into

mainfrom

chore/reconciler-terminal-closed-no-poll

May 23, 2026

Commits on May 23, 2026

docs(planned): chore_reconciler_terminal_closed_no_poll spec + plan (Tier A)

SoundMindsAI
and
claude
committed
9e468f0
feat(proposals): add last_polled_at column for reconciler 24h exclusion (Story 1.1)

SoundMindsAI
and
claude
committed
8d7dbfd
feat(proposals): 24h exclusion + stamp helper for case-b reconciler polling (Story 1.2)

SoundMindsAI
and
claude
committed
38453ce
feat(reconciler): branch-on-selection-pr_state + 24h stamp on case-b (Story 1.3)

SoundMindsAI
and
claude
committed
2a5768e
docs(planned): capture test_migrations.py head-pin brittleness

SoundMindsAI
and
claude
committed
2f489df