capability_ledger.json

{
  "schema": "cellscript-capability-ledger-v1",
  "release_line": "0.31",
  "status": "candidate",
  "claim": "Product-capability status for issues #7 through #27; this ledger does not redefine the executable-surface registry and does not claim release completion.",
  "documentation": "docs/releases/CELLSCRIPT_0_31_RELEASE_READINESS.md",
  "base_commit": "54d639a7230060cc0bcc009dcf26e1830e2011c6",
  "entries": [
    {
      "issue": 7,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/7",
      "title": "[Candidate][Consensus runtime] Implement executable bounded Cell-group consumption",
      "capability_id": "bounded-cell-group-consumption",
      "category": "consensus-runtime",
      "priority": "P0",
      "admission_state": "bounded",
      "on_chain_status": "executable",
      "builder_status": "checked",
      "evidence_status": "stateful",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #7",
      "reviewer": "unassigned",
      "dependencies": [],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_BOUNDED_GROUP_INPUT_CONTRACT.md"],
      "evidence": ["tests/bounded_group_input.rs", "tests/entry_witness_abi.rs"],
      "non_goals": ["Unbounded transaction iteration and arbitrary loop effects"],
      "remaining_work": []
    },
    {
      "issue": 8,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/8",
      "title": "[Candidate][Consensus runtime] Implement executable bounded output-plan correspondence",
      "capability_id": "bounded-output-plan-correspondence",
      "category": "consensus-runtime",
      "priority": "P0",
      "admission_state": "bounded",
      "on_chain_status": "executable",
      "builder_status": "checked",
      "evidence_status": "stateful",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #8",
      "reviewer": "unassigned",
      "dependencies": [7],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_BOUNDED_OUTPUT_PLAN_CONTRACT.md"],
      "evidence": ["tests/bounded_output_plan.rs", "tests/entry_witness_abi.rs"],
      "non_goals": ["Computed or dynamically typed output templates"],
      "remaining_work": []
    },
    {
      "issue": 9,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/9",
      "title": "[Architecture][Builder] Add an artifact-only multi-Script ProtocolBundle",
      "capability_id": "artifact-only-protocol-bundle",
      "category": "artifact",
      "priority": "P0",
      "admission_state": "complete",
      "on_chain_status": "metadata-only",
      "builder_status": "complete-transaction-path",
      "evidence_status": "ckb-vm",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #9",
      "reviewer": "unassigned",
      "dependencies": [7, 8, 17],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_PROTOCOL_BUNDLE.md"],
      "evidence": ["src/protocol_bundle.rs", "crates/cellscript-ckb-adapter/src/protocol_bundle.rs", "tests/business_corpus.rs"],
      "non_goals": ["A new source-language transaction DSL"],
      "remaining_work": []
    },
    {
      "issue": 10,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/10",
      "title": "[Language design] Model typed cross-Script transaction roles without runtime linkage",
      "capability_id": "closed-cross-script-roles",
      "category": "artifact",
      "priority": "P1",
      "admission_state": "bounded",
      "on_chain_status": "metadata-only",
      "builder_status": "checked",
      "evidence_status": "ckb-vm",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #10",
      "reviewer": "unassigned",
      "dependencies": [9, 11],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_PROTOCOL_BUNDLE.md"],
      "evidence": ["src/protocol_bundle.rs", "tests/business_corpus.rs"],
      "non_goals": ["Runtime-selected open participants in the closed-role v1 contract; tracked post-v1 in GitHub issue #29"],
      "remaining_work": []
    },
    {
      "issue": 11,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/11",
      "title": "[Language/ABI] Bind runtime Script values to verified package interfaces",
      "capability_id": "exact-interface-bound-script-handles",
      "category": "language",
      "priority": "P1",
      "admission_state": "bounded",
      "on_chain_status": "executable",
      "builder_status": "checked",
      "evidence_status": "ckb-vm",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #11",
      "reviewer": "unassigned",
      "dependencies": [9, 10, 17],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_EXACT_SCRIPT_HANDLES.md"],
      "evidence": ["src/script_handle.rs", "tests/exact_script_handles.rs"],
      "non_goals": ["Generic compatible-open handles and behavioral inference; tracked post-v1 in GitHub issue #28"],
      "remaining_work": []
    },
    {
      "issue": 12,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/12",
      "title": "[Language/stdlib] Add typed CKB temporal and Since domains",
      "capability_id": "typed-ckb-temporal-domains",
      "category": "language",
      "priority": "P1",
      "admission_state": "bounded",
      "on_chain_status": "executable",
      "builder_status": "checked",
      "evidence_status": "ckb-vm",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #12",
      "reviewer": "unassigned",
      "dependencies": [24],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_0_30_TEMPORAL_DOMAINS.md"],
      "evidence": ["tests/typed_runtime_views.rs", "tests/temporal_scenarios.rs", "tests/fixtures/temporal_scenarios.cell", "tests/fixtures/temporal_scenarios.json", "tests/examples.rs"],
      "non_goals": ["Untyped cross-domain arithmetic or implicit Since conversions"],
      "remaining_work": []
    },
    {
      "issue": 13,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/13",
      "title": "[Language design] Add explicit typed openings for digest-committed substate",
      "capability_id": "typed-committed-substate-openings",
      "category": "language",
      "priority": "P1",
      "admission_state": "bounded",
      "on_chain_status": "executable",
      "builder_status": "checked",
      "evidence_status": "ckb-vm",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #13",
      "reviewer": "unassigned",
      "dependencies": [8, 23, 24, 25],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_COMMITTED_SUBSTATE.md", "docs/CELLSCRIPT_0_30_CAPABILITY_CLOSURE_RFC.md"],
      "evidence": ["tests/commitment_opening.rs", "tests/artifact_checker.rs", "tests/fixtures/committed_substate_vectors.json", "tests/fixtures/committed_substate_resource_budget.json", "tests/fixtures/committed_substate_scenarios.cell", "tests/fixtures/committed_substate_scenarios.json", "src/commitment_contract.rs"],
      "non_goals": ["Hidden compiler-owned state, arbitrary opaque bytes, or unbounded recursive values"],
      "remaining_work": []
    },
    {
      "issue": 14,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/14",
      "title": "[Docs/strategy] Separate executable-surface closure from product capability completeness",
      "capability_id": "product-capability-ledger",
      "category": "assurance",
      "priority": "P0",
      "admission_state": "complete",
      "on_chain_status": "none",
      "builder_status": "none",
      "evidence_status": "none",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #14",
      "reviewer": "unassigned",
      "dependencies": [7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_0_30_CAPABILITY_LEDGER.md"],
      "evidence": ["crates/cellscript-tools/src/capability_ledger.rs"],
      "non_goals": ["Duplicating or redefining the executable-surface registry"],
      "remaining_work": []
    },
    {
      "issue": 15,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/15",
      "title": "[Toolchain][Workspace][P1] Replace member-loop builds and synthetic workspace locks with a canonical graph",
      "capability_id": "canonical-workspace-graph",
      "category": "tooling",
      "priority": "P1",
      "admission_state": "complete",
      "on_chain_status": "none",
      "builder_status": "checked",
      "evidence_status": "none",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #15",
      "reviewer": "unassigned",
      "dependencies": [16, 17, 18],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_WORKSPACE_GRAPH.md"],
      "evidence": ["src/package/workspace.rs", "tests/cli.rs"],
      "non_goals": ["Replacing Cargo as the Rust dependency resolver"],
      "remaining_work": []
    },
    {
      "issue": 16,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/16",
      "title": "[Toolchain][Resolver][P1] Define and enforce package instance, version, source, and feature unification",
      "capability_id": "package-instance-unification",
      "category": "tooling",
      "priority": "P1",
      "admission_state": "complete",
      "on_chain_status": "none",
      "builder_status": "checked",
      "evidence_status": "none",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #16",
      "reviewer": "unassigned",
      "dependencies": [17, 18],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_WORKSPACE_GRAPH.md"],
      "evidence": ["src/package/workspace.rs", "tests/cli.rs"],
      "non_goals": ["Multiple incompatible instances of one package coordinate in a selected graph"],
      "remaining_work": []
    },
    {
      "issue": 17,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/17",
      "title": "[Toolchain][CKB environment][P0] Make transitive dependency selection chain-identity-safe",
      "capability_id": "chain-identity-safe-environments",
      "category": "tooling",
      "priority": "P0",
      "admission_state": "complete",
      "on_chain_status": "none",
      "builder_status": "checked",
      "evidence_status": "none",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #17",
      "reviewer": "unassigned",
      "dependencies": [],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_PACKAGE_PROVENANCE_AND_DEPLOYMENT_IDENTITY.md"],
      "evidence": ["src/package/workspace.rs", "tests/cli.rs"],
      "non_goals": ["Treating a human environment label as chain or deployment identity"],
      "remaining_work": []
    },
    {
      "issue": 18,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/18",
      "title": "[Toolchain][Compatibility][P1] Enforce package-declared CellScript compiler requirements",
      "capability_id": "compiler-requirement-enforcement",
      "category": "tooling",
      "priority": "P1",
      "admission_state": "complete",
      "on_chain_status": "none",
      "builder_status": "checked",
      "evidence_status": "none",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #18",
      "reviewer": "unassigned",
      "dependencies": [16],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_PACKAGE_INSPECTION.md"],
      "evidence": ["src/package/workspace.rs", "tests/cli.rs"],
      "non_goals": ["Loading incompatible package source before compatibility validation"],
      "remaining_work": []
    },
    {
      "issue": 19,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/19",
      "title": "[Toolchain][Introspection] Expose a stable package resolve graph and build-unit plan",
      "capability_id": "package-graph-introspection",
      "category": "tooling",
      "priority": "P1",
      "admission_state": "complete",
      "on_chain_status": "none",
      "builder_status": "checked",
      "evidence_status": "none",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #19",
      "reviewer": "unassigned",
      "dependencies": [15, 16, 17, 18],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_PACKAGE_INSPECTION.md"],
      "evidence": ["src/package/inspection.rs", "tests/cli.rs"],
      "non_goals": ["A mutable introspection API that changes the selected build graph"],
      "remaining_work": []
    },
    {
      "issue": 20,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/20",
      "title": "[Toolchain][Upgrade] Add a transactional package, interface, and deployment upgrade plan",
      "capability_id": "transactional-package-upgrades",
      "category": "tooling",
      "priority": "P1",
      "admission_state": "complete",
      "on_chain_status": "none",
      "builder_status": "checked",
      "evidence_status": "none",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #20",
      "reviewer": "unassigned",
      "dependencies": [15, 16, 17, 18, 19],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_TRANSACTIONAL_UPGRADES.md"],
      "evidence": ["src/package/upgrade.rs", "tests/cli.rs"],
      "non_goals": ["Applying an upgrade when its reviewed plan receipt is stale"],
      "remaining_work": []
    },
    {
      "issue": 21,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/21",
      "title": "[Backend][Diagnostics] Preserve generated assembly line provenance in internal assembler errors",
      "capability_id": "generated-assembly-diagnostic-provenance",
      "category": "tooling",
      "priority": "P1",
      "admission_state": "complete",
      "on_chain_status": "none",
      "builder_status": "none",
      "evidence_status": "none",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #21",
      "reviewer": "unassigned",
      "dependencies": [],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_GATE_POLICY.md"],
      "evidence": ["src/codegen/assembler.rs", "src/main.rs"],
      "non_goals": ["Presenting generated assembly coordinates as CellScript source spans"],
      "remaining_work": []
    },
    {
      "issue": 22,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/22",
      "title": "[Language/Verifier][Research] Add typed zero-knowledge verifier contracts without a circuit DSL",
      "capability_id": "typed-zk-verifier-contracts",
      "category": "language",
      "priority": "research",
      "admission_state": "research",
      "on_chain_status": "none",
      "builder_status": "none",
      "evidence_status": "none",
      "interface_status": "absent",
      "owner": "GitHub issue #22",
      "reviewer": "unassigned",
      "dependencies": [11, 13, 25],
      "release_scope": "deferred",
      "release_eligibility": "experimental",
      "issue_disposition": "deferred",
      "design_records": ["docs/CELLSCRIPT_0_30_CAPABILITY_CLOSURE_RFC.md"],
      "evidence": [],
      "non_goals": ["A CellScript circuit DSL or compiler proof of external verifier internals"],
      "remaining_work": []
    },
    {
      "issue": 23,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/23",
      "title": "[Language design] Choose a stable surface for value generics and public API signatures",
      "capability_id": "public-value-generics",
      "category": "language",
      "priority": "P1",
      "admission_state": "complete",
      "on_chain_status": "executable",
      "builder_status": "checked",
      "evidence_status": "ckb-vm",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #23",
      "reviewer": "unassigned",
      "dependencies": [],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_PUBLIC_INTERFACES.md"],
      "evidence": ["src/generics.rs", "tests/entry_witness_abi.rs"],
      "non_goals": ["Unbounded recursive generic layout or unstable cross-package monomorph identities"],
      "remaining_work": []
    },
    {
      "issue": 24,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/24",
      "title": "[0.30][Runtime] Complete typed bounded CKB transaction-view and syscall adapters",
      "capability_id": "typed-bounded-ckb-runtime-views",
      "category": "consensus-runtime",
      "priority": "P0",
      "admission_state": "bounded",
      "on_chain_status": "executable",
      "builder_status": "checked",
      "evidence_status": "ckb-vm",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #24",
      "reviewer": "unassigned",
      "dependencies": [7, 8, 9, 10, 11, 12, 13, 14],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_0_30_CKB_RUNTIME_VIEW_MATRIX.md"],
      "evidence": ["tests/typed_runtime_views.rs", "tests/fixtures/runtime_view_resource_budgets.json", "tests/business_corpus.rs", "tests/fixtures/capability_anchor_cases.json", "tests/exact_script_handles.rs", "tests/sighash_zero_lock.rs"],
      "non_goals": ["Raw syscall numbers, inline assembly, or unbounded transaction-wide reads"],
      "remaining_work": []
    },
    {
      "issue": 25,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/25",
      "title": "[0.30][Security] Define cryptographic capability and authorization-domain contracts",
      "capability_id": "cryptographic-authorization-domain-contracts",
      "category": "assurance",
      "priority": "P0",
      "admission_state": "bounded",
      "on_chain_status": "executable",
      "builder_status": "checked",
      "evidence_status": "chain",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #25",
      "reviewer": "unassigned",
      "dependencies": [11, 13, 23, 24],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_0_30_CRYPTOGRAPHIC_CAPABILITY_MATRIX.md"],
      "evidence": ["tests/fixtures/cryptographic_capability_matrix.json", "tests/cryptographic_resource_budgets.rs", "tests/fixtures/cellscript_0_30_pudge_deployment_manifest.json", "tests/fixtures/cellscript_0_30_pudge_deployment.json", "crates/cellscript-tools/src/pudge_deployment.rs"],
      "non_goals": ["Unrestricted native cryptography or compiler claims over trusted external verifier internals"],
      "remaining_work": []
    },
    {
      "issue": 26,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/26",
      "title": "[0.30][Acceptance] Build the canonical Rust-comparable CKB business corpus",
      "capability_id": "canonical-business-equivalence-corpus",
      "category": "assurance",
      "priority": "P0",
      "admission_state": "bounded",
      "on_chain_status": "executable",
      "builder_status": "complete-transaction-path",
      "evidence_status": "chain",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #26",
      "reviewer": "unassigned",
      "dependencies": [7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 23, 24, 25],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "close-after-merge",
      "design_records": ["docs/CELLSCRIPT_0_30_BUSINESS_CORPUS.md"],
      "evidence": ["tests/fixtures/business_corpus.json", "tests/fixtures/business_transaction_inventory.json", "tests/fixtures/business_scenario_evidence.json", "tests/fixtures/authorization_scenarios.json", "tests/fixtures/capability_anchor_cases.json", "tests/fixtures/cellscript_0_30_pudge_deployment_manifest.json", "tests/fixtures/cellscript_0_30_pudge_deployment.json", "tests/fixtures/committed_substate_scenarios.json", "tests/fixtures/external_exec_callee.hex", "tests/fixtures/external_verifier_scenarios.json", "tests/fixtures/fungible_scenarios.cell", "tests/fixtures/fungible_scenarios.json", "tests/fixtures/nft_capacity_scenario.cell", "tests/fixtures/nft_scenarios.cell", "tests/fixtures/nft_scenarios.json", "tests/fixtures/order_amm_scenarios.json", "tests/fixtures/order_amm_swap.cell", "tests/fixtures/temporal_scenarios.json", "tests/business_corpus.rs", "tests/commitment_opening.rs", "tests/external_verifier_scenarios.rs", "tests/fungible_scenarios.rs", "tests/order_amm_scenarios.rs", "tests/temporal_scenarios.rs", "crates/cellscript-tools/src/pudge_deployment.rs"],
      "non_goals": ["A percentage claim over arbitrary Rust contracts or relabeling lower evidence tiers as higher ones"],
      "remaining_work": []
    },
    {
      "issue": 27,
      "issue_url": "https://github.com/CellScript-Labs/CellScript/issues/27",
      "title": "[0.30][Release] Close product, publication, and deployment evidence",
      "capability_id": "product-publication-deployment-closure",
      "category": "product",
      "priority": "P0",
      "admission_state": "complete",
      "on_chain_status": "none",
      "builder_status": "complete-transaction-path",
      "evidence_status": "chain",
      "interface_status": "public-versioned",
      "owner": "GitHub issue #27",
      "reviewer": "unassigned",
      "dependencies": [
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        24,
        25,
        26
      ],
      "release_scope": "required",
      "release_eligibility": "stable",
      "issue_disposition": "split-and-close",
      "design_records": [
        "docs/CELLSCRIPT_0_30_CAPABILITY_CLOSURE_RFC.md",
        "docs/CELLSCRIPT_0_30_BUSINESS_CORPUS.md"
      ],
      "evidence": [
        "scripts/cellscript_gate.sh",
        "tests/fixtures/business_corpus.json",
        "tests/fixtures/cellscript_0_30_pudge_deployment_manifest.json",
        "tests/fixtures/cellscript_0_30_pudge_deployment.json"
      ],
      "non_goals": [
        "Version bumps, publication, or deployment before every required identity and gate agrees"
      ],
      "remaining_work": [
        "Issue #27 closed for 0.30. Issue #30 owns fresh 0.31 candidate review, distribution bundles, selected-network evidence and the full clean-source release gate."
      ]
    }
  ],
  "release_requirements": {
    "independent_review": "pending",
    "release": "pending",
    "repository_gates": "pending",
    "selected_network_evidence": "pending"
  }
}