ARC OS is a symbolic reasoning operating system for human-AI collaboration. It requires no LLM, no prompts, and no neural weights. Goal-oriented audit trails. Every decision produces a logic tree, a self-check report, and an exportable log.