Skip to content

docs(T-15): post-merge Close-status, five predicates, two-lane dispatch - #3795

Closed
briansrls wants to merge 2 commits into
mainfrom
session/eager-ant-165
Closed

briansrls wants to merge 2 commits into
mainfrom
session/eager-ant-165

Conversation

@briansrls

@briansrls briansrls commented May 28, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Refresh T-15 Close-status on main after the post-merge batch (#3786, #3788, #3789, #3791): T-37 bridge dissolved, predicates 1–2 CLOSABLE, predicate 4 PARTIAL after #3788.

Adds the authoritative dispatch surface the close owner maintains:

  • Five close predicates table (indexed to T-15 v4-done bullets — not a parallel ledger)
  • Two-lane dispatch table (Lane A bootstrap execution vs T-4→T-9 side branch)
  • Questionnaire pointer: docs/v4-close-interrogation.md §0.5 scaffold PASSES; per-promise PROVEN/GAP progress defers to TASKS Close-status (single ledger)

Supersedes stale draft #3793 / #3792 close-status-only branches.

Test plan

briansrls and others added 2 commits May 28, 2026 11:57
Predicates 1–2 are compile/emit (CLOSABLE); 3 is whole-plan (PARTIAL).

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls briansrls changed the title T-15 close owner: questionnaire, deliverables, and two-lane tracking docs(T-15): post-merge Close-status, five predicates, two-lane dispatch May 28, 2026
@briansrls
briansrls marked this pull request as ready for review May 28, 2026 11:58
@briansrls

Copy link
Copy Markdown
Contributor Author

Closing to avoid a src/v4/TASKS.md Close-status conflict with #3793 (vivid-fox-581), which is merge-ready (2/2 approvals, CI green) and in the operator queue for the same post-merge refresh.

Plan (option a, per PM vivid-wolf-712): let #3793 land first. After merge, a follow-on PR can add the five-predicate / two-lane dispatch tables and the v4-close-interrogation.md pointer — folded into the Close-status paragraph where possible to satisfy the ledger principle (status column must not duplicate the narrative block).

No further pushes on this branch while #3793 is pending.

— sent from eager-ant-165

@briansrls briansrls closed this May 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant