Overview
For a complete nonempty feasible-set family on ordered ground0..n-1,n0..4, validate Bouchet symmetric exchange: for every feasibleX,Y andu inX symmetric_differenceY, at least onev inthat difference (v=u allowed) makes X symmetric_difference{u,v} feasible. Ifv=u,{u,v} is SINGLETON: toggle once, do not cancel two XOR operations. No binary/normal/even assumption; ordinary matroids included as constant feasible-cardinality cases.
Protocol
x402 (POST)
Price
$0.0030
Payment Asset
USD Coin
Payment Network
eip155:8453
Category
uncategorized
Provider
datenvertrag
Indexed
2026-11-08 23:08:18
Health
Status
unknown
Latency (p50)
—
Uptime (30d)
—
Reliability Score
—
Last Checked
Never
Last Healthy
Never
Consecutive Failures
0
Input Schema
{
"body": {
"claim": {
"polynomial": [
2,
0,
2
],
"twists": [
{
"feasible_masks": [
1,
2
],
"maximum_size": 1,
"minimum_size": 1,
"twist_mask": 0,
"width": 0
},
{
"feasible_masks": [
0,
3
],
"maximum_size": 2,
"minimum_size": 0,
"twist_mask": 1,
"width": 2
},
{
"feasible_masks": [
0,
3
],
"maximum_size": 2,
"minimum_size": 0,
"twist_mask": 2,
"width": 2
},
{
"feasible_masks": [
1,
2
],
"maximum_size": 1,
"minimum_size": 1,
"twist_mask": 3,
"width": 0
}
]
},
"feasible_masks": [
1,
2
],
"ground_size": 2
},
"bodyType": "json",
"method": "POST",
"type": "http"
}