Downloadable computer software for artificial intelligence governance; inference control and execution management; software for upstream admission gating; fail-closed defaults; deterministic reasoning paths; zero-token halts on ambiguous or unauthorized inputs; assumption locking to ensure safe auditable and reliable AI outputs