{
  "@context": {
    "@version": 1.1,
    "arl": "https://arl.transaction.science/vocab/v1#",
    "xsd": "http://www.w3.org/2001/XMLSchema#",
    "prov": "http://www.w3.org/ns/prov#",

    "Claim":              "arl:Claim",
    "Session":            "arl:Session",
    "Evaluation":         "arl:Evaluation",
    "Attestation":        "arl:Attestation",
    "Harness":            "arl:Harness",
    "PhysicalTelemetry":  "arl:PhysicalTelemetry",

    "validation_depth":   { "@id": "arl:validationDepth",   "@type": "xsd:integer" },
    "convergence_class":  { "@id": "arl:convergenceClass",  "@type": "@vocab" },
    "energy_profile":     { "@id": "arl:energyProfile",     "@type": "@vocab" },
    "security_class":     { "@id": "arl:securityClass",     "@type": "@vocab" },
    "arl_score":          { "@id": "arl:arlScore",          "@type": "xsd:integer" },
    "isolation_tier":     { "@id": "arl:isolationTier",     "@type": "@vocab" },
    "telemetry":          { "@id": "arl:telemetry",         "@type": "@id" },
    "replayable":         { "@id": "arl:replayable",        "@type": "xsd:boolean" },
    "tampering_detected": { "@id": "arl:tamperingDetected", "@type": "xsd:boolean" },
    "joules_uj":          { "@id": "arl:joulesMicrojoules", "@type": "xsd:nonNegativeInteger" },
    "signed_at":          { "@id": "arl:signedAt",          "@type": "xsd:dateTime" },
    "signature":          { "@id": "arl:signature",         "@type": "xsd:string" },
    "public_key":         { "@id": "arl:publicKey",         "@type": "xsd:string" },
    "input_hash":         { "@id": "arl:inputHash",         "@type": "xsd:string" },
    "output_hash":        { "@id": "arl:outputHash",        "@type": "xsd:string" },
    "task":               { "@id": "arl:task",              "@type": "xsd:string" },
    "context":            { "@id": "arl:context",           "@type": "xsd:string" },
    "term":               { "@id": "arl:term",              "@type": "xsd:string" },
    "violation":          { "@id": "arl:violation",         "@type": "@vocab" },

    "ConvergenceA": "arl:ConvergenceA",
    "ConvergenceB": "arl:ConvergenceB",
    "ConvergenceC": "arl:ConvergenceC",
    "ConvergenceD": "arl:ConvergenceD",
    "ConvergenceE": "arl:ConvergenceE",

    "S0": "arl:S0",
    "S1": "arl:S1",
    "S2": "arl:S2",
    "S3": "arl:S3",
    "S4": "arl:S4",

    "Tier0": "arl:Tier0",
    "Tier1": "arl:Tier1",
    "Tier2": "arl:Tier2",
    "Tier3": "arl:Tier3",

    "EnergyProfile": "arl:EnergyProfile",
    "Disclosed":     "arl:Disclosed",
    "Undisclosed":   "arl:Undisclosed"
  }
}