ylee-sling/separation-logic-gcode-verifier

This prototype turns machining intent into a verified G-code program through an evaluator–refiner loop. The orchestrator grounds the workspace, asks a generator for G-code, compiles motion blocks into discrete swept volumes, and checks them against environment and stock. A collision is formatted as structured feedback for another generation attempt; successful proof yields the program. The README documents STEP fixtures and stock as additional grounding inputs. The generator is currently a scripted stub. The graph follows documented relationships and sampled calls; unsampled implementation details are not inferred.