{"x402Version":2,"service":"HALOWERK datenvertragswerk","version":"1.0.0","network":"eip155:8453","network_name":"Base Mainnet","chain_id":8453,"recipient":"0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E","asset":{"symbol":"USDC","address":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","decimals":6},"facilitators":["CDP","https://facilitator.xpay.sh"],"payment_headers":{"primary":"PAYMENT-SIGNATURE","accepted":["PAYMENT-SIGNATURE","X-Payment","PAYMENT"],"challenge":["PAYMENT-REQUIRED"],"response":["PAYMENT-RESPONSE"]},"resources":[{"url":"https://datenvertrag.halowerk.com/v1/scd2-validity-ledger","method":"POST","name":"scd2_validity_ledger","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.","summary":"Check a bounded corrected dimension history before a data agent publishes it.","inputSchema":{"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"]},"mimeType":"application/json","accepts":[{"scheme":"exact","network":"eip155:8453","payTo":"0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E","price":{"amount":"3000","asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","extra":{"asset":"USDC","network_name":"Base Mainnet","name":"USD Coin","version":"2","assetTransferMethod":"eip3009","eip712Domain":{"name":"USD Coin","version":"2","chainId":8453,"verifyingContract":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913"}}},"maxTimeoutSeconds":300}]},{"url":"https://datenvertrag.halowerk.com/v1/delta-dv-replacement-precondition","method":"POST","name":"delta_dv_replacement_precondition","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.","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.","inputSchema":{"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"]},"mimeType":"application/json","accepts":[{"scheme":"exact","network":"eip155:8453","payTo":"0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E","price":{"amount":"3000","asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","extra":{"asset":"USDC","network_name":"Base Mainnet","name":"USD Coin","version":"2","assetTransferMethod":"eip3009","eip712Domain":{"name":"USD Coin","version":"2","chainId":8453,"verifyingContract":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913"}}},"maxTimeoutSeconds":300}]},{"url":"https://datenvertrag.halowerk.com/v1/merge-match-action-agreement","method":"POST","name":"merge_match_action_agreement","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.","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.","inputSchema":{"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"]},"mimeType":"application/json","accepts":[{"scheme":"exact","network":"eip155:8453","payTo":"0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E","price":{"amount":"3000","asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","extra":{"asset":"USDC","network_name":"Base Mainnet","name":"USD Coin","version":"2","assetTransferMethod":"eip3009","eip712Domain":{"name":"USD Coin","version":"2","chainId":8453,"verifyingContract":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913"}}},"maxTimeoutSeconds":300}]},{"url":"https://datenvertrag.halowerk.com/v1/unmatched-component-retraction-ledger","method":"POST","name":"unmatched_component_retraction_ledger","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.","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.","inputSchema":{"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"]},"mimeType":"application/json","accepts":[{"scheme":"exact","network":"eip155:8453","payTo":"0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E","price":{"amount":"3000","asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","extra":{"asset":"USDC","network_name":"Base Mainnet","name":"USD Coin","version":"2","assetTransferMethod":"eip3009","eip712Domain":{"name":"USD Coin","version":"2","chainId":8453,"verifyingContract":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913"}}},"maxTimeoutSeconds":300}]},{"url":"https://datenvertrag.halowerk.com/v1/reader-row-lineage-audit","method":"POST","name":"reader_row_lineage_audit","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.","summary":"Audit row-lineage reader claims through manifest/file/row inheritance and explicit-value gates.","inputSchema":{"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"]},"mimeType":"application/json","accepts":[{"scheme":"exact","network":"eip155:8453","payTo":"0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E","price":{"amount":"3000","asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","extra":{"asset":"USDC","network_name":"Base Mainnet","name":"USD Coin","version":"2","assetTransferMethod":"eip3009","eip712Domain":{"name":"USD Coin","version":"2","chainId":8453,"verifyingContract":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913"}}},"maxTimeoutSeconds":300}]},{"url":"https://datenvertrag.halowerk.com/v1/minimum-palindromic-factorization-audit","method":"POST","name":"minimum_palindromic_factorization_audit","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.","summary":"Find minimum nonoverlapping whole-word palindrome chunks, count all optimum cuts and return canonical full factorization.","inputSchema":{"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"},"mimeType":"application/json","accepts":[{"scheme":"exact","network":"eip155:8453","payTo":"0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E","price":{"amount":"3000","asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","extra":{"asset":"USDC","network_name":"Base Mainnet","name":"USD Coin","version":"2","assetTransferMethod":"eip3009","eip712Domain":{"name":"USD Coin","version":"2","chainId":8453,"verifyingContract":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913"}}},"maxTimeoutSeconds":300}]},{"url":"https://datenvertrag.halowerk.com/v1/gaussian-euclidean-trace-audit","method":"POST","name":"gaussian-euclidean-trace-audit","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.","summary":"Reconstruct exact Gaussian-integer Euclidean trace and canonical Bezout certificate","inputSchema":{"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},"mimeType":"application/json","accepts":[{"scheme":"exact","network":"eip155:8453","payTo":"0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E","price":{"amount":"3000","asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","extra":{"asset":"USDC","network_name":"Base Mainnet","name":"USD Coin","version":"2","assetTransferMethod":"eip3009","eip712Domain":{"name":"USD Coin","version":"2","chainId":8453,"verifyingContract":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913"}}},"maxTimeoutSeconds":300}]}]}