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.
- Match
Case - One ordered Python structural-match case composed from a canonical Shape.
- Python
Body Policy - Python-owned body and diagnostic metadata.
- Python
Call Error - A Python call-binding failure with Python-owned diagnostic vocabulary.
- 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 Data - Non-recursive Python data stored in a shared managed exception node.
- Python
Exceptions - Python exception heap, class policy, chaining, grouping, and handler matching.
- Python
Fidelity - Independently reported fidelity dimensions; never a blanket compatibility claim.
- Python
Function Flags - Python execution flags retained by the language body policy.
- Python
Generator - Python send/throw/close policy backed by the shared resumable frame.
- Python
Iterator - Checked Python iterator state over an owned sequence.
- Python
Library Manifest - Generated builtin and source-library coverage for the checked matrix.
- Python
Object Space - Python class and instance policy using shared property mechanics.
- Python
Signature - Python-only signature rules that must not leak into neutral function plans.
- 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
Exception Error - Failure to construct or relate Python exception objects.
- Python
Exception Relation - Python-owned meaning of one managed exception edge.
- Python
Generator Error - Generator protocol or guest failure.
- Python
Generator Step - Observable Python generator transition.
- Python
Managed Kind - Open Python role label carried by the shared managed node.
- Python
Managed Mutation Error - A checked Python managed-graph mutation failure.
- 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.
- Python
Heap Ext - Python-named graph operations over the shared heap and node.
Functions§
- dynamic_
python_ policy - Build one Python dynamic-source entry over the shared source policy.
- dynamic_
python_ policy_ with_ codec - Build one Python dynamic-source entry for an installed compatible codec.
- 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_
module_ policy - Build Python’s module entry over the shared source-module policy.
- python_
module_ policy_ with_ codec - Build Python’s module entry for an installed compatible source codec.
- 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.
- Python
Exception Ref - Stable handle for an exception object owned by
PythonExceptions. - Python
Function - A Python function whose identity, plan, captures, callable surface, and reachability are supplied exclusively by the shared function and managed organs.
- Python
Heap - Compatibility name for the shared managed heap instantiated for Python.
- Python
Heap Policy - Compatibility name for the shared heap policy.
- Python
Managed Object - Compatibility name for Python’s role-bearing shared managed node.