Searching protocol for "tactical-systems"
Navigate ship subsystems and tactical rules.
Control ship-based tactics and systems.
Navigate proofs with AI-powered tactic suggestions.