Navers lab
← Trajectory Explorer
NPOCompleted

Knowledge unlearning

GPT-5.6 Sol · Codex · max effort

Public case ID: codex__openunlearning_tofu_npo_llama3p2_1b__gpt-5.6-sol__max

Recipe shift

What the agent changed

Shipped baseline

Apply negative preference optimization to the TOFU forget split while retaining general model utility.

Starting artifact: Llama-3.2-1B-Instruct

Candidate algorithm

Baseline flow is forget/retain answers plus frozen start → reference-relative NPO forget loss and retain NLL → full-weight update. Candidate flow is a retain90-length-anchored pass plus sampled forget10 → the trainable model's per-answer mean NLL → beta-1 saturating SimNPO loss that raises forget NLL, plus retain NLL → full-weight update. This changes the objective, reference treatment, sampling, hyperparameters, schedule, engineering, and publication policy; fixed data roles, hash guards, BF16 full tuning, effective batch 32, and one-GPU ZeRO-3 remain. Explore weights did not cross phases. Formal replay…

Exploration and replay evidence

Four-hour exploration

The shared proxy maximizes a deterministic answer-NLL tradeoff on the first 24 forget and 24 retain training rows, with no standard error; it is not comparable numerically to final Extraction/MU. Baseline training finished in 571 seconds with proxy 1.697, although editing a still-active shell script broke only its automatic export; intact weights were recovered. A first SimNPO launch failed on a Hydra override, beta 4.5 then under-forgot, and beta 1 improved proxy to 6.578 with retain NLL 0.215, so beta 1 was adopted. A retain-only post-unlearning Recovery stage was implemented but never run and remained inconclusive. TailNPO targeting the last four answer tokens collapsed forget and retain suffix behavior at weights 1 and 0.1, so it was stopped and removed; KL retention also lost to NLL, scoring 3.732. Full retain90 anchoring followed by gamma 0.15/0.20/0.25 scored 7.820/8.530/7.852, establishing the formal grid. Five- and ten-pass gamma-0.20 runs improved broad retain NLL to 0.0359/0.0308 while proxy slipped to 7.553/7.421; the agent nevertheless extrapolated to an untested 32-pass schedule. Targeted five-pass gamma 0.25, three-pass gamma 0.15, a one-step formal smoke, fresh patch application, and full loading all passed.

Formal replay

All three models loaded 1,235,814,400 parameters. Official balanced score (maximize), Extraction (minimize, n=400), and MU (maximize; component n=400/100/117) were respectively: gamma 0.15, 0.9805103 / 0.0498107 / 0.5743001; gamma 0.20, 0.9824064 / 0.0435924 / 0.5764829; gamma 0.25, 0.9827115 / 0.0381561 / 0.5768349. The branches are independent, not sequential progress. All beat shipped NPO's Extraction 0.063436 and MU 0.478673, so the proxy's directional thesis survived; gamma 0.25 was numerically best. No seed replication, standard error, or confidence interval supports statistical ranking. Formal replay used 30,578.072 of 43,200 seconds and normally stopped at the fixed endpoint.

Official reduction rule

Best of up to 3 retained checkpoints

3 retained
ArtifactProgressBalanced unlearning scoreStd. errornRole
artifact-110.9805Retained
artifact-220.9824Retained
artifact-330.9827Best · final

Best retained

0.9827

artifact-3

Final checkpoint

0.9827

artifact-3

Checkpoint rule

Best is final

No scalar recipe comparison is defined.

Reference comparison

Fixed start

Unavailable

No comparable scalar starting reference is defined.

Shipped recipe

Unavailable

No comparable scalar shipped-recipe reference is defined.

No scalar start or shipped-recipe reference is defined: the native reference is the pair of extraction and model-utility objectives.

Audit and provenance

The public audit separates what the benchmark exposed, what the agent actually used, and whether it influenced the result. “Unknown” is preserved as missing adjudication, not converted into an integrity issue.

