P2: Review boxed ABI as a hardware witness; do not mirror host assumptions

[juv4uk]

Роль

fpga-lisp тут потрібен не як Cyberpunk dependency, а як незалежний hardware witness: чи не закладає новий target ABI припущення, зручні лише для Rust/C/Win64 host.

Завдання

1. До ратифікації wsm-target-contract не вводити локальний TAG_BOXED=7 як факт.
2. Провести hardware review запропонованого boxed payload:
   • чи representation реалізовне на bounded heap/table;
   • чи не вимагає host pointer;
   • скільки логіки потрібно для tag + discriminant decode;
   • які bounds/failure checks потрібні в RTL.
3. Дати короткий висновок compatible / compatible-with-constraints / reject до authority issue.
4. Якщо ABI ратифікований — додати мінімальний decode/conformance test, не повну String implementation, якщо вона не потрібна FPGA milestone.
5. Перевірити, що старі ISA/tag fixtures не змінюють значення через появу tag 7.

Acceptance

• hardware constraints повернуті в design review до незворотного ABI рішення;
• FPGA не копіює Rust String layout;
• старі tag/ISA tests залишаються green;
• будь-яка підтримка Boxed базується на canonical contract revision.

Не робити

Не перетворювати це на новий великий RTL feature sprint. Спочатку review і маленький witness.