5.3 Questions for Investigation

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