chore(optimizer): bundle Energyplan 0.5.0 - #1512
Merged
Merged
Conversation
Energyplan 0.5.0 gives short-budget fleet requests' unusable LP time to the seed's local moves and proves goal levels at the physical ceiling, plans cars that cannot charge with the exact battery DP, counts a need of 1 Wh or less as met, keeps a valid plan through solver panics and repricing, reports gap_satisfied on gap stops, fixes the running demand hour's elapsed import and closes two false-optimal paths. Protocol v1 is unchanged. The bundle is built from private commit 4ad5804. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Signed-off-by: Fredrik Ahlgren <fredrik@sourceful-labs.com>
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
6 tasks done
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.
Problem and result
FTW ships Energyplan 0.4.10. On a Raspberry Pi 4, plans with a car get Core's 0.5 s budget, which is about 30 ms of time on a fast laptop: the planner returned its first plan before any search. Stored diagnostics from the home box (1 054 replans, 26 Sep to 3 Oct, each checked against a proven HiGHS optimum) showed plans with the car 2.5% above the best plan at 0.5 s, 5.5% on long horizons, and 45 to 50% above it when the car could not charge at all.
Energyplan 0.5.0 (private source, srcfl/energyplan #47–#61):
gap_satisfiedwhen it meets Core'smip_rel_gap, fixes the sign of the running hour's elapsed import in demand charges, and closes two ways it could report an unproven optimum.Protocol v1, signs and Core validation are unchanged. Core still validates every plan.
Evidence
Verification
make native-solver-testandmake verifypass on this commit, including Core's real validator against the bundled worker.Checklist
optimizer/native/bundle.patch), or the change is exempt.🤖 Generated with Claude Code