Skip to content

Preregister iter225: cross-model generalization (gpt-5.5 on iter223's frozen cohort)#23

Merged
manfromnowhere143 merged 1 commit into
masterfrom
agent/iter225-preregister
Jul 17, 2026
Merged

Preregister iter225: cross-model generalization (gpt-5.5 on iter223's frozen cohort)#23
manfromnowhere143 merged 1 commit into
masterfrom
agent/iter225-preregister

Conversation

@manfromnowhere143

Copy link
Copy Markdown
Owner

Pre-registers iter225, the mission's cross-model generalization test. It re-solves iter223's identical frozen 53-target cohort (sha 9f3078c3) with a different solver model — gpt-5.5 in place of gpt-5.6-terra — holding the witnessing generator, official-harness certification, and both blind judges byte-identical. Only the solver changes.

Question: is a certified-yet-wrong patch a property of one model, or of the SWE-bench certification process itself? The single-model pool (5/68) cannot answer this.

Design guardrails

  • The frozen cohort is reused byte-for-byte from iter223; no target added, removed, or reordered.
  • The validator (validate_iter225_scenario_safety.py) machine-enforces the single-changed-variable invariant: it fails closed unless every solve row records solver_model = gpt-5.5.
  • The witness generator stays gpt-5.6-terra so the adjudication instrument is identical to iter223's.
  • Reported strictly as a standalone comparison against iter223's 4/29; not pooled into 5/68 (non-disjoint, different model). Adding it to the pool is a pre-registered falsifier.
  • No sealed iter200/iter202/iter203/iter223 byte changes.

This PR contains only the pre-registration, frozen cohort, pipeline code, execution workflow, and CI wiring — no solve, scenario, spec, or execution output. Data and RESULT follow in a separate PR after execution. Full CI closure (266 guards) passes locally under python3.11.

…3-target cohort

Single-variable replication of iter223: same frozen cohort (sha 9f3078c3), same
witnessing generator (gpt-5.6-terra) and both blind judges, changing only the
solver model to gpt-5.5. Tests whether certified-yet-wrong is a property of one
model or of the SWE-bench certification process. Reported standalone vs iter223's
4/29; not pooled into 5/68. Includes lean solver/scenario scripts (reusing the
frozen iter200 solve helpers), the safety-aware validator with a machine-enforced
gpt-5.5 solver-model invariant, the sharded execution workflow, and CI wiring.
@manfromnowhere143
manfromnowhere143 merged commit 6a7e705 into master Jul 17, 2026
5 checks passed
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