Crate sim_lib_lang_scheme 

Scheme (R7RS-small) surface profile for the SIM runtime.

The kernel defines the codec, eval-policy, and Expr contracts; this crate is a loadable language profile presenting a Scheme surface syntax over the shared Expr graph, not a standalone interpreter.

Structs

LocatedSchemeLowering

A SchemeLowered value paired with its source origin.

SchemeBaseExport

A Scheme base-library export: a surface symbol and its description.

SchemeCodec

Decoder turning Scheme surface text into the shared Expr graph.

SchemeCodecLib

Loadable Lib that registers SchemeCodec as a runtime codec.

SchemeFormSpec

Specification of one R7RS-small surface form: its symbol, doc, match shape, and support status.

Enums

SchemeFormStatus

Whether a Scheme surface form is supported by this profile.

SchemeLowered

Result of lowering a Scheme Expr to a runtime value.

Functions

decode_scheme_tree

Decodes Scheme surface text into a located Expr tree under codec budgets.

diagnose_unsupported_forms

Collects diagnostics for any deferred R7RS-small forms reachable in expr.

install_r7rs_small_profile

Installs the R7RS-small profile into a ProfileRegistry, publishing its base-export card claims.

lower_scheme_expr

Lowers a single Scheme Expr to a SchemeLowered term or datum.

lower_scheme_tree

Lowers a located Scheme tree, preserving its origin.

parse_scheme_source

Parses one top-level Scheme form from source text into a located Expr tree.

publish_scheme_base_claims

Publishes idempotent base-export card claims for the supported forms.

publish_scheme_base_claims_for_lib

Publishes base-export card claims as part of a loaded lib receipt.

r7rs_small_base_exports

Returns the supported R7RS-small forms as base-library exports.

r7rs_small_expr_cases

R7RS-small expression round-trip cases for the Scheme row.

r7rs_small_form_specs

Returns the R7RS-small surface form specifications and their support status.

r7rs_small_matrix_row

Builds the Scheme R7RS-small matrix row.

r7rs_small_profile

Builds the R7RS-small LanguageProfile: reader, lowering, eval policy, organ uses, numeric tower, conformance test, fidelity badge, and the unsupported-form set.

r7rs_small_profile_symbol

Stable identity symbol for the R7RS-small language profile.

r7rs_small_stub_cases

Minimal R7RS-small source cases for the matrix.

run_r7rs_small_conformance_case

Runs one Scheme source conformance case through the R7RS-small restricted runner.

run_r7rs_small_restricted

Decodes and lowers Scheme source under untrusted, restricted capabilities.

run_scheme_matrix_row

Runs the Scheme matrix row and publishes one claim-backed evidence record for each source case.

scheme_base_export_kind_symbol

Card-kind symbol tagging published Scheme base-library exports.

scheme_conformance_test_symbol

Symbol naming the profile’s conformance test.

scheme_language_card

Builds the Scheme profile Card with browseable conformance fields.

scheme_language_card_with_generated_coverage

Builds the Scheme profile Card and appends generated coverage fields.

scheme_lowering_symbol

Symbol naming the Scheme surface-to-Expr lowering pass.

scheme_reader_symbol

Codec symbol naming the Scheme surface reader.