Skip to content

fip-0100: add daily fee state invariants#362

Merged
Stebalien merged 1 commit intofeat/fip-0100from
steb/fip-0100/state-invariants
Mar 7, 2025
Merged

fip-0100: add daily fee state invariants#362
Stebalien merged 1 commit intofeat/fip-0100from
steb/fip-0100/state-invariants

Conversation

@Stebalien
Copy link
Copy Markdown
Member

  1. Verify that the fees in the expiration queues match the fees associated with the sectors for each entry in each queue.
  2. Verify that the sums of the fees in all the the expiration queues for each deadline match the fees in the deadlines.
  3. Verify that the sum of the partition live power matches the live power in each deadline.

1. Verify that the fees in the expiration queues match the fees
associated with the sectors for each entry in each queue.
2. Verify that the sums of the fees in all the the expiration queues for
each deadline match the fees in the deadlines.
3. Verify that the sum of the partition live power matches the live
power in each deadline.
@github-project-automation github-project-automation bot moved this to 📌 Triage in FilOz Mar 7, 2025
@Stebalien Stebalien requested a review from rvagg March 7, 2025 02:51
Copy link
Copy Markdown
Member

@rvagg rvagg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nice, I didn't expect it to be so straightforward,

@github-project-automation github-project-automation bot moved this from 📌 Triage to ✔️ Approved by reviewer in FilOz Mar 7, 2025
@Stebalien Stebalien merged commit 141eb22 into feat/fip-0100 Mar 7, 2025
8 checks passed
@Stebalien Stebalien deleted the steb/fip-0100/state-invariants branch March 7, 2025 03:26
@github-project-automation github-project-automation bot moved this from ✔️ Approved by reviewer to 🎉 Done in FilOz Mar 7, 2025
@Stebalien Stebalien linked an issue Mar 7, 2025 that may be closed by this pull request
rvagg pushed a commit that referenced this pull request Mar 10, 2025
1. Verify that the fees in the expiration queues match the fees
associated with the sectors for each entry in each queue.
2. Verify that the sums of the fees in all the the expiration queues for
each deadline match the fees in the deadlines.
3. Verify that the sum of the partition live power matches the live
power in each deadline.
rvagg pushed a commit that referenced this pull request Mar 14, 2025
1. Verify that the fees in the expiration queues match the fees
associated with the sectors for each entry in each queue.
2. Verify that the sums of the fees in all the the expiration queues for
each deadline match the fees in the deadlines.
3. Verify that the sum of the partition live power matches the live
power in each deadline.
rjan90 pushed a commit that referenced this pull request Mar 15, 2025
1. Verify that the fees in the expiration queues match the fees
associated with the sectors for each entry in each queue.
2. Verify that the sums of the fees in all the the expiration queues for
each deadline match the fees in the deadlines.
3. Verify that the sum of the partition live power matches the live
power in each deadline.
@rjan90 rjan90 moved this from 🎉 Done to ☑️ Done (Archive) in FilOz Mar 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: ☑️ Done (Archive)

Development

Successfully merging this pull request may close these issues.

Miner actor: add invariants for FIP-0100

3 participants