Skip to content

docs(r3): revert row #66 over-promotion — preserve canonical PB-Runtime acceptance - #2657

Merged
briansrls merged 3 commits into
mainfrom
session/warm-dove-618-revert-66
May 10, 2026
Merged

briansrls merged 3 commits into
mainfrom
session/warm-dove-618-revert-66

Conversation

@briansrls

@briansrls briansrls commented May 10, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Reverts row #66 lens_producer_retirement_executable_witness in docs/r3-program-plan.md §1.8 from CONSUMER_LANDED back to DECLARED, and removes #66 from the post-T-LP drift-sweep brief's promotion set.

Why

briansrls + codex/codex-default posted BLOCKING reviews on already-merged PR #2631 at 2026-05-10T20:15Z catching a canonical-acceptance violation:

  • lens_producer_files_remaining census check shipped via PR [codex] Add lens producer retirement witness #2595 is the r3-structure.md:184 "near-term demo = retirement state-check + doc receipts" placeholder.
  • It is NOT the canonical demonstration consumer.
  • Canonical Pass-condition: "lens_apply reflection routes via PB-Runtime on representative lens program" with execution-ready witness DEFERRED to Row-4 equivalence receipt + Item 4 landing per docs/design-pb-runtime-interpreter.md §5.1.

Promoting #66 to CONSUMER_LANDED on substrate plumbing dilutes the demonstration gate against INVARIANTS.md P2 single-authority discipline. Status re-promotes only when Row-4 + Item 4 receipts land.

Scope

NOT reverted

Other PR #2631 promotions stand — those rows have canonical-fit consumers landed:

Refs

acceptance per r3-structure.md:184

Reverts row #66 lens_producer_retirement_executable_witness in
docs/r3-program-plan.md from CONSUMER_LANDED back to DECLARED with
explicit canonical-acceptance framing.

Per briansrls + codex/codex-default BLOCKING reviews on merged PR #2631
(post-merge inline + main review at 2026-05-10T20:15Z): the
lens_producer_files_remaining census check shipped via PR #2595 is
the r3-structure.md:184 "near-term demo = retirement state-check +
doc receipts" placeholder, NOT the canonical demonstration consumer.

The canonical Pass-condition is "lens_apply reflection routes via
PB-Runtime on representative lens program" with execution-ready
witness DEFERRED to Row-4 equivalence receipt + Item 4 landing per
docs/design-pb-runtime-interpreter.md §5.1.

Promoting row #66 to CONSUMER_LANDED on the basis of substrate
plumbing dilutes the demonstration gate against INVARIANTS.md P2
single-authority discipline. Status re-promotes only when Row-4 +
Item 4 receipts land.

Also removes #66 from the post-T-LP drift-sweep brief's promotion
set with explicit exclusion-by-canonical-acceptance-scope rationale.

Other promotions in PR #2631 (#6 PASSING, #33 / #34 CONSUMER_LANDED)
stand — those rows have canonical-fit consumers landed.

Refs: PR #2631 #issuecomment thread (briansrls inline reviews +
codex review at sha 18d279c); r3-structure.md:184; design-pb-runtime
-interpreter.md §5.1.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@briansrls briansrls changed the title R3 PB Mgr — lane through R3 close docs(r3): revert row #66 over-promotion — preserve canonical PB-Runtime acceptance May 10, 2026
@briansrls
briansrls marked this pull request as ready for review May 10, 2026 20:18

@briansrls briansrls left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review metadata

  • Provider / model: codex / unknown
  • Commit: 2d288996 · Trigger: schedule
  • Thinking: 149s wall

Non-blocking — Strengths

  • docs/r3-program-plan.md Row #66 now matches the canonical R3 acceptance boundary by keeping lens_producer_retirement_executable_witness DECLARED until Row-4 plus PB-Runtime Item 4 receipts provide the actual representative lens witness.
  • docs/briefs/r3-pb-status-drift-sweep-post-tlp.md The drift-sweep brief correctly excludes gate #66 from the T-LP promotion set, so PR #2595 remains placeholder state-check evidence rather than a CONSUMER_LANDED claim.

✅ Docs-only PR preserves the Pure Bootstrap acceptance meaning and I found no blocking concerns.

@briansrls
briansrls merged commit 9484443 into main May 10, 2026
4 checks passed
@briansrls
briansrls deleted the session/warm-dove-618-revert-66 branch May 10, 2026 21:06
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