SOL -

	Commit message (Collapse)	Author	Age	Files	Lines
*	branch world: state scoped reads, insert transitions, tip commit	Marcos Magueta	2026-07-12	1	-4/+31
\|
*	mutual recursion admitted under lexicographic measures	Marcos Magueta	2026-07-11	1	-5/+7
\|
*	embedding surface, host world test, deep recursion, line tracking	Marcos Magueta	2026-07-11	1	-0/+7
\|
*	negation, quantifiers and membership criteria as schema domains	Marcos Magueta	2026-07-11	1	-9/+41
\|
*	working vm: parser, admission with totality checks, solver and repl	Marcos Magueta	2026-07-11	1	-0/+67