Skip to content

core: add denominator-safe weight domains - #19

Merged
pzhin merged 1 commit into
mainfrom
codex/production-safe-weight-domain
Aug 22, 2026
Merged

core: add denominator-safe weight domains#19
pzhin merged 1 commit into
mainfrom
codex/production-safe-weight-domain

Conversation

@pzhin

@pzhin pzhin commented Aug 22, 2026

Copy link
Copy Markdown
Owner

Summary

  • reproduce the public-operation 69-flow numeric-limit trace after 273 total successful admissions
  • add an opt-in common-scale divisor domain that rejects incompatible weights during registration
  • preserve unrestricted weights as the compatibility default and document that numerator and cancellation-debt limits still apply
  • verify the PostgreSQL profile weights 8, 4, 2, 1, 1 under a common scale of 8

Verification

  • ./mvnw --batch-mode --no-transfer-progress clean verify
  • ./mvnw --batch-mode --no-transfer-progress -Pjcstress clean verify (168/168 outcomes passed)
  • ./mvnw --batch-mode --no-transfer-progress -Pbenchmarks clean verify
  • tools/verify-javadoc-gate.sh
  • tools/verify-publication-topology.sh
  • tools/verify-reproducible-build.sh

Unrestricted, pairwise-coprime weights can exhaust the exact-tag budget
after only a few hundred admissions, which makes the full long range too broad
as a generic production recommendation.

Allow deployments to constrain registered weights to divisors of one common
scale while preserving the unrestricted compatibility default. Document the
remaining numerator and cancellation-debt limits and keep the bounded failure
as an executable regression.
@pzhin
pzhin force-pushed the codex/production-safe-weight-domain branch from 1c1043f to 9d72bfd Compare August 22, 2026 20:50
@pzhin
pzhin merged commit 96cd182 into main Aug 22, 2026
12 checks passed
@pzhin
pzhin deleted the codex/production-safe-weight-domain branch August 22, 2026 21:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant