RNT/test/unit/kernel/SubstantialRelation.ml, branch master

RNT/test/unit/kernel/SubstantialRelation.ml, branch master relation scan with enumerable and release 2026-10-12T14:58:25+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-10-12T14:58:25+00:00 ad33454a204aa5791445e7d15f02ba0447fff85e

ephemeral relations as outputs of FOL and program overhaul 2026-09-26T16:22:10+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-26T16:22:10+00:00 504e2d03a10f1641b36a9d5f127a18bc943562ce

dune fmt 2026-09-26T00:51:33+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-26T00:51:33+00:00 584fbca6d920e9a9f91d451667f9380714ac2175

make substantial relation use merkle.interface 2026-09-18T03:18:43+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-18T03:18:43+00:00 1a35fa647b3598111d7dcb281309651ab413b1bc

fol evaluator 2026-09-13T17:27:37+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-13T17:27:37+00:00 ca8c92915bd3a7fa19ef57b8bd5a9b3f16d05254

appropriate enumeration for tuple split on object and resident 2026-09-13T06:19:46+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-13T06:19:46+00:00 9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa

Substantial relation kernel object 2026-09-03T19:55:45+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-03T19:55:45+00:00 441f2f3359d6f59e4f26f1d5751926d26b1c7cf9