Preserve import provenance and resource contexts

docs/roadmap/implementation.md

@@ -302,7 +302,7 @@ overlay/CLI accounting. No limitations.
 
 ## Stage 6 — Preserve diagnostics, source inspection, and resource contexts
 
-Status: planned. Scope: coordinates, detached records, and resource ownership.
+Status: complete. Scope: coordinates, detached records, and resource ownership.
 
 1. Check entry/child/grandchild source records' individual destinations, kinds,
    IDs, physical paths, and ImportedFrom locations. Include public failure
@@ -329,6 +329,19 @@ diagnostic/import tests, `go test -race ./internal/engine`, and everyday check.
 Done: logical placement is inspectable without changing physical identity,
 filesystem lifetime, or the public facade boundary.
 
+Evidence (2026-10-14): based on `43e55dfa85963d050d5899aec9d96f4ef637ebf6`,
+using `go1.26.8 linux/amd64`. Focused public facade import/destination/resource
+tests, the engine import/destination/provenance/diagnostic/resource suite,
+`go test -race ./internal/engine`, and `./scripts/check.sh` all passed. New
+coverage verifies exact host and native physical source paths, IDs, kinds,
+effective destinations, declaration locations, native resource opens from
+their declaring directories, detached destination copies across repeated and
+independent loads, and public source/diagnostic records for imported parse,
+source-local directive, effective-path composition/version, and typed validation
+failures. Existing layered inheritance/context and source-acquisition tests
+cover inherited lower values, explicit filesystem contexts, and cleanup. No
+limitations.
+
 ## Stage 7 — Verify inheritance, history, sensitivity, and diffs
 
 Status: planned. Scope: retained placed data and one final application lifecycle.