schema = "sim.features"
[enforcement.audience]
user = "strict"
code = "strict"
framework = "advisory"
[enforcement.surface]
cli = "strict"
view = "strict"
view-edit = "strict"
docs = "advisory"
[enforcement.specimen]
user = "strict"
framework = "strict"
code = "advisory"
[enforcement.route]
major_entrypoints = "advisory"
frameworks = "advisory"
[[feature]]
id = "feature/sim-sdk/generated-docs"
title = "Repository documentation surface"
summary = "Publish generated package, card, recipe, and index facts for the SDK facade and conformance crate."
owner = "crate/xtask"
audiences = ["code"]
guidance = "Use this row when checking the generated documentation and index lane for the SDK repo."
claims_anchors = [
"anchor/bin/sim",
"anchor/cli/xtask",
"anchor/crate/xtask",
"anchor/doc/generated/feature-map",
"anchor/doc/generated/sim-index-fragment",
]
claims_surfaces = [
"cli/sim",
"cli/xtask",
"docs/sim-sdk/generated",
]
[[feature]]
id = "feature/sim-sdk/source-authority-facade"
title = "Shared source-authority facade"
summary = "Build diminished source requests through the canonical runtime authority, broker, and dynamic policy without guest-specific admission envelopes."
owner = "crate/sim-nest"
audiences = ["code", "framework"]
guidance = "Enable core and import sim::source_authority. Construct SourceAuthority only in trusted host code, then use ReadEvalRequest::new or DynamicSourcePolicy evaluation methods. The facade directly presents sim-lib-core contracts and adds no authority model or guest behavior."
claims_anchors = [
"anchor/rustdoc/sim-nest/source_authority",
]
claims_specimens = [
"recipe/sim-sdk/source-authority/dynamic-text",
]
presents = [
"feature/sim-runtime/capabilities-read-eval",
]
[[feature]]
id = "feature/sim-sdk/characterization-facade"
title = "Characterization migration facade"
summary = "Capture public behavioral contracts before a refactor and compare canonical observations afterward through SDK-visible types."
owner = "crate/sim-nest"
audiences = ["code", "framework"]
guidance = "Enable standard-core and use sim::characterization. Declare a bounded ScenarioSpec, record canonical observations before and after a migration, and require compare_characterization_captures to return no differences. Inspect located differences instead of private implementation state when a contract changes."
claims_anchors = [
"anchor/rustdoc/sim-nest/characterization",
]
claims_specimens = [
"spec-test/sim-sdk/tests/characterization",
]
presents = [
"feature/sim-runtime/characterization-captures",
]
[[feature]]
id = "feature/sim-sdk/standard-gc-policy"
title = "Standard distribution garbage-collection policy"
summary = "Select bounded tracing reclamation for standard builds while keeping hard-capped cycle retention explicit and test-only."
owner = "crate/sim-nest"
audiences = ["code", "framework"]
guidance = "Use the `standard` feature for production guests that allocate managed cyclic graphs. Import ManagedNode, ManagedArena, stable edge types, and (with tracing selected) ManagedHeap from `sim::gc`; keep language roles and payload policy open while reusing that substrate. Use `standard-gc-retain` only for an explicit minimal or test closure; inspect the selection with `gc::inspect_selected_policy`, and expect cyclic production admission to fail closed under retention."
claims_anchors = [
"anchor/rustdoc/sim-nest/gc",
]
claims_specimens = [
"spec-test/sim-sdk/src/gc",
]
presents = [
"feature/sim-runtime/mutation-organ",
"feature/sim-runtime/gc-tracing",
]
[[feature]]
id = "feature/sim-sdk/facade-runtime"
title = "Facade runtime entry point"
summary = "Boot the public SIM facade and expose its command plus reversible view surface."
owner = "crate/sim-nest"
audiences = ["user", "code"]
guidance = "Use this row when starting from the SDK facade instead of an implementation crate."
claims_anchors = [
"anchor/card/citizen/view/lens-descriptor",
"anchor/cli/sim-nest",
"anchor/crate/sim-nest",
"anchor/rustdoc/sim-nest/crate-root",
"anchor/runtime-lib/sim-nest/core-runtime-lib",
"anchor/runtime-lib/sim-nest/native-class-lib",
]
claims_surfaces = [
"cli/sim-nest",
"view/sim-nest",
"view-edit/sim-nest",
]
claims_specimens = [
"spec-test/sim-sdk/crates/sim-conformance/tests/cli_boot",
]
presents = [
"feature/sim-sdk/facade-codecs",
"feature/sim-sdk/facade-model-workflows",
"feature/sim-sdk/facade-shapes",
]
[[feature]]
id = "feature/sim-sdk/facade-codecs"
title = "Facade codec exports"
summary = "Expose public codec exports through the SDK facade while implementation crates keep the codec behavior."
owner = "crate/sim-nest"
audiences = ["code"]
guidance = "Use this row when checking which codec entry points the SDK facade re-exports."
claims_anchors = [
"anchor/export/sim-nest/codec/algol",
"anchor/export/sim-nest/codec/anthropic",
"anchor/export/sim-nest/codec/binary",
"anchor/export/sim-nest/codec/binary-base64",
"anchor/export/sim-nest/codec/bitwise",
"anchor/export/sim-nest/codec/bitwise-base64",
"anchor/export/sim-nest/codec/bridge",
"anchor/export/sim-nest/codec/chat",
"anchor/export/sim-nest/codec/clojure-edn",
"anchor/export/sim-nest/codec/common-lisp-lite",
"anchor/export/sim-nest/codec/intent",
"anchor/export/sim-nest/codec/javascript",
"anchor/export/sim-nest/codec/json",
"anchor/export/sim-nest/codec/lemonade",
"anchor/export/sim-nest/codec/lisp",
"anchor/export/sim-nest/codec/lm-studio",
"anchor/export/sim-nest/codec/mcp",
"anchor/export/sim-nest/codec/ollama",
"anchor/export/sim-nest/codec/python",
"anchor/export/sim-nest/codec/scene",
"anchor/export/sim-nest/codec/scheme-r7rs-small",
]
[[feature]]
id = "feature/sim-sdk/facade-model-workflows"
title = "Facade model workflow exports"
summary = "Expose model-facing facade exports for answer routing and drafter setup."
owner = "crate/sim-nest"
audiences = ["code"]
guidance = "Use this row when checking the SDK facade exports used by model-connected workflows."
claims_anchors = [
"anchor/export/sim-nest/bridge/answer-question",
"anchor/export/sim-nest/model-drafter",
]
[[feature]]
id = "feature/sim-sdk/python-composition"
title = "Embedded Python SDK composition"
summary = "Compose the Python source codec, thin runtime profile, and tracing collector through ordinary SDK and bootloader controls."
owner = "crate/sim-nest"
audiences = ["user", "code", "framework"]
guidance = "Enable `codec-python` for syntax only, `standard-python` for the capability-scoped profile, or `python` for the production profile with tracing collection. `standard` includes Python deliberately; the minimal default does not. The codec loads through the existing cookbook and bootloader surface; hosts install the exported profile through the generic profile registry. There is no Python executable, compiler, or foreign runtime."
claims_specimens = ["recipe/sim-sdk/python/capability-scoped"]
[[feature]]
id = "feature/sim-sdk/javascript-composition"
title = "Embedded JavaScript SDK composition"
summary = "Compose the JavaScript codec, direct profile, and tracing collector through ordinary SDK and bootloader controls."
owner = "crate/sim-nest"
audiences = ["user", "code", "framework"]
guidance = "Enable `codec-javascript` for syntax only, `standard-javascript` for the bounded direct profile, or `javascript` for the production profile with tracing collection. `standard` includes JavaScript deliberately; the minimal default does not. The codec loads through the existing cookbook and bootloader surface. No Node, compiler, JavaScript executable, ambient event loop, or alternate engine is implied."
claims_specimens = ["recipe/sim-sdk/javascript/bounded-module"]
[[feature]]
id = "feature/sim-sdk/typescript-notation-composition"
title = "TypeScript notation SDK composition"
summary = "TypeScript notation; does not type-check. Compose bounded syntax, JavaScript erasure and observational Shape metadata through the SDK and ordinary bootloader controls."
owner = "crate/sim-nest"
audiences = ["user", "code", "framework"]
guidance = "Enable `codec-typescript` for bounded notation and erasure, `standard-typescript` for the generic `language/typescript-notation` profile, or `typescript` as its curated alias. `standard` includes the notation profile; JavaScript remains the only evaluator. This surface provides no tsc, tsserver, LSP service, compiler diagnostics, emit, or TypeScript executable."
claims_specimens = ["recipe/sim-sdk/typescript-notation/admitted-notation"]
[[feature]]
id = "feature/sim-sdk/genai-feature-bundles"
title = "GenAI SDK feature bundles"
summary = "Select base, local, and provider GenAI dependency bundles through SDK Cargo feature aliases."
owner = "crate/sim-nest"
audiences = ["code", "framework"]
guidance = "Use `genai` for fake and cassette composition, `genai-local` before route/run-genai-locally, and `genai-provider` before route/run-genai-with-provider."
claims_anchors = [
"anchor/export/sim-nest/agent/01-basics/genai-assembly",
"anchor/rustdoc/sim-nest/cookbook_directory",
"anchor/rustdoc/sim-nest/default_loadable_libs",
]
claims_specimens = [
"spec-test/sim-sdk/src/feature_contract_tests",
"spec-test/sim-sdk/src/runtime/cookbook_directory",
]
[[feature]]
id = "feature/sim-sdk/gpu-math-composition"
title = "GPU math SDK composition"
summary = "Expose opt-in Tensor, ODE, compute-provider, and FEMM solver composition through direct SDK re-exports."
owner = "crate/sim-nest"
audiences = ["user", "code", "framework"]
guidance = "Use `gpu-math` for the modeled default matrix/ODE/FEMM stack and `gpu-math-provider` when a host intentionally opts into auto, wgpu, CUDA, or ROCm provider crates. The math expression stays provider-neutral; swap only the placement site."
claims_specimens = [
"spec-test/sim-sdk/crates/sim-conformance/tests/spec/gpu_math",
]
[[feature]]
id = "feature/sim-sdk/interference-composition"
title = "Interference SDK composition"
summary = "Compose canonical interference records, solve/runtime, Tensor compute, and reversible view behavior through direct SDK re-exports."
owner = "crate/sim-nest"
audiences = ["user", "code", "framework"]
guidance = "Enable only the granular layer needed by a headless host, or use `interference` for modeled compute plus the reversible view. Keep the solve expression provider-neutral and swap its EvalFabric placement site."
claims_specimens = [
"spec-test/sim-sdk/crates/sim-conformance/tests/spec/interference",
]
[[feature]]
id = "feature/sim-sdk/expression-tree-composition"
title = "Expression-tree SDK composition"
summary = "Expose the canonical finite-tree core, bounded calculator, loadable runtime, reversible view, and authoritative server behind one opt-in SDK feature."
owner = "crate/sim-nest"
audiences = ["user", "code", "framework"]
guidance = "Enable `expr-tree` when a Rust host needs the complete stable expression-tree framework through the SDK. Use the re-exported implementation contracts directly: `expr_tree_core`, `expr_tree_calc`, `expr_tree`, `view_expr_tree`, and `expr_tree_server`. The facade deliberately adds no builder, calculation wrapper, or policy model."
claims_specimens = [
"spec-test/sim-sdk/crates/sim-conformance/tests/spec/expr_tree",
]
[[feature]]
id = "feature/sim-sdk/music-algorithm-composition"
title = "Music algorithm SDK composition"
summary = "Select frozen signal, bounded-search, exact-ratio, consonance, and counterpoint candidates through focused features or curated SDK groups."
owner = "crate/sim-nest"
audiences = ["user", "code", "framework"]
guidance = "Use `signal` for the numeric signal owner, `music-algorithms` for signal plus generic search and exact pitch ratios, and `music-inference` for the consonance and counterpoint layer. The focused `discrete-search`, `pitch-ratio`, `music-consonance`, and `music-counterpoint` features remain individually selectable. Compose through the re-exported stable contracts; use the owner crates directly for compatibility dialects or compiled planner internals."
claims_specimens = [
"spec-test/sim-sdk/crates/sim-conformance/tests/spec/music_algorithms",
]
[[feature]]
id = "feature/sim-sdk/serial-music-composition"
title = "Serial music SDK composition"
summary = "Select the frozen serial-series, row-theory, immutable-plan, adaptation, and reversible-completion candidates through one curated SDK facade."
owner = "crate/sim-nest"
audiences = ["user", "code", "framework"]
guidance = "Enable `serial-music` when a host wants the curated serial facade instead of depending on the owner crates directly. Use `serial_music::theory` for serial-series and row/matrix contracts, `serial_music::practice` for immutable plans and strict realization inputs, `serial_music::adaptation` for registry-selected modal or caller-defined realizers, `serial_music::completion` for reversible additive completion, and `serial_music::runtime` for audition and export helpers. The facade stays thin and reuses the existing SDK runtime installer by composing the already-owned shape, notation, and cookbook features."
claims_anchors = [
"anchor/runtime-lib/sim-nest/serial-music-cookbook-lib",
]
claims_specimens = [
"recipe/sim-sdk/serial-music/row-matrix-analysis",
"recipe/sim-sdk/serial-music/modal-realization",
"recipe/sim-sdk/serial-music/reversible-completion",
"recipe/sim-sdk/serial-music/index-discovery",
"spec-test/sim-sdk/crates/sim-conformance/tests/spec/serial_music",
]
[[feature]]
id = "feature/sim-sdk/facade-shapes"
title = "Facade Shape exports"
summary = "Expose public Shape exports through the SDK facade while shape crates keep the matching behavior."
owner = "crate/sim-nest"
audiences = ["code"]
guidance = "Use this row when checking which Shape entry points the SDK facade re-exports."
claims_anchors = [
"anchor/export/sim-nest/shape-and",
"anchor/export/sim-nest/shape-compare",
"anchor/export/sim-nest/shape-compare-with",
"anchor/export/sim-nest/shape-hook",
"anchor/export/sim-nest/shape-hook-accept-on-no-diagnostics",
"anchor/export/sim-nest/shape-hook-discard-on-diagnostic-prefix",
"anchor/export/sim-nest/shape-hook-score-floor",
"anchor/export/sim-nest/shape-hook-trace",
"anchor/export/sim-nest/shape-list",
"anchor/export/sim-nest/shape-list-rest",
"anchor/export/sim-nest/shape-not",
"anchor/export/sim-nest/shape-or",
"anchor/export/sim-nest/shape-repeat",
"anchor/export/sim-nest/shape-repeat-bounds",
"anchor/export/sim-nest/shape-table",
"anchor/export/sim-nest/shape-venn",
"anchor/export/sim-nest/shape-venn-exactly",
"anchor/export/sim-nest/shape-venn-intersection",
"anchor/export/sim-nest/shape-venn-only",
"anchor/export/sim-nest/shape-venn-outside",
"anchor/export/sim-nest/shape-venn-union",
"anchor/export/sim-nest/shape-without",
]
[[feature]]
id = "feature/sim-sdk/device-recipes"
title = "Device and wearable recipes"
summary = "Exercise modeled device, watch, and glasses workflows through SDK-level recipe entry points."
owner = "crate/sim-nest"
audiences = ["user", "code"]
guidance = "Use this row when following wearable and device workflows from the public facade."
claims_anchors = [
"anchor/runtime-lib/sim-nest/glasses-stack-lib",
"anchor/runtime-lib/sim-nest/watch-stack-lib",
]
claims_specimens = [
"spec-test/sim-sdk/crates/sim-conformance/tests/spec/surface_protocol",
]
supports = [
"feature/sim-sdk/facade-runtime",
]
[[feature]]
id = "feature/sim-sdk/raised-exception-composition"
title = "Raised exception SDK composition"
summary = "Expose the one non-recursive envelope, bounded class matcher, and managed relation adapter for every guest runtime."
owner = "crate/sim-nest"
audiences = ["code", "framework"]
guidance = "Enable `control` and import `sim::exceptions`. Obtain the raised class from the guest's declared class descriptor, construct Raised around the ordinary guest payload, select handlers with match_raised_class, and store cause, context, group, or suppression relations as stable ManagedException edges. Do not declare another throwable carrier or a Box/Vec exception chain."
claims_anchors = [
"anchor/rustdoc/sim-nest/exceptions",
]
claims_specimens = [
"spec-test/sim-sdk/src/lib",
]
presents = [
"feature/sim-runtime/organs",
]
[[feature]]
id = "feature/sim-sdk/conformance-contract"
title = "Conformance contract"
summary = "Run the SDK conformance contract as a checked operational recipe."
owner = "crate/sim-conformance"
audiences = ["code", "framework"]
guidance = "Use this row when verifying that a facade-facing runtime satisfies the public contract."
claims_anchors = [
"anchor/crate/sim-conformance",
]
claims_specimens = [
"spec-test/sim-sdk/crates/sim-conformance/tests/spec",
]
[[route]]
id = "route/start-from-sdk"
task = "Start from the SDK"
audiences = ["user", "code"]
steps = [
{ feature = "feature/sim-sdk/facade-runtime", why = "The facade row owns the public command and reversible view surface." },
{ feature = "feature/sim-sdk/device-recipes", why = "The device row gives wearable workflows through facade-level recipes." },
{ specimen = "recipe/sim-sdk/01-basics/boot-runtime", why = "The boot-runtime recipe checks the smallest facade path." },
]
[[feature]]
id = "feature/sim-sdk/jvm-composition"
title = "JVM SDK composition"
summary = "Expose the classfile decoder, bounded JVM profile, source authority, invocation library, bidirectional lambda adapters, recipes, and product specimens through public SDK names."
owner = "crate/sim-nest"
audiences = ["user", "code", "framework"]
guidance = "Enable standard-jvm and use sim::codec_classfile, sim::lib_lang_jvm, and sim::source_authority. Java lambdas and method references link from caller-supplied classfile bytes into loader-local managed metadata; SIM callables enter Java only with jvm.functional-adapter. The facade re-exports the canonical owners directly and adds no JVM, decoder, authority, loader, host closure, overload ranker, generated classfile, function organ, cache, or execution policy."
claims_anchors = ["anchor/rustdoc/sim-nest/lib_lang_jvm"]
claims_specimens = [
"recipe/sim-sdk/jvm/product-surface",
"recipe/sim-sdk/jvm/lambda-interop",
"spec-test/sim-sdk/tests/jvm_exports",
]
presents = ["feature/sim-runtime/jvm-loadable-profile"]
[[route]]
id = "route/compose-jvm-from-sdk"
task = "Compose the bounded JVM from the SDK"
audiences = ["user", "code", "framework"]
steps = [
{ feature = "feature/sim-sdk/jvm-composition", why = "One feature exposes the existing decoder, authority, profile, invocation, and specimen contracts without a facade-owned runtime." },
{ specimen = "recipe/sim-sdk/jvm/product-surface", why = "The public recipe imports every JVM composition contract through sim alone." },
{ specimen = "recipe/sim-sdk/jvm/lambda-interop", why = "The public recipe reaches both lambda interop directions through sim alone." },
{ specimen = "spec-test/sim-sdk/tests/jvm_exports", why = "The downstream-only test proves every JVM entry is reachable through the SDK." },
]
[[route]]
id = "route/raise-guest-value-from-sdk"
task = "Raise and match a guest value from the SDK"
audiences = ["code", "framework"]
steps = [
{ feature = "feature/sim-runtime/organs", why = "The runtime organ owns Raised, bounded class matching, and ManagedException stable relation edges." },
{ feature = "feature/sim-sdk/raised-exception-composition", why = "The SDK row exposes those canonical contracts together under sim::exceptions." },
]
[[route]]
id = "route/compose-gpu-math-from-sdk"
task = "Compose GPU math from the SDK"
audiences = ["user", "code", "framework"]
steps = [
{ feature = "feature/sim-sdk/gpu-math-composition", why = "The SDK row owns the facade feature aliases and direct re-exports." },
{ specimen = "recipe/sim-sdk/gpu-math/modeled-matrix-ode-femm", why = "The SDK recipe shows the modeled default composition and provider-neutral placement boundary." },
]
[[route]]
id = "route/compose-interference-from-sdk"
task = "Compose an interference study from the SDK"
audiences = ["user", "code", "framework"]
steps = [
{ feature = "feature/sim-sdk/interference-composition", why = "The SDK row owns granular headless features, direct canonical exports, standard installation, compute, and reversible views." },
{ specimen = "recipe/sim-sdk/interference/modeled-study", why = "The facade recipe shows solve, view, projection edit, model edit, re-solve, and provider-neutral site swapping." },
{ specimen = "spec-test/sim-sdk/crates/sim-conformance/tests/spec/interference", why = "The public-facade conformance specimen executes the complete modeled workflow and unchanged-expression site swap." },
]
[[route]]
id = "route/compose-expression-tree-from-sdk"
task = "Compose an expression tree from the SDK"
audiences = ["user", "code", "framework"]
steps = [
{ feature = "feature/sim-sdk/expression-tree-composition", why = "The SDK row owns the single opt-in feature and direct canonical re-exports without another domain abstraction." },
{ specimen = "spec-test/sim-sdk/crates/sim-conformance/tests/spec/expr_tree", why = "The public-facade specimen runs the real recipes, mixed storage, automatic and directed calculation, server-backed view, restart, and authority diminution." },
]
[[route]]
id = "route/compose-music-algorithms-from-sdk"
task = "Compose the modular music algorithm foundry from the SDK"
audiences = ["user", "code", "framework"]
steps = [
{ feature = "feature/sim-sdk/music-algorithm-composition", why = "The SDK row owns focused feature selection and curated re-exports over the frozen candidates while the music owner keeps the open data-plan registry and replaceable foundry stages." },
{ specimen = "recipe/sim-sdk/music-algorithms/foundry-plan", why = "The Lisp load recipe reproduces the bounded foundry plan through the five focused candidate crates." },
{ specimen = "spec-test/sim-sdk/crates/sim-conformance/tests/spec/music_algorithms", why = "The Rust facade specimen checks the same transform, search, ratio, consonance, counterpoint, and plan bounds." },
]
[[route]]
id = "route/compose-serial-music-from-sdk"
task = "Compose serial music from the SDK"
audiences = ["user", "code", "framework"]
steps = [
{ feature = "feature/sim-sdk/serial-music-composition", why = "The SDK row owns the single curated serial facade over the frozen candidates and the existing runtime-install surface for supporting shape and notation libs." },
{ specimen = "recipe/sim-sdk/serial-music/row-matrix-analysis", why = "The theory recipe proves the facade reaches row-family and matrix analysis through public SDK names." },
{ specimen = "recipe/sim-sdk/serial-music/modal-realization", why = "The adaptation recipe realizes one immutable plan through the registry-backed modal surface without mutating the source plan." },
{ specimen = "recipe/sim-sdk/serial-music/reversible-completion", why = "The completion recipe proves additive serial completion is reversible through the facade." },
{ specimen = "recipe/sim-sdk/serial-music/index-discovery", why = "The index recipe proves the generated feature and route ids are discoverable from the SDK repo surface." },
{ specimen = "spec-test/sim-sdk/crates/sim-conformance/tests/spec/serial_music", why = "The public-facade conformance specimen checks reversibility, recipe parity, fail-closed behavior, and the feature claim." },
]