scaffoldCore-1 previewrevision 2

State Authority Lifetime

state/state-authority-lifetime

statecompiledinterpreterc

Public context

What an implementation receives

This conformance task is evaluated from its checked task definition and published source closure. It is not currently in the model-synthesis lane.

Public cases

1 inspectable case

publicpublic input + expected behavior

Input

{
  "fields": [
    {
      "name": "value",
      "value": {
        "type": "integer",
        "value": "10"
      }
    },
    {
      "name": "delta",
      "value": {
        "type": "integer",
        "value": "2"
      }
    },
    {
      "name": "scenario",
      "value": {
        "type": "text",
        "value": "state-authority-lifetime"
      }
    }
  ],
  "type": "record"
}

Expected

{
  "kind": "trace",
  "value": {
    "fields": [
      {
        "name": "committed",
        "value": {
          "type": "bool",
          "value": true
        }
      },
      {
        "name": "before",
        "value": {
          "fields": [
            {
              "name": "value",
              "value": {
                "type": "integer",
                "value": "10"
              }
            },
            {
              "name": "version",
              "value": {
                "type": "integer",
                "value": "0"
              }
            }
          ],
          "type": "record"
        }
      },
      {
        "name": "after",
        "value": {
          "fields": [
            {
              "name": "value",
              "value": {
                "type": "integer",
                "value": "12"
              }
            },
            {
              "name": "version",
              "value": {
                "type": "integer",
                "value": "1"
              }
            }
          ],
          "type": "record"
        }
      },
      {
        "name": "pending_events",
        "value": {
          "type": "integer",
          "value": "0"
        }
      },
      {
        "name": "error",
        "value": {
          "type": "text",
          "value": "none"
        }
      }
    ],
    "type": "record"
  }
}

Held-out inputs and expectations are excluded from this projection. Their published outcomes are aggregate-only.

Code entry

ZergLang source policy

source/main.zlZergLang

module benchmark_state_state_authority_lifetime;

// ZL256-SCAFFOLD: state/state-authority-lifetime has no source-native scenario yet.
public value Transition {
    public compiled state message apply(type: Class<Self>,
        current: Int64, delta: Int64) -> Int64 effects { state } {
        return current;
    }
    public interpreted algorithm message transact(type: Class<Self>,
        delta: Int64) -> Int64 effects { state } {
        return Store.transact(Transition.apply, delta);
    }
}

Execution contract

state

Selector: benchmark_state_state_authority_lifetime.Transition.apply
Executors: state-reference, state-compiled
Platforms: portable
Performance lane: not eligible

Normative authority

1 bound clauses

C1-STATE-001

Official task history

Signed conformance observations

No official conformance run currently contains this task revision in its signed catalog.

Provenance

Where this task came from

[
  {
    "kind": "original",
    "license": "Apache-2.0",
    "source": "ZergLang Core-0/Core-1 normative specification"
  }
]