The board-truth doc and two OpenOCD cfgs disagree with the verified IDCODE, which risks JTAG scan rejection and misleads any agent grepping for board truth.
Wrong
docs/IDCODE.md:5 — IDCODE = 0x13631093 (should be 0x13636093)
docs/IDCODE.md:13 — part field 0x3631 (should be 0x3636)
docs/IDCODE.md:19-21 — bit decomposition matches the wrong 0x13631093
fpga/openxc7-synth/flash.cfg:10 and openocd.cfg:10 — -expected-id 0x0372e093 (that is XC7A35T/Arty, matches neither the 100T nor the 200T on this board)
Correct (already the SSOT elsewhere in-repo)
specs/boards/ax7203_full.t27:10 — idcode 0x13636093 ("VERIFIED via OpenOCD + AL321 2026-06-24")
fpga/openxc7-synth/ax7203_al321.cfg:2 — 0x13636093 (Artix-7 XC7A200T-FBG484-2 rev 1)
Fix = reconcile the doc + stale cfgs to 0x13636093 (part 0x3636). Doc/config only; not .tri-generated; do not touch author attribution.
The board-truth doc and two OpenOCD cfgs disagree with the verified IDCODE, which risks JTAG scan rejection and misleads any agent grepping for board truth.
Wrong
docs/IDCODE.md:5—IDCODE = 0x13631093(should be0x13636093)docs/IDCODE.md:13— part field0x3631(should be0x3636)docs/IDCODE.md:19-21— bit decomposition matches the wrong0x13631093fpga/openxc7-synth/flash.cfg:10andopenocd.cfg:10—-expected-id 0x0372e093(that is XC7A35T/Arty, matches neither the 100T nor the 200T on this board)Correct (already the SSOT elsewhere in-repo)
specs/boards/ax7203_full.t27:10—idcode 0x13636093("VERIFIED via OpenOCD + AL321 2026-06-24")fpga/openxc7-synth/ax7203_al321.cfg:2—0x13636093 (Artix-7 XC7A200T-FBG484-2 rev 1)Fix = reconcile the doc + stale cfgs to
0x13636093(part0x3636). Doc/config only; not.tri-generated; do not touch author attribution.