Reproduction tutorial · September 2, 2026

    Safe patch validation under equal budget

    These tutorials test the mechanism behind each paper at a practical scale. They do not reproduce frontier-scale headline results unless explicitly stated.

    Source of this tutorial

    This tutorial tests the mechanism behind reviewed development 01 in the immutable briefing of September 2, 2026.

    Scope and limits

    Reproduction level
    mechanism demo only
    Claim under test
    iterative patching with test feedback can raise the correct-patch rate over one-shot patching at an equal attempt budget, without adding regressions.
    Excluded claim
    this tutorial does not reproduce any vendor cyber benchmark, does not discover or exploit vulnerabilities, and does not test any live target. Restricted models are not used.
    Reader, effort, and cost
    intermediate Python; 4 to 6 hours; local CPU; no paid model required if a scripted patcher is used.
    Prerequisites
    Python 3.11, Git, and a local test runner. Record resolved versions and the commit you run.

    Canonical resources

    Project plan

    Safe patch validation under equal budget — step and effort summary
    StepStageEffort
    01Containment first30 minutes
    02Seed the defect set90 minutes
    03One-shot condition60 minutes
    04Iterative condition90 minutes
    05Evaluate45 minutes
    06Publish and clean up20 minutes
    1. 01Containment first(30 minutes)

      Confirm no network access, no credentials, no live targets, and no exploitation code. All work happens inside a disposable local repository in a temporary directory.

    2. 02Seed the defect set(90 minutes)

      Create a disposable local repository with 30 intentionally seeded defects across independent modules. Each defect has a failing test and a passing regression suite. Record content hashes for every fixture.

    3. 03One-shot condition(60 minutes)

      Produce one patch per defect with no test feedback. Run seeds 1 through 5. Log correct patch, regression introduced, attempts, and wall time.

    4. 04Iterative condition(90 minutes)

      Allow the same patcher to read failing-test output and revise, capped at the same total attempt and time budget as the one-shot arm. Use the same five seeds and the same fixtures.

    5. 05Evaluate(45 minutes)

      Compare correct-patch rate, regression rate, attempts, and time. Report Wilson intervals for rates and paired bootstrap intervals for the seed-level difference. Success requires a higher patch rate without a higher regression rate at equal budget.

    6. 06Publish and clean up(20 minutes)

      Publish fixtures, content hashes, and run logs. Delete the disposable repository and retain only synthetic fixtures and aggregate results.

    Controls, failure modes, and safety

    Controlled variables

    defect set, seeds, attempt budget, time budget, test harness, and patcher capability.

    Failure modes

    unequal budgets, test overfitting, silent regressions outside the failing test, defect-difficulty imbalance, and cherry-picked runs.

    Safety

    no network, no credentials, no live targets, and no exploitation. Seeded defects are synthetic and stay in a disposable local repository.

    Affected topics

    Back to the September 2, 2026 briefing