feat(erp): select shape-matched profiles and model window costs - #377
Merged
Conversation
Contributor
Author
|
Follow-up fix included: executable DAG validation now permits context-assigned maintenance/read states on shared raw fallback leaves. This was required for the backend full control-plane suite; Planner executable-DAG tests pass and the backend suite passes 716 library + 29 binary + 8 integration tests against commit 85cd1f7. |
zzylol
force-pushed
the
feat/shape-aware-erp-v1
branch
from
September 10, 2026 17:57
378ed16 to
628e1e9
Compare
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.
Why
Exact descriptor equality cannot reuse empirical sketch measurements across nearby production shapes, while window planning needs to compose atomic costs for recurrence, retention, panes, and sharing.
What
How
erp_shapeis extensible:{family, parameters, cardinality, benchmark_events}. Different families and unequal parameter schemas never interpolate. Event count is a minimum evidence gate rather than a distance axis. Eligible records are filtered by measured accuracy and ranked by composed workload cost.Before this PR
ERP selection required exact distribution JSON and callers had to invent window operation multipliers. The DAG validator also rejected a legal shared raw fallback emitted by backend compilation.
After this PR
Deployments can match catalogued uniform, Zipf/discrete-power-law, continuous-power-law, normal, empirical, or future distribution families within explicit bounds. A miss remains observable so Hybrid callers can use Planner theoretical sizing or exact execution.
Verification
cargo test -p asap-aware-mapping erp --lib— 6 passed.cargo test -p asap-types executable_dag— 2 passed before the shape-schema extension.378ed16— 8 passed.Limitations and follow-up
Planner consumes family descriptors but does not itself fit arbitrary distributions. Runtime observation/fitting belongs to the backend; benchmark catalog generation belongs to sketch-bench. Burst behavior remains scenario provenance rather than an interpolation axis.