test262 annexB/language tail — 303 fails after #5319 (B.3.3 residual + missed-negatives + dynamic eval)

[proggeramlug]

Follow-up to #5297 (closed by #5319, which took annexB 50%→66.5%). Remaining annexB = 645/970 = 66.5%, 325 fails (303 language, 22 built-ins).

Reasons

• 94× An initialized binding is not ... — ⚠️ likely a feat(hir): Annex B B.3.3 sloppy block-level function hoisting (#5297) #5319 B.3.3 residual: the sloppy block-function hoisting introduced/left an initialized-binding edge. Investigate first — may be a quick completion of the B.3.3 work.
• 72× eval() cannot run in an ahead-of-time compiler — dynamic (runtime-built-string) eval; PERRY_ALLOW_EVAL handles constant eval but these are genuinely dynamic → likely a real AOT limit (document or scope).
• 72× "Perry ran clean; Node rejected (missed negative)" — Annex B early-error semantics (legacy octal in strict, etc.) Perry is too lenient on.
• 14× block-scoping SameValue, 8× value is not a function.

Suggested order

1. The 94 'initialized binding' cluster (finish feat(hir): Annex B B.3.3 sloppy block-level function hoisting (#5297) #5319 B.3.3). 2. The 72 missed-negatives (Annex B early errors). 3. Triage the 72 dynamic-eval as AOT-limit vs fixable.

Measure: scripts/test262_subset.py --dir annexB --all-features (node v26). Prompt scaffold: ~/perry-bench/prompts/test262-annexb-language-b33.md.

[proggeramlug]

Status update (2026-06-18)

Progress on the annexB/language tail since this was filed:

• fix(hir,runtime): Annex B B.3.3 hoisting precedence + legacy method aliases (#5346) #5394 merged — Annex B B.3.3 hoisting precedence + legacy method aliases.
• fix(hir): skip AnnexB B.3.3 legacy var on for-head/destructuring-catch early errors (#5346) #5356 merged — skip Annex B B.3.3 legacy var on for-head / destructuring-catch early errors.

Both target the priority 94× An initialized binding is not ... B.3.3-residual cluster (suggested-order step 1). The size of the residual after these two needs the next sweep to confirm (scripts/test262_subset.py --dir annexB --all-features).

Remaining, unchanged:

• 72× missed-negatives — Annex B early-error semantics (legacy octal in strict, etc.) Perry is too lenient on
• 72× eval() cannot run in an ahead-of-time compiler — genuinely dynamic (runtime-built-string) eval; likely a real AOT limit to document/scope vs. fix
• 14× block-scoping SameValue, 8× value is not a function

Keeping open as the annexB tracker pending the post-#5394/#5356 re-measure.

[proggeramlug]

Re-measured 2026-06-23 on an internal Linux sweep host (perry 0.5.1204): annexB persistent standing gap 145 (was 303; #5319 B.3.3 work landed). Closing this umbrella in favor of:

• test262 annexB: dynamic eval() AOT limit (72) — document/scope as a known limitation #5593 dynamic eval() AOT limit (72) — likely document-as-limitation
• test262 annexB legacy-web tail (73) — RegExp legacy escapes (\1 backref, \c control) + B.3.x function-binding semantics #5594 legacy-web tail (73): RegExp legacy escapes (\1 backref, \c control) + B.3.x function-binding residual