This might be an ISP issue, but I don't know how to diagnose it. The issue is that there is no IPv6 traffic to or from the LAN to the WAN. I know there used to be about a week ago and I have not changed the configuration. The router has gotten an IPv6 address and prefix for LAN delegation. The clients are getting a prefix and can communicate among themselves with link local address or delegated address. I picked some IPv6 address from the DNS cache and tried to ping them. These fail due to no route to host. The neighbor list only has LAN or link local addresses. The route list has WAN and LAN prefix addresses. The WAN addresses have ether1 as the gateway address which is correct. At the top of the route list are two unreachable entries for ::/0 with a gateway address of one of the IPv6 WAN addresses. At first I thought the problem was related to v7.2 which installed overnight. I downgraded to 7.1.2 but it did not solve the problem. At this point I am out of ideas.
Update:
I noticed that the gateway for the unreachable ::/0 routes was not one of the WAN address. It was a mashup of two address. I added ::/0 entries for each of the 4 WAN address in the list with those addresses as gateways. One of those addresses must have been the secret because I now have LAN-WAN IPv6 traffic. Does this look like an ISP issue? Does the router just use the gateway address for ::/0 routes as given to it by the ISP?