Skip to content

fix(heldout): require declared paired-bootstrap coverage - #1092

Draft
seonghobae wants to merge 3 commits into
codex/declared-workflow-budget-20260907from
codex/declared-heldout-bootstrap-20260907
Draft

fix(heldout): require declared paired-bootstrap coverage#1092
seonghobae wants to merge 3 commits into
codex/declared-workflow-budget-20260907from
codex/declared-heldout-bootstrap-20260907

Conversation

@seonghobae

Copy link
Copy Markdown
Contributor

Stack

Draft successor of #1091 (6a32c676). Parents #1090, #1074, and psychometric KPI owner #1067 stay open. This PR does not close #1091.

Exact head: 5bc0cd52e32faaf8b6be5168272cd226aed942de.

Problem

The psychometric held-out harness used a hidden 2,000-sample 95% paired interval. Those numbers chose Monte Carlo precision without an operator declaration.

Change

  • resample_count, confidence_level, and seed are required declarations on the interval helper, run_benchmark, and adaptive calibration. None is a fail-closed sentinel.
  • Percentile indices keep the existing floor/ceil mapping so synthetic fixtures stay comparable. A coverage that cannot be represented with the resample count fails closed.
  • The script entry writes 2,000, 0.95, and seed 568 as this run's choices. The report records those fields.
  • ADR 0044 is Proposed. Production route/conduct defaults stay locked.

Verification

Local smallest tests:

  • 20 passed in 6.16s (declaration contracts, unpaired rejection, adaptive-calibration boundaries, ADR uniqueness)

This is calculation-contract evidence, not buyer-held-out accuracy, p95 latency, or protected merge. The full harness wiring test was not re-run in this fire; 2,000/0.95 maps to the same floor/ceil indices as the previous constants.

Remaining no-heuristics work

Other harness sample sizes and nested *_ci95 JSON key names remain later slices. No production policy or release is authorized.

RED: omitted resample_count, coverage, and seed still succeed through
hidden 2,000-sample 95% module constants. The next commit must fail
closed without inventing those defaults.
Remove hidden 2,000-sample 95% defaults from the held-out interval helper,
run_benchmark, and adaptive calibration. Missing or non-representable
declarations fail closed. The script entry still writes 2,000, 0.95, and
seed 568 as this run's choices. Production route/conduct defaults stay locked.
ADR 0044 is Proposed. Gap baseline, changelog, and doctoring keep 2,000
and 0.95 as run declarations. Other harness sample sizes remain later work.
@coderabbitai

coderabbitai Bot commented Sep 7, 2026

Copy link
Copy Markdown

Important

Draft PR not reviewed

Draft PRs are not automatically reviewed by default.

  • Trigger a manual review

To automatically review draft PRs, update your CodeRabbit configuration:

reviews:
  auto_review:
    drafts: true

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working priority: medium Normal-priority or P2 work

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant