Sakura -

	Commit message (Collapse)	Author	Age	Files	Lines
*	Constraint walker and polarity analysis	Marcos Magueta	2026-03-23	1	-2/+21
\| \| \| \| \| \| \| \| \| \| \| \| \|	- 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)
*	Branching and naïve merge strategies	Marcos Magueta	2026-03-14	3	-0/+433
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* AGPL license * branching and merging * Delete LICENSE in favor of separate PR Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com> * add unmonitored tests and docs --------- Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
*	format todos and comment improvement	Marcos Magueta	2026-03-08	1	-47/+20
\|
*	server	Marcos Magueta	2026-03-08	1	-1/+7
\|
*	domains	Marcos Magueta	2026-03-07	1	-0/+28
\|
*	erlang port commands and generated tests	Marcos Magueta	2026-03-07	2	-22/+282
\|
*	wip: physical	Marcos Magueta	2026-03-06	2	-0/+35