verifiedCore-1 previewrevision 2

Boundary Compute To State

integration/boundary-compute-to-state

algorithmcomputestateflowoptimizeinterpretedcompiledinterpretercllvm-jitaot

Public context

What an implementation receives

# Boundary Compute To State Implement the normative boundary compute to state behavior for the ZergLang integration 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_integration_compute_to_state_6;

public value Boundary {
    public compiled compute message source(type: Class<Self>, input: Int64) -> Int64 effects { compute, state };
}

Public cases

1 inspectable case

publicpublic input + expected behavior

Input

{
  "fields": [
    {
      "name": "seed",
      "value": {
        "type": "integer",
        "value": "7"
      }
    },
    {
      "name": "scenario",
      "value": {
        "type": "text",
        "value": "boundary-compute-to-state"
      }
    }
  ],
  "type": "record"
}

Expected

{
  "code": "ZL-DOMAIN-0004",
  "kind": "diagnostic"
}

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

artifact-roundtrip

Selector: benchmark_integration_compute_to_state_6.Boundary.source
Executors: compiler-frontend
Platforms: portable
Performance lane: not eligible

Normative authority

3 bound clauses

C1-BOUND-001 C1-BOUND-002 C1-DOM-003

compute → stateforbidden

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