{ "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "https://www.calculatorx.com/schemas/math.algebra.linear_equation/1.5.1/output.json", "title": "Linear equation — success output", "type": "object", "additionalProperties": false, "required": [ "status", "capability_id", "engine", "inputs", "result", "result_detail", "calculation_version", "verification", "review" ], "properties": { "id": { "type": "string", "description": "Requested tool id" }, "status": { "const": "success" }, "capability_id": { "const": "math.algebra.linear_equation" }, "tool": { "type": "string", "description": "Requested tool id" }, "engine": { "type": "string" }, "inputs": { "description": "Normalized calculation inputs (aliases resolved to canonical form)", "type": "object", "properties": { "a": { "type": "number" }, "b": { "type": "number" }, "c": { "type": "number" }, "d": { "type": "number" }, "rhs": { "type": "number" }, "mode": { "enum": [ "solve", "inequality", "abs", "abs_inequality", "rational", "rational_inequality" ] }, "op": { "enum": [ "lt", "le", "gt", "ge" ] } }, "required": [ "a", "b", "rhs", "mode" ], "additionalProperties": false }, "result": { "type": "object", "properties": { "a": { "type": "number" }, "b": { "type": "number" }, "c": { "type": "number" }, "d": { "type": "number" }, "rhs": { "type": "number" }, "mode": { "enum": [ "solve", "inequality", "abs", "abs_inequality", "rational", "rational_inequality" ] }, "x": { "type": [ "number", "null" ] }, "x2": { "type": [ "number", "null" ] }, "lo": { "type": [ "number", "null" ] }, "hi": { "type": [ "number", "null" ] }, "bound": { "type": [ "number", "null" ] }, "pole": { "type": [ "number", "null" ] }, "n": { "type": [ "integer", "null" ], "minimum": 0, "maximum": 2 }, "op": { "enum": [ null, "lt", "le", "gt", "ge" ] }, "sense": { "enum": [ null, "lt", "le", "gt", "ge" ] }, "op_symbol": { "enum": [ null, "<", "≤", ">", "≥" ] }, "sense_symbol": { "enum": [ null, "<", "≤", ">", "≥" ] }, "solutions": { "type": "array", "items": { "type": "number" }, "maxItems": 2 }, "status": { "enum": [ "success", "two", "infinite", "inconsistent", "all", "empty", "interval", "union", "point", "punctured" ] }, "interval": { "type": "string" }, "formula": { "type": "string" }, "ranges": { "type": "array", "items": { "type": "object", "properties": { "lo": { "type": [ "number", "null" ] }, "hi": { "type": [ "number", "null" ] }, "lo_closed": { "type": "boolean" }, "hi_closed": { "type": "boolean" } }, "required": [ "lo", "hi", "lo_closed", "hi_closed" ], "additionalProperties": false }, "maxItems": 2 } }, "required": [ "a", "b", "c", "d", "rhs", "mode", "x", "x2", "lo", "hi", "bound", "pole", "n", "op", "sense", "op_symbol", "sense_symbol", "solutions", "status", "interval", "formula", "ranges" ], "additionalProperties": false }, "result_detail": { "type": "object", "additionalProperties": false, "required": [ "value", "unit", "formatted" ], "properties": { "value": { "type": "object", "properties": { "a": { "type": "number" }, "b": { "type": "number" }, "c": { "type": "number" }, "d": { "type": "number" }, "rhs": { "type": "number" }, "mode": { "enum": [ "solve", "inequality", "abs", "abs_inequality", "rational", "rational_inequality" ] }, "x": { "type": [ "number", "null" ] }, "x2": { "type": [ "number", "null" ] }, "lo": { "type": [ "number", "null" ] }, "hi": { "type": [ "number", "null" ] }, "bound": { "type": [ "number", "null" ] }, "pole": { "type": [ "number", "null" ] }, "n": { "type": [ "integer", "null" ], "minimum": 0, "maximum": 2 }, "op": { "enum": [ null, "lt", "le", "gt", "ge" ] }, "sense": { "enum": [ null, "lt", "le", "gt", "ge" ] }, "op_symbol": { "enum": [ null, "<", "≤", ">", "≥" ] }, "sense_symbol": { "enum": [ null, "<", "≤", ">", "≥" ] }, "solutions": { "type": "array", "items": { "type": "number" }, "maxItems": 2 }, "status": { "enum": [ "success", "two", "infinite", "inconsistent", "all", "empty", "interval", "union", "point", "punctured" ] }, "interval": { "type": "string" }, "formula": { "type": "string" }, "ranges": { "type": "array", "items": { "type": "object", "properties": { "lo": { "type": [ "number", "null" ] }, "hi": { "type": [ "number", "null" ] }, "lo_closed": { "type": "boolean" }, "hi_closed": { "type": "boolean" } }, "required": [ "lo", "hi", "lo_closed", "hi_closed" ], "additionalProperties": false }, "maxItems": 2 } }, "required": [ "a", "b", "c", "d", "rhs", "mode", "x", "x2", "lo", "hi", "bound", "pole", "n", "op", "sense", "op_symbol", "sense_symbol", "solutions", "status", "interval", "formula", "ranges" ], "additionalProperties": false }, "unit": { "type": [ "string", "null" ] }, "formatted": { "type": [ "string", "null" ] } } }, "formula": { "anyOf": [ { "type": "null" }, { "type": "string" }, { "type": "object", "additionalProperties": false, "properties": { "id": { "type": "string" }, "expression": { "type": "string" }, "label": { "type": "string" } } } ] }, "assumptions": { "type": "array", "items": { "type": "string" } }, "warnings": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "code" ], "properties": { "code": { "type": "string" }, "severity": { "type": "string" }, "detail": { "type": "string" }, "suggestion": { "type": "string" } } } }, "verification": { "type": "object", "additionalProperties": false, "description": "Computational verification under CVP. Review-policy tiers live on `review`, not here.", "required": [ "cvp" ], "properties": { "cvp": { "type": "object", "additionalProperties": false, "required": [ "status", "protocol", "profile", "verified_scope", "verification_revision", "evidence_digest" ], "properties": { "status": { "type": "string", "description": "CVP verification status (e.g. VERIFIED)" }, "protocol": { "type": "string", "description": "CVP protocol id, e.g. 1.0.0-proposed" }, "profile": { "type": "string" }, "verified_scope": { "type": "string" }, "verification_revision": { "type": [ "string", "null" ] }, "evidence_digest": { "type": [ "string", "null" ] }, "production": { "type": [ "string", "null" ], "description": "Production freshness, e.g. CURRENT" }, "evidence": { "type": "string", "format": "uri" } } } } }, "review": { "type": "object", "additionalProperties": false, "required": [ "tier", "engine_tested", "expert_reviewed", "source_checked", "reviewed_by", "reviewer_role", "last_reviewed" ], "properties": { "tier": { "type": "string", "enum": [ "candidate", "engine_tested", "internally_reviewed", "expert_verified" ] }, "engine_tested": { "type": "boolean" }, "expert_reviewed": { "type": "boolean" }, "internally_reviewed": { "type": "boolean" }, "review_kind": { "type": [ "string", "null" ] }, "source_checked": { "type": "boolean" }, "reviewed_by": { "type": [ "string", "null" ] }, "reviewer_role": { "type": [ "string", "null" ] }, "last_reviewed": { "type": [ "string", "null" ] } }, "allOf": [ { "if": { "properties": { "tier": { "const": "expert_verified" } }, "required": [ "tier" ] }, "then": { "properties": { "engine_tested": { "const": true }, "expert_reviewed": { "const": true }, "source_checked": { "const": true }, "reviewed_by": { "type": "string", "minLength": 1 }, "reviewer_role": { "type": "string", "minLength": 1 }, "last_reviewed": { "type": "string", "minLength": 1 } } } }, { "if": { "properties": { "tier": { "const": "internally_reviewed" } }, "required": [ "tier" ] }, "then": { "properties": { "engine_tested": { "const": true }, "internally_reviewed": { "const": true }, "source_checked": { "const": true } } } }, { "if": { "properties": { "tier": { "const": "engine_tested" } }, "required": [ "tier" ] }, "then": { "properties": { "engine_tested": { "const": true } } } } ] }, "calculation_version": { "type": "string", "const": "1.5.1" }, "api_version": { "type": "string" }, "api_contract_version": { "type": "string" }, "spec_version": { "type": "string" }, "page": { "type": [ "string", "null" ], "description": "Canonical calculator page URL" }, "links": { "type": "object", "additionalProperties": false, "properties": { "schema_input": { "type": "string", "format": "uri" }, "schema_output": { "type": "string", "format": "uri" }, "evidence": { "type": "string", "format": "uri" }, "openapi": { "type": "string", "format": "uri" }, "capabilities": { "type": "string", "format": "uri" }, "mcp": { "type": "string", "format": "uri" } } } } }