DEBALLAST load-line markDEBALLASTTHE LOAD LINE
03 / ACCOUNT MECHANISM TOPOLOGY

REACHABILITYMATRIX

executable state reset excluded
RESOLVER04:12authority × mechanism
× minimum × margin
SYS / 00

SYSTEM
OWNED

SIGNER_MATCH → TRANSFER
  1. authority proof
  2. live minimum
  3. margin boundary
DIRECT / CONDITIONAL
STK / 01

STAKE
ACCOUNT

WITHDRAW_AUTH → STAKE::WITHDRAW
  1. authority match
  2. allocated state
  3. post-balance check
EXECUTABLE
SPL / 02

TOKEN
ACCOUNT

ZERO_AMOUNT → CLOSE → RECREATE
  1. ATA derivation
  2. separate consent
  3. state reset
CONDITIONAL RESET
BPF / 03

PROGRAM
DATA

LOADER::CLOSE ≠ PARTIAL
  1. authority match
  2. no partial path
  3. keep-active invariant
HARD EXCLUSION
INPUT / CONNECTED AUTHORITY→CLASSIFY / OWNER PROGRAM→RESOLVE / INSTRUCTION PATH→ASSERT / MINIMUM + MARGIN

A private endpoint is required for full stake and program-data scans. The public endpoint is used only as a light-read fallback.