Prepare v1.0.0 with reproducible offline demos and verified PDF dossiers

[xtraid]

This release makes a new CM1-in-3 input reproducible from setup to a checked PDF dossier. make demo-setup prepares the locked environments; make demo INPUT=... copies and hashes the input, runs the four engines once each, and produces the dossier offline. make demo-check provides six narrated checks for the presentation.

The direct-input path records an absent expected result and uses the observed agreement to select SAT/UNSAT content. SAT witnesses remain independently checked. UNSAT records agreement without a separate UNSAT certificate; timeout, UNKNOWN, disagreement, errors and incomplete traces fail explicitly. The supervisor keeps diagnostics in distinct directories and stops the process group on timeout or interruption.

The change also corrects dense diagram labels and narrow-region trace layouts, regenerates their shared Pages assets, clarifies the Linux/Debian and Arch/Omarchy instructions, and exercises the documented demo commands in CI. Version metadata and release notes identify v1.0.0. The C core, ABI and independent oracles are unchanged; existing dossier readers remain compatible with older artifacts. Older strict readers reject the new nullable-expectation variant.

Validation includes isolated setup, offline SAT/UNSAT dossiers with input/hash and bundle checks, complete PDF review, six narrated checks, process/error regressions, renderer and Pages checks, and an actual Omarchy rehearsal. Review of the completed implementation and layout corrections found no remaining blockers. Timings are recorded observations, not performance guarantees; the public-tag reproduction and release artifact identities are recorded separately after publication.