Follow-up to #854 and #416. The current byte-identical bb4c00d native profile (compiler4b4060e05) maps displayed PCs to the root-statement loop in memberAccessReceiverIsRequireAssignmentBinding. The full paused matrix retains all3000 samples; checked JS is1.88x behind the fastest admitted competitor. This is an investigation lead, not a CPU-share or speedup claim.
Implement an algorithmic replacement using complete, declaration-owned HIR facts collected coherently with existing declaration processing. Preserve the scalar predicate for every matching import-equals and simple variable require initializer, including duplicate names, declarations after a use, exports, nested shadowing behavior, virtual sections and synthetic/source-less HIR. The existing JSDoc prefix cache stores only the first variable and excludes imports, so it is not sufficient as-is. No coarse presence cache revival, benchmark/library/filename predicates, new semantic caps, layout tuning, any erasure, skipped bodies or filtered diagnostics.
Acceptance: permanent exact scalar-oracle tests across all root/section/name queries, forward/duplicate/escaped identifier/import/export controls, HIR growth and source/checker reuse, every allocation-failure stage with cleanup and safe scalar fallback. Keep ownership separate from foreign declaration handles. Full unfiltered checker/Program/driver/CLI/entrypoint gates, actual strict CLI admission, all20 workloads and unchanged Zod diagnostic comparison must pass. Freeze the exact parent and a full official/scaling/independent risk protocol before any timing; retain every observation and reject confirmed regression. Publish accepted or rejected outcomes with checksum raw evidence, README table/link, issue-linked conventional Chris-only main commits and no coauthors. Universal benchmark/platform leadership remains #416 and is not claimed by this issue.