Repository navigation
Conversation
Save refusals that suggest `lake build` (batch-only moreLeanArgs, deferred compilation, compiler-revision mismatch, stale save traces) did not say to stop the session first. Following them while the session was live left the broker's history marking the dependency as needing a save, so later importer syncs failed with a recovery plan that could not be followed (#256). Share one external-build procedure across these messages and the sync-barrier message, and document it.
The 10,000-byte limit was a round number rather than a measured bound, and the skill body is now within 100 bytes of it.
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.
This PR makes every save refusal that suggests
lake buildalso say to stop the session first. Agents following a stale-dependency recovery plan reachsave, and for batch-onlymoreLeanArgs, deferred compilation, a compiler-revision mismatch, or a stale save trace, Beam told them to "run lake build" without mentioning the live session. Building while the session was live left Beam's history marking the dependency as needing a save, so every later sync of an importer failed with a plan that could not be followed, as reported in #256.lake buildfor batch-only arguments or deferred compilation.needsSave(comparing the dependency's Lake trace with its current source) would need a Lake workspace load during sync and would make builds during a live session look supported, so it remains follow-up work with Replace the temporary import basis capture with dependency watching and retained import artifacts #370.