-- Reverses 000010.
--
-- Drops the version history, its trigger and the trigger's function.
--
-- Rolling this back DISCARDS EVERY PUBLISHED VERSION. The current definition of
-- each agent survives — that lives in agent_definitions and is untouched — but
-- the record of what earlier versions said is gone, and every `agent_version`
-- recorded on a past run becomes unresolvable again. Trajectories keep their
-- number; there is simply nothing left to look it up in.
--
-- The trigger has to go before the table, and the function after it, because
-- the trigger depends on the function and the table depends on the trigger.

SET search_path = public;

DROP TRIGGER IF EXISTS definition_versions_no_update ON public.definition_versions;
DROP TABLE IF EXISTS public.definition_versions;
DROP FUNCTION IF EXISTS public.definition_versions_immutable();