Skip to content

Субстрат исполняет, но не определяет цель

Пекарь определяет личность, а субстрат реализует её физику. Сегодня проверяемым эталоном является программный runtime. FPGA или ASIC становится совместимым субстратом только после conformance-проверки.

Что требуется для переносимости

  • одинаковая интерпретация .d8p;
  • одинаковая арифметика, clamp и порядок фаз;
  • одинаковое начальное состояние;
  • одинаковая полная VSB-лента;
  • одинаковое расписание reset;
  • совпадающий событийный след и readout.

Разная скорость допустима. Разное поведение означает другой runtime, а не «ту же личность на другом теле».

Партитура и исполнение

Музыкальная аналогия полезна с оговоркой:

  • .d8p — партитура реакции;
  • пекарь — композитор и инженер инструмента;
  • VSB-лента — исполненная последовательность;
  • runtime — оркестр;
  • trace — запись исполнения.

Партитура сама не сочиняет себя и не гарантирует, что любой оркестр сыграет точно. Для этого существует спецификация и сверка с эталоном.

Практический вывод

Фраза «субстрат вторичен» означает независимость намерения от конкретного CPU. Она не означает, что аппаратная реализация уже завершена или что биология, FPGA и ASIC автоматически эквивалентны.