Repository navigation
Lab overlay: suite-model row resolves through the untakeable rule (#48 U3) — to main - #68
Merged
Merged
Conversation
… 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>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
#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