sim_lib_standard_core/
lib.rs

1#![cfg_attr(not(feature = "native-export"), forbid(unsafe_code))]
2#![cfg_attr(feature = "native-export", deny(unsafe_code))]
3#![deny(missing_docs)]
4//! Standard distribution core for the SIM runtime.
5//!
6//! The kernel defines the capability, claim, codec, and `ExportRecord`
7//! contracts; this crate supplies the standard-distribution behavior:
8//! capabilities, claims, diff, fidelity, the conformance harness, install,
9//! language-profile support, the lisp codec surface, polyglot/profile support,
10//! and read/construct.
11
12pub mod cap;
13pub mod claims;
14pub mod diff;
15pub mod fidelity;
16pub mod harness;
17pub mod install;
18pub mod lang_profile;
19pub mod lisp;
20pub mod matrix;
21mod matrix_claims;
22#[cfg(feature = "native-export")]
23mod native;
24pub mod polyglot;
25pub mod profile;
26pub mod read_construct;
27pub mod registry;
28
29pub use cap::{standard_diff_capability, standard_install_capability, standard_test_capability};
30pub use claims::{
31    publish_badge_claims, publish_badge_claims_for_lib, publish_profile_claims,
32    publish_profile_claims_for_lib, standard_capability_predicate, standard_eval_policy_predicate,
33    standard_lowering_predicate, standard_numeric_predicate, standard_reader_predicate,
34    standard_unsupported_predicate,
35};
36pub use diff::{
37    ProfileDiff, ProfileDiffStatus, ProfileDifference, profile_diff_symbol, standard_diff_op_key,
38    standard_diff_stub,
39};
40pub use fidelity::{FidelityBadge, fidelity_badge_class_symbol};
41pub use harness::{
42    ConformanceHarness, ConformanceOutcome, ConformanceStatus, ConformanceTestCase,
43    ConformanceTestReport, OrganTestReport, StandardTestReport,
44    standard_reported_fidelity_level_predicate, standard_reported_fidelity_predicate,
45    standard_test_case_predicate, standard_test_op_key, standard_test_organ_predicate,
46    standard_test_profile_predicate, standard_test_result_predicate, standard_test_run_kind,
47    standard_test_status_predicate, standard_test_stub,
48};
49pub use install::{StandardInstallReport, install_profile_stub, standard_install_op_key};
50pub use lang_profile::{
51    FidelityBadgeSpec, ProfileOrganPublisher, fidelity_badge, install_language_profile,
52    language_profile_lib_symbol,
53};
54pub use lisp::{lisp_stub_symbols, standard_fidelity_symbol, standard_profile_symbol};
55pub use matrix::{
56    ConformanceMatrix, ExprRoundTripCase, ExprRoundTripObservation, LanguageRow,
57    LanguageRowBuilder, MatrixCellResult, MatrixRunReport, MatrixRunner, SourceConformanceCase,
58    SourceExpectation, SourceObservation, compare_source_observation,
59};
60pub use polyglot::{
61    ProfileFunction, ProfileFunctionBinding, SharedOrganRuntime, profile_function_value,
62};
63pub use profile::{
64    LanguageProfile, OrganUse, language_profile_class_symbol, sim_expression_profile,
65    sim_expression_profile_symbol, standard_binding_organ_symbol, standard_control_organ_symbol,
66    standard_pattern_organ_symbol, standard_sequence_organ_symbol,
67};
68pub use read_construct::{
69    FidelityBadgeValue, LanguageProfileValue, install_standard_core_classes,
70    standard_core_classes_lib_symbol,
71};
72pub use registry::ProfileRegistry;
73
74#[cfg(test)]
75mod harness_tests;
76#[cfg(test)]
77mod matrix_tests;
78#[cfg(test)]
79mod tests;
sim_lib_standard_core/lib.rs

sim_lib_standard_core/
lib.rs
