pto-gym-vpto-validation

To validate PTO-Gym cases using the VPTO backend, execute the PTOAS simulator with the --pto-backend=vpto and --pto-arch a5 flags. This configuration runs individual exercises or parallel micro-operation sweeps while recording outputs under the .work directory.

PTO-Gym validation runs use the wrong PTOAS backend when the required VPTO LLVM path flags are not explicitly applied. Enforce the VPTO backend by setting --pto-backend=vpto and --pto-arch a5 during execution to prevent falling back to repository defaults.

Running a parallel micro-operation sweep for PTOAS on A5 architecture requires setting the --pto-arch a5 flag alongside the --pto-backend=vpto flag. This executes the simulator-based validation sweep and captures the resulting PASS/FAIL summaries in the repository-local work directory.

PTO-Gym simulator validation summaries are recorded under the .work directory in the repository. This workspace captures temporary outputs and validation totals, pointing to the relevant summary files and directories for any identified first failing case.

You cannot use the repository default PTOAS backend for PTO-Gym exercise validation if VPTO is required. This Skill enforces the VPTO LLVM backend and A5 architecture targeting to ensure cases are validated correctly and prevent accidental default backend usage.

Targeting the A5 architecture with VPTO requires applying the --pto-backend=vpto and --pto-arch a5 flags. These settings ensure PTO-Gym exercise cases are processed through the correct VPTO LLVM path during simulator validation.