Handler for POST /api/v1/compile

Required scope: write

POST /api/v1/compile

cURL

curl --request POST \
  --url 'https://api.nsr.stateset.com/api/v1/compile' \
  --header "X-API-Key: $STATESET_NSR_API_KEY" \
  --header 'Content-Type: application/json' \
  --data '{
  "execute": true,
  "query": "string"
}'

200

{
  "bindings": [
    {}
  ],
  "evidence": [
    {
      "claim": "string",
      "confidence": 7.5,
      "derivation": [],
      "id": "3fa85f64-5717-4562-b3fc-2c963f66afa6",
      "sources": []
    }
  ],
  "ir": null,
  "plan": null,
  "stats": {
    "bindings_found": 1,
    "execute_us": 1,
    "parse_us": 1,
    "plan_us": 1,
    "tokenize_us": 1,
    "total_us": 1,
    "type_check_us": 1
  }
}

Required scope: write

Request body

CompileRequest

execute · boolean

query · string · required

Response

CompileResponse

bindings · object[]

evidence · Evidence[]

Show Evidence

claim · string · required

The claim this evidence supports

confidence · number (float) · required

Overall confidence of the evidence chain

derivation · DerivationStep[] · required

Derivation steps (rule applications, joins)

Show DerivationStep

conclusions · string[] · required

The rule head atoms this firing derived.

premises · string[] · required

The matched fact atoms that satisfied the rule body.

rule · string · required

id · string · required

Unique evidence chain ID

sources · EvidenceSource[] · required

Source facts that ground this evidence

Show EvidenceSource

confidence · number (float) · required

Confidence of this individual source

fact_id · string · required

Triple ID or fact identifier

provenance · string · required

Provenance of this fact

triple · TripleSummary · required

ir · any · required

plan · any · required

stats · CompilerStats · required

Show CompilerStats

bindings_found · integer · required

execute_us · integer (int64) · required

parse_us · integer (int64) · required

plan_us · integer (int64) · required

tokenize_us · integer (int64) · required

total_us · integer (int64) · required

type_check_us · integer (int64) · required

Status codes

Code	Meaning
200	Compilation succeeded
400	Compilation failed
401	Unauthorized — missing or invalid credentials
403	Forbidden — the key/token lacks the required scope
429	Rate limited — see Retry-After / X-RateLimit-Reset

cURL

curl --request POST \
  --url 'https://api.nsr.stateset.com/api/v1/compile' \
  --header "X-API-Key: $STATESET_NSR_API_KEY" \
  --header 'Content-Type: application/json' \
  --data '{
  "execute": true,
  "query": "string"
}'

200

{
  "bindings": [
    {}
  ],
  "evidence": [
    {
      "claim": "string",
      "confidence": 7.5,
      "derivation": [],
      "id": "3fa85f64-5717-4562-b3fc-2c963f66afa6",
      "sources": []
    }
  ],
  "ir": null,
  "plan": null,
  "stats": {
    "bindings_found": 1,
    "execute_us": 1,
    "parse_us": 1,
    "plan_us": 1,
    "tokenize_us": 1,
    "total_us": 1,
    "type_check_us": 1
  }
}