Expand description
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.
Structs§
- Annotation
- Retained annotation value and optional source/browse provenance.
- Descriptor
Hook - Hook token used to prove descriptor receiver behavior.
- Dynamic
Admission - Host-authored authority envelope for dynamic Python source.
- Dynamic
Python - Capability-gated Python
evalandexecwith no ambient authority. - Match
Case - One ordered Python structural-match case composed from a canonical Shape.
- Python
Class - A declared Python class and its C3-linearized bases.
- Python
Eval Policy - Thin direct evaluator policy. Its profile evidence proves the codec entry and organ set.
- Python
Evidence Case - One frozen differential or regression case.
- Python
Exception - A checked Python exception with explicit chaining fields.
- Python
Exception Group - A non-empty nested Python exception group.
- Python
Fidelity - Independently reported fidelity dimensions; never a blanket compatibility claim.
- Python
Function - Directly interpreted Python function with captured lexical values.
- Python
Generator - Python send/throw/close policy backed by the shared resumable frame.
- Python
Heap - Python managed heap composed from the shared arena and optional collector.
- Python
Iterator - Checked Python iterator state over an owned sequence.
- Python
Library Manifest - Generated builtin and source-library coverage for the checked matrix.
- Python
Managed Object - Cyclic mutable Python payload held exclusively in the shared managed arena.
- Python
Module Admission - Host-authored storage and authority envelope for one Python module load.
- Python
Module Policy - Python policy wrapper around the canonical source-module lifecycle.
- Python
Object Space - Python class and instance policy using shared property mechanics.
- Python
Surface - One explicit builtin or curated source-library member.
Enums§
- Attribute
Error - Checked attribute failure.
- Class
Error - Failure to construct a consistent class hierarchy.
- Match
Outcome - Result of ordered structural matching.
- Python
Generator Error - Generator protocol or guest failure.
- Python
Generator Step - Observable Python generator transition.
- Python
Heap Policy - Explicit reclaim policy. Tracing is the standard; retention is opt-in and inspectable.
- Python
Managed Kind - Language-visible role of a managed Python allocation.
- Python
Object Value - Value stored by the checked object model.
- Python
Surface State - Whether one public Python surface is implemented by the checked profile.
- Python
Value - Values in the declared Python scalar/container core.
Constants§
- PYTHON_
EVIDENCE_ CASES - Frozen cases spanning the profile’s claimed and refused behavior.
- PYTHON_
EXTERNAL_ ORACLE - Exact external oracle used to freeze simple differential expectations. It is evidence only: never linked, spawned, imported, or used at runtime.
- PYTHON_
FIDELITY - Honest public fidelity statement for this profile.
- PYTHON_
OBJECT_ CONTROL_ GAPS - Deliberately unsupported Python object and control edges.
Statics§
- RECIPES
- Cookbook recipes for this profile, embedded at build time.
Traits§
- Context
Manager - Policy seam for Python’s synchronous context-manager protocol.
Functions§
- install_
python_ core_ profile - Install the profile. Collection is a runtime policy option, never a load prerequisite.
- match_
expr - Match an expression in declaration order using Shape captures and guards.
- python_
core_ matrix_ row - Build the Python core conformance row from source-level cases.
- python_
core_ profile - Build the Python core profile, including capabilities and inspectable gaps.
- python_
core_ source_ cases - Checked source cases entering through
codec/python. - python_
library_ manifest - Generate the public library manifest directly from the checked Python row.
- python_
profile_ symbol - Stable symbol for the thin Python core profile.
- run_
with_ context - Run one synchronous context extent, guaranteeing
exiton both paths.
Type Aliases§
- Python
Coroutine - A scheduler-free Python coroutine frame using the same checked send/throw transition contract as a generator.