After graceful shutdown (13 Nov), this post covers leader election: lease TTLs, fencing tokens, fast watches, singleton-fit duties, step-down on shutdown, quorum stores, flap metrics and partition safety versus sharding multi-leaders.

नेतृत्वचयनधर्मः: A Metrical Codification of Leader Election (with English glosses)

What this post is about

Leader election selects one instance to own a singleton duty using time-bounded leases and fencing so two actives do not corrupt shared work.

Topics covered

1. Singleton collision problem
2. Lease and heartbeat
3. Fencing tokens
4. Fast leadership loss detection
5. Duties that fit election
6. Graceful step-down
7. Quorum lease stores
8. Transition metrics
9. Partition minority stop
10. Shard multi-leader vs one leader

Sanskrit title

नेतृत्वचयनधर्मः = netṛtva-cayana-dharmaḥ “dharma of choosing leadership”.

English

Minimizable; Sanskrit-first.

ग्राह्यम् / Keep

१. TTL lease + heartbeat: no infinite lock
२. fencing token on writes: reject stale leader
३. fast watch on loss: short dual window
४. elect only singletons: not per-request
५. resign on graceful stop: skip full TTL wait
६. quorum-backed lease store: cluster visible
७. minority stops on partition: no split brain act

त्याज्यम् / Avoid

• two schedulers without lease
• accept writes from old leader after re-elect
• local file as cluster leadership truth

पदच्छेदः
एककार्यं यदि सर्वे युगपत् कुर्वन्ति तदा द्विलेखनं द्वन्द्वम् । नेतृत्वचयनधर्मस्तस्माद् एककर्ता ॥१॥

Word-for-word

Gloss table

English sense
Leader election chooses one instance to run a singleton duty so timers schedulers and active-passive writers do not collide.

Context / topic
Topic: why elect. Distinct from all-active sharding where many leaders own different keys.

वृत्तमिति: ८-८-८-८।

पदच्छेदः
lease with TTL + heartbeat । infinite lock प्रेतः ॥२॥

Word-for-word

Gloss table

English sense
Leaders hold a lease that expires without heartbeats so a dead process cannot own the duty forever.

Context / topic
Topic: leases.

वृत्तमिति: ८-८-८-८।

पदच्छेदः
fencing token on every write । split brain dual active ॥३॥

Word-for-word

Gloss table

English sense
Stores must reject writes from stale leaders using an increasing epoch or token after re-election.

Context / topic
Topic: fencing.

वृत्तमिति: ८-८-८-८।

पदच्छेदः
watch or long-poll leadership changes । slow poll gap dual start ॥४॥

Word-for-word

Gloss table

English sense
Detect loss of leadership quickly. Long gaps create overlapping actives before the old leader notices.

Context / topic
Topic: change detection.

वृत्तमिति: ८-८-८-८।

पदच्छेदः
duties: scheduler singleton migrator योग्याः । per-request leader मा ॥५॥

Word-for-word

Gloss table

English sense
Elect for cluster-wide singletons. Do not elect a leader for ordinary per-request work that should shard.

Context / topic
Topic: fit.

वृत्तमिति: एकादशाक्षराः पादाः।

पदच्छेदः
graceful step-down on shutdown । silent exit lock wait ॥६॥

Word-for-word

Gloss table

English sense
Resign the lease on graceful stop so a follower can win immediately instead of waiting full TTL.

Context / topic
Topic: step-down. Links to graceful shutdown.

वृत्तमिति: ८-८-८-८।

पदच्छेदः
quorum store for lease truth । local file leader मिथ्या ॥७॥

Word-for-word

Gloss table

English sense
Lease truth belongs in a consensus or highly available store visible to all candidates not a local disk flag.

Context / topic
Topic: store.

वृत्तमिति: ८-८-८-८।

पदच्छेदः
metrics: is_leader transitions steal age । invisible flap अन्धता ॥८॥

Word-for-word

Gloss table

English sense
Export leadership gauges and transition counters. Flapping elections are incidents.

Context / topic
Topic: observability.

वृत्तमिति: ८-८-८-८।

पदच्छेदः
network partition: minority must stop । both sides active युद्धाय ॥९॥

Word-for-word

Gloss table

English sense
On partition only a quorum-backed leader may act. Minority components must become followers or read-only.

Context / topic
Topic: partition safety.

वृत्तमिति: ८-८-८-८।

पदच्छेदः
अंश multi-leader by key नेता one singleton । निरोधः step-down ॥१०॥

Word-for-word

Gloss table

English sense
Sharding allows many leaders for different keys; election picks one for a singleton; graceful shutdown should resign that role.

Context / topic
Topic: series distinctions.

सन्धिः: अंश बहुनेता कुञ्चिकाभिः; चयन एकः; निरोध त्यागपट्ट।

वृत्तमिति: एकादशाक्षराः पादाः।

पदच्छेदः
lease fence watch step-down quorum पञ्चकम् । एभिर्नेतृत्वचयनधर्म एककर्तासमन्वितः ॥११॥

Word-for-word

Gloss table

English sense
Five limbs: TTL leases, fencing tokens, fast loss detection, graceful resign and quorum-backed truth with partition rules.

Context / topic
Topic: checklist.

वृत्तमिति: ८-८-८-८।

पदच्छेदः
इति नेतृत्वचयनधर्मसार एककर्तासमन्वितः । मितमेकनैतृत्वं क्रियायोग्यं तन्त्रधर्मः स उच्यते ॥१२॥

Word-for-word

Gloss table

English sense
Closing: one active hands with a lease, fence the old and resign before you die.

Context / topic
Topic: close.

उपसंहारन्यायः: पट्टं धर; पुराणं वारय; गच्छन् त्यज।

वृत्तमिति: ८-८-८-८।

१. Why elect
२. Lease
३. Fence
४. Watch
५. Fit duties
६. Step-down
७. Store
८. Metrics
९. Partition
१०. Series
११. Five limbs
१२. Close

1. Prior: graceful shutdown 2026-11-13; sharding 2026-11-07; distributed lock 2026-09-29.
2. Domain: leader election.
3. English minimizable; Sanskrit-first.
4. Style: no em dash; no Oxford comma in English clauses.