fix(persistence): enforce membership weight and share budgets - #615

Draft

seonghobae wants to merge 34 commits into

feat/analysis-run-persistencefrom

fix/membership-persistence-weight-bounds-614

Commits on Sep 19, 2026

test(persistence): reject membership weights above unity
seonghobae
committed
f8b161d
test(persistence): require database unit-interval weight constraint
seonghobae
committed
a3d7409
fix(persistence): enforce membership unit-interval records
seonghobae
committed
e1a2414
fix(persistence): bound stored membership shares
seonghobae
committed
7eacf14
fix(persistence): add membership weight rollback
seonghobae
committed
b431eb2
fix(persistence): embed membership weight successor migration
seonghobae
committed
964fa84
test(persistence): prove live database membership weight bound
seonghobae
committed
1d199cc
test(persistence): require online-safe membership weight validation
seonghobae
committed
c017cf9
fix(persistence): validate membership bound without long DDL scan lock
seonghobae
committed
b570f69
test(persistence): require validated membership weight constraint
seonghobae
committed
2707865
test(persistence): add exact overlapping membership budget RED (#616)
seonghobae
committed
6668a16
fix(persistence): enforce exact same-role share budget (#616)
seonghobae
committed
56c9a89
fix(persistence): add membership share budget rollback (#616)
seonghobae
committed
db36078
fix(persistence): exercise exact share-budget repair (#616)
seonghobae
committed
4cf24a0
fix(persistence): fold exact share budget into catalog (#616)
seonghobae
committed
7e48075
test(persistence): exercise catalog-owned share budget (#616)
seonghobae
committed
49f1575
test(persistence): expose unbounded membership-window budget bypass
seonghobae
committed
4ad3a3c
fix(persistence): fail closed for unbounded membership windows
seonghobae
committed
e598a90
test(persistence): expose membership endpoint-inclusivity collapse
seonghobae
committed
bed68e3
fix(persistence): preserve membership range endpoint semantics
seonghobae
committed
ebd816e
test(persistence): align endpoint contract with SqlSession API
seonghobae
committed
def43f1
test(persistence): expose nonconcurrent overlap false positive (#620)
seonghobae
committed
6eaa5dc
fix(persistence): enforce pointwise membership share budgets (#619 #620)
seonghobae
committed
aa43c65
fix(persistence): rollback pointwise membership helpers (#619 #620)
seonghobae
committed
75d6f65
test(persistence): verify 0010 legacy-state upgrade admission (#619)
seonghobae
committed
44e3108
test(persistence): expose duplicate membership temporal edges (#621)
seonghobae
committed
5923151
fix(persistence): preserve duplicate membership edge invariant (#621)
seonghobae
committed
98abb27
fix(persistence): rollback duplicate-edge helper (#621)
seonghobae
committed
81b400b
test(persistence): keep duplicate re-entry fixture nonempty (#621)
seonghobae
committed
f2de8ac
fix(persistence): install membership gate before legacy validation (#622)
seonghobae
committed
84e5859
test(persistence): verify protected retryable membership cutover (#619 #621 #622)
seonghobae
committed
f471211
test(persistence): cover target-only duplicate update admission (#621)
seonghobae
committed
1c23282
test(persistence): forbid retry trigger cutover gap (#622)
seonghobae
committed
54bf612
fix(persistence): atomically replace retry admission trigger (#622)
seonghobae
committed
10b07fc

Navigation Menu

fix(persistence): enforce membership weight and share budgets - #615

fix(persistence): enforce membership weight and share budgets#615
seonghobae wants to merge 34 commits into
feat/analysis-run-persistencefrom
fix/membership-persistence-weight-bounds-614

Commits on Sep 19, 2026

test(persistence): reject membership weights above unity

test(persistence): require database unit-interval weight constraint

fix(persistence): enforce membership unit-interval records

fix(persistence): bound stored membership shares

fix(persistence): add membership weight rollback

fix(persistence): embed membership weight successor migration

test(persistence): prove live database membership weight bound

test(persistence): require online-safe membership weight validation

fix(persistence): validate membership bound without long DDL scan lock

test(persistence): require validated membership weight constraint

test(persistence): add exact overlapping membership budget RED (#616)

fix(persistence): enforce exact same-role share budget (#616)

fix(persistence): add membership share budget rollback (#616)

fix(persistence): exercise exact share-budget repair (#616)

fix(persistence): fold exact share budget into catalog (#616)

test(persistence): exercise catalog-owned share budget (#616)

test(persistence): expose unbounded membership-window budget bypass

fix(persistence): fail closed for unbounded membership windows

test(persistence): expose membership endpoint-inclusivity collapse

fix(persistence): preserve membership range endpoint semantics

test(persistence): align endpoint contract with SqlSession API

test(persistence): expose nonconcurrent overlap false positive (#620)

fix(persistence): enforce pointwise membership share budgets (#619 #620)

fix(persistence): rollback pointwise membership helpers (#619 #620)

test(persistence): verify 0010 legacy-state upgrade admission (#619)

test(persistence): expose duplicate membership temporal edges (#621)

fix(persistence): preserve duplicate membership edge invariant (#621)

fix(persistence): rollback duplicate-edge helper (#621)

test(persistence): keep duplicate re-entry fixture nonempty (#621)

fix(persistence): install membership gate before legacy validation (#622)

test(persistence): verify protected retryable membership cutover (#619 #621 #622)

test(persistence): cover target-only duplicate update admission (#621)

test(persistence): forbid retry trigger cutover gap (#622)

fix(persistence): atomically replace retry admission trigger (#622)