The Graph Decentralized Indexer•Solidity 0.8.20 AST Semantic Core•HCS Topic 0.0.10417469 Live Sync
AST Knowledge Graph & Neural Semantic Explorer
AST NODES7 Nodes
SUBGRAPH TVL$3.42M
COGNITIVE AGENTS16 Active
24H VOLUME$780K
Audited Contracts:
terminal
CYPHER / GRAPHQLQuick Vectors:
AST INVARIANTS BOUNDED
account_treeSemantic Node Inspector
AST INVARIANT VERIFIEDflashLoan()
FunctionDefinition•Lines 34 - 58
AI REASONING & PROOF
Core ERC-3156 flash loan disbursement. Transmits tokens, triggers receiver.onFlashLoan(), verifies CALLBACK_SUCCESS hash, and transfers back amount + fee.
Attesting Agents:Reentrancy SentinelLogic Sentinel
BYTECODE / SOLIDITY SLICEFlashlender.sol
39uint256 fee = flashFee(token, amount);
40underlyingToken.transfer(address(receiver), amount);
41require(receiver.onFlashLoan(msg.sender, token, amount, fee, data) == CALLBACK_SUCCESS, 'callback failed');
42underlyingToken.transferFrom(address(receiver), address(this), amount + fee);
verifiedHCS IMMUTABLE PROOFSeq #49,103,118
Hash: 0x01193461789203285759619560aaffcc88204
Consensus Timestamp: 2026-09-12T08:54:52.385Zhistory
api/graph/activityRecent AST Graph Queries & Activity
| QUERY EXPRESSION | AGENTS | LATENCY | CONSENSUS STATE | ACTION |
|---|---|---|---|---|
| MATCH (a:Agent)-[:DETECTS]->(v:Vuln) | A1, A5 | 14ms | Anchored (HCS) | Replay→ |
| TRACE STATE slot(0x04) OVER writes | A3, A4 | 22ms | Anchored (HCS) | Replay→ |
| RESOLVE AST::FunctionDefinition['flashLoan'] | All 16 | 9ms | Anchored (HCS) | Replay→ |
| ASSERT modifier(onlyVault) == true | A2 | 18ms | Anchored (HCS) | Replay→ |
| { pool(id: "0x88e6a0c2ddd26feeb64f039a2c41296fcb3f5640") { totalValueLockedUSD volumeUSD } } | A4 | 38ms | x402 Paid ✓ | Replay→ |
| MATCH (fn:Function)-[:CALLS*]->(ext:ExternalCall) WHERE fn.updatesStateAfter = true RETURN fn, ext | A1, A2, A5 | 16ms | Anchored (HCS) | Replay→ |
insights
Graph Neural Telemetry
Live topological statistics streamed from AST parser and Hedera Consensus message sequencer.
SUBGRAPH TVL
$3.42M
DAILY VOLUME
$780K
hubHedera Topic 0.0.10417469 Active