# HALOWERK datenvertragswerk

> HALOWERK datenvertragswerk provides machine-readable results paid via x402.
> Netz Base Mainnet, Zahlungsmittel USDC, Empfänger 0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E.

## So wird bezahlt

1. Route ohne Zahlungskopf aufrufen. Die Antwort ist 402 und trägt accepts, description und inputSchema.
2. Bedingungen mit einem x402-Client signieren.
3. Repeat the request with the proof in the PAYMENT-SIGNATURE header.

Eine 402-Antwort kostet nichts und löst keine Arbeit aus. Scheitert die Arbeit,
trägt die Antwort charged=false und es wird nicht abgerechnet.

## Endpunkte

### POST /v1/scd2-validity-ledger

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.

- Preis: 0.003 USDC
- MCP-Werkzeug: `scd2_validity_ledger`
- Eingabe: `["window","source_priority","records","withdrawn_ids"]`

### POST /v1/delta-dv-replacement-precondition

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.

- Preis: 0.003 USDC
- MCP-Werkzeug: `delta_dv_replacement_precondition`
- Eingabe: `["snapshot_complete","current_files","adds","removes"]`

### POST /v1/merge-match-action-agreement

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.

- Preis: 0.003 USDC
- MCP-Werkzeug: `merge_match_action_agreement`
- Eingabe: `["groups"]`

### POST /v1/unmatched-component-retraction-ledger

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.

- Preis: 0.003 USDC
- MCP-Werkzeug: `unmatched_component_retraction_ledger`
- Eingabe: `["left_complete","right_complete","left","right","claimed_delta"]`

### POST /v1/reader-row-lineage-audit

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.

- Preis: 0.003 USDC
- MCP-Werkzeug: `reader_row_lineage_audit`
- Eingabe: `["manifest_first_row_id","entries_complete","files"]`

### POST /v1/minimum-palindromic-factorization-audit

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.

- Preis: 0.003 USDC
- MCP-Werkzeug: `minimum_palindromic_factorization_audit`
- Eingabe: `["claimed","tokens"]`

### POST /v1/gaussian-euclidean-trace-audit

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.

- Preis: 0.003 USDC
- MCP-Werkzeug: `gaussian-euclidean-trace-audit`
- Eingabe: `["a","b","claimed_value"]`

## Weitere Flächen

- OpenAPI: https://datenvertrag.halowerk.com/openapi.json
- Preise: https://datenvertrag.halowerk.com/pricing
- x402-Manifest: https://datenvertrag.halowerk.com/.well-known/x402
- Bazaar: https://datenvertrag.halowerk.com/.well-known/x402/bazaar
- MCP: https://datenvertrag.halowerk.com/mcp


## Missing a capability?

If you looked for something this service does not offer, say so.
One call, no payment, no sign-up, no account:

  POST https://bedarf.halowerk.com/capabilities/request
  Content-Type: application/json
  {"requested_capability": "what you would buy",
   "description": "the use case, one sentence",
   "callback_url": "optional - we call back once it exists"}

Only requested_capability is required, 3 to 160 characters.
Schema and status: https://bedarf.halowerk.com/openapi.json
Submissions are held for review and are never published verbatim.