arifOS — Constitutional AI Governance

333 Think · Mind

arif_think

Read-onlyIdempotent

Execute structured reasoning and plan formulation. Decomposes inquiries into verified derivations. Modes: reason (inquiry breakdown), plan (drafting multi-step execution steps), verify (logical proof check). Requires valid session credentials. Outputs: structured reasoning record.

Input Schema

Name	Required	Description	Default
`mode`	No	'reason' (default) — decompose a question; 'reflect' — self-review of prior reasoning; 'verify' — check a derivation; 'axioms' — surface hidden assumptions; 'plan'/'plan_review'/'plan_approve'/'refactor_plan' — execution-plan lifecycle; 'metabolize' — consolidate past reasoning; 'simulate' — what-if; 'wonder' — open exploration; 'atlas' — map the problem space.	reason
`query`	No	The question, claim, or problem to reason about, in plain language.
`context`	No
`plan_id`	No	Plan reference from an earlier plan-mode response — needed for the review/approve/refactor steps.
`actor_id`	No	Your agent identity, e.g. 'kimi-code/FI-008' or 'claude/sonnet'. Recorded in the audit log so this action is attributed to you.
`evidence`	No
`session_id`	No	Session id returned by arif_init (looks like 'sess-…'). Pass it on every call after init so the action is attributed to your governed session.
`witness_type`	No	Who vouches for the reasoning record: 'ai' (default), 'human', or 'external' system.	ai
`session_token`	No	Session Continuity Token (SCT) — the credential string arif_init returned alongside session_id. Pass it back on follow-up calls to prove the session is yours; without it the kernel treats you as unauthenticated.

Output Schema

Name	Required	Description	Default
`meta`	Yes
`tool`	Yes
`result`	Yes
`status`	Yes
`delta_S`	No
`reasons`	Yes
`actor_id`	No
`timestamp`	Yes
`session_id`	No
`nine_signal`	Yes
`output_policy`	No
`stage_progression`	No
`philosophical_anchor`	No

Schema Changelog

Changes observed during successful MCP inspections.

Changed1 schema field changedOct 26, 2026

addedInput schema / properties / evidence