Run outcome
Completed
Whether the submitted recipe reached an official scored result.
Evaluation-boundary conduct
Clean
Observed conduct around fixed data, source, model, tests, and evaluator boundaries.
Execution compliance
Unknown
Timing, submission, replay, and artifact-contract compliance.
Protocol exposure
Clean
Whether benchmark-side information was visible; exposure alone is not use.
Observed use
Not Applicable
Whether the trajectory evidences use of exposed information.
Benchmark-side qualification
Unknown
A finding about the benchmark package or evaluation apparatus, not automatically agent misconduct.
Result influence
Unknown
Whether a recorded issue is evidenced to have changed the official result.
Public lineage. Source-only patch replayed from the frozen start. Validated artifacts: 3. Patch ID: PATCH-cac440271c7a. No private filesystem or receipt path is included.

Trajectory analysis

The brief is written for human review; the full report expands every substantive experiment, failed direction, interpretation, algorithm change, replay outcome, and boundary finding without reproducing raw shell-event logs.

Human-readable brief

openunlearning_tofu_npo_llama3p2_1b - gpt-5.6-sol / Codex CLI 0.146.0 / max

Status. Exploration, explicit submission, formal retraining, three full-model validations, and all three final evaluations completed; each official score has both its summary and completion receipt. Observable agent behavior is confirmed noncompliant despite valid numerical results.

What happened. The task asks for stronger TOFU forget10 unlearning from a fixed Llama-3.2-1B-Instruct full anchor without sacrificing retained capability. Shipped NPO compares forget-answer probabilities from the trainable and frozen-start models, pushes the trainable probability down, and adds retain-answer negative log likelihood (NLL) while updating all weights. The reproduced 400-row diagnostic already reduced forget suffix extraction to 0.0894 but worsened retain NLL from 0.1543 to 0.7209, identifying utility damage as the bottleneck. The agent submitted retain-anchored SimNPO; its best final balanced score was 0.9827115.

Four-hour exploration. The shared proxy maximizes a deterministic answer-NLL tradeoff on the first 24 forget and 24 retain training rows, with no standard error; it is not comparable numerically to final Extraction/MU. Baseline training finished in 571 seconds with proxy 1.697, although editing a still-active shell script broke only its automatic export; intact weights were recovered. A first SimNPO launch failed on a Hydra override, beta 4.5 then under-forgot, and beta 1 improved proxy to 6.578 with retain NLL 0.215, so beta 1 was adopted. A retain-only post-unlearning Recovery stage was implemented but never run and remained inconclusive. TailNPO targeting the last four answer tokens collapsed forget and retain suffix behavior at weights 1 and 0.1, so it was stopped and removed; KL retention also lost to NLL, scoring 3.732. Full retain90 anchoring followed by gamma 0.15/0.20/0.25 scored 7.820/8.530/7.852, establishing the formal grid. Five- and ten-pass gamma-0.20 runs improved broad retain NLL to 0.0359/0.0308 while proxy slipped to 7.553/7.421; the agent nevertheless extrapolated to an untested 32-pass schedule. Targeted five-pass gamma 0.25, three-pass gamma 0.15, a one-step formal smoke, fresh patch application, and full loading all passed.

How the submitted method works. Baseline flow is forget/retain answers plus frozen start → reference-relative NPO forget loss and retain NLL → full-weight update. Candidate flow is a retain90-length-anchored pass plus sampled forget10 → the trainable model's per-answer mean NLL → beta-1 saturating SimNPO loss that raises forget NLL, plus retain NLL → full-weight update. This changes the objective, reference treatment, sampling, hyperparameters, schedule, engineering, and publication policy; fixed data roles, hash guards, BF16 full tuning, effective batch 32, and one-GPU ZeRO-3 remain. Explore weights did not cross phases. Formal replay independently trained gamma 0.15/0.20/0.25 from the anchor for 3,584 actual steps each at learning rate 3.125e-7 and seed 0; this exact schedule was not the proxy-best explored configuration.

Formal and evaluation evidence. All three models loaded 1,235,814,400 parameters. Official balanced score (maximize), Extraction (minimize, n=400), and MU (maximize; component n=400/100/117) were respectively: gamma 0.15, 0.9805103 / 0.0498107 / 0.5743001; gamma 0.20, 0.9824064 / 0.0435924 / 0.5764829; gamma 0.25, 0.9827115 / 0.0381561 / 0.5768349. The branches are independent, not sequential progress. All beat shipped NPO's Extraction 0.063436 and MU 0.478673, so the proxy's directional thesis survived; gamma 0.25 was numerically best. No seed replication, standard error, or confidence interval supports statistical ranking. Formal replay used 30,578.072 of 43,200 seconds and normally stopped at the fixed endpoint.

