dgb: SSOT think() Phase-2 verification-extension walk bounds + non-circular KAT - #362
Merged
Conversation
frstrtr
force-pushed
the
dgb/think-p2-walk-bounds
branch
2 times, most recently
from
June 23, 2026 14:15
6e1fb9f to
332e139
Compare
frstrtr
force-pushed
the
dgb/think-p2-walk-bounds
branch
2 times, most recently
from
June 23, 2026 17:37
7db1498 to
7d2887b
Compare
frstrtr
force-pushed
the
dgb/think-p2-walk-bounds
branch
from
June 23, 2026 18:45
7d2887b to
a58695a
Compare
…rcular KAT Lift the inline want/can/get walk-bound arithmetic from share_tracker.hpp think() Phase 2 into a header-only SSOT (think_p2_walk_bounds.hpp), sibling to the Phase-1 think_p1_walk_bounds.hpp landed in #353. Pins the three integer decisions per verified head against the p2pool data.py:2098-2103 oracle: want = max(CHAIN_LENGTH - head_height, 0) can = last_height if unrooted = max(last_height - 1 - CHAIN_LENGTH, 0) otherwise get = min(want, can) FENCED, additive: dgb/ tree-local only, header-only, share_tracker.hpp is NOT yet rewired (byte-identity delegation is the follow-on). Consensus- neutral pure arithmetic. KAT (4/4) hand-derives expectations from the oracle formula, not the subject. Registered in both the dir CMakeLists.txt and both build.yml --target allowlists (avoids #143 NOT_BUILT sentinel).
frstrtr
force-pushed
the
dgb/think-p2-walk-bounds
branch
from
June 23, 2026 20:46
a58695a to
e93f5b4
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
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.
Phase-B pool/share pillar (off live master, NOT stacked on #360 — avoids the dead-base trap).
What
Lift the inline want/can/get walk-bound arithmetic from
share_tracker.hppthink() Phase 2 into a header-only SSOTsrc/impl/dgb/think_p2_walk_bounds.hpp, sibling to the Phase-1think_p1_walk_bounds.hpplanded in #353.Oracle (p2pool data.py:2098-2103)
Fence
share_tracker.hppNOT yet rewired (byte-identity delegation is the follow-on, off updated master once this lands).Verify
dgb_think_p2_walk_bounds_test4/4 PASSED locally; GPG-signed a9d1733.