Register proposal 0011 runtime realization

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:

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",