This repository was archived by the owner on Sep 20, 2026. It is now read-only.

One definition of the machine, imported instead of spelled again - #81

Merged

aledbf merged 4 commits into

mainfrom

feat/one-machine-definition

Sep 8, 2026

Commits on Sep 8, 2026

One definition of the machine, imported instead of spelled again

aledbf
and
claude
committed
3d53bb2
Pin the machine at the commit CI proved, and make the dependency direct

aledbf
and
claude
committed
f5f8da6
The disk format is stated by whoever has the disk, not guessed and not assumed

aledbf
and
claude
committed
dcade02
Type-check the tagged tests, which nothing was doing

aledbf
and
claude
committed
486c468