{"x402Version":2,"type":"bazaar-listing","service":{"name":"HALOWERK datenvertragswerk","url":"https://datenvertrag.halowerk.com","version":"1.0.0","icon":"https://datenvertrag.halowerk.com/favicon.svg"},"items":[{"id":"datenvertragswerk.scd2_validity_ledger","name":"scd2_validity_ledger","title":"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.","category":"datenvertragswerk","keywords":[],"resource":"https://datenvertrag.halowerk.com/v1/scd2-validity-ledger","method":"POST","mimeType":"application/json","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"]},"outputSchema":{"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},"price":{"amount":"3000","currency":"USDC","decimals":6,"human":"0.003 USDC"},"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}]},{"id":"datenvertragswerk.delta_dv_replacement_precondition","name":"delta_dv_replacement_precondition","title":"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.","category":"datenvertragswerk","keywords":[],"resource":"https://datenvertrag.halowerk.com/v1/delta-dv-replacement-precondition","method":"POST","mimeType":"application/json","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"]},"outputSchema":{"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},"price":{"amount":"3000","currency":"USDC","decimals":6,"human":"0.003 USDC"},"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}]},{"id":"datenvertragswerk.merge_match_action_agreement","name":"merge_match_action_agreement","title":"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.","category":"datenvertragswerk","keywords":[],"resource":"https://datenvertrag.halowerk.com/v1/merge-match-action-agreement","method":"POST","mimeType":"application/json","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"]},"outputSchema":{"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},"price":{"amount":"3000","currency":"USDC","decimals":6,"human":"0.003 USDC"},"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}]},{"id":"datenvertragswerk.unmatched_component_retraction_ledger","name":"unmatched_component_retraction_ledger","title":"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.","category":"datenvertragswerk","keywords":[],"resource":"https://datenvertrag.halowerk.com/v1/unmatched-component-retraction-ledger","method":"POST","mimeType":"application/json","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"]},"outputSchema":{"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},"price":{"amount":"3000","currency":"USDC","decimals":6,"human":"0.003 USDC"},"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}]},{"id":"datenvertragswerk.reader_row_lineage_audit","name":"reader_row_lineage_audit","title":"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.","category":"datenvertragswerk","keywords":[],"resource":"https://datenvertrag.halowerk.com/v1/reader-row-lineage-audit","method":"POST","mimeType":"application/json","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"]},"outputSchema":{"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},"price":{"amount":"3000","currency":"USDC","decimals":6,"human":"0.003 USDC"},"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}]},{"id":"datenvertragswerk.minimum_palindromic_factorization_audit","name":"minimum_palindromic_factorization_audit","title":"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.","category":"datenvertragswerk","keywords":[],"resource":"https://datenvertrag.halowerk.com/v1/minimum-palindromic-factorization-audit","method":"POST","mimeType":"application/json","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"},"outputSchema":{"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},"price":{"amount":"3000","currency":"USDC","decimals":6,"human":"0.003 USDC"},"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}]},{"id":"datenvertragswerk.gaussian-euclidean-trace-audit","name":"gaussian-euclidean-trace-audit","title":"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.","category":"datenvertragswerk","keywords":[],"resource":"https://datenvertrag.halowerk.com/v1/gaussian-euclidean-trace-audit","method":"POST","mimeType":"application/json","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},"outputSchema":{"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},"price":{"amount":"3000","currency":"USDC","decimals":6,"human":"0.003 USDC"},"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}]}],"capability_request":{"url":"https://bedarf.halowerk.com/capabilities/request","method":"POST","cost":"free","description":"Missing a capability, or does the scope not fit? Report the need here - no payment required. Similar reports are bundled; the response returns an id you can check back on.","body_example":{"requested_capability":"short label","description":"what exactly is needed","max_price":0.01}},"updated_at":"2026-11-04T22:23:55.386Z"}