diff --git a/tests/test_supervisor.py b/tests/test_supervisor.py index 67a3392..48125a9 100644 --- a/tests/test_supervisor.py +++ b/tests/test_supervisor.py @@ -23084,6 +23084,22 @@ def test_proposal_0009_techspec_handoff_runtime_is_covered( assert entry["reflective_chain"]["next_gap"] == "none" +def test_proposal_0011_pre_spec_semantics_runtime_is_covered( + supervisor_module: object, +) -> None: + """Proposal 0011 is implemented by the pre-spec semantics index runtime.""" + index = supervisor_module.build_proposal_runtime_index() + by_id = {e["proposal_id"]: e for e in index["entries"]} + + assert "0011" in by_id, "Proposal 0011 missing from proposal_runtime_index" + entry = by_id["0011"] + assert entry["runtime_realization"]["status"] == "implemented" + assert entry["validation_closure"]["status"] == "covered" + assert entry["observation_coverage"]["status"] == "covered" + assert entry["observation_coverage"]["missing_markers"] == [] + assert entry["reflective_chain"]["next_gap"] == "none" + + def test_proposal_0036_topology_prose_observation_is_covered( supervisor_module: object, ) -> None: diff --git a/tools/proposal_runtime_registry.json b/tools/proposal_runtime_registry.json index 38426f4..151466b 100644 --- a/tools/proposal_runtime_registry.json +++ b/tools/proposal_runtime_registry.json @@ -464,6 +464,54 @@ } ] }, + { + "proposal_id": "0011", + "posture": "synchronous_runtime_slice", + "runtime_surfaces": [ + "tools/supervisor.py", + "tests/test_supervisor.py", + "tools/pre_spec_semantics_policy.json", + "docs/proposals/0011_pre_spec_semantic_layer.md" + ], + "runtime_markers": [ + { + "path": "tools/pre_spec_semantics_policy.json", + "pattern": "\"artifact_kind\": \"pre_spec_semantics_policy\"" + }, + { + "path": "tools/supervisor.py", + "pattern": "def build_pre_spec_semantics_index(" + }, + { + "path": "tools/supervisor.py", + "pattern": "PRE_SPEC_SEMANTICS_INDEX_ARTIFACT_KIND" + } + ], + "validation_markers": [ + { + "path": "tests/test_supervisor.py", + "pattern": "def test_build_pre_spec_semantics_index_links_intent_proposals_and_canonical_specs(" + }, + { + "path": "tests/test_supervisor.py", + "pattern": "def test_build_pre_spec_semantics_index_tolerates_non_object_sections(" + }, + { + "path": "tests/test_supervisor.py", + "pattern": "def test_main_builds_pre_spec_semantics_index_as_standalone_command(" + } + ], + "observation_markers": [ + { + "path": "tools/supervisor.py", + "pattern": "write_pre_spec_semantics_index(index)" + }, + { + "path": "tools/supervisor.py", + "pattern": "\"artifact_kind\": PRE_SPEC_SEMANTICS_INDEX_ARTIFACT_KIND" + } + ] + }, { "proposal_id": "0016", "posture": "synchronous_runtime_slice",