chg-09 reproduction
Public source retained with the related article. Generated results, dependency directories, runtime storage, secrets, and oversized binary artifacts are intentionally excluded.
README
# CHG-09 diagnostic-contract reproduction
This deterministic fixture demonstrates the bounded rule design in “Static
Analysis Turns Assumptions into Questions.”
It evaluates synthetic typed nodes rather than source text. The model includes:
- broad catch fallbacks in a configured domain;
- ambient request, tenant, and locale context in configured services;
- narrower catches, rethrows, meaningful fallbacks, explicit context, and
presentation access as negative controls.
Run:
```sh
node experiment.mjs
```
The fixture does not parse PHP, resolve aliases, perform data-flow analysis,
or execute PHPStan. It makes the diagnostic decision table reproducible.