Repository navigation
test(fees): cover nested child reserve across parent appeals - #1
Draft
MuncleUscles wants to merge 1 commit into
Draft
MuncleUscles wants to merge 1 commit into
MuncleUscles wants to merge 1 commit into
Conversation
Pin the one-appeal child quote, no-appeal grandchild quote, and recursively sized acceptance plus finalization reserve through exact-fit pinned and open-bucket GenVM emission. Three fresh occurrences each charge one complete child budget; a fourth fails without another debit. This tests the VM boundary with precomputed descendant budget, not chain-side allocation validation or appeal replay. Validation: cargo test --lib wasi::genlayer_sdk::tests:: (85 passed); cargo test --test message_fee_appeal_profit_quote (2 passed); cargo fmt --all -- --check; git diff --check.
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.
Depends-On: genlayerlabs#46
An on-acceptance child with one of its own appeals needs a complete recursive reserve for its acceptance and finalization descendants. This green control prices the child at 3,079 and its three grandchild opportunities at 529 each, then verifies that two parent appeals allow three fresh emissions at 4,666 each. Pinned and dynamic/open-bucket funding both spend exactly 13,998; a fourth emission rejects without an extra debit.
The executor receives the descendant reserve as a precomputed
children_budgetand treats the subtree as opaque. This test checks per-emission accounting, not Node's tree construction or replay of an already accepted occurrence.Validation: 85 SDK tests and 2 quote tests passed;
cargo fmt --checkandgit diff --checkpassed. This branch is stacked directly on genlayerlabs#46 for an incremental review.