"""Smoke tests for :func:`finalize_document_schema`.""" from __future__ import annotations from frame.timed_automata.nl2formalmodel.schema_finalize import finalize_document_schema def test_finalize_empty_schema_round_trip(): base: dict = {} out = finalize_document_schema(base) assert base == {} assert isinstance(out, dict) # Deterministic passes may introduce default structure (e.g. empty templates list). assert "templates" in out