feat: update reference model for PTO ISA v0.58

[zhoubot]

Closes #6

Summary

• regenerate the committed Minst codec from LinxISA/PTO ISA 0.58.0 (766 forms)
• model B.IOS, the Core-private S0..S255 bank, per-PE capacity/descriptors/payloads, immutable allocation masks, atomic subset writes, reset, and uninitialized reads
• enforce B.IOR/B.IOT/B.IOS operand-space policy plus TMOV/CUBE/TGEMV Shared restrictions
• add the machine-readable pto_v058_shared_state.json differential fixture for QEMU, LinxCoreModel, and RTL convergence
• rename active tile trace lane tma to tlsu and reject retired C.B.IOS/generic spellings

Verification

• ./tools/ci/run_clang_format_check.sh
• cmake -S . -B build-v058 -G Ninja && cmake --build build-v058 -j8
• ctest --test-dir build-v058 --output-on-failure (10/10)
• ASan/UBSan build + ctest --test-dir build-v058-asan --output-on-failure (10/10)
• deterministic codec regeneration: 766 forms, 2660 fields, 3400 pieces, 230 constraints; hashes unchanged after regeneration

Local clang-tidy and markdownlint-cli2 executables were unavailable; hosted CI remains authoritative for those jobs.