Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F TD2000 DOCUMENTS 17 / cpython312 reflected subclass inplace binary operator slot dispatch

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.

POST https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-17/cpython312-reflected-subclass-inplace-binary-operator-slot-dispatch

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "$schema": "https://json-schema.org/draft/2020-12/schema",
      "type": "object",
      "properties": {
        "pythonNumericDispatch": {
          "type": "object",
          "properties": {
            "data": {
              "type": "object",
              "properties": {
                "classes": {
                  "type": "array",
                  "items": {
                    "type": "object",
                    "properties": {
                      "base": {
                        "anyOf": [
                          {
                            "type": "null"
                          },
                          {
                            "type": "integer",
                            "minimum": 0,
                            "maximum": 7
                          }
                        ]
                      },
                      "slots": {
                        "type": "array",
                        "items": {
                          "type": "object",
                          "properties": {
                            "op": {
                              "$ref": "#/properties/artifact/%24defs/s0"
                            },
                            "role": {
                              "enum": [
                                "forward",
                                "reflected",
                                "inplace"
                              ]
                            },
                            "body": {
                              "anyOf": [
                                {
                                  "type": "null"
                                },
                                {
                                  "type": "object",
                                  "properties": {
                                    "outcome": {
                                      "enum": [
                                        "value",
                                        "self",
                                        "other",
                                        "not_implemented",
                                        "throw"
                                      ]
                                    },
                                    "value": {
                                      "anyOf": [
                                        {
                                          "type": "null"
                                        },
                                        {
                                          "type": "integer",
                                          "minimum": -1000000,
                                          "maximum": 1000000
                                        }
                                      ]
                                    },
                                    "self_delta": {
                                      "type": "integer",
                                      "minimum": -1000,
                                      "maximum": 1000
                                    },
                                    "other_delta": {
                                      "type": "integer",
                                      "minimum": -1000,
                                      "maximum": 1000
                                    }
                                  },
                                  "additionalProperties": false,
                                  "minProperties": 4
                                }
                              ]
                            }
                          },
                          "additionalProperties": false,
                          "minProperties": 3
                        },
                        "maxItems": 42
                      }
                    },
                    "additionalProperties": false,
                    "minProperties": 2
                  },
                  "maxItems": 8
                },
                "tests": {
                  "type": "array",
                  "items": {
                    "type": "object",
                    "properties": {
                      "op": {
                        "$ref": "#/properties/artifact/%24defs/s0"
                      },
                      "mode": {
                        "enum": [
                          "binary",
                          "inplace"
                        ]
                      },
                      "left": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 7
                      },
                      "right": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 7
                      },
                      "initial": {
                        "type": "array",
                        "items": {
                          "type": "integer",
                          "minimum": -1000000,
                          "maximum": 1000000
                        },
                        "minItems": 2,
                        "maxItems": 2
                      }
                    },
                    "additionalProperties": false,
                    "minProperties": 5
                  },
                  "maxItems": 64
                }
              },
              "additionalProperties": false,
              "minProperties": 2
            },
            "claim": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "string",
                  "minLength": 64,
                  "maxLength": 64,
                  "pattern": "^[0-9a-f]{64}$"
                }
              ]
            }
          },
          "additionalProperties": false,
          "minProperties": 2
        }
      },
      "additionalProperties": false,
      "minProperties": 1,
      "$defs": {
        "s0": {
          "enum": [
            "add",
            "sub",
            "mul",
            "matmul",
            "truediv",
            "floordiv",
            "mod",
            "divmod",
            "pow",
            "lshift",
            "rshift",
            "and",
            "xor",
            "or"
          ]
        }
      }
    }
  }
}

Originalschema öffnen

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 20:49 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →