Remark A.4Theorem 2.4 applies because L, T, W, D are constants and parameters come from a finite grid

Informal interpretation Motivation, interpretation or scope; not a formal claim.

1 Paper text

Remark A.4 (Scope of the simulation) Theorem 2.4 applies because $L,T,W,D$ are constants and each unit’s parameters come from a finite set independent of $n$ . Appendix B gives an explicit circuit construction.

Generated from paper_jmlr.tex, lines 1390–1393.

2 Explain this

The remark names the reason the simulation works: $L$ , $T$ , $W$ and $D$ are constants, and each unit's parameters come from a finite set that does not depend on $n$ . Appendix B then gives the explicit circuit construction.

3 How this is formalised

An explanatory remark on the hypotheses of Theorem 2.4.

Coverage record
Paper anchor	`x-remark-scope-of-the-simulation` (website anchor; the manuscript has no label here)
Displayed as	Remark A.4
Claim	Theorem 2.4 applies because L, T, W, D are constants and parameters come from a finite grid
Coverage category	Informal interpretation
Statement source	paper_jmlr.tex lines 1390–1393; SHA-256 of the normalised block source `82541bf3466ed597…`
Depends on	Theorem 2.4
Explanations	`explain/x-remark-scope-of-the-simulation`, `formal/x-remark-scope-of-the-simulation`
Build evidence	fresh isolated rebuild, audit report

4 Lean statement and source

No Lean statement corresponds to this claim. This is interpretation or motivation, not a formal mathematical claim.

Build evidence: fresh isolated rebuild of all 38 bundled modules with Lean (version 4.26.0, started 2026-10-10T15:21:56Z, finished 2026-10-10T15:27:00Z: 38/38 modules compiled, 1588 axiom reports, no errors. See Build for the commands and the independent audit of 2026-10-10 (dated evidence).