keeps-the-answer-a-firing-already-gave.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
# An entry answering a λ function no other entry answers: the firing happens,
# and the run then parks on the answer instead of failing on it. What fired
# before the run got stuck stays in the protocol.
symbolic: |
  - λ: L_answers
    𝑛: ⟦ λ ⤍ L_none ⟧
location: 'Q.x'
partial: true
input: '⟦ x ↦ ⟦ λ ⤍ L_answers ⟧.foo ⟧'
result: 'L_none:λ.foo'
protocol: |
  𝕄(Φ.x):
    𝔼(L_answers):
      𝑛·1·1 := L_none:λ  # 𝑛
      𝑛·1·2 := L_none:λ  # 𝕄(𝑛·1·1)
    unanswered(L_none)  # 𝕄(L_none:λ)