Havoc Oracle Semantics

A semantics that models an AI system as an unbounded (havoc) oracle operating over a typed action space — the system may return any admissible result within the type, and safety is derived from the verifiable boundary of that space, not from trust in the model's intentions.