Author	SHA256	Message	Date
ms2k	75fd30674e	Update gitignore	2026-07-15 15:19:59 +09:00
ms2k	5d768cb22f	Ignore project scratchpad symlink. ... Scratchpad lives in the development-scratchpad repository under ~/Data/Scratchpad/remora and is linked as scratchpad/ for local spikes.	2026-07-10 15:30:43 +09:00
ms2k	6841aaf389	Ignore TLC states directories under docs/protocol. ... Keep model-check working trees out of the remora repository.	2026-07-10 14:57:50 +09:00
ms2k	39b41393a6	Initial commit. Add architecture specification and gitignore.	2026-07-10 11:32:11 +09:00