Lint Envelope Spec
curl --request POST \
--url https://demo.rotavision.com/api/v1/bound/lint-envelope \
--header 'Authorization: Bearer <token>' \
--header 'Content-Type: application/json' \
--data '
{
"rules": [
{
"name": "<string>",
"when": {
"actions": [
"<string>"
],
"min_stakes": 123,
"max_stakes": 123,
"min_confidence": 123,
"max_confidence": 123,
"min_novelty": 123,
"max_novelty": 123,
"blast_radius": {}
}
}
],
"default_outcome": "sync_review",
"deep_review_rate": 0,
"note": "<string>"
}
'import requests
url = "https://demo.rotavision.com/api/v1/bound/lint-envelope"
payload = {
"rules": [
{
"name": "<string>",
"when": {
"actions": ["<string>"],
"min_stakes": 123,
"max_stakes": 123,
"min_confidence": 123,
"max_confidence": 123,
"min_novelty": 123,
"max_novelty": 123,
"blast_radius": {}
}
}
],
"default_outcome": "sync_review",
"deep_review_rate": 0,
"note": "<string>"
}
headers = {
"Authorization": "Bearer <token>",
"Content-Type": "application/json"
}
response = requests.post(url, json=payload, headers=headers)
print(response.text)const options = {
method: 'POST',
headers: {Authorization: 'Bearer <token>', 'Content-Type': 'application/json'},
body: JSON.stringify({
rules: [
{
name: '<string>',
when: {
actions: ['<string>'],
min_stakes: 123,
max_stakes: 123,
min_confidence: 123,
max_confidence: 123,
min_novelty: 123,
max_novelty: 123,
blast_radius: {}
}
}
],
default_outcome: 'sync_review',
deep_review_rate: 0,
note: '<string>'
})
};
fetch('https://demo.rotavision.com/api/v1/bound/lint-envelope', options)
.then(res => res.json())
.then(res => console.log(res))
.catch(err => console.error(err));<?php
$curl = curl_init();
curl_setopt_array($curl, [
CURLOPT_URL => "https://demo.rotavision.com/api/v1/bound/lint-envelope",
CURLOPT_RETURNTRANSFER => true,
CURLOPT_ENCODING => "",
CURLOPT_MAXREDIRS => 10,
CURLOPT_TIMEOUT => 30,
CURLOPT_HTTP_VERSION => CURL_HTTP_VERSION_1_1,
CURLOPT_CUSTOMREQUEST => "POST",
CURLOPT_POSTFIELDS => json_encode([
'rules' => [
[
'name' => '<string>',
'when' => [
'actions' => [
'<string>'
],
'min_stakes' => 123,
'max_stakes' => 123,
'min_confidence' => 123,
'max_confidence' => 123,
'min_novelty' => 123,
'max_novelty' => 123,
'blast_radius' => [
]
]
]
],
'default_outcome' => 'sync_review',
'deep_review_rate' => 0,
'note' => '<string>'
]),
CURLOPT_HTTPHEADER => [
"Authorization: Bearer <token>",
"Content-Type: application/json"
],
]);
$response = curl_exec($curl);
$err = curl_error($curl);
curl_close($curl);
if ($err) {
echo "cURL Error #:" . $err;
} else {
echo $response;
}package main
import (
"fmt"
"strings"
"net/http"
"io"
)
func main() {
url := "https://demo.rotavision.com/api/v1/bound/lint-envelope"
payload := strings.NewReader("{\n \"rules\": [\n {\n \"name\": \"<string>\",\n \"when\": {\n \"actions\": [\n \"<string>\"\n ],\n \"min_stakes\": 123,\n \"max_stakes\": 123,\n \"min_confidence\": 123,\n \"max_confidence\": 123,\n \"min_novelty\": 123,\n \"max_novelty\": 123,\n \"blast_radius\": {}\n }\n }\n ],\n \"default_outcome\": \"sync_review\",\n \"deep_review_rate\": 0,\n \"note\": \"<string>\"\n}")
req, _ := http.NewRequest("POST", url, payload)
req.Header.Add("Authorization", "Bearer <token>")
req.Header.Add("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)
defer res.Body.Close()
body, _ := io.ReadAll(res.Body)
fmt.Println(string(body))
}HttpResponse<String> response = Unirest.post("https://demo.rotavision.com/api/v1/bound/lint-envelope")
.header("Authorization", "Bearer <token>")
.header("Content-Type", "application/json")
.body("{\n \"rules\": [\n {\n \"name\": \"<string>\",\n \"when\": {\n \"actions\": [\n \"<string>\"\n ],\n \"min_stakes\": 123,\n \"max_stakes\": 123,\n \"min_confidence\": 123,\n \"max_confidence\": 123,\n \"min_novelty\": 123,\n \"max_novelty\": 123,\n \"blast_radius\": {}\n }\n }\n ],\n \"default_outcome\": \"sync_review\",\n \"deep_review_rate\": 0,\n \"note\": \"<string>\"\n}")
.asString();require 'uri'
require 'net/http'
url = URI("https://demo.rotavision.com/api/v1/bound/lint-envelope")
http = Net::HTTP.new(url.host, url.port)
http.use_ssl = true
request = Net::HTTP::Post.new(url)
request["Authorization"] = 'Bearer <token>'
request["Content-Type"] = 'application/json'
request.body = "{\n \"rules\": [\n {\n \"name\": \"<string>\",\n \"when\": {\n \"actions\": [\n \"<string>\"\n ],\n \"min_stakes\": 123,\n \"max_stakes\": 123,\n \"min_confidence\": 123,\n \"max_confidence\": 123,\n \"min_novelty\": 123,\n \"max_novelty\": 123,\n \"blast_radius\": {}\n }\n }\n ],\n \"default_outcome\": \"sync_review\",\n \"deep_review_rate\": 0,\n \"note\": \"<string>\"\n}"
response = http.request(request)
puts response.read_body{}{
"detail": [
{
"loc": [
"<string>"
],
"msg": "<string>",
"type": "<string>",
"input": "<unknown>",
"ctx": {}
}
]
}bound
Lint Envelope Spec
Formally lint an envelope spec WITHOUT publishing (#72) — check for dead rules, escalation-monotonicity violations, and default reach before it governs anything.
POST
/
api
/
v1
/
bound
/
lint-envelope
Lint Envelope Spec
curl --request POST \
--url https://demo.rotavision.com/api/v1/bound/lint-envelope \
--header 'Authorization: Bearer <token>' \
--header 'Content-Type: application/json' \
--data '
{
"rules": [
{
"name": "<string>",
"when": {
"actions": [
"<string>"
],
"min_stakes": 123,
"max_stakes": 123,
"min_confidence": 123,
"max_confidence": 123,
"min_novelty": 123,
"max_novelty": 123,
"blast_radius": {}
}
}
],
"default_outcome": "sync_review",
"deep_review_rate": 0,
"note": "<string>"
}
'import requests
url = "https://demo.rotavision.com/api/v1/bound/lint-envelope"
payload = {
"rules": [
{
"name": "<string>",
"when": {
"actions": ["<string>"],
"min_stakes": 123,
"max_stakes": 123,
"min_confidence": 123,
"max_confidence": 123,
"min_novelty": 123,
"max_novelty": 123,
"blast_radius": {}
}
}
],
"default_outcome": "sync_review",
"deep_review_rate": 0,
"note": "<string>"
}
headers = {
"Authorization": "Bearer <token>",
"Content-Type": "application/json"
}
response = requests.post(url, json=payload, headers=headers)
print(response.text)const options = {
method: 'POST',
headers: {Authorization: 'Bearer <token>', 'Content-Type': 'application/json'},
body: JSON.stringify({
rules: [
{
name: '<string>',
when: {
actions: ['<string>'],
min_stakes: 123,
max_stakes: 123,
min_confidence: 123,
max_confidence: 123,
min_novelty: 123,
max_novelty: 123,
blast_radius: {}
}
}
],
default_outcome: 'sync_review',
deep_review_rate: 0,
note: '<string>'
})
};
fetch('https://demo.rotavision.com/api/v1/bound/lint-envelope', options)
.then(res => res.json())
.then(res => console.log(res))
.catch(err => console.error(err));<?php
$curl = curl_init();
curl_setopt_array($curl, [
CURLOPT_URL => "https://demo.rotavision.com/api/v1/bound/lint-envelope",
CURLOPT_RETURNTRANSFER => true,
CURLOPT_ENCODING => "",
CURLOPT_MAXREDIRS => 10,
CURLOPT_TIMEOUT => 30,
CURLOPT_HTTP_VERSION => CURL_HTTP_VERSION_1_1,
CURLOPT_CUSTOMREQUEST => "POST",
CURLOPT_POSTFIELDS => json_encode([
'rules' => [
[
'name' => '<string>',
'when' => [
'actions' => [
'<string>'
],
'min_stakes' => 123,
'max_stakes' => 123,
'min_confidence' => 123,
'max_confidence' => 123,
'min_novelty' => 123,
'max_novelty' => 123,
'blast_radius' => [
]
]
]
],
'default_outcome' => 'sync_review',
'deep_review_rate' => 0,
'note' => '<string>'
]),
CURLOPT_HTTPHEADER => [
"Authorization: Bearer <token>",
"Content-Type: application/json"
],
]);
$response = curl_exec($curl);
$err = curl_error($curl);
curl_close($curl);
if ($err) {
echo "cURL Error #:" . $err;
} else {
echo $response;
}package main
import (
"fmt"
"strings"
"net/http"
"io"
)
func main() {
url := "https://demo.rotavision.com/api/v1/bound/lint-envelope"
payload := strings.NewReader("{\n \"rules\": [\n {\n \"name\": \"<string>\",\n \"when\": {\n \"actions\": [\n \"<string>\"\n ],\n \"min_stakes\": 123,\n \"max_stakes\": 123,\n \"min_confidence\": 123,\n \"max_confidence\": 123,\n \"min_novelty\": 123,\n \"max_novelty\": 123,\n \"blast_radius\": {}\n }\n }\n ],\n \"default_outcome\": \"sync_review\",\n \"deep_review_rate\": 0,\n \"note\": \"<string>\"\n}")
req, _ := http.NewRequest("POST", url, payload)
req.Header.Add("Authorization", "Bearer <token>")
req.Header.Add("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)
defer res.Body.Close()
body, _ := io.ReadAll(res.Body)
fmt.Println(string(body))
}HttpResponse<String> response = Unirest.post("https://demo.rotavision.com/api/v1/bound/lint-envelope")
.header("Authorization", "Bearer <token>")
.header("Content-Type", "application/json")
.body("{\n \"rules\": [\n {\n \"name\": \"<string>\",\n \"when\": {\n \"actions\": [\n \"<string>\"\n ],\n \"min_stakes\": 123,\n \"max_stakes\": 123,\n \"min_confidence\": 123,\n \"max_confidence\": 123,\n \"min_novelty\": 123,\n \"max_novelty\": 123,\n \"blast_radius\": {}\n }\n }\n ],\n \"default_outcome\": \"sync_review\",\n \"deep_review_rate\": 0,\n \"note\": \"<string>\"\n}")
.asString();require 'uri'
require 'net/http'
url = URI("https://demo.rotavision.com/api/v1/bound/lint-envelope")
http = Net::HTTP.new(url.host, url.port)
http.use_ssl = true
request = Net::HTTP::Post.new(url)
request["Authorization"] = 'Bearer <token>'
request["Content-Type"] = 'application/json'
request.body = "{\n \"rules\": [\n {\n \"name\": \"<string>\",\n \"when\": {\n \"actions\": [\n \"<string>\"\n ],\n \"min_stakes\": 123,\n \"max_stakes\": 123,\n \"min_confidence\": 123,\n \"max_confidence\": 123,\n \"min_novelty\": 123,\n \"max_novelty\": 123,\n \"blast_radius\": {}\n }\n }\n ],\n \"default_outcome\": \"sync_review\",\n \"deep_review_rate\": 0,\n \"note\": \"<string>\"\n}"
response = http.request(request)
puts response.read_body{}{
"detail": [
{
"loc": [
"<string>"
],
"msg": "<string>",
"type": "<string>",
"input": "<unknown>",
"ctx": {}
}
]
}Authorizations
Ingest API key or OIDC JWT. See /authentication.
Body
application/json
Minimum array length:
1Show child attributes
Show child attributes
Available options:
auto, async_review, sync_review, block Fraction of auto-executed decisions sampled into deep review
Required range:
0 <= x <= 1Maximum string length:
500Response
Successful Response
The response is of type Response Lint Envelope Spec Api V1 Bound Lint Envelope Post · object.
⌘I

