Субстрат исполняет, но не определяет цель
Пекарь определяет личность, а субстрат реализует её физику. Сегодня проверяемым эталоном является программный runtime. FPGA или ASIC становится совместимым субстратом только после conformance-проверки.
Что требуется для переносимости
- одинаковая интерпретация
.d8p; - одинаковая арифметика, clamp и порядок фаз;
- одинаковое начальное состояние;
- одинаковая полная VSB-лента;
- одинаковое расписание reset;
- совпадающий событийный след и readout.
Разная скорость допустима. Разное поведение означает другой runtime, а не «ту же личность на другом теле».
Партитура и исполнение
Музыкальная аналогия полезна с оговоркой:
.d8p— партитура реакции;- пекарь — композитор и инженер инструмента;
- VSB-лента — исполненная последовательность;
- runtime — оркестр;
- trace — запись исполнения.
Партитура сама не сочиняет себя и не гарантирует, что любой оркестр сыграет точно. Для этого существует спецификация и сверка с эталоном.
Практический вывод
Фраза «субстрат вторичен» означает независимость намерения от конкретного CPU. Она не означает, что аппаратная реализация уже завершена или что биология, FPGA и ASIC автоматически эквивалентны.