LispexPreparationError

LispexSource contains a logical bundle name and exact source bytes. LispexSourceBundle supplies entryModule, entryBinding and every source dependency. The input values accepted by prepare follow collection value semantics.

Logical source names are nonempty relative names with slash separators. Reject absolute names, empty segments, dot segments, backslashes and duplicates. Match names and bindings exactly without case folding or Unicode normalization. These names are bundle keys and never host filesystem paths.

entryModule selects one supplied source. entryBinding selects the resolved callable binding in that module under the admitted source contract. The entry must accept one input argument. A fixed unary procedure and a rest procedure that accepts one argument satisfy this requirement. This Topaz selection does not add a Lispex export grammar or a last-expression convention.

prepare accepts an admitted package, the complete source snapshot and LispexPreparationLimits. Validate every required finite limit before reading source. Strictly read source under the selected source contract, resolve imports from the bundle and admitted standard library, expand and normalize, then verify the selected entry.

Preparation consumes its own work, cumulative allocation, semantic frames, source input, prepared result and diagnostic channels. It never borrows evaluation or profile work limits. A source, normalization, entry or preparation resource failure returns LispexPreparationError.Source with a source bound report.

Missing dependencies and unsupported components return Admission. Host cancellation, deadline and physical safety interruption return Interrupted. An engine invariant failure returns EngineDefect. The original first failure remains visible and no failed preparation yields a PreparedLispexRule.

A successful PreparedLispexRule seals the verified program, selected entry, dependency identities, semantic contracts and prepared artifact. Reusing it starts each evaluation with a fresh evaluation budget and fresh guest state. Preparation performs no guest computation. Required guest and module initialization belongs to each evaluation.

admitPrepared accepts transported bytes, an admitted package and finite preparation limits. Validate the container, exact integrity, interface, code and dependency identities, supported contracts and declared resource envelope before returning the same rule type. Previously prepared bytes are untrusted at a new boundary.

Transport validation verifies program, artifact and dependency identities from supplied material. Source provenance is optional for a supported source free artifact. inspectRule reports source as None unless exact source bytes and their program binding are verified under the supported format. A claimed source digest or signature alone is not verified provenance.

preparedBytes returns the immutable representation already reserved within the preparation result channel. It performs no new serialization, preparation or guest evaluation. Its size cannot escape the limit used to obtain the rule.

A warm preparation cache may change preparation work and its acceptance under the supplied preparation budget. Reuse still validates the cached contract and complete supplied inputs. It never increases an evaluation budget or changes evaluation charges or outcomes.

A source bound preparation report has no canonical evaluation outcome or evaluation receipt. Preserve source bytes and preparation contract when reproducing preparation. Exact evaluation replay additionally needs the complete evaluation request.