Repository navigation
fix(fees): reserve parent appeal capacity in Studio message allocations - #1784
MuncleUscles wants to merge 5 commits into
Conversation
Re-vendor the fee allocation types and replace recursive children with checked direct-child budgets and host-encoded FlatArrays subtrees. Preserve committed fee bytes, ordering, roots and original allowances. Pin GenVM v0.6.0-rc7, the release cut from the fee-allocation branch.
GenVM v0.6.0-rc7 ships executor v0.3.0-rc9; the missing v0.3.0-rc7 directory left the pinned deploy stuck in PROPOSING
Price each on-acceptance internal allocation using its emitting parent’s prepaid appeal horizon and multiply the complete child requirement, including direct child budgets. Carry the root appeal count from the transaction or child fee distribution. Fund every discovered acceptance emission opportunity while keeping an inferred per-message declared budget to one child primary plus its direct subtree. Cover the 360/1440 boundary, nested parents, finalization, discovery, and child accounting.
|
Important Review skippedAuto reviews are disabled on base/target branches other than the default branch. Please check the settings in the CodeRabbit UI or the ⚙️ Run configuration
You can disable this status message by setting the Use the checkbox below for a quick retry:
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
|
/run-e2e all Frozen landing cut: #1784 alone, head |
|
E2E status was updated. Follow the current E2E and merge checks on this PR. Detailed diagnostics are available internally. |
danieljrc888
left a comment
There was a problem hiding this comment.
Reviewed for v0.123: matches the consensus v0.6-dev allocation rule; unit suite and full E2E green on 9d41782.
|
/merge-train |
|
The request is recorded and waiting for processing. Follow the E2E and merge checks for progress. Do not post a duplicate command. |
The response-format block lives in a plain (non f-) string, so the
doubled braces reached the LLM literally. A real model follows the
template and answers `{{...}}`, which json.loads rejects. This made
test_llm_erc20 fail whenever the mock did not apply and the call fell
through to the real provider (CI runs on #1784, 2026-09-10).
Co-authored-by: Claude <noreply@anthropic.com>
danieljrc888
left a comment
There was a problem hiding this comment.
Re-approving to re-run review CI on the current base (includes #1798, which fixes the double-brace prompt behind the test_llm_erc20 failure).
danieljrc888
left a comment
There was a problem hiding this comment.
Re-approving after merging v0.123-dev (includes #1798) to run review CI on the current base.
Problem and outcome
Studio validated on-acceptance internal message allocations using the child's appeal count and multiplied only its primary fee. Consensus requires
(child primary fee + direct child allocation budgets) × (emitting parent's prepaid appeals + 1). Root allocations use the transaction's appeal schedule; nested allocations use their immediate parent's fee params. On-finalization uses one copy.For a parent with three prepaid appeals, a child primary of 180 and direct child budget of 180, Studio previously accepted 360; consensus requires 1,440. The same mistake could also reject a valid allocation when only the child had appeals.
This PR aligns admission with the parent-based rule. Simulation discovery reserves each observed on-acceptance occurrence across the parent's prepaid appeal opportunities. An automatically inferred
declaredBudgetremains the cost of one child emission (primary plus direct children), so a single occurrence does not consume the whole lifecycle allocation.Delivery context
Targets
v0.123-dev. It was stacked on Studio #1774 (flat GenVM allocation inputs), which landed as10e7b465; this branch now mergesv0.123-devand its diff is only the parent-appeal change. #1785 already applies the parent-based rule to balance-funded descendant grants and skips general allocation validation for them; this PR covers the user-supplied allocation,declaredBudgetand discovery paths.No cross-repository dependency: consensus #1744, #1749 and #1777 are already in consensus
v0.6-dev(train squashe8c022b9), the v0.6 track baseline.Consensus #1744 introduced the contract rule; consensus #1777 corrects its separate off-chain helper. Related Node #2019 carries the flat GenVM input adapter and already depends on Studio #1774. Node #2148 carries the newer remaining-allowance and fee-preparation work. Compose the exact Node and consensus candidate heads for release qualification; the flat-input Node PR's current targeted E2E still used an older consensus pin.
Implementation and validation
v0.123-dev@c489e7c2): 1,680 passed, 7 skipped (base: 1,672). Changed-file pre-commit hooks andgit diff --checkpass. Full cross-repository E2E has not run on this commit.The separate allocation envelope/EQ-cap parity gaps and the beyond-prepaid bond-funded appeal policy in consensus #1717 are outside this gas change.