Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F NIGHT ECMA / ecmascript mapped arguments alias detachment

An offline language-runtime test agent needs final parameter and argument-property states plus exact operation success from mapped-arguments mutations, including duplicate formals and alias detachment. No source evaluation or language-compatibility claim.

POST https://detect.halowerk.com/v1/F-NIGHT-ECMA/ecmascript-mapped-arguments-alias-detachment

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "mapped_arguments"
      ],
      "properties": {
        "mapped_arguments": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "parameter_ids",
            "initial_bindings",
            "argument_values",
            "operations",
            "claim"
          ],
          "properties": {
            "parameter_ids": {
              "type": "array",
              "maxItems": 16,
              "items": {
                "type": "integer",
                "minimum": 0,
                "maximum": 15
              }
            },
            "initial_bindings": {
              "type": "array",
              "maxItems": 16,
              "items": {
                "type": "object",
                "additionalProperties": false,
                "required": [
                  "slot",
                  "value"
                ],
                "properties": {
                  "slot": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 15
                  },
                  "value": {
                    "anyOf": [
                      {
                        "type": "integer",
                        "minimum": -1000000,
                        "maximum": 1000000
                      },
                      {
                        "type": "null"
                      }
                    ]
                  }
                }
              }
            },
            "argument_values": {
              "type": "array",
              "maxItems": 16,
              "items": {
                "anyOf": [
                  {
                    "type": "integer",
                    "minimum": -1000000,
                    "maximum": 1000000
                  },
                  {
                    "type": "null"
                  }
                ]
              }
            },
            "operations": {
              "type": "array",
              "maxItems": 64,
              "items": {
                "oneOf": [
                  {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "op",
                      "slot",
                      "value"
                    ],
                    "properties": {
                      "op": {
                        "const": "set_parameter"
                      },
                      "slot": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 15
                      },
                      "value": {
                        "anyOf": [
                          {
                            "type": "integer",
                            "minimum": -1000000,
                            "maximum": 1000000
                          },
                          {
                            "type": "null"
                          }
                        ]
                      }
                    }
                  },
                  {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "op",
                      "index",
                      "value"
                    ],
                    "properties": {
                      "op": {
                        "const": "set_argument"
                      },
                      "index": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 31
                      },
                      "value": {
                        "anyOf": [
                          {
                            "type": "integer",
                            "minimum": -1000000,
                            "maximum": 1000000
                          },
                          {
                            "type": "null"
                          }
                        ]
                      }
                    }
                  },
                  {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "op",
                      "index",
                      "value"
                    ],
                    "properties": {
                      "op": {
                        "const": "accessor_argument"
                      },
                      "index": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 31
                      },
                      "value": {
                        "anyOf": [
                          {
                            "type": "integer",
                            "minimum": -1000000,
                            "maximum": 1000000
                          },
                          {
                            "type": "null"
                          }
                        ]
                      }
                    }
                  },
                  {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "op",
                      "index"
                    ],
                    "properties": {
                      "op": {
                        "const": "freeze_argument"
                      },
                      "index": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 31
                      }
                    }
                  },
                  {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "op",
                      "index"
                    ],
                    "properties": {
                      "op": {
                        "const": "delete_argument"
                      },
                      "index": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 31
                      }
                    }
                  }
                ]
              }
            },
            "claim": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "parameters",
                "arguments",
                "success"
              ],
              "properties": {
                "parameters": {
                  "type": "array",
                  "maxItems": 16,
                  "items": {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "slot",
                      "value"
                    ],
                    "properties": {
                      "slot": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 15
                      },
                      "value": {
                        "anyOf": [
                          {
                            "type": "integer",
                            "minimum": -1000000,
                            "maximum": 1000000
                          },
                          {
                            "type": "null"
                          }
                        ]
                      }
                    }
                  }
                },
                "arguments": {
                  "type": "array",
                  "maxItems": 32,
                  "items": {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "index",
                      "present",
                      "kind",
                      "value",
                      "writable",
                      "configurable",
                      "enumerable"
                    ],
                    "properties": {
                      "index": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 31
                      },
                      "present": {
                        "type": "boolean"
                      },
                      "kind": {
                        "enum": [
                          null,
                          "data",
                          "accessor"
                        ]
                      },
                      "value": {
                        "anyOf": [
                          {
                            "type": "integer",
                            "minimum": -1000000,
                            "maximum": 1000000
                          },
                          {
                            "type": "null"
                          }
                        ]
                      },
                      "writable": {
                        "type": [
                          "boolean",
                          "null"
                        ]
                      },
                      "configurable": {
                        "type": [
                          "boolean",
                          "null"
                        ]
                      },
                      "enumerable": {
                        "type": [
                          "boolean",
                          "null"
                        ]
                      }
                    }
                  }
                },
                "success": {
                  "type": "array",
                  "maxItems": 64,
                  "items": {
                    "type": "boolean"
                  }
                }
              }
            }
          }
        }
      }
    }
  }
}

Originalschema öffnen

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

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

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →