Two Activity Chain · ZL256

Public context

What an implementation receives

# Two Activity Chain Implement the normative two activity chain behavior for the ZergLang flow domain. Preserve deterministic ordering, typed failures, ownership transfer, and exactly-once cleanup required by the cited clauses. Submit the complete source closure matching `interface.zli`. Public cases are examples, not an exhaustive specification. Do not use ambient I/O, time, random state, or undeclared capabilities.

Public interfaceZergLang

module benchmark_flow_two_activity_chain;

public value Definition {
    public interpreted algorithm message start(type: Class<Self>, input: Int64) -> Int64 effects { flow };
}

Public cases

1 inspectable case

publicpublic input + expected behavior

Input

{
  "fields": [
    {
      "name": "argument",
      "value": {
        "type": "integer",
        "value": "41"
      }
    },
    {
      "name": "scenario",
      "value": {
        "type": "text",
        "value": "two-activity-chain"
      }
    }
  ],
  "type": "record"
}

Expected

{
  "kind": "history",
  "value": {
    "fields": [
      {
        "name": "run_id",
        "value": {
          "type": "integer",
          "value": "1"
        }
      },
      {
        "name": "events",
        "value": {
          "items": [
            {
              "fields": [
                {
                  "name": "command",
                  "value": {
                    "type": "text",
                    "value": "activity"
                  }
                },
                {
                  "name": "node",
                  "value": {
                    "type": "integer",
                    "value": "1"
                  }
                },
                {
                  "name": "attempt",
                  "value": {
                    "type": "integer",
                    "value": "1"
                  }
                },
                {
                  "name": "domain",
                  "value": {
                    "type": "text",
                    "value": "algorithm"
                  }
                },
                {
                  "name": "schema",
                  "value": {
                    "type": "integer",
                    "value": "1"
                  }
                },
                {
                  "name": "input",
                  "value": {
                    "type": "integer",
                    "value": "41"
                  }
                }
              ],
              "type": "record"
            },
            {
              "fields": [
                {
                  "name": "command",
                  "value": {
                    "type": "text",
                    "value": "activity"
                  }
                },
                {
                  "name": "node",
                  "value": {
                    "type": "integer",
                    "value": "2"
                  }
                },
                {
                  "name": "attempt",
                  "value": {
                    "type": "integer",
                    "value": "1"
                  }
                },
                {
                  "name": "domain",
                  "value": {
                    "type": "text",
                    "value": "algorithm"
                  }
                },
                {
                  "name": "schema",
                  "value": {
                    "type": "integer",
                    "value": "1"
                  }
                },
                {
                  "name": "input",
                  "value": {
                    "type": "integer",
                    "value": "42"
                  }
                }
              ],
              "type": "record"
            },
            {
              "fields": [
                {
                  "name": "command",
                  "value": {
                    "type": "text",
                    "value": "complete"
                  }
                },
                {
                  "name": "result",
                  "value": {
                    "type": "integer",
                    "value": "43"
                  }
                }
              ],
              "type": "record"
            }
          ],
          "type": "sequence"
        }
      },
      {
        "name": "history",
        "value": {
          "hex": "5a4648320000000001000000000000004347f929c78a1e7ef86e9d7b4cc085dc03000000000000000000000000000000000000000000000000000000000000001b74245cbdca9d20a57ff3278897afc5f0393eeda2c4839506ccdfaa29fb0c3b010000000000000001000000000000002a000000000000005a01000000000000000000000000000000000000000000000000000000000000010000000100000001000000000000002b000000000000005a02000000000000000000000000000000000000000000000000000000000000",
          "type": "bytes"
        }
      }
    ],
    "type": "record"
  }
}

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

Code entry

ZergLang source policy

Active reference source withheld

This task participates in model synthesis. Publishing its canonical solution would invalidate future evaluations; the prompt, interface, and public cases above are the complete public authoring context.

Execution contract

flow

Selector: benchmark_flow_two_activity_chain.Definition.start
Executors: flow-reducer, flow-state-machine
Platforms: portable
Performance lane: eligible

Normative authority

1 bound clauses

C1-FLOW-002

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"
  }
]