561 Group Market
Source-Preserving Cell Inference
Source-Preserving Cell Inference
Apply finite reference-context implications to witnessed Cells. Retain the original sources, contradictions and unknowns separately from inferred values; return settlement traces and optional counterfactual design. Up to 16 reference tokens, 8 claim coordinates and 12 witnessed signed attributes. Input assertions are caller supplied; inference and replay do not authenticate sensors or establish external truth. No source fetch or external effect.
Seller-listed; delivery not independently established — A listing is not a completed purchase. The live HTTP 402 challenge supplies current payment terms.
- Price preview
- $0.01
- Method
- POST
- Endpoint
- https://market.561.group/v1/mathematics/source-cell-inference
- Seller
- Seller not independently established
- Source-rights state
- not-declared
- Offer NI
- ni:///sha-256;2PL_XCLjOALTVDRFM9_GzdJXeZlnfSuup19sn9HCI9Y
- Claim cell
- ni:///sha-256;7kVEiAuSl_gwWUl3TRauBY0XNqOy1iMAXxgH4UKkWvU
- Operation law
- ni:///sha-256;mumjO9_jS-TDsx8H-H0OUx5ty4QoJsB8pQE96bmUQ-k
- mathematics
- source-cell-inference
- science
- ni:///sha-256;2PL_XCLjOALTVDRFM9_GzdJXeZlnfSuup19sn9HCI9Y
- @red-cup-engineering/signcraft
The seller offers this resource under the stated method and contract. The price is a preview, not payment authorization, settlement or a promise of delivery.
Request contract
{
"maxBytes": 65536,
"bodySchema": {
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"$id": "urn:561:signcraft:infer-source-cells:1",
"$comment": "Native admission also enforces at most 16 reference tokens, 8 claim coordinates and 12 observed signed attributes before compiling the finite implication basis.",
"required": [
"contextCells"
],
"additionalProperties": false,
"properties": {
"contextCells": {
"type": "array",
"maxItems": 128,
"items": {
"$ref": "#/$defs/cell"
}
},
"episodes": {
"type": "array",
"maxItems": 16,
"items": {
"type": "object",
"required": [
"cells"
],
"additionalProperties": false,
"properties": {
"cells": {
"type": "array",
"maxItems": 16,
"items": {
"$ref": "#/$defs/cell"
}
},
"adaptation": {
"type": "object",
"additionalProperties": false,
"properties": {
"mu": {
"type": "number",
"exclusiveMinimum": 0
},
"gamma": {
"type": "number",
"minimum": 0
}
}
}
}
}
},
"design": {
"anyOf": [
{
"type": "null"
},
{
"type": "object",
"required": [
"subject",
"required"
],
"additionalProperties": false,
"properties": {
"subject": true,
"required": {
"type": "array",
"maxItems": 32,
"items": {
"$ref": "#/$defs/claim"
}
},
"forbidden": {
"type": "array",
"maxItems": 32,
"items": {
"$ref": "#/$defs/claim"
}
},
"maxSteps": {
"type": "integer",
"minimum": 0,
"maximum": 8
},
"maxStates": {
"type": "integer",
"minimum": 1,
"maximum": 128
}
}
}
]
}
},
"$defs": {
"claim": {
"type": "object",
"required": [
"predicate",
"object"
],
"additionalProperties": false,
"properties": {
"predicate": true,
"object": true
}
},
"cell": {
"type": "object",
"required": [
"subject",
"predicate",
"object",
"for",
"against"
],
"additionalProperties": false,
"properties": {
"subject": true,
"predicate": true,
"object": true,
"for": {
"type": "array"
},
"against": {
"type": "array"
},
"value": {
"type": "string"
}
}
}
}
},
"example": {
"method": "POST",
"url": "https://market.561.group/v1/mathematics/source-cell-inference",
"headers": {
"accept": "application/json",
"content-type": "application/json"
},
"body": {
"contextCells": [
{
"subject": "reference-a",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "reference-a",
"observation": "schema"
}
],
"against": []
},
{
"subject": "reference-a",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [
{
"sensor": "reference-a",
"observation": "bounded"
}
],
"against": []
},
{
"subject": "reference-b",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "reference-b",
"observation": "schema"
}
],
"against": []
},
{
"subject": "reference-b",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [
{
"sensor": "reference-b",
"observation": "bounded"
}
],
"against": []
}
],
"episodes": [
{
"cells": [
{
"subject": "candidate",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "validator",
"observation": "schema"
}
],
"against": []
}
]
}
]
}
}
}Unsigned request example (copy and run)
curl --include --request POST --header 'accept: application/json' --header 'content-type: application/json' --data-raw '{"contextCells":[{"subject":"reference-a","predicate":"https://example.test/requirements/satisfies","object":"schema","for":[{"sensor":"reference-a","observation":"schema"}],"against":[]},{"subject":"reference-a","predicate":"https://example.test/requirements/satisfies","object":"bounded","for":[{"sensor":"reference-a","observation":"bounded"}],"against":[]},{"subject":"reference-b","predicate":"https://example.test/requirements/satisfies","object":"schema","for":[{"sensor":"reference-b","observation":"schema"}],"against":[]},{"subject":"reference-b","predicate":"https://example.test/requirements/satisfies","object":"bounded","for":[{"sensor":"reference-b","observation":"bounded"}],"against":[]}],"episodes":[{"cells":[{"subject":"candidate","predicate":"https://example.test/requirements/satisfies","object":"schema","for":[{"sensor":"validator","observation":"schema"}],"against":[]}]}]}' --url 'https://market.561.group/v1/mathematics/source-cell-inference'This request reads the seller's current HTTP response or 402 terms. It does not authorize or settle a payment. A buyer must independently approve current x402 terms.
Declared output
{
"schema": {
"type": "object",
"required": [
"kind",
"source",
"episodes",
"projection",
"sourceStanding",
"externalEffects"
],
"properties": {
"kind": {
"const": "signcraft.sourceCellInference.v1"
},
"source": {
"type": "object"
},
"episodes": {
"type": "array"
},
"projection": {
"type": "array"
},
"sourceStanding": {
"const": "caller-presented-cells-not-independent-source-admission"
},
"externalEffects": {
"type": "array",
"maxItems": 0
}
}
},
"example": {
"kind": "signcraft.sourceCellInference.v1",
"provider": {
"name": "@red-cup-engineering/signcraft",
"version": "0.6.1-dev.496",
"sourceRevision": "71d8c293efe141ce84d2171b9d013940124c82cd"
},
"request": {
"id": "ni:///sha-256;4cd8OhoBJa_6IN_ji01NUoDSl7I2xdvRxkop6CZdFIo",
"type": "ni:///sha-256;6IN9C_7nirICwpCE5Ke5DA1opFg8MSbo4kJeQPOppbs",
"attributes": {
"contextCells": [
{
"subject": "reference-a",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "reference-a",
"observation": "schema"
}
],
"against": []
},
{
"subject": "reference-a",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [
{
"sensor": "reference-a",
"observation": "bounded"
}
],
"against": []
},
{
"subject": "reference-b",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "reference-b",
"observation": "schema"
}
],
"against": []
},
{
"subject": "reference-b",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [
{
"sensor": "reference-b",
"observation": "bounded"
}
],
"against": []
}
],
"episodes": [
{
"cells": [
{
"subject": "candidate",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "validator",
"observation": "schema"
}
],
"against": []
}
]
}
]
}
},
"source": {
"id": "ni:///sha-256;OhKlFAD4ImD7UiqQ9mT4k-RQHJzMYeUD14dFIkxZqVY",
"cells": [
{
"subject": "reference-a",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [
{
"sensor": "reference-a",
"observation": "bounded"
}
],
"against": []
},
{
"subject": "reference-b",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [
{
"sensor": "reference-b",
"observation": "bounded"
}
],
"against": []
},
{
"subject": "reference-a",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "reference-a",
"observation": "schema"
}
],
"against": []
},
{
"subject": "candidate",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "validator",
"observation": "schema"
}
],
"against": []
},
{
"subject": "reference-b",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "reference-b",
"observation": "schema"
}
],
"against": []
}
],
"tokens": [
{
"id": "ni:///sha-256;J3tD5c5rh8nXb4SX0eoPtcsyjXhks2a30DC4vRZSFBU",
"value": "candidate"
},
{
"id": "ni:///sha-256;JM1kLdHz8ALAJkt_C8VEFPzswqaLvLpGsgdrjRqC-ME",
"value": "reference-b"
},
{
"id": "ni:///sha-256;fuhhLdIswyNnWgs54dUop3vumgy7BDZflOYQ-zQkdgY",
"value": "reference-a"
}
],
"claims": [
{
"id": "ni:///sha-256;LKL7xMMhH8v04-s_6X-GaCjQsZd9DqVDPs9h-63vlhg",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded"
},
{
"id": "ni:///sha-256;kzhF-PJSlTOxx97O8T4U3TWfY_JW1LmA1Mzwbuzxeb8",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema"
}
],
"contextId": "ni:///sha-256;Lu7vSyEhfWt7e2D8Z2rJKpV-cBhqa5nE7Zvm5M4XKPA",
"contextCells": [
{
"subject": "reference-a",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [
{
"sensor": "reference-a",
"observation": "bounded"
}
],
"against": []
},
{
"subject": "reference-b",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [
{
"sensor": "reference-b",
"observation": "bounded"
}
],
"against": []
},
{
"subject": "reference-a",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "reference-a",
"observation": "schema"
}
],
"against": []
},
{
"subject": "reference-b",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "reference-b",
"observation": "schema"
}
],
"against": []
}
]
},
"episodes": [
{
"episode": 0,
"source": {
"id": "ni:///sha-256;oYFMg0zVE-aUM5Ppmok5aJYugbsKFF2kv1LzMjw0oC0",
"cells": [
{
"subject": "candidate",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "validator",
"observation": "schema"
}
],
"against": []
}
],
"tokens": [
{
"id": "ni:///sha-256;J3tD5c5rh8nXb4SX0eoPtcsyjXhks2a30DC4vRZSFBU",
"value": "candidate"
}
],
"claims": [
{
"id": "ni:///sha-256;kzhF-PJSlTOxx97O8T4U3TWfY_JW1LmA1Mzwbuzxeb8",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema"
}
]
},
"sourceBefore": "ni:///sha-256;Lu7vSyEhfWt7e2D8Z2rJKpV-cBhqa5nE7Zvm5M4XKPA",
"sourceAfter": "ni:///sha-256;OhKlFAD4ImD7UiqQ9mT4k-RQHJzMYeUD14dFIkxZqVY",
"sourceChanged": true,
"ledger": {
"initialDeficit": 1,
"totalFlux": 1,
"closes": true
},
"derivation": [
{
"step": 0,
"fired": 1,
"flux": 1,
"commits": 1,
"mints": 0,
"jumps": 0,
"witnesses": [
{
"cell": "[\"ni:///sha-256;J3tD5c5rh8nXb4SX0eoPtcsyjXhks2a30DC4vRZSFBU\",\"ni:///sha-256;LKL7xMMhH8v04-s_6X-GaCjQsZd9DqVDPs9h-63vlhg\"]",
"by": "delta",
"law": "galois-transfer",
"lane": "pos"
}
]
},
{
"step": 1,
"fired": 0,
"flux": 0,
"commits": 0,
"mints": 0,
"jumps": 0,
"witnesses": []
}
],
"learning": {
"kind": "signcraft.discrete-conductance-adaptation.v1",
"mu": 0.8,
"gamma": 0.1,
"totalCoFiring": 0,
"edgeChanges": [],
"externalSourceReceiving": "not-established-by-internal-settlement"
}
}
],
"projection": [
{
"subject": "reference-a",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [
{
"sensor": "reference-a",
"observation": "bounded"
}
],
"against": []
},
{
"subject": "reference-b",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [
{
"sensor": "reference-b",
"observation": "bounded"
}
],
"against": []
},
{
"subject": "candidate",
"predicate": "https://example.test/requirements/satisfies",
"object": "bounded",
"for": [],
"against": [],
"value": "potential"
},
{
"subject": "reference-a",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "reference-a",
"observation": "schema"
}
],
"against": []
},
{
"subject": "candidate",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "validator",
"observation": "schema"
}
],
"against": []
},
{
"subject": "reference-b",
"predicate": "https://example.test/requirements/satisfies",
"object": "schema",
"for": [
{
"sensor": "reference-b",
"observation": "schema"
}
],
"against": []
}
],
"candidate": null,
"sourceStanding": "caller-presented-cells-not-independent-source-admission",
"externalEffects": []
}
}How to buy with x402
- Send the source's unsigned request. An admitted payable request receives HTTP 402 and a
PAYMENT-REQUIREDheader with its current amount, asset, network and payee. - Your x402 client signs the accepted terms and repeats the same request with
PAYMENT-SIGNATURE. - A successful settled response contains the purchased result and its
PAYMENT-RESPONSEreceipt.
Source and machine access
The source SKU, claim cell and operation law above are the identities used by the machine catalogue and this page.