Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

workflow / workflow fencing token transcript

An agent that audits a finite fenced-write contract needs stale owner or epoch acceptance claims separated from merely monotone progress numbers.

POST https://detect.halowerk.com/v1/workflow/workflow-fencing-token-transcript

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "events": {
          "type": "array",
          "items": {
            "anyOf": [
              {
                "type": "object",
                "properties": {
                  "kind": {
                    "const": "grant"
                  },
                  "resource": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 31
                  },
                  "owner": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 31
                  },
                  "epoch": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 1000000000
                  },
                  "at": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 1000000000
                  },
                  "until": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 1000000000
                  }
                },
                "required": [
                  "kind",
                  "resource",
                  "owner",
                  "epoch",
                  "at",
                  "until"
                ],
                "additionalProperties": false
              },
              {
                "type": "object",
                "properties": {
                  "kind": {
                    "const": "write"
                  },
                  "resource": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 31
                  },
                  "owner": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 31
                  },
                  "epoch": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 1000000000
                  },
                  "at": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 1000000000
                  },
                  "claimed_accept": {
                    "type": "boolean"
                  }
                },
                "required": [
                  "kind",
                  "resource",
                  "owner",
                  "epoch",
                  "at",
                  "claimed_accept"
                ],
                "additionalProperties": false
              }
            ]
          },
          "minItems": 0,
          "maxItems": 256
        }
      },
      "required": [
        "events"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "events": [
      {
        "kind": "grant",
        "resource": 0,
        "owner": 0,
        "epoch": 1,
        "at": 0,
        "until": 10
      },
      {
        "kind": "write",
        "resource": 0,
        "owner": 0,
        "epoch": 1,
        "at": 1,
        "claimed_accept": true
      }
    ]
  }
}

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 →