A library to parse InfraModel geotechnical ground investigation data format used in Finland
Paramodel — parameter-modelling, trial enumeration, plan compilation, and plan execution. This crate re-exports every paramodel sub-crate as a module (`paramodel::elements`, `paramodel::plan`, `paramodel::trials`, `paramodel::compiler`, `paramodel::executor`).
Paramodel compiler: turns a TestPlan into an ExecutionPlan via the four-stage reducto-derived pipeline. v0.1 scope covers the trivial case; advanced reductions are follow-up slices.
Paramodel central algebra: parameters, domains, constraints, attributes, values, trials, elements, and the ElementRuntime trait.
Paramodel executor layer: Executor, Orchestrator, Scheduler, ResourceManager, ArtifactCollector, ExecutionStateManager, JournalWriter, BarrierHandle. v0.1 ships trait surfaces plus simple serial reference impls.
In-memory reference implementations of every paramodel runtime and persistence trait. Used by paramodel-tck as default fixtures and by adopters as compact standalone backing for tests and examples.
Paramodel persistence layer (SRD-0012): trait surfaces for ArtifactStore, CheckpointStore, ExecutionRepository, JournalStore, MetadataStore, ResultStore. Defines shapes only — backends ship in separate crates (e.g. paramodel-store-sqlite).
Paramodel test-plan layer: TestPlan, Axis, ExecutionPolicies, OptimizationStrategy, TrialOrdering, plan-level bindings.
Paramodel persistence — SQLite backend. Reserves the crate namespace; full schema + trait implementations land in follow-up slices.
Technology Compatibility Kit (TCK) for paramodel. Exposes conformance tests + the ImplementationProvider family; downstream crates call into the TCK to verify their own paramodel-trait implementations.
Paramodel trial-set and trial-result layer: TrialSet, SamplingStrategy, TrialStatus, TrialResult, Metrics, ArtifactRef, TrialProvenance.