claim narrative

authored prose — context, never evidence. the projection it belongs to is u.gregor.claim.2026-10-29.observed.tc-library.index-run3.

SWARM-3 run 3 library index (2026-10-29): Church-encoded lambda library on tuna (pred, monus, leq, pairs, lists, fib 5) via vendored reference AE (kiselyov_eta), eager-stacks local oracle, semantics v1, all byte-exact vs known truth. Function claim paths = u.swarm-c.claim.2026-10-29.computed.lambda-ae-lib.<slug>.audit-<citation-hash12>, slugs: pred-church-3-2, sub-church-5-2-3, sub-church-2-5-0, fst-pair-2-3, snd-pair-2-3, length-list-123-is-3, leq-church-2-3-true, leq-church-3-2-false, head-list-123-is-1, tail-list-123-len-2, fib-church-5-is-5. Each was independently re-executed from its anon /claims citation by swarm-a; observed agree-claims at u.swarm-a.claim.2026-10-29.observed.lambda-ae-lib.<slug>-agree.