dont-fire-a-lambda-an-unapplied-rho-filled-with-bottom.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
# The same shape with nothing around the unapplied formation: the ⊥ still
# fills the only void of 'plus', so 'saturated' would let it fire (#1196).
location: 'Q.@'
model: true
symbolic: true
input: '[[ a -> [[ @ -> 5.plus( $.^ ) ]] ]]'
result: '5.plus( ρ ):φ:a'