SOL -

	Commit message (Collapse)	Author	Files	Lines
2026-07-12	relation references as a term kind, written #Name	Marcos Magueta	2	-9/+35

2026-07-12	branch world: state scoped reads, insert transitions, tip commit	Marcos Magueta	3	-2/+155

2026-07-12	algebraic identities of plus and times discharge symbolically	Marcos Magueta	1	-0/+16

2026-07-12	symbolic discharge: universals over infinite domains decided by intervals	Marcos Magueta	2	-6/+53

2026-07-11	interval propagation: contradictions fail, finite ranges enumerate	Marcos Magueta	1	-0/+32

2026-07-11	mutual recursion admitted under lexicographic measures	Marcos Magueta	1	-4/+44

2026-07-11	world relation as the universe for scoped negation	Marcos Magueta	1	-0/+8

2026-07-11	residuation: open membership returns residual constraints	Marcos Magueta	2	-12/+52

2026-07-11	admission runs the containment checker extracted from rocq	Marcos Magueta	1	-0/+15

2026-07-11	embedding surface, host world test, deep recursion, line tracking	Marcos Magueta	3	-1/+92

2026-07-11	negation, quantifiers and membership criteria as schema domains	Marcos Magueta	1	-3/+131

2026-07-11	working vm: parser, admission with totality checks, solver and repl	Marcos Magueta	2	-2/+202

2026-07-11	canonical term algebra: labels, records, rationals, sequences	Marcos Magueta	2	-0/+129