ha

Documentation

Overview

Command ha is Seal Core: it runs verification commands without a shell, appends the run record, computes goal state deterministically, and records completion. The behavior is defined in contracts/run-record.md.