AOE admission wall: named domain fixtures use binder_edge

[gunbai-bot]

Summary

• Census RED arrow_order_edge/admission_wall_test.dag aoe_resolve_refuses_a_named_domain_without_order (pin 9bb7440).
• Ledger: (b) fixture drifted from XL-2. resolve refuses unless well_formed and type_binder_labels_conform. The positive control used declared_signature over Authored → Atom binders, so resolve refused it as resolve_reason_malformed_tree and the claim failed. Production lowering mints binder_edge. The no-order RED is still hand-built with no producer; it still lacks an order edge.
• Does not weaken discrimination: no-order still ill-formed; with-order and positional-no-binder still admitted.
• Sibling emit cluster is Out-of-gate emit census: binder types, A4 order on rust fixtures, refinement kind capture #13469. Do not gate this module.

Test plan

• CI on this head
• aoe_well_formed_* / aoe_infer_* / aoe_assembly_gate_* still discriminate the three arrows

Made with Cursor