Repository navigation
Conversation
Preserve the PCC compatibility constructors while using Domain and partition polytopes. Keep normalization policy in PCC: fixed reference inclusions select SetProg modeling spaces automatically and retain minimum weights; parallel-face families also enforce central symmetry. Evaluate native fitted gauges in PCC, including optional polynomial evaluation, and implement blocking duality for copositive certificates. Replace references to the unmerged symbolic partitions and explicit-cone constructors. Validated 2682 assertions across the focused copositive, conic, gauge, native-family, common-function, and certificate-duality suites against SetProg e6899a6. Ran JuliaFormatter over the repository.
Align the compatibility bound with the 0.4.4 version currently declared by SetProg main. Install the declared source explicitly on Julia 1.10, which does not support Project.toml source overrides. Verified dependency resolution and Pkg.build in fresh isolated environments on Julia 1.10.12 and 1.13.2; both track SetProg main at version 0.4.4.
Codecov Report❌ Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## master #47 +/- ##
==========================================
- Coverage 96.54% 96.16% -0.39%
==========================================
Files 48 44 -4
Lines 1362 1357 -5
==========================================
- Hits 1315 1305 -10
- Misses 47 52 +5 ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
blegat
marked this pull request as ready for review
October 19, 2026 13:24
This branch has not been deployed
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
1 participant
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.
Uh oh!
There was an error while loading. Please reload this page.