tried using NKI a few months ago and the docs were rough. having the LLM just figure it out from the ISA spec is honestly genius