# Standard Pascal validator pilot

`pascal.atg` is the installed J&W standard-Pascal grammar with one fix:
`IGNORE CASE` moved right after `COMPILER` (this Coco/R version rejects
it anywhere later, and silently scans case-sensitively). The grammar is
otherwise strict ISO 7185: no `ELSE` in `CASE` (fpc `-Miso` accepts it,
but standard Pascal has none), no `$` hex, `END.` without module name.

## Build

```sh
./build.sh        # -> build/PStd (build/ is git-ignored)
```

Needs `CR` (Coco/R), `gm2 -fiso`, the `parser.frm`/`scanner.frm`
frames and `FileIO.def/.mod` — all resolved from the environment with
sensible defaults (`CRFRAMES`, `M2LIB`, `CR`, `GM2`). Note: link via
the two-step module list (`-fgen-module-list` then `-fuse-list`); a
single-step link trips over pre-existing errors in this gm2 build's
own ISO library `.def` files (`RndFile`/`TermFile`/`ChanConsts`
set-constructor complaints).

## Differential results (PStd vs `fpc -Miso`)

Accept battery + `tests/deep.pas` (const/type/var, records, enums,
sets, subranges, nested functions, labels/goto, all statements,
hex-free literals): **0 false positives**. Broken mutants: **0
missed**, positions close. `fpc` leniencies correctly not followed:
missing/trailing `;`, unary `+`, which the strict grammar rejects
(documented, fpc accepts).