Re: Automatic LIIA Independent of Locking Order

Gustav Thorzen via Election-Methods <[email protected]> Tue, 5 May 2026 10:20:58 +0200
Newsgroups gmane.politics.election-methods
Message-ID <[email protected]>
T24gTW9uLCA0IE1heSAyMDI2IDIzOjI3OjM0ICswMDAwIChVVEMpDQpLZXZpbiBWZW56a2UgPHN0
ZXBqYWtAeWFob28uZnI+IHdyb3RlOg0KDQo+IEhpIEd1c3RhdiwNCj4gDQo+IExlIGx1bmRpIDQg
bWFpIDIwMjYgw6AgMTU6NDU6MjkgVVRD4oiSNSwgR3VzdGF2IFRob3J6ZW4gdmlhIEVsZWN0aW9u
LU1ldGhvZHMgPGVsZWN0aW9uLW1ldGhvZHNAbGlzdHMuZWxlY3RvcmFtYS5jb20+IGEgw6ljcml0
IDoNCj4gPiA+IEl0IHdvdWxkIGJlIGludGVyZXN0aW5nIHRvIGhhdmUgYW55IGFkZGl0aW9uYWwg
bWV0aG9kIGF0IGFsbCB0aGF0IHNhdGlzZmllcyB3ZWFrIEZCQw0KPiA+ID4gc2xhc2ggQUZCIGFu
ZCBMYXRlci1uby1oYXJtLiBJIHRoaW5rIE1NUE8gaXMgdGhlIG9ubHkga25vd24gb25lLiBPciBt
YXliZSBvbmUgb2YgdGhlDQo+ID4gPiBCb3JkYSBpbnRlcnByZXRhdGlvbnMgZG9lcyB0aGlzIHRv
by4NCj4gPsKgDQo+ID4gVGhlcmUgaXMgb25lLCBhbHRob3VnaCBJIGRvbid0IGtub3cgaWYgaXQg
aXMgb24gZWxlY3Rvd2lraS4NCj4gPiBBcHByb3ZhbCBzYXRpc2ZpZWQgY2FyZGluYWwgdmVyc2lv
bnMgb2YgQUZCK01vbm8rTXV0dWFsIE1ham9yaXR5K0xOLUhlbHAsDQo+ID4gYnV0IGlmIGRpc2Fw
cHJvdmFsIGJhbGxvdHMgYXJlIHVzZWQgcmF0aGVyIHRoZW4gYXBwcm92YWwgYmFsbG90cywNCj4g
PiB3ZSBjYW4gY3JlYXRlIHRoZSBmb2xsb3dpbmcgc3lzdGVtOg0KPiA+IEV2ZXJ5IHZvdGVyIG1h
cmtlcyBhbnkgY2FuZGlkYXRlcyBvZiB0aGUgY2hvaWNlIGFzIGRpc2FwcHJvdmVkLA0KPiA+IHRo
ZSBzdW0gb2YgZGlzYXBwcm92YWxzIGZvciBlYWNoIGNhbmRpZGF0ZSBpcyBjYWxjdWFsdGVkLA0K
PiA+IGV2ZXJ5IGNhbmRpZGF0ZSBpcyBhc3NpZ25lZCBhIHNjb3JlIGVxdWFsIHRvIHRoZWlyIHN1
bSBvZiBkaXNhcHByb3ZhbHMNCj4gPiBtdWx0aXBsaWVkIGJ5IG5lZ2F0aXZlIG9uZS4NCj4gPiBU
aGUgY2FuZGlkYXRlIHdpdGggdGhlIGhpZ2hlc3Qgc2NvcmUgd2lucy4NCj4gPiBUaGlzIHNhdGlz
ZmllcyBBRkIrTW9ubytNdXR1YWwgTWFqb3JpdHkrTE4tSGFybQ0KPiA+IGFuZCBhbHRob3VnaCBp
dCBpcyBmdW5jdGlvbmFsbHkgaWRlbnRpY2FsIHRvIGFwcHJvdmFsLg0KPiANCj4gVGhhdCBzZWVt
cyBwcm9ibGVtYXRpYy4gSWYgSSB1bmRlcnN0YW5kIHlvdSBjb3JyZWN0bHksIHlvdSBkZXJpdmVk
IG9uZSBtZXRob2QgZnJvbQ0KPiBhbm90aGVyLCBidXQgYm90aCB5aWVsZCBleGFjdGx5IHRoZSBz
YW1lIHJlc3VsdHMuIEJ1dCB5b3Ugc2F5IHRoZXkgZG9uJ3QgaGF2ZSB0aGUNCj4gc2FtZSBwcm9w
ZXJ0aWVzLiBJJ2QgYmUgaW5jbGluZWQgdG8gY29uY2x1ZGUgZnJvbSB0aGlzIHRoYXQgQXBwcm92
YWwgbXVzdCBhbHJlYWR5DQo+IHNhdGlzZnkgdGhlICJjYXJkaW5hbCIgTE5IYXJtICh0aG91Z2gg
SSBkb24ndCBrbm93IHRoZSBkZWZpbml0aW9uIG9mIHRoYXQpLg0KDQpUaGlzIGlzIGJlY2F1c2Ug
dGhlIGNhcmRpbmFsIGdlbmVyYWxpemF0aW9uICh3ZWxsLCBhbGwgSSBoYXZlIHNlZW4pDQp0cmVh
dHMgbG93ZXIgc2NvcmUgYXMgdGhlICJsYXRlciIgcGFydCwNCm1lYW5pbmcgZ2l2aW5nIG9uZSBt
b3JlIGNhbmRpZGF0ZSBhIGRpc2FwcHJvdmFsLCBhIG1pbnVzIDEsDQpjb3VudHMgYXMgZ2l2aW5n
IGEgImxhdGVyIiBjYW5kaWRhdGUgYSBtaW51cyAxLA0Kd2hpY2ggY2FuJ3QgaHVydCBhbiAiZWFy
bGllciIgY2FuZGlkYXRlLCBidXQgaXQgY2FuIGhlbHAgdGhlbS4NClRoaW5ncyBsaWtlIHRoaXMg
b25seSBoYXBwZW5zIGJlY2F1c2UgTE4tSGVscC9IYXJtIGlzDQpkZXBlbmRlbnQgb24gaG93IHRo
ZSBiYWxsb3RzIGFyZSBjb3VudGVkIGFuZCBpbmZlcmVuc2UgcnVsZXMgdXNlZCwNCnNvIHRoZSBt
YXRoIGJlaGluZCB0aGUgY3JpdGVyaWEgY2FuIGNoYW5nZS4NCg0KRm9yIGV4YW1wbGUgaWYgYSAo
aW4gbXkgb3BpbmlvbiBzaWxseSkgaW5mZXJlbmNlIHJ1bGUgZm9yIGNvdW50aW5nDQpiYWxsb3Rz
IHdhcyB0aGUgYWxsIHVubWVudGlvbmVkIGNhbmRpZGF0ZXMgYXJlIHRvIGJlIGNvbnNpZGVyZWQN
CmVxdWFsbHkgdG9wIHJhbmtlZCBhYm92ZSBhbGwgbWVudGlvbmVkIGNhbmRpZGF0ZXMsDQp0aGVu
IHRoaXMgd291bGQgYWZmZWN0IExOLUhlbHAvSGFybSBjb21wbGlhbmNlLA0KYXMgZXh0ZW5kaW5n
IG9uY2UgbGlzdGVkIHByZWZlcmVuY2VzIGZvciBvbmUgbW9yZSBjYW5kaWRhdGUNCmluIHRvcCBk
b3duIG9yZGVyIHdvdWxkIHVuZGVyIGEgcnVsZSBsaWtlIHRoaXMgbW92ZSB0aGVtIGZyb20gdG9w
IHRvIGJvdHRvbS4NClRoZSBkaXNhcHByb3ZhbCB2b3RpbmcgaXMgZXNzZW50aWFsbHkgdGhpcywN
Cml0IGNoYW5nZXMgaG93IHRoZSBiYWxsb3RzIGFyZSBjb3VudGVkIGluIGEgd2F5IHRoYXQgY2hh
bmdlcyBMTi1IZWxwL0hhcm0gY29tcGxpYW5jZS4NCg0KUGVyc29uYWxseSBJIHRoaW5rIHRoZSBj
cml0ZXJpYSBzaG91bGQgYmUgZGVmaW5lZCAoY2xhcmlmaWVkPykNCmFzIHJhbmtvcmRlciBiYWxs
b3RzIGV4Y2x1c2l2ZSBmb3IgYSBzcGVjaWZpYyBpbmZlcmVuY2UgcnVsZS4NClRoZSBjYXJkaW5h
bCBnZW5lcmFsaXphdGlvbnMgYXJlIGZpbmUsDQpidXQgSSB3b3VsZCBjYWxsIGZvciBhIHBhaXIg
b2YgZXhwbGljaXRseSByYW5rb3JkZXIgZXhjbHVzaXZlIG9uZQ0KYW5kIGFuIGV4cGxpY2l0bHkg
c2VwYXJhdGUgY2FyZGluYWwgcGFpciBvZiBjcml0ZXJpYS4NCg0KQXMgZm9yICJ0aGV5IGJvdGgg
eWllbGQgdGhlIHNhbWUgcmVzdWx0IiBpcyBub3Qgc3RyaWN0bHkgdGhlIGNhc2UuDQpUaGUgc3Ry
YXRlZ3kgZm9yIHlvdXIgb3B0aW1hbCBkaXNhcHByb3ZhbCB2b3RlIGNhbiBiZSBjYWxjdWxhdGVk
DQpieSBhIGJpamVjdGl2ZSBmdW5jdGlvbiBvZiB5b3VyIHN0cmF0ZWdpY2FsbHkgb3B0aW1hbCB2
b3RlIGluIEFwcHJvdmFsLA0KYnV0IGlmIHZvdGVycyBwcm92aWRlIHRoZSBzYW1lIGJhbGxvdHMg
aW4gQXBwcm92YWwgYW5kIERpc2FwcHJvdmFsLA0KKEkgZG91YnQgdGhpcyB3aWxsIGhhcHBlbiwg
YnV0IHRoYXQgaXMgd2hhdCBpdCB0YWtlcyB0byBjb21wcmUgb3V0c2lkZSBzdHJhdGVneSwpDQp0
aGVuIHRoZSBvdXRjb21lIGNhbiBiZSBleHBlY3RlZCB0byBiZSBkaWZmZXJlbnQuDQoNCj4gUGVy
c29uYWxseSwgSSB3b24ndCBhdHRyaWJ1dGUgcmFuayBiYWxsb3QgY3JpdGVyaWEgdG8gYSBtZXRo
b2QgdW5sZXNzIHRoZXJlJ3Mgc29tZQ0KPiByYW5rIGJhbGxvdCBlcXVpdmFsZW50IG9mIGl0LiBJ
ZiB5b3UgYXBwbHkgdGhlbSB0byBhbiBhcHByb3ZhbCBiYWxsb3QsIHNvIHRoYXQgeW91DQo+IGFs
bG93IHRoZSBwcmVtaXNlIHRoYXQgdm90ZXJzIG9ubHkgZXZlciBoYXZlIHR3byBsZXZlbHMgb2Yg
cHJlZmVyZW5jZSwgcHJvYmFibHkgbWFueQ0KPiBzdHJhbmdlIHRoaW5ncyBiZWNvbWUgY29tcGF0
aWJsZS4gKEl0IHdvdWxkIGJlIGhhcmQgdG8gbmFtZSBhbnkgaW5jb21wYXRpYmlsaXR5DQo+IHBy
b29mcyB0aGF0IHdvdWxkIHN0aWxsIHdvcmsuKQ0KDQpZZXMsbGlrZSBhbHdheXMgZWxlY3Rpbmcg
TWFqb3JpdHktQmVhdCBDb25kb3JjZXQgd2lubmVycyBvZiB0aGUgYmFsbG90cyB3aGVuIG9uZSBl
eGlzdC4NCkNvbmRpdGlvbmluZyBvbiByZXN0aWN0ZWQgdm90ZXIgcHJlZmVyZW5jZXMgc2VlbSB0
byBiZSBhIHByb2JsZW0gaW4gZ2VuZXJhbCwNCmJ1dCBtYW55IGltcGxpY2l0IGFzc3VtcHRpb25z
IGFyZSBvZnRlbiBtYWRlLg0KUHJvYmFibHkgdGhlIG1vc3QgY29tbW9uIG9uZSBpcyB0aGF0IHZv
dGVycyBwcmVmZXIgZWxlY3RpbmcgYW55IGNhbmRpZGF0ZSBvdmVyDQphIG5vIHdpbm5lciBzY2Vu
YXJpbywgbm8gbWF0dGVyIGhvdyB0ZXJyaWJsZSB0aGV5IHRoaW5rIHRoYXQgY2FuZGlkYXRlcyBh
cmUuDQoNCj4gPiBJdCBhcHBlYXJzIHRvIG1lIHNvIGZhciB0aGF0IGJhc2ljbHkgZXZlcnkgc3lz
dGVtIHNhdGlzZnlpbmcNCj4gPiBNb25vK0xOLUhlbHAvSGFybSBoYXZlIGEgTW9ubytMTi1IYXJt
L0hlbHAgZXF1aXZhbGVudCwNCj4gDQo+IFRoYXQgc2VlbXMgdW5saWtlbHkgdG8gbWUgYmVjYXVz
ZSBtb3JlIExOSGVscCBtZXRob2RzIHRoYW4gTE5IYXJtIG1ldGhvZHMgaGF2ZSBiZWVuDQo+IGRp
c2NvdmVyZWQuIEl0J3MgbW9yZSBpbnR1aXRpdmUgdGhhdCBhIG1ldGhvZCB3b3VsZCAid2FudCIg
dG8gdmlvbGF0ZSBMTkhhcm0gdGhhbg0KPiBMTkhlbHAuDQo+IA0KPiBUYWtlIEJ1Y2tsaW4gZm9y
IGV4YW1wbGUsIGNvdWxkIHRoZXJlIGJlIGEgTE5IYXJtIGNvdW50ZXJwYXJ0IHRvIHRoYXQ/DQoN
Ckxvb2tpbmcgYXQgdGhlIGRlZmluaXRpb24gb2YgYnVja2xpbiBvbiBodHRwczovL2VsZWN0b3dp
a2kub3JnL3dpa2kvQnVja2xpbl92b3RpbmcNCnRoZSBwYWdlIGNvdWxkIGJlIG1vcmUgY2xlYXIg
YWJvdXQgd2hldGhlciB0aGUgc3lzdGVtIGRlc2NyaWJlZCBvbiBwYWdlDQphY3R1YWxseSBzYXRp
c2ZpZXMgQUZCIChJdCBjbGFpbXMgZ3JhZGVkIEJ1Y2tsaW4gdXN1YWxseSBjb21wbHkgYmV0dGVy
IHdpdGggaXQsDQphbmQgYSBzZXBhcmF0ZSBsaW5rIGZvciBncmFkZWQgQnVja2xpbiBpcyBhbHNv
IHByaXZpZGVkKS4NCkkgZG9uJ3Qgc2VlIGhvdyB3ZSBjYW4gaGF2ZSBMTi1IZWxwIHNpbmNlIHlv
dSBjYW4ndCBldmVuIGV4dGVuZCB5b3VyDQpsYXRlciBwcmVmZXJlbmNlcyB3aXRob3V0IGNvbmRp
dGlvbmluZyBvbiBwcmVmZXJlbmNlcyBhbmQvb3IgYnJlYWtpbmcNCmNhbmRpZGF0ZSBzeW1tZXRy
eSBieSByZXN0aWN0aW5nIHRoZSBudW1iZXIgb2YgcGFydGljaXBhdGluZyBjYW5kaWRhdGVzLg0K
SWYgQUZCK01vbm8rTE4tSGVscCtNdXR1YWwgTWFqb3JpdHkgYXJlIGhlbGQgYnkgc29tZSB2ZXJz
aW9uDQphbGxvd2luZyBmb3IgdW5saW1pdGVkIHJhbmtvcmRlciBhcmUgYWxsb3dlZCwNCnRoZW4g
SSBzYXkgSSBkbyB0aGluayBhbiBMTi1IYXJtIGNvdW50ZXJwYXJ0IGNhbiBiZSBmb3VuZCwNCnRo
b3VnaCBJIGNhbid0IHNheSBpdCB3b24ndCBiZSBsaWtlIHdoYXQgRGlzYXBwcm92YWwgaXMgdG8g
QXBwcm92YWwNCndpdGhvdXQga25vd2luZyB0aGUgZGVmaW5pdGlvbiBvZiB0aGUgc3lzdGVtIGlu
IHF1ZXN0aW9uLA0Kc2luY2UgIkJ1Y2tsaW4iIGNsZWFybHkgaXMgbm90IG9uZSBzeXN0ZW0sDQpi
dXQgYSBjYXRlZ29yeSBvZiAocmFua29yZGVyPyBjYXJkaW5hbD8pIG9uZXMuDQoNCkkgd291bGQg
YmUgZWFnZXIgdG8gbG9vayBmb3IgYSBMTi1IYXJtIHZlcnNpb24gc2luY2UgaXQgbG9va3MgbGlr
ZQ0KYSBkZWNlbnQgc3RhcnRpbmcgcG9pbnQgZm9yIHRoZSBBRkIrTW9ubytNdXR1YWwgTWFqb3Jp
dHkrTE4tSGVscC9IYXJtDQpJIHdvdWxkIGxpa2UgdG8gaGF2ZSBmb3IgYmFzZWxpbmUgY29tcGFy
aXNvbiwNCnNpbmNlIEkgcmVjZW50bHkgZm91bmQgYSBjb3VudGVyZXhhbXBsZSB0byBteSBsYXN0
IGlkZWEgZm9yDQphIE1NUE8gb3JkZXJpbmcgb2YgUmFua2VkIFBhaXJzIHZhcmlhbnQgKEFGQitN
b25vIGZhaWx1cmUgYXMgeW91IHByZWRpY3RlZCkuDQoNCj4gPiBzbyBqdXN0IGxpa2UgTWF4TWlu
KFN1cHBvcnQgTG9naWNhbE9yIEVxdWFsaXR5KSB0dXJuZWQgb3V0IHRvDQo+ID4gYmUgYSBMTi1I
ZWxwIHZlcnNpb24gb2YgTU1QTywNCj4gPiB0aGVyZSBzaG91bGQgYmUgYSBMTi1IYXJtIHZlcnNp
b24gb2YgTWluR1Mgc2ltaWxhciB0byBNTVBPLg0KPiANCj4gQ29uc2lkZXJpbmcgdGhlIGRlZmlu
aXRpb25zIG9mIE1pbkdTIGFuZCBNTVBPLCBJIHdvdWxkIHNheSB0aGV5IGFyZSBMTkhlbHAvTE5I
YXJtDQo+IGNvdW50ZXJwYXJ0cyBhbHJlYWR5LiBUaGUgaXNzdWUgaXMganVzdCB0aGF0IE1pbkdT
IG5lZWRlZCBhIHR3ZWFrIHRvIHNhdGlzZnkgQUZCLg0KDQpEaWQgSSBtaXNzdW5kZXJzdGFuZCB0
aGUgcHJldmlvdXMgdGhyZWFkPw0KSSBnb3QgdGhlIGltcHJlc3Npb24gTWluR1Mgd2FzIGEgQUZC
K01vbm8rTE4tSGVscCBmcm9tIHdoZW4geW91DQpzYWlkIGl0IHdhcyBsaWtlIE1heE1pbihTdXBw
b3J0IExvZ2ljYWxPciBFcXVhbGl0eSkgYnV0IG9ubHkgdXNpbmcgYQ0KdGllZCBhdCB0aGUgdG9w
IHJ1bGUgdG8gZ2V0IEFGQiwgYnV0IEkgbmV2ZXIgZm91bmQgYSBwcm9wZXIgcmVmZXJlbmNlIGZv
ciBpdC4NCkNhbiB5b3UgcGxlYXNlIHByb3ZpZGUgYSBsaW5rIGZvciBtZSB0byByZWFkIHVwIG9u
IE1pbkdTIGlmIHRoZXJlIGlzIG9uZSwNCm9yIHdoaWNoZXZlciBvbmUgdXNlcyB0aGUgdGllZCBh
bmQgdGhlIHRvcCBydWxlIHRvIGdldCBBRkI/DQpJIHN1cHBvc2UgSSBvdWdodCB0byB0cnkgYW5k
IGNyZWF0ZSBhIGZyZWVzdGFuZGluZyBwcm9vZg0Kb2YgQUZCK01vbm8rTE4tSGVscCBmb3IgTWF4
TWluKFN1cHBvcnQgTG9naWNhbE9yIEVxdWFsaXR5KQ0KYXQgdGhpcyBwb2ludCAoYWxzbyB0YWtp
bmcgc3VnZXN0aW9ucyBmb3IgYSBiZXR0ZXIgbmFtZSkuDQoNCkFueXdheXMgSSBjb25zaWRlciBN
YXhNaW4oU3VwcG9ydCBMb2dpY2FsT3IgRXF1YWxpdHkpIHRvIGJlIHRoZQ0KTE4tSGVscCB2ZXNp
b24gb2YgTU1QTyAoYXNzdW1pbmcgdGhlIGNyaXRlcmlhIGNvbXBsaWFuY2UgaXMgY29ycmVjdCku
DQoNCkhvcGVmdWxseSBjbGVhcmluZyB0aGluZ3MgdXANCkd1c3Rhdg0KLS0tLQpFbGVjdGlvbi1N
ZXRob2RzIG1haWxpbmcgbGlzdCAtIHNlZSBodHRwczovL2VsZWN0b3JhbWEuY29tL2VtIGZvciBs
aXN0IGluZm8K