Status: PASS — 758/758 discovered upstream cases passed.
This tracked report records the latest upstream inventory successfully checked by EyeProlog.
npm test fetches the eight TU Wien sources again and executes the discovered cases.
Release/report checks can additionally require these tracked counts to match the live suites.
Counts are output from upstream, not hard-coded test constants.
| Suite | Passed | Total |
|---|---|---|
| syntax | 379 | 379 |
| number_chars/2 | 86 | 86 |
| variable_names/1 | 75 | 75 |
| dif/2 | 26 | 26 |
| length/2 | 37 | 37 |
| phrase/2,3 | 58 | 58 |
| Prologue draft | 72 | 72 |
| setup_call_cleanup/3 | 25 | 25 |
| Total | 758 | 758 |
Exact fetched bytes, SHA-256 hashes, fetch timestamps, and HTTP validators remain under
Git-ignored .cache/neumerkel/ for local inspection/reproduction and are intentionally not committed.
A normal test run warns when this tracked report is stale. Refresh directly from live
upstream with node test/run-neumerkel.mjs --update-report, or sync the exact successful
snapshot already fetched by npm test with node test/run-neumerkel.mjs --cached --update-report.
node test/run-neumerkel.mjs --cached --verify-report verifies the tracked report against that last
successful live snapshot without fetching upstream a second time.