{"id":"float-stability","title":"Floating-point stability of an expression over variable ranges","description":"Evaluates a real-valued expression in binary64 (or binary32) on a deterministic grid over the caller's variable ranges and compares each point with a certified arbitrary-precision reference, reporting the decimal digits lost, the worst input, and overflow, underflow or NaN. Recognises and rewrites exp(x)-1, 1-cos(x), log(1+x), sqrt(a)-sqrt(b), a^2-b^2, the quadratic formula, sqrt(x^2+y^2) and log-sum-exp, measures the rewrite on the same grid, and can score a caller-supplied alternative. Samples a finite grid, so it can find instability but not prove its absence; the expression grammar has + - * / ^, the listed functions and no user code.","roi":"Catastrophic cancellation and spurious overflow pass every happy-path test and fail only on the inputs nobody sampled.","audience":"developer","package":"code-preflight-kit","channels":["x402","mcp"],"endpoint":{"method":"POST","url":"https://agents.writerslogic.com/api/v1/float-stability","path":"/api/v1/float-stability","contentType":"application/json"},"price":{"amount":"0.005","currency":"USDC","network":"base","perCall":true,"failedCallsCharged":false},"inputSchema":{"type":"object","additionalProperties":false,"required":["expression","variables"],"properties":{"expression":{"type":"string","maxLength":500,"description":"Expression in the declared variables, e.g. 'exp(x) - 1'. Operators + - * / ^ (or **); functions sqrt exp expm1 log log1p log2 log10 sin cos tan atan sinh cosh tanh abs pow hypot min max; constants pi, e."},"variables":{"type":"array","minItems":1,"maxItems":6,"items":{"type":"object","required":["name","min","max"],"properties":{"name":{"type":"string","pattern":"^[A-Za-z_][A-Za-z0-9_]*$","maxLength":32},"min":{"type":"number","description":"Smallest value the variable takes (finite binary64)."},"max":{"type":"number","description":"Largest value."},"scale":{"type":"string","enum":["linear","log"],"description":"Grid spacing. Default: log when 0 < min and max/min >= 1000, else linear (with probes near 0 when the range contains it)."}}},"description":"Range of every free variable."},"precision":{"type":"string","enum":["binary64","binary32"],"description":"Arithmetic of the code under test. Default binary64."},"alternative":{"type":"string","maxLength":500,"description":"Optional algebraically equal expression to score on the same grid."},"maxDigitsLost":{"type":"integer","minimum":0,"maximum":16,"description":"Fail above this many lost digits. Default 4."}}},"resultSchema":{"type":"object","properties":{"status":{"type":"string","enum":["pass","fail","unknown","unsupported"],"description":"pass: every rule held. fail: a rule was violated (see witnesses). unknown: the input lacks the evidence to decide. unsupported: outside what this engine covers. Missing evidence is never a pass."},"precision":{"type":"string"},"expression":{"type":"string","description":"Canonical form of the parsed expression."},"samples":{"type":"object","description":"total, certified and skipped counts (domain error, uncertified reference, out of binary range)."},"worstDigitsLost":{"type":"number"},"worst":{"type":"array","items":{"type":"object","properties":{"inputs":{"type":"object"},"computed":{"type":"string"},"reference":{"type":"string"},"digitsLost":{"type":"number"},"kind":{"type":"string"}}}},"patterns":{"type":"array","items":{"type":"object","properties":{"pattern":{"type":"string"},"original":{"type":"string"},"rewrite":{"type":"string"}}}},"suggestedExpression":{"type":"string"},"suggestedWorstDigitsLost":{"type":"number"},"alternativeWorstDigitsLost":{"type":"number"},"witnesses":{"type":"array","items":{"type":"object","properties":{"ruleId":{"type":"string"},"detail":{"type":"string"},"path":{"type":"string","description":"JSON pointer or dotted path into the input."},"offset":{"type":"integer"},"index":{"type":"integer"},"expected":{"description":"What the rule required."},"actual":{"description":"What the input had."}}}},"versions":{"type":"object","description":"Every semantic dependency of this answer (engine, tables and their as-of dates, tokenizer, calendar, rounding profile)."},"limits":{"type":"array","items":{"type":"string"}},"deterministic":{"type":"boolean","description":"Always true: pure code, no model."}}},"outputSchema":{"type":"object","properties":{"data":{"type":"object","properties":{"status":{"type":"string","enum":["pass","fail","unknown","unsupported"],"description":"pass: every rule held. fail: a rule was violated (see witnesses). unknown: the input lacks the evidence to decide. unsupported: outside what this engine covers. Missing evidence is never a pass."},"precision":{"type":"string"},"expression":{"type":"string","description":"Canonical form of the parsed expression."},"samples":{"type":"object","description":"total, certified and skipped counts (domain error, uncertified reference, out of binary range)."},"worstDigitsLost":{"type":"number"},"worst":{"type":"array","items":{"type":"object","properties":{"inputs":{"type":"object"},"computed":{"type":"string"},"reference":{"type":"string"},"digitsLost":{"type":"number"},"kind":{"type":"string"}}}},"patterns":{"type":"array","items":{"type":"object","properties":{"pattern":{"type":"string"},"original":{"type":"string"},"rewrite":{"type":"string"}}}},"suggestedExpression":{"type":"string"},"suggestedWorstDigitsLost":{"type":"number"},"alternativeWorstDigitsLost":{"type":"number"},"witnesses":{"type":"array","items":{"type":"object","properties":{"ruleId":{"type":"string"},"detail":{"type":"string"},"path":{"type":"string","description":"JSON pointer or dotted path into the input."},"offset":{"type":"integer"},"index":{"type":"integer"},"expected":{"description":"What the rule required."},"actual":{"description":"What the input had."}}}},"versions":{"type":"object","description":"Every semantic dependency of this answer (engine, tables and their as-of dates, tokenizer, calendar, rounding profile)."},"limits":{"type":"array","items":{"type":"string"}},"deterministic":{"type":"boolean","description":"Always true: pure code, no model."}}},"_provenance":{"type":"object","description":"C2PA-aligned manifest and W3C VC 2.0 (eddsa-jcs-2022) issued by the hub DID; verify at POST /api/v1/verify-provenance"}},"required":["data","_provenance"]},"example":{"expression":"exp(x) - 1","variables":[{"name":"x","min":1e-12,"max":1}]},"openapiOperation":{"operationId":"float_stability","summary":"Floating-point stability of an expression over variable ranges","description":"Evaluates a real-valued expression in binary64 (or binary32) on a deterministic grid over the caller's variable ranges and compares each point with a certified arbitrary-precision reference, reporting the decimal digits lost, the worst input, and overflow, underflow or NaN. Recognises and rewrites exp(x)-1, 1-cos(x), log(1+x), sqrt(a)-sqrt(b), a^2-b^2, the quadratic formula, sqrt(x^2+y^2) and log-sum-exp, measures the rewrite on the same grid, and can score a caller-supplied alternative. Samples a finite grid, so it can find instability but not prove its absence; the expression grammar has + - * / ^, the listed functions and no user code.\n\nPrice: 0.005 USDC on Base (x402).","x-x402-price-usdc":"0.005","x-x402-amount":"5000","x-payment-info":{"protocols":["x402"],"price":{"mode":"fixed","currency":"USD","amount":"0.005"}},"x-audience":"developer","x-sample-url":"https://agents.writerslogic.com/api/v1/samples/float-stability","security":[{"x402":[]},{"apiKey":[]}],"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"required":["expression","variables"],"properties":{"expression":{"type":"string","maxLength":500,"description":"Expression in the declared variables, e.g. 'exp(x) - 1'. Operators + - * / ^ (or **); functions sqrt exp expm1 log log1p log2 log10 sin cos tan atan sinh cosh tanh abs pow hypot min max; constants pi, e."},"variables":{"type":"array","minItems":1,"maxItems":6,"items":{"type":"object","required":["name","min","max"],"properties":{"name":{"type":"string","pattern":"^[A-Za-z_][A-Za-z0-9_]*$","maxLength":32},"min":{"type":"number","description":"Smallest value the variable takes (finite binary64)."},"max":{"type":"number","description":"Largest value."},"scale":{"type":"string","enum":["linear","log"],"description":"Grid spacing. Default: log when 0 < min and max/min >= 1000, else linear (with probes near 0 when the range contains it)."}}},"description":"Range of every free variable."},"precision":{"type":"string","enum":["binary64","binary32"],"description":"Arithmetic of the code under test. Default binary64."},"alternative":{"type":"string","maxLength":500,"description":"Optional algebraically equal expression to score on the same grid."},"maxDigitsLost":{"type":"integer","minimum":0,"maximum":16,"description":"Fail above this many lost digits. Default 4."}}},"example":{"expression":"exp(x) - 1","variables":[{"name":"x","min":1e-12,"max":1}]}}}},"responses":{"200":{"description":"Paid result with provenance","content":{"application/json":{"schema":{"type":"object","properties":{"data":{"type":"object","properties":{"status":{"type":"string","enum":["pass","fail","unknown","unsupported"],"description":"pass: every rule held. fail: a rule was violated (see witnesses). unknown: the input lacks the evidence to decide. unsupported: outside what this engine covers. Missing evidence is never a pass."},"precision":{"type":"string"},"expression":{"type":"string","description":"Canonical form of the parsed expression."},"samples":{"type":"object","description":"total, certified and skipped counts (domain error, uncertified reference, out of binary range)."},"worstDigitsLost":{"type":"number"},"worst":{"type":"array","items":{"type":"object","properties":{"inputs":{"type":"object"},"computed":{"type":"string"},"reference":{"type":"string"},"digitsLost":{"type":"number"},"kind":{"type":"string"}}}},"patterns":{"type":"array","items":{"type":"object","properties":{"pattern":{"type":"string"},"original":{"type":"string"},"rewrite":{"type":"string"}}}},"suggestedExpression":{"type":"string"},"suggestedWorstDigitsLost":{"type":"number"},"alternativeWorstDigitsLost":{"type":"number"},"witnesses":{"type":"array","items":{"type":"object","properties":{"ruleId":{"type":"string"},"detail":{"type":"string"},"path":{"type":"string","description":"JSON pointer or dotted path into the input."},"offset":{"type":"integer"},"index":{"type":"integer"},"expected":{"description":"What the rule required."},"actual":{"description":"What the input had."}}}},"versions":{"type":"object","description":"Every semantic dependency of this answer (engine, tables and their as-of dates, tokenizer, calendar, rounding profile)."},"limits":{"type":"array","items":{"type":"string"}},"deterministic":{"type":"boolean","description":"Always true: pure code, no model."}}},"_provenance":{"type":"object","description":"C2PA-aligned manifest and W3C VC 2.0 (eddsa-jcs-2022) issued by the hub DID; verify at POST /api/v1/verify-provenance"}},"required":["data","_provenance"]}}}},"400":{"description":"Invalid request (no payment consumed)","content":{"application/json":{"schema":{"type":"object","properties":{"error":{"type":"string"},"code":{"type":"string"}}}}}},"401":{"description":"Invalid X-API-KEY","content":{"application/json":{"schema":{"type":"object","properties":{"error":{"type":"string"},"code":{"type":"string"}}}}}},"402":{"description":"Payment required or invalid","content":{"application/json":{"schema":{"type":"object","description":"x402 v2 PaymentRequired (also base64 in the PAYMENT-REQUIRED header)","properties":{"x402Version":{"type":"integer"},"error":{"type":"string"},"code":{"type":"string"},"resource":{"type":"object"},"accepts":{"type":"array","items":{"type":"object"}},"extensions":{"type":"object"}}}}}},"502":{"description":"Upstream failure; the payment is released or not settled","content":{"application/json":{"schema":{"type":"object","properties":{"error":{"type":"string"},"code":{"type":"string"}}}}}}}},"links":{"docs":"https://agents.writerslogic.com/docs/float-stability/","docsJson":"https://agents.writerslogic.com/docs/float-stability.json","sample":"https://agents.writerslogic.com/api/v1/samples/float-stability","openapi":"https://agents.writerslogic.com/openapi.json","catalog":"https://agents.writerslogic.com/api/v1/catalog","verifyProvenance":"https://agents.writerslogic.com/api/v1/verify-provenance","index":"https://agents.writerslogic.com/docs/index.json"}}