Skip to content

Model Mapped Array with element context #134

Description

@e54-bot

Problem

Bastion stops at not_modeled: "value mappedArray". On the wright Bastion fixture the stop is tick 1, rule 20 [Hero/Ana] Display sleep HUD, action 3. athena#56 excluded Mapped Array ("Map-free forms only").

Scope

Model Mapped Array with the element-context rules already used by Filtered Array, Sorted Array, Is True For All and Is True For Any: Current Array Element and Current Array Index bind per element, nested use follows the same rule as the existing forms. Semantics follow workshop-rs. Array and null coercions follow docs/architecture.md.

Non-goals

No other array or value construct. No change to the wait behavior under a 90% simulation rate (a separate stop at tick 91 on the reference bastion.ow).

Acceptance criteria

  • Unit tests for Mapped Array with a boundary case each for an empty array, a null operand, a non-array operand, and nested element context.
  • A non-finite mapped result stops not_modeled through the existing produced_number path.
  • The Bastion run on the wright fixture moves past value mappedArray. The PR body records the next stop.
  • docs/simulator-interface.md and docs/findings.md updated in the same PR. A construct without a passing capture fixture is recorded as modeled-not-measured.
  • Standard gates pass: fmt, clippy -D warnings, tests, wasm32 build.

Activity

  1. added
    ready-for-implementationContract settled; an Engineer can implement without inventing a decision
    p1Critical path of the current roadmap line, or a bug that hits real workflows
    on Oct 28, 2026
  2. added theissue type on Oct 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    p1Critical path of the current roadmap line, or a bug that hits real workflowsready-for-implementationContract settled; an Engineer can implement without inventing a decision

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions