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 Portability hardening and disciplined post-RC continuation

Current Build 1.0.0-rc.1

Updated May 4, 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 Baseline

Completed

The historical restoration baseline is now frozen at `1.0.0-rc.1`, with `hanoi-4` explicitly accepted as an explained-but-open extension benchmark for RC purposes.

1.0 Historical Baseline

Up Next

Keep the RC baseline stable while supporting surfaces and post-RC research tracks continue toward the first full `1.0.0` historical 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 `1.0.0-rc.1` is now the stable checkpoint; keep the RC baseline clean while supporting surfaces and post-RC tracks continue.