Exact connection, target-pair and site-size counts for each source fixed all target-set counts in two early C. elegans maps

We tested which synaptic target groups can be recovered from exact counts in eight C. elegans brain maps. For each source, we fixed every connection count, every shared target-pair count, and the number of sites of each target-set size. Integer optimization gave all feasible target-set count ranges. All set counts were unique in the two earliest maps. In two adult maps, fixed-count sets contained 93.7% and 86.6% of sites. For sites with three or more targets, these fractions were 93.3% and 89.6%. Exact rational certificates verify all primary bounds. The package includes count-compatible alternatives where larger groups remain ambiguous. In one selected example, an independent complete site-loss model at probability 0.5 gives three-connection joint loss of 6.25% or 12.5% at the same fixed counts. This is a model consequence, not a measured failure rate. The result assumes error-free counts and does not recover site positions or establish a population developmental trend. The package preserves code, source checksums, count ranges, alternative maps, proof certificates, figures, and reproduction steps.

connectome · Caenorhabditis elegans · polyadic synapse · target groups · hypergraph reconstruction · integer optimization · identifiability · proof certificates