Skip to content

feat(rate-of-closure): produce paired localized attribution - #4426

Draft
d-sorgcodexagent[bot] wants to merge 11 commits into
codex/4142-localized-react-executionfrom
codex/4142-localized-attribution-producer
Draft

feat(rate-of-closure): produce paired localized attribution#4426
d-sorgcodexagent[bot] wants to merge 11 commits into
codex/4142-localized-react-executionfrom
codex/4142-localized-attribution-producer

Conversation

@d-sorgcodexagent

Copy link
Copy Markdown
Contributor

Summary

Verification

  • independent adversarial review: GO at eb97f55be9ed6593698bf24fac3681d883b51a47
  • 109 focused/adversarial and 287 broad variation/ensemble/attribution tests
  • pinned Mypy 1.13 passes both changed producer modules with normal imports; Ruff/format, docs, policy, diff, size, and topology gates green

Honest boundary

This is a Python service authority. Automatic PyQt/React orchestration, Worker/document persistence, prescribed/Rust parity, and protected release remain open. No causal result is inferred from observational scatter, and no R10-R15 checkbox should be closed solely from this PR.

dieterolson pushed a commit that referenced this pull request Aug 14, 2026
…esign seam

Two slices in this family carry contracts that are mutually exclusive as
written, and neither branch contained both, so both slices' tests passed in
isolation and the contradiction only appears once they are integrated:

- #4426 added `build_simulation_ensemble_request_from_samples`, whose entire
  purpose is deterministic experimental designs "whose rows are the scientific
  authority (for example, planted baseline/perturbation pairs), rather than
  pseudorandom Monte Carlo draws".
- #4428/#4431 made `SimulationEnsembleRequest.__post_init__` require
  unconditionally that `sampled_inputs` equal `sample_inputs(plan)` -- the
  plan-derived RNG stream.

Together, the request contract rejects exactly the designs the seam exists to
carry. Measured: 7 tests in test_localized_attribution_producer.py failed with
"sampled_inputs must exactly match the plan-derived RNG stream and order",
which is the whole paired-attribution producer being non-functional.

Reconciled by making the provenance explicit rather than implied.
`SimulationEnsembleRequest.sample_provenance` defaults to `plan_rng`, so every
existing caller and test keeps the reproducibility guarantee unchanged, and the
RNG-stream equality check is enforced exactly as before. The explicit seam
passes `explicit_design`, which skips only that one check; shape, finiteness,
and crucially `_require_config_sample_binding` -- the check that actually proves
each row was executed as written -- all still apply.

The Monte Carlo seam now passes `plan_rng` explicitly, because it delegates
through the explicit builder and must not inherit its default.

Verified with the pinned toolchain: the 7 producer tests pass, and 626 tests
across the variation, reference, flight, solver and impact suites pass with no
new failures. Confirmed the 5 unrelated failures in this area are pre-existing
on the pushed branch by re-running them with these two files reverted to HEAD.
dieterolson pushed a commit that referenced this pull request Aug 14, 2026
The repo-wide tooltip-completeness contract (test_tooltips.py) failed on eight
widgets, all of them paired-attribution controls added by #4426/#4427: Cancel
Paired Study, the two export buttons, and the save/load authority buttons. The
tooltip contract comes from a different slice, so neither branch contained both
and the gap only appears once they are integrated.

Hints state what each control does and, where it matters, what it does not:
cancelling publishes nothing but retains prior authority, the view export
records what is displayed rather than the authority, and loading is accepted
only if the archived design and request identities still validate.
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.

0 participants