Skip to content

Lab overlay: suite-model row resolves through the untakeable rule (#48 U3) — to main - #68

Merged
Carr1005 merged 1 commit into
mainfrom
lab-u3-suite-row-resolved
Oct 20, 2026
Merged

Carr1005 merged 1 commit into
mainfrom
lab-u3-suite-row-resolved

Conversation

@Carr1005

Copy link
Copy Markdown
Collaborator

#67 merged into #66's branch (`lab-u6-no-other-keys`) instead of `main`: GitHub did not retarget the stacked PR, because the base branch was not deleted after #66 merged. This PR carries the same reviewed commit, `efeb69f`, to `main`. There are no new changes; see #67 for the change and its no-stacking check.

The loop-engineering lab spec regenerated today pins overlay `efeb69f`, so this needs to be on `main` before that spec is adopted.

🤖 Generated with Claude Code

… 2's untakeable rule; live criteria run as a non-gating pass (#48 U3)

A live suite model would make the completion gate depend on a live model's
output. Instead of adding a second way for a course-owned row to leave the
Ledger, the untakeable definition gains 'or depend on a live model's output',
so the row uses the existing 'no alternative remains takeable' path
(pinned in §2, Environment Resolutions row, §1 'unavailable'). ADD 1's
'course-owned and stays' paragraph is rewritten in place to say so and that
live criteria still run after the offline suite without gating.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
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