hopper-framework 0.1.0

Zero-copy state framework for Solana. Typed account architecture, phased execution, validation graphs, zero-copy collections, layout evolution, and cross-program interfaces. Built on Hopper Native. no_std, no_alloc, no proc macros required.
Documentation
# Hopper Manager

## Current Model

Hopper Manager is the program-level inspection surface built into
`hopper-cli`. Today it is manifest-centric: you point it at a manifest on
disk, or fetch one first with `hopper fetch <program-id>` /
`hopper manager fetch <program-id>`.

That makes Manager the operational layer of Hopper's state-contract model,
not a separate product bolted on after the fact.

## What the Manager Does

Given a `ProgramManifest`, Hopper Manager can:

1. **Summarize** a program's layouts, instructions, policies, events, and contexts.
2. **Identify** an account's layout from raw bytes.
3. **Decode** every field with type-aware formatting.
4. **Inspect** layout fingerprints, segment metadata, and receipt payloads.
5. **Compare** before/after account states against manifest metadata.
6. **Simulate** instruction requirements from manifest-declared accounts, args, and policies.
7. **Explore interactively** through the TUI.

## CLI Command Reference

`hopper manager` is a subcommand family:

```bash
hopper manager summary <manifest>
hopper manager identify <manifest> <hex>
hopper manager decode <manifest> <hex>
hopper manager instruction <manifest> <tag|name>
hopper manager layouts <manifest>
hopper manager policies <manifest>
hopper manager events <manifest>
hopper manager fingerprints <manifest>
hopper manager compat <manifest> <hex-old> <hex-new>
hopper manager receipt <hex-64-bytes>
hopper manager explain <manifest>
hopper manager diff <manifest> <hex-before> <hex-after>
hopper manager simulate <manifest> <instruction>
hopper manager fetch <program-id> [--rpc <url>]
hopper manager interactive <manifest>
```

Related commands outside the `manager` family:

```bash
hopper fetch <program-id> [--rpc <url>] [--json]
hopper explain context <manifest> [--type <ContextName>]
hopper interactive <manifest>
```

Manifest arguments accept inline JSON or `@path/to/file.json`.

## Typical Workflows

### Start from a local manifest

```bash
hopper manager summary @hopper.manifest.json
hopper manager layouts @hopper.manifest.json
hopper manager instruction @hopper.manifest.json deposit
```

### Decode a live account against known schema

```bash
hopper manager identify @hopper.manifest.json <hex-data>
hopper manager decode @hopper.manifest.json <hex-data>
hopper manager diff @hopper.manifest.json <hex-before> <hex-after>
```

### Start from an on-chain manifest

```bash
hopper fetch <program-id>
hopper manager fetch <program-id>
```

### Explore interactively

```bash
hopper manager interactive @hopper.manifest.json
hopper explain context @hopper.manifest.json
```

## Output: Account Identification

```
Account identified: Vault v1
  Discriminator: 1
  Layout ID: a1b2c3d4e5f60718
  Size: 57 bytes (matches expected)

Fields:
  authority  [u8;32]   0x7a3b...4c2d  (offset 16)
  balance    WireU64   1,500,000       (offset 48)
  bump       u8        254             (offset 56)

Status: compatible with Vault v2 (append-safe)
```

## Output: Program Summary

```
Program: hopper_registry v0.1.0

Layouts (3):
  Vault      v1  disc=1  57 bytes   fingerprint=a1b2c3d4e5f60718
  VaultV2    v2  disc=1  73 bytes   fingerprint=b2c3d4e5f6071829
  Config     v1  disc=2  43 bytes   fingerprint=c3d4e5f607182930

Instructions (4):
  0  init_vault      accounts=3  caps=CreatesAccount
  1  deposit         accounts=2  caps=MutatesState,MutatesTreasury
  2  withdraw        accounts=2  caps=MutatesState,MutatesTreasury
  3  update_config   accounts=2  caps=MutatesState,ModifiesAuthority

Policies (2):
  TREASURY_WRITE      Authority + Snapshot + Conservation + Invariants
  AUTHORITY_CHANGE     Authority + CPI Guard + PostMutation + Invariants

Compatibility:
  Vault v1 -> v2: append-safe, backward-readable
```

## Schema Requirements

Hopper Manager depends on:

- **Hopper Manifest** for layout definitions and instruction metadata
- **hopper-schema** types for decoding, compatibility, and migration
- **Field maps + layout info** for manager-readable runtime metadata

The manifest is the bridge between raw bytes and meaningful state.
Without a manifest, Hopper can still do header-level analysis with
`hopper inspect` and `hopper explain`. With a manifest, Manager delivers
field-level decoding, instruction metadata, policies, contexts, and
semantic program summaries.

## Architecture

```
                    ┌─────────────────────┐
                    │   hopper manager    │
                    │  subcommand family  │
                    └──────────┬──────────┘
              ┌────────────────┼────────────────┐
              │                │                │
    ┌─────────v─────┐ ┌───────v───────┐ ┌──────v──────┐
    │  Manifest     │ │  Account      │ │  Receipt    │
    │  Loader       │ │  Decoder      │ │  Decoder    │
    └─────────┬─────┘ └───────┬───────┘ └──────┬──────┘
              │                │                │
    ┌─────────v─────────────────v────────────────v──────┐
    │              hopper-schema                        │
    │  ProgramManifest, ManagerMetadata, decode_*      │
    └──────────────────────────────────────────────────┘
```

The Manager is a CLI subcommand family that coordinates existing schema
primitives into a unified operational interface. It adds no new
dependencies and reuses the same decode, compare, explain, and clientgen
metadata that power the rest of the Hopper CLI.

## Value Proposition

Hopper Manager makes Hopper:

- **Easier to inspect than raw cast frameworks** -- load a program, see everything
- **More operable than hex-dump tooling** -- structured decode, not guesswork
- **More production-friendly than schema-light frameworks** -- compatibility and receipts are built in
- **More coherent than fragmented toolchains** -- one manifest-driven surface for the whole lifecycle

When a protocol team can run `hopper manager` and instantly understand
every layout, every instruction, every policy, and every receipt in
their program, Hopper becomes operationally legible in a way most
Solana frameworks still are not.