35.5. The platform🔗

• D9 — The image facts. What ships per unit, the toolchain and architecture spectrum it was built for, and the ABI floor it runs against. The reason to state the spectrum rather than "it builds" is that the development box and the deployment image routinely differ in both compiler version and target set, and either difference can hide a failure that cannot appear locally.

• D10 — Mechanized registration and version derivation. Registration and version derivation are mechanized, so a deployed version is derived from the artifact rather than asserted beside it.

• D11 — Backend interchange. What backend interchange means for this deployment: what the same source does on each target, and what changes when the target does.