test: Add 27 EXPR expression-language conformance fixtures

conformance-tests/2023-09/EXPR/job_templates/3.6--let-boundary-edges.yaml

@@ -0,0 +1,77 @@
+# Boundary edges for let bindings (Template Schemas §3.6, §3.6.1):
+# exactly 50 bindings is the maximum and must be accepted (the 51-binding
+# reject twin is 3.6--let-too-many.invalid.yaml); a 512-character
+# <UserIdentifier> is the maximum length and must be accepted (the
+# 513-character reject twin is parked in
+# ../proposed/3.6.1--let-identifier-513.invalid.yaml — see the README there);
+# names may start with an underscore; and later bindings may reference
+# earlier bindings in the same let block (a 10-deep forward-reference
+# chain).
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  let:
+  - _lead = 1
+  - aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa = 42
+  - chain0 = _lead + 1
+  - chain1 = chain0 + 1
+  - chain2 = chain1 + 1
+  - chain3 = chain2 + 1
+  - chain4 = chain3 + 1
+  - chain5 = chain4 + 1
+  - chain6 = chain5 + 1
+  - chain7 = chain6 + 1
+  - chain8 = chain7 + 1
+  - chain9 = chain8 + 1
+  - pad0 = 0
+  - pad1 = 1
+  - pad2 = 2
+  - pad3 = 3
+  - pad4 = 4
+  - pad5 = 5
+  - pad6 = 6
+  - pad7 = 7
+  - pad8 = 8
+  - pad9 = 9
+  - pad10 = 10
+  - pad11 = 11
+  - pad12 = 12
+  - pad13 = 13
+  - pad14 = 14
+  - pad15 = 15
+  - pad16 = 16
+  - pad17 = 17
+  - pad18 = 18
+  - pad19 = 19
+  - pad20 = 20
+  - pad21 = 21
+  - pad22 = 22
+  - pad23 = 23
+  - pad24 = 24
+  - pad25 = 25
+  - pad26 = 26
+  - pad27 = 27
+  - pad28 = 28
+  - pad29 = 29
+  - pad30 = 30
+  - pad31 = 31
+  - pad32 = 32
+  - pad33 = 33
+  - pad34 = 34
+  - pad35 = 35
+  - pad36 = 36
+  - pad37 = 37
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - "-c"
+        - |
+          print(r'LEAD:{{ _lead }}')
+          print(r'LONG:{{ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa }}')
+          print(r'CHAIN:{{ chain9 }}')
+          print(r'PAD_LAST:{{ pad37 }}')

conformance-tests/2023-09/EXPR/job_templates/3.6.2--env-script-let-task-param.invalid.yaml

@@ -0,0 +1,34 @@
+# An <EnvironmentScript>.let binding may reference only Param.*, RawParam.*,
+# Session.*, Env.File.*, Job.Name, and earlier bindings (Template Schemas
+# §3.6.2). Task.Param.* is never in scope for an environment script — even
+# for a stepEnvironment whose enclosing step defines the task parameter —
+# so this template must be rejected.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  parameterSpace:
+    taskParameterDefinitions:
+    - name: Frame
+      type: INT
+      range: "1-5"
+  stepEnvironments:
+  - name: Setup
+    script:
+      let:
+      - f = Task.Param.Frame
+      actions:
+        onEnter:
+          command: python
+          args:
+          - "-c"
+          - "print(r'{{ f }}')"
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - "-c"
+        - "print()"

conformance-tests/2023-09/EXPR/job_templates/3.6.2--step-let-session-in-expression.invalid.yaml

@@ -0,0 +1,20 @@
+# Session.WorkingDirectory is out of scope for a <StepTemplate>.let binding
+# (Template Schemas §3.6.2). Here the out-of-scope symbol is nested deep in
+# an expression tree rather than being the whole binding — a validator that
+# only inspects top-level references in let bindings would incorrectly
+# accept this.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  let:
+  - n = len(string(Session.WorkingDirectory)) + 1
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - "-c"
+        - "print(r'{{ n }}')"

conformance-tests/2023-09/EXPR/job_templates/3.6.2--step-let-session-working-directory.invalid.yaml

@@ -0,0 +1,18 @@
+# A <StepTemplate>.let binding may reference only Param.*, RawParam.*,
+# Job.Name, Step.Name, and earlier bindings (Template Schemas §3.6.2).
+# Session.WorkingDirectory is a host-context symbol and must be rejected here.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  let:
+  - wd = Session.WorkingDirectory
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - "-c"
+        - "print(r'{{ wd }}')"

conformance-tests/2023-09/EXPR/job_templates/3.6.2--step-let-task-file.invalid.yaml

@@ -0,0 +1,23 @@
+# A <StepTemplate>.let binding may reference only Param.*, RawParam.*,
+# Job.Name, Step.Name, and earlier bindings (Template Schemas §3.6.2).
+# Task.File.* is only available in <StepScript>.let, so referencing an
+# embedded file from the step-level let must be rejected.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  let:
+  - cfg = Task.File.config
+  script:
+    embeddedFiles:
+    - name: config
+      type: TEXT
+      data: "hello"
+    actions:
+      onRun:
+        command: python
+        args:
+        - "-c"
+        - "print(r'{{ cfg }}')"

conformance-tests/2023-09/EXPR/job_templates/3.6.2--step-let-task-param.invalid.yaml

@@ -0,0 +1,24 @@
+# A <StepTemplate>.let binding may reference only Param.*, RawParam.*,
+# Job.Name, Step.Name, and earlier bindings (Template Schemas §3.6.2).
+# Task.Param.* is only available in <StepScript>.let and <SimpleAction>.let,
+# so referencing it from the step-level let must be rejected.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  parameterSpace:
+    taskParameterDefinitions:
+    - name: Frame
+      type: INT
+      range: "1-5"
+  let:
+  - f = Task.Param.Frame
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - "-c"
+        - "print(r'{{ f }}')"

