{"openapi":"3.1.0","info":{"title":"HALOWERK datenvertragswerk","version":"1.0.0","description":"HALOWERK datenvertragswerk — bezahlte Endpunkte nach x402. Preise in USDC auf Base Mainnet.","contact":{"url":"https://datenvertrag.halowerk.com/"}},"servers":[{"url":"https://datenvertrag.halowerk.com"}],"paths":{"/v1/scd2-validity-ledger":{"post":{"operationId":"scd2_validity_ledger","summary":"Check a bounded corrected dimension history before a data agent publishes it.","description":"Check a bounded corrected dimension history before a data agent publishes it. Caller-supplied pseudonyms/hashes only; no external identity claim. Conflicting selected hashes yield not_observed; missing coverage yields unknown. A schema-valid unknown is a successful result at the same fixed price. Invalid input must raise native HTTP 400 before settlement.","tags":["datenvertragswerk"],"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"properties":{"window":{"type":"object","additionalProperties":false,"properties":{"from":{"type":"integer","minimum":0,"maximum":4102444800},"to":{"type":"integer","minimum":0,"maximum":4102444800}},"required":["from","to"]},"source_priority":{"type":"array","items":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"minItems":1,"maxItems":4},"records":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"entity":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"from":{"type":"integer","minimum":0,"maximum":4102444800},"to":{"anyOf":[{"type":"integer","minimum":0,"maximum":4102444800},{"type":"null"}]},"source":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"revision":{"type":"integer","minimum":0,"maximum":1000000},"hash":{"type":"string","pattern":"^[0-9a-f]{64}$"}},"required":["id","entity","from","to","source","revision","hash"]},"minItems":1,"maxItems":24},"withdrawn_ids":{"type":"array","items":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"minItems":0,"maxItems":24}},"required":["window","source_priority","records"]}}}},"responses":{"200":{"description":"Result","content":{"application/json":{"schema":{"type":"object","properties":{"data":{"type":"object","additionalProperties":false,"properties":{"module":{"const":"scd2-validity-ledger"},"state":{"enum":["observed","not_observed","unknown"]},"value":{"anyOf":[{"type":"object","additionalProperties":false,"properties":{"segments":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"entity":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"from":{"type":"integer","minimum":0,"maximum":4102444800},"to":{"type":"integer","minimum":0,"maximum":4102444800},"state":{"enum":["observed","not_observed","unknown"]},"hash":{"anyOf":[{"type":"string","pattern":"^[0-9a-f]{64}$"},{"type":"null"}]},"supports":{"type":"array","items":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"minItems":0,"maxItems":24}},"required":["entity","from","to","state","hash","supports"]},"minItems":0,"maxItems":56}},"required":["segments"]},{"type":"null"}]},"confidence":{"enum":[0,1]},"evidence":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string","pattern":"^[a-z_]{1,64}$"},"record_ids":{"type":"array","items":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"minItems":0,"maxItems":24}},"required":["code"]},"minItems":0,"maxItems":8},"warnings":{"type":"array","items":{"type":"string","pattern":"^[a-z_]{1,64}$"},"minItems":0,"maxItems":8},"limits":{"type":"array","items":{"type":"string","pattern":"^[a-z_]{1,64}$"},"minItems":0,"maxItems":8},"error":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string","pattern":"^[a-z_]{1,64}$"},"http_status":{"const":400}},"required":["code","http_status"]}},"required":["module","state","value","confidence","evidence","warnings","limits"]},"meta":{"type":"object"},"charged":{"type":"boolean"},"payment":{"type":"object"}},"required":["data"],"additionalProperties":false}}}},"400":{"description":"Eingabe ungültig, charged=false"},"402":{"description":"Zahlung erforderlich. Die Antwort trägt accepts, description und inputSchema.","content":{"application/json":{"schema":{"$ref":"#/components/schemas/PaymentRequired"}}}},"429":{"description":"Zu viele unbezahlte Anfragen, charged=false"},"502":{"description":"Gegenstelle nicht erreichbar, charged=false"},"504":{"description":"Zeitbudget überschritten, charged=false"}}}},"/v1/delta-dv-replacement-precondition":{"post":{"operationId":"delta_dv_replacement_precondition","summary":"Check the two named atomic logical-file replacement preconditions before a data writer proposes a new deletion-vector identity for an existing physical file.","description":"Check the two named atomic logical-file replacement preconditions before a data writer proposes a new deletion-vector identity for an existing physical file. Checks only per-path action multiplicity and exact prior-DV retirement; observed is not full Delta commit validity. Pseudonym metadata only,no file access or changes. Schema-valid unknown is successful at the same fixed price;invalid input requires native400 before settlement. A schema-valid unknown is a successful result at the same fixed price; requests are capped at16384UTF8bytes and data replies at32768UTF8bytes; invalid input must raise native HTTP 400 before settlement.","tags":["datenvertragswerk"],"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"properties":{"snapshot_complete":{"type":"boolean"},"current_files":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"file":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"dv":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]}},"required":["file","dv"]},"minItems":0,"maxItems":16},"adds":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"file":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"dv":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]}},"required":["file","dv"]},"minItems":0,"maxItems":16},"removes":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"file":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"dv":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]}},"required":["file","dv"]},"minItems":0,"maxItems":16}},"required":["snapshot_complete","current_files","adds","removes"]}}}},"responses":{"200":{"description":"Result","content":{"application/json":{"schema":{"type":"object","properties":{"data":{"type":"object","additionalProperties":false,"properties":{"module":{"const":"delta-dv-replacement-precondition"},"state":{"enum":["observed","not_observed","unknown"]},"value":{"anyOf":[{"type":"object","additionalProperties":false,"properties":{"violations":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string","pattern":"^[a-z_]{1,64}$"},"file":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"}},"required":["code","file"]},"minItems":0,"maxItems":64},"unknown":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string","pattern":"^[a-z_]{1,64}$"},"file":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"}},"required":["code","file"]},"minItems":0,"maxItems":16},"replacements":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"file":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"previous_dv":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]},"new_dv":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]}},"required":["file","previous_dv","new_dv"]},"minItems":0,"maxItems":16},"metadata_updates":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"file":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"dv":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]}},"required":["file","dv"]},"minItems":0,"maxItems":16},"new_files":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"file":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"dv":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]}},"required":["file","dv"]},"minItems":0,"maxItems":16}},"required":["violations","unknown","replacements","metadata_updates","new_files"]},{"type":"null"}]},"confidence":{"enum":[0,1]},"evidence":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string"}},"required":["code"]},"minItems":0,"maxItems":8},"warnings":{"type":"array","items":{"type":"string"},"minItems":0,"maxItems":8},"limits":{"type":"array","items":{"type":"string"},"minItems":0,"maxItems":8},"error":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string"},"http_status":{"const":400}},"required":["code","http_status"]}},"required":["module","state","value","confidence","evidence","warnings","limits"]},"meta":{"type":"object"},"charged":{"type":"boolean"},"payment":{"type":"object"}},"required":["data"],"additionalProperties":false}}}},"400":{"description":"Eingabe ungültig, charged=false"},"402":{"description":"Zahlung erforderlich. Die Antwort trägt accepts, description und inputSchema.","content":{"application/json":{"schema":{"$ref":"#/components/schemas/PaymentRequired"}}}},"429":{"description":"Zu viele unbezahlte Anfragen, charged=false"},"502":{"description":"Gegenstelle nicht erreichbar, charged=false"},"504":{"description":"Zeitbudget überschritten, charged=false"}}}},"/v1/merge-match-action-agreement":{"post":{"operationId":"merge_match_action_agreement","summary":"Audit whether pre-resolved source actions for the same physical MERGE target row satisfy documented action-agreement conditions,or contain a provable UPDATE/DELETE or unequal-UPDATE conflict,before warehouse loading.","description":"Audit whether pre-resolved source actions for the same physical MERGE target row satisfy documented action-agreement conditions,or contain a provable UPDATE/DELETE or unequal-UPDATE conflict,before warehouse loading. Normalized physical target grouping and action resolution are caller-supplied. Equal multiple UPDATE assignments remain unknown;no full SQL or engine-success claim. Schema-valid unknown has the same fixed price;invalid input requires nativeHTTP400 before settlement. A schema-valid unknown is a successful result at the same fixed price; requests are capped at16384UTF8bytes and data replies at32768UTF8bytes; invalid input must raise native HTTP 400 before settlement.","tags":["datenvertragswerk"],"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"properties":{"groups":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"target":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"matches_complete":{"type":"boolean"},"matches":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"source":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"action":{"enum":["update","delete","none",null]},"assignment_class":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]}},"required":["source","action","assignment_class"],"allOf":[{"if":{"properties":{"action":{"enum":["delete","none",null]}}},"then":{"properties":{"assignment_class":{"type":"null"}}}}]},"minItems":0,"maxItems":64}},"required":["target","matches_complete","matches"]},"minItems":1,"maxItems":16}},"required":["groups"]}}}},"responses":{"200":{"description":"Result","content":{"application/json":{"schema":{"type":"object","properties":{"data":{"type":"object","additionalProperties":false,"properties":{"module":{"const":"merge-match-action-agreement"},"state":{"enum":["observed","not_observed","unknown"]},"value":{"anyOf":[{"type":"object","additionalProperties":false,"properties":{"targets":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"target":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"state":{"enum":["observed","not_observed","unknown"]},"rule":{"type":"string","maxLength":200},"matches_complete":{"type":"boolean"},"counts":{"type":"object","additionalProperties":false,"properties":{"matches":{"type":"integer","minimum":0,"maximum":64},"updates":{"type":"integer","minimum":0,"maximum":64},"deletes":{"type":"integer","minimum":0,"maximum":64},"inert":{"type":"integer","minimum":0,"maximum":64},"unknown_actions":{"type":"integer","minimum":0,"maximum":64},"known_update_classes":{"type":"integer","minimum":0,"maximum":64},"missing_update_classes":{"type":"integer","minimum":0,"maximum":64}},"required":["matches","updates","deletes","inert","unknown_actions","known_update_classes","missing_update_classes"]},"missing_evidence":{"type":"array","items":{"type":"string","maxLength":200},"minItems":0,"maxItems":3},"conflicts":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"rule":{"enum":["update_delete_conflict","unequal_update_assignments"]},"sources":{"type":"array","items":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"minItems":2,"maxItems":2},"assignment_classes":{"type":"array","items":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"minItems":0,"maxItems":2}},"required":["rule","sources","assignment_classes"]},"minItems":0,"maxItems":2}},"required":["target","state","rule","matches_complete","counts","missing_evidence","conflicts"]},"minItems":1,"maxItems":16},"summary":{"type":"object","additionalProperties":false,"properties":{"observed":{"type":"integer","minimum":0,"maximum":16},"not_observed":{"type":"integer","minimum":0,"maximum":16},"unknown":{"type":"integer","minimum":0,"maximum":16},"total_matches":{"type":"integer","minimum":0,"maximum":1024}},"required":["observed","not_observed","unknown","total_matches"]}},"required":["targets","summary"]},{"type":"null"}]},"confidence":{"enum":[0,1]},"evidence":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string","maxLength":200}},"required":["code"]},"minItems":0,"maxItems":8},"warnings":{"type":"array","items":{"type":"string","maxLength":200},"minItems":0,"maxItems":8},"limits":{"type":"array","items":{"type":"string","maxLength":200},"minItems":0,"maxItems":8},"error":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string","maxLength":200},"http_status":{"const":400}},"required":["code","http_status"]}},"required":["module","state","value","confidence","evidence","warnings","limits"]},"meta":{"type":"object"},"charged":{"type":"boolean"},"payment":{"type":"object"}},"required":["data"],"additionalProperties":false}}}},"400":{"description":"Eingabe ungültig, charged=false"},"402":{"description":"Zahlung erforderlich. Die Antwort trägt accepts, description und inputSchema.","content":{"application/json":{"schema":{"$ref":"#/components/schemas/PaymentRequired"}}}},"429":{"description":"Zu viele unbezahlte Anfragen, charged=false"},"502":{"description":"Gegenstelle nicht erreichbar, charged=false"},"504":{"description":"Zeitbudget überschritten, charged=false"}}}},"/v1/unmatched-component-retraction-ledger":{"post":{"operationId":"unmatched_component_retraction_ledger","summary":"Audit the signed retraction/restoration ledger of structurally unmatched left tuples when supplied left/right bag changes cross the zero-match boundary, before applying a materialized-view delta.","description":"Audit the signed retraction/restoration ledger of structurally unmatched left tuples when supplied left/right bag changes cross the zero-match boundary, before applying a materialized-view delta. Only structural unmatched-extension coefficients, no normal join pairs or join-mode parameter. Missing evidence stays unknown; known negative residual stocks dominate. Schema-valid unknown has the same fixed price; invalid input requires native HTTP400 before settlement. A schema-valid unknown is a successful result at the same fixed price; requests are capped at16384UTF8bytes and data replies at32768UTF8bytes; invalid input must raise native HTTP 400 before settlement.","tags":["datenvertragswerk"],"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"properties":{"left_complete":{"type":"boolean"},"right_complete":{"type":"boolean"},"left":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"key":{"oneOf":[{"type":"object","additionalProperties":false,"properties":{"tag":{"const":"value"},"value":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"}},"required":["tag","value"]},{"type":"object","additionalProperties":false,"properties":{"tag":{"const":"sql_null"}},"required":["tag"]},{"type":"object","additionalProperties":false,"properties":{"tag":{"const":"unknown"}},"required":["tag"]}]},"payload":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]},"before":{"anyOf":[{"type":"integer","minimum":0,"maximum":1000000},{"type":"null"}]},"delta":{"anyOf":[{"type":"integer","minimum":-1000000,"maximum":1000000},{"type":"null"}]}},"required":["id","key","payload","before","delta"]},"minItems":0,"maxItems":16},"right":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"key":{"oneOf":[{"type":"object","additionalProperties":false,"properties":{"tag":{"const":"value"},"value":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"}},"required":["tag","value"]},{"type":"object","additionalProperties":false,"properties":{"tag":{"const":"sql_null"}},"required":["tag"]},{"type":"object","additionalProperties":false,"properties":{"tag":{"const":"unknown"}},"required":["tag"]}]},"payload":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]},"before":{"anyOf":[{"type":"integer","minimum":0,"maximum":1000000},{"type":"null"}]},"delta":{"anyOf":[{"type":"integer","minimum":-1000000,"maximum":1000000},{"type":"null"}]}},"required":["id","key","payload","before","delta"]},"minItems":0,"maxItems":16},"claimed_delta":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"left":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"component":{"const":"unmatched_extension"},"count":{"type":"integer","minimum":-1000000,"maximum":1000000}},"required":["left","component","count"]},"minItems":0,"maxItems":64}},"required":["left_complete","right_complete","left","right","claimed_delta"]}}}},"responses":{"200":{"description":"Result","content":{"application/json":{"schema":{"type":"object","properties":{"data":{"type":"object","additionalProperties":false,"properties":{"module":{"const":"unmatched-component-retraction-ledger"},"state":{"enum":["observed","not_observed","unknown"]},"value":{"anyOf":[{"type":"object","additionalProperties":false,"properties":{"component":{"const":"unmatched_extension"},"stock_contradictions":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"side":{"enum":["left","right"]},"tuple":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"after":{"type":"integer","minimum":-1000000,"maximum":-1}},"required":["side","tuple","after"]},"minItems":0,"maxItems":32},"decisions":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"left":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"match_before":{"enum":[true,false,null]},"match_after":{"enum":[true,false,null]},"unmatched_before":{"anyOf":[{"type":"integer","minimum":0,"maximum":2000000},{"type":"null"}]},"unmatched_after":{"anyOf":[{"type":"integer","minimum":0,"maximum":2000000},{"type":"null"}]},"expected_delta":{"anyOf":[{"type":"integer","minimum":-2000000,"maximum":2000000},{"type":"null"}]},"claimed_delta":{"type":"integer","minimum":-64000000,"maximum":64000000},"state":{"enum":["observed","not_observed","unknown"]}},"required":["left","match_before","match_after","unmatched_before","unmatched_after","expected_delta","claimed_delta","state"]},"minItems":0,"maxItems":16},"outside_left_claims":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"left":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"count":{"type":"integer","minimum":-64000000,"maximum":64000000},"known_extra":{"type":"boolean"}},"required":["left","count","known_extra"]},"minItems":0,"maxItems":64},"left_coverage_complete":{"type":"boolean"},"summary":{"type":"object","additionalProperties":false,"properties":{"left_tuples_supplied":{"type":"integer","minimum":0,"maximum":16},"compared_left_tuples":{"type":"integer","minimum":0,"maximum":16},"known_decisions":{"type":"integer","minimum":0,"maximum":16},"unknown_decisions":{"type":"integer","minimum":0,"maximum":16},"claim_mismatches":{"type":"integer","minimum":0,"maximum":16}},"required":["left_tuples_supplied","compared_left_tuples","known_decisions","unknown_decisions","claim_mismatches"]}},"required":["component","stock_contradictions","decisions","outside_left_claims","left_coverage_complete","summary"]},{"type":"null"}]},"confidence":{"enum":[0,1]},"evidence":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string","maxLength":220}},"required":["code"]},"minItems":0,"maxItems":8},"warnings":{"type":"array","items":{"type":"string","maxLength":220},"minItems":0,"maxItems":8},"limits":{"type":"array","items":{"type":"string","maxLength":220},"minItems":0,"maxItems":8},"error":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string","maxLength":220},"http_status":{"const":400}},"required":["code","http_status"]}},"required":["module","state","value","confidence","evidence","warnings","limits"]},"meta":{"type":"object"},"charged":{"type":"boolean"},"payment":{"type":"object"}},"required":["data"],"additionalProperties":false}}}},"400":{"description":"Eingabe ungültig, charged=false"},"402":{"description":"Zahlung erforderlich. Die Antwort trägt accepts, description und inputSchema.","content":{"application/json":{"schema":{"$ref":"#/components/schemas/PaymentRequired"}}}},"429":{"description":"Zu viele unbezahlte Anfragen, charged=false"},"502":{"description":"Gegenstelle nicht erreichbar, charged=false"},"504":{"description":"Zeitbudget überschritten, charged=false"}}}},"/v1/reader-row-lineage-audit":{"post":{"operationId":"reader_row_lineage_audit","summary":"Audit row-lineage reader claims through manifest/file/row inheritance and explicit-value gates.","description":"An Iceberg-v3 reader fixture maintainer audits inherited row-lineage claims from ordered manifest entries and physical row positions,while retaining explicitly stored lineage values. Pinned Iceberg1.10.0 reader fragment only; semantic null and Capture-Unknown are distinct. No writer allocation or general table-validity claim. Successful unknown has fixed0.003USDC; invalid profile HTTP400 before settlement. A schema-valid unknown is a successful result at the same fixed price; requests are capped at16384UTF8bytes and data replies at32768UTF8bytes; invalid input must raise native HTTP 400 before settlement.","tags":["datenvertragswerk"],"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"properties":{"manifest_first_row_id":{"oneOf":[{"type":"object","additionalProperties":false,"properties":{"known":{"const":true},"value":{"anyOf":[{"type":"integer","minimum":0,"maximum":1000000},{"type":"null"}]}},"required":["known","value"]},{"type":"object","additionalProperties":false,"properties":{"known":{"const":false},"value":{"type":"null"}},"required":["known","value"]}]},"entries_complete":{"type":"boolean"},"files":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"status":{"enum":["ADDED","EXISTING"]},"record_count":{"oneOf":[{"type":"object","additionalProperties":false,"properties":{"known":{"const":true},"value":{"type":"integer","minimum":0,"maximum":10000}},"required":["known","value"]},{"type":"object","additionalProperties":false,"properties":{"known":{"const":false},"value":{"type":"null"}},"required":["known","value"]}]},"first_row_id":{"oneOf":[{"type":"object","additionalProperties":false,"properties":{"known":{"const":true},"value":{"anyOf":[{"type":"integer","minimum":0,"maximum":1000000},{"type":"null"}]}},"required":["known","value"]},{"type":"object","additionalProperties":false,"properties":{"known":{"const":false},"value":{"type":"null"}},"required":["known","value"]}]},"data_sequence_number":{"oneOf":[{"type":"object","additionalProperties":false,"properties":{"known":{"const":true},"value":{"anyOf":[{"type":"integer","minimum":0,"maximum":1000000},{"type":"null"}]}},"required":["known","value"]},{"type":"object","additionalProperties":false,"properties":{"known":{"const":false},"value":{"type":"null"}},"required":["known","value"]}]},"rows":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"position":{"type":"integer","minimum":0,"maximum":9999},"stored_row_id":{"oneOf":[{"type":"object","additionalProperties":false,"properties":{"known":{"const":true},"value":{"anyOf":[{"type":"integer","minimum":0,"maximum":1000000},{"type":"null"}]}},"required":["known","value"]},{"type":"object","additionalProperties":false,"properties":{"known":{"const":false},"value":{"type":"null"}},"required":["known","value"]}]},"stored_last_updated":{"oneOf":[{"type":"object","additionalProperties":false,"properties":{"known":{"const":true},"value":{"anyOf":[{"type":"integer","minimum":0,"maximum":1000000},{"type":"null"}]}},"required":["known","value"]},{"type":"object","additionalProperties":false,"properties":{"known":{"const":false},"value":{"type":"null"}},"required":["known","value"]}]},"claimed_row_id":{"anyOf":[{"type":"integer","minimum":0,"maximum":2000000},{"type":"null"}]},"claimed_last_updated":{"anyOf":[{"type":"integer","minimum":0,"maximum":1000000},{"type":"null"}]}},"required":["id","position","stored_row_id","stored_last_updated","claimed_row_id","claimed_last_updated"]},"minItems":0,"maxItems":8}},"required":["id","status","record_count","first_row_id","data_sequence_number","rows"]},"minItems":1,"maxItems":16}},"required":["manifest_first_row_id","entries_complete","files"]}}}},"responses":{"200":{"description":"Result","content":{"application/json":{"schema":{"type":"object","properties":{"data":{"type":"object","additionalProperties":false,"properties":{"module":{"const":"reader-row-lineage-audit"},"state":{"enum":["observed","not_observed","unknown"]},"value":{"anyOf":[{"type":"object","additionalProperties":false,"properties":{"row_decision_count":{"type":"integer","minimum":0,"maximum":128},"decisions":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"file":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"row":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"position":{"type":"integer","minimum":0,"maximum":9999},"row_id":{"type":"object","additionalProperties":false,"properties":{"resolved":{"type":"boolean"},"expected":{"anyOf":[{"type":"integer","minimum":0,"maximum":2000000},{"type":"null"}]},"numeric_range":{"anyOf":[{"type":"array","items":{"type":"integer","minimum":0,"maximum":2000000},"minItems":2,"maxItems":2},{"type":"null"}]},"null_possible":{"type":"boolean"},"claimed":{"anyOf":[{"type":"integer","minimum":0,"maximum":2000000},{"type":"null"}]},"claim_state":{"enum":["observed","not_observed","unknown"]}},"required":["resolved","expected","numeric_range","null_possible","claimed","claim_state"]},"last_updated":{"type":"object","additionalProperties":false,"properties":{"resolved":{"type":"boolean"},"expected":{"anyOf":[{"type":"integer","minimum":0,"maximum":1000000},{"type":"null"}]},"numeric_range":{"anyOf":[{"type":"array","items":{"type":"integer","minimum":0,"maximum":1000000},"minItems":2,"maxItems":2},{"type":"null"}]},"null_possible":{"type":"boolean"},"claimed":{"anyOf":[{"type":"integer","minimum":0,"maximum":1000000},{"type":"null"}]},"claim_state":{"enum":["observed","not_observed","unknown"]}},"required":["resolved","expected","numeric_range","null_possible","claimed","claim_state"]}},"required":["file","row","position","row_id","last_updated"]},"minItems":0,"maxItems":16},"decisions_truncated":{"type":"boolean"},"issue_count":{"type":"integer","minimum":0,"maximum":1000},"issues":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string","maxLength":48},"file":{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},"row":{"anyOf":[{"type":"string","pattern":"^[A-Za-z0-9_-]{1,16}$"},{"type":"null"}]}},"required":["code","file","row"]},"minItems":0,"maxItems":16},"issues_truncated":{"type":"boolean"},"unknown_field_count":{"type":"integer","minimum":0,"maximum":256}},"required":["row_decision_count","decisions","decisions_truncated","issue_count","issues","issues_truncated","unknown_field_count"]},{"type":"null"}]},"confidence":{"enum":[0,1]},"evidence":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"code":{"type":"string","maxLength":64}},"required":["code"]},"minItems":0,"maxItems":4},"warnings":{"type":"array","items":{"type":"string","maxLength":160},"minItems":0,"maxItems":4},"limits":{"type":"array","items":{"type":"string","maxLength":160},"minItems":0,"maxItems":4},"error":{"type":"object","additionalProperties":false,"properties":{"code":{"const":"INVALID_PROFILE"},"http_status":{"const":400}},"required":["code","http_status"]}},"required":["module","state","value","confidence","evidence","warnings","limits"]},"meta":{"type":"object"},"charged":{"type":"boolean"},"payment":{"type":"object"}},"required":["data"],"additionalProperties":false}}}},"400":{"description":"Eingabe ungültig, charged=false"},"402":{"description":"Zahlung erforderlich. Die Antwort trägt accepts, description und inputSchema.","content":{"application/json":{"schema":{"$ref":"#/components/schemas/PaymentRequired"}}}},"429":{"description":"Zu viele unbezahlte Anfragen, charged=false"},"502":{"description":"Gegenstelle nicht erreichbar, charged=false"},"504":{"description":"Zeitbudget überschritten, charged=false"}}}},"/v1/minimum-palindromic-factorization-audit":{"post":{"operationId":"minimum_palindromic_factorization_audit","summary":"Find minimum nonoverlapping whole-word palindrome chunks, count all optimum cuts and return canonical full factorization.","description":"Own bounded palindromechart/dynamicprogramming for <=64numeric tokens0..15. Return global minimumnumberofnonempty palindromicpieces, exact countofalloptimalcutpatterns, lexleastendpositions, wholechosenchunks and everyprefixoptimum/count. Not distinctpalindromicsubstringcount; no language,Unicode or normalizationinference. Emptyword has oneemptyfactorization. Missingtoken/claim unknown; invalid profile native400 before settlement. Fixed0.003USDC also for schema-valid unknown. Input16KiB/data32KiB candidate guards; CPU250ms/wall1500ms require physical host admission/preemption.","tags":["datenvertragswerk"],"requestBody":{"required":true,"content":{"application/json":{"schema":{"additionalProperties":false,"properties":{"claimed":{"anyOf":[{"additionalProperties":false,"properties":{"ends":{"items":{"maximum":64,"minimum":1,"type":"integer"},"maxItems":64,"type":"array"},"minimum_chunks":{"maximum":64,"minimum":0,"type":"integer"},"optimal_partition_count":{"pattern":"^[1-9][0-9]{0,19}$","type":"string"}},"required":["minimum_chunks","optimal_partition_count","ends"],"type":"object"},{"type":"null"}]},"tokens":{"items":{"anyOf":[{"maximum":15,"minimum":0,"type":"integer"},{"type":"null"}]},"maxItems":64,"type":"array"}},"required":["tokens","claimed"],"type":"object"}}}},"responses":{"200":{"description":"Result","content":{"application/json":{"schema":{"type":"object","properties":{"data":{"type":"object","properties":{"state":{"enum":["observed","not_observed","unknown"]},"value":{"type":"object","properties":{"length":{"type":"integer","minimum":0,"maximum":64},"minimum_chunks":{"anyOf":[{"type":"integer","minimum":0,"maximum":64},{"type":"null"}]},"optimal_partition_count":{"anyOf":[{"type":"string","pattern":"^[1-9][0-9]{0,19}$"},{"type":"null"}]},"ends":{"anyOf":[{"type":"array","items":{"type":"integer","minimum":1,"maximum":64},"maxItems":64},{"type":"null"}]},"chunks":{"anyOf":[{"type":"array","items":{"type":"object","properties":{"start":{"type":"integer","minimum":0,"maximum":64},"end":{"type":"integer","minimum":0,"maximum":64},"tokens":{"type":"array","items":{"type":"integer","minimum":0,"maximum":15},"maxItems":64}},"required":["start","end","tokens"],"additionalProperties":false},"maxItems":64},{"type":"null"}]},"prefix_minima":{"anyOf":[{"type":"array","items":{"type":"integer","minimum":0,"maximum":64},"maxItems":65},{"type":"null"}]},"prefix_optimal_counts":{"anyOf":[{"type":"array","items":{"type":"string","pattern":"^[1-9][0-9]{0,19}$"},"maxItems":65},{"type":"null"}]},"complete":{"type":"boolean"},"claimed_matches":{"type":["boolean","null"]},"missing":{"type":"array","items":{"type":"string","maxLength":32},"maxItems":65}},"required":["length","minimum_chunks","optimal_partition_count","ends","chunks","prefix_minima","prefix_optimal_counts","complete","claimed_matches","missing"],"additionalProperties":false}},"required":["state","value"],"additionalProperties":false},"meta":{"type":"object"},"charged":{"type":"boolean"},"payment":{"type":"object"}},"required":["data"],"additionalProperties":false}}}},"400":{"description":"Eingabe ungültig, charged=false"},"402":{"description":"Zahlung erforderlich. Die Antwort trägt accepts, description und inputSchema.","content":{"application/json":{"schema":{"$ref":"#/components/schemas/PaymentRequired"}}}},"429":{"description":"Zu viele unbezahlte Anfragen, charged=false"},"502":{"description":"Gegenstelle nicht erreichbar, charged=false"},"504":{"description":"Zeitbudget überschritten, charged=false"}}}},"/v1/gaussian-euclidean-trace-audit":{"post":{"operationId":"gaussian-euclidean-trace-audit","summary":"Reconstruct exact Gaussian-integer Euclidean trace and canonical Bezout certificate","description":"Reconstruct the entire exact Euclidean division trace for two Gaussian integers, including every quotient/remainder/norm, canonical first-quadrant gcd and unit-rotated Bezout coefficients. Coordinates -128..128; componentwise nearest quotient with half ties toward positive infinity; nonzero canonical gcd real>0,imag>=0, deterministic zero-zero convention. Compare the whole supplied claimed artifact, independent of object-key order. Missing operands produce unknown; missing claim keeps the computed artifact with unknown verdict. No real-number approximate arithmetic, supplied Smith certificate checking or cryptographic/security assurance. Fixed0.003USDC for any valid response including unknown. Native400 for malformed before settlement.16KiBinput/32KiBdata,CPU250ms/wall1500ms require physical host enforcement.","tags":["datenvertragswerk"],"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","properties":{"a":{"anyOf":[{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-128,"maximum":128}},{"type":"null"}]},"b":{"anyOf":[{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-128,"maximum":128}},{"type":"null"}]},"claimed_value":{"anyOf":[{"type":"object","properties":{"gcd":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"bezout_a":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"bezout_b":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"normalizing_unit":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1,"maximum":1}},"trace":{"type":"array","maxItems":32,"items":{"type":"object","properties":{"dividend":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"divisor":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"quotient":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"remainder":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"divisor_norm":{"type":"integer","minimum":1,"maximum":32768},"remainder_norm":{"type":"integer","minimum":0,"maximum":32767}},"required":["dividend","divisor","quotient","remainder","divisor_norm","remainder_norm"],"additionalProperties":false}}},"required":["gcd","bezout_a","bezout_b","normalizing_unit","trace"],"additionalProperties":false},{"type":"null"}]}},"required":["a","b","claimed_value"],"additionalProperties":false}}}},"responses":{"200":{"description":"Result","content":{"application/json":{"schema":{"type":"object","properties":{"data":{"type":"object","properties":{"module":{"const":"gaussian-euclidean-trace-audit"},"state":{"enum":["observed","not_observed","unknown"]},"value":{"anyOf":[{"type":"object","properties":{"gcd":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"bezout_a":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"bezout_b":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"normalizing_unit":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1,"maximum":1}},"trace":{"type":"array","maxItems":32,"items":{"type":"object","properties":{"dividend":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"divisor":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"quotient":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"remainder":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":-1000000000,"maximum":1000000000}},"divisor_norm":{"type":"integer","minimum":1,"maximum":32768},"remainder_norm":{"type":"integer","minimum":0,"maximum":32767}},"required":["dividend","divisor","quotient","remainder","divisor_norm","remainder_norm"],"additionalProperties":false}}},"required":["gcd","bezout_a","bezout_b","normalizing_unit","trace"],"additionalProperties":false},{"type":"null"}]},"claimed_matches":{"type":["boolean","null"]},"missing":{"type":"array","maxItems":3,"items":{"enum":["a","b","claimed_value"]}}},"required":["module","state","value","claimed_matches","missing"],"additionalProperties":false},"meta":{"type":"object"},"charged":{"type":"boolean"},"payment":{"type":"object"}},"required":["data"],"additionalProperties":false}}}},"400":{"description":"Eingabe ungültig, charged=false"},"402":{"description":"Zahlung erforderlich. Die Antwort trägt accepts, description und inputSchema.","content":{"application/json":{"schema":{"$ref":"#/components/schemas/PaymentRequired"}}}},"429":{"description":"Zu viele unbezahlte Anfragen, charged=false"},"502":{"description":"Gegenstelle nicht erreichbar, charged=false"},"504":{"description":"Zeitbudget überschritten, charged=false"}}}}},"components":{"schemas":{"PaymentRequired":{"type":"object","properties":{"x402Version":{"type":"integer"},"error":{"type":"string"},"description":{"type":"string"},"inputSchema":{"type":"object"},"accepts":{"type":"array","items":{"type":"object"}}}}},"securitySchemes":{"x402":{"type":"apiKey","in":"header","name":"PAYMENT-SIGNATURE","description":"x402 Zahlungsnachweis"}}}}