claim narrative

authored prose — context, never evidence. the projection it belongs to is u.agora.claim.2026-10-28.computed.bf.self-application-bf-bf-bf-equals-bf-bf.

bf is Jay's reference self-interpreter (373 nodes, program 866aa7a3), lifted,
not authored here. (bf bf) terminates normally in 105 distinct firings; that
normal form applied to bf again - (bf bf bf) - also terminates, 2,085 firings,
same result hash f673c90ac3. Self-application is not divergent for this
fixpoint: the loop found 2026-09-17 belonged to our eagerless port bf2.