Skip to content

PROJECT_STATUS.md

Latest commit

 

History

History
178 lines (143 loc) · 6.66 KB

PROJECT_STATUS.md

File metadata and controls

178 lines (143 loc) · 6.66 KB
Raw

Project Status And Completion Roadmap

Updated: 2026-06-19.

KaspaScript is now a source-gated compiler plus the first slice of a Kaspa-native programmability kernel.

The project can compile the verified V1 KaspaScript subset, produce deterministic txscript artifacts, and package a contract with kernel metadata: capability profile, wallet previews, indexer schema, readiness report, bytecode ASM/hex, and a Toccata fee estimate.

What Works Today

Compiler:

  • Lexer, parser, semantic checks, typed IR, and deterministic backend emission.
  • Canonical kaspascript.application.v0 model shared by compiler artifacts, kernel packages, CLI inspection, and the SDK.
  • Source-derived signing requirements, classified constraints, transaction shape, output bindings, continuation posture, and monetary responsibilities.
  • Exact input_count / output_count constraints and named continuation("name", output(n)) successor outputs in the application model, with KIP-10 count checks emitted by the backend.
  • Golden artifacts for the verified example contracts.
  • verified-tn12, tn10-toccata, toccata-preview, and future-mainnet target posture.
  • Source-grounded warnings for gated covenant, ZK, and sequencing surfaces.

CLI:

  • kaspascript --help, --brief, and --version
  • kaspascript compile <contract.ks> --target <target>
  • kaspascript inspect <contract.ks>
  • kaspascript inspect <contract.ks|artifact.json> --json
  • kaspascript verify <artifact.json>
  • kaspascript kernel package <contract.ks> --target <target>
  • kaspascript kernel check <contract.ks> --target <target> [--json]
  • kaspascript kernel preview <contract.ks> --target <target> [--transition <name>] [--json]
  • kaspascript toccata status|targets|fee [--json]
  • kaspascript doctor <contract.ks> --target <target> [--json]
  • JSON Schemas in docs/schemas and golden report payloads in tests/golden/cli for the agent-facing report surfaces.

Kernel:

  • kaspascript-kernel workspace crate.
  • DAGSafeVault UTXO state-machine blueprint.
  • Compiled kernel package JSON.
  • Kernel Package v0 schema version.
  • Golden package snapshots for escrow.ks and vault.ks.
  • Capability profile with execution model, feature evidence, transition profiles, wallet requirements, indexer requirements, and policy limits.
  • Wallet previews backed by the same canonical transition model embedded in the compiler artifact.
  • Wallet preview metadata.
  • Covenant lineage indexer schema.
  • Readiness report with mainnet activation guard.
  • Human-readable kernel package schema reference.
  • Toccata pre-activation fee policy: 100 sompi * max(compute grams, 2 * transaction bytes).
  • kaspascript toccata status --json includes the current v2.0.1 release digest plus the baseline v2.0.0 activation release: tagged guide, release assets, node requirements, v1 transaction fields, KIP integration map, and wallet/indexer/miner action checklist.

Testnet readiness:

  • Feature-gated TN12/testnet harness.
  • Offline deployment previews.
  • SDK kernel package builder for applications that should not invoke the CLI.
  • TN10 Toccata kernel package fixtures for escrow.ks and vault.ks.
  • Toccata source and crate compatibility notes.
  • Rusty Kaspa upstream watch for moving-master architecture changes.
  • Rusty Kaspa v2.0.1 is tracked as the current Toccata upgrade release. The baseline v2.0.0 release notes schedule activation at DAA score 474,165,565, roughly June 30, 2026 at 16:15 UTC.
  • SDK Toccata facade fixtures now preserve transaction version 1, storage_mass, input compute_commit, output covenant bindings, user-lane target metadata, and seq-commit lane-proof request/response shape as fixture-only JSON.

What This Does Not Claim Yet

  • It does not claim Toccata mainnet activation.
  • It does not claim the June 30, 2026 scheduled Toccata activation has occurred.
  • It does not emit production covenant ID, ZK verifier, or script-visible sequencing bytecode yet.
  • It does not build or broadcast real covenant-bearing Toccata transactions.
  • It does not replace wallet, node, or indexer verification.

Definition Of Complete

Alpha Complete

The alpha milestone now has CI coverage for:

  • cargo fmt --all -- --check
  • cargo clippy --workspace --all-targets -- -D warnings
  • cargo test --workspace
  • cargo test --workspace --features testnet-integration
  • CLI report schema, report golden, and kernel package golden checks.

Testnet Complete

The testnet milestone needs:

  • Toccata git-tag compatibility fixture in CI or a documented local check.
  • TN10-compatible transaction builder facade wired to Rusty Kaspa APIs.
  • Live or no-broadcast TN10 checks for seq-commit lane-proof RPC and covenant binding fixture assumptions.
  • Covenant ID continuation fixtures.
  • Wallet preview golden cases for each production contract pattern.
  • Indexer fixtures for genesis, continuation, duplicate transition, reorg, and wrong-network cases.
  • Optional live TN10 no-broadcast dry-run path.

Mainnet Ready

Mainnet readiness is blocked until primary sources verify:

  • activation occurred at the scheduled DAA score
  • pinned Rusty Kaspa crate/tag compatibility
  • wallet/indexer support assumptions
  • final fee/mass behavior

Until those exist, future-mainnet remains locked.

Immediate Next Tasks

  1. Add a Toccata v2.0.1 git-crate API probe that checks the SDK facade against Rusty Kaspa transaction/RPC types without replacing the stable 0.15.0 dependency lane.
  2. Add wallet-preview and indexer fixtures for each production contract pattern.
  3. Add live or no-broadcast TN10 checks for the seq-commit lane-proof and covenant-binding fixture assumptions.
  4. Extend wallet-preview and indexer golden fixtures to cover exact input/output counts and named continuation outputs.

Maintainer Commands

cargo fmt --all -- --check
cargo test --workspace
cargo clippy --workspace --all-targets -- -D warnings
cargo test --workspace --features testnet-integration

Smoke test the kernel package command:

cargo run -p kaspascript-cli -- kernel package tests/contracts/escrow.ks \
  --output /tmp/escrow.kernel.json \
  --compute-grams 1000 \
  --tx-bytes 400

Smoke test the Toccata-aware CLI reports:

cargo run -p kaspascript-cli -- toccata status --json
cargo run -p kaspascript-cli -- kernel check tests/contracts/escrow.ks \
  --target verified-tn12 \
  --compute-grams 1000 \
  --tx-bytes 400 \
  --json
cargo run -p kaspascript-cli -- doctor tests/contracts/escrow.ks \
  --target future-mainnet \
  --json

Check the CLI report contracts:

cargo test -p kaspascript-cli cli_report_golden_snapshots_match
cargo test -p kaspascript-cli cli_report_schema_files_are_valid_json