Added value: +{
+  "anyOf": [
+    {
+      "items": {
+        "additionalProperties": true,
+        "type": "object"
+      },
+      "type": "array"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null
+}

Changed1 schema field changedOct 26, 2026

removedInput schema / properties / evidence

Removed value: -{
-  "anyOf": [
-    {
-      "items": {
-        "additionalProperties": true,
-        "type": "object"
-      },
-      "type": "array"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null
-}

Changed1 schema field changedOct 25, 2026

addedInput schema / properties / evidence

Added value: +{
+  "anyOf": [
+    {
+      "items": {
+        "additionalProperties": true,
+        "type": "object"
+      },
+      "type": "array"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null
+}

Changed1 schema field changedOct 24, 2026

removedInput schema / properties / evidence

Removed value: -{
-  "anyOf": [
-    {
-      "items": {
-        "additionalProperties": true,
-        "type": "object"
-      },
-      "type": "array"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null
-}

Changed1 schema field changedOct 23, 2026

addedInput schema / properties / evidence

Added value: +{
+  "anyOf": [
+    {
+      "items": {
+        "additionalProperties": true,
+        "type": "object"
+      },
+      "type": "array"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null
+}

Changed1 schema field changedOct 20, 2026

removedInput schema / properties / concise

Removed value: -{
-  "default": true,
-  "description": "Trim result.result to essential fields (default true). Set false for the full payload — evidence_used, epistemic_labels and the AGI-readiness block. Read-only formatting choice; it never changes the reasoning itself.",
-  "type": "boolean"
-}

Changed1 schema field changedOct 20, 2026

addedInput schema / properties / context

Added value: +{
+  "anyOf": [
+    {
+      "additionalProperties": true,
+      "type": "object"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null
+}

Changed1 schema field changedOct 18, 2026

changedOutput schema / (root)

Previous value: -nullNew value: +{
+  "additionalProperties": true,
+  "properties": {
+    "actor_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ]
+    },
+    "delta_S": {
+      "anyOf": [
+        {
+          "type": "number"
+        },
+        {
+          "type": "null"
+        }
+      ]
+    },
+    "meta": {
+      "additionalProperties": true,
+      "type": "object"
+    },
+    "nine_signal": {
+      "additionalProperties": true,
+      "properties": {
+        "delta": {
+          "properties": {
+            "en": {
+              "type": "string"
+            },
+            "plane": {
+              "type": "string"
+            },
+            "state": {
+              "type": "string"
+            }
+          },
+          "required": [
+            "state",
+            "en"
+          ],
+          "type": "object"
+        },
+        "omega": {
+          "properties": {
+            "en": {
+              "type": "string"
+            },
+            "plane": {
+              "type": "string"
+            },
+            "state": {
+              "type": "string"
+            }
+          },
+          "required": [
+            "state",
+            "en"
+          ],
+          "type": "object"
+        },
+        "overall": {
+          "properties": {
+            "en": {
+              "type": "string"
+            },
+            "state": {
+              "type": "string"
+            }
+          },
+          "type": "object"
+        },
+        "psi": {
+          "properties": {
+            "en": {
+              "type": "string"
+            },
+            "plane": {
+              "type": "string"
+            },
+            "state": {
+              "type": "string"
+            }
+          },
+          "required": [
+            "state",
+            "en"
+          ],
+          "type": "object"
+        }
+      },
+      "type": "object"
+    },
+    "output_policy": {
+      "type": "string"
+    },
+    "philosophical_anchor": {
+      "additionalProperties": true,
+      "type": "object"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "type": "array"
+    },
+    "result": {
+      "additionalProperties": true,
+      "properties": {
+        "claim_tag": {
+          "type": "string"
+        },
+        "delta_S": {
+          "anyOf": [
+            {
+              "type": "number"
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "mode": {
+          "type": "string"
+        },
+        "nine_signal": {
+          "additionalProperties": true,
+          "type": "object"
+        },
+        "omega": {
+          "type": "number"
+        },
+        "reasons": {
+          "anyOf": [
+            {
+              "items": {
+                "type": "string"
+              },
+              "type": "array"
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "tau": {
+          "type": "number"
+        },
+        "verdict": {
+          "type": "string"
+        }
+      },
+      "type": "object"
+    },
+    "session_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ]
+    },
+    "stage_progression": {
+      "anyOf": [
+        {
+          "type": "null"
+        },
+        {
+          "properties": {
+            "current_stage": {
+              "type": "string"
+            },
+            "next_prompt": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            },
+            "next_stage": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            },
+            "next_tool": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            }
+          },
+          "type": "object"
+        }
+      ]
+    },
+    "status": {
+      "type": "string"
+    },
+    "timestamp": {
+      "type": "string"
+    },
+    "tool": {
+      "const": "arif_think"
+    }
+  },
+  "required": [
+    "status",
+    "tool",
+    "result",
+    "meta",
+    "timestamp",
+    "nine_signal",
+    "reasons"
+  ],
+  "type": "object"
+}

Changed1 schema field changedOct 18, 2026

changedInput schema / properties / mode / enum

Previous value: -[
-  "reason",
-  "reflect",
-  "verify",
-  "axioms",
-  "plan",
-  "plan_review",
-  "plan_approve",
-  "refactor_plan",
-  "metabolize",
-  "simulate",
-  "wonder",
-  "atlas",
-  "dag",
-  "branches",
-  "clarify"
-]New value: +[
+  "reason",
+  "reflect",
+  "verify",
+  "axioms",
+  "plan",
+  "plan_review",
+  "plan_approve",
+  "refactor_plan",
+  "metabolize",
+  "simulate",
+  "wonder",
+  "atlas"
+]

Changed1 schema field changedOct 17, 2026

addedInput schema / properties / concise / description

Added value: +"Trim result.result to essential fields (default true). Set false for the full payload — evidence_used, epistemic_labels and the AGI-readiness block. Read-only formatting choice; it never changes the reasoning itself."

Changed1 schema field changedOct 15, 2026

changedInput schema / properties / mode / enum

Previous value: -[
-  "reason",
-  "reflect",
-  "verify",
-  "axioms",
-  "plan",
-  "plan_review",
-  "plan_approve",
-  "refactor_plan",
-  "metabolize",
-  "simulate",
-  "wonder",
-  "atlas"
-]New value: +[
+  "reason",
+  "reflect",
+  "verify",
+  "axioms",
+  "plan",
+  "plan_review",
+  "plan_approve",
+  "refactor_plan",
+  "metabolize",
+  "simulate",
+  "wonder",
+  "atlas",
+  "dag",
+  "branches",
+  "clarify"
+]

Changed1 schema field changedOct 15, 2026

changedInput schema / properties / mode / enum

Previous value: -[
-  "reason",
-  "reflect",
-  "verify",
-  "axioms",
-  "plan",
-  "plan_review",
-  "plan_approve",
-  "refactor_plan",
-  "metabolize",
-  "simulate",
-  "wonder",
-  "atlas",
-  "dag",
-  "branches",
-  "clarify"
-]New value: +[
+  "reason",
+  "reflect",
+  "verify",
+  "axioms",
+  "plan",
+  "plan_review",
+  "plan_approve",
+  "refactor_plan",
+  "metabolize",
+  "simulate",
+  "wonder",
+  "atlas"
+]

Changed1 schema field changedOct 15, 2026

changedInput schema / properties / mode / enum

Previous value: -[
-  "reason",
-  "reflect",
-  "verify",
-  "axioms",
-  "plan",
-  "plan_review",
-  "plan_approve",
-  "refactor_plan",
-  "metabolize",
-  "simulate",
-  "wonder",
-  "atlas"
-]New value: +[
+  "reason",
+  "reflect",
+  "verify",
+  "axioms",
+  "plan",
+  "plan_review",
+  "plan_approve",
+  "refactor_plan",
+  "metabolize",
+  "simulate",
+  "wonder",
+  "atlas",
+  "dag",
+  "branches",
+  "clarify"
+]

Changed2 schema fields changedOct 14, 2026

removedInput schema / properties / _envelope

Removed value: -{
-  "default": null,
-  "description": "Reserved for the transport layer — never fill this in.",
-  "title": "Envelope"
-}

addedInput schema / properties / concise

Added value: +{
+  "default": true,
+  "type": "boolean"
+}

AddedOct 14, 2026

TDQS

B3.4/5.0

Behavior3/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Annotations already declare readOnlyHint=true, idempotentHint=true and destructiveHint=false, so the safety profile is covered elsewhere. The description adds that valid session credentials are required and that a 'structured reasoning record' comes back, but it does not disclose mode-specific side effects — notably whether 'plan_approve' or 'metabolize' alter stored state, which reads in tension with readOnlyHint=true, or that actions are attributed/audited.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

Four short, front-loaded sentences with no filler: purpose, mechanism, modes, credential requirement, output. The partial mode list ('reason, plan, verify') is compact but slightly hazardous, since it implies a three-mode tool when the schema exposes twelve.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness3/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

The output contract is covered by an existing output schema, so return values need no prose. However, a twelve-mode reasoning tool with a multi-step plan lifecycle (plan → plan_review → plan_approve → refactor_plan) needs sequencing guidance and a note that arif_init must precede these calls; the description gives neither, leaving the agent to reverse-engineer workflow from parameter descriptions.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema description coverage is 78%, so the schema already documents mode, query, plan_id, actor_id, session_id and session_token thoroughly. The description merely repeats three mode names that the schema enum already expands on, and adds nothing about context, evidence, witness_type, or the init-to-session_token ordering the schema hints at.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose4/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a concrete verb and resource ('Execute structured reasoning and plan formulation', 'Decomposes inquiries into verified derivations') and names three modes, so the agent knows this is a reasoning/planning kernel rather than a search or retrieval tool. It stops short of distinguishing itself from siblings like arif_judge or arif_delegate, which plausibly overlap with verify/plan work.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines3/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Mode names imply usage ('reason' for inquiry breakdown, 'plan' for drafting steps, 'verify' for proof check), but there is no explicit when-to-use vs when-not, and no routing to arif_judge, arif_route, or arif_memory for overlapping needs. The remaining nine modes are never mentioned, so an agent cannot infer when to pick 'atlas' or 'metabolize' from the description.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

All arifOS — Constitutional AI Governance tools Inspect

Try in Browser

One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

Glama MCP Gateway

Add one secure layer between your agents and this server.

333 Think · Mind

Input Schema

Output Schema

Schema Changelog

TDQS

Glama MCP Gateway

Resources