panproto-cli

Command-line interface for panproto. The binary is called schema.

Provides subcommands for schema validation, migration checking, breaking change detection, record lifting, protolens-based data conversion, and schematic version control.

Installation

# macOS (Homebrew)
brew install panproto/tap/panproto-cli

# Linux / macOS (shell installer)
curl --proto '=https' -LsSf https://github.com/panproto/panproto/releases/latest/download/panproto-cli-installer.sh | sh

# Windows (PowerShell)
powershell -ExecutionPolicy ByPass -c "irm https://github.com/panproto/panproto/releases/latest/download/panproto-cli-installer.ps1 | iex"

# From source (any platform with Rust)
cargo install panproto-cli

Usage

# Version control
schema init                              # initialize repo, auto-detect packages
schema add schema.json                   # stage a JSON schema
schema add crates/panproto-gat/          # stage a directory (parsed via tree-sitter)
schema commit -m "initial schema"
schema commit -m "fix" --skip-verify     # bypass GAT equation checks
schema status                            # per-file changes grouped by package
schema log
schema diff --staged
schema diff --theory old.json new.json
schema show HEAD

# Branching and merging
schema branch feature
schema checkout feature
schema merge main
schema merge main --migrate records/     # merge and migrate data
schema rebase main
schema cherry-pick abc1234
schema stash push
schema stash pop

# Schema tools
schema validate --protocol atproto schema.json
schema check --src old.json --tgt new.json --mapping mig.json
schema typecheck --src old.json --tgt new.json --migration mig.json
schema verify --protocol atproto schema.json
schema scaffold --protocol atproto schema.json
schema normalize --protocol atproto schema.json

# Lens operations
schema lens generate old.json new.json
schema lens apply lens.json record.json
schema lens verify lens.json --instance test.json
schema lens compose lens1.json lens2.json
schema lens inspect chain.json
schema lens check chain.json schemas/
schema lens lift chain.json morphism.json

# Data operations
schema data convert --src-schema old.json --tgt-schema new.json record.json
schema data migrate records/
schema data sync records/
schema data status records/
schema add schema.json --data records/   # stage data alongside schema

# Record lifting
schema lift --migration mig.json --src-schema src.json --tgt-schema tgt.json record.json

# Full-AST parsing (248 languages)
schema parse file src/main.ts
schema parse project ./src
schema parse emit src/main.ts

# Git bridge
schema git import /path/to/repo HEAD
schema git export --repo . /path/to/dest

# Expressions
schema expr eval "2 + 3 * 4"
schema expr parse "\\x -> x + 1"
schema expr fmt "\\x->x+ 1"
schema expr check "let x = 1 in x + 2"
schema expr repl
schema expr gat-eval term.json
schema expr gat-check term.json

# Enrichments
schema enrich add-default --vertex post.title --expr '"untitled"'
schema enrich add-coercion --from string --to integer --expr "str_to_int(x)"
schema enrich list

# History
schema reflog
schema bisect
schema blame --vertex post.title
schema reset --soft HEAD~1
schema gc

Subcommands

License

MIT