Testing: Include scope inheritance compliance (MiniWebApp templates)

[PurHur]

Problem

#471 closed documenting that include must inherit the caller scope (layout → partial templates). There is no compliance PHPT in test/compliance/cases/ and no CI filter include_scope.

examples/003-MiniWebApp/templates/layout.php sets $title then includes home.php — silent breakage if a future refactor isolates included file scope.

Goal

Add test/compliance/cases/include_scope_inherit.phpt (VM + JIT when #474 lands):

$title = 'Home';
include __DIR__ . '/partial.php'; // echoes $title

Assert VM and JIT output matches Zend.

Implementation hints

Area	Notes
VM	lib/VM.php TYPE_INCLUDE pushes frame from parseAndCompileFile — verify locals visible in included file
Fixture	test/compliance/fixtures/include_scope/partial.php
MiniWebApp	Optional integration: lint-only until #67; no ServeTest dependency

Acceptance criteria

docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev \
  ./script/ci-local.sh --filter include_scope

JUnit/compliance reports pass for include_scope_inherit.phpt.

Verification (local / Docker only)

No GitHub Actions required.

Dependencies

• Language: include/require in JIT and AOT (multi-file applications) #54 ✅ / Web: include inherits caller scope for template partials (#471) #474 JIT include lowering
• Language: Magic constants __DIR__, __FILE__, __LINE__ for multi-file apps #85 __DIR__
• Reference app: examples/003-MiniWebApp (router, templates, forms) #67 MiniWebApp templates (consumer)

Related

• Web: Nested include inherits parent variable scope (template partials) #471 (closed spec — this issue is the test gate)
• 🗺️ ROADMAP: Compile a small PHP web application (living document) #78 ROADMAP Phase 1 Language

[PurHur]

De-duplication (batch 27): Implementation landed via #474 (MERGED, closes #471). Keep this issue only if include_scope_inherit compliance PHPT is still missing on master — otherwise close as duplicate of #474 and track any gaps in #475 (JIT include bundling).

Verify locally:

./script/ci-local.sh --filter IncludeLiteral