scaffoldCore-1 previewrevision 2

Product Space

optimize/product-space

optimizecompiledinterpreterc

Public context

What an implementation receives

# Product Space Implement the normative product space behavior for the ZergLang optimize 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_optimize_product_space;

public value Problem {
    public interpreted algorithm message run(type: Class<Self>) -> Int64 effects { optimize };
}

Public cases

1 inspectable case

publicpublic input + expected behavior

Input

{
  "fields": [
    {
      "name": "lower",
      "value": {
        "type": "integer",
        "value": "0"
      }
    },
    {
      "name": "upper",
      "value": {
        "type": "integer",
        "value": "9"
      }
    },
    {
      "name": "candidates",
      "value": {
        "type": "integer",
        "value": "10"
      }
    },
    {
      "name": "observations",
      "value": {
        "type": "integer",
        "value": "10"
      }
    },
    {
      "name": "space",
      "value": {
        "type": "text",
        "value": "product-space"
      }
    }
  ],
  "type": "record"
}

Expected

{
  "kind": "evidence",
  "value": {
    "fields": [
      {
        "name": "selected",
        "value": {
          "type": "integer",
          "value": "0"
        }
      },
      {
        "name": "termination",
        "value": {
          "type": "text",
          "value": "space-exhausted"
        }
      },
      {
        "name": "candidates",
        "value": {
          "type": "integer",
          "value": "10"
        }
      },
      {
        "name": "observations",
        "value": {
          "type": "integer",
          "value": "10"
        }
      },
      {
        "name": "tie_break",
        "value": {
          "type": "text",
          "value": "canonical-space-order"
        }
      },
      {
        "name": "problem",
        "value": {
          "type": "text",
          "value": "product-space"
        }
      }
    ],
    "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

optimize

Selector: benchmark_optimize_product_space.Problem.run
Executors: optimize-exhaustive, optimize-batched
Platforms: portable
Performance lane: not eligible

Normative authority

1 bound clauses

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