Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F TD2000 DOCUMENTS 09 / tex82 immutable def parameter delimiter group expansion token stream

Expand a complete bounded TeX def token transcript with delimited arguments. Reconstruct the fully typed result and compare its complete canonical SHA256 claim.

POST https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-09/tex82-immutable-def-parameter-delimiter-group-expansion-token-stream

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": [
        "texMacroExpansion"
      ],
      "properties": {
        "texMacroExpansion": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "data",
            "claim"
          ],
          "properties": {
            "data": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "macros",
                "unexpandable_controls",
                "tokens"
              ],
              "properties": {
                "macros": {
                  "type": "array",
                  "items": {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "name",
                      "long",
                      "parameter_text",
                      "replacement"
                    ],
                    "properties": {
                      "name": {
                        "type": "string",
                        "minLength": 1,
                        "maxLength": 32
                      },
                      "long": {
                        "type": "boolean"
                      },
                      "parameter_text": {
                        "type": "array",
                        "items": {
                          "$ref": "#/properties/artifact/%24defs/s0"
                        },
                        "minItems": 0,
                        "maxItems": 96
                      },
                      "replacement": {
                        "type": "array",
                        "items": {
                          "$ref": "#/properties/artifact/%24defs/s0"
                        },
                        "minItems": 0,
                        "maxItems": 128
                      }
                    }
                  },
                  "minItems": 0,
                  "maxItems": 16
                },
                "unexpandable_controls": {
                  "type": "array",
                  "items": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 32
                  },
                  "minItems": 0,
                  "maxItems": 32
                },
                "tokens": {
                  "type": "array",
                  "items": {
                    "anyOf": [
                      {
                        "$ref": "#/properties/artifact/%24defs/s1"
                      },
                      {
                        "$ref": "#/properties/artifact/%24defs/s3"
                      }
                    ]
                  },
                  "minItems": 0,
                  "maxItems": 256
                }
              }
            },
            "claim": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "string",
                  "minLength": 64,
                  "maxLength": 64,
                  "pattern": "^[0-9a-f]{64}$"
                }
              ]
            }
          }
        }
      },
      "$defs": {
        "s0": {
          "anyOf": [
            {
              "$ref": "#/properties/artifact/%24defs/s1"
            },
            {
              "$ref": "#/properties/artifact/%24defs/s3"
            },
            {
              "$ref": "#/properties/artifact/%24defs/s5"
            }
          ]
        },
        "s1": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "kind",
            "name"
          ],
          "properties": {
            "kind": {
              "enum": [
                "control"
              ]
            },
            "name": {
              "$ref": "#/properties/artifact/%24defs/s2"
            }
          }
        },
        "s2": {
          "type": "string",
          "minLength": 1,
          "maxLength": 32,
          "pattern": "^[A-Za-z]{1,32}$"
        },
        "s3": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "kind",
            "character",
            "catcode"
          ],
          "properties": {
            "kind": {
              "enum": [
                "character"
              ]
            },
            "character": {
              "$ref": "#/properties/artifact/%24defs/s4"
            },
            "catcode": {
              "enum": [
                1,
                2,
                10,
                11,
                12
              ]
            }
          }
        },
        "s4": {
          "type": "string",
          "minLength": 1,
          "maxLength": 1,
          "pattern": "^[\\x00-\\x7f]$"
        },
        "s5": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "kind",
            "index"
          ],
          "properties": {
            "kind": {
              "enum": [
                "parameter"
              ]
            },
            "index": {
              "type": "integer",
              "minimum": 1,
              "maximum": 9
            }
          }
        }
      }
    }
  }
}

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 →