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, guest-runtime policy kits, language-profile support, the lisp codec surface, polyglot/profile support, and read/construct.

Characterizing a migration

Define a bounded ScenarioSpec from public inputs and semantic observation lanes. Capture the old behavior as a CharacterizationCapture, perform the refactor, and capture the same scenario again. A strict compare_characterization_captures result is either identical or contains stable paths plus the canonical value from each side. Failure locations are semantic evidence; debug output and private implementation fields are not.

Re-exports

pub use cap::standard_diff_capability;

pub use cap::standard_install_capability;

pub use cap::standard_test_capability;

pub use characterization::EVIDENCE_LANE_INVENTORY;

pub use characterization::EXPLICIT_PROJECTION_FIELDS;

pub use characterization::EvidenceLane;

pub use characterization::EvidenceLaneInventory;

pub use characterization::ExplicitProjectionField;

pub use characterization::characterization_source_fixtures;

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 guest_kit::Arity;

pub use guest_kit::CoercionPolicy;

pub use guest_kit::GuestRuntimeKit;

pub use guest_kit::TruthPolicy;

pub use guest_kit::adjust_values;

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::ProfileBackingLib;

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::MatrixCellKind;

pub use matrix::MatrixCellResult;

pub use matrix::MatrixRunReport;

pub use matrix::MatrixRunner;

pub use matrix::SourceConformanceCase;

pub use matrix::SourceConformanceCaseKind;

pub use matrix::SourceExpectation;

pub use matrix::SourceObservation;

pub use matrix::compare_expr_observation;

pub use matrix::compare_source_observation;

pub use observation::BoundedLane;

pub use observation::CanonicalFailure;

pub use observation::CanonicalObservation;

pub use observation::CanonicalOutcome;

pub use observation::FailureLocation;

pub use observation::GuestValueProjection;

pub use observation::project_guest_value;

pub use polyglot::ProfileFunction;

pub use polyglot::ProfileFunctionBinding;

pub use polyglot::SharedOrganRuntime;

pub use polyglot::profile_function_value;

pub use profile::GuestProfileEvidence;

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;

pub use scenario::CharacterizationScenario;

pub use scenario::ScenarioDriver;

pub use scenario::ScenarioInput;

pub use scenario::ScenarioLimits;

pub use scenario::ScenarioObservationLane;

pub use scenario::ScenarioSpec;

Modules

cap

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

characterization

Landed evidence inventory for behavior characterization.

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.

guest_kit

Language-neutral runtime policy kit for guest profiles.

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.

observation

Canonical, bounded projections of characterization observations.

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.

scenario

Bounded, explicitly authorized characterization scenario execution.

Structs

CaptureComparison

Strict, located result of comparing two characterization captures.

CaptureComparisonProjection

A named, two-sided declaration of capture fields that are intentionally unstable.

CaptureDifference

One exact behavioral difference between two characterization captures.

CharacterizationCapture

A capture ready for validation and content-addressed publication.

Statics

RECIPES

Cookbook recipes for this lib, embedded at build time.

Functions

characterization_capture_kind

Schema tag for the first characterization capture datum.

characterization_capture_predicate

Claim predicate relating a scenario to one immutable capture.

compare_characterization_captures

Compare two captures recursively after applying one declared two-sided projection.

publish_characterization_capture

Validate, intern, and publish an immutable capture for scenario.