{
"card_count": 2,
"cards": [
{
"id": "browse/catalog",
"kind": "browse-root",
"owner": "workspace",
"summary": "root browse catalog"
},
{
"id": "registry/catalog",
"kind": "browse-registry",
"owner": "workspace",
"summary": "registry catalog browse card"
}
],
"citizen_count": 0,
"citizens": [],
"generator": "xtask repo-contract v1",
"group_count": 1,
"group_order": [
"workspace"
],
"groups": {
"workspace": [
"sim-kernel",
"xtask"
]
},
"non_citizen_exemption_count": 0,
"non_citizen_exemptions": [],
"package_count": 2,
"packages": [
{
"crate_name": "sim_kernel",
"dependencies": [],
"description": "Small protocol kernel contracts for the expandable SIM Rust runtime.",
"features": [
{
"edges": [],
"name": "test-support",
"workspace_edges": []
}
],
"group": "workspace",
"manifest": "Cargo.toml",
"name": "sim-kernel",
"publish": "true",
"root": "",
"rustdoc_summary": "sim-kernel is the small protocol kernel of the SIM Rust runtime.",
"target_kinds": [
"lib"
],
"targets": [
{
"crate_types": [
"lib"
],
"kind": [
"lib"
],
"name": "sim_kernel",
"src": "src/lib.rs"
}
]
},
{
"crate_name": "xtask",
"dependencies": [],
"description": "Repository-local validation commands for sim-kernel.",
"features": [],
"group": "workspace",
"manifest": "xtask/Cargo.toml",
"name": "xtask",
"publish": "false",
"root": "xtask",
"rustdoc_summary": "Repository-local validation commands for sim-kernel.",
"target_kinds": [
"bin"
],
"targets": [
{
"crate_types": [
"bin"
],
"kind": [
"bin"
],
"name": "xtask",
"src": "xtask/src/main.rs"
}
]
}
],
"provenance": {
"api_docs": "target/doc/",
"generated_by": "cargo run -p xtask -- simdoc",
"generation_timestamp": "2026-07-14T23:28:48+02:00",
"generator": "xtask repo-contract v1",
"git_commit": "5435e21f798df2ba3969675bdf3d662a37a7ea84",
"repo": "sim-kernel",
"schema": "sim.provenance.v1",
"source_commit": "5435e21f798df2ba3969675bdf3d662a37a7ea84",
"source_remote": "https://github.com/sim-nest/sim-kernel",
"validation_commands": [
"cargo fmt --all --check",
"cargo test",
"cargo clippy --all-targets -- -D warnings",
"cargo doc --no-deps",
"cargo run -p xtask -- simdoc --check",
"cargo run -p xtask -- check-file-sizes",
"cargo run -p xtask -- repo-contract --check --repo .",
"cargo run -p xtask -- validation-matrix --check --repo .",
"cargo run -p xtask -- crate-catalog --check --repo ."
],
"workspace_hash": "79d946c2b22e727e",
"workspace_hash_algorithm": "fnv1a64",
"workspace_hash_input_count": 128,
"workspace_hash_inputs": [
"Cargo.toml",
"src/callable.rs",
"src/capability.rs",
"src/card/tests.rs",
"src/card.rs",
"src/catalog/delta.rs",
"src/catalog/delta_tests.rs",
"src/catalog/journal.rs",
"src/catalog/key.rs",
"src/catalog/overlay.rs",
"src/catalog/overlay_tests.rs",
"src/catalog/replay.rs",
"src/catalog/row.rs",
"src/catalog/schema.rs",
"src/catalog/snapshot.rs",
"src/catalog/snapshot_expr.rs",
"src/catalog/snapshot_tests.rs",
"src/catalog/store.rs",
"src/catalog/table_backend.rs",
"src/catalog/tests.rs",
"src/catalog/tx.rs",
"src/catalog/view.rs",
"src/catalog/view_tests.rs",
"src/catalog.rs",
"src/claim.rs",
"src/class.rs",
"src/control/tests.rs",
"src/control.rs",
"src/datum.rs",
"src/datum_store.rs",
"src/datum_tests.rs",
"src/effect.rs",
"src/effect_ledger.rs",
"src/encode.rs",
"src/env/base.rs",
"src/env/core.rs",
"src/env/fork.rs",
"src/env/load_ledger.rs",
"src/env/numbers.rs",
"src/env/promotion.rs",
"src/env/selection.rs",
"src/env/test_support.rs",
"src/env/tests.rs",
"src/env.rs",
"src/error.rs",
"src/eval/demand.rs",
"src/eval/policy.rs",
"src/eval/protocol.rs",
"src/eval/runtime.rs",
"src/eval/strict.rs",
"src/eval/tests.rs",
"src/eval/thunk.rs",
"src/eval.rs",
"src/event.rs",
"src/event_ledger.rs",
"src/event_tests.rs",
"src/expr.rs",
"src/fact_store.rs",
"src/fact_store_tests.rs",
"src/factory.rs",
"src/handle_store.rs",
"src/hint.rs",
"src/hint_tests.rs",
"src/id.rs",
"src/lib.rs",
"src/library/boot.rs",
"src/library/boot_codec/tests.rs",
"src/library/boot_codec.rs",
"src/library/claims.rs",
"src/library/cx.rs",
"src/library/loaders.rs",
"src/library/model.rs",
"src/library/registry/catalog/commit_tests.rs",
"src/library/registry/catalog/lookup.rs",
"src/library/registry/catalog/rows.rs",
"src/library/registry/catalog/schema.rs",
"src/library/registry/catalog/tests.rs",
"src/library/registry/catalog/write.rs",
"src/library/registry/catalog.rs",
"src/library/registry/commit.rs",
"src/library/registry/commit_plan.rs",
"src/library/registry/load.rs",
"src/library/registry/overlay.rs",
"src/library/registry/overlay_tests.rs",
"src/library/registry/query.rs",
"src/library/registry/query_tests.rs",
"src/library/registry/register.rs",
"src/library/registry/unload.rs",
"src/library/registry/unload_tests.rs",
"src/library/registry.rs",
"src/library/tests.rs",
"src/library/transaction.rs",
"src/library.rs",
"src/list.rs",
"src/list_tests.rs",
"src/native_abi.rs",
"src/number_domain.rs",
"src/object.rs",
"src/op.rs",
"src/op_adapter_tests.rs",
"src/op_adapters.rs",
"src/op_tests.rs",
"src/pratt/object.rs",
"src/pratt/tests.rs",
"src/pratt/types.rs",
"src/pratt.rs",
"src/rank.rs",
"src/realize.rs",
"src/realize_tests.rs",
"src/ref_id.rs",
"src/ref_resolver.rs",
"src/seq.rs",
"src/seq_tests.rs",
"src/shape.rs",
"src/shape_check.rs",
"src/shape_report/tests.rs",
"src/shape_report.rs",
"src/shape_tests.rs",
"src/standard.rs",
"src/stream.rs",
"src/stream_surface.rs",
"src/table.rs",
"src/table_tests.rs",
"src/term.rs",
"src/term_tests.rs",
"src/testing.rs",
"src/value.rs",
"xtask/Cargo.toml"
]
},
"recipe_book_count": 0,
"recipes": []
}