Xyntetik Runner – a GGUF runtime in plain C that proves what it runs