Skip to content

Phase 4h: IRED on graph — the softmax flip is task-dependent (honest update) - #4

Merged
dkjo8 merged 1 commit into
mainfrom
phase-4h-ired-graph
Jul 27, 2026
Merged

Phase 4h: IRED on graph — the softmax flip is task-dependent (honest update)#4
dkjo8 merged 1 commit into
mainfrom
phase-4h-ired-graph

Conversation

@dkjo8

@dkjo8 dkjo8 commented Jul 27, 2026

Copy link
Copy Markdown
Owner

Tests whether the Phase-4g arithmetic flip (geometry beats softmax under a learned landscape) generalizes to graph. It doesn't cleanly — an honesty update to the v0.0.2 claim.

Result (5 seeds/task, ΔAURC vs best-of-all baselines)

task reasoner vs energy vs best softmax
arithmetic IRED +0.159, 5/5 +0.007, 4/5 (flip holds)
graph IRED +0.064, 5/5 +0.004, 1/5 (1 win / 1 loss / 3 ties)

On graph the learned reasoner is weaker (ID 0.55–0.82), and geometry only ties softmax. So the flip is real but task-dependent — demonstrated on arithmetic, not graph. Geometry still beats scalar energy 5/5 on both.

Also

  • Objective-aware aggregation (aggregate.objective_of, headline_cell(objective="basin_center")): fixes a latent bug where IRED and basin-center sweeps shared K=12 and T1 picked one by a fragile tie-break. evaluate now records objective/sampler.
  • Paper (abstract/experiments/conclusion) + docs tempered to claim the flip narrowly.

92 tests green, ruff clean; paper rebuilds via tectonic. Opt-in/additive; default reasoner unchanged.

🤖 Generated with Claude Code

…honest update)

Tests whether the Phase-4g arithmetic flip (geometry beats softmax under a learned landscape)
generalizes to a second task. It does not cleanly.

- configs/experiments/graph_ired.toml + sweeps/graph_ired_seeds.toml: 5-seed IRED-on-graph.
- eval/evaluate.py: record `objective` + `sampler` in metrics.
- analysis/aggregate.py: objective-aware (objective_of, selective_rows(objective=...),
  headline_cell defaults to basin_center) so IRED rows never pollute the canonical basin-center
  T1 (fixes a fragile tie-break where IRED and basin sweeps shared K=12).
- Paper (abstract/experiments/conclusion) + docs tempered to claim the flip narrowly.

RESULT (5 seeds/task): arithmetic IRED beats softmax 4/5 (flip holds); graph IRED only TIES softmax
(1 win / 1 loss / 3 ties, dAURC +0.004±0.014) — geometry still beats scalar energy 5/5 on both. The
learned reasoner is weaker on graph (ID 0.55-0.82), so the flip is demonstrated on arithmetic, not
yet graph: real but task-dependent. 92 tests green, ruff clean; paper rebuilds.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@dkjo8
dkjo8 merged commit cccd796 into main Jul 27, 2026
@cursor

cursor Bot commented Jul 27, 2026

Copy link
Copy Markdown

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@dkjo8
dkjo8 deleted the phase-4h-ired-graph branch July 27, 2026 14:15
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