source = "../../../../examples/triton/proof_aggregator.tri"
hand = "../../os/neptune/programs/proof_aggregator.tasm"
target = "triton"
input = ["4294967296", "3999889736556452851", "2691730153068718523", "1491919604030507024", "17708881520534836383", "15220410873134884691", "6390507148540843670", "9946832801898343210", "4105624292947820556", "16068154842399782638", "363554947468364634"]
output = []
witness_files = ["../recursive-witnesses/first.toml", "../recursive-witnesses/second.toml"]
hand_prefix = "call __main halt\n"
hand_libraries = ["../../os/neptune/proof.tasm"]
expect_failure = true
max_cycles = 3000000
reference = "Official default-security Triton7 proof for read_io1 +3 write_io1, inputs2/9 outputs5/12. Expected full-claim commitments computed by native Tip5(BFieldCodec Claim); published Triton7 verifier hand linkage is independent of Trident compilation. Version1 full-proof ABI replaces invalid configurable-FRI prototype."