You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
scientific(coverage): remove aggregate claim boolean from public assessment API #743
#742 removed the pass-like supports_calibration_claim field/accessor from persisted CoverageCalibrationEvidenceRecord because numerical-failure acceptability is intentionally undeclared. The same aggregate boolean still remains public on CoverageCalibrationAssessment, and coverage_calibration_design_contract.rs treats it as an asserted contract.
That leaves a second machine-readable promotion surface: any in-process consumer can call assess_coverage_calibration(...) and receive supports_calibration_claim() == true whenever successful-DGP coverage is within [0.91, 0.98] and coverage MCSE is <= 0.005, without any prospective policy deciding whether the unconditional numerical-failure denominator is acceptable. Removing the wire field while retaining the equivalent public assessment API does not fully repair the claim-semantics boundary.
This is not a request to invent or infer a failure-rate threshold.
Required RED / repair
add a compile-contract RED proving the aggregate public claim method must be absent;
remove CoverageCalibrationAssessment::supports_calibration_claim() rather than renaming it to another pass-like aggregate;
keep coverage_within_practical_band() and monte_carlo_precision_sufficient() as separate component decisions;
keep attempted/success/failure counts and failure rate available; do not alter numerical arithmetic;
update tests so they assert component decisions and denominator evidence, not an aggregate promotion flag;
do not claim this executes or passes the 10,000-DGP study.
Boundary
This is a public API/claim-semantics repair inside validation_core. It does not change the coverage estimand, interval construction, validation-design fingerprint, DGP scenario/seed schedule, outcome ledger, persistence schema v6, or release authority. A future full scientific acceptance decision still requires a prospectively defined failure-rate policy, if one is required, plus the actual exact-head 10,000-DGP evidence.
Implemented ordinary-forward on PR #639. Lineage: 5f8f6ae9e5eda2f5817fa9eb28e93271586061cd source RED (owner-surface contract rejects the aggregate public method) → b3b4d96e28a312b05375938e2c4b4e18ce5b7159 validation-owner repair removing CoverageCalibrationAssessment::supports_calibration_claim() → 00071a4a306c47dd088d5d1797578c3248828eb3 component-only assessment contracts → 30e916b9101e3f4e03c4e07fca4828319bb2403f CHANGELOG/current exact head. No replacement aggregate boolean and no failure-rate threshold were added. coverage_within_practical_band, monte_carlo_precision_sufficient, attempted/success/failure counts and failure rate remain separate. This is source/API claim-semantics repair only; the 10,000-DGP study remains unexecuted.
Activity
test(validation): RED aggregate assessment claim surface (#743)
fix(validation): remove aggregate assessment claim API (#743)
test(validation): assert component-only calibration assessment (#743)
docs(changelog): record policy-neutral assessment surface (#743)
seonghobae commentedon Sep 24, 2026
Implemented ordinary-forward on PR #639. Lineage:
5f8f6ae9e5eda2f5817fa9eb28e93271586061cdsource RED (owner-surface contract rejects the aggregate public method) →b3b4d96e28a312b05375938e2c4b4e18ce5b7159validation-owner repair removingCoverageCalibrationAssessment::supports_calibration_claim()→00071a4a306c47dd088d5d1797578c3248828eb3component-only assessment contracts →30e916b9101e3f4e03c4e07fca4828319bb2403fCHANGELOG/current exact head. No replacement aggregate boolean and no failure-rate threshold were added.coverage_within_practical_band,monte_carlo_precision_sufficient, attempted/success/failure counts and failure rate remain separate. This is source/API claim-semantics repair only; the 10,000-DGP study remains unexecuted.