Derive normalized C++ constraint atomic identities and the complete structural s...
https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-16/cpp23-constraint-normalization-atomic-identity-dnf-cnf-subsumptionOverview
Derive normalized C++ constraint atomic identities and the complete structural subsumption relation, including concept substitution and conjunction/disjunction.. Compare the complete typed result SHA256.
Protocol
x402 (POST)
Price
$0.0030
Payment Asset
USD Coin
Payment Network
eip155:8453
Category
uncategorized
Provider
detect
Source
bazaar
Indexed
2026-11-02 17:25:55
Health
Status
unknown
Latency (p50)
—
Uptime (30d)
—
Reliability Score
—
Last Checked
Never
Last Healthy
Never
Consecutive Failures
0
x402 Payment Validation
Payment Requirements
—
Asset Verified
—
Facilitator
—
Input Schema
{
"body": {
"artifact": {
"cppConstraints": {
"claim": null,
"data": {
"concepts": [
{
"expression": "paramAtom",
"id": "Alias",
"parameters": [
"T"
]
},
{
"expression": "paramAnd",
"id": "Both",
"parameters": [
"T"
]
},
{
"expression": "pairAtom",
"id": "Pairs",
"parameters": [
"T",
"U"
]
},
{
"expression": "innerAlias",
"id": "Nested",
"parameters": [
"T"
]
}
],
"constraints": [
{
"bindings": [],
"expression": "a"
},
{
"bindings": [],
"expression": "aLong"
}
],
"expressions": [
{
"arguments": [
{
"kind": "type",
"value": "int"
}
],
"id": "a",
"kind": "atom",
"origin": "A"
},
{
"arguments": [
{
"kind": "type",
"value": "int"
}
],
"id": "b",
"kind": "atom",
"origin": "B"
},
{
"arguments": [
{
"kind": "type",
"value": "int"
}
],
"id": "c",
"kind": "atom",
"origin": "C"
},
{
"arguments": [
{
"kind": "type",
"value": "long"
}
],
"id": "aLong",
"kind": "atom",
"origin": "A"
},
{
"arguments": [
{
"kind": "type",
"value": "int"
}
],
"id": "different",
"kind": "atom",
"origin": "D"
},
{
"id": "ab",
"kind": "and",
"left": "a",
"right": "b"
},
{
"id": "bc",
"kind": "and",
"left": "b",
"right": "c"
},
{
"id": "abc",
"kind": "and",
"left": "ab",
"right": "c"
},
{
"id": "aorb",
"kind": "or",
"left": "a",
"right": "b"
},
{
"id": "aorc",
"kind": "or",
"left": "a",
"right": "c"
},
{
"id": "distL",
"kind": "and",
"left": "aorb",
"right": "c"
},
{
"id": "ac",
"kind": "and",
"left": "a",
"right": "c"
},
{
"id": "bc2",
"kind": "and",
"left": "b",
"right": "c"
},
{
"id": "distR",
"kind": "or",
"left": "ac",
"right": "bc2"
},
{
"id": "absorb",
"kind": "or",
"left": "a",
"right": "ab"
},
{
"arguments": [
{
"kind": "parameter",
"value": "T"
}
],
"id": "paramAtom",
"kind": "atom",
"origin": "A"
},
{
"id": "paramAnd",
"kind": "and",
"left": "paramAtom",
"right": "b"
},
{
"arguments": [
{
"kind": "parameter",
"value": "T"
},
{
"kind": "parameter",
"value": "U"
}
],
"id": "pairAtom",
"kind": "atom",
"origin": "Pair"
},
{
"arguments": [
{
"kind": "type",
"value": "int"
}
],
"concept": "Alias",
"id": "aliasA",
"kind": "concept"
},
{
"arguments": [
{
"kind": "type",
"value": "int"
}
],
"concept": "Both",
"id": "aliasAB",
"kind": "concept"
},
{
"arguments": [
{
"kind": "type",
"value": "int"
}
],
"concept": "Alias",
"id": "paramInt",
"kind": "concept"
},
{
"arguments": [
{
"kind": "type",
"value": "long"
}
],
"concept": "Alias",
"id": "paramLong",
"kind": "concept"
},
{
"arguments": [
{
"kind": "type",
"value": "int"
},
{
"kind": "type",
"value": "long"
}
],
"concept": "Pairs",
"id": "pairAB",
"kind": "concept"
},
{
"arguments": [
{
"kind": "type",
"value": "long"
},
{
"kind": "type",
"value": "int"
}
],
"concept": "Pairs",
"id": "pairBA",
"kind": "concept"
},
{
"arguments": [
{
"kind": "type",
"value": "int"
},
{
"kind": "type",
"value": "long"
}
],
"concept": "Pairs",
"id": "pairAgain",
"kind": "concept"
},
{
"arguments": [
{
"kind": "type",
"value": "int"
}
],
"concept": "Nested",
"id": "nested",
"kind": "concept"
},
{
"arguments": [
{
"kind": "parameter",
"value": "T"
}
],
"concept": "Both",
"id": "innerAlias",
"kind": "concept"
}
],
"origins": [
{
"arity": 1,
"id": "A"
},
{
"arity": 1,
"id": "B"
},
{
"arity": 1,
"id": "C"
},
{
"arity": 1,
"id": "D"
},
{
"arity": 2,
"id": "Pair"
}
]
}
}
}
},
"bodyType": "json",
"method": "POST",
"type": "http"
}
Output Schema
{
"example": {
"billable": true,
"findings": [
{
"confidence": 1,
"evidence": [
{
"page_indices": [],
"page_url": null,
"pattern": "cpp23-constraint-normalization-atomic-identity-dnf-cnf-subsumption_scoped_evidence",
"type": "artifact"
}
],
"limits": [
"Explicit artifact; entire canonical result SHA256; no external lookup."
],
"module": "cpp23-constraint-normalization-atomic-identity-dnf-cnf-subsumption",
"state": "observed",
"value": {
"claim_matches": false,
"computed": {
"normalized": [
{
"cnf": [
[
{
"arguments": [
"int"
],
"origin": "A"
}
]
],
"dnf": [
[
{
"arguments": [
"int"
],
"origin": "A"
}
]
]
},
{
"cnf": [
[
{
"arguments": [
"long"
],
"origin": "A"
}
]
],
"dnf": [
[
{
"arguments": [
"long"
],
"origin": "A"
}
]
]
}
],
"subsumption": [
[
true,
false
],
[
false,
true
]
]
},
"computed_sha256": "2342f41e24aee3629930026ddf7e0fc891f2ff71caa13f6a8108bfd1ef110a96"
},
"warnings": []
}
],
"known_count": 1,
"scope": {
"contact_values_returned": false,
"network": false,
"supplied_artifact_only": true
},
"warnings": []
},
"type": "json"
}