Sakura -

	Commit message (Collapse)	Author	Files	Lines
2026-05-11	Multigroup unified reference for hierarchical access	Marcos Magueta	1	-9/+94

2026-04-03	Polarity walker, constraint and manipulation refactor with batteries	Marcos Magueta	1	-287/+408

2026-03-23	Constraint walker and polarity analysis	Marcos Magueta	1	-19/+172
	- Polarity analysis walker on Constraint.t AST - Cascade constraint re-checking on DELETE and INSERT - Focused filtering to narrow re-checks to affected tuples only - Universal variable substitution for targeted constraint re-evaluation - Constant discovery for early bail-out (trigger_constants) - Deferred constraint timing with commit boundary - attach_constraint and commit API in Manipulation - extend_tuple namespacing fix (variable.attr convention) - History capping at 128 entries in Database.update_state - Benchmark binary (bin/bench.ml) - Design doc (docs/incremental_constraint_checking.org)
2026-03-11	lack of provenance on shadowing of tuple merge quantification fix	Marcos Magueta	1	-2/+22

2026-03-08	format todos and comment improvement	Marcos Magueta	1	-103/+26

2026-03-08	constraints	Marcos Magueta	1	-5/+373

2026-03-06	encode relations on module base	Marcos Magueta	1	-0/+8