SOL/docs/virtual-machine-specification.org, branch master branch world: state scoped reads, insert transitions, tip commit 2026-07-12T20:56:10+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-07-12T13:11:38+00:00 f52efd20120cf5ceeae28da2c04d57acc6e46f14 






symbolic discharge: universals over infinite domains decided by intervals
2026-07-12T03:35:33+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T03:35:33+00:00

7aacf596d73cc74eb9af381a72723b50b4069e30












interval propagation: contradictions fail, finite ranges enumerate
2026-07-12T02:50:07+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T02:50:07+00:00

6520b876af064d57bccf944a6fef9807a8c79de5












mutual recursion admitted under lexicographic measures
2026-07-12T02:39:40+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T02:39:40+00:00

726f3dfb116ec9265041e642000612831633fe3c












residuation: open membership returns residual constraints
2026-07-12T01:12:53+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T01:12:53+00:00

0886f3c71cf8551e4f8b3726654003a4f29645f0












admission runs the containment checker extracted from rocq
2026-07-12T01:03:21+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T01:03:21+00:00

f22834d3aaed2b2dd2c5d4203e937fc8fb4b5507












virtual machine specification document
2026-07-12T00:56:53+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T00:56:53+00:00

1832aca3f545f1f6ecadb7e12ed1ce02c2aa78be