Report Engine Identity

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": "scenario",
      "value": {
        "type": "text",
        "value": "report-engine-identity"
      }
    }
  ],
  "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_optimize_report_engine_identity;

// Source-owned finite-search/evidence scenario: report-engine-identity.
public value Problem {
    public compiled optimize message accept(type: Class<Self>, candidate: Int64)
        -> Bool effects { optimize } { return candidate >= 1; }
    public compiled optimize message follow(type: Class<Self>, candidate: Int64)
        -> Int64 effects { optimize } { return candidate; }
    public compiled optimize message define(type: Class<Self>)
        -> Int64 effects { optimize } {
        return Optimization.problem(208, Space.range(1, 5), Problem.accept, Problem.follow, 5, 10);
    }
    public interpreted algorithm message run(type: Class<Self>)
        -> Int64 effects { optimize } { return Optimizer.run(Problem.define); }
}

Execution contract

optimize

Selector

benchmark_optimize_report_engine_identity.Problem.run

Executors

optimize-exhaustive, optimize-batched

Platforms

portable

Performance lane

not eligible

Normative authority

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