diff --git a/harness/analysis-public-read-design-20260925/IMPLEMENTATION-MAP.md b/harness/analysis-public-read-design-20260925/IMPLEMENTATION-MAP.md
index 2152216a..99c7a9ab 100644
--- a/harness/analysis-public-read-design-20260925/IMPLEMENTATION-MAP.md
+++ b/harness/analysis-public-read-design-20260925/IMPLEMENTATION-MAP.md
@@ -223,7 +223,9 @@ A proportionate evidence set is:
    external producer refusal.
 2. **Public input-byte boundary.** Minimal explicit-ID E source is78 bytes. Public
    caller max_source_bytes78 accepts that input if later full admission fits;
-   77 refuses input, with expected source_limit attribution. E's C0 grammar UUID
+   77 refuses input before Traversal, with `invalid_source` and
+   `Source8 index/output byte limit exceeded.` at main0..1 (corrected by the
+   independent acceptance review). E's C0 grammar UUID
    overlap is only44 (=alias1+name7+UUID36), scanner36 and retained text8. Thus a
    hypothetical44/43 producer boundary is unreachable through this public policy:
    both reject the78-byte input earlier. Pending output's152/151 includes carried
@@ -257,4 +259,4 @@ producer-dominant *valid* public fixture could later strengthen external evidenc
 but is not a reason to fabricate an input profile or block the bounded constructor
 selection + existing mechanism + external policy tests. If such a fixture is used,
 handderive its peak, verify earlier source/UUID/scanner/catalog phases fit and
-assert exact refusal site before claiming independent producer-cap isolation.
\ No newline at end of file
+assert exact refusal site before claiming independent producer-cap isolation.