{"openapi":"3.1.0","info":{"title":"Agent Economy Lab — SEC Fact Verifier","description":"One agent-native capability: deterministic verification of financial claims against official SEC XBRL facts.","version":"0.1.0"},"paths":{"/health":{"get":{"summary":"Health","operationId":"health_health_get","responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"additionalProperties":true,"type":"object","title":"Response Health Health Get"}}}}}}},"/sample":{"get":{"summary":"Sample","operationId":"sample_sample_get","responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"additionalProperties":true,"type":"object","title":"Response Sample Sample Get"}}}}}}},"/v1/verify-sec-fact":{"post":{"summary":"Verify Sec Fact","operationId":"verify_sec_fact_v1_verify_sec_fact_post","requestBody":{"content":{"application/json":{"schema":{"$ref":"#/components/schemas/VerifyFactRequest"}}},"required":true},"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"$ref":"#/components/schemas/VerifyFactResponse"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}}},"components":{"schemas":{"FactEvidence":{"properties":{"taxonomy":{"type":"string","title":"Taxonomy"},"concept":{"type":"string","title":"Concept"},"label":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Label"},"description":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Description"},"unit":{"type":"string","title":"Unit"},"value":{"type":"string","pattern":"^(?!^[-+.]*$)[+-]?0*\\d*\\.?\\d*$","title":"Value"},"form":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Form"},"fiscal_year":{"anyOf":[{"type":"integer"},{"type":"null"}],"title":"Fiscal Year"},"fiscal_period":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Fiscal Period"},"period_start":{"anyOf":[{"type":"string","format":"date"},{"type":"null"}],"title":"Period Start"},"period_end":{"anyOf":[{"type":"string","format":"date"},{"type":"null"}],"title":"Period End"},"filed_at":{"anyOf":[{"type":"string","format":"date"},{"type":"null"}],"title":"Filed At"},"accession_number":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Accession Number"},"frame":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Frame"}},"type":"object","required":["taxonomy","concept","label","description","unit","value","form","fiscal_year","fiscal_period","period_start","period_end","filed_at","accession_number","frame"],"title":"FactEvidence"},"HTTPValidationError":{"properties":{"detail":{"items":{"$ref":"#/components/schemas/ValidationError"},"type":"array","title":"Detail"}},"type":"object","title":"HTTPValidationError"},"ValidationError":{"properties":{"loc":{"items":{"anyOf":[{"type":"string"},{"type":"integer"}]},"type":"array","title":"Location"},"msg":{"type":"string","title":"Message"},"type":{"type":"string","title":"Error Type"},"input":{"title":"Input"},"ctx":{"type":"object","title":"Context"}},"type":"object","required":["loc","msg","type"],"title":"ValidationError"},"VerifyFactRequest":{"properties":{"ticker":{"anyOf":[{"type":"string","maxLength":10,"minLength":1},{"type":"null"}],"title":"Ticker","description":"US-listed ticker"},"cik":{"anyOf":[{"type":"string","pattern":"^\\d{1,10}$"},{"type":"null"}],"title":"Cik","description":"SEC Central Index Key"},"concept":{"type":"string","title":"Concept","description":"Exact us-gaap XBRL concept or supported alias"},"claim_value":{"anyOf":[{"type":"number"},{"type":"string","pattern":"^(?!^[-+.]*$)[+-]?0*\\d*\\.?\\d*$"}],"title":"Claim Value","description":"Numeric value to verify"},"unit":{"type":"string","maxLength":20,"minLength":1,"title":"Unit","default":"USD"},"form":{"anyOf":[{"type":"string","enum":["10-K","10-Q","8-K","20-F","40-F"]},{"type":"null"}],"title":"Form","default":"10-K"},"fiscal_year":{"anyOf":[{"type":"integer","maximum":2100.0,"minimum":1990.0},{"type":"null"}],"title":"Fiscal Year"},"fiscal_period":{"anyOf":[{"type":"string","pattern":"^(FY|Q[1-4])$"},{"type":"null"}],"title":"Fiscal Period"},"as_of":{"anyOf":[{"type":"string","format":"date"},{"type":"null"}],"title":"As Of","description":"Only use facts filed on or before this date"},"tolerance_percent":{"anyOf":[{"type":"number","maximum":100.0,"minimum":0.0},{"type":"string","pattern":"^(?!^[-+.]*$)[+-]?0*\\d*\\.?\\d*$"}],"title":"Tolerance Percent","default":"0.1"},"tolerance_absolute":{"anyOf":[{"type":"number","minimum":0.0},{"type":"string","pattern":"^(?!^[-+.]*$)[+-]?0*\\d*\\.?\\d*$"}],"title":"Tolerance Absolute","default":"0"}},"type":"object","required":["concept","claim_value"],"title":"VerifyFactRequest"},"VerifyFactResponse":{"properties":{"status":{"type":"string","enum":["verified","mismatch","unknown"],"title":"Status"},"verified_at":{"type":"string","format":"date-time","title":"Verified At"},"confidence":{"type":"string","enum":["high","unknown"],"title":"Confidence"},"company":{"additionalProperties":true,"type":"object","title":"Company"},"claim":{"additionalProperties":true,"type":"object","title":"Claim"},"evidence":{"anyOf":[{"$ref":"#/components/schemas/FactEvidence"},{"type":"null"}]},"comparison":{"anyOf":[{"additionalProperties":true,"type":"object"},{"type":"null"}],"title":"Comparison"},"provenance":{"additionalProperties":true,"type":"object","title":"Provenance"},"error":{"anyOf":[{"additionalProperties":{"type":"string"},"type":"object"},{"type":"null"}],"title":"Error"}},"type":"object","required":["status","verified_at","confidence","company","claim","evidence","comparison","provenance"],"title":"VerifyFactResponse"}}}}