Dynamic Owned Boundary

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": "record_key",
      "value": {
        "type": "text",
        "value": "answer"
      }
    },
    {
      "name": "record_value",
      "value": {
        "type": "integer",
        "value": "42"
      }
    },
    {
      "name": "lookup_key",
      "value": {
        "type": "text",
        "value": "answer"
      }
    }
  ],
  "type": "record"
}

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

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

Code entry

ZergLang source policy

module benchmark_shared_dynamic_owned_boundary;

// ZL256-SCAFFOLD: shared/dynamic-owned-boundary requires its own Dynamic contract.
// Dynamic.get below is only the candidate slot shape and is not scored.
public value DynamicTask {
    public interpreted algorithm message lookup(type: Class<Self>,
        record: Dynamic, key: Dynamic) -> Dynamic effects { reflect } {
        return Dynamic.get(record, key);
    }
}

Execution contract

dynamic

Selector

benchmark_shared_dynamic_owned_boundary.DynamicTask.lookup

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