SOL/test/dune, branch masterbranch world: state scoped reads, insert transitions, tip commit2026-07-12T20:56:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T13:11:38+00:00f52efd20120cf5ceeae28da2c04d57acc6e46f14
embedding surface, host world test, deep recursion, line tracking2026-07-11T06:17:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T06:17:10+00:00eb81c07047979f3fe53383ff2a42393f0b29bd28
working vm: parser, admission with totality checks, solver and repl2026-07-11T06:07:56+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T06:07:56+00:00c530682030e80ee2de2c263471e5eda7a3392e84
canonical term algebra: labels, records, rationals, sequences2026-07-11T05:52:25+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T05:52:25+00:00f7aa2d28053979f33d90a3c7bdec1ff6daa49b94