Spaces:
Running
Running
File size: 3,566 Bytes
a0f8a7d | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 | {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"$id": "https://a-11-oy.com/schemas/numerics-dataset-ingest-v1.json",
"title": "A11oy append-only numerical run ingestion",
"type": "object",
"additionalProperties": false,
"required": ["schema", "run_id", "case_id", "engine", "outcome", "engine_evidence", "containment", "resources", "reference", "observed_at_utc"],
"properties": {
"schema": {"const": "szl.numerics.dataset-ingest/v1"},
"run_id": {"type": "string", "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,95}$"},
"case_id": {"type": "string", "pattern": "^case-[a-z0-9-]{8,120}$"},
"engine": {"enum": ["octave", "matlab"]},
"outcome": {
"oneOf": [
{"type": "object", "additionalProperties": false, "required": ["state", "values"], "properties": {"state": {"const": "RESULT"}, "values": {"type": "array", "minItems": 1, "maxItems": 64, "items": {"type": "number"}}}},
{"type": "object", "additionalProperties": false, "required": ["state", "reason"], "properties": {"state": {"const": "UNAVAILABLE"}, "reason": {"type": "string", "minLength": 1, "maxLength": 160}}}
]
},
"engine_evidence": {
"type": "object", "additionalProperties": false,
"required": ["version", "version_evidence_sha256", "executable_sha256", "license_state", "offline_license_state"],
"properties": {
"version": {"type": ["string", "null"], "maxLength": 120},
"version_evidence_sha256": {"type": ["string", "null"], "pattern": "^[0-9a-f]{64}$"},
"executable_sha256": {"type": ["string", "null"], "pattern": "^[0-9a-f]{64}$"},
"license_state": {"enum": ["OPERATOR_REVIEWED", "REVIEW_REQUIRED", "UNKNOWN"]},
"offline_license_state": {"enum": ["CONFIGURED", "UNAVAILABLE", "NOT_APPLICABLE", "UNKNOWN"]}
}
},
"containment": {
"type": "object", "additionalProperties": false,
"required": ["network_state", "evidence_sha256"],
"properties": {
"network_state": {"enum": ["DENIED", "UNAVAILABLE", "UNKNOWN"]},
"evidence_sha256": {"type": ["string", "null"], "pattern": "^[0-9a-f]{64}$"}
}
},
"resources": {
"type": "object", "additionalProperties": false,
"required": ["wall_time_ns", "child_user_cpu_ns", "child_system_cpu_ns", "peak_resident_bytes", "request_bytes", "response_bytes", "log_bytes"],
"properties": {
"wall_time_ns": {"type": ["integer", "null"], "minimum": 0},
"child_user_cpu_ns": {"type": ["integer", "null"], "minimum": 0},
"child_system_cpu_ns": {"type": ["integer", "null"], "minimum": 0},
"peak_resident_bytes": {"type": ["integer", "null"], "minimum": 0},
"request_bytes": {"type": ["integer", "null"], "minimum": 0},
"response_bytes": {"type": ["integer", "null"], "minimum": 0},
"log_bytes": {"type": ["integer", "null"], "minimum": 0}
}
},
"reference": {
"oneOf": [
{"type": "object", "additionalProperties": false, "required": ["state"], "properties": {"state": {"const": "SOURCE_UNAVAILABLE"}}},
{"type": "object", "additionalProperties": false, "required": ["state", "implementation", "values", "evidence_sha256"], "properties": {"state": {"const": "MEASURED"}, "implementation": {"const": "PYTHON_MPMATH_100DP"}, "values": {"type": "array", "minItems": 1, "maxItems": 64, "items": {"type": "number"}}, "evidence_sha256": {"type": "string", "pattern": "^[0-9a-f]{64}$"}}}
]
},
"observed_at_utc": {"type": "string", "format": "date-time"}
}
}
|