4 Commits

Author	SHA1	Message	Date
KOKO\Mimi	c7e64eb841	feat(domain-and-input-skeleton): step 0 — semantic-domain-and-origin-types	2026-07-30 16:38:05 +09:00
KOKO\Mimi	202e66c862	build(cmake): isolate test-only dependencies	2026-07-30 13:22:03 +09:00
KOKO\Mimi	34d21f43fe	feat(solver-bootstrap): step 3 — core-ids-and-diagnostics	2026-07-30 13:22:03 +09:00
KOKO\Mimi	e0348d80bf	feat(solver-bootstrap): step 2 — dependency-smoke-tests	2026-07-30 13:22:02 +09:00