archon.audit.report
100.0
1,000,000 free RPC requestsJust a wallet, via x402.
Start buildingFor agent 97 on Mantle Mainnet · 2026-06-18
https://archonaudit.xyz/app/proofs
{
"chain": {
"name": "Mantle Mainnet",
"chainId": 5000
},
"report": {
"id": "c5a941fe-97e5-4de0-8b7f-bbe8ac31c658",
"scope": {
"pragma": "^0.8.24",
"network": "mantle-mainnet",
"lineCount": 79,
"protocols": [
"mETH",
"cmETH",
"USDY",
"Aave V3",
"Merchant Moe",
"Agni"
],
"sourceKind": "paste",
"aiReasoning": {
"hits": 0,
"total": 9,
"misses": 9,
"batches": 5,
"reasons": {},
"skipped": 0,
"enriched": 9,
"provider": "tokenhub",
"timeoutMs": 75000,
"fallbackCount": 0,
"providersUsed": [
"Tencent Cloud TokenHub (deepseek-v4-pro)",
"OpenAI (gpt-4o-mini)"
]
},
"reducedMode": null,
"solcVersion": "0.8.24",
"gasOptimizer": {
"pricing": {
"mode": "calibrated-receipts",
"pricedAt": "2026-06-18T16:04:46.060Z",
"l2GasPriceWei": "50000100000",
"deployDataFeeMnt": "0.006297694725333316",
"deployDataFeeWei": "6297694725333316",
"calldataZeroBytes": 35,
"calibrationErrorPct": 0,
"calldataGasEstimate": 28124,
"calldataNonZeroBytes": 1749,
"creationBytecodeBytes": 1784
},
"daPricing": {
"model": {
"mode": "calibrated-receipts",
"samples": [
{
"txHash": "0x82d99588e5f1bff33d618743025d598445493032637de25844a67aa8e88088ef",
"l1FeeWei": "699231354481640",
"l1GasUsed": "2530",
"zeroBytes": 135,
"l1GasPrice": "538782662",
"totalBytes": 228,
"blobGasUsed": "63200",
"blockNumber": "96205628",
"nonZeroBytes": 93,
"l1BlobBaseFee": "330004069609410902",
"l1BaseFeeScalar": "169019",
"operatorFeeScalar": "100000000",
"calldataGasEstimate": 2028,
"l1BlobBaseFeeScalar": "0",
"operatorFeeConstant": "0",
"daFootprintGasScalar": "400"
},
{
"txHash": "0xb9ce87de86b212b91eb64012bbdab91014373da1f6d960470b340e1991a1a7c5",
"l1FeeWei": "6874261528561290",
"l1GasUsed": "22258",
"zeroBytes": 28,
"l1GasPrice": "603039864",
"totalBytes": 1945,
"blobGasUsed": "556400",
"blockNumber": "96205472",
"nonZeroBytes": 1917,
"l1BlobBaseFee": "321479049246759320",
"l1BaseFeeScalar": "169019",
"operatorFeeScalar": "100000000",
"calldataGasEstimate": 30784,
"l1BlobBaseFeeScalar": "0",
"operatorFeeConstant": "0",
"daFootprintGasScalar": "400"
}
],
"validation": [
{
"txHash": "0x82d99588e5f1bff33d618743025d598445493032637de25844a67aa8e88088ef",
"errorPct": 0,
"actualL1FeeWei": "699231354481640",
"predictedL1FeeWei": "699231354481572"
},
{
"txHash": "0xb9ce87de86b212b91eb64012bbdab91014373da1f6d960470b340e1991a1a7c5",
"errorPct": 0,
"actualL1FeeWei": "6874261528561290",
"predictedL1FeeWei": "6874261528560500"
}
],
"sampleCount": 2,
"zeroByteFeeWei": "2736708878864",
"nonZeroByteFeeWei": "3545974793924",
"maxValidationErrorPct": 0,
"meanValidationErrorPct": 0
},
"source": "receipt-calibrated",
"groundTruthField": "l1Fee"
},
"sourceHash": "0x528ef98dfaf74398f994ef5f1c1b364b6b4cf8ae1c069dfe7223414bc99c8e77",
"measurement": {
"forge": {
"ok": false,
"error": "No safety=safe gas patches available for automatic measurement.",
"command": null,
"attempted": false,
"gasReport": null
},
"source": "deterministic-estimate",
"status": "skipped",
"patches": [
{
"note": "Review-only patch is not auto-applied for measurement.",
"after": "Group adjacent bool/address/small uint fields together and place full-slot fields after them.",
"before": "uint8 public decimals = 18; … uint80 public latestRoundId;",
"ruleId": "storage-packing",
"safety": "review",
"status": "skipped",
"l2GasDelta": 20000,
"l1DaDeltaWei": null
},
{
"note": "Review-only patch is not auto-applied for measurement.",
"after": "Group adjacent bool/address/small uint fields together and place full-slot fields after them.",
"before": "uint80 public latestRoundId; … uint80 public latestAnsweredInRound;",
"ruleId": "storage-packing",
"safety": "review",
"status": "skipped",
"l2GasDelta": 20000,
"l1DaDeltaWei": null
},
{
"note": "Review-only patch is not auto-applied for measurement.",
"after": "address immutable public owner;",
"before": "address public owner;",
"ruleId": "immutable-constant",
"safety": "review",
"status": "skipped",
"l2GasDelta": 2100,
"l1DaDeltaWei": null
}
],
"version": "archon.gasMeasurement.v1",
"measuredAt": "2026-06-18T16:04:46.332Z",
"rulesetHash": "aa4aa2ab19d77ea1b01143ee932568695900e73ea393a3667fda25a04dcfa512",
"contractHash": "528ef98dfaf74398f994ef5f1c1b364b6b4cf8ae1c069dfe7223414bc99c8e77"
},
"opportunities": [
{
"id": "storage-packing",
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"after": "Group adjacent bool/address/small uint fields together and place full-slot fields after them.",
"patch": {
"newText": " uint8 public decimals = 18; // REVIEW: reorder adjacent small storage fields with nearby small fields to reduce SSTORE/SLOAD slots",
"oldText": " uint8 public decimals = 18;"
},
"title": "Pack small storage variables into fewer slots",
"where": "MantleChainlinkMETHETHFeed_Interface.sol:9",
"before": "uint8 public decimals = 18; … uint80 public latestRoundId;",
"safety": "review",
"newText": " uint8 public decimals = 18; // REVIEW: reorder adjacent small storage fields with nearby small fields to reduce SSTORE/SLOAD slots",
"oldText": " uint8 public decimals = 18;",
"category": "storage",
"severity": "medium",
"lineStart": 9,
"rationale": "Storage slot packing can remove entire SSTORE/SLOAD slots but changes layout, so upgradeable contracts need manual review.",
"confidence": 0.64,
"estL1Delta": null,
"estL2Delta": 20000,
"annualizedBasis": "Static deterministic estimate. Exact runtime deltas require queued Foundry snapshots with representative inputs.",
"estimatedGasSaved": 20000,
"estimatedDataBytesSaved": null
},
{
"id": "storage-packing",
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"after": "Group adjacent bool/address/small uint fields together and place full-slot fields after them.",
"patch": {
"newText": " uint80 public latestRoundId; // REVIEW: reorder adjacent small storage fields with nearby small fields to reduce SSTORE/SLOAD slots",
"oldText": " uint80 public latestRoundId;"
},
"title": "Pack small storage variables into fewer slots",
"where": "MantleChainlinkMETHETHFeed_Interface.sol:13",
"before": "uint80 public latestRoundId; … uint80 public latestAnsweredInRound;",
"safety": "review",
"newText": " uint80 public latestRoundId; // REVIEW: reorder adjacent small storage fields with nearby small fields to reduce SSTORE/SLOAD slots",
"oldText": " uint80 public latestRoundId;",
"category": "storage",
"severity": "medium",
"lineStart": 13,
"rationale": "Storage slot packing can remove entire SSTORE/SLOAD slots but changes layout, so upgradeable contracts need manual review.",
"confidence": 0.64,
"estL1Delta": null,
"estL2Delta": 20000,
"annualizedBasis": "Static deterministic estimate. Exact runtime deltas require queued Foundry snapshots with representative inputs.",
"estimatedGasSaved": 20000,
"estimatedDataBytesSaved": null
},
{
"id": "immutable-constant",
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"after": "address immutable public owner;",
"patch": {
"newText": " address immutable public owner;",
"oldText": " address public owner;"
},
"title": "Mark never-changing value constant or immutable",
"where": "MantleChainlinkMETHETHFeed_Interface.sol:18",
"before": "address public owner;",
"safety": "review",
"newText": " address immutable public owner;",
"oldText": " address public owner;",
"category": "storage",
"severity": "info",
"lineStart": 18,
"rationale": "Constants/immutables avoid storage reads for values that do not change after deployment.",
"confidence": 0.62,
"estL1Delta": null,
"estL2Delta": 2100,
"annualizedBasis": "Static deterministic estimate. Exact runtime deltas require queued Foundry snapshots with representative inputs.",
"estimatedGasSaved": 2100,
"estimatedDataBytesSaved": null
}
]
}
},
"scanId": "198303a2-0d14-4665-9b48-cb3ac5d319fc",
"createdAt": "2026-06-18T16:06:21.810Z",
"riskScore": 60,
"contractName": "MantleChainlinkMETHETHFeed_Interface",
"severityCounts": {
"low": 4,
"high": 0,
"info": 2,
"medium": 3,
"critical": 0
},
"executiveSummary": "Archon completed a read-only Mantle Mainnet audit of MantleChainlinkMETHETHFeed_Interface and found 9 deterministic findings. The highest-priority issue is Naming Convention, with risk score 60/100 based on severity-weighted findings. The contract name follows the pattern `ContractName` while the standard for Solidity interfaces is to prefix with `I`. This might be intentional, but it deviates from common conventions and could cause confusion during integration audits. Review the recommended fixes and run regression tests before deployment."
},
"schema": "archon.proof.metadata.v1",
"erc8004": {
"verifiedConfig": true,
"agentIdentityRef": "eip155:5000:0x8004A169FB4a3325136EB29fA0ceB6D2e539a432:97",
"identityRegistry": "0x8004A169FB4a3325136EB29fA0ceB6D2e539a432",
"reputationRegistry": "0x8004BAa17C55a88189AE136b182e5fdA19dE9b63",
"validationRegistry": null
},
"product": "Archon",
"findings": [
{
"id": "c3869f6d-482f-4300-b761-30d6d3de0114",
"title": "Naming Convention",
"category": "naming-convention",
"location": {
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"lineEnd": 80,
"lineStart": 7
},
"severity": "info"
},
{
"id": "8dc0f22c-8f2f-4cc8-bbdb-4e3b6c936f4f",
"title": "Constable States",
"category": "constable-states",
"location": {
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"lineEnd": 9,
"lineStart": 9
},
"severity": "low"
},
{
"id": "826416ec-aab1-489a-a76a-d5b4f8ee9758",
"title": "Constable States",
"category": "constable-states",
"location": {
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"lineEnd": 10,
"lineStart": 10
},
"severity": "low"
},
{
"id": "2424956e-ff1a-4ae4-994b-597e8da30a2b",
"title": "Constable States",
"category": "constable-states",
"location": {
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"lineEnd": 11,
"lineStart": 11
},
"severity": "low"
},
{
"id": "abbf237e-0681-4431-88a7-271150b5ad67",
"title": "Immutable States",
"category": "immutable-states",
"location": {
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"lineEnd": 18,
"lineStart": 18
},
"severity": "low"
},
{
"id": "ebf96379-d811-4ae9-af43-fd4ed4073df3",
"title": "Oracle price read lacks freshness heartbeat check",
"category": "mantle-oracle-heartbeat",
"location": {
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"lineEnd": null,
"lineStart": 16
},
"severity": "medium"
},
{
"id": "8bb9da1c-829e-45e2-baf0-1f816674826a",
"title": "Pack small storage variables into fewer slots",
"category": "mantle-gas-optimizer/storage/storage-packing",
"location": {
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"lineEnd": 9,
"lineStart": 9
},
"severity": "medium"
},
{
"id": "7dde2509-e076-4a8a-9c81-96738e183810",
"title": "Pack small storage variables into fewer slots",
"category": "mantle-gas-optimizer/storage/storage-packing",
"location": {
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"lineEnd": 13,
"lineStart": 13
},
"severity": "medium"
},
{
"id": "f6eef472-852d-42f8-912a-160051d5227b",
"title": "Mark never-changing value constant or immutable",
"category": "mantle-gas-optimizer/storage/immutable-constant",
"location": {
"file": "MantleChainlinkMETHETHFeed_Interface.sol",
"lineEnd": 18,
"lineStart": 18
},
"severity": "info"
}
]
}
ipfs://QmNuRkrF6iz18XPNTJmhx8mU5ZBiQZCQBzXo46cXhbN14V