[codex] Test layer-static runtime contracts

[increpare]

Summary

• Add static collision-layer contracts to the testdata.js runtime replay harness.
• Snapshot each proved-static layer's per-cell occupant signature and fail if it changes across normal replay boundaries.
• Include layer contract counts and boundary-check totals in the runner summary.

Validation

• node src/tests/ps_static_analysis_node.js
• node src/tests/static_analysis_testdata_runner.js
• node src/tests/static_analysis_testdata_runner_node.js
• node src/tests/static_analysis_explorer_node.js
• node src/tests/solver_static_opt_node.js
• node src/tests/compare_solver_static_opt_runs_node.js
• node src/tests/run_static_analysis_runtime_contracts_node_test.js
• node src/tests/static_analysis_performance_node.js
• git diff --check
• node src/tests/run_static_analysis_runtime_contracts_node.js

Full runtime replay result: 469 cases, 16 analysis-unavailable, 447 with static objects, 441 with static layers, 450 with constant-quantity objects, 78247 object-boundary checks, 38419 layer-boundary checks, 296000 quantity-boundary checks.