feat(goal): Add unshielded tactic execution mode #219

Merged

aniva merged 12 commits from goal/automatic-mode into dev

2025-06-26 15:52:17 -07:00

Author	SHA1	Message	Date
Leni Aniva	9a9659fdb2	feat(delate): Show fragments for each goal	2025-06-26 14:22:51 -07:00
Leni Aniva	1de8df73f8	refactor(goal): Delete unused functions	2025-06-26 14:08:22 -07:00
Leni Aniva	4d9e229707	refactor(repl): Tactic into goal section	2025-06-26 12:11:27 -07:00
Leni Aniva	7fba24d57a	fix(tactic): Filter out sibling fragments	2025-06-26 11:48:28 -07:00
Leni Aniva	425825bf20	test: Fragment cleanup	2025-06-26 11:45:15 -07:00
Leni Aniva	4b02d73374	fix: Tactic fragments inline with C/R paradigm	2025-06-26 11:37:14 -07:00
Leni Aniva	ed5854841b	fix: Allow conv tactics to emit non-conv goals	2025-06-26 10:32:58 -07:00
Leni Aniva	25820aa188	test: Move fragment tests to their own file	2025-06-26 09:52:01 -07:00
Leni Aniva	86f2e64939	feat(repl): Use site to handle automatic mode	2025-06-25 16:27:04 -07:00
Leni Aniva	42bb20df4a	refactor(goal): Use site in goal state functions	2025-06-25 14:35:38 -07:00
Leni Aniva	0b731273b2	refactor(goal): A state can have multiple parents	2025-06-25 13:07:47 -07:00
Leni Aniva	8e35926b5c	feat(goal): Tactic action site	2025-06-24 15:05:24 -07:00