I've started researching modeling architectures as an intermediate step in TLA+, prolog or whatever works (didn't find anything reasonable yet) instead of going

I've started researching modeling architectures as an intermediate step in TLA+, prolog or whatever works (didn't find anything reasonable yet) instead of going from plan.md directly to implementation (assuming this is the lowest level plan.md of course). Got a hunch LLMs being great at boilerplate and translation should make ensuring conformance feasible...