{"id":"palomar/PALOMAR-2026-10-29-000009","url":"https://github.com/cenozoic-works/rhone-theory/tree/babec8449a724c270450c7c0e2cd3985ccc2a989","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-29-000009-v1.json","repo":"https://github.com/cenozoic-works/rhone-theory","tags":["q-bio.PE","math.PR","msc:92D10","msc:68V15","msc:65Q30"],"score":0,"title":"A kernel-checked implementation of the biallelic two-locus sampling recursion, and a table checker","trust":"high","domain":"q-bio.PE","source":"palomar","authors":["X. Lee","N. Volkov"],"reviews":0,"subject":"q-bio.PE","summary":"This entry states correctness results, in exact rational arithmetic, for an executable implementation of the two-locus sampling recursion of the coalescent with recombination under parent-independent mutation, with two alleles at each locus. For valid parameters and configurations with the stated array sizes, the computation succeeds and its value equals the solution of the recursion at the decoded configuration. A table checker is shown to be sound and complete: a table that passes the check consists of true values of the recursion, and the table of true values over the closure of…","category":"research","comments":0,"disputed":false,"division":"q-bio","mentions":0,"verified":true,"discussed":0,"published":"2026-10-29","reactions":{},"formalized":true}