DevEx: phpc lint --json emits GitHub issue URLs from UnsupportedRegistry

[PurHur]

Problem

phpc lint --all examples/003-MiniWebApp --json reports node kinds and registry issue numbers (e.g. 115, 145), but contributors must manually open https://github.com/PurHur/php-compiler/issues/N. The MiniWebApp README blocker matrix links issues by hand.

Goal

Each JSON diagnostic includes a stable tracker URL when UnsupportedRegistry maps a node kind to an issue id:

{
  "file": "examples/003-MiniWebApp/src/Router.php",
  "line": 18,
  "message": "unsupported … ClassMethod",
  "issue": 145,
  "issue_url": "https://github.com/PurHur/php-compiler/issues/145"
}

Optional: make web-smoke prints the same URLs when logging 003 lint failures (#455).

Scope

• lib/Lint/ JSON serializer adds issue_url when issue id present
• bin/phpc.php lint --json help documents fields
• test/unit/PhpcLintJsonTest.php asserts URL for a known registry mapping (e.g. Stmt_Break → Language: break and continue for loops and switch #115)
• Update examples/003-MiniWebApp/README.md to reference JSON field (optional)

Acceptance criteria

docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev \
  ./phpc lint --all examples/003-MiniWebApp --json | grep -q 'issues/145'

Exit 0 after implementation.

Verification (local / Docker only)

./script/ci-fast.sh --filter PhpcLintJson

No GitHub Actions required.

Dependencies

• DevEx: phpc lint reports unsupported Stmt/Expr before LogicException #236 structured lint (closed)
• Lint: Map ClassMethod and Expr_MethodCall to tracking issues in UnsupportedRegistry #463 registry maps for OOP nodes
• Complements DevEx: make web-smoke runs phpc lint --all on 003-MiniWebApp when tree exists #455 / DevEx: MiniWebApp CI gate ladder (lint → serve → AOT → web-smoke) #472 MiniWebApp gate ladder

Links

• ROADMAP 🗺️ ROADMAP: Compile a small PHP web application (living document) #78
• Registry gaps Lint: Register Phase-2 blockers in UnsupportedRegistry (ternary, .=, break) #258

[PurHur]

Fixed in #494: lint --json now includes issue_url from UnsupportedRegistry.