Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

api / api canonical lr1 conflict cells

An agent that publishes a generated contract-language parser needs its claimed canonical LR-one action conflict count checked without incorrectly merging states that only share an LR-zero core.

POST https://detect.halowerk.com/v1/api/api-canonical-lr1-conflict-cells

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "start": {
          "type": "integer",
          "minimum": 0,
          "maximum": 7
        },
        "productions": {
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "head": {
                "type": "integer",
                "minimum": 0,
                "maximum": 7
              },
              "body": {
                "type": "array",
                "items": {
                  "type": "integer",
                  "minimum": -8,
                  "maximum": 7
                },
                "minItems": 0,
                "maxItems": 6
              }
            },
            "required": [
              "head",
              "body"
            ],
            "additionalProperties": false
          },
          "minItems": 1,
          "maxItems": 32
        },
        "claimed_conflicts": {
          "type": "integer",
          "minimum": 0,
          "maximum": 1152
        }
      },
      "required": [
        "start",
        "productions",
        "claimed_conflicts"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "start": 0,
    "productions": [
      {
        "head": 0,
        "body": [
          0
        ]
      },
      {
        "head": 0,
        "body": [
          -1,
          1,
          -1
        ]
      },
      {
        "head": 0,
        "body": [
          -1,
          2,
          -1
        ]
      }
    ],
    "claimed_conflicts": 4
  }
}

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 →