Prove a query using classical resolution theorem proving over the current NSR-L…

Required scope: write

POST /api/v1/nsrl/prove

cURL

curl --request POST \
  --url 'https://api.nsr.stateset.com/api/v1/nsrl/prove' \
  --header "X-API-Key: $STATESET_NSR_API_KEY" \
  --header 'Content-Type: application/json' \
  --data '{
  "max_iterations": 100,
  "query": "mortal(socrates)"
}'

200

{
  "confidence": 7.5,
  "explanation": "string",
  "proof_steps": [
    "string"
  ],
  "proved": true,
  "time_ms": 250
}

Required scope: write

Request body

NSRLProveRequest

max_iterations · integer

Maximum resolution iterations

query · string · required

Query to prove (in NSR-L syntax)

Response

NSRLProveResponse

confidence · number (double) · required

Confidence (1.0 if proved symbolically)

explanation · string · required

Explanation

proof_steps · string[] · required

Proof steps (if successful)

proved · boolean · required

Whether the query was proved

time_ms · integer (int64) · required

Time taken in milliseconds

Status codes

Code	Meaning
200	Proof result
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/nsrl/prove' \
  --header "X-API-Key: $STATESET_NSR_API_KEY" \
  --header 'Content-Type: application/json' \
  --data '{
  "max_iterations": 100,
  "query": "mortal(socrates)"
}'

200

{
  "confidence": 7.5,
  "explanation": "string",
  "proof_steps": [
    "string"
  ],
  "proved": true,
  "time_ms": 250
}