conformance-tests/2023-09/EXPR/job_templates/7.3--session-in-host-requirements-call.invalid.yaml

@@ -0,0 +1,23 @@
+# Session.WorkingDirectory is not available in the submission-time host
+# requirements context (Template Schemas §7.3.1). Unlike the existing bare
+# "{{ Session.WorkingDirectory }}" negative, the symbol here is buried inside
+# a function call — a validator that walks bare format-string references but
+# not full expression trees would incorrectly accept this.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  hostRequirements:
+    attributes:
+    - name: attr.worker.os.family
+      anyOf:
+      - "{{ upper(string(Session.WorkingDirectory)) }}"
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - "-c"
+        - "print()"

conformance-tests/2023-09/EXPR/job_templates/expr1.1.6--underscore-adjacent-decimal-point.invalid.yaml

@@ -0,0 +1,16 @@
+# Underscores in numeric literals cannot appear adjacent to the decimal
+# point (Expression Language §1.1.6). "1_.5" must be rejected as a syntax
+# error.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - -c
+        - print(r'{{ 1_.5 }}')

conformance-tests/2023-09/EXPR/job_templates/expr1.1.6--underscore-before-exponent.invalid.yaml

@@ -0,0 +1,16 @@
+# Underscores in numeric literals cannot appear adjacent to the exponent
+# marker (Expression Language §1.1.6). "1_e10" must be rejected as a syntax
+# error.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - -c
+        - print(r'{{ 1_e10 }}')

conformance-tests/2023-09/EXPR/job_templates/expr1.1.6--underscore-trailing.invalid.yaml

@@ -0,0 +1,15 @@
+# Underscores in numeric literals cannot appear at the end of a number
+# (Expression Language §1.1.6). "123_" must be rejected as a syntax error.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - -c
+        - print(r'{{ 123_ }}')

conformance-tests/2023-09/EXPR/job_templates/expr1.2.1--unresolved-condition-failing-arm.yaml

@@ -0,0 +1,26 @@
+# When the condition of an if/else is unresolved[bool], both branches are
+# evaluated; if one branch succeeds and the other fails, the failing branch's
+# error is suppressed and the result takes the succeeding branch's type
+# (Expression Language: Static Type Checking via Unresolved Values,
+# "Conditional Expressions with Unknown Conditions"). Here upper(int) has no
+# signature, so the else-arm fails to type-check — but the template must
+# still VALIDATE. An eager checker that reports errors from both arms
+# over-rejects.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  parameterSpace:
+    taskParameterDefinitions:
+    - name: Frame
+      type: INT
+      range: "1-5"
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - "-c"
+        - "print(r'{{ Task.Param.Frame if Task.Param.Frame < 100 else upper(Task.Param.Frame) }}')"

conformance-tests/2023-09/EXPR/job_templates/expr1.2.1--unresolved-type-error.invalid.yaml

@@ -0,0 +1,18 @@
+# Session.HasPathMappingRules is unresolved[bool] at template parse time
+# (Expression Language §1.2.1; §1.2.2 Session Symbols). Operations on
+# unresolved values propagate the constraint type, so bool + int has no
+# __add__ signature (§2.1.1) and openjd check must reject this template
+# even though the symbol's concrete value is not yet known.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - "-c"
+        - "print(r'{{ Session.HasPathMappingRules + 1 }}')"

conformance-tests/2023-09/EXPR/job_templates/expr1.2.1--unresolved-valid-op.yaml

@@ -0,0 +1,27 @@
+# At template parse time (openjd check), host-context symbols like
+# Task.Param.* and Session.* are unresolved[T] placeholders (Expression
+# Language §1.2.1; Static Type Checking via Unresolved Values; Template
+# Schemas §7.4). Valid operations on unresolved values must type-check and
+# the template must validate — a checker that rejects any expression it
+# cannot fully evaluate over-rejects.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  parameterSpace:
+    taskParameterDefinitions:
+    - name: Frame
+      type: INT
+      range: "1-5"
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - "-c"
+        - |
+          print(r'NEXT:{{ Task.Param.Frame + 1 }}')
+          print(r'OUT:{{ Session.WorkingDirectory / "out" }}')
+          print(r'HASWD:{{ len(string(Session.WorkingDirectory)) > 0 }}')

conformance-tests/2023-09/EXPR/job_templates/expr1.3.4--nan-arithmetic.invalid.yaml

@@ -0,0 +1,17 @@
+# "Operations that would produce NaN (e.g., 0.0 / 0.0) are errors"
+# (Expression Language §1.3.4). This exercises the arithmetic NaN guard,
+# which is a different code path from the float("nan") conversion guard
+# already covered by expr2.2.1--float-from-nan.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - -c
+        - print(r'{{ 0.0 / 0.0 }}')

conformance-tests/2023-09/EXPR/job_templates/expr2.1.4--order-int-string.invalid.yaml

@@ -0,0 +1,17 @@
+# Ordering operators work on int, float, string, path, and bool, and only
+# the compatible cross-type pairs int/float and string/path may be mixed;
+# "comparing other cross-type pairs is an error" (Expression Language
+# §2.1.4). 1 < "a" must be rejected.
+specificationVersion: jobtemplate-2023-09
+extensions:
+- EXPR
+name: TestJob
+steps:
+- name: Step1
+  script:
+    actions:
+      onRun:
+        command: python
+        args:
+        - -c
+        - print(r'{{ 1 < "a" }}')