{"name": "prove-army-arcium-pop-verdict", "programs": {"arcium_pop_verdict": "ASinJeq5ruJLzxE6LfpMX972hgf7VT6Tu2dFsTya81KK", "anchor_default": "LKe1tkPf8G8q6pMWFzdgGbhKVPjjoEDMqZrtiqfEsEa", "anchor_mainnet_pop": "LKe1tkPf8G8q6pMWFzdgGbhKVPjjoEDMqZrtiqfEsEa", "token_2022": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb"}, "instructions": {"anchor_init_arcium_pop": 62, "anchor_init_arcium_config": 63, "anchor_set_arcium_authority": 64, "anchor_arcium_verdict": 65, "arcium_judge_pop_proof": "judge_pop_proof", "arcium_verdict_request_seed": "verdict-req", "anchor_arcium_config_seed": "arcium-config"}, "burn_gate": {"mint": "6K4xdfEk5rvySM496rxm4x8AgC9wVt7N4C7mFFpNAj5f", "token_program": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "basis_points": 1, "amount": "ceil(current_supply / 10_000)", "note": "Builder target is 1 bp of the Token-2022 supply."}, "transcript": {"max_steps": 8, "message": "[step_count:u8, rule_ids:u8; 8]", "digest": "sha3-256(message)", "rule_ids": {"0": "premise", "1": "inference", "2": "qed/conclusion"}, "scope": "transcript-shape bridge; not full symbolic replay"}, "queue_bindings": ["challenge_hash", "proof_digest (Arcium transcript digest)", "parent_hash", "anchor_state", "anchor_arcium_config", "anchor_program"], "callback": {"verdict_valid": 1, "verdict_invalid": 0, "verdict_malformed": 2, "writes": "IX_ARCIUM_VERDICT [verdict, challenge_hash, proof_digest, parent_hash, computation_hash]"}, "scope_disclosure": {"proves_in_mpc": ["encrypted step_count + rule_ids shape", "sha3-256 binding to the queued transcript digest", "verified callback settlement into Anchor mode 2"], "does_not_prove": ["per-step formulas", "target equality", "symbolic rule semantics", "solo mint validity without the public symbolic verifier"]}}