PlamenTSV/plamen - 2ページ

consensus-math-correctness

L1 trigger - audits consensus arithmetic for truncation, unused bounds, EMA direction, and threshold edge errors.

原文の言語: 英語

consensus-tx-identity-invariants

L1 trigger - audits replay protection, transaction identity binding, and cross-layer uniqueness.

原文の言語: 英語

dependency-audit-nodeclient

L1 supplement - audits Go modules and Rust crates for known vulnerabilities, outdated versions, supply chain risks, and replace/patch directives.

原文の言語: 英語

fork-choice-audit

L1 trigger - audits fork-choice rule implementation (LMD-GHOST, Tendermint locking, Nakamoto longest-chain) for equivocation handling, slot-vs-block reasoning, duplicate block handling, and chain reorg correctness.

原文の言語: 英語

go-concurrency-safety

L1 supplement - audits Go-specific concurrency hazards in node client code: map iteration non-determinism, goroutine leaks, mutex ordering, panic boundaries, context cancellation.

原文の言語: 英語

gossip-cache-invariance

L1 trigger - audits message and seen caches for write-after-validate ordering, eviction safety, and duplicate handling.

原文の言語: 英語

hardfork-activation-and-protocol-upgrade

L1 trigger - audits bugs that surface only at fork boundaries / protocol upgrade points: activation logic, dormant code paths, upgrade epoch correctness, version gating.

原文の言語: 英語

light-client-proof-verification

L1 trigger - audits light client and cross-chain proof verification: Merkle proof soundness, ICS-23 subkey handling (Dragonberry class), state root checks, message integrity.

原文の言語: 英語

p2p-dos-and-eclipse

L1 trigger - audits peer-to-peer networking for DoS vectors (resource exhaustion, amplification), eclipse attack susceptibility, and discovery table poisoning (Kademlia/devp2p).

原文の言語: 英語

peer-scoring-correctness

L1 trigger - audits peer reputation and scoring logic for symmetry, farming resistance, and penalty coverage.

原文の言語: 英語

rust-unsafe-audit

L1 supplement - audits Rust-specific hazards: unsafe blocks, uninitialized memory, Send/Sync violations, panic safety in hot paths, drop order, FFI.

原文の言語: 英語

state-sync-pruning

L1 trigger - audits state sync, snapshot integrity, checkpoint trust, pruning race conditions, and state growth attacks.

原文の言語: 英語

write-error-divergence

L1 trigger - audits file/database write paths for metadata commits, cache updates, and success returns that diverge when writes fail.

原文の言語: 英語

signature-verification-audit

Trigger HAS_SIGNATURES flag in template_recommendations.md (recon detects signature verification patterns - see chain-specific grep patterns in TASK 6) - Agent Type general-purp...

原文の言語: 英語

ability-analysis

Trigger Pattern Always (Sui Move) -- foundational security check - Inject Into Breadth agents, depth agents

原文の言語: 英語

move-safety-core-directives

Lightweight core directives for Sui Move always-required skills - injected into every breadth agent. Full methodology lives in the dedicated Move-Safety Agent.

原文の言語: 英語

object-ownership

Trigger Pattern Always required for Sui Move audits -- object lifecycle and ownership model - Inject Into Breadth agents, depth-state-trace, depth-token-flow

原文の言語: 英語

type-safety

Trigger Pattern Always (Sui Move) -- generic type exploitation - Inject Into Breadth agents, depth-state-trace

原文の言語: 英語

external-precondition-audit

Trigger Pattern Any external module interaction detected in attack_surface.md - Inject Into Breadth agents (merged via M5 hierarchy)

原文の言語: 英語

external-precondition-audit

Trigger Pattern Any external contract interaction detected in attack_surface.md - Inject Into Breadth agents (merged via M7 hierarchy)

原文の言語: 英語

lending-protocol-security

Protocol Type Trigger lending (detected when recon finds liquidate|borrow|repay|collateral|lend|loan|LTV|healthFactor|interestRate|debtToken) - Inject Into Breadth agents, depth...

原文の言語: 英語

external-precondition-audit

Trigger Pattern Any CPI (Cross-Program Invocation) detected in program - Inject Into Breadth agents (merged via M5 hierarchy)

原文の言語: 英語

external-precondition-audit

Trigger Pattern Any env.invoke_contract() or env.try_invoke_contract() detected in contract - Inject Into Breadth agents

原文の言語: 英語

overflow-safety

Trigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth-edge-case

原文の言語: 英語

sep41-token-safety

Trigger Pattern SEP-41 token patterns detected (approve/transfer/transfer_from/allowance/balance) - Inject Into Breadth agents, depth-token-flow, depth-edge-case

原文の言語: 英語

external-precondition-audit

Trigger Pattern Any external package function call detected in program - Inject Into Breadth agents (merged via M5 hierarchy)

原文の言語: 英語

dex-integration-security

Protocol Type Trigger dex_integration (detected when recon finds swap|addLiquidity|removeLiquidity|IUniswapV2Router|ISwapRouter|amountOutMin|amountOutMinimum|slippage - AND the...

原文の言語: 英語

multi-step-operation-safety

Niche agent for multi-step operation safety: authorization sequence conflicts in batch/multi-step operations, and infrastructure address targeting via public on-behalf-of functions

原文の言語: 英語

centralization-risk

Trigger Pattern Protocol has privileged authorities (admin, operator, upgrade authority, governance) - Inject Into Breadth agents (optional), depth-state-trace

原文の言語: 英語

contract-upgradeability

Trigger Pattern update_current_contract_wasm detected in codebase - Inject Into Breadth agents, depth-state-trace

原文の言語: 英語

cross-chain-timing

Trigger Pattern stellar_bridge|soroban_bridge|horizon|anchor_protocol|bridge|cross_chain|relay|wormhole|allbridge|debridge|axelar|LayerZero|sequence|emitter - Inject Into Breadth agents, depth-external

原文の言語: 英語

custom-type-safety

Trigger Pattern contractimport! or contracttype detected - Inject Into Breadth agents, depth-external

原文の言語: 英語

economic-design-audit

Trigger Pattern MONETARY_PARAMETER flag (fee, rate, emission, cap, bps values) - Inject Into Breadth agents (merged via M4 hierarchy)

原文の言語: 英語

flash-loan-interaction

Trigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case

原文の言語: 英語

migration-analysis

Trigger Pattern Contract upgrades via update_current_contract_wasm, storage migration, deprecated functions, token migrations - Inject Into Breadth agents, depth-state-trace

原文の言語: 英語

semi-trusted-roles

Trigger Pattern operator/keeper/crank require_auth checks, authority-gated functions - Inject Into Breadth agents, depth-state-trace

原文の言語: 英語

share-allocation-fairness

Trigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-case

原文の言語: 英語

storage-lifecycle

Trigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth agents

原文の言語: 英語

temporal-parameter-staleness

Trigger Pattern interval|period|duration|delay|cooldown|lock_period|timelock|unbonding|claim_delay|withdraw_delay|maturity|ledger_sequence|timestamp - Inject Into Breadth agents, depth-state-trace

原文の言語: 英語

token-flow-tracing

Trigger Pattern SEP-41 token transfers, TokenClient::new, transfer/transfer_from/burn, XLM native balance - Inject Into Lifecycle, External-Env agents

原文の言語: 英語