Boundary Flow To Optimize

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

{
  "fields": [
    {
      "name": "seed",
      "value": {
        "type": "integer",
        "value": "17"
      }
    },
    {
      "name": "scenario",
      "value": {
        "type": "text",
        "value": "boundary-flow-to-optimize"
      }
    }
  ],
  "type": "record"
}

{
  "availability": "withheld",
  "kind": "property",
  "reason": "executable-oracle-code"
}

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

Code entry

ZergLang source policy

module benchmark_integration_flow_to_optimize_16;

public value Boundary {
    public compiled optimize message target(type: Class<Self>, input: Int64)
        -> Int64 effects { optimize } { return input + 1; }
    public compiled flow message source(type: Class<Self>, input: Int64)
        -> Int64 effects { flow, optimize } {
        return Flow.activity(17, Boundary.target, input, 1, 3, true);
    }
    public interpreted algorithm message start(type: Class<Self>, input: Int64)
        -> Int64 effects { flow, optimize } {
        return FlowEngine.start(Boundary.source, input);
    }
}

Execution contract

artifact-roundtrip

Selector

benchmark_integration_flow_to_optimize_16.Boundary.source

Executors

compiler-frontend

Platforms

portable

Performance lane

not eligible

Normative authority

2 bound clauses

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