Help surface
Check the CLI before anything else
The first healthy signal is that .\tobi.exe --help resolves cleanly and
identifies the released product line as AI Verification Engine / Tobi Validator.
Docs / Quickstart
Use this page to understand the narrow Stage 1 surface, run the shipped CLI, and
confirm the expected --help, canon, and
golden outcomes.
The examples below assume the current Windows release bundle layout and the shipped
sample paths:
examples/sample.tsubasa and examples/golden/fixtures.json.
Installable validator CLI for canonical ASCII output, current _h hash output, deterministic diagnostics, and golden/conformance execution.
Not a runtime, not a backend, not a verification API, and not a broad Organetic platform surface.
canon produces CANON: and HASH:. golden reports OK (<n> fixtures).
First run path
.\tobi.exe --help
Confirm the narrow released command set: product banner, canon, and golden.
canon on the shipped sample
Start with .\tobi.exe canon .\examples\sample.tsubasa.
golden on the shipped fixtures
Then run .\tobi.exe golden .\examples\golden\fixtures.json.
PowerShell
.\tobi.exe --help
.\tobi.exe canon .\examples\sample.tsubasa
CANON:
atomic{ let x = 1 in x }
HASH:
7f13d4e2
.\tobi.exe golden .\examples\golden\fixtures.json
OK (45 fixtures)
The exact canonical body and current hash depend on the accepted artifact, but the output shape should remain stable under the current validator contract.
Help surface
The first healthy signal is that .\tobi.exe --help resolves cleanly and
identifies the released product line as AI Verification Engine / Tobi Validator.
Canon output
CANON: is the stable canonical ASCII body. HASH: is the
current user-visible _h surface for that accepted canonical artifact.
Golden output
OK (45 fixtures) means the shipped fixture corpus matched current
validator behavior. A mismatch is a conformance failure, not automatically a platform
failure.
If the first run fails
tobi.exe is not found, run commands from the extracted bundle directorygolden mismatches, confirm you used the shipped fixtures firstAfter quickstart
Once the shipped sample succeeds, the next useful moves are narrow: understand the install assumptions, read diagnostics correctly, and review the GitHub-first workflow path around the released validator line.