Demonstrate entry-declared import destinations

docs/roadmap/implementation.md

@@ -380,7 +380,7 @@ removed descendants. No limitations.
 
 ## Stage 8 — Demonstrate ordinary and mounted collection entries
 
-Status: planned. Scope: maintained public examples and their behavior tests.
+Status: complete. Scope: maintained public examples and their behavior tests.
 
 1. Add a compact ordinary-root example: its entry imports metadata and a fragment
    with `destination: [prompts]`, using existing `Load` import opt-in and no
@@ -402,6 +402,17 @@ Validate: `go test ./examples/consumers`, applicable executable `Example` tests,
 local links, and everyday check. Done: ordinary and layered workflows operate
 without the deferred source-header proposal.
 
+Evidence (2026-10-14): based on `a20ba0a`, using `go1.26.8 linux/amd64`.
+`go test ./examples/consumers`, root executable examples, local documentation
+links, and `./scripts/check.sh` passed. The ordinary-root sample uses `Load`
+with import opt-in and entry-authored root/prompt placement. The mounted
+collection example now declares metadata, prompt, and profile destinations in
+its entry YAML and exercises nested imports, while Go selects only the mount
+and main-owned schema policy. Behavior checks cover strict peer composition,
+post-tier prompt/profile inheritance, the version-only operator tier, effective
+source placement, and reading inherited prompt content from its source context.
+No limitations.
+
 ## Stage 9 — Reconcile documentation and audit the complete feature
 
 Status: planned. Scope: final consistency and evidence; no publication work.