Skip to content

F11: replace invalid 🟑 tags in affected_set.dag β€” bare #3153-subsumed gates with concrete feature/consumer gates per F11 analysis finding - #3671

Merged
briansrls merged 4 commits into
mainfrom
session/still-stag-65
May 25, 2026
Merged

briansrls merged 4 commits into
mainfrom
session/still-stag-65

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session still-stag-65.
Pushing to session/still-stag-65 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

@briansrls
briansrls marked this pull request as ready for review May 25, 2026 20:48
briansrls and others added 3 commits May 25, 2026 21:15
Practice 4 requires each 🟑 gate carry a bound task/PR alongside the
feature name and dissolve-on condition. All 9 gates had the feature:
and dissolve-on: fields but no explicit bind reference; only
BoundaryReceipt was already correct with 'β€” bind T-21 β€”'.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
All 9 gates were missing the bound task token; ExclusionProof also had
the bind reference misplaced at the tail of the dissolve-on clause.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

@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: 26220a20 Β· Trigger: schedule
  • Thinking: 148s wall

Non-blocking β€” Strengths

  • src/v4/lens/affected_set.dag The changed yellow tags replace bare #3153-subsumed comments with feature gates, a bound task, and explicit dissolve-on conditions.

ROADMAP β€” Verified

  • T-21: src/v4/TASKS.md defines lens/affected_set.dag as the incremental re-exec frontier, so the new bind T-21 gates point at a concrete task.

βœ… No blocking concerns.

@briansrls
briansrls merged commit 61066f9 into main May 25, 2026
7 checks passed
@briansrls
briansrls deleted the session/still-stag-65 branch June 1, 2026 18:43
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