Crate parallax_migrate 

Cross-runtime migration engine and semantic-loss analysis.

Structs

ContractAnalysis

Result of analyzing a MigrationContract.

ContractFinding

One finding from contract analysis.

LossFinding

A single semantic-loss finding.

MigrationContract

Formal contract describing required surviving semantics for a migration.

MigrationReport

Full migration report.

MigrationTimings

Measured timings for a migration (microseconds; never fabricated).

Enums

RequiredSemantic

Semantics that must survive a continuation migration.

Functions

analyze_contract

Analyze a migration contract against declared target capabilities.

analyze_document

Analyze an entire document.

analyze_ues_contract

Validate a UES against a continuation contract (format + source runtime).

analyze_value

Analyze a value recursively.

convert_document

Convert a document for a target runtime.

convert_value

Convert a single value.

migrate_document

Perform an offline PIR migration analysis + conversion.

require_contract

Analyze contract and reject with a structured error when unsatisfied.