This repository is a narrow public Stage 1 use case for AI Verification Engine / Tobi Validator.
It demonstrates a validator-first PR gate around repository-owned .tsubasa artifacts.
This repo shows four things:
- a valid Stage 1
.tsubasaartifact that passescanon - a drift-equivalent artifact that converges to the same canonical ASCII and the same
_h - a malformed sibling that rejects deterministically
- a GitHub Actions gate that blocks invalid artifact changes before merge
The point is not broad language coverage. The point is a narrow, reproducible validator-backed gate.
The repository carries three artifacts:
agent_artifacts/merge_token_valid.tsubasaagent_artifacts/merge_token_drift_equivalent.tsubasaagent_artifacts/merge_token_invalid.tsubasa
The workflow does two jobs:
- PR gate: runs the public Tobi Validator GitHub Action against the valid artifact
- Validation evidence: downloads the released Stage 1 validator bundle, runs
canondirectly, checks canonical ASCII and_h, and confirms deterministic reject behavior for the malformed sibling
The gate contract is stored in:
policy/stage1_gate_contract.md
The expected validator outputs are pinned in:
expected_outputs/
-
Create a repository secret:
TOBI_EVAL_TOKEN
-
Push this repository.
-
Open a pull request or run the workflow manually.
The PR gate uses:
uses: OrganeticSphere/tobi-validator@v1