finos/morphir-engine/conformance does not have a README file

    Comparison

    pub(all) struct Comparison {
    id : String
    status : String
    actual :
    Value
    ?
    expected :
    Value
    ?
    mismatch_path : String?
    reason : String?
    }

    Coverage

    pub(all) struct Coverage {
    provider : String
    profile : String
    required : Bool
    evidence :
    Json

    calls : Array[Comparison]
    }

    EvaluatorLane

    pub(all) struct EvaluatorLane {
    name : String
    required : Bool
    evaluator :
    Evaluator
    ?
    unsupported : (
    Plan
    ,
    Call
    ) -> String? raise
    evidence :
    Json

    }

    Hosts supply availability and supported-intersection checks before execution.

    EvaluatorLane::scheme

    Expectations

    pub(all) struct Expectations {
    version : String
    provenance : String
    cases : Array[ExpectedCase]
    }

    Expectations::decode

    fn Expectations::decode(bytes : Bytes, format? : String) -> Expectations raise

    Expectations::from_ion

    fn Expectations::from_ion(value :
    Ion
    ) -> Expectations raise

    Expectations::to_ion

    Expectations::to_json

    Expectations::validate

    fn Expectations::validate(self : Expectations) -> Unit raise

    ExpectedCase

    pub(all) struct ExpectedCase {
    call :
    Call

    expected :
    Value

    }

    Plan

    pub(all) struct Plan {
    execution :
    Plan

    expectations : Expectations
    lanes : Array[EvaluatorLane]
    }

    Report

    pub(all) struct Report {
    execution :
    Report

    coverage : Array[Coverage]
    }

    Report::cancelled

    fn Report::cancelled(self : Report) -> Bool

    Report::encode

    fn Report::encode(self : Report, format? : String) -> Bytes raise

    Report::successful

    fn Report::successful(self : Report) -> Bool

    Report::to_ion

    fn Report::to_ion(self : Report) ->
    Ion
    raise

    Rich semantic values stay native Ion. Provider identity fields use their explicitly selected JSON profile, converted without numeric coercion.

    Report::to_json

    cancelled_report

    fn cancelled_report(plan : Plan, observer? :
    Observer
    ) -> Report raise

    Preserve conformance rows and coverage when a host stops before acquiring its executable provider. No evaluator or provider receives authority.

    prepare

    fn prepare(execution :
    Plan
    , expectations : Expectations, lanes? : Array[EvaluatorLane]) -> Plan raise

    run

    fn run(plan : Plan, provider :
    Provider
    , observer? :
    Observer
    , cancelled? : () -> Bool) -> Report raise