sim-lib-lang-python 0.2.0

Thin Python core profile for the SIM expression runtime.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68

#![forbid(unsafe_code)]
#![deny(missing_docs)]
//! Thin, direct Python core profile over lowered `codec/python` expressions.
//!
//! This crate intentionally has no instruction format, compiler, or foreign
//! runtime. The codec owns syntax; this profile evaluates its stable token
//! lowering and composes the shared binding, control, mutation, sequence,
//! dispatch, number, arena, and tracing-collector contracts.

// conformance: the crate test suite checks the authorized Python library core.

mod fidelity;
mod function;
mod library_core;
mod managed;
mod matrix_row;
mod objects;
mod profile;
mod resumable;
mod runtime;

#[cfg(test)]
mod tests;

pub use fidelity::{
    PYTHON_EVIDENCE_CASES, PYTHON_EXTERNAL_ORACLE, PYTHON_FIDELITY, PythonEvidenceCase,
    PythonFidelity,
};
pub use function::{
    PythonBodyPolicy, PythonCallError, PythonFunction, PythonFunctionFlags, PythonSignature,
};
pub use library_core::{
    MatchCase, MatchOutcome, PythonLibraryManifest, PythonSurface, PythonSurfaceState,
    dynamic_python_policy, dynamic_python_policy_with_codec, match_expr, python_library_manifest,
    python_module_policy, python_module_policy_with_codec,
};
pub use managed::{
    PythonHeap, PythonHeapExt, PythonHeapPolicy, PythonManagedKind, PythonManagedMutationError,
    PythonManagedObject,
};
pub use matrix_row::{python_core_matrix_row, python_core_source_cases};
pub use objects::{
    AttributeError, ClassError, DescriptorHook, PythonClass, PythonObjectSpace, PythonObjectValue,
};
pub use profile::{install_python_core_profile, python_core_profile, python_profile_symbol};
pub use resumable::{
    ContextManager, PythonExceptionData, PythonExceptionError, PythonExceptionRef,
    PythonExceptionRelation, PythonExceptions, PythonGenerator, PythonGeneratorError,
    PythonGeneratorStep, PythonIterator, run_with_context,
};
pub use runtime::{Annotation, PythonEvalPolicy, PythonValue};

/// Deliberately unsupported Python object and control edges.
pub const PYTHON_OBJECT_CONTROL_GAPS: &[&str] = &[
    "custom metaclass construction and __prepare__",
    "dynamic descriptor protocol mutation after class creation",
    "weak-reference callbacks and proxy objects",
    "language-visible __del__ finalizers and resurrection",
    "async event-loop scheduling and async-generator hooks",
];

/// A scheduler-free Python coroutine frame using the same checked send/throw
/// transition contract as a generator.
pub type PythonCoroutine<T, D> = PythonGenerator<T, D>;

/// Cookbook recipes for this profile, embedded at build time.
pub static RECIPES: sim_cookbook::EmbeddedDir =
    include!(concat!(env!("OUT_DIR"), "/cookbook_recipes.rs"));