Follow-up to #854 and the latest-source native profile; refs #416, #881, #882. Exact image2c6666ac still displays the root-statement walk in memberAccessReceiverIsRequireAssignmentBinding in both fixed windows. Prior shared root-index reuse was unqualified and attachment-result memo was rejected; neither is revived.
Investigate using already-owned complete binder symbol declaration lists rather than building another checker index or repeating the full root walk. A bound-module completeness/ownership snapshot must identify the exact HIR, root and statement storage; absent/partial/stale/mutated ownership uses the unchanged scalar path. Queries must cover value and type import spaces, every duplicate declaration, only direct root statements (including export wrappers), import-equals bindings and original virtual-section/name behavior. No resolving a different lexical meaning, semantic caps, filename/workload predicates, source-hint shortcuts or weakened errors.
First prove exhaustive optimized-versus-scalar answers and correct fallback for module absence, incomplete bind, actual HIR growth/root replacement, duplicates, nested scopes/exports/virtual sections and allocation failures. Then all unfiltered source suites, actual-CLI extended/six-image protocol/scaled admission, unchanged full-library no-added-identities comparison. Freeze exact parent/source/native and all20 official plus unchanged512/8192 JS workloads for screen10+independent30 before first timing. Adoption requires positive independent lower95% bound on official128-family checkedJS and no wholly negative independent interval anywhere; every adverse observation retained, no repeat-to-win. Publish all raw evidence/results and a concise README table even if rejected. Source must not be pushed unless fully qualified.