Recover binary/reflected/in-place method order, subclass overrides, NotImplement...
https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-17/cpython312-reflected-subclass-inplace-binary-operator-slot-dispatchOverview
Recover binary/reflected/in-place method order, subclass overrides, NotImplemented fallback and assignment/completion using resolved class/method effects; no numeric arithmetic or attribute lookup recount.
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": {
"pythonNumericDispatch": {
"claim": null,
"data": {
"classes": [
{
"base": null,
"slots": [
{
"body": {
"other_delta": -1,
"outcome": "value",
"self_delta": 1,
"value": 1
},
"op": "add",
"role": "forward"
}
]
},
{
"base": 0,
"slots": [
{
"body": {
"other_delta": -4,
"outcome": "value",
"self_delta": 4,
"value": 4
},
"op": "add",
"role": "reflected"
}
]
}
],
"tests": [
{
"initial": [
11,
29
],
"left": 0,
"mode": "binary",
"op": "add",
"right": 1
}
]
}
}
}
},
"bodyType": "json",
"method": "POST",
"type": "http"
}
Output Schema
{
"example": {
"billable": true,
"findings": [
{
"confidence": 1,
"evidence": [
{
"page_indices": [],
"page_url": null,
"pattern": "cpython312-reflected-subclass-inplace-binary-operator-slot-dispatch_scoped_evidence",
"type": "artifact"
}
],
"limits": [
"CPython3.12.3 numeric protocol from original Objects/typeobject.c SLOT1BINFULL/method_is_overloaded and Objects/abstract.c binary/inplace dispatch; Python3.12 data-model numeric-method contract."
],
"module": "cpython312-reflected-subclass-inplace-binary-operator-slot-dispatch",
"state": "observed",
"value": {
"claim_matches": false,
"computed": {
"tests": [
{
"assignment_written": false,
"completion": "normal",
"left_binding": {
"kind": "left",
"value": null
},
"object_markers": [
7,
33
],
"result": {
"kind": "scalar",
"value": 4
},
"trace": [
{
"op": "add",
"other": 0,
"owner": 1,
"receiver": 1,
"role": "reflected"
}
]
}
]
}
},
"warnings": []
}
],
"known_count": 1,
"scope": {
"contact_values_returned": false,
"network": false,
"supplied_artifact_only": true
},
"warnings": []
},
"type": "json"
}