Tensor View Alias Reject · ZL256

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

publicpublic input + expected behavior

Input

{
  "fields": [
    {
      "name": "lhs",
      "value": {
        "items": [
          {
            "bits": "0x3ff0000000000000",
            "format": "binary64",
            "type": "float"
          },
          {
            "bits": "0x8000000000000000",
            "format": "binary64",
            "type": "float"
          },
          {
            "bits": "0x400c000000000000",
            "format": "binary64",
            "type": "float"
          },
          {
            "bits": "0x4020000000000000",
            "format": "binary64",
            "type": "float"
          }
        ],
        "type": "sequence"
      }
    },
    {
      "name": "rhs",
      "value": {
        "items": [
          {
            "bits": "0x4000000000000000",
            "format": "binary64",
            "type": "float"
          },
          {
            "bits": "0x4010000000000000",
            "format": "binary64",
            "type": "float"
          },
          {
            "bits": "0xbff8000000000000",
            "format": "binary64",
            "type": "float"
          },
          {
            "bits": "0x3fe0000000000000",
            "format": "binary64",
            "type": "float"
          }
        ],
        "type": "sequence"
      }
    },
    {
      "name": "layout",
      "value": {
        "type": "text",
        "value": "row-major"
      }
    },
    {
      "name": "shape",
      "value": {
        "items": [
          {
            "type": "integer",
            "value": "4"
          }
        ],
        "type": "sequence"
      }
    },
    {
      "name": "scenario",
      "value": {
        "type": "text",
        "value": "tensor-view-alias-reject"
      }
    }
  ],
  "type": "record"
}

Expected

{
  "kind": "value",
  "value": {
    "fields": [
      {
        "name": "layout",
        "value": {
          "type": "text",
          "value": "row-major"
        }
      },
      {
        "name": "shape",
        "value": {
          "items": [
            {
              "type": "integer",
              "value": "4"
            }
          ],
          "type": "sequence"
        }
      },
      {
        "name": "bits",
        "value": {
          "items": [
            {
              "bits": "0x4008000000000000",
              "format": "binary64",
              "type": "float"
            },
            {
              "bits": "0x4010000000000000",
              "format": "binary64",
              "type": "float"
            },
            {
              "bits": "0x4000000000000000",
              "format": "binary64",
              "type": "float"
            },
            {
              "bits": "0x4021000000000000",
              "format": "binary64",
              "type": "float"
            }
          ],
          "type": "sequence"
        }
      }
    ],
    "type": "record"
  }
}

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

Code entry

ZergLang source policy

source/main.zlZergLang

module benchmark_compute_tensor_view_alias_reject;

// ZL256-SCAFFOLD: compute/tensor-view-alias-reject needs a task-specific kernel, shape, and oracle.
public value Kernel {
    public compiled compute message run(type: Class<Self>,
        lhs: TensorView<Float64,1,RowMajor>,
        rhs: TensorView<Float64,1,RowMajor>)
        -> Tensor<Float64,1,RowMajor> effects { compute } {
        return lhs + rhs;
    }
}

Execution contract

compute

Selector: benchmark_compute_tensor_view_alias_reject.Kernel.run
Executors: compute-scalar
Platforms: portable
Performance lane: not eligible

Normative authority

1 bound clauses

C1-COMPUTE-003

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