{ "tool_id": "art-735-solana-dvp-prefund-verifier", "note": "Reachability vectors only (kernel_generated by construction, AUTHORING-STANDARD 1.5): each input shape must drive compute() to a structured refusal naming the branch. observed/observed_flags stamped from the kernel.", "vectors": [ { "name": "missing-cluster-time-refuses", "policy_parameters": { "owner_program_id": "dvp34bdbcEm4f4FCUjGV4mDAkDshaQR4LkK8fdcsyZq", "byte_length": "458", "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "mint_a": "3p9W2vGhTdMQp7sKdDXhcHmgRcxpaB3ZuXYxU8k2FhQN", "mint_b": "8kQFfPJ1FwDkZUsxBernCLzexFAZpQvH4fpRS8TwEGXi", "token_program_a": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "token_program_b": "TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo", "mint_a_authority": "Eq2vH9GeNcqLQobYm5YoFbLpaKMPTZhMKAqcBf41LxNh", "mint_b_authority": "Fq9kxRfM4PqNZeSVh3pLRLn9vbcEKmZAxnZqdZ4SPrBG", "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "creation_timestamp": "1769900000", "nonce": "7284759301947385401", "mint_a_extensions": [], "mint_b_extensions": [], "mint_a_frozen_by_default": false, "mint_b_frozen_by_default": false, "mint_a_freeze_authority_set": false, "mint_b_freeze_authority_set": false, "leg_a_extras_count": "0", "leg_b_extras_count": "0", "expected": { "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo" } }, "provenance": "kernel_generated", "observed_flags": [ "INPUT_REFUSED" ], "observed": { "prefund_check": "REFUSED", "error": "now_required", "manual_review_required": true } }, { "name": "unrecognised-extension-name-refuses", "policy_parameters": { "owner_program_id": "dvp34bdbcEm4f4FCUjGV4mDAkDshaQR4LkK8fdcsyZq", "byte_length": "458", "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "mint_a": "3p9W2vGhTdMQp7sKdDXhcHmgRcxpaB3ZuXYxU8k2FhQN", "mint_b": "8kQFfPJ1FwDkZUsxBernCLzexFAZpQvH4fpRS8TwEGXi", "token_program_a": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "token_program_b": "TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo", "mint_a_authority": "Eq2vH9GeNcqLQobYm5YoFbLpaKMPTZhMKAqcBf41LxNh", "mint_b_authority": "Fq9kxRfM4PqNZeSVh3pLRLn9vbcEKmZAxnZqdZ4SPrBG", "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "creation_timestamp": "1769900000", "nonce": "7284759301947385401", "mint_a_extensions": [ "Total nonsense" ], "mint_b_extensions": [], "mint_a_frozen_by_default": false, "mint_b_frozen_by_default": false, "mint_a_freeze_authority_set": false, "mint_b_freeze_authority_set": false, "leg_a_extras_count": "0", "leg_b_extras_count": "0", "now": "1770000000", "expected": { "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo" } }, "provenance": "kernel_generated", "observed_flags": [ "INPUT_REFUSED" ], "observed": { "prefund_check": "REFUSED", "error": "extension_list_malformed", "manual_review_required": true } }, { "name": "missing-expected-terms-refuses", "policy_parameters": { "owner_program_id": "dvp34bdbcEm4f4FCUjGV4mDAkDshaQR4LkK8fdcsyZq", "byte_length": "458", "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "mint_a": "3p9W2vGhTdMQp7sKdDXhcHmgRcxpaB3ZuXYxU8k2FhQN", "mint_b": "8kQFfPJ1FwDkZUsxBernCLzexFAZpQvH4fpRS8TwEGXi", "token_program_a": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "token_program_b": "TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo", "mint_a_authority": "Eq2vH9GeNcqLQobYm5YoFbLpaKMPTZhMKAqcBf41LxNh", "mint_b_authority": "Fq9kxRfM4PqNZeSVh3pLRLn9vbcEKmZAxnZqdZ4SPrBG", "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "creation_timestamp": "1769900000", "nonce": "7284759301947385401", "mint_a_extensions": [], "mint_b_extensions": [], "mint_a_frozen_by_default": false, "mint_b_frozen_by_default": false, "mint_a_freeze_authority_set": false, "mint_b_freeze_authority_set": false, "leg_a_extras_count": "0", "leg_b_extras_count": "0", "now": "1770000000" }, "provenance": "kernel_generated", "observed_flags": [ "INPUT_REFUSED" ], "observed": { "prefund_check": "REFUSED", "error": "expected_terms_required", "manual_review_required": true } }, { "name": "non-numeric-amount-refuses", "policy_parameters": { "owner_program_id": "dvp34bdbcEm4f4FCUjGV4mDAkDshaQR4LkK8fdcsyZq", "byte_length": "458", "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "mint_a": "3p9W2vGhTdMQp7sKdDXhcHmgRcxpaB3ZuXYxU8k2FhQN", "mint_b": "8kQFfPJ1FwDkZUsxBernCLzexFAZpQvH4fpRS8TwEGXi", "token_program_a": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "token_program_b": "TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo", "mint_a_authority": "Eq2vH9GeNcqLQobYm5YoFbLpaKMPTZhMKAqcBf41LxNh", "mint_b_authority": "Fq9kxRfM4PqNZeSVh3pLRLn9vbcEKmZAxnZqdZ4SPrBG", "amount_a": "1.5e9", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "creation_timestamp": "1769900000", "nonce": "7284759301947385401", "mint_a_extensions": [], "mint_b_extensions": [], "mint_a_frozen_by_default": false, "mint_b_frozen_by_default": false, "mint_a_freeze_authority_set": false, "mint_b_freeze_authority_set": false, "leg_a_extras_count": "0", "leg_b_extras_count": "0", "now": "1770000000", "expected": { "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo" } }, "provenance": "kernel_generated", "observed_flags": [ "INPUT_REFUSED" ], "observed": { "prefund_check": "REFUSED", "error": "amount_invalid", "manual_review_required": true } }, { "name": "byte-length-not-a-number-refuses", "policy_parameters": { "owner_program_id": "dvp34bdbcEm4f4FCUjGV4mDAkDshaQR4LkK8fdcsyZq", "byte_length": "about 458", "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "mint_a": "3p9W2vGhTdMQp7sKdDXhcHmgRcxpaB3ZuXYxU8k2FhQN", "mint_b": "8kQFfPJ1FwDkZUsxBernCLzexFAZpQvH4fpRS8TwEGXi", "token_program_a": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "token_program_b": "TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo", "mint_a_authority": "Eq2vH9GeNcqLQobYm5YoFbLpaKMPTZhMKAqcBf41LxNh", "mint_b_authority": "Fq9kxRfM4PqNZeSVh3pLRLn9vbcEKmZAxnZqdZ4SPrBG", "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "creation_timestamp": "1769900000", "nonce": "7284759301947385401", "mint_a_extensions": [], "mint_b_extensions": [], "mint_a_frozen_by_default": false, "mint_b_frozen_by_default": false, "mint_a_freeze_authority_set": false, "mint_b_freeze_authority_set": false, "leg_a_extras_count": "0", "leg_b_extras_count": "0", "now": "1770000000", "expected": { "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo" } }, "provenance": "kernel_generated", "observed_flags": [ "INPUT_REFUSED" ], "observed": { "prefund_check": "REFUSED", "error": "byte_length_malformed", "manual_review_required": true } }, { "name": "empty-nonce-refuses", "policy_parameters": { "owner_program_id": "dvp34bdbcEm4f4FCUjGV4mDAkDshaQR4LkK8fdcsyZq", "byte_length": "458", "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "mint_a": "3p9W2vGhTdMQp7sKdDXhcHmgRcxpaB3ZuXYxU8k2FhQN", "mint_b": "8kQFfPJ1FwDkZUsxBernCLzexFAZpQvH4fpRS8TwEGXi", "token_program_a": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "token_program_b": "TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo", "mint_a_authority": "Eq2vH9GeNcqLQobYm5YoFbLpaKMPTZhMKAqcBf41LxNh", "mint_b_authority": "Fq9kxRfM4PqNZeSVh3pLRLn9vbcEKmZAxnZqdZ4SPrBG", "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "creation_timestamp": "1769900000", "nonce": "", "mint_a_extensions": [], "mint_b_extensions": [], "mint_a_frozen_by_default": false, "mint_b_frozen_by_default": false, "mint_a_freeze_authority_set": false, "mint_b_freeze_authority_set": false, "leg_a_extras_count": "0", "leg_b_extras_count": "0", "now": "1770000000", "expected": { "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo" } }, "provenance": "kernel_generated", "observed_flags": [ "INPUT_REFUSED" ], "observed": { "prefund_check": "REFUSED", "error": "nonce_malformed", "manual_review_required": true } }, { "name": "hook-extras-negative-refuses", "policy_parameters": { "owner_program_id": "dvp34bdbcEm4f4FCUjGV4mDAkDshaQR4LkK8fdcsyZq", "byte_length": "458", "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "mint_a": "3p9W2vGhTdMQp7sKdDXhcHmgRcxpaB3ZuXYxU8k2FhQN", "mint_b": "8kQFfPJ1FwDkZUsxBernCLzexFAZpQvH4fpRS8TwEGXi", "token_program_a": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "token_program_b": "TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo", "mint_a_authority": "Eq2vH9GeNcqLQobYm5YoFbLpaKMPTZhMKAqcBf41LxNh", "mint_b_authority": "Fq9kxRfM4PqNZeSVh3pLRLn9vbcEKmZAxnZqdZ4SPrBG", "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "creation_timestamp": "1769900000", "nonce": "7284759301947385401", "mint_a_extensions": [], "mint_b_extensions": [], "mint_a_frozen_by_default": false, "mint_b_frozen_by_default": false, "mint_a_freeze_authority_set": false, "mint_b_freeze_authority_set": false, "leg_a_extras_count": "0", "leg_b_extras_count": "-1", "now": "1770000000", "expected": { "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo" } }, "provenance": "kernel_generated", "observed_flags": [ "INPUT_REFUSED" ], "observed": { "prefund_check": "REFUSED", "error": "hook_extras_invalid", "manual_review_required": true } }, { "name": "empty-owner-refuses", "provenance": "kernel_generated", "policy_parameters": { "owner_program_id": "", "byte_length": "458", "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "mint_a": "3p9W2vGhTdMQp7sKdDXhcHmgRcxpaB3ZuXYxU8k2FhQN", "mint_b": "8kQFfPJ1FwDkZUsxBernCLzexFAZpQvH4fpRS8TwEGXi", "token_program_a": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "token_program_b": "TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo", "mint_a_authority": "Eq2vH9GeNcqLQobYm5YoFbLpaKMPTZhMKAqcBf41LxNh", "mint_b_authority": "Fq9kxRfM4PqNZeSVh3pLRLn9vbcEKmZAxnZqdZ4SPrBG", "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "creation_timestamp": "1769900000", "nonce": "7284759301947385401", "mint_a_extensions": [], "mint_b_extensions": [], "mint_a_frozen_by_default": false, "mint_b_frozen_by_default": false, "mint_a_freeze_authority_set": false, "mint_b_freeze_authority_set": false, "leg_a_extras_count": "0", "leg_b_extras_count": "0", "now": "1770000000", "expected": { "amount_a": "1500000000", "amount_b": "250000000", "expiry_timestamp": "1770086400", "earliest_settlement_timestamp": null, "user_a": "7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU", "user_b": "Gf8cMJ3yRMLpponGJtdfkzX67BhTReLh4m1uPjYz6Ugk", "settlement_authority": "BfIwS1B8f7RC1ZY8NbZLBuJSQP9fM2tzL8t8XnJ9c8kX", "destination_a": "Ck8x2E9S8DcVJ3cJnd6oFfEqBMDdhzWY9zKLzye4LYBw", "destination_b": "Dq8pgDk1ZdLcPdMxyvRQ2NLhEu9XvPia8Gn2LtzY9dKo" } }, "observed_flags": [ "INPUT_REFUSED" ], "observed": { "prefund_check": "REFUSED", "error": "owner_malformed", "manual_review_required": true } } ] }