{ "$defs": { "AdapterIdentity": { "additionalProperties": false, "properties": { "name": { "title": "Name", "type": "string" }, "version": { "title": "Version", "type": "string" } }, "required": [ "name", "version" ], "title": "AdapterIdentity", "type": "object" }, "ArtifactRef": { "additionalProperties": false, "description": "A file the model needs (an FMU, a NetLogo model), stored by its digest.", "properties": { "digest": { "pattern": "^sha256:[0-9a-f]{64}$", "title": "Digest", "type": "string" }, "filename": { "description": "Name to give the file when an engine needs it", "minLength": 1, "title": "Filename", "type": "string" } }, "required": [ "digest", "filename" ], "title": "ArtifactRef", "type": "object" }, "Assurance": { "additionalProperties": false, "properties": { "level": { "const": "unsigned_record", "title": "Level", "type": "string" }, "statement": { "title": "Statement", "type": "string" } }, "required": [ "level", "statement" ], "title": "Assurance", "type": "object" }, "BuiltFrom": { "additionalProperties": false, "description": "The Modelica source an FMU was compiled from, by `sala compile`.", "properties": { "compiler": { "description": "The compiler's version, and the standard library's", "minLength": 1, "title": "Compiler", "type": "string" }, "fmu_type": { "default": "cs", "enum": [ "cs", "me" ], "title": "Fmu Type", "type": "string" }, "model": { "description": "The Modelica class compiled", "minLength": 1, "title": "Model", "type": "string" }, "source": { "$ref": "#/$defs/ArtifactRef", "description": "The .mo file, or the package directory as a zip" } }, "required": [ "source", "model", "compiler" ], "title": "BuiltFrom", "type": "object" }, "BundleDigests": { "additionalProperties": false, "properties": { "model": { "pattern": "^sha256:[0-9a-f]{64}$", "title": "Model", "type": "string" }, "result": { "anyOf": [ { "pattern": "^sha256:[0-9a-f]{64}$", "type": "string" }, { "type": "null" } ], "default": null, "title": "Result" }, "run": { "pattern": "^sha256:[0-9a-f]{64}$", "title": "Run", "type": "string" }, "scenario": { "pattern": "^sha256:[0-9a-f]{64}$", "title": "Scenario", "type": "string" } }, "required": [ "model", "scenario", "run" ], "title": "BundleDigests", "type": "object" }, "ComponentOverride": { "additionalProperties": false, "properties": { "capacity": { "anyOf": [ { "minimum": 1, "type": "integer" }, { "type": "null" } ], "default": null, "title": "Capacity" }, "interarrival": { "anyOf": [ { "discriminator": { "mapping": { "constant": "#/$defs/Constant", "exponential": "#/$defs/Exponential", "normal": "#/$defs/Normal", "uniform": "#/$defs/Uniform" }, "propertyName": "kind" }, "oneOf": [ { "$ref": "#/$defs/Constant" }, { "$ref": "#/$defs/Exponential" }, { "$ref": "#/$defs/Normal" }, { "$ref": "#/$defs/Uniform" } ] }, { "type": "null" } ], "default": null, "title": "Interarrival" }, "processing": { "anyOf": [ { "discriminator": { "mapping": { "constant": "#/$defs/Constant", "exponential": "#/$defs/Exponential", "normal": "#/$defs/Normal", "uniform": "#/$defs/Uniform" }, "propertyName": "kind" }, "oneOf": [ { "$ref": "#/$defs/Constant" }, { "$ref": "#/$defs/Exponential" }, { "$ref": "#/$defs/Normal" }, { "$ref": "#/$defs/Uniform" } ] }, { "type": "null" } ], "default": null, "title": "Processing" } }, "title": "ComponentOverride", "type": "object" }, "Connection": { "additionalProperties": false, "properties": { "from": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "From", "type": "string" }, "to": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "To", "type": "string" } }, "required": [ "from", "to" ], "title": "Connection", "type": "object" }, "Constant": { "additionalProperties": false, "properties": { "kind": { "const": "constant", "title": "Kind", "type": "string" }, "value": { "minimum": 0, "title": "Value", "type": "number" } }, "required": [ "kind", "value" ], "title": "Constant", "type": "object" }, "Counterpart": { "additionalProperties": false, "description": "Where the qualitative model meets a numerical one: which output measures\nwhich quantity or mode, and the numbers behind the landmarks.", "properties": { "directions": { "default": true, "description": "Also compare whether each quantity rises, holds or falls", "title": "Directions", "type": "boolean" }, "model": { "pattern": "^sha256:[0-9a-f]{64}$", "title": "Model", "type": "string" }, "modes": { "default": {}, "patternProperties": { "^[A-Za-z][A-Za-z0-9_-]{0,63}$": { "$ref": "#/$defs/CounterpartMode" } }, "title": "Modes", "type": "object" }, "other_models": { "default": [], "description": "Other models whose runs carry the same outputs, e.g. the same plant driven by its controller's code", "items": { "pattern": "^sha256:[0-9a-f]{64}$", "type": "string" }, "title": "Other Models", "type": "array" }, "quantities": { "minProperties": 1, "patternProperties": { "^[A-Za-z][A-Za-z0-9_-]{0,63}$": { "$ref": "#/$defs/CounterpartQuantity" } }, "title": "Quantities", "type": "object" } }, "required": [ "model", "quantities" ], "title": "Counterpart", "type": "object" }, "CounterpartMode": { "additionalProperties": false, "properties": { "output": { "minLength": 1, "title": "Output", "type": "string" }, "values": { "description": "Mode value for each output value", "patternProperties": { "^[A-Za-z][A-Za-z0-9_-]{0,63}$": { "type": "number" } }, "title": "Values", "type": "object" } }, "required": [ "output", "values" ], "title": "CounterpartMode", "type": "object" }, "CounterpartQuantity": { "additionalProperties": false, "properties": { "landmarks": { "patternProperties": { "^[A-Za-z][A-Za-z0-9_-]{0,63}$": { "type": "number" } }, "title": "Landmarks", "type": "object" }, "output": { "description": "Series of the counterpart's result", "minLength": 1, "title": "Output", "type": "string" }, "smoothing": { "anyOf": [ { "exclusiveMinimum": 0, "type": "number" }, { "type": "null" } ], "default": null, "description": "Compare the moving average over this window (in the counterpart's time unit) rather than each sample: a stochastic run fluctuates around the trend a qualitative model states", "title": "Smoothing" }, "tolerance": { "default": 0.0, "description": "A value this close to a landmark is at it", "minimum": 0, "title": "Tolerance", "type": "number" } }, "required": [ "output", "landmarks" ], "title": "CounterpartQuantity", "type": "object" }, "CoupledComponent": { "additionalProperties": false, "properties": { "id": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Id", "type": "string" }, "model": { "description": "An FMU or target model, stored first", "pattern": "^sha256:[0-9a-f]{64}$", "title": "Model", "type": "string" } }, "required": [ "id", "model" ], "title": "CoupledComponent", "type": "object" }, "CoupledModel": { "additionalProperties": false, "description": "Two or more FMU models run together: one's outputs drive another's inputs,\nexchanged at a fixed communication step.", "properties": { "assumptions": { "default": [], "items": { "type": "string" }, "title": "Assumptions", "type": "array" }, "components": { "items": { "$ref": "#/$defs/CoupledComponent" }, "minItems": 2, "title": "Components", "type": "array" }, "connections": { "items": { "$ref": "#/$defs/Coupling" }, "minItems": 1, "title": "Connections", "type": "array" }, "description": { "default": "", "title": "Description", "type": "string" }, "kind": { "const": "coupled", "title": "Kind", "type": "string" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "outputs": { "items": { "$ref": "#/$defs/CoupledOutput" }, "minItems": 1, "title": "Outputs", "type": "array" }, "schema": { "const": "mokili.model/1", "title": "Schema", "type": "string" }, "sources": { "default": [], "description": "The code this model stands for, if it stands for software", "items": { "$ref": "#/$defs/SourceRef" }, "title": "Sources", "type": "array" }, "step": { "description": "Communication step: how often values cross the connections", "exclusiveMinimum": 0, "title": "Step", "type": "number" }, "time_unit": { "default": "s", "minLength": 1, "title": "Time Unit", "type": "string" } }, "required": [ "schema", "kind", "name", "components", "connections", "step", "outputs" ], "title": "CoupledModel", "type": "object" }, "CoupledOutput": { "additionalProperties": false, "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "name": { "description": "The series name in the result", "minLength": 1, "title": "Name", "type": "string" }, "source": { "description": "component.output", "pattern": "^[A-Za-z][A-Za-z0-9_-]*\\.\\S+$", "title": "Source", "type": "string" } }, "required": [ "name", "source" ], "title": "CoupledOutput", "type": "object" }, "Coupling": { "additionalProperties": false, "properties": { "from": { "description": "component.output", "pattern": "^[A-Za-z][A-Za-z0-9_-]*\\.\\S+$", "title": "From", "type": "string" }, "to": { "description": "component.input", "pattern": "^[A-Za-z][A-Za-z0-9_-]*\\.\\S+$", "title": "To", "type": "string" } }, "required": [ "from", "to" ], "title": "Coupling", "type": "object" }, "Dominance": { "additionalProperties": false, "description": "An assumption: when both are active, `stronger` outweighs `weaker`.", "properties": { "assumption": { "description": "Why it holds; a reviewer must be able to check it", "minLength": 1, "title": "Assumption", "type": "string" }, "stronger": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Stronger", "type": "string" }, "weaker": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Weaker", "type": "string" }, "when": { "default": [], "items": { "anyOf": [ { "$ref": "#/$defs/QuantityCondition" }, { "$ref": "#/$defs/ModeCondition" } ] }, "title": "When", "type": "array" } }, "required": [ "stronger", "weaker", "assumption" ], "title": "Dominance", "type": "object" }, "EngineModel": { "additionalProperties": false, "description": "Any engine that speaks mokili-step/2: a simulator, a script, a solver, or\ncontrol code, in its own process. It describes itself when it starts, and\nthe run checks that description against this record.", "properties": { "assumptions": { "default": [], "items": { "type": "string" }, "title": "Assumptions", "type": "array" }, "description": { "default": "", "title": "Description", "type": "string" }, "determinism": { "description": "deterministic: same inputs, same outputs; seeded: the same for the same seed; external: depends on something Mokili cannot rerun", "enum": [ "deterministic", "seeded", "external" ], "title": "Determinism", "type": "string" }, "inputs": { "default": [], "items": { "$ref": "#/$defs/Quantity" }, "title": "Inputs", "type": "array" }, "kind": { "const": "engine", "title": "Kind", "type": "string" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "outputs": { "items": { "$ref": "#/$defs/Quantity" }, "minItems": 1, "title": "Outputs", "type": "array" }, "parameters": { "default": [], "items": { "$ref": "#/$defs/Quantity" }, "title": "Parameters", "type": "array" }, "program": { "anyOf": [ { "$ref": "#/$defs/ArtifactRef" }, { "type": "null" } ], "default": null, "description": "The program: a Python script or an executable" }, "protocol": { "const": "mokili-step/2", "default": "mokili-step/2", "title": "Protocol", "type": "string" }, "runtime": { "$ref": "#/$defs/EngineRuntime" }, "schema": { "const": "mokili.model/1", "title": "Schema", "type": "string" }, "sources": { "default": [], "description": "The code this model stands for, if it stands for software", "items": { "$ref": "#/$defs/SourceRef" }, "title": "Sources", "type": "array" }, "time_unit": { "default": "s", "minLength": 1, "title": "Time Unit", "type": "string" } }, "required": [ "schema", "kind", "name", "runtime", "determinism", "outputs" ], "title": "EngineModel", "type": "object" }, "EngineRuntime": { "additionalProperties": false, "description": "Where an engine's program runs. `python` and `native`: on this machine,\nas a process; `emulated-processor`: under QEMU; `bench`: through the bridge\nthe operator configured for that name (never a command in the record).", "properties": { "architecture": { "default": "", "description": "Emulated processors: e.g. aarch64", "title": "Architecture", "type": "string" }, "bench": { "anyOf": [ { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "type": "string" }, { "type": "null" } ], "default": null, "title": "Bench" }, "kind": { "enum": [ "python", "native", "emulated-processor", "bench" ], "title": "Kind", "type": "string" } }, "required": [ "kind" ], "title": "EngineRuntime", "type": "object" }, "EquationBalance": { "additionalProperties": false, "description": "A conservation law the run keeps: the stock changes at the rate, nothing else.", "properties": { "name": { "description": "What is conserved, e.g. water in the tank", "minLength": 1, "title": "Name", "type": "string" }, "rate": { "description": "What makes it change, per second, e.g. inflow - outflow", "minLength": 1, "title": "Rate", "type": "string" }, "stock": { "description": "An expression of the model's quantities, e.g. area * level", "minLength": 1, "title": "Stock", "type": "string" }, "tolerance": { "anyOf": [ { "exclusiveMinimum": 0, "type": "number" }, { "type": "null" } ], "default": null, "description": "Drift allowed, in the stock's unit; by default what the tolerances allow", "title": "Tolerance" } }, "required": [ "name", "stock", "rate" ], "title": "EquationBalance", "type": "object" }, "EquationEvent": { "additionalProperties": false, "description": "When a condition becomes true, set states or discrete quantities.", "properties": { "do": { "description": "Actions, e.g. pump := 0; each reads the values before the event", "items": { "type": "string" }, "minItems": 1, "title": "Do", "type": "array" }, "initially": { "default": false, "description": "Also at the start, when the condition already holds there: the event keeps a rule true (a hysteresis' state) rather than marking a change", "title": "Initially", "type": "boolean" }, "when": { "description": "A comparison, e.g. h >= 1.5", "minLength": 1, "title": "When", "type": "string" } }, "required": [ "when", "do" ], "title": "EquationEvent", "type": "object" }, "EquationQuantity": { "additionalProperties": false, "description": "A quantity of an equations model: what it is, its unit, its value.", "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "fixed": { "default": false, "description": "A state's or algebraic quantity's value is required at the start, not a first guess: the states that are not fixed are moved to meet it, and the constraints that tie them together", "title": "Fixed", "type": "boolean" }, "free": { "default": false, "description": "A parameter computed at the start by the initial equations that read it, its value the first guess: a waveform's time constants found from its rise and decay times", "title": "Free", "type": "boolean" }, "name": { "maxLength": 128, "pattern": "^[A-Za-z_][A-Za-z0-9_]*(\\[[0-9]+(,[0-9]+)*\\])?(\\.[A-Za-z_][A-Za-z0-9_]*(\\[[0-9]+(,[0-9]+)*\\])?)*$", "title": "Name", "type": "string" }, "prefer": { "default": false, "description": "A state or algebraic quantity an event's reinit( ) leaves alone, the other states moving instead: Modelica's stateSelect prefer or always \u2014 a spring's stretch rate, when the mass it holds is stopped", "title": "Prefer", "type": "boolean" }, "role": { "description": "state: changes through der( ); algebraic: given by an equation; parameter: fixed for a run; input: set from outside (a scenario, or another model of a coupled model); discrete: changes only in events", "enum": [ "state", "algebraic", "parameter", "input", "discrete" ], "title": "Role", "type": "string" }, "unit": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "description": "Checked with its scale: L/min and m3/s are never added. Left out, the quantity is not checked", "title": "Unit" }, "value": { "anyOf": [ { "type": "number" }, { "type": "null" } ], "default": null, "description": "A state's or discrete quantity's initial value; a parameter's or input's value", "title": "Value" } }, "required": [ "name", "role" ], "title": "EquationQuantity", "type": "object" }, "EquationsModel": { "additionalProperties": false, "description": "A lumped system written as equations, run by Mokili's own engine.", "properties": { "assumptions": { "default": [], "items": { "type": "string" }, "title": "Assumptions", "type": "array" }, "balances": { "default": [], "description": "Checked at every step: a run that creates or loses a stock stops with balance_broken", "items": { "$ref": "#/$defs/EquationBalance" }, "title": "Balances", "type": "array" }, "description": { "default": "", "title": "Description", "type": "string" }, "discrete_equations": { "default": [], "description": "`x := expression` for a discrete quantity, computed at the start and at every event until nothing changes, pre(y) being y as the event found it: a friction's mode, a hysteresis", "items": { "type": "string" }, "title": "Discrete Equations", "type": "array" }, "equations": { "description": "der(x) = ... for each state, y = ... for each algebraic quantity", "items": { "type": "string" }, "minItems": 1, "title": "Equations", "type": "array" }, "events": { "default": [], "items": { "$ref": "#/$defs/EquationEvent" }, "title": "Events", "type": "array" }, "initial_equations": { "default": [], "description": "Equations that hold at the start only \u2014 `v = v_ref`, `der(y) = 0` \u2014 met by moving the states that are not fixed", "items": { "type": "string" }, "title": "Initial Equations", "type": "array" }, "kind": { "const": "equations", "title": "Kind", "type": "string" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "numerics": { "anyOf": [ { "$ref": "#/$defs/Numerics" }, { "type": "null" } ], "default": null }, "quantities": { "items": { "$ref": "#/$defs/EquationQuantity" }, "minItems": 1, "title": "Quantities", "type": "array" }, "schema": { "const": "mokili.model/1", "title": "Schema", "type": "string" }, "sources": { "default": [], "description": "The code this model stands for, if it stands for software", "items": { "$ref": "#/$defs/SourceRef" }, "title": "Sources", "type": "array" }, "translated_from": { "anyOf": [ { "$ref": "#/$defs/TranslatedFrom" }, { "type": "null" } ], "default": null } }, "required": [ "schema", "kind", "name", "quantities", "equations" ], "title": "EquationsModel", "type": "object" }, "Expectation": { "additionalProperties": false, "description": "A conclusion the analysis must confirm: a hazard is, or is not, reachable.", "properties": { "hazard": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Hazard", "type": "string" }, "reachable": { "title": "Reachable", "type": "boolean" } }, "required": [ "hazard", "reachable" ], "title": "Expectation", "type": "object" }, "Exponential": { "additionalProperties": false, "properties": { "kind": { "const": "exponential", "title": "Kind", "type": "string" }, "mean": { "exclusiveMinimum": 0, "title": "Mean", "type": "number" } }, "required": [ "kind", "mean" ], "title": "Exponential", "type": "object" }, "Fault": { "additionalProperties": false, "description": "Something that can happen at any time, not decided by the controller.", "properties": { "from": { "items": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "type": "string" }, "minItems": 1, "title": "From", "type": "array" }, "mode": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Mode", "type": "string" }, "name": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Name", "type": "string" }, "to": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "To", "type": "string" } }, "required": [ "name", "mode", "from", "to" ], "title": "Fault", "type": "object" }, "Finding": { "additionalProperties": false, "description": "A conclusion of a qualitative analysis, with the path that shows it.", "properties": { "at": { "anyOf": [ { "type": "number" }, { "type": "null" } ], "default": null, "description": "When a requirement was first violated", "title": "At" }, "holds": { "title": "Holds", "type": "boolean" }, "kind": { "enum": [ "hazard", "expectation", "ambiguity", "bound", "conformance", "requirement" ], "title": "Kind", "type": "string" }, "message": { "title": "Message", "type": "string" }, "path": { "default": [], "items": { "$ref": "#/$defs/Step" }, "title": "Path", "type": "array" }, "proven": { "anyOf": [ { "type": "boolean" }, { "type": "null" } ], "default": null, "description": "A requirement's verdict proven on guaranteed bounds: over the whole horizon, for every value of the scenario's intervals", "title": "Proven" }, "subject": { "title": "Subject", "type": "string" }, "verdict": { "anyOf": [ { "enum": [ "holds", "violated", "not_evaluated" ], "type": "string" }, { "type": "null" } ], "default": null, "description": "A requirement's verdict: `holds` is false both when it is violated and when it could not be evaluated", "title": "Verdict" } }, "required": [ "kind", "subject", "holds", "message" ], "title": "Finding", "type": "object" }, "FlowModel": { "additionalProperties": false, "description": "A flow of work: components, how work moves between them, and the\nassumptions a reader needs to judge the result.", "properties": { "assumptions": { "default": [], "items": { "type": "string" }, "title": "Assumptions", "type": "array" }, "components": { "items": { "discriminator": { "mapping": { "sink": "#/$defs/Sink", "source": "#/$defs/Source", "station": "#/$defs/Station" }, "propertyName": "kind" }, "oneOf": [ { "$ref": "#/$defs/Source" }, { "$ref": "#/$defs/Station" }, { "$ref": "#/$defs/Sink" } ] }, "minItems": 2, "title": "Components", "type": "array" }, "connections": { "items": { "$ref": "#/$defs/Connection" }, "title": "Connections", "type": "array" }, "description": { "default": "", "title": "Description", "type": "string" }, "kind": { "const": "flow", "title": "Kind", "type": "string" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "schema": { "const": "mokili.model/1", "title": "Schema", "type": "string" }, "sources": { "default": [], "description": "The code this model stands for, if it stands for software", "items": { "$ref": "#/$defs/SourceRef" }, "title": "Sources", "type": "array" }, "time_unit": { "minLength": 1, "title": "Time Unit", "type": "string" } }, "required": [ "schema", "kind", "name", "time_unit", "components", "connections" ], "title": "FlowModel", "type": "object" }, "FmuModel": { "additionalProperties": false, "description": "A numerical model compiled as an FMI 2.0 Functional Mock-up Unit.", "properties": { "artifact": { "$ref": "#/$defs/ArtifactRef" }, "assumptions": { "default": [], "items": { "type": "string" }, "title": "Assumptions", "type": "array" }, "built_from": { "anyOf": [ { "$ref": "#/$defs/BuiltFrom" }, { "type": "null" } ], "default": null, "description": "The Modelica source the FMU was compiled from; it travels with the model's bundles" }, "description": { "default": "", "title": "Description", "type": "string" }, "inputs": { "default": [], "description": "Inputs another model drives, when this FMU is part of a coupled model", "items": { "$ref": "#/$defs/Quantity" }, "title": "Inputs", "type": "array" }, "kind": { "const": "fmu", "title": "Kind", "type": "string" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "outputs": { "items": { "$ref": "#/$defs/Quantity" }, "minItems": 1, "title": "Outputs", "type": "array" }, "parameters": { "default": [], "items": { "$ref": "#/$defs/Quantity" }, "title": "Parameters", "type": "array" }, "schema": { "const": "mokili.model/1", "title": "Schema", "type": "string" }, "sources": { "default": [], "description": "The code this model stands for, if it stands for software", "items": { "$ref": "#/$defs/SourceRef" }, "title": "Sources", "type": "array" }, "time_unit": { "default": "s", "minLength": 1, "title": "Time Unit", "type": "string" } }, "required": [ "schema", "kind", "name", "artifact", "outputs" ], "title": "FmuModel", "type": "object" }, "Hazard": { "additionalProperties": false, "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "name": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Name", "type": "string" }, "when": { "items": { "anyOf": [ { "$ref": "#/$defs/QuantityCondition" }, { "$ref": "#/$defs/ModeCondition" } ] }, "minItems": 1, "title": "When", "type": "array" } }, "required": [ "name", "when" ], "title": "Hazard", "type": "object" }, "Influence": { "additionalProperties": false, "description": "Pushes a quantity up (+) or down (-) while all its conditions hold.", "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "name": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Name", "type": "string" }, "quantity": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Quantity", "type": "string" }, "sign": { "enum": [ "+", "-" ], "title": "Sign", "type": "string" }, "when": { "default": [], "items": { "anyOf": [ { "$ref": "#/$defs/QuantityCondition" }, { "$ref": "#/$defs/ModeCondition" } ] }, "title": "When", "type": "array" } }, "required": [ "name", "quantity", "sign" ], "title": "Influence", "type": "object" }, "LibraryUsed": { "additionalProperties": false, "properties": { "licence": { "anyOf": [ { "$ref": "#/$defs/ArtifactRef" }, { "type": "null" } ], "default": null, "description": "The library's licence text, stored by its digest: it travels with the model's bundles, as a licence such as BSD asks wherever the library's source, or what is made from it, goes" }, "name": { "description": "A Modelica library, e.g. Modelica", "minLength": 1, "title": "Name", "type": "string" }, "version": { "default": "", "description": "Its version, as its own annotation gives it", "title": "Version", "type": "string" } }, "required": [ "name" ], "title": "LibraryUsed", "type": "object" }, "Limits": { "additionalProperties": false, "properties": { "max_wall_seconds": { "default": 60.0, "exclusiveMinimum": 0, "title": "Max Wall Seconds", "type": "number" } }, "title": "Limits", "type": "object" }, "MeasuredColumn": { "additionalProperties": false, "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "name": { "description": "A column of the file, named as the model's output it measures", "minLength": 1, "title": "Name", "type": "string" }, "uncertainty": { "anyOf": [ { "minimum": 0, "type": "number" }, { "type": "null" } ], "default": null, "description": "Standard uncertainty of one reading, in the column's unit", "title": "Uncertainty" }, "unit": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "title": "Unit" } }, "required": [ "name" ], "title": "MeasuredColumn", "type": "object" }, "Measurement": { "additionalProperties": false, "description": "Observations of a real system, from a CSV file stored by digest. A\nmeasurement is never a result: nothing in it was simulated or inferred.", "properties": { "artifact": { "$ref": "#/$defs/ArtifactRef", "description": "The CSV file: a header row, then one row per reading" }, "assumptions": { "default": [], "items": { "type": "string" }, "title": "Assumptions", "type": "array" }, "collected_at": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "title": "Collected At" }, "columns": { "items": { "$ref": "#/$defs/MeasuredColumn" }, "minItems": 1, "title": "Columns", "type": "array" }, "description": { "default": "", "title": "Description", "type": "string" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "schema": { "const": "mokili.measurement/1", "title": "Schema", "type": "string" }, "source": { "$ref": "#/$defs/MeasurementSource" }, "time_column": { "default": "t", "minLength": 1, "title": "Time Column", "type": "string" }, "time_unit": { "default": "s", "minLength": 1, "title": "Time Unit", "type": "string" } }, "required": [ "schema", "name", "source", "artifact", "columns" ], "title": "Measurement", "type": "object" }, "MeasurementSource": { "additionalProperties": false, "description": "Where the numbers come from. `synthetic` numbers were made, not measured,\nand say how.", "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "instrument": { "default": "", "title": "Instrument", "type": "string" }, "kind": { "enum": [ "sensor", "manual", "synthetic" ], "title": "Kind", "type": "string" }, "location": { "default": "", "title": "Location", "type": "string" } }, "required": [ "kind" ], "title": "MeasurementSource", "type": "object" }, "ModeCondition": { "additionalProperties": false, "description": "`pump in [on, stuck_on]`.", "properties": { "in": { "items": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "type": "string" }, "minItems": 1, "title": "In", "type": "array" }, "mode": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Mode", "type": "string" } }, "required": [ "mode", "in" ], "title": "ModeCondition", "type": "object" }, "NetLogoGlobal": { "additionalProperties": false, "description": "A NetLogo global a scenario may set (a slider, switch, chooser or input).", "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "name": { "pattern": "^[A-Za-z][A-Za-z0-9_?!.-]*$", "title": "Name", "type": "string" }, "unit": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "title": "Unit" } }, "required": [ "name" ], "title": "NetLogoGlobal", "type": "object" }, "NetLogoModel": { "additionalProperties": false, "description": "An agent-based model written in NetLogo (a .nlogox file).", "properties": { "artifact": { "$ref": "#/$defs/ArtifactRef" }, "assumptions": { "default": [], "items": { "type": "string" }, "title": "Assumptions", "type": "array" }, "description": { "default": "", "title": "Description", "type": "string" }, "go": { "default": "go", "description": "Commands run once per tick", "minLength": 1, "title": "Go", "type": "string" }, "kind": { "const": "netlogo", "title": "Kind", "type": "string" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "outputs": { "items": { "$ref": "#/$defs/Reporter" }, "minItems": 1, "title": "Outputs", "type": "array" }, "parameters": { "default": [], "items": { "$ref": "#/$defs/NetLogoGlobal" }, "title": "Parameters", "type": "array" }, "schema": { "const": "mokili.model/1", "title": "Schema", "type": "string" }, "setup": { "default": "setup", "description": "Commands run once, after the seed", "minLength": 1, "title": "Setup", "type": "string" }, "sources": { "default": [], "description": "The code this model stands for, if it stands for software", "items": { "$ref": "#/$defs/SourceRef" }, "title": "Sources", "type": "array" }, "time_unit": { "default": "tick", "minLength": 1, "title": "Time Unit", "type": "string" } }, "required": [ "schema", "kind", "name", "artifact", "outputs" ], "title": "NetLogoModel", "type": "object" }, "Normal": { "additionalProperties": false, "description": "Normal distribution; a negative draw is truncated to zero.", "properties": { "kind": { "const": "normal", "title": "Kind", "type": "string" }, "mean": { "title": "Mean", "type": "number" }, "std": { "exclusiveMinimum": 0, "title": "Std", "type": "number" } }, "required": [ "kind", "mean", "std" ], "title": "Normal", "type": "object" }, "Notice": { "additionalProperties": false, "properties": { "message": { "title": "Message", "type": "string" }, "reason": { "title": "Reason", "type": "string" } }, "required": [ "reason", "message" ], "title": "Notice", "type": "object" }, "Numerics": { "additionalProperties": false, "description": "How the engine integrates: part of the model, since it shapes the result.", "properties": { "atol": { "default": 1e-10, "exclusiveMinimum": 0, "title": "Atol", "type": "number" }, "method": { "default": "auto", "enum": [ "auto", "dopri5", "radau5", "certified" ], "title": "Method", "type": "string" }, "rtol": { "default": 1e-08, "exclusiveMaximum": 1, "exclusiveMinimum": 0, "title": "Rtol", "type": "number" }, "subdivisions": { "default": 1, "description": "Guaranteed bounds: parts each uncertain interval is divided into; narrower bounds, more boxes", "maximum": 64, "minimum": 1, "title": "Subdivisions", "type": "integer" } }, "title": "Numerics", "type": "object" }, "Property": { "additionalProperties": false, "description": "What a requirement asks of every run, as a test on its series.\n\n`never`: the condition is false at every sample. `always`: true at every\nsample. `responds_within`: each time `trigger` becomes true, `response` is\ntrue at some sample no more than `within` later.", "properties": { "condition": { "anyOf": [ { "$ref": "#/$defs/SeriesCondition" }, { "type": "null" } ], "default": null }, "kind": { "enum": [ "never", "always", "responds_within" ], "title": "Kind", "type": "string" }, "response": { "anyOf": [ { "$ref": "#/$defs/SeriesCondition" }, { "type": "null" } ], "default": null }, "trigger": { "anyOf": [ { "$ref": "#/$defs/SeriesCondition" }, { "type": "null" } ], "default": null }, "within": { "anyOf": [ { "exclusiveMinimum": 0, "type": "number" }, { "type": "null" } ], "default": null, "title": "Within" } }, "required": [ "kind" ], "title": "Property", "type": "object" }, "QualitativeMode": { "additionalProperties": false, "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "name": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Name", "type": "string" }, "values": { "items": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "type": "string" }, "minItems": 2, "title": "Values", "type": "array" } }, "required": [ "name", "values" ], "title": "QualitativeMode", "type": "object" }, "QualitativeModel": { "additionalProperties": false, "description": "What can happen in a system, stated before it is quantified.", "properties": { "assumptions": { "default": [], "items": { "type": "string" }, "title": "Assumptions", "type": "array" }, "counterpart": { "anyOf": [ { "$ref": "#/$defs/Counterpart" }, { "type": "null" } ], "default": null }, "description": { "default": "", "title": "Description", "type": "string" }, "dominances": { "default": [], "items": { "$ref": "#/$defs/Dominance" }, "title": "Dominances", "type": "array" }, "faults": { "default": [], "items": { "$ref": "#/$defs/Fault" }, "title": "Faults", "type": "array" }, "hazards": { "default": [], "items": { "$ref": "#/$defs/Hazard" }, "title": "Hazards", "type": "array" }, "influences": { "default": [], "items": { "$ref": "#/$defs/Influence" }, "title": "Influences", "type": "array" }, "kind": { "const": "qualitative", "title": "Kind", "type": "string" }, "modes": { "default": [], "items": { "$ref": "#/$defs/QualitativeMode" }, "title": "Modes", "type": "array" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "quantities": { "items": { "$ref": "#/$defs/QualitativeQuantity" }, "minItems": 1, "title": "Quantities", "type": "array" }, "rules": { "default": [], "items": { "$ref": "#/$defs/Rule" }, "title": "Rules", "type": "array" }, "schema": { "const": "mokili.model/1", "title": "Schema", "type": "string" }, "sources": { "default": [], "description": "The code this model stands for, if it stands for software", "items": { "$ref": "#/$defs/SourceRef" }, "title": "Sources", "type": "array" }, "time_unit": { "default": "transition", "minLength": 1, "title": "Time Unit", "type": "string" } }, "required": [ "schema", "kind", "name", "quantities" ], "title": "QualitativeModel", "type": "object" }, "QualitativeQuantity": { "additionalProperties": false, "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "landmarks": { "description": "Ordered from lowest to highest, e.g. empty, low, high, full", "items": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "type": "string" }, "minItems": 2, "title": "Landmarks", "type": "array" }, "name": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Name", "type": "string" }, "unit": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "title": "Unit" } }, "required": [ "name", "landmarks" ], "title": "QualitativeQuantity", "type": "object" }, "Quantity": { "additionalProperties": false, "description": "A parameter or output of an FMU: the variable's name in the FMU, and its unit.", "properties": { "code": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "description": "Outputs of code: the entity that writes it, as Muundo names it in the model's source report", "title": "Code" }, "description": { "default": "", "title": "Description", "type": "string" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "unit": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "title": "Unit" } }, "required": [ "name" ], "title": "Quantity", "type": "object" }, "QuantityCondition": { "additionalProperties": false, "description": "`level <= low`: compares a quantity with one of its landmarks.", "properties": { "landmark": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Landmark", "type": "string" }, "op": { "enum": [ "<", "<=", "==", ">=", ">" ], "title": "Op", "type": "string" }, "quantity": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Quantity", "type": "string" } }, "required": [ "quantity", "op", "landmark" ], "title": "QuantityCondition", "type": "object" }, "Reporter": { "additionalProperties": false, "description": "A NetLogo output: a name for the series, and the reporter that computes it.", "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "name": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Name", "type": "string" }, "reporter": { "description": "NetLogo expression, e.g. count sheep", "minLength": 1, "title": "Reporter", "type": "string" }, "unit": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "title": "Unit" } }, "required": [ "name", "reporter" ], "title": "Reporter", "type": "object" }, "Requirement": { "additionalProperties": false, "description": "A requirement a run can be checked against: the sentence people agreed\non, and the property that tests it.", "properties": { "id": { "description": "The requirement's identifier, e.g. REQ-TANK-01", "pattern": "^[A-Za-z][A-Za-z0-9_.-]{0,63}$", "title": "Id", "type": "string" }, "property": { "$ref": "#/$defs/Property" }, "rationale": { "default": "", "title": "Rationale", "type": "string" }, "schema": { "const": "mokili.requirement/1", "title": "Schema", "type": "string" }, "text": { "description": "The requirement as written", "minLength": 1, "title": "Text", "type": "string" }, "title": { "minLength": 1, "title": "Title", "type": "string" } }, "required": [ "schema", "id", "title", "text", "property" ], "title": "Requirement", "type": "object" }, "Result": { "additionalProperties": false, "description": "What the engine produced: `simulated` values from a simulation engine, or\n`inferred` conclusions from a qualitative analysis. Never a measurement.\n\nWith replications, each numeric summary is the mean over them, `spread`\ngives its interval, and the series are those of the first replication.", "properties": { "adapter": { "$ref": "#/$defs/AdapterIdentity" }, "findings": { "default": [], "items": { "$ref": "#/$defs/Finding" }, "title": "Findings", "type": "array" }, "provenance": { "default": "simulated", "enum": [ "simulated", "inferred" ], "title": "Provenance", "type": "string" }, "replications": { "default": 1, "title": "Replications", "type": "integer" }, "scenario": { "pattern": "^sha256:[0-9a-f]{64}$", "title": "Scenario", "type": "string" }, "schema": { "const": "mokili.result/1", "title": "Schema", "type": "string" }, "series": { "additionalProperties": { "$ref": "#/$defs/Series" }, "title": "Series", "type": "object" }, "spread": { "additionalProperties": { "$ref": "#/$defs/Spread" }, "default": {}, "title": "Spread", "type": "object" }, "summaries": { "additionalProperties": { "$ref": "#/$defs/Summary" }, "title": "Summaries", "type": "object" }, "time_unit": { "title": "Time Unit", "type": "string" } }, "required": [ "schema", "scenario", "adapter", "time_unit", "series", "summaries" ], "title": "Result", "type": "object" }, "Rule": { "additionalProperties": false, "description": "A controller decision: the mode switches as soon as the conditions hold.", "properties": { "mode": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Mode", "type": "string" }, "name": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Name", "type": "string" }, "to": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "To", "type": "string" }, "when": { "items": { "anyOf": [ { "$ref": "#/$defs/QuantityCondition" }, { "$ref": "#/$defs/ModeCondition" } ] }, "minItems": 1, "title": "When", "type": "array" } }, "required": [ "name", "mode", "to", "when" ], "title": "Rule", "type": "object" }, "RunRecord": { "additionalProperties": false, "description": "How a result came to exist, or why it does not.", "properties": { "adapter": { "$ref": "#/$defs/AdapterIdentity" }, "environment": { "additionalProperties": { "type": "string" }, "title": "Environment", "type": "object" }, "failure": { "anyOf": [ { "$ref": "#/$defs/Notice" }, { "type": "null" } ], "default": null }, "finished_at": { "title": "Finished At", "type": "string" }, "log": { "default": [], "description": "The last lines the engine wrote", "items": { "type": "string" }, "title": "Log", "type": "array" }, "model": { "pattern": "^sha256:[0-9a-f]{64}$", "title": "Model", "type": "string" }, "reproducibility": { "enum": [ "deterministic", "seeded", "unseeded", "external" ], "title": "Reproducibility", "type": "string" }, "result": { "anyOf": [ { "pattern": "^sha256:[0-9a-f]{64}$", "type": "string" }, { "type": "null" } ], "default": null, "title": "Result" }, "scenario": { "pattern": "^sha256:[0-9a-f]{64}$", "title": "Scenario", "type": "string" }, "schema": { "const": "mokili.run/1", "title": "Schema", "type": "string" }, "started_at": { "title": "Started At", "type": "string" }, "status": { "enum": [ "succeeded", "failed", "timed_out" ], "title": "Status", "type": "string" }, "transcripts": { "additionalProperties": { "$ref": "#/$defs/TranscriptRef" }, "default": {}, "description": "Engines speaking mokili-step/2: their exchanges", "title": "Transcripts", "type": "object" }, "warnings": { "default": [], "items": { "$ref": "#/$defs/Notice" }, "title": "Warnings", "type": "array" } }, "required": [ "schema", "model", "scenario", "adapter", "environment", "started_at", "finished_at", "status", "reproducibility" ], "title": "RunRecord", "type": "object" }, "Scenario": { "additionalProperties": false, "description": "One experiment input, fixed: which model, what changes, for how long,\nwith which seed, and which outputs to keep.", "properties": { "assumptions": { "default": [], "items": { "type": "string" }, "title": "Assumptions", "type": "array" }, "engine": { "enum": [ "discrete-event", "fmi", "netlogo", "qualitative", "co-simulation", "protocol", "equations" ], "title": "Engine", "type": "string" }, "expectations": { "default": [], "items": { "$ref": "#/$defs/Expectation" }, "title": "Expectations", "type": "array" }, "faults": { "default": [], "description": "Qualitative models: faults that may occur", "items": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "type": "string" }, "title": "Faults", "type": "array" }, "horizon": { "exclusiveMinimum": 0, "title": "Horizon", "type": "number" }, "initial": { "default": {}, "description": "Qualitative models: starting value of each quantity and mode", "patternProperties": { "^[A-Za-z][A-Za-z0-9_-]{0,63}$": { "type": "string" } }, "title": "Initial", "type": "object" }, "intervals": { "additionalProperties": { "maxItems": 2, "minItems": 2, "prefixItems": [ { "type": "number" }, { "type": "number" } ], "type": "array" }, "default": {}, "description": "Equations models: quantities known only within [low, high] \u2014 parameters, inputs, initial states; the run computes guaranteed bounds that hold for every value at once", "title": "Intervals", "type": "object" }, "limits": { "$ref": "#/$defs/Limits", "default": { "max_wall_seconds": 60.0 } }, "model": { "pattern": "^sha256:[0-9a-f]{64}$", "title": "Model", "type": "string" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "observed_measurement": { "anyOf": [ { "pattern": "^sha256:[0-9a-f]{64}$", "type": "string" }, { "type": "null" } ], "default": null, "description": "Qualitative models: a measurement of the real system to check against the analysis", "title": "Observed Measurement" }, "observed_run": { "anyOf": [ { "pattern": "^sha256:[0-9a-f]{64}$", "type": "string" }, { "type": "null" } ], "default": null, "description": "Qualitative models: a run of the counterpart to check against the analysis", "title": "Observed Run" }, "output_step": { "anyOf": [ { "exclusiveMinimum": 0, "type": "number" }, { "type": "null" } ], "default": null, "title": "Output Step" }, "outputs": { "default": [], "items": { "type": "string" }, "title": "Outputs", "type": "array" }, "overrides": { "default": {}, "patternProperties": { "^[A-Za-z][A-Za-z0-9_-]{0,63}$": { "$ref": "#/$defs/ComponentOverride" } }, "title": "Overrides", "type": "object" }, "parameters": { "additionalProperties": { "anyOf": [ { "type": "number" }, { "type": "integer" }, { "type": "boolean" }, { "type": "string" } ] }, "default": {}, "title": "Parameters", "type": "object" }, "replications": { "default": 1, "description": "Random engines: independent runs with seeds seed, seed + 1, ...", "maximum": 1000, "minimum": 1, "title": "Replications", "type": "integer" }, "requirements": { "default": [], "description": "Requirements every run is checked against", "items": { "pattern": "^sha256:[0-9a-f]{64}$", "type": "string" }, "title": "Requirements", "type": "array" }, "schema": { "const": "mokili.scenario/1", "title": "Schema", "type": "string" }, "seed": { "anyOf": [ { "minimum": 0, "type": "integer" }, { "type": "null" } ], "default": null, "title": "Seed" }, "signal_faults": { "default": [], "description": "Coupled models: faults on signals between components", "items": { "$ref": "#/$defs/SignalFault" }, "title": "Signal Faults", "type": "array" }, "warmup": { "default": 0.0, "minimum": 0, "title": "Warmup", "type": "number" } }, "required": [ "schema", "name", "model", "engine", "horizon" ], "title": "Scenario", "type": "object" }, "Series": { "additionalProperties": false, "properties": { "points": { "items": { "maxItems": 2, "minItems": 2, "prefixItems": [ { "type": "number" }, { "type": "number" } ], "type": "array" }, "title": "Points", "type": "array" }, "tube": { "default": [], "description": "Guaranteed bounds: (from, to, low, high) \u2014 the true value stays within [low, high] over [from, to]", "items": { "maxItems": 4, "minItems": 4, "prefixItems": [ { "type": "number" }, { "type": "number" }, { "type": "number" }, { "type": "number" } ], "type": "array" }, "title": "Tube", "type": "array" }, "unit": { "title": "Unit", "type": "string" } }, "required": [ "unit", "points" ], "title": "Series", "type": "object" }, "SeriesCondition": { "additionalProperties": false, "description": "A test on one series at one instant: `h > 1.9`.", "properties": { "op": { "enum": [ "<", "<=", ">", ">=" ], "title": "Op", "type": "string" }, "series": { "minLength": 1, "title": "Series", "type": "string" }, "unit": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "description": "The series' unit, checked before the test", "title": "Unit" }, "value": { "title": "Value", "type": "number" } }, "required": [ "series", "op", "value" ], "title": "SeriesCondition", "type": "object" }, "SignalFault": { "additionalProperties": false, "description": "A fault on a signal between two components: what the receiving\ncomponent reads instead of the true value.", "properties": { "at": { "description": "When it starts", "minimum": 0, "title": "At", "type": "number" }, "kind": { "enum": [ "stuck", "offset", "drift", "noise", "delay", "dropout" ], "title": "Kind", "type": "string" }, "name": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Name", "type": "string" }, "signal": { "description": "The input it corrupts: component.input", "pattern": "^[A-Za-z][A-Za-z0-9_-]*\\.\\S+$", "title": "Signal", "type": "string" }, "steps": { "anyOf": [ { "minimum": 1, "type": "integer" }, { "type": "null" } ], "default": null, "description": "delay: communication steps", "title": "Steps" }, "until": { "anyOf": [ { "type": "number" }, { "type": "null" } ], "default": null, "description": "When it ends; never if absent", "title": "Until" }, "value": { "anyOf": [ { "type": "number" }, { "type": "null" } ], "default": null, "description": "stuck: the value read (absent: the last true value); offset: added; drift: added per time unit; noise: standard deviation; dropout: the value read (absent: 0)", "title": "Value" } }, "required": [ "name", "signal", "kind", "at" ], "title": "SignalFault", "type": "object" }, "Sink": { "additionalProperties": false, "description": "Where finished work leaves the system.", "properties": { "id": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Id", "type": "string" }, "kind": { "const": "sink", "title": "Kind", "type": "string" } }, "required": [ "kind", "id" ], "title": "Sink", "type": "object" }, "Source": { "additionalProperties": false, "description": "Where work enters the system.", "properties": { "id": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Id", "type": "string" }, "interarrival": { "discriminator": { "mapping": { "constant": "#/$defs/Constant", "exponential": "#/$defs/Exponential", "normal": "#/$defs/Normal", "uniform": "#/$defs/Uniform" }, "propertyName": "kind" }, "oneOf": [ { "$ref": "#/$defs/Constant" }, { "$ref": "#/$defs/Exponential" }, { "$ref": "#/$defs/Normal" }, { "$ref": "#/$defs/Uniform" } ], "title": "Interarrival" }, "kind": { "const": "source", "title": "Kind", "type": "string" } }, "required": [ "kind", "id", "interarrival" ], "title": "Source", "type": "object" }, "SourceRef": { "additionalProperties": false, "description": "The code a model stands for, as Muundo analysed it.", "properties": { "description": { "default": "", "title": "Description", "type": "string" }, "path": { "default": "", "description": "The analysed directory, relative to the repository", "title": "Path", "type": "string" }, "report": { "anyOf": [ { "$ref": "#/$defs/ArtifactRef" }, { "type": "null" } ], "default": null, "description": "Muundo's report, stored as a file, so it travels with the bundle" }, "repository": { "description": "Where the code lives: a URL or a name", "minLength": 1, "title": "Repository", "type": "string" }, "revision": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "description": "The commit or tag analysed", "title": "Revision" }, "snapshot": { "anyOf": [ { "pattern": "^blake3:[0-9a-f]{64}$", "type": "string" }, { "type": "null" } ], "default": null, "description": "Muundo's snapshot id: the identity of the source files and of the analyser", "title": "Snapshot" } }, "required": [ "repository" ], "title": "SourceRef", "type": "object" }, "Spread": { "additionalProperties": false, "description": "A summary over independent replications: its mean and confidence interval.", "properties": { "confidence": { "title": "Confidence", "type": "number" }, "high": { "title": "High", "type": "number" }, "low": { "title": "Low", "type": "number" }, "mean": { "title": "Mean", "type": "number" }, "n": { "title": "N", "type": "integer" }, "stdev": { "title": "Stdev", "type": "number" }, "values": { "items": { "type": "number" }, "title": "Values", "type": "array" } }, "required": [ "n", "mean", "stdev", "low", "high", "confidence", "values" ], "title": "Spread", "type": "object" }, "Station": { "additionalProperties": false, "description": "A resource that processes one item per unit of capacity; others queue.", "properties": { "capacity": { "default": 1, "minimum": 1, "title": "Capacity", "type": "integer" }, "id": { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "title": "Id", "type": "string" }, "kind": { "const": "station", "title": "Kind", "type": "string" }, "processing": { "discriminator": { "mapping": { "constant": "#/$defs/Constant", "exponential": "#/$defs/Exponential", "normal": "#/$defs/Normal", "uniform": "#/$defs/Uniform" }, "propertyName": "kind" }, "oneOf": [ { "$ref": "#/$defs/Constant" }, { "$ref": "#/$defs/Exponential" }, { "$ref": "#/$defs/Normal" }, { "$ref": "#/$defs/Uniform" } ], "title": "Processing" } }, "required": [ "kind", "id", "processing" ], "title": "Station", "type": "object" }, "Step": { "additionalProperties": false, "description": "One state on an explained path, and why the system got there.", "properties": { "because": { "title": "Because", "type": "string" }, "state": { "additionalProperties": { "type": "string" }, "title": "State", "type": "object" } }, "required": [ "state", "because" ], "title": "Step", "type": "object" }, "Summary": { "additionalProperties": false, "properties": { "description": { "title": "Description", "type": "string" }, "unit": { "anyOf": [ { "type": "string" }, { "type": "null" } ], "default": null, "title": "Unit" }, "value": { "anyOf": [ { "type": "number" }, { "type": "string" } ], "title": "Value" } }, "required": [ "value", "description" ], "title": "Summary", "type": "object" }, "TargetDevice": { "additionalProperties": false, "description": "What a target's code runs on. `emulated-processor`: the code built for a\nprocessor, run in an emulator (QEMU). `bench`: real hardware, reached\nthrough a bridge the operator configures; it is never named in a record.", "properties": { "architecture": { "default": "", "description": "The processor, e.g. aarch64", "title": "Architecture", "type": "string" }, "description": { "default": "", "title": "Description", "type": "string" }, "kind": { "enum": [ "emulated-processor", "bench" ], "title": "Kind", "type": "string" } }, "required": [ "kind" ], "title": "TargetDevice", "type": "object" }, "TargetModel": { "additionalProperties": false, "description": "Control code running outside Mokili \u2014 on an emulated processor or on a\nbench \u2014 driven step by step over the mokili-step/1 protocol. Used only as a\ncomponent of a coupled model.", "properties": { "assumptions": { "default": [], "items": { "type": "string" }, "title": "Assumptions", "type": "array" }, "bench": { "anyOf": [ { "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$", "type": "string" }, { "type": "null" } ], "default": null, "description": "Benches: its name in the operator's configuration", "title": "Bench" }, "description": { "default": "", "title": "Description", "type": "string" }, "device": { "$ref": "#/$defs/TargetDevice" }, "inputs": { "items": { "$ref": "#/$defs/Quantity" }, "minItems": 1, "title": "Inputs", "type": "array" }, "kind": { "const": "target", "title": "Kind", "type": "string" }, "name": { "minLength": 1, "title": "Name", "type": "string" }, "outputs": { "items": { "$ref": "#/$defs/Quantity" }, "minItems": 1, "title": "Outputs", "type": "array" }, "program": { "anyOf": [ { "$ref": "#/$defs/ArtifactRef" }, { "type": "null" } ], "default": null, "description": "Emulated processors: the executable built for it" }, "protocol": { "const": "mokili-step/1", "default": "mokili-step/1", "title": "Protocol", "type": "string" }, "schema": { "const": "mokili.model/1", "title": "Schema", "type": "string" }, "sources": { "default": [], "description": "The code this model stands for, if it stands for software", "items": { "$ref": "#/$defs/SourceRef" }, "title": "Sources", "type": "array" }, "time_unit": { "default": "s", "minLength": 1, "title": "Time Unit", "type": "string" } }, "required": [ "schema", "kind", "name", "device", "inputs", "outputs" ], "title": "TargetModel", "type": "object" }, "TranscriptRef": { "additionalProperties": false, "description": "The exchanges with an engine, as a file: one line per message, each\nhashed with the one before. `head` is the last hash.", "properties": { "digest": { "description": "The transcript file, stored by digest", "pattern": "^sha256:[0-9a-f]{64}$", "title": "Digest", "type": "string" }, "head": { "pattern": "^sha256:[0-9a-f]{64}$", "title": "Head", "type": "string" }, "messages": { "minimum": 0, "title": "Messages", "type": "integer" } }, "required": [ "digest", "head", "messages" ], "title": "TranscriptRef", "type": "object" }, "TranslatedFrom": { "additionalProperties": false, "description": "The Modelica source an equations model was translated from, by `sala import-modelica`.", "properties": { "libraries": { "default": [], "description": "The libraries whose classes the model is built from, such as the Modelica Standard Library", "items": { "$ref": "#/$defs/LibraryUsed" }, "title": "Libraries", "type": "array" }, "model": { "description": "The Modelica class translated", "minLength": 1, "title": "Model", "type": "string" }, "source": { "$ref": "#/$defs/ArtifactRef", "description": "The .mo file, stored by its digest; it travels with the model's bundles" }, "translator": { "description": "What translated it, and its version", "minLength": 1, "title": "Translator", "type": "string" } }, "required": [ "source", "model", "translator" ], "title": "TranslatedFrom", "type": "object" }, "Uniform": { "additionalProperties": false, "properties": { "high": { "title": "High", "type": "number" }, "kind": { "const": "uniform", "title": "Kind", "type": "string" }, "low": { "minimum": 0, "title": "Low", "type": "number" } }, "required": [ "kind", "low", "high" ], "title": "Uniform", "type": "object" } }, "$id": "mokili.evidence/1", "$schema": "https://json-schema.org/draft/2020-12/schema", "additionalProperties": false, "description": "Everything a reviewer needs to read or rerun one run, in one file.", "properties": { "artifacts": { "default": {}, "description": "The model's files, base64-encoded, keyed by digest", "patternProperties": { "^sha256:[0-9a-f]{64}$": { "type": "string" } }, "title": "Artifacts", "type": "object" }, "assurance": { "$ref": "#/$defs/Assurance" }, "created_at": { "title": "Created At", "type": "string" }, "digests": { "$ref": "#/$defs/BundleDigests" }, "measurements": { "default": [], "description": "The measurement a qualitative analysis checked, if any", "items": { "$ref": "#/$defs/Measurement" }, "title": "Measurements", "type": "array" }, "model": { "discriminator": { "mapping": { "coupled": "#/$defs/CoupledModel", "engine": "#/$defs/EngineModel", "equations": "#/$defs/EquationsModel", "flow": "#/$defs/FlowModel", "fmu": "#/$defs/FmuModel", "netlogo": "#/$defs/NetLogoModel", "qualitative": "#/$defs/QualitativeModel", "target": "#/$defs/TargetModel" }, "propertyName": "kind" }, "oneOf": [ { "$ref": "#/$defs/FlowModel" }, { "$ref": "#/$defs/FmuModel" }, { "$ref": "#/$defs/NetLogoModel" }, { "$ref": "#/$defs/QualitativeModel" }, { "$ref": "#/$defs/CoupledModel" }, { "$ref": "#/$defs/TargetModel" }, { "$ref": "#/$defs/EngineModel" }, { "$ref": "#/$defs/EquationsModel" } ], "title": "Model" }, "observed": { "default": [], "description": "A qualitative analysis's observed run and its result, as compared", "items": { "anyOf": [ { "$ref": "#/$defs/RunRecord" }, { "$ref": "#/$defs/Result" } ] }, "title": "Observed", "type": "array" }, "parts": { "default": [], "description": "A coupled model's component models", "items": { "anyOf": [ { "$ref": "#/$defs/FmuModel" }, { "$ref": "#/$defs/TargetModel" }, { "$ref": "#/$defs/EngineModel" }, { "$ref": "#/$defs/EquationsModel" } ] }, "title": "Parts", "type": "array" }, "requirements": { "default": [], "description": "The requirements the run was checked against", "items": { "$ref": "#/$defs/Requirement" }, "title": "Requirements", "type": "array" }, "result": { "anyOf": [ { "$ref": "#/$defs/Result" }, { "type": "null" } ], "default": null }, "run": { "$ref": "#/$defs/RunRecord" }, "scenario": { "$ref": "#/$defs/Scenario" }, "schema": { "const": "mokili.evidence/1", "title": "Schema", "type": "string" } }, "required": [ "schema", "created_at", "assurance", "digests", "model", "scenario", "run" ], "title": "EvidenceBundle", "type": "object" }