fix(live): model carried weights and recovery evidence - #47
Merged
Conversation
COM-1497 distinguishes historical collection-failure carries from the current allocation vector and documents fresh recovery-price evidence during exclusion. Signed-off-by: hobbyistz <293619914+hobbyistz@users.noreply.github.com>
hobbyistz
marked this pull request as ready for review
September 3, 2026 21:30
…d; attendance marking text matches the engine The rewritten excluded-seat test required every priced excluded receipt to be an accepted print. The engine publishes two other legitimate shapes for a fresh recovery print on a seat that carries no weight and no vote: one held out by the sigma fence and one quarantined by the jump screen. The test now asserts what must hold (no weight, no vote dispersion, a fresh upstream print with a verdict) and not which verdict. Section 8.6 said a price rejected by the outlier check counts as absent for attendance; the engine counts a fenced print as present (the fence keeps a print out of the index, not out of the attendance record). The collection-failure bullet is reworded in the document's own terms. Signed-off-by: hobbyistz <293619914+hobbyistz@users.noreply.github.com>
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.
Summary
References COM-1497.
Diagnosis
The current producer re-casts a prior accepted vote, band, and booked weight when collection fails. That historical carry is intentionally outside the newly allocated weight vector. Fresh recovery observations during a hard-cutoff exclusion are intentionally visible as evidence, but receive neither weight nor vote until the next scheduled observation.
Test Coverage
All changed live-record branches are exercised by the live suite.
Pre-Landing Review
No issues found.
Design Review
No frontend files changed — design review skipped.
Eval Results
No prompt-related files changed — evals skipped.
Greptile Review
Requested once in first-round-only mode. The repository integration returned no review or comments during the normal review window; no second round was triggered.
Scope Drift
Scope Check: CLEAN.
Plan Completion
Verification Results
Automode Review Mode
first-round-onlyDocumentation
METHODOLOGY.mdnow clarifies historical collection-failure weights and evidence-only hard-cutoff recovery.