Fox the clauses that actually satisfy box and mutable constraints; in all the confusion I had got those wrong.
Fox the clauses that actually satisfy box and mutable constraints; in all the confusion I had got those wrong.

ruud-v-a/rust,cllns/rust,miniupnp/rust,mitsuhiko/rust,0x73/rust,GBGamer/rust,l0kod/rust,ejjeong/rust,jbclements/rust,zubron/rust,michaelballantyne/rust-gpu,LeoTestard/rust,omasanori/rust,michaelballantyne/rust-gpu,dinfuehr/rust,aidancully/rust,mihneadb/rust,ejjeong/rust,kimroen/rust,retep998/rand,pczarn/rust,aturon/rust,avdi/rust,dwillmer/rust,servo/rust,mahkoh/rust,defuz/rust,aidancully/rust,jashank/rust,pshc/rust,hauleth/rust,rohitjoshi/rust,seanrivera/rust,fabricedesre/rust,GBGamer/rust,kimroen/rust,mitsuhiko/rust,ejjeong/rust,emk/rust,ruud-v-a/rust,P1start/rust,victorvde/rust,TheNeikos/rust,zachwick/rust,Ryman/rust,mahkoh/rust,dinfuehr/rust,kmcallister/rust,mdinger/rust,AerialX/rust,philyoon/rust,miniupnp/rust,krzysz00/rust,mihneadb/rust,carols10cents/rust,servo/rust,erickt/rust,jbclements/rust,dinfuehr/rust,aepsil0n/rust,jashank/rust,sae-bom/rust,servo/rust,krzysz00/rust,cllns/rust,seanrivera/rust,ebfull/rust,vhbit/rust,gifnksm/rust,jroesch/rust,seanrivera/rust,kmcallister/rust,nham/rust,AerialX/rust,graydon/rust,vhbit/rust,defuz/rust,gifnksm/rust,quornian/rust,zubron/rust,pczarn/rust,ktossell/rust,stepancheg/rust-ide-rust,mihneadb/rust,dwillmer/rust,barosl/rust,KokaKiwi/rust,pczarn/rust,kwantam/rust,erickt/rust,TheNeikos/rust,reem/rust,victorvde/rust,mihneadb/rust,kmcallister/rust,rohitjoshi/rust,aturon/rust,mvdnes/rust,mdinger/rust,ruud-v-a/rust,nham/rust,l0kod/rust,defuz/rust,philyoon/rust,hauleth/rust,AerialX/rust,seanrivera/rust,servo/rust,ktossell/rust,l0kod/rust,jroesch/rust,AerialX/rust-rt-minimal,nham/rust,aepsil0n/rust,jashank/rust,XMPPwocky/rust,nwin/rust,aturon/rust,kimroen/rust,zubron/rust,ktossell/rust,XMPPwocky/rust,j16r/rust,AerialX/rust-rt-minimal,omasanori/rust,zachwick/rust,rprichard/rust,aidancully/rust,robertg/rust,pshc/rust,andars/rust,defuz/rust,omasanori/rust,bombless/rust,nham/rust,ktossell/rust,arthurprs/rand,pshc/rust,XMPPwocky/rust,Ryman/rust,gifnksm/rust,avdi/rust,P1start/rust,zaeleus/rust,victorvde/rust,avdi/rust,rprichard/rust,TheNeikos/rust,TheNeikos/rust,krzysz00/rust,untitaker/rust,kimroen/rust,Ryman/rust,rprichard/rust,servo/rust,AerialX/rust-rt-minimal,j16r/rust,mihneadb/rust,pythonesque/rust,pythonesque/rust,pelmers/rust,0x73/rust,GBGamer/rust,j16r/rust,kwantam/rust,rohitjoshi/rust,waynenilsen/rand,carols10cents/rust,emk/rust,jbclements/rust,rohitjoshi/rust,gifnksm/rust,mahkoh/rust,ebfull/rust,hauleth/rust,sarojaba/rust-doc-korean,aturon/rust,kimroen/rust,aepsil0n/rust,ebfull/rand,aneeshusa/rust,carols10cents/rust,AerialX/rust,Ryman/rust,rohitjoshi/rust,richo/rust,andars/rust,andars/rust,pczarn/rust,avdi/rust,shepmaster/rand,zaeleus/rust,0x73/rust,zubron/rust,bombless/rust,jroesch/rust,mvdnes/rust,LeoTestard/rust,barosl/rust,AerialX/rust,robertg/rust,seanrivera/rust,sae-bom/rust,vhbit/rust,aneeshusa/rust,ejjeong/rust,graydon/rust,rprichard/rust,rohitjoshi/rust,richo/rust,cllns/rust,mitsuhiko/rust,jroesch/rust,michaelballantyne/rust-gpu,GrahamDennis/rand,untitaker/rust,zaeleus/rust,pelmers/rust,jashank/rust,zaeleus/rust,robertg/rust,mahkoh/rust,emk/rust,fabricedesre/rust,l0kod/rust,richo/rust,pythonesque/rust,Ryman/rust,zachwick/rust,KokaKiwi/rust,vhbit/rust,robertg/rust,zaeleus/rust,ruud-v-a/rust,P1start/rust,XMPPwocky/rust,pelmers/rust,aneeshusa/rust,XMPPwocky/rust,pczarn/rust,jbclements/rust,l0kod/rust,jashank/rust,zubron/rust,pelmers/rust,pczarn/rust,krzysz00/rust,pythonesque/rust,P1start/rust,KokaKiwi/rust,mahkoh/rust,j16r/rust,kimroen/rust,LeoTestard/rust,ktossell/rust,aturon/rust,fabricedesre/rust,emk/rust,bombless/rust,nham/rust,cllns/rust,robertg/rust,nwin/rust,richo/rust,jroesch/rust,defuz/rust,gifnksm/rust,Ryman/rust,cllns/rust,pczarn/rust,l0kod/rust,carols10cents/rust,victorvde/rust,jbclements/rust,l0kod/rust,barosl/rust,pshc/rust,zubron/rust,bombless/rust,mdinger/rust,ebfull/rust,graydon/rust,krzysz00/rust,emk/rust,bombless/rust-docs-chinese,pshc/rust,zubron/rust,sarojaba/rust-doc-korean,omasanori/rust,LeoTestard/rust,jashank/rust,jroesch/rust,SiegeLord/rust,SiegeLord/rust,nwin/rust,seanrivera/rust,sarojaba/rust-doc-korean,ejjeong/rust,reem/rust,andars/rust,TheNeikos/rust,kwantam/rust,pshc/rust,quornian/rust,j16r/rust,mdinger/rust,ruud-v-a/rust,LeoTestard/rust,aneeshusa/rust,mitsuhiko/rust,reem/rust,LeoTestard/rust,jashank/rust,sarojaba/rust-doc-korean,reem/rust,kwantam/rust,defuz/rust,jbclements/rust,pythonesque/rust,mvdnes/rust,stepancheg/rust-ide-rust,mdinger/rust,zachwick/rust,aidancully/rust,aepsil0n/rust,0x73/rust,philyoon/rust,j16r/rust,aneeshusa/rust,untitaker/rust,sae-bom/rust,quornian/rust,dwillmer/rust,carols10cents/rust,SiegeLord/rust,ebfull/rust,erickt/rust,jbclements/rust,gifnksm/rust,miniupnp/rust,zaeleus/rust,michaelballantyne/rust-gpu,P1start/rust,GBGamer/rust,avdi/rust,quornian/rust,vhbit/rust,GBGamer/rust,rprichard/rust,reem/rust,barosl/rust,mitsuhiko/rust,miniupnp/rust,cllns/rust,mitsuhiko/rust,0x73/rust,GBGamer/rust,barosl/rust,zubron/rust,vhbit/rust,stepancheg/rust-ide-rust,erickt/rust,nwin/rust,KokaKiwi/rust,pythonesque/rust,victorvde/rust,ruud-v-a/rust,stepancheg/rust-ide-rust,nham/rust,nwin/rust,dwillmer/rust,ebfull/rust,jashank/rust,kmcallister/rust,reem/rust,fabricedesre/rust,philyoon/rust,mvdnes/rust,aidancully/rust,stepancheg/rust-ide-rust,SiegeLord/rust,krzysz00/rust,0x73/rust,jbclements/rust,erickt/rust,bombless/rust,P1start/rust,AerialX/rust-rt-minimal,quornian/rust,robertg/rust,michaelballantyne/rust-gpu,bluss/rand,kmcallister/rust,dwillmer/rust,KokaKiwi/rust,pshc/rust,sae-bom/rust,erickt/rust,huonw/rand,michaelballantyne/rust-gpu,miniupnp/rust,AerialX/rust-rt-minimal,victorvde/rust,sae-bom/rust,zachwick/rust,KokaKiwi/rust,jroesch/rust,kimroen/rust,vhbit/rust,kwantam/rust,aturon/rust,dinfuehr/rust,emk/rust,mvdnes/rust,P1start/rust,bombless/rust,dwillmer/rust,ebfull/rust,aidancully/rust,stepancheg/rust-ide-rust,carols10cents/rust,untitaker/rust,dwillmer/rust,l0kod/rust,quornian/rust,stepancheg/rust-ide-rust,aturon/rust,avdi/rust,ktossell/rust,ejjeong/rust,erickt/rust,mahkoh/rust,untitaker/rust,zachwick/rust,sae-bom/rust,miniupnp/rust,quornian/rust,pelmers/rust,mdinger/rust,GBGamer/rust,andars/rust,dwillmer/rust,richo/rust,michaelballantyne/rust-gpu,hauleth/rust,mihneadb/rust,kmcallister/rust,fabricedesre/rust,AerialX/rust-rt-minimal,miniupnp/rust,mitsuhiko/rust,nham/rust,sarojaba/rust-doc-korean,sarojaba/rust-doc-korean,aepsil0n/rust,philyoon/rust,dinfuehr/rust,AerialX/rust,jroesch/rust,ktossell/rust,miniupnp/rust,omasanori/rust,TheNeikos/rust,achanda/rand,hauleth/rust,emk/rust,vhbit/rust,pelmers/rust,0x73/rust,jbclements/rust,SiegeLord/rust,servo/rust,nwin/rust,SiegeLord/rust,GBGamer/rust,graydon/rust,LeoTestard/rust,nwin/rust,omasanori/rust,graydon/rust,richo/rust,graydon/rust,SiegeLord/rust,sarojaba/rust-doc-korean,dinfuehr/rust,andars/rust,kmcallister/rust,barosl/rust,nwin/rust,philyoon/rust,bhickey/rand,untitaker/rust,hauleth/rust,mvdnes/rust,aepsil0n/rust,fabricedesre/rust,pshc/rust,fabricedesre/rust,rprichard/rust,barosl/rust,XMPPwocky/rust,servo/rust,kwantam/rust,pythonesque/rust,j16r/rust,aneeshusa/rust,Ryman/rust