Inspectable evidence
Public, reproducible test harness
Download cross-dialect reference vectors, inspect expected outputs and reproduce the same semantics in the browser.
Dialect test vectors (JSON)
Eight source programs for the same normally-closed safety-input semantic, plus inputs, expected outputs and source-test provenance.
Download JSONCapability matrix (CSV)
A compact, reusable matrix of instruction families, dialect exposure, test ownership and declared limits.
Download CSVReference test: NC input semantics
Each fixture represents the same behavior: when input ES is false, output LIGHT is true; when ES is true, LIGHT is false. The syntax changes across eight dialects, but the normalized result must not.
| Case | Input ES | Expected LIGHT | Purpose |
|---|---|---|---|
| NC path healthy | false | true | Proves inverse contact/output semantics. |
| NC path open | true | false | Proves output de-energizes when the input becomes true. |
How to reproduce it
- 1
Download the JSON and choose one dialect fixture.
- 2
Open /try for the no-account guided program, or sign in to use the full editor.
- 3
Paste or recreate the fixture in its matching learning dialect.
- 4
Run both input cases and compare the observed output with expectedOutput.
- 5
Record the factsVersion and fixtureVersion with any result.
- 6
Report a mismatch with the dialect, browser, input case and observed output.
What this proves—and what it does not
Found a mismatch?
Send the URL, facts version, expected behavior and observed behavior. Product and documentation corrections are reviewed together.