Re: Automatic LIIA Independent of Locking Order

Gustav Thorzen via Election-Methods <[email protected]> Fri, 1 May 2026 20:21:15 +0200
Newsgroups gmane.politics.election-methods
Message-ID <[email protected]>
T24gRnJpLCAxIE1heSAyMDI2IDE0OjQyOjU4ICswMDAwIChVVEMpDQpLZXZpbiBWZW56a2UgPHN0
ZXBqYWtAeWFob28uZnI+IHdyb3RlOg0KDQo+ICBIaSBHdXN0YXYsDQo+IA0KPiBMZSB2ZW5kcmVk
aSAxIG1haSAyMDI2IMOgIDA4OjUyOjMwIFVUQ+KIkjUsIEd1c3RhdiBUaG9yemVuIHZpYSBFbGVj
dGlvbi1NZXRob2RzIDxlbGVjdGlvbi1tZXRob2RzQGxpc3RzLmVsZWN0b3JhbWEuY29tPiBhIMOp
Y3JpdCA6DQo+ID4gUmFua2VkIFBhaXJzIHNhdGlzZnkgTG9jYWwgSW5kZXBlbmRlbmNlIG9mIEly
cmVsZXZhbnQgQWx0ZXJuYXRpdmVzIGNyaXRlcmlvbiwNCj4gPiBidXQgSSBnb3QgY3VyaW91cyBp
ZiB0aGlzIHByb3BlcnR5IGlzIG9idGFpbmVkIGluZGVwZW5kZW50bHkgb2YgbG9ja2luZyBvcmRl
ci4NCj4gPsKgDQo+ID4gRm9yIGNvbnRleHQsIElTREEgY29tZXMgaW5kZXBlbmRlbnRseSBvZiBs
b2NraW5nIG9yZGVyLA0KPiA+IGJ1dCBJU0RBIGlzIGltcGxpZWQgYnkgTElJQSArIE1ham9yaXR5
IGNyaXRlcmlvbiwNCj4gPiBzbyBJIGdvdCBjdXJpb3VzIGlmIExJSUEgaXMgd2hhdCBhY3R1YWxs
eSBpcyBvYnRhaW5lZA0KPiA+IGFuZCBJU0RBIHNpbXBseSBmb2xsb3dlZCBmcm9tIGl0Lg0KPiA+
wqANCj4gPiBJIHRyaWVkIHRvIGNyZWF0ZSBhIHByb29mIGZvciBhIHBvc2l0aXZlIHJlc3VsdCwN
Cj4gPiBidXQgcXVpY2tseSBkaXNjb3ZlcmVkIEkgY291bGQgbm90IGZpZ3VyZSBvdXQgaG93DQo+
ID4gdG8gY292ZXIgc2NlbmFyaW9zIGNvbnRhaW5pbmcgbXVsdGlwbGUgbWF0Y2h1cHMNCj4gPiB0
byBiZSBsb2NrZWQgaW4gYXQgdGhlIHNhbWUgdGltZS4NCj4gPsKgDQo+ID4gQW55IGhlbHAgd291
bGQgYmUgbXVjaCBhcHByZWNpYXRlZC4NCj4gPiBHdXN0YXYNCj4gDQo+IEkndmUgbmV2ZXIgaW1w
bGVtZW50ZWQgUmFua2VkIFBhaXJzIGFzIGxvY2tpbmcgbXVsdGlwbGUgZGVmZWF0cyBhdCB0aGUg
c2FtZSB0aW1lLA0KPiBzaW5jZSB0aGVyZSBjb3VsZCBiZSBjeWNsaWMgaW5jb21wYXRpYmlsaXRp
ZXMgaW50cm9kdWNlZCBieSB0aGlzLiBJbnN0ZWFkIEkgdHJ5IHRvDQo+IHRyYXZlcnNlIGFsbCBw
b3NzaWJsZSBvcmRlcmluZ3MgKG9yIGFncmVlIG9uIGEgcmFuZG9tIHRpZWJyZWFrZXIgZm9yIHBh
aXJzIGFoZWFkIG9mDQo+IHRpbWUpLiBUaGF0J3Mgbm90IHZlcnkgY29udmVuaWVudCBmb3IgcHJv
b2ZzLCBJIGd1ZXNzLg0KDQpFeGFjdGx5IHRoZSBwcm9ibGVtIEkgcmFuIGludG8uDQpDb21iaW5h
dG9yaWFsIGV4cGxvc2lvbiBmcm9tIGFsbCBlZGdlIGNhc2VzIHJlcXVpcmVkDQp0byBpbmNsdWRl
IGV4cGxpY2l0bHkgbGltaXRzIG1lIHRvIG1heGltdW0gbnVtYmVyIG9mIGNhbmRpZGF0ZXMsDQph
bmQgbXkgdHJpZXMgdG8gc29sdmUgdGhpcyBieSBpbmR1Y3Rpb24gaGF2ZSBmYWlsZWQgc28gZmFy
Lg0KDQo+ID4gUC5TOiBJIGhhdmUgc3RhcnRlZCB0byBzdXNwZWN0IEkgbmVlZCB0byBmYWlsIExJ
SUENCj4gPiBmb3IgYSBNTVBPIGxvY2tpbmcgb3JkZXIgdG8gc2F0aXNmeSBhbGwgb2YNCj4gPiBB
RkIrTW9ubytMTi1IYXJtK01CLUlTREENCj4gPiB1bmxlc3MgTElJQSBzYXRpc2ZhY3Rpb24gaXMg
YXV0b21hdGljIGluZGVwZW5kZW50bHkgb2YgbG9ja2luZyBvcmRlciwNCj4gPiBhbmQgdGhlbiBm
aWd1cmVkIGl0IHdhcyBpbnRlcmVzdGluZyBlbm91Z2ggb2YgYSBxdWVzdGlvbiBvbiBpdHMgb3du
Lg0KPiANCj4gTWF5YmUgeW91IGtub3cgdGhpcywgYnV0IHRoZSBNTVBPIGxvY2tpbmcgb3JkZXIg
d291bGQgbm9ybWFsbHkganVzdCBnaXZlIHlvdSBNQU0NCj4gaXRzZWxmLiBUaGUgZmFjdCB0aGF0
IE1NUE8gZG9lc24ndCBub3JtYWxseSBjYXJlIGFib3V0IHdobyB3b24gb3IgbG9zdCBlYWNoIG1h
dGNodXANCj4gbWFrZXMgbm8gZGlmZmVyZW5jZSBpZiB5b3UgdHJ5IHRvIGxvY2sgdGhlIHN0cm9u
Z2VyIG9uZSBmaXJzdCBhbnl3YXkuDQoNCkkgZGlkIG5vdCwgdGhvdWdoIEkgaGFkIHN1c3BlY3Rl
ZCBzb21ldGhpbmcgc2ltaWxhci4NClRoYXQgd2lsbCBzYXZlIG1lIHRoZSBlZmZvcnQgb2YgTWFq
b3JpdHktQmVhdC1pZnlpbmcgTUFNIHNlcGFyYXRseS4NCihBbmQgaG9wZWZ1bGx5IHNvbWUgcmV1
c2VhYmxlIGVkZ2UgY2FzZSBtYW5hZ2VtZW50LikNCk11Y2ggYXBwcmVjaWF0ZWQuDQoNCj4gSSB1
bmRlcnN0YW5kIG9mIGNvdXJzZSB0aGF0IHlvdSBvbmx5IHdhbnQgdG8gdXNlIHRoZSBtYWpvcml0
aWVzLCBzbyB5b3Ugd29uJ3QgZW5kIHVwDQo+IHdpdGggYSBjb3B5IG9mIE1BTS4NCg0KWWVzLCBh
bHNvIGF2b2lkaW5nIHRoZSBBRkIgYW5kIExOLUhlbHAvSGFybSBhdXRvZmFpbHVyZSB0aGF0DQpj
b21lcyBmcm9tIHBhc3NpbmcgcmVndWxhciBJU0RBLg0KIA0KPiBJIGFtIHB1enpsZWQgdGhhdCB5
b3UgaG9sZCBvdXQgaG9wZSBmb3IgdXNpbmcgYSBsb2NraW5nIG9yZGVyIHRvIG1ha2UgYSBtZXRo
b2QNCj4gc2F0aXNmeWluZyBBRkIgb3IgTE5IYXJtLiBJIGZlZWwgdGhhdCBmcm9tIHRoZSBleGFt
cGxlcyBJIHBvc3RlZCBlYXJsaWVyLCBsb29raW5nIGF0DQo+IHRoZSBuYXR1cmUgb2YgdGhlIGlz
c3Vlcywgb25lIHNlZXMgdGhhdCB0aGUgcHJvYmxlbSBpcyBub3QgdGhlIHNwZWNpZmljIHJ1bGUg
dGhhdA0KPiBvcmRlcnMgdGhlIGRlZmVhdHMsIGJ1dCB0aGUgd2lkZSByYW5nZSBvZiBlZmZlY3Rz
IGZyb20gYWRqdXN0aW5nIHJhbmtpbmdzLg0KDQpJIGRvbid0IHJlYWxseSBoYXZlIG11Y2ggImhv
cGUiIGxlZnQsDQphcyB0aGUgY291bnRlcmV4YW1wbGVzIGhhdmUgZWxpbWluYXRlZCBqdXN0IGFi
b3V0DQpldmVyeSBzaW5nbGUgaWRlYSBJIGhhZCBhYm91dCBjcmVhdGluZyBhIHN5c3RlbXMgd2l0
aA0KQUZCK01vbm8rTXV0dWFsIE1ham9yaXR5KyBvbmUgb2YgTE4tSGVscC9IYXJtDQphdCB0aGVp
ciBlYXJsaWVzdCBzdGFnZXMgKG9yIHVzaW5nIHNsaWdodCBtb2RpZmljYXRpb25zIG9mIHRoZW0p
LA0KUmFua2VkIFBhaXJzIHN0eWxlIG9yIG5vdC4NClRoZXkgYWxzbyBlbGltaW5hdGVkIGFsbCBi
dXQgdHdvIHZlcnNpb25zIG9mIE1NUE8gb3JkZXJpbmdzIEkgaGFkLA0Kd2hpY2ggbGVhZCBtZSBk
b3duIHRoZSBwYXRoIG9mIGludmVzdGlnYXRpbmcgYXV0b21hdGljIExJSUENCmNvbXBsaWFuY2Ug
aW5kZXBlbmRlbnQgb2YgdGhlIGxvY2tpbmcgb3JkZXIsDQphcyBJIGhhdmUgc3RhcnRlZCB0byBz
dXNwZWN0IHNhdGlzZnlpbmcgTElJQSB3aXRob3V0IGl0DQphdXRvY29tcGxpYW5jZSBtZWFucyBj
cml0ZXJpYSBjb21wdGFiaWxpdHkgZmFpbHVyZS4NCg0KQXQgdGhpcyBwb2ludCBJIGp1c3Qgd2Fu
dCB0aGUgcGVhY2Ugb2YgbWluZCBmcm9tIGtub3dpbmcgSSBkaWQNCndoYXQgSSBjb3VsZCB3aXRo
IG15IGxhc3QgcHJvbWlzaW5nIGxvb2tpbmcgUmFua2VkIFBhaXJzIHN0eWxlIGlkZWEuDQoNCkd1
c3Rhdg0KLS0tLQpFbGVjdGlvbi1NZXRob2RzIG1haWxpbmcgbGlzdCAtIHNlZSBodHRwczovL2Vs
ZWN0b3JhbWEuY29tL2VtIGZvciBsaXN0IGluZm8K