Lint: Constant-fold __DIR__ concatenation for include/require graph in phpc lint --all

[PurHur]

Problem

phpc lint --all walks include/require edges only when the path operand is a literal string. MiniWebApp and normal PHP apps use:

require __DIR__ . '/../config.php';
include __DIR__ . '/../templates/home.php';

lib/Lint/Linter.php emits stderr warnings (dynamic include/require (not followed)) and does not lint included files, so the project tree looks noisier than the real blocker set and MINIWEBAPP_LINT_GATE=1 cannot flip cleanly after #67.

Goal

When the include expression is __DIR__ concatenated with a literal suffix, resolve the path relative to the including file and recurse lint like a static include.

Scope

• Extend literalStringOperand() / walkCfgBlock() in lib/Lint/Linter.php to fold Concat of MagicConst __DIR__ + literal (and optional single segment)
• Reuse resolveIncludePath() for normalized absolute paths
• Unit test in test/unit/PhpcLintProjectTest.php using examples/003-MiniWebApp/ (expect fewer dynamic warnings; ClassMethod blockers remain until Language: Class methods and property access in JIT #58)
• Document in docs/unsupported-syntax.md if truly dynamic paths stay warnings

Out of scope

• Runtime include JIT/AOT (Language: include/require in JIT and AOT (multi-file applications) #54, Language: Magic constants __DIR__, __FILE__, __LINE__ for multi-file apps #85)
• Non-__DIR__ dynamic paths ($base . '/tpl.php')

Acceptance criteria

docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev \
  php bin/lint.php --all examples/003-MiniWebApp 2>&1 | tee /tmp/lint.txt

• No dynamic include/require lines for public/index.php require/include using __DIR__ . '/../…'
• Lint still reports Language: Class methods and property access in JIT #58 / Language: Visibility, constructors, and destructors #145 class/method blockers until those close

Verification (local / Docker only)

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

Do not require GitHub Actions.

Dependencies

• Language: Magic constants __DIR__, __FILE__, __LINE__ for multi-file apps #85 __DIR__ runtime (compile-time fold can mirror VM magic constant rules)
• Unblocks: DevEx: make web-smoke runs phpc lint --all on 003-MiniWebApp when tree exists #455 ✅ make web-smoke lint gate, Reference app: examples/003-MiniWebApp (router, templates, forms) #67 acceptance

Links

• DevEx: phpc lint --all for project trees (MiniWebApp blocker report) #286 ✅ project lint, Reference: MiniWebApp lint-first skeleton (examples/003-MiniWebApp) #246 ✅ skeleton, 🗺️ ROADMAP: Compile a small PHP web application (living document) #78 ROADMAP Phase 0

[PurHur]

Fixed in #467: lint follows DIR + literal include/require paths; MiniWebApp no longer emits dynamic-include warnings.