AbTweak Restoration

One restored experimental environment for the historical AbTweak code line, with exact lower-Hanoi reproduction, broad operator-style coverage, and a disciplined path toward closing or explaining the remaining four-disk benchmark gap.

Target 1.0.0

Current Focus Hanoi-4 extension benchmark

Current Build 0.10.0-beta.1

Updated March 21, 2026

Project page Remote experiments guide Run remote experiments

Archive Recovery

Completed

Historical snapshots, publications, adjacent systems, and provenance notes are cataloged and checked in.

SBCL Core Baseline

Completed

The working `Abtweak-1993` line now loads and runs as a maintained restored planner baseline.

Unified Experiment Harness

Completed

Named runs, reports, status views, and traces are available through one shared experiment front door.

Broad Domain Surface

Completed

`blocks`, `nils-blocks`, `registers`, `robot`, `computer`, `biology`, `fly`, `database`, and `stylistics` now have retained SBCL evidence.

Lower Hanoi Reproduction

Completed

`hanoi-2` matches archived 1990 outputs exactly and `hanoi-3` now aligns directly with the published thesis figure rows.

Release Discipline

Completed

Versioning, snapshots, changelog entries, and public release checkpoints are now part of the routine workflow.

Hanoi-4 Diagnosis

In Progress

The remaining open benchmark is tightly diagnosed now: stable, historically grounded, and no longer confused with a loader or crash bug.

Four-Disk Hierarchy Search

In Progress

`isbm` remains the strongest historical-control path, while the new `imbs-h1` analogue is the first explicit-`H` variant to materially improve its family.

Release Candidate Gate

Up Next

Either reproduce a historically defensible `hanoi-4` success path, or document a convincing evidence-backed explanation for leaving it open.

1.0 Historical Baseline

Up Next

Package the restored operator-style AbTweak environment, public validation story, and release-facing Pages summary as the first full baseline release.

Legend

Restored Core The SBCL baseline, archive catalog, and experiment harness that define the current working system.

Verified Surface Benchmarks and shipped domains that now have exact, strong, or retained rerun evidence.

Open Gate The main remaining 1.0 blocker is the four-disk Hanoi extension benchmark, not the published lower-Hanoi results.

Release Path Late beta now; move to release candidate only when the `hanoi-4` story is closed or convincingly explained.