xian-contracting

xian-contracting is the contract compiler, source/artifact utility layer, local test harness, and standard-library bridge for Xian. Network execution is defined by the Xian VM (xian_vm_v1).

The published PyPI package is xian-tech-contracting. The import package remains contracting. Side packages under packages/ (deterministic runtime types, accounts, fast-path validator, VM crates, zk tooling) are released independently and consumed by xian-abci, xian-py, and the node runtime.

Package Shape

flowchart LR
  Source["Authored contract source"] --> Compiler["Compiler and linter"]
  Compiler --> Artifact["Offline artifacts"]
  Compiler --> VM["xian_vm_v1 execution target"]
  Source --> Executor["Local harness"]
  Executor --> Storage["Deterministic storage"]
  Executor --> Stdlib["Stdlib bridge"]
  Executor --> Events["LogEvent output"]
  Packages["Side packages"] --> VM
  Packages --> ZK["xian-zk"]

Quick Start

Install the package:

uv add xian-tech-contracting

Optional zk helpers are kept off the default install:

uv add 'xian-tech-contracting[zk]'

Compile source or build artifacts for offline inspection:

from contracting.artifacts import build_contract_artifacts, compile_contract_source

compiled = compile_contract_source(
    module_name="con_token",
    source=contract_source,
)
artifacts = build_contract_artifacts(
    module_name="con_token",
    source=contract_source,
)

Run a contract in the local harness:

from contracting.local import ContractingClient

client = ContractingClient()
client.submit(contract_source, name="con_token")

token = client.get_contract_proxy("con_token")
token.transfer(amount=100, to="bob")

submit(...) accepts contract source as a string or a Python function whose body is the contract.

Use the storage driver directly:

from contracting.storage.driver import Driver

driver = Driver()
driver.set("example.key", "value")
print(driver.get("example.key"))

Principles

• Contracts use Python syntax, but are not general Python. Execution rules are consensus-sensitive and intentionally narrower than the host language.
• Consensus parity comes first. Metering, storage encoding, import restrictions, and runtime helpers must stay version-aligned across all validators.
• The Xian VM is the execution target. Validators accept cleartext source and derive canonical Xian VM IR themselves before persisting deployed state.
• Compiler and harness stay distinct. SDKs and CLI deployment flows submit source. Offline artifacts are useful for diagnostics and CI, but are not the public deployment payload.
• Compilation is bounded. The Rust compiler admits at most 128 KiB source, 50,000 syntax nodes, syntax depth 64, 100,000 tokens total, 4,096 tokens on one logical line, 1 MiB of canonical IR JSON, and 512 contract-handle inference passes. Every binding returns the same xian.limit.* diagnostic.
• Stay scoped. Built-in helpers serve the execution model. They do not grow into a general convenience framework.
• No node orchestration here. Operator workflow, genesis distribution, and container lifecycle belong in xian-abci, xian-cli, and xian-stack.
• Security-sensitive. Favor small, well-tested changes. If a fix changes execution semantics, add regression tests in the same change.

Key Directories

• src/contracting/ — compiler, artifacts, local harness, storage, and stdlib bridge.
  • artifacts/ — public source compiler, artifact builder, and validator.
  • compilation/ — parser, compiler, linter, and whitelist logic.
  • compiler/ — public compiler import surface.
  • execution/ — runtime, executor, module loading, and tracing.
  • local/ — high-level ContractingClient for local tests and tooling.
  • storage/ — drivers, ORM helpers, encoder, and LMDB-backed state.
  • contracts/ — package-local contract assets (e.g. the built-in submission contract).
  • stdlib/ — contract-side standard-library bridge.
• packages/ — independently released sibling packages: xian-accounts, xian-compiler-core, xian-fastpath-core, xian-runtime-types, xian-vm-core, xian-zk.
• scripts/ — audit and fixture-generation tools used by VM/runtime work.
• tests/ — unit/, integration/, security/, performance/ coverage.
• examples/ — notebook walk-throughs and a non-Jupyter validation script.
• docs/ — architecture, backlog, current-state notes, and active design drafts.

What This Runtime Covers

• compilation and linting of contract source
• local harness execution, metering, and import restrictions
• storage drivers and encoding
• contract-side runtime helpers (stdlib bridge)
• speculative parallel batch execution primitives
• native zero-knowledge verifier building blocks
• Xian VM IR generation, validation, parity fixtures, and early native VM work

Validation

Default CI path (pure-Python, no Rust extensions):

uv sync --group dev
uv run ruff check .
uv run ruff format --check .
uv run pytest --cov=contracting --cov-report=term-missing --cov-report=xml

The default pytest config deselects tests marked optional_native; those tests require heavier Rust extension packages beyond the required compiler core.

Native / release CI path:

./scripts/validate-release.sh

validate-release.sh runs the default suite plus compiler-core, zk, and VM checks, the WASM compiler package build, optional-native parity and fuzz coverage, and the Rust-side package checks used by release CI. It is the gate for tagging a release.

If you change metering, tracing, storage encoding, or import restrictions, treat the change as consensus-sensitive and run the relevant tests/security/ and tests/integration/ paths explicitly.

Related Docs

• AGENTS.md — repo-specific guidance for AI agents and contributors
• docs/README.md — index of internal design notes
• docs/ARCHITECTURE.md — major components and dependency direction
• docs/BACKLOG.md — open work and follow-ups
• docs/COMPILER_RELEASE.md — compiler package validation and publish order
• docs/SAFETY_INVARIANTS.md — invariants the runtime must preserve
• docs/PARALLEL_EXECUTION.md — speculative parallel batch execution model
• docs/COMPILE_TIME_EXTENDS.md — contract import / extends model
• docs/EXECUTION_BACKLOG.md — execution-engine follow-ups
• docs/SHIELDED_STATE_REDESIGN_V2.md — shielded-state model
• docs/ZK_PRIVACY_OPTIMIZATION_PLAN.md — zk privacy roadmap