Ownership Exactly Once Drop

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": "48"
      }
    },
    {
      "name": "scenario",
      "value": {
        "type": "text",
        "value": "ownership-exactly-once-drop"
      }
    }
  ],
  "type": "record"
}

{
  "kind": "value",
  "value": {
    "type": "integer",
    "value": "304"
  }
}

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

Code entry

ZergLang source policy

module benchmark_shared_ownership_exactly_once_drop;

// ZL256-SCAFFOLD: shared/ownership-exactly-once-drop has no executable fixture yet.
// The task remains in the inventory, but this placeholder cannot earn
// an edition pass and must be replaced by task-specific source first.
public value Benchmark {
    public interpreted algorithm message main(type: Class<Self>) -> Int64
    effects {} { return 0; }
}

Execution contract

algorithm

Selector

benchmark_shared_ownership_exactly_once_drop.Benchmark.main

Executors

algorithm-interpreter

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