# Source attribution

Domain code is implemented for this project with AI assistance. JSON value and CLI infrastructure are shared with the owner's MoonBit projects and excluded from unique-domain claims. No HistoryCheck search or protocol algorithms are copied. Product-machine comparison and deterministic state refinement are standard automata methods, not claimed as new inventions. No third-party automata source or fixtures are copied.