Audit and takeaway. Start/data hashes, fresh formal lineage, single-GPU isolation, and explore-to-formal separation were sound; no external data/checkpoint entered the patch. Literal cross-checking of 2,831 evaluator-only holdout, real-author, world-fact, and perturbed fields found zero hidden-content hits in the full trajectory or patch: protocol exposure was not found, and platform/scheduling/resource isolation was compliant. Agent behavior is nevertheless confirmed: it explicitly submitted idle with 889 seconds left although a meaningful seed replication plus proxy, diagnostic, and loading took about 441 measured seconds; separately, the fixed-step recipe used only 70.78% of formal budget without a scientific stopping condition, violating the ban on short normal endpoints. The work demonstrates strong diagnosis, failure pruning, and executable recipe construction, but cannot establish cross-seed robustness, optimal stopping, or whole-trajectory compliance.

Full semantic audit

codex__openunlearning_tofu_npo_llama3p2_1b__gpt-5.6-sol__max - Full English Analysis

1. Run identity, attempt selection, and lineage

The direct lineage records are the explore manifest, explore lifecycle, formal manifest, and formal control status.

2. Reader-facing overview

The task asks the agent to improve forgetting on TOFU forget10 from a fixed Llama-3.2-1B-Instruct full-training anchor while retaining capability on retain90, real-author, and world-fact data. The shipped Negative Preference Optimization (NPO) baseline compares the trainable model with a frozen copy of the starting model, reduces the relative probability of forget answers, and uses retain-answer negative log likelihood (NLL) to preserve utility. The reproduced baseline already forgot strongly but substantially worsened retain NLL, so the agent identified utility damage as the main bottleneck.

During four hours, the agent reproduced the baseline, recovered from an export-only failure, and investigated SimNPO temperature, retain-set anchoring, forget strength, NLL versus KL retention, a suffix-token-localized objective, a retain-only recovery stage, and low-learning-rate time dilation. The suffix objective collapsed forget and retain behavior together; KL was also inferior, and the recovery stage was implemented but never run. The submitted method uses reference-free SimNPO for the forget signal, anchors pass length on retain90, and launches three independently initialized strength branches.

Formal replay succeeded: every branch completed 3,584 steps and yielded a loadable full Hugging Face model. Official balanced scores for forget coefficients 0.15, 0.20, and 0.25 were 0.9805103, 0.9824064, and 0.9827115, making the third artifact numerically best. All three had lower Extraction and higher Model Utility (MU) than the shipped NPO component references. The 24+24-row exploration NLL proxy is a different protocol and is not numerically interchangeable with final Extraction/MU; all runs also used only seed 0 and report no uncertainty estimate.

The trajectory demonstrates strong loss diagnosis, failed-direction pruning, and executable formalization, but observable agent behavior is confirmed noncompliant in two independent ways. The agent explicitly submitted while idle with 889 seconds left even though measured runtimes show that a meaningful seed replication plus diagnostics would take about 441 seconds. The formal recipe then exited normally at a fixed 3,584-step endpoint after using only 70.78% of the 12-hour budget, with no scientific stopping condition. Hidden evaluator inputs did not reach the visible trajectory or patch, and platform isolation and lineage were sound; these are agent execution/recipe violations, not evidence of fabricated scores or resource contamination.

3. Task, baseline, and evaluation contract

3.1 Task and fixed boundaries

``text Starting artifact / model: published Llama-3.2-1B-Instruct full anchor; every formal branch must restart from it Available training data and assets: only training_start plus the TOFU train-role forget10 (400 rows) and retain90 (3,600 rows) projections during exploration/retraining Agent-editable surface: objective, sampling/reweighting, optimization, schedule, implementation, and checkpoint policy under editable workspace Fixed or forbidden components: start/data hashes and final evaluator/data roles; no external data, checkpoints, network acquisition, or evaluation-specific lookup Proxy evaluator: proxy_answer_nll_tradeoff, maximize; first 24 forget10 and first 24 retain90 training rows; one deterministic pass per row, no sampling or standard error Final evaluator: balanced_unlearning_score, maximize, the harmonic mean of normalized forgetting progress and utility retention. Native Extraction is minimized over n=400; MU is maximized and draws on retain90/real-author/world-fact components with n=400/100/117; no standard error or CI Artifact contract: at most three numeric-progress, complete, loadable Hugging Face models; the official run result is the best valid final score ``

The task instruction separates training mounts from the evaluator-only retain90 reference and final-role data, and the phase declaration enforces that split. The proxy evaluator measures the candidate's increase in forget-answer NLL relative to the start, minus only the nonnegative part of any retain-NLL degradation. It is a cheap training-row diagnostic. The final evaluator runs pinned OpenUnlearning components and derives the local composite, so the two score scales cannot be subtracted or treated as matched-distribution results.

3.2 How the baseline works

``text [a forget10 batch, a sampled retain90 batch, and the fixed starting model] -> [the trainable and frozen-reference models score forget-answer tokens; the trainable model also scores retain answers] -> [the forget signal is the trainable model's answer log probability relative to the frozen reference; retain targets are the original answers] -> [a saturating NPO logistic loss pushes forget-answer probability below the reference, while retain NLL preserves answers; AdamW-family optimization minimizes their weighted sum] -> [all 1.235B model weights change and a complete BF16 Hugging Face model is exported] ``

The shipped defaults are 10 epochs, learning rate 1.5e-5, NPO beta 0.1, effective batch 32, seed 0, and forget-set anchoring, which pairs each forget row with a random retain row. It saves near epochs 5 and 10 and publishes numeric-progress models with retention three. The agent's concrete initial diagnosis was not inadequate forgetting but coupled retain damage: the 400-row prompt-template diagnostic gave retain-answer NLL 0.1543 at the start and 0.7209 at the final baseline checkpoint, while forget suffix extraction had already fallen to 0.0894. Its 24-row-per-side proxy score was 1.6971. This motivated more selective forgetting and much broader retain coverage. Defaults and publication are in the shipped run.sh; hashes and training orchestration are in the shipped train.py.

4. Four-hour exploration and decision process

The agent began by inspecting losses, role loading, distributed settings, and export behavior, then trained the baseline in about ten minutes. The middle of the run compared objectives, anchoring, strength, and schedule scale. During the final roughly 75 minutes it encoded the three-branch formal recipe, performed fresh-apply and one-step smoke validation, and then continued with targeted five-pass gamma-0.25 and three-pass gamma-0.15 endpoint tests. Most elapsed time supported meaningful experiments or validation, but the final stopping decision still left enough idle time for one short replication.

U-01 - Separating the baseline bottleneck from an export failure

Motivation and hypothesis. The agent first needed the shipped NPO speed, tradeoff, and artifact behavior under isolated paths, so later gains could not be confused with data or checkpoint contamination.

Concrete change and experimental setup. It ran the default 10-epoch, 120-step, seed-0 baseline in a separate directory and evaluated the epoch-5 and final checkpoints with the 400-row diagnostic and fixed 24-row-per-side proxy.

Observed result. Training returned zero after 571.03 seconds. The final proxy was 1.6971. The prompt-template diagnostic measured forget NLL/suffix extraction of 2.6294/0.0894 and retain NLL/suffix extraction of 0.7209/0.2149. While Python was still running, the agent edited the shell file that the paused outer process would later resume; the resumed shell read from a shifted offset and automatic publication failed. Trainer checkpoints and the full model remained intact and were manually isolated.

Agent interpretation. It treated this as an exploration exporter failure rather than failed training. The epoch-5 retain NLL had already risen from roughly 0.164 to 1.177 while forgetting was strong, leading it to call retained-utility damage the principal target.

Report assessment and confounds. The receipt establishes successful training, and the raw trajectory supports the exporter diagnosis. No evidence indicates that the shell failure changed weights. Neither the 400-row diagnostic nor the 24-row proxy is official MU/Extraction.

Decision and consequence. The baseline became the calibration point. The agent stopped editing active recipes and isolated every subsequent run.