From 965e2aae629b41a17e97708683d3b7051c8506c4 Mon Sep 17 00:00:00 2001
From: Hao Zhe <haozhe4547@gmail.com>
Date: Tue, 15 Sep 2026 03:13:19 +0800
Subject: [PATCH 1/4] fix(goals): isolate objective Markdown from Todo state

Keep objective examples from hiding or creating generated Todos while preserving legacy registration and chat readback.

Signed-off-by: Hao Zhe <haozhe4547@gmail.com>
Signed-off-by: huangruiteng <14976749+huangruiteng@users.noreply.github.com>
---
 .../active-state-structured-projection-v0.md  |  9 +++
 loopx/bootstrap.py                            |  7 +-
 loopx/chat_server.py                          | 19 +++--
 loopx/control_plane/projects/registry.py      | 19 ++++-
 loopx/presentation/markdown.py                | 13 ++++
 tests/cli_commands/test_project_registry.py   | 28 ++++++-
 .../test_todo_next_action_settlement.py       | 76 +++++++++++++++++++
 7 files changed, 157 insertions(+), 14 deletions(-)

diff --git a/docs/reference/protocols/active-state-structured-projection-v0.md b/docs/reference/protocols/active-state-structured-projection-v0.md
index b213aecec8..62f7d0dbe2 100644
--- a/docs/reference/protocols/active-state-structured-projection-v0.md
+++ b/docs/reference/protocols/active-state-structured-projection-v0.md
@@ -119,6 +119,15 @@ Directly editing a projection is not a state transition.
 
 ## Markdown Ownership Boundary
 
+New bootstrap and project-registration documents quote each Objective line and
+escape HTML metacharacters. Fences, comments, headings, and Todo markers in the
+objective therefore remain content rather than document structure. The
+frontmatter stores the objective as a JSON string with Unicode line separators
+escaped. Chat context readback removes the generated quotation and decodes the
+text. Existing project registrations remain idempotent without rewriting their
+state. This changes objective presentation, not Todo authority or transitions;
+existing malformed documents are not automatically repaired.
+
 Markdown is not one undifferentiated database row. Agents generate and maintain
 both its structured sections and narrative through LoopX. The distinction is
 canonical ownership, not human versus Agent authorship: after promotion,
diff --git a/loopx/bootstrap.py b/loopx/bootstrap.py
index 4138655e83..b694c466c4 100644
--- a/loopx/bootstrap.py
+++ b/loopx/bootstrap.py
@@ -40,6 +40,7 @@
     MULTI_SUBAGENT_ORCHESTRATION_MODE,
 )
 from .paths import rel_or_abs, resolve_runtime_root
+from .presentation.markdown import markdown_blockquote, markdown_frontmatter_string
 from .registry_writability import probe_registry_write_path
 from .todos import add_todo_to_lines
 
@@ -481,7 +482,7 @@ def render_state_markdown(
     include_connection_validation: bool = True,
     handoff_mode: str = HANDOFF_MODE_LEGACY,
 ) -> str:
-    safe_objective = objective.replace('"', '\\"')
+    safe_objective = markdown_frontmatter_string(objective)
     profile_summary = execution_profile_summary(execution_profile)
     onboarding_markdown = render_onboarding_state_markdown(
         onboarding_scan=onboarding_scan,
@@ -507,7 +508,7 @@ def render_state_markdown(
     state_text = f"""---
 status: active
 owner_mode: goal
-objective: "{safe_objective}"
+objective: {safe_objective}
 updated_at: {updated_at}
 adapter_id: {goal_id}
 {handoff_mode_line}---
@@ -516,7 +517,7 @@ def render_state_markdown(
 
 ## Objective
 
-{objective}
+{markdown_blockquote(objective)}
 
 ## Authority Sources
 
diff --git a/loopx/chat_server.py b/loopx/chat_server.py
index cfa13adf94..9047ed5261 100644
--- a/loopx/chat_server.py
+++ b/loopx/chat_server.py
@@ -1,6 +1,7 @@
 from __future__ import annotations
 
 import json
+from html import unescape
 import mimetypes
 import time
 import uuid
@@ -124,16 +125,20 @@ def _compact_text(value: Any, *, limit: int = 600) -> str:
 
 
 def _active_state_section(state_text: str, heading: str) -> str:
-    marker = f"## {heading}"
-    start = state_text.find(marker)
-    if start < 0:
+    lines = state_text.splitlines()
+    try:
+        start = next(i for i, line in enumerate(lines) if line.rstrip(" \t") == f"## {heading}") + 1
+    except StopIteration:
         return ""
-    content_start = start + len(marker)
-    end = state_text.find("\n## ", content_start)
-    section = state_text[content_start : end if end >= 0 else None]
+    end = next((i for i in range(start, len(lines)) if lines[i].startswith("## ")), len(lines))
+    section_lines = [line for line in lines[start:end] if line]
+    if heading == "Objective" and section_lines and all(
+        line.startswith("> ") for line in section_lines
+    ):
+        return _compact_text(" ".join(unescape(line[2:]) for line in section_lines))
     lines = [
         line.strip().removeprefix("- ").strip()
-        for line in section.splitlines()
+        for line in section_lines
         if line.strip() and not line.lstrip().startswith("<!--")
     ]
     return _compact_text(" ".join(lines))
diff --git a/loopx/control_plane/projects/registry.py b/loopx/control_plane/projects/registry.py
index b0dd31bcab..7bd3bc32eb 100644
--- a/loopx/control_plane/projects/registry.py
+++ b/loopx/control_plane/projects/registry.py
@@ -13,6 +13,7 @@
 from ..coordination.legacy_writer_fence import legacy_todo_write_transaction, require_legacy_state_replacement_allowed
 from ...paths import DEFAULT_RUNTIME_ROOT
 from ...registry import atomic_write_json
+from ...presentation.markdown import markdown_blockquote, markdown_frontmatter_string
 from ...repository_identity import normalize_repository_identity
 from .contract import validate_project_record_bindings
 
@@ -133,7 +134,7 @@ def bullets(items: list[str], *, empty: str) -> str:
 status: active
 owner_mode: goal
 project_id: {json.dumps(project_id, ensure_ascii=False)}
-objective: {json.dumps(objective, ensure_ascii=False)}
+objective: {markdown_frontmatter_string(objective)}
 updated_at: {updated_at}
 adapter_id: {goal_id}
 ---
@@ -142,7 +143,7 @@ def bullets(items: list[str], *, empty: str) -> str:
 
 ## Objective
 
-{objective}
+{markdown_blockquote(objective)}
 
 ## Acceptance
 
@@ -326,7 +327,19 @@ def register_project_goal(
                     if existing_updated_at is not None
                     else None
                 )
-                if existing_state != matching_state:
+                legacy_state = (
+                    matching_state.replace(
+                        f"objective: {markdown_frontmatter_string(objective)}\n",
+                        f"objective: {json.dumps(objective, ensure_ascii=False)}\n",
+                        1,
+                    ).replace(
+                        f"## Objective\n\n{markdown_blockquote(objective)}\n",
+                        f"## Objective\n\n{objective}\n",
+                        1,
+                    )
+                    if matching_state is not None else None
+                )
+                if existing_state not in (matching_state, legacy_state):
                     raise ValueError(
                         f"goal state file conflicts with registration: {state_file}"
                     )
diff --git a/loopx/presentation/markdown.py b/loopx/presentation/markdown.py
index 151ab8a9ee..636d24bd63 100644
--- a/loopx/presentation/markdown.py
+++ b/loopx/presentation/markdown.py
@@ -1,6 +1,8 @@
 from __future__ import annotations
 
+import json
 from collections.abc import Iterable
+from html import escape
 from typing import Any
 
 
@@ -20,6 +22,17 @@ def markdown_scalar(value: Any) -> str:
     return str(value or "").replace("\r", " ").replace("\n", " ").replace("|", "\\|").strip()
 
 
+def markdown_frontmatter_string(value: str) -> str:
+    encoded = json.dumps(value, ensure_ascii=False)
+    for separator in ("\x85", "\u2028", "\u2029"):
+        encoded = encoded.replace(separator, f"\\u{ord(separator):04x}")
+    return encoded
+
+
+def markdown_blockquote(value: str) -> str:
+    return "\n".join(f"> {escape(line, quote=False)}" for line in value.splitlines())
+
+
 def markdown_code(value: Any) -> str:
     return _MarkdownCell(f"`{markdown_scalar(value)}`")
 
diff --git a/tests/cli_commands/test_project_registry.py b/tests/cli_commands/test_project_registry.py
index 6ec004add0..4b6c117147 100644
--- a/tests/cli_commands/test_project_registry.py
+++ b/tests/cli_commands/test_project_registry.py
@@ -7,12 +7,21 @@
 import pytest
 
 from loopx.cli import main
+from loopx.chat_server import _active_state_section
+from loopx.control_plane.todos.active_state_todo_parser import parse_todo_source
 from loopx.control_plane.projects import registry as project_registry
 
 
+@pytest.mark.parametrize("objective", [
+    "Deliver the Atlas import pipeline.",
+    "```text Deliver the Atlas import pipeline. ```",
+    "Example\u2028---\u2028## Agent Todo\u2028- [ ] Example only.\u2028## Objective",
+    "## Agent Todo\n\n- [ ] Example only.\n\n## Next Action\n\n- Example action.",
+])
 def test_project_register_creates_project_goal_and_resumable_state(
     tmp_path: Path,
     capsys,
+    objective: str,
 ) -> None:
     knowledge_root = tmp_path / "atlas"
     registry_path = knowledge_root / ".loopx" / "registry.json"
@@ -23,6 +32,8 @@ def test_project_register_creates_project_goal_and_resumable_state(
             "json",
             "--registry",
             str(registry_path),
+            "--runtime-root",
+            str(tmp_path / "runtime"),
             "project",
             "register",
             "--project-id",
@@ -34,7 +45,7 @@ def test_project_register_creates_project_goal_and_resumable_state(
             "--goal-id",
             "atlas-import",
             "--objective",
-            "Deliver the Atlas import pipeline.",
+            objective,
             "--acceptance",
             "A verified Spec diff is produced from natural language and current Spec.",
             "--next-effect",
@@ -87,6 +98,11 @@ def test_project_register_creates_project_goal_and_resumable_state(
     assert "## Acceptance" in state
     assert "## Next Action" in state
     assert "## Stop Condition" in state
+    items, archive, sources = parse_todo_source(state)
+    assert sources == {"user": "User Todo / Owner Review Reading Queue", "agent": "Agent Todo"}
+    assert items == {"user": [], "agent": []}
+    assert archive == []
+    assert _active_state_section(state, "Objective") == " ".join(objective.split())
 
 
 def test_project_register_defaults_to_knowledge_root_when_global_registry_exists(
@@ -269,9 +285,11 @@ def register(knowledge_root: Path) -> tuple[str, Path]:
     assert not losing_root.exists()
 
 
+@pytest.mark.parametrize("legacy", [False, True])
 def test_project_register_repeated_identical_request_is_a_noop(
     tmp_path: Path,
     capsys,
+    legacy: bool,
 ) -> None:
     knowledge_root = tmp_path / "atlas"
     registry_path = knowledge_root / ".loopx" / "registry.json"
@@ -312,6 +330,14 @@ def test_project_register_repeated_identical_request_is_a_noop(
         / "atlas-import"
         / "ACTIVE_GOAL_STATE.md"
     )
+    if legacy:
+        state_file.write_text(
+            state_file.read_text(encoding="utf-8").replace(
+                "## Objective\n\n> Deliver the Atlas import pipeline.",
+                "## Objective\n\nDeliver the Atlas import pipeline.",
+            ),
+            encoding="utf-8",
+        )
     state_before = state_file.read_bytes()
 
     assert main(arguments) == 0
diff --git a/tests/control_plane/test_todo_next_action_settlement.py b/tests/control_plane/test_todo_next_action_settlement.py
index 744fb3726f..bf9da57f1a 100644
--- a/tests/control_plane/test_todo_next_action_settlement.py
+++ b/tests/control_plane/test_todo_next_action_settlement.py
@@ -3,7 +3,11 @@
 import json
 from pathlib import Path
 
+import pytest
+
 from loopx.bootstrap import render_state_markdown
+from loopx.chat_server import _active_state_section
+from loopx.control_plane.todos.active_state_todo_parser import parse_todo_source
 from loopx.control_plane.effect_runtime import MAX_REQUEST_BYTES
 from loopx.control_plane.todos.next_action_runtime import (
     _agent_todo_snapshots,
@@ -126,6 +130,78 @@ def test_bootstrap_binds_generated_connection_validation_next_action(
     assert "loopx:next-action" not in json.dumps(record)
 
 
+@pytest.mark.parametrize(
+    "objective",
+    [
+        pytest.param("Implement and validate the task.", id="plain"),
+        pytest.param("```text Implement and validate the task. ```", id="backticks"),
+        pytest.param("~~~text Implement and validate the task. ~~~", id="tildes"),
+        pytest.param("<!-- Implement and validate the task.", id="open-comment"),
+        pytest.param("Review ## Objective and ## Next Action examples.", id="inline-headings"),
+        *[
+            pytest.param(
+                f"Example{separator}---{separator}## Agent Todo{separator}"
+                f"- [ ] Example only.{separator}## Objective",
+                id=f"separator-{ord(separator):04x}",
+            )
+            for separator in ("\x85", "\u2028", "\u2029")
+        ],
+        pytest.param("Compare a < b && c > d without decoding &amp;.", id="html-text"),
+        pytest.param(r'Inspect C:\tools\new and "quoted text".', id="backslashes"),
+        pytest.param(
+            "Describe the format:\n\n## Next Action\n\n- Example only.\n\nContinue the task.",
+            id="next-action-example",
+        ),
+        pytest.param(
+            "Describe this example:\n\n## Agent Todo\n\n- [ ] Example only.\n"
+            "  <!-- loopx:todo todo_id=todo_example task_class=advancement_task -->",
+            id="todo-example",
+        ),
+        pytest.param(
+            "```markdown\n## Agent Todo\n"
+            "<!-- loopx:todo-region-v0 role=agent begin -->\n"
+            "- [ ] Example only.\n"
+            "<!-- loopx:todo-region-v0 role=agent end -->\n```",
+            id="fenced-region-example",
+        ),
+    ],
+)
+def test_bootstrap_keeps_objective_separate_from_todo_sources(
+    tmp_path: Path, objective: str,
+) -> None:
+    state_text = render_state_markdown(
+        project=tmp_path,
+        goal_id=GOAL_ID,
+        adapter_kind="read_only_project_map_v0",
+        objective=objective,
+        updated_at="2026-08-21T00:00:00+08:00",
+        goal_doc=None,
+        execution_profile=None,
+    )
+
+    items, archive, sources = parse_todo_source(state_text)
+
+    assert sources == {
+        "user": "User Todo / Owner Review Reading Queue",
+        "agent": "Agent Todo",
+    }
+    assert items["user"] == []
+    assert archive == []
+    assert len(items["agent"]) == 1
+    assert items["agent"][0]["action_kind"] == "onboarding_connection_validation"
+    assert active_state_next_action_entries(state_text) == [items["agent"][0]["text"]]
+    assert _active_state_section(state_text, "Objective") == " ".join(objective.split())
+    objective_line = next(line for line in state_text.splitlines() if line.startswith("objective: "))
+    assert json.loads(objective_line.removeprefix("objective: ")) == objective
+
+
+@pytest.mark.parametrize("heading", ["## Objective", "## Objective  ", "## Objective\t"])
+def test_objective_readback_preserves_existing_heading_whitespace(heading: str) -> None:
+    state = f"{heading}\n\nKeep the original objective.\n\n## Next Action\n\nContinue."
+    assert _active_state_section(state, "Objective") == "Keep the original objective."
+    assert _active_state_section(state, "Missing") == ""
+
+
 def test_higher_priority_agent_todo_rebinds_generated_onboarding_next_action(
     tmp_path: Path,
 ) -> None:

From 4bd5c0c545e8ed91b16b9364492e34216cca2cdb Mon Sep 17 00:00:00 2001
From: Hao Zhe <haozhe4547@gmail.com>
Date: Tue, 15 Sep 2026 03:58:06 +0800
Subject: [PATCH 2/4] fix(goals): keep objective text within state ownership

Move objective serialization and section readback to the existing state metadata owner, restoring dependency boundaries and the chat module budget without changing chat truncation.

Signed-off-by: Hao Zhe <haozhe4547@gmail.com>
Signed-off-by: huangruiteng <14976749+huangruiteng@users.noreply.github.com>
---
 loopx/bootstrap.py                            |  2 +-
 loopx/chat_server.py                          | 24 +-----------
 .../goals/active_state_metadata.py            | 37 +++++++++++++++++++
 loopx/control_plane/projects/registry.py      |  2 +-
 loopx/presentation/markdown.py                | 13 -------
 tests/cli_commands/test_project_registry.py   |  4 +-
 .../test_todo_next_action_settlement.py       |  8 ++--
 7 files changed, 47 insertions(+), 43 deletions(-)

diff --git a/loopx/bootstrap.py b/loopx/bootstrap.py
index b694c466c4..4085fe36e6 100644
--- a/loopx/bootstrap.py
+++ b/loopx/bootstrap.py
@@ -40,7 +40,7 @@
     MULTI_SUBAGENT_ORCHESTRATION_MODE,
 )
 from .paths import rel_or_abs, resolve_runtime_root
-from .presentation.markdown import markdown_blockquote, markdown_frontmatter_string
+from .control_plane.goals.active_state_metadata import markdown_blockquote, markdown_frontmatter_string
 from .registry_writability import probe_registry_write_path
 from .todos import add_todo_to_lines
 
diff --git a/loopx/chat_server.py b/loopx/chat_server.py
index 9047ed5261..b7567e28bd 100644
--- a/loopx/chat_server.py
+++ b/loopx/chat_server.py
@@ -1,7 +1,6 @@
 from __future__ import annotations
 
 import json
-from html import unescape
 import mimetypes
 import time
 import uuid
@@ -39,6 +38,7 @@
 from .chat_store import ChatSessionStore
 from .capabilities.manager_runtime import manager_runtime_capability_projection
 from .capabilities.manager_context.roundtrip import project_chat_session_snapshot
+from .control_plane.goals.active_state_metadata import active_state_section_text
 from .control_plane.status.ssh_host_catalog import (
     SSH_HOST_CATALOG_PATH,
     ssh_host_catalog_payload,
@@ -124,26 +124,6 @@ def _compact_text(value: Any, *, limit: int = 600) -> str:
     return " ".join(str(value or "").split())[:limit].strip()
 
 
-def _active_state_section(state_text: str, heading: str) -> str:
-    lines = state_text.splitlines()
-    try:
-        start = next(i for i, line in enumerate(lines) if line.rstrip(" \t") == f"## {heading}") + 1
-    except StopIteration:
-        return ""
-    end = next((i for i in range(start, len(lines)) if lines[i].startswith("## ")), len(lines))
-    section_lines = [line for line in lines[start:end] if line]
-    if heading == "Objective" and section_lines and all(
-        line.startswith("> ") for line in section_lines
-    ):
-        return _compact_text(" ".join(unescape(line[2:]) for line in section_lines))
-    lines = [
-        line.strip().removeprefix("- ").strip()
-        for line in section_lines
-        if line.strip() and not line.lstrip().startswith("<!--")
-    ]
-    return _compact_text(" ".join(lines))
-
-
 def _goal_public_context(registry: dict[str, Any], goal: dict[str, Any]) -> dict[str, Any]:
     goal_id = str(goal.get("id") or "")
     project = Path(str(goal.get("repo") or ".")).expanduser().resolve()
@@ -153,7 +133,7 @@ def _goal_public_context(registry: dict[str, Any], goal: dict[str, Any]) -> dict
     if state_path is not None and state_path.exists():
         try:
             state_text = state_path.read_text(encoding="utf-8")
-            objective = _active_state_section(state_text, "Objective")
+            objective = _compact_text(active_state_section_text(state_text, "Objective"))
             title_line = next(
                 (line[2:].strip() for line in state_text.splitlines() if line.startswith("# ")),
                 "",
diff --git a/loopx/control_plane/goals/active_state_metadata.py b/loopx/control_plane/goals/active_state_metadata.py
index d65b7dc286..7a8dbfccc2 100644
--- a/loopx/control_plane/goals/active_state_metadata.py
+++ b/loopx/control_plane/goals/active_state_metadata.py
@@ -1,5 +1,8 @@
 from __future__ import annotations
 
+import json
+from html import escape, unescape
+
 
 USER_TODO_HEADER_MARKERS = (
     "user todo",
@@ -21,6 +24,40 @@
 )
 
 
+def markdown_frontmatter_string(value: str) -> str:
+    encoded = json.dumps(value, ensure_ascii=False)
+    for separator in ("\x85", "\u2028", "\u2029"):
+        encoded = encoded.replace(separator, f"\\u{ord(separator):04x}")
+    return encoded
+
+
+def markdown_blockquote(value: str) -> str:
+    return "\n".join(f"> {escape(line, quote=False)}" for line in value.splitlines())
+
+
+def active_state_section_text(state_text: str, heading: str) -> str:
+    lines = state_text.splitlines()
+    try:
+        start = next(
+            i for i, line in enumerate(lines) if line.rstrip(" \t") == f"## {heading}"
+        ) + 1
+    except StopIteration:
+        return ""
+    end = next((i for i in range(start, len(lines)) if lines[i].startswith("## ")), len(lines))
+    section_lines = [line for line in lines[start:end] if line]
+    if heading == "Objective" and section_lines and all(
+        line.startswith("> ") for line in section_lines
+    ):
+        text = " ".join(unescape(line[2:]) for line in section_lines)
+    else:
+        text = " ".join(
+            line.strip().removeprefix("- ").strip()
+            for line in section_lines
+            if line.strip() and not line.lstrip().startswith("<!--")
+        )
+    return " ".join(text.split())
+
+
 def parse_state_frontmatter(state_text: str) -> dict[str, str]:
     if not state_text.startswith("---"):
         return {}
diff --git a/loopx/control_plane/projects/registry.py b/loopx/control_plane/projects/registry.py
index 7bd3bc32eb..78f8946b2a 100644
--- a/loopx/control_plane/projects/registry.py
+++ b/loopx/control_plane/projects/registry.py
@@ -13,7 +13,7 @@
 from ..coordination.legacy_writer_fence import legacy_todo_write_transaction, require_legacy_state_replacement_allowed
 from ...paths import DEFAULT_RUNTIME_ROOT
 from ...registry import atomic_write_json
-from ...presentation.markdown import markdown_blockquote, markdown_frontmatter_string
+from ..goals.active_state_metadata import markdown_blockquote, markdown_frontmatter_string
 from ...repository_identity import normalize_repository_identity
 from .contract import validate_project_record_bindings
 
diff --git a/loopx/presentation/markdown.py b/loopx/presentation/markdown.py
index 636d24bd63..151ab8a9ee 100644
--- a/loopx/presentation/markdown.py
+++ b/loopx/presentation/markdown.py
@@ -1,8 +1,6 @@
 from __future__ import annotations
 
-import json
 from collections.abc import Iterable
-from html import escape
 from typing import Any
 
 
@@ -22,17 +20,6 @@ def markdown_scalar(value: Any) -> str:
     return str(value or "").replace("\r", " ").replace("\n", " ").replace("|", "\\|").strip()
 
 
-def markdown_frontmatter_string(value: str) -> str:
-    encoded = json.dumps(value, ensure_ascii=False)
-    for separator in ("\x85", "\u2028", "\u2029"):
-        encoded = encoded.replace(separator, f"\\u{ord(separator):04x}")
-    return encoded
-
-
-def markdown_blockquote(value: str) -> str:
-    return "\n".join(f"> {escape(line, quote=False)}" for line in value.splitlines())
-
-
 def markdown_code(value: Any) -> str:
     return _MarkdownCell(f"`{markdown_scalar(value)}`")
 
diff --git a/tests/cli_commands/test_project_registry.py b/tests/cli_commands/test_project_registry.py
index 4b6c117147..f473fbe696 100644
--- a/tests/cli_commands/test_project_registry.py
+++ b/tests/cli_commands/test_project_registry.py
@@ -7,7 +7,7 @@
 import pytest
 
 from loopx.cli import main
-from loopx.chat_server import _active_state_section
+from loopx.control_plane.goals.active_state_metadata import active_state_section_text
 from loopx.control_plane.todos.active_state_todo_parser import parse_todo_source
 from loopx.control_plane.projects import registry as project_registry
 
@@ -102,7 +102,7 @@ def test_project_register_creates_project_goal_and_resumable_state(
     assert sources == {"user": "User Todo / Owner Review Reading Queue", "agent": "Agent Todo"}
     assert items == {"user": [], "agent": []}
     assert archive == []
-    assert _active_state_section(state, "Objective") == " ".join(objective.split())
+    assert active_state_section_text(state, "Objective") == " ".join(objective.split())
 
 
 def test_project_register_defaults_to_knowledge_root_when_global_registry_exists(
diff --git a/tests/control_plane/test_todo_next_action_settlement.py b/tests/control_plane/test_todo_next_action_settlement.py
index bf9da57f1a..350b2d75c8 100644
--- a/tests/control_plane/test_todo_next_action_settlement.py
+++ b/tests/control_plane/test_todo_next_action_settlement.py
@@ -6,7 +6,7 @@
 import pytest
 
 from loopx.bootstrap import render_state_markdown
-from loopx.chat_server import _active_state_section
+from loopx.control_plane.goals.active_state_metadata import active_state_section_text
 from loopx.control_plane.todos.active_state_todo_parser import parse_todo_source
 from loopx.control_plane.effect_runtime import MAX_REQUEST_BYTES
 from loopx.control_plane.todos.next_action_runtime import (
@@ -190,7 +190,7 @@ def test_bootstrap_keeps_objective_separate_from_todo_sources(
     assert len(items["agent"]) == 1
     assert items["agent"][0]["action_kind"] == "onboarding_connection_validation"
     assert active_state_next_action_entries(state_text) == [items["agent"][0]["text"]]
-    assert _active_state_section(state_text, "Objective") == " ".join(objective.split())
+    assert active_state_section_text(state_text, "Objective") == " ".join(objective.split())
     objective_line = next(line for line in state_text.splitlines() if line.startswith("objective: "))
     assert json.loads(objective_line.removeprefix("objective: ")) == objective
 
@@ -198,8 +198,8 @@ def test_bootstrap_keeps_objective_separate_from_todo_sources(
 @pytest.mark.parametrize("heading", ["## Objective", "## Objective  ", "## Objective\t"])
 def test_objective_readback_preserves_existing_heading_whitespace(heading: str) -> None:
     state = f"{heading}\n\nKeep the original objective.\n\n## Next Action\n\nContinue."
-    assert _active_state_section(state, "Objective") == "Keep the original objective."
-    assert _active_state_section(state, "Missing") == ""
+    assert active_state_section_text(state, "Objective") == "Keep the original objective."
+    assert active_state_section_text(state, "Missing") == ""
 
 
 def test_higher_priority_agent_todo_rebinds_generated_onboarding_next_action(

From 548b73519e461a2a33949dfc6083ad4e43a561f3 Mon Sep 17 00:00:00 2001
From: huangruiteng <14976749+huangruiteng@users.noreply.github.com>
Date: Tue, 15 Sep 2026 19:24:52 +0800
Subject: [PATCH 3/4] refactor(goals): unify objective presentation readback
 and compatibility

Signed-off-by: huangruiteng <14976749+huangruiteng@users.noreply.github.com>
---
 .../goals/active_state_metadata.py            |  49 +++++---
 loopx/control_plane/projects/registry.py      |  36 +++---
 tests/cli_commands/test_project_registry.py   |  48 ++++++-
 .../test_goal_objective_projection.py         | 119 ++++++++++++++++++
 .../test_todo_next_action_settlement.py       |  76 -----------
 .../test_todo_projection_recovery.py          |  22 ++++
 6 files changed, 236 insertions(+), 114 deletions(-)
 create mode 100644 tests/control_plane/test_goal_objective_projection.py

diff --git a/loopx/control_plane/goals/active_state_metadata.py b/loopx/control_plane/goals/active_state_metadata.py
index 7a8dbfccc2..fbacf9d32a 100644
--- a/loopx/control_plane/goals/active_state_metadata.py
+++ b/loopx/control_plane/goals/active_state_metadata.py
@@ -1,8 +1,11 @@
 from __future__ import annotations
 
 import json
+import re
 from html import escape, unescape
 
+from .active_state_sections import active_state_sections
+
 
 USER_TODO_HEADER_MARKERS = (
     "user todo",
@@ -36,15 +39,11 @@ def markdown_blockquote(value: str) -> str:
 
 
 def active_state_section_text(state_text: str, heading: str) -> str:
-    lines = state_text.splitlines()
-    try:
-        start = next(
-            i for i, line in enumerate(lines) if line.rstrip(" \t") == f"## {heading}"
-        ) + 1
-    except StopIteration:
-        return ""
-    end = next((i for i in range(start, len(lines)) if lines[i].startswith("## ")), len(lines))
-    section_lines = [line for line in lines[start:end] if line]
+    _, body = split_state_frontmatter(state_text)
+    sections = active_state_sections(
+        body, (heading,), section_heading_pattern=re.compile(r"^## (.+?)[ \t]*$"),
+    )
+    section_lines = [line for line in sections[heading] if line]
     if heading == "Objective" and section_lines and all(
         line.startswith("> ") for line in section_lines
     ):
@@ -58,19 +57,33 @@ def active_state_section_text(state_text: str, heading: str) -> str:
     return " ".join(text.split())
 
 
-def parse_state_frontmatter(state_text: str) -> dict[str, str]:
-    if not state_text.startswith("---"):
-        return {}
-    parts = state_text.split("---", 2)
-    if len(parts) < 3:
-        return {}
+def split_state_frontmatter(state_text: str) -> tuple[dict[str, str], str]:
+    """Decode generated string metadata; retain the legacy unquoted input form."""
+    match = re.match(r"\A---[ \t]*\r?\n(.*?)^---[ \t]*(?:\r?\n|\Z)", state_text, re.M | re.S)
+    if match is None:
+        return {}, state_text
     result: dict[str, str] = {}
-    for line in parts[1].splitlines():
+    # JSON strings may contain Unicode separators: only physical LF ends a field.
+    for line in match.group(1).split("\n"):
         if ":" not in line:
             continue
         key, value = line.split(":", 1)
-        result[key.strip()] = value.strip().strip('"')
-    return result
+        value = value.strip()
+        if value.startswith('"'):
+            try:
+                decoded = json.loads(value)
+            except json.JSONDecodeError:
+                pass  # Legacy writers did not escape backslashes as JSON.
+            else:
+                if isinstance(decoded, str):
+                    result[key.strip()] = decoded
+                    continue
+        result[key.strip()] = value.strip('"')
+    return result, state_text[match.end():]
+
+
+def parse_state_frontmatter(state_text: str) -> dict[str, str]:
+    return split_state_frontmatter(state_text)[0]
 
 
 def todo_role_for_heading(heading: str) -> str | None:
diff --git a/loopx/control_plane/projects/registry.py b/loopx/control_plane/projects/registry.py
index 78f8946b2a..5f6d5f0cee 100644
--- a/loopx/control_plane/projects/registry.py
+++ b/loopx/control_plane/projects/registry.py
@@ -13,7 +13,9 @@
 from ..coordination.legacy_writer_fence import legacy_todo_write_transaction, require_legacy_state_replacement_allowed
 from ...paths import DEFAULT_RUNTIME_ROOT
 from ...registry import atomic_write_json
-from ..goals.active_state_metadata import markdown_blockquote, markdown_frontmatter_string
+from ..goals.active_state_metadata import (
+    markdown_blockquote, markdown_frontmatter_string, split_state_frontmatter,
+)
 from ...repository_identity import normalize_repository_identity
 from .contract import validate_project_record_bindings
 
@@ -175,6 +177,22 @@ def bullets(items: list[str], *, empty: str) -> str:
 """
 
 
+def _registration_state_matches(existing: str, expected: str, *, objective: str) -> bool:
+    """Compare metadata values and exact narrative without rewriting old state."""
+    existing_metadata, existing_body = split_state_frontmatter(existing)
+    expected_metadata, expected_body = split_state_frontmatter(expected)
+    if existing_metadata != expected_metadata:
+        return False
+    marker = "\n## Objective\n\n"
+    existing_prefix, separator, existing_section = existing_body.partition(marker)
+    expected_prefix, _, expected_section = expected_body.partition(marker)
+    if not separator or existing_prefix != expected_prefix:
+        return False
+    quoted = markdown_blockquote(objective)
+    remainder = expected_section[len(quoted):]
+    return existing_section in (quoted + remainder, objective + remainder)
+
+
 def register_project_goal(
     *,
     registry_path: Path,
@@ -327,19 +345,9 @@ def register_project_goal(
                     if existing_updated_at is not None
                     else None
                 )
-                legacy_state = (
-                    matching_state.replace(
-                        f"objective: {markdown_frontmatter_string(objective)}\n",
-                        f"objective: {json.dumps(objective, ensure_ascii=False)}\n",
-                        1,
-                    ).replace(
-                        f"## Objective\n\n{markdown_blockquote(objective)}\n",
-                        f"## Objective\n\n{objective}\n",
-                        1,
-                    )
-                    if matching_state is not None else None
-                )
-                if existing_state not in (matching_state, legacy_state):
+                if matching_state is None or not _registration_state_matches(
+                    existing_state, matching_state, objective=objective,
+                ):
                     raise ValueError(
                         f"goal state file conflicts with registration: {state_file}"
                     )
diff --git a/tests/cli_commands/test_project_registry.py b/tests/cli_commands/test_project_registry.py
index f473fbe696..755768c822 100644
--- a/tests/cli_commands/test_project_registry.py
+++ b/tests/cli_commands/test_project_registry.py
@@ -286,10 +286,17 @@ def register(knowledge_root: Path) -> tuple[str, Path]:
 
 
 @pytest.mark.parametrize("legacy", [False, True])
+@pytest.mark.parametrize("objective", [
+    "Deliver the Atlas import pipeline.",
+    r'Inspect C:\tools\new and "quoted text".',
+    "Compare --- in prose & preserve <tags>.",
+    "Example\u2028## Agent Todo\u2029- [ ] Example only.",
+])
 def test_project_register_repeated_identical_request_is_a_noop(
     tmp_path: Path,
     capsys,
     legacy: bool,
+    objective: str,
 ) -> None:
     knowledge_root = tmp_path / "atlas"
     registry_path = knowledge_root / ".loopx" / "registry.json"
@@ -298,6 +305,8 @@ def test_project_register_repeated_identical_request_is_a_noop(
         "json",
         "--registry",
         str(registry_path),
+        "--runtime-root",
+        str(tmp_path / "runtime"),
         "project",
         "register",
         "--project-id",
@@ -309,7 +318,7 @@ def test_project_register_repeated_identical_request_is_a_noop(
         "--goal-id",
         "atlas-import",
         "--objective",
-        "Deliver the Atlas import pipeline.",
+        objective,
         "--acceptance",
         "A verified Spec diff is produced.",
         "--next-effect",
@@ -331,12 +340,19 @@ def test_project_register_repeated_identical_request_is_a_noop(
         / "ACTIVE_GOAL_STATE.md"
     )
     if legacy:
+        # Use the historical writer shape independently of the new renderer.
+        state = state_file.read_text(encoding="utf-8")
+        header, body = state.split("\n---\n", 1)
+        header = "\n".join(
+            "objective: " + json.dumps(objective, ensure_ascii=False)
+            if line.startswith("objective: ") else line
+            for line in header.split("\n")
+        )
+        prefix, suffix = body.split("\n## Objective\n\n", 1)
+        _, remainder = suffix.split("\n\n## Acceptance\n", 1)
         state_file.write_text(
-            state_file.read_text(encoding="utf-8").replace(
-                "## Objective\n\n> Deliver the Atlas import pipeline.",
-                "## Objective\n\nDeliver the Atlas import pipeline.",
-            ),
-            encoding="utf-8",
+            header + "\n---\n" + prefix + "\n## Objective\n\n" + objective
+            + "\n\n## Acceptance\n" + remainder, encoding="utf-8",
         )
     state_before = state_file.read_bytes()
 
@@ -347,6 +363,26 @@ def test_project_register_repeated_identical_request_is_a_noop(
     assert registry_path.read_bytes() == registry_before
     assert state_file.read_bytes() == state_before
 
+    # Equivalent JSON spelling is presentation, while changed content conflicts.
+    text = state_file.read_text()
+    header, body = text.split("\n---\n", 1)
+    header = "\n".join(
+        "objective: " + json.dumps(objective, ensure_ascii=True)
+        if line.startswith("objective: ") else line for line in header.split("\n")
+    )
+    equivalent = header + "\n---\n" + body
+    state_file.write_text(equivalent)
+    assert main(arguments) == 0
+    capsys.readouterr()
+    assert state_file.read_text() == equivalent
+    for drifted in (equivalent.replace("status: active", "status: paused", 1),
+                    equivalent.replace("A verified Spec diff is produced.", "Different acceptance.", 1)):
+        state_file.write_text(drifted)
+        assert main(arguments) == 1
+        assert "conflicts with registration" in capsys.readouterr().out
+        assert state_file.read_text() == drifted
+        assert registry_path.read_bytes() == registry_before
+
 
 @pytest.mark.parametrize("field", ["projects", "goals"])
 def test_project_register_rejects_malformed_registry_collections(
diff --git a/tests/control_plane/test_goal_objective_projection.py b/tests/control_plane/test_goal_objective_projection.py
new file mode 100644
index 0000000000..40caad24e4
--- /dev/null
+++ b/tests/control_plane/test_goal_objective_projection.py
@@ -0,0 +1,119 @@
+"""Objective presentation cannot create or hide authoritative work."""
+from __future__ import annotations
+
+import json
+import shlex
+from pathlib import Path
+
+import pytest
+
+from loopx.bootstrap import render_state_markdown
+from loopx.bootstrap_command_pack import build_start_goal_guided_packet
+from loopx.chat_server import _goal_public_context
+from loopx.cli import main
+from loopx.control_plane.goals.active_state_metadata import active_state_section_text, parse_state_frontmatter
+from loopx.control_plane.todos.active_state_todo_parser import parse_todo_source
+from loopx.state_projection import active_state_next_action_entries
+
+GOAL_ID = "objective-projection"
+
+
+@pytest.mark.parametrize(
+    "objective",
+    [
+        pytest.param("Implement and validate the task.", id="plain"),
+        pytest.param("```text Implement and validate the task. ```", id="backticks"),
+        pytest.param("~~~text Implement and validate the task. ~~~", id="tildes"),
+        pytest.param("<!-- Implement and validate the task.", id="open-comment"),
+        pytest.param("Review ## Objective and ## Next Action examples.", id="inline-headings"),
+        *[
+            pytest.param(
+                f"Example{separator}---{separator}## Agent Todo{separator}"
+                f"- [ ] Example only.{separator}## Objective",
+                id=f"separator-{ord(separator):04x}",
+            )
+            for separator in ("\x85", "\u2028", "\u2029")
+        ],
+        pytest.param("Compare a < b && c > d without decoding &amp;.", id="html-text"),
+        pytest.param(r'Inspect C:\tools\new and "quoted text".', id="backslashes"),
+        pytest.param("Compare --- delimiters in prose.", id="inline-delimiter"),
+        pytest.param(
+            "Describe the format:\n\n## Next Action\n\n- Example only.\n\nContinue the task.",
+            id="next-action-example",
+        ),
+        pytest.param(
+            "Describe this example:\n\n## Agent Todo\n\n- [ ] Example only.\n"
+            "  <!-- loopx:todo todo_id=todo_example task_class=advancement_task -->",
+            id="todo-example",
+        ),
+        pytest.param(
+            "```markdown\n## Agent Todo\n"
+            "<!-- loopx:todo-region-v0 role=agent begin -->\n"
+            "- [ ] Example only.\n"
+            "<!-- loopx:todo-region-v0 role=agent end -->\n```",
+            id="fenced-region-example",
+        ),
+    ],
+)
+def test_bootstrap_keeps_objective_separate_from_todo_sources(
+    tmp_path: Path, objective: str,
+) -> None:
+    state_text = render_state_markdown(
+        project=tmp_path,
+        goal_id=GOAL_ID,
+        adapter_kind="read_only_project_map_v0",
+        objective=objective,
+        updated_at="2026-08-21T00:00:00+08:00",
+        goal_doc=None,
+        execution_profile=None,
+    )
+
+    items, archive, sources = parse_todo_source(state_text)
+
+    assert sources == {
+        "user": "User Todo / Owner Review Reading Queue",
+        "agent": "Agent Todo",
+    }
+    assert items["user"] == []
+    assert archive == []
+    assert len(items["agent"]) == 1
+    assert items["agent"][0]["action_kind"] == "onboarding_connection_validation"
+    assert active_state_next_action_entries(state_text) == [items["agent"][0]["text"]]
+    assert active_state_section_text(state_text, "Objective") == " ".join(objective.split())
+    objective_line = next(line for line in state_text.splitlines() if line.startswith("objective: "))
+    assert json.loads(objective_line.removeprefix("objective: ")) == objective
+    assert parse_state_frontmatter(state_text)["objective"] == objective
+
+
+@pytest.mark.parametrize("heading", ["## Objective", "## Objective  ", "## Objective\t"])
+def test_objective_readback_preserves_existing_heading_whitespace(heading: str) -> None:
+    state = f"{heading}\n\nKeep the original objective.\n\n## Next Action\n\nContinue."
+    assert active_state_section_text(state, "Objective") == "Keep the original objective."
+    assert active_state_section_text(state, "Missing") == ""
+
+
+
+@pytest.mark.parametrize("objective", ["```text\nImplement the task.\n```", "<!-- Keep the comment as text.", "x" * 601])
+def test_start_goal_bootstrap_todo_and_chat_readback(tmp_path, capsys, monkeypatch, objective):
+    project = tmp_path / "project"
+    project.mkdir()
+    runtime = tmp_path / "runtime"
+    packet = build_start_goal_guided_packet(
+        project=project, goal_id=GOAL_ID, agent_id="agent-a", cli_bin="loopx",
+        host_surface="shell", goal_text=objective, runtime_root_arg=str(runtime),
+    )
+    connect = next(step for step in packet["guided_transaction"]["ordered_steps"] if step["id"] == "connect_if_needed")
+    command = connect["command"].replace("\\\n", " ")
+    args = shlex.split(command.split("\n", 1)[1])
+    assert args[0] == "loopx"
+    monkeypatch.chdir(project)
+    assert main(["--format", "json", "--runtime-root", str(runtime), *args[1:]]) == 0
+    capsys.readouterr()
+    registry_path = project / ".loopx" / "registry.json"
+    assert main(["--format", "json", "--registry", str(registry_path),
+                 "todo", "list", "--goal-id", GOAL_ID]) == 0
+    todos = json.loads(capsys.readouterr().out)
+    assert todos["agent_todos"]["open_count"] == 1
+    registry = json.loads(registry_path.read_text())
+    goal = next(goal for goal in registry["goals"] if goal["id"] == GOAL_ID)
+    assert _goal_public_context(registry, goal)["objective"] == " ".join(objective.split())[:600]
diff --git a/tests/control_plane/test_todo_next_action_settlement.py b/tests/control_plane/test_todo_next_action_settlement.py
index 350b2d75c8..744fb3726f 100644
--- a/tests/control_plane/test_todo_next_action_settlement.py
+++ b/tests/control_plane/test_todo_next_action_settlement.py
@@ -3,11 +3,7 @@
 import json
 from pathlib import Path
 
-import pytest
-
 from loopx.bootstrap import render_state_markdown
-from loopx.control_plane.goals.active_state_metadata import active_state_section_text
-from loopx.control_plane.todos.active_state_todo_parser import parse_todo_source
 from loopx.control_plane.effect_runtime import MAX_REQUEST_BYTES
 from loopx.control_plane.todos.next_action_runtime import (
     _agent_todo_snapshots,
@@ -130,78 +126,6 @@ def test_bootstrap_binds_generated_connection_validation_next_action(
     assert "loopx:next-action" not in json.dumps(record)
 
 
-@pytest.mark.parametrize(
-    "objective",
-    [
-        pytest.param("Implement and validate the task.", id="plain"),
-        pytest.param("```text Implement and validate the task. ```", id="backticks"),
-        pytest.param("~~~text Implement and validate the task. ~~~", id="tildes"),
-        pytest.param("<!-- Implement and validate the task.", id="open-comment"),
-        pytest.param("Review ## Objective and ## Next Action examples.", id="inline-headings"),
-        *[
-            pytest.param(
-                f"Example{separator}---{separator}## Agent Todo{separator}"
-                f"- [ ] Example only.{separator}## Objective",
-                id=f"separator-{ord(separator):04x}",
-            )
-            for separator in ("\x85", "\u2028", "\u2029")
-        ],
-        pytest.param("Compare a < b && c > d without decoding &amp;.", id="html-text"),
-        pytest.param(r'Inspect C:\tools\new and "quoted text".', id="backslashes"),
-        pytest.param(
-            "Describe the format:\n\n## Next Action\n\n- Example only.\n\nContinue the task.",
-            id="next-action-example",
-        ),
-        pytest.param(
-            "Describe this example:\n\n## Agent Todo\n\n- [ ] Example only.\n"
-            "  <!-- loopx:todo todo_id=todo_example task_class=advancement_task -->",
-            id="todo-example",
-        ),
-        pytest.param(
-            "```markdown\n## Agent Todo\n"
-            "<!-- loopx:todo-region-v0 role=agent begin -->\n"
-            "- [ ] Example only.\n"
-            "<!-- loopx:todo-region-v0 role=agent end -->\n```",
-            id="fenced-region-example",
-        ),
-    ],
-)
-def test_bootstrap_keeps_objective_separate_from_todo_sources(
-    tmp_path: Path, objective: str,
-) -> None:
-    state_text = render_state_markdown(
-        project=tmp_path,
-        goal_id=GOAL_ID,
-        adapter_kind="read_only_project_map_v0",
-        objective=objective,
-        updated_at="2026-08-21T00:00:00+08:00",
-        goal_doc=None,
-        execution_profile=None,
-    )
-
-    items, archive, sources = parse_todo_source(state_text)
-
-    assert sources == {
-        "user": "User Todo / Owner Review Reading Queue",
-        "agent": "Agent Todo",
-    }
-    assert items["user"] == []
-    assert archive == []
-    assert len(items["agent"]) == 1
-    assert items["agent"][0]["action_kind"] == "onboarding_connection_validation"
-    assert active_state_next_action_entries(state_text) == [items["agent"][0]["text"]]
-    assert active_state_section_text(state_text, "Objective") == " ".join(objective.split())
-    objective_line = next(line for line in state_text.splitlines() if line.startswith("objective: "))
-    assert json.loads(objective_line.removeprefix("objective: ")) == objective
-
-
-@pytest.mark.parametrize("heading", ["## Objective", "## Objective  ", "## Objective\t"])
-def test_objective_readback_preserves_existing_heading_whitespace(heading: str) -> None:
-    state = f"{heading}\n\nKeep the original objective.\n\n## Next Action\n\nContinue."
-    assert active_state_section_text(state, "Objective") == "Keep the original objective."
-    assert active_state_section_text(state, "Missing") == ""
-
-
 def test_higher_priority_agent_todo_rebinds_generated_onboarding_next_action(
     tmp_path: Path,
 ) -> None:
diff --git a/tests/control_plane/test_todo_projection_recovery.py b/tests/control_plane/test_todo_projection_recovery.py
index 7a6f76e678..73441e902d 100644
--- a/tests/control_plane/test_todo_projection_recovery.py
+++ b/tests/control_plane/test_todo_projection_recovery.py
@@ -325,3 +325,25 @@ def interrupted(_path):
     assert provider_projection.project_current_canonical_todos(
         registry_path=registry, runtime_root=runtime, goal_id="goal-a",
     )["status"] == "current"
+
+
+@pytest.mark.parametrize("objective", ["```text Execute this example. ```", "## Agent Todo\n- [ ] Example only."])
+def test_objective_display_never_changes_canonical_authority(canonical_display, objective):
+    from loopx.bootstrap import render_state_markdown
+    from loopx.control_plane.goals.active_state_metadata import active_state_section_text
+
+    registry, runtime, state = canonical_display
+    before = _read(runtime)
+    state.write_text(render_state_markdown(
+        project=state.parent, goal_id="goal-a", adapter_kind="read_only_project_map_v0",
+        objective=objective, updated_at="2026-09-15T00:00:00Z",
+        goal_doc=None, execution_profile=None, include_connection_validation=False,
+    ))
+    code, delivered = _run(registry, before["provider_revision"], "--execute")
+    assert code == 0 and delivered["status"] == "delivered", delivered
+    assert active_state_section_text(state.read_text(), "Objective") == " ".join(objective.split())
+    assert _read(runtime) == before
+    state.write_text("<!-- unreadable display")
+    code, result = _cli(registry, "list", "--goal-id", "goal-a")
+    assert code == 0 and result["agent_todos"]["items"][0]["todo_id"] == "todo_active", result
+    assert _read(runtime) == before

From 6c83dec7147601bd2559565163632db25a66137a Mon Sep 17 00:00:00 2001
From: huangruiteng <14976749+huangruiteng@users.noreply.github.com>
Date: Tue, 15 Sep 2026 19:24:52 +0800
Subject: [PATCH 4/4] docs(goals): align objective projection with
 control-plane RFCs

Signed-off-by: huangruiteng <14976749+huangruiteng@users.noreply.github.com>
---
 ...shared-goal-authority-state-provider-v0.md |  5 +++++
 ...-goal-authority-state-provider-v0.zh-CN.md |  4 ++++
 .../typescript-control-plane-migration-v0.md  |  5 +++++
 ...script-control-plane-migration-v0.zh-CN.md |  4 ++++
 .../active-state-structured-projection-v0.md  | 22 ++++++++++++++-----
 5 files changed, 34 insertions(+), 6 deletions(-)

diff --git a/docs/architecture/rfcs/shared-goal-authority-state-provider-v0.md b/docs/architecture/rfcs/shared-goal-authority-state-provider-v0.md
index 6758ccb34b..d0b8a4ef45 100644
--- a/docs/architecture/rfcs/shared-goal-authority-state-provider-v0.md
+++ b/docs/architecture/rfcs/shared-goal-authority-state-provider-v0.md
@@ -2928,6 +2928,11 @@ an equal-byte retry syncs file and directory before reporting `current`. Narrati
 canonical records stay intact. This converges the retained Python presentation/legacy
 input adapter; it adds no RPC or business state machine and does not change TS authority
 transactions, provider defaults, SQLite D2 or D3 promotion requirements.
+Objective examples are now isolated by both document producers, and display
+readback shares the Goal codec. Canonical Todo reads remain independent of
+malformed display; Objective narrative is not added to the Todo store or its
+recovery scope. This is a bounded D1 adapter correction, not D1–D3 qualification.
+See the [document boundary](../../reference/protocols/active-state-structured-projection-v0.md#markdown-ownership-boundary).
 Canonical handoff-mode show/set no longer depend on Markdown frontmatter or local lease files. One TS transaction binds quiescence, mode and durable operation replay to the same revision, including sealed no-op intents. This adds a provider-neutral command boundary, not a provider default or whole-Goal cutover; frontmatter remains outside the Todo-section renderer. See [operation and recovery](../../reference/handoff-mode.md).
 
 T2 now commits a lease-free native Monitor observation and its independent
diff --git a/docs/architecture/rfcs/shared-goal-authority-state-provider-v0.zh-CN.md b/docs/architecture/rfcs/shared-goal-authority-state-provider-v0.zh-CN.md
index f8b9c83fdb..5e9d3dd8cb 100644
--- a/docs/architecture/rfcs/shared-goal-authority-state-provider-v0.zh-CN.md
+++ b/docs/architecture/rfcs/shared-goal-authority-state-provider-v0.zh-CN.md
@@ -2318,6 +2318,10 @@ fenced 示例被当成真实任务、归档 end marker 后叙述进入历史、
 这是永久 Python 展示／legacy 输入适配层的收敛：TS authority transaction、provider
 默认值、SQLite D2 与 D3 promotion 合同不变，不增加 RPC 或另一份业务状态机。
 Canonical handoff-mode show/set 不再依赖 Markdown frontmatter 或本地 lease；一笔 TS 事务把空闲检查、mode 与耐久操作回执绑定到同一 revision，包括未改值请求的回执。该命令边界不切换默认 provider、不晋升整 Goal；frontmatter 仍不属于 Todo-section renderer。操作与恢复见 [handoff-mode](../../reference/handoff-mode.md)。
+两个文档生成入口现在隔离 Objective 示例，展示读回复用 Goal codec。Canonical Todo
+读取仍独立于畸形展示；Objective 叙述不进入 Todo store，也不扩大其恢复范围。
+这是有界 D1 适配层修正，不代表 D1–D3 资格化。
+见[文档边界](../../reference/protocols/active-state-structured-projection-v0.md#markdown-ownership-boundary)。
 
 能力缺口 consumer 在 legacy/canonical 输入上共用 TS requirement/resolution owner，
 包括 quota 的 Monitor 能力分流。删除 Python missing-set 与 owner/repair 决策 builder，
diff --git a/docs/architecture/rfcs/typescript-control-plane-migration-v0.md b/docs/architecture/rfcs/typescript-control-plane-migration-v0.md
index c5caf6badb..8c7d7f8fb0 100644
--- a/docs/architecture/rfcs/typescript-control-plane-migration-v0.md
+++ b/docs/architecture/rfcs/typescript-control-plane-migration-v0.md
@@ -397,6 +397,11 @@ owns durable truth, recovery, cutover, and projection delivery. Neither a fully
 TypeScript CLI nor `loopxd` is a prerequisite for removing Python decisions.
 An input adapter or external-effect executor may remain Python.
 
+Objective serialization and readback now share the existing Goal metadata and
+section owners; legacy registration compares decoded values and exact narrative.
+This closes a presentation boundary without adding TS transport or moving business
+authority. See the [document boundary](../../reference/protocols/active-state-structured-projection-v0.md#markdown-ownership-boundary).
+
 The lifecycle-admission slice now uses `todo_lifecycle_decision.ts` for legacy
 claim/update admission, delegated action/reason checks, ownership-holder routing,
 and native complete/supersede. Native text/note edits and terminal transitions
diff --git a/docs/architecture/rfcs/typescript-control-plane-migration-v0.zh-CN.md b/docs/architecture/rfcs/typescript-control-plane-migration-v0.zh-CN.md
index ff5921f317..88bba64be1 100644
--- a/docs/architecture/rfcs/typescript-control-plane-migration-v0.zh-CN.md
+++ b/docs/architecture/rfcs/typescript-control-plane-migration-v0.zh-CN.md
@@ -313,6 +313,10 @@ Markdown renderer 长期保留。
 负责 durable truth、恢复、cutover 与投影交付。删除 Python decision 不以前端 CLI
 全部改成 TypeScript 或 `loopxd` 落地为前提；输入适配和外部 effect 执行可以保留 Python。
 
+Objective 编码与读回复用既有 Goal metadata／section owner；旧注册按解码后的值与
+精确叙述正文比较。这是展示边界闭合，不增加 TS transport，也不迁移业务权威。
+见[文档边界](../../reference/protocols/active-state-structured-projection-v0.md#markdown-ownership-boundary)。
+
 本次 lifecycle-admission 切片将 legacy claim/update 准入、委托 action/reason 检查、
 ownership-holder 路由及 native complete/supersede 统一到
 `todo_lifecycle_decision.ts`。Native text/note 编辑与 terminal transition 在进程内
diff --git a/docs/reference/protocols/active-state-structured-projection-v0.md b/docs/reference/protocols/active-state-structured-projection-v0.md
index 62f7d0dbe2..845340bc11 100644
--- a/docs/reference/protocols/active-state-structured-projection-v0.md
+++ b/docs/reference/protocols/active-state-structured-projection-v0.md
@@ -121,12 +121,22 @@ Directly editing a projection is not a state transition.
 
 New bootstrap and project-registration documents quote each Objective line and
 escape HTML metacharacters. Fences, comments, headings, and Todo markers in the
-objective therefore remain content rather than document structure. The
-frontmatter stores the objective as a JSON string with Unicode line separators
-escaped. Chat context readback removes the generated quotation and decodes the
-text. Existing project registrations remain idempotent without rewriting their
-state. This changes objective presentation, not Todo authority or transitions;
-existing malformed documents are not automatically repaired.
+objective remain content rather than document structure. Frontmatter string
+encoding and readback share JSON semantics, including escaped Unicode line
+separators; only complete delimiter lines terminate frontmatter. Objective
+readback composes the existing section reader and decodes generated quotation.
+Registration compares metadata values and exact remaining narrative, accepting
+legacy Objective presentation without rewriting it; changed content still conflicts.
+
+This is the permanent Python presentation/legacy-input adapter described by the
+[TypeScript RFC](../../architecture/rfcs/typescript-control-plane-migration-v0.md#next-delivery-sequence)
+and [shared-authority RFC](../../architecture/rfcs/shared-goal-authority-state-provider-v0.md#next-delivery-and-parallel-provider-work).
+It adds no business rule, RPC, provider, or authority write. Post-cutover Todo
+consumers still read canonical state when Markdown is absent or malformed;
+rendering never imports Objective examples into that state. Before cutover,
+the existing legacy writer remains subject to its normal fence. Objective is
+independent Goal narrative, outside the Todo store and Todo-section recovery.
+Existing malformed documents are not automatically repaired.
 
 Markdown is not one undifferentiated database row. Agents generate and maintain
 both its structured sections and narrative through LoopX. The distinction is