PhD Renovation • Release Dashboard PhD Renovation

One glance at the road to a gold-standard solver.

This dashboard tracks the project against its main mission: validate the integrated constraint solver against the PhD results, expand that validated umbrella to other historical result families, and converge on one trustworthy code line.

Current Track 1.x

Version 1.0.0 is published; the supported integrated baseline is now the stable reference point.

Current Focus Intake + cleanup

The active front is now ingestion, de-duplication, and categorization of found material, with 1.0.1 warning cleanup as the main maintenance target.

Build Line 1.0.0

First stable integrated release.

Updated March 23, 2026

Dashboard now generated as part of the regular validation flow.

Green steps are complete, amber marks the active front, and muted cards show the work still ahead.

Phase 0.1

Snapshot rescue and modernization

Completed

Four historical solver snapshots load on modern SBCL with ASDF, package isolation, and cleaned archival structure.

Phase 0.1

Artifact pipeline restored

Completed

The experiment plots, ACL-vs-SBCL overlays, and tracked graph assets regenerate from a fresh checkout.

Phase 0.2

Thesis-result validation spine in CI

Completed

The core suites, artifact validation, AO assertions, ff provenance, and dashboard sync now form the supported merge gate.

Archive support

Historical result families mapped

Completed

yj-sun/Csp, PrevResults, and NewData4b-Batch are tied together well enough to support integrity checks and roadmap decisions.

Late 0.2

Warning tail reduction

Completed

Shared core and AO warning families were reduced until the supported validation gate now runs cleanly; remaining legacy notes sit outside that mainline path.

Integration gate

M1: integrated validated baseline

Completed

qcsp3 now holds the PhD baseline, AO baseline, and documented ff relationship together under one supported integrated story. M1 is accepted.

1.0 target

Gold-standard integrated solver line

Completed

One trusted code path now covers the validated historical surface with explicit boundaries, documented deltas, and synchronized public-facing status artifacts.

1.0.1 track

Ingestion, de-dup, and maintenance cleanup

In Progress

With 1.0.0 published, the next mainline is disciplined intake of new materials plus cleanup of warning noise that still lives outside the supported release gate.

2.0 target

Deeper research-repeatability closure

Future

Post-1.0 work can then absorb harder historical questions like Hanoi-4 behavior and repeatability once the relevant artifacts and references are ingested.

Parallel Lane

Archive intake keeps feeding the plan

Archive work now becomes the main practical front: classify new finds through incoming/, deduplicate overlaps, strengthen provenance, and use leads like the identified Lacie1 terrain materials to recover blocked historical domains.

Current Focus

The mainline stays disciplined

Every new step still runs through the same validation spine so the published 1.0 baseline stays trustworthy while newly ingested materials are reviewed deliberately and post-release cleanup stays bounded.

Legend

Snapshot rescue and modernization Legacy solver trees load on modern SBCL with restored structure.

Artifact pipeline restored Tracked graphs and comparison outputs regenerate from checked-in inputs.

Thesis-result validation spine Core regressions, AO assertions, artifact checks, ff provenance, and dashboard sync form the gate.

Historical result families mapped Older archives are tied to known experiment/result lines strongly enough to plan against.

Warning tail reduction Keep the supported validation gate quiet so new regressions stand out quickly.

M1: integrated validated baseline qcsp3 becomes the operational center of the validated solver story.

Docs and operator clarity Make the supported workflows and entry points readable enough to hand off confidently, then keep that clarity intact as incoming material grows.

Gold-standard integrated solver line One code line now covers the validated historical surface with bounded, explained deltas and no hidden blockers.

Ingestion, de-dup, and maintenance cleanup Post-1.0 work focuses on bringing in new material carefully while trimming the remaining warning noise outside the supported gate.

Deeper research-repeatability closure Post-1.0 work can then tackle harder lanes like Hanoi-4 behavior once their artifacts and references are properly ingested.