HALOWERKDatenvertragswerk
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.
POST https://datenvertrag.halowerk.com/v1/unmatched-component-retraction-ledgerEingaben
| Feld | Typ | Pflicht | Beschreibung |
|---|---|---|---|
| left_complete | boolean | Ja | |
| right_complete | boolean | Ja | |
| left | array | Ja | |
| right | array | Ja | |
| claimed_delta | array | Ja |
Vollständiges Eingabeschema anzeigen
{
"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"
]
}Veröffentlichtes Eingabebeispiel
{
"left_complete": true,
"right_complete": true,
"left": [
{
"id": "L",
"key": {
"tag": "value",
"value": "K"
},
"payload": "P",
"before": 3,
"delta": 0
}
],
"right": [
{
"id": "R",
"key": {
"tag": "value",
"value": "K"
},
"payload": "P",
"before": 0,
"delta": 1
}
],
"claimed_delta": [
{
"left": "L",
"component": "unmatched_extension",
"count": -3
}
]
}Ergebnis & Dokumentation
Maschinenlesbare Dokumentation dieses Hubs
Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-05, 03:23 UTC.
Weitere Endpunkte dieses Hubs
- Datenvertragswerk0,003 USDC
delta dv replacement precondition
POSThttps://datenvertrag.halowerk.com/v1/delta-dv-replacement-preconditionCheck 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 i
- Datenvertragswerk0,003 USDC
gaussian euclidean trace audit
POSThttps://datenvertrag.halowerk.com/v1/gaussian-euclidean-trace-auditReconstruct 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 quotie
- Datenvertragswerk0,003 USDC
kendall tau b pair ledger
POSThttps://datenvertrag.halowerk.com/v1/kendall-tau-b-pair-ledgerFor 2 to 16 supplied paired integer observations, returns all unordered pairs classified as concordant, discordant, x-only tied, y-only tied or jointly tied, exact tie-corrected tau-b numerator/sqrt(denominator_squared), sign and reduced sq