Zum Inhalt
HALOWERK

Finopswerk

guarded meek calibration transcript

Reconstruct one bounded guarded Meek calibration stage from supplied anonymous original rankings, roles and start keeps; check coupled retention, excess-dependent quota, simultaneous updates and same-original-world report compatibility. Conditional arithmetic only, no election, winners or convergence approval. Exact finite rational source-floor/cap/stop specialization, externally supplied roles, same-original-world uncertainty. No bitwise Pascal or full election/convergence certification. A.

POST https://finops.halowerk.com/v1/guarded-meek-calibration-transcript

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
rolesarrayJa
initial_keepsarrayJa
ballotsarrayJa
requested_roundsintegerJa
reportarrayJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "roles": {
      "type": "array",
      "minItems": 4,
      "maxItems": 4,
      "items": {
        "enum": [
          "elected",
          "hopeful",
          "excluded"
        ]
      }
    },
    "initial_keeps": {
      "type": "array",
      "minItems": 4,
      "maxItems": 4,
      "items": {
        "anyOf": [
          {
            "type": "object",
            "properties": {
              "n": {
                "type": "integer",
                "minimum": 0,
                "maximum": 8
              },
              "d": {
                "type": "integer",
                "minimum": 1,
                "maximum": 8
              }
            },
            "required": [
              "n",
              "d"
            ],
            "additionalProperties": false
          },
          {
            "type": "null"
          }
        ]
      }
    },
    "ballots": {
      "type": "array",
      "minItems": 1,
      "maxItems": 4,
      "items": {
        "type": "object",
        "properties": {
          "weight": {
            "type": "integer",
            "minimum": 1,
            "maximum": 100000
          },
          "ranking": {
            "type": "array",
            "minItems": 0,
            "maxItems": 4,
            "items": {
              "type": "integer",
              "minimum": 0,
              "maximum": 3
            },
            "uniqueItems": true
          }
        },
        "required": [
          "weight",
          "ranking"
        ],
        "additionalProperties": false
      }
    },
    "requested_rounds": {
      "type": "integer",
      "minimum": 1,
      "maximum": 2
    },
    "report": {
      "type": "array",
      "minItems": 0,
      "maxItems": 83,
      "items": {
        "type": "object",
        "properties": {
          "field": {
            "enum": [
              "r0.keep.0",
              "r0.keep.1",
              "r0.keep.2",
              "r0.keep.3",
              "r0.ret.0.0",
              "r0.ret.0.1",
              "r0.ret.0.2",
              "r0.ret.0.3",
              "r0.ret.1.0",
              "r0.ret.1.1",
              "r0.ret.1.2",
              "r0.ret.1.3",
              "r0.ret.2.0",
              "r0.ret.2.1",
              "r0.ret.2.2",
              "r0.ret.2.3",
              "r0.ret.3.0",
              "r0.ret.3.1",
              "r0.ret.3.2",
              "r0.ret.3.3",
              "r0.rest.0",
              "r0.rest.1",
              "r0.rest.2",
              "r0.rest.3",
              "r0.tally.0",
              "r0.tally.1",
              "r0.tally.2",
              "r0.tally.3",
              "r0.excess",
              "r0.quota_raw",
              "r0.quota_used",
              "r0.ratio.0",
              "r0.ratio.1",
              "r0.proposal.0",
              "r0.proposal.1",
              "r0.new_keep.0",
              "r0.new_keep.1",
              "r0.new_keep.2",
              "r0.new_keep.3",
              "r0.phase",
              "r0.stop",
              "r1.keep.0",
              "r1.keep.1",
              "r1.keep.2",
              "r1.keep.3",
              "r1.ret.0.0",
              "r1.ret.0.1",
              "r1.ret.0.2",
              "r1.ret.0.3",
              "r1.ret.1.0",
              "r1.ret.1.1",
              "r1.ret.1.2",
              "r1.ret.1.3",
              "r1.ret.2.0",
              "r1.ret.2.1",
              "r1.ret.2.2",
              "r1.ret.2.3",
              "r1.ret.3.0",
              "r1.ret.3.1",
              "r1.ret.3.2",
              "r1.ret.3.3",
              "r1.rest.0",
              "r1.rest.1",
              "r1.rest.2",
              "r1.rest.3",
              "r1.tally.0",
              "r1.tally.1",
              "r1.tally.2",
              "r1.tally.3",
              "r1.excess",
              "r1.quota_raw",
              "r1.quota_used",
              "r1.ratio.0",
              "r1.ratio.1",
              "r1.proposal.0",
              "r1.proposal.1",
              "r1.new_keep.0",
              "r1.new_keep.1",
              "r1.new_keep.2",
              "r1.new_keep.3",
              "r1.phase",
              "r1.stop",
              "end"
            ]
          },
          "value": {
            "anyOf": [
              {
                "type": "object",
                "properties": {
                  "n": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 128,
                    "pattern": "^(0|[1-9][0-9]*)$",
                    "not": {
                      "pattern": "[^0-9]"
                    }
                  },
                  "d": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 128,
                    "pattern": "^[1-9][0-9]*$",
                    "not": {
                      "pattern": "[^0-9]"
                    }
                  }
                },
                "required": [
                  "n",
                  "d"
                ],
                "additionalProperties": false
              },
              {
                "type": "null"
              },
              {
                "type": "boolean"
              },
              {
                "enum": [
                  "undefined",
                  "not_executed",
                  "calculated",
                  "not_executed_after_stop",
                  "unavailable_after_undefined",
                  "stop_condition_met",
                  "undefined_update",
                  "requested_limit"
                ]
              }
            ]
          }
        },
        "required": [
          "field",
          "value"
        ],
        "additionalProperties": false
      }
    }
  },
  "required": [
    "roles",
    "initial_keeps",
    "ballots",
    "requested_rounds",
    "report"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "roles": [
    "elected",
    "elected",
    "hopeful",
    "excluded"
  ],
  "initial_keeps": [
    null,
    {
      "n": 1,
      "d": 2
    },
    null,
    null
  ],
  "ballots": [
    {
      "weight": 4,
      "ranking": [
        0,
        1
      ]
    },
    {
      "weight": 4,
      "ranking": [
        1,
        0,
        2
      ]
    }
  ],
  "requested_rounds": 2,
  "report": [
    {
      "field": "r0.keep.0",
      "value": {
        "n": "1",
        "d": "2"
      }
    },
    {
      "field": "r0.ret.0.0",
      "value": {
        "n": "1",
        "d": "1"
      }
    }
  ]
}

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-07, 02:42 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →