5 commits

Author	SHA1	Message	Date
Zachery Aaron Shores-Chmielewski	6ccc6ed666	stash dashboard prune and match mvp to spec	2026-06-25 11:29:16 +04:00
Zachery Aaron Shores-Chmielewski	9e3d581bf6	stash core pruning and test consolidation	2026-06-24 15:04:39 +04:00
Zachery Aaron Shores-Chmielewski	07949b3576	stash cleanup and localized e2e stubbed mock	2026-06-23 19:42:28 +04:00
Zachery Aaron Shores-Chmielewski	2c3c05ed85	feat: guarantees on runtime execution (#53) ... Using a bounded model checker to provide absolute guarantees on runtime behavior. Co-authored-by: Zachery Aaron Shores-Chmielewski <zacheryasc@gmail.com> Co-committed-by: Zachery Aaron Shores-Chmielewski <zacheryasc@gmail.com>	2026-03-28 05:08:58 +00:00
zacheryasc	ae6df6d6e2	fix: mild refactor and test coverage (#37)	2026-02-13 15:00:53 +00:00