2026-10-15: outcome campaign

The guarded matched-producer language proposed in this stage is refuted by a concrete 557-step counterexample. Earlier local return rules remain available; global closure is open. No classification.

Evidence: astra/outcome-campaign-20261015/169/report.md.

Next justified direction: A domain retaining the missing ordered frame and parent provenance, justified against the saved counterexample.