5.3 Questions for Investigation
- Where is the D3-TUI source code? (Not visible in workspace root)
- What is HERMS? (Appears in captures as terminal/launcher)
- What is the relationship between D3-TUI and the KOS toolchain?
- Are there existing implementations of SPECTRE specs?
- What are the specific divergences being tested? (Referenced in SHACHI-PROBE)