A deterministic finite prescription

The decoder depends on the declared device matrix $U$, not on the unknown diary or its test reference. The optimization is a mathematical prescription, not a reported execution or an efficiency theorem.