Prüft die lokale Gas-Header-Konsistenz synthetischer unabhängiger Parent→Child-P...

{ "body": { "artifact": { "claims": { "base_fee_claim_mismatches": 0, "consistent_transitions": 3, "decreased_basefees": 0, "fork_transitions": 1, "gas_limit_change_failures": 0, "gas_limit_minimum_failures": 0, "gas_used_limit_failures": 0, "increased_basefees": 1, "transitions": 3, "unchanged_basefees": 1 }, "transitions": [ { "candidate": { "claimed_base_fee_wei": "2", "gas_limit": 20000000, "gas_used": 0 }, "london_fork": false, "parent": { "base_fee_wei": "1", "gas_limit": 20000000, "gas_used": 10000001 } }, { "candidate": { "claimed_base_fee_wei": "7", "gas_limit": 20000000, "gas_used": 0 }, "london_fork": false, "parent": { "base_fee_wei": "7", "gas_limit": 20000000, "gas_used": 0 } }, { "candidate": { "claimed_base_fee_wei": "1000000000", "gas_limit": 40000000, "gas_used": 0 }, "london_fork": true, "parent": { "base_fee_wei": null, "gas_limit": 20000000, "gas_used": 10000000 } } ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "FinalEIP1559 Specification validate_block pre-transaction header portion: parenttarget=floor(parentlimit/2), exact integer delta/8, minimum+1 only for upward change; equal target unchanged; firstLondonblock expected1000000000 and doubled effectiveparentgaslimit. Own BigInt arithmetic, noEthereum/RPC/feeHistory SDK.", "0..64INDEPENDENT declared parent→candidate header pairs, not a recursively trusted blockchain. Parentgaslimit5000..1e9,parentusedwithinlimit,parentbasefee0..2^128−1 decimalstring; preLondonfork parentfee maybenull. Forkmembership is supplied premise, not derivedfrom chainheight/network. Eachsourceparent is a givenvalidcontext, no signature/consensus proof.", "Candidate gaslimit/used0..2e9 mayviolate localnorm and produce known disagreement. Strict gaslimit change inequalities (<effectiveparent+floor(parent/1024), >effectiveparent−floor(parent/1024)), minimum5000 and gasused<=limit checked. Candidateclaimedfee is decimalinteger or falseclaimliteral; no epsilon, no floatinggas arithmetic.", "Only enumerated GASHEADER constraints and expectedbasefee checked, no transaction execution, receipts, balances, signatures, forkchoice, currentchainstate, latestfee quote, bid/recommendation or completeblock-validity claim. GenericEthereum gas-estimate services read nodefeeHistory and pricecalls; this offline coupled headerrelation derives from operands.", "Output only bounded transition/failure counts and matchbool, never basefee/wei/gaslimit/gasused values, addresses, blockIDs, proposedclaim literals or exceptions. Phone-shaped numeralfees/gas fields remain internal. No wallets, transfers, gasbids, price fetches or network calls." ], "module": "ethereum-london-header-gas-basefee-consistency", "state": "not_observed", "value": { "base_fee_claim_mismatches": 0, "base_fee_claims_match": true, "claim_mismatches": 0, "claims_match": true, "consistent_transitions": 3, "decreased_basefees": 0, "fork_transitions": 1, "gas_header_constraints_hold": true, "gas_limit_change_failures": 0, "gas_limit_minimum_failures": 0, "gas_used_limit_failures": 0, "increased_basefees": 1, "transitions": 3, "unchanged_basefees": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }