sim-kernel 0.1.4

Small protocol kernel contracts for the expandable SIM Rust runtime.
Documentation
{
  "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"
  ]
}