Crate sim_lib_standard_core 

Standard distribution core for the SIM runtime.

The kernel defines the capability, claim, codec, and ExportRecord contracts; this crate supplies the standard-distribution behavior: capabilities, claims, diff, fidelity, the conformance harness, install, language-profile support, the lisp codec surface, polyglot/profile support, and read/construct.

Re-exports

pub use cap::standard_diff_capability;

pub use cap::standard_install_capability;

pub use cap::standard_test_capability;

pub use claims::publish_badge_claims;

pub use claims::publish_badge_claims_for_lib;

pub use claims::publish_profile_claims;

pub use claims::publish_profile_claims_for_lib;

pub use claims::standard_capability_predicate;

pub use claims::standard_eval_policy_predicate;

pub use claims::standard_lowering_predicate;

pub use claims::standard_numeric_predicate;

pub use claims::standard_reader_predicate;

pub use claims::standard_unsupported_predicate;

pub use diff::ProfileDiff;

pub use diff::ProfileDiffStatus;

pub use diff::ProfileDifference;

pub use diff::profile_diff_symbol;

pub use diff::standard_diff_op_key;

pub use diff::standard_diff_stub;

pub use fidelity::FidelityBadge;

pub use fidelity::fidelity_badge_class_symbol;

pub use harness::ConformanceHarness;

pub use harness::ConformanceOutcome;

pub use harness::ConformanceStatus;

pub use harness::ConformanceTestCase;

pub use harness::ConformanceTestReport;

pub use harness::OrganTestReport;

pub use harness::StandardTestReport;

pub use harness::standard_reported_fidelity_level_predicate;

pub use harness::standard_reported_fidelity_predicate;

pub use harness::standard_test_case_predicate;

pub use harness::standard_test_op_key;

pub use harness::standard_test_organ_predicate;

pub use harness::standard_test_profile_predicate;

pub use harness::standard_test_result_predicate;

pub use harness::standard_test_run_kind;

pub use harness::standard_test_status_predicate;

pub use harness::standard_test_stub;

pub use install::StandardInstallReport;

pub use install::install_profile_stub;

pub use install::standard_install_op_key;

pub use lang_profile::FidelityBadgeSpec;

pub use lang_profile::ProfileOrganPublisher;

pub use lang_profile::fidelity_badge;

pub use lang_profile::install_language_profile;

pub use lang_profile::language_profile_lib_symbol;

pub use lisp::lisp_stub_symbols;

pub use lisp::standard_fidelity_symbol;

pub use lisp::standard_profile_symbol;

pub use matrix::ConformanceMatrix;

pub use matrix::ExprRoundTripCase;

pub use matrix::ExprRoundTripObservation;

pub use matrix::LanguageRow;

pub use matrix::LanguageRowBuilder;

pub use matrix::MatrixCellResult;

pub use matrix::MatrixRunReport;

pub use matrix::MatrixRunner;

pub use matrix::SourceConformanceCase;

pub use matrix::SourceExpectation;

pub use matrix::SourceObservation;

pub use matrix::compare_source_observation;

pub use polyglot::ProfileFunction;

pub use polyglot::ProfileFunctionBinding;

pub use polyglot::SharedOrganRuntime;

pub use polyglot::profile_function_value;

pub use profile::LanguageProfile;

pub use profile::OrganUse;

pub use profile::language_profile_class_symbol;

pub use profile::sim_expression_profile;

pub use profile::sim_expression_profile_symbol;

pub use profile::standard_binding_organ_symbol;

pub use profile::standard_control_organ_symbol;

pub use profile::standard_pattern_organ_symbol;

pub use profile::standard_sequence_organ_symbol;

pub use read_construct::FidelityBadgeValue;

pub use read_construct::LanguageProfileValue;

pub use read_construct::install_standard_core_classes;

pub use read_construct::standard_core_classes_lib_symbol;

pub use registry::ProfileRegistry;

Modules

cap

Capability names for the standard distribution (install, diff, test).

claims

Standard-distribution claim predicates and profile/badge claim publishing.

diff

Profile diffing: structural comparison of two language profiles.

fidelity

Fidelity badges recording how faithfully a profile realizes an organ.

harness

Conformance harness running profile test cases and reporting fidelity.

install

Installing language profiles into a profile registry and publishing claims.

lang_profile

Shared language-profile helpers.

lisp

Symbols exposed by the standard distribution on the lisp codec surface.

matrix

Shared language conformance matrix data structures.

polyglot

Polyglot profile functions callable across language profiles.

profile

The LanguageProfile model: organ uses, badges, and profile metadata.

read_construct

Read/construct support exposing profiles and badges as runtime objects.

registry

In-memory registry of installed language profiles.