बाड़रक्षाशास्त्रम्। वितरितसम्मतिशास्त्रे (१ जुलै) स्थिरगणे एकवाक्यता; कालतर्कशास्त्रे (२ जुलै) प्राक्त्वं क्षणचित्रं च। अत्र गण एव चलति. सदस्यतापरिवर्तनम्, निरोधचिह्नेन पुराणनेतुर्लेखनिषेधः, संयुक्तसम्मतिः, साक्षिप्रतिलिपिः। Paxos/Raft-मूलन्यायः न पुनरुच्यते; केवलं बाड़रक्षा (fencing) सदस्यता च। «बाड़» इह निरोधरेखा. पुराणशक्त्यै न प्रवेशः।

English · overview (minimizable)

English title

बाड़रक्षाशास्त्रम्: A Metrical Codification of Fencing, Membership and Reconfiguration

Context and topics

This verse treatise is part of the 2026 Sanskrit systems series (reader format). Primary topics: distributed-systems, fencing, membership, reconfiguration, raft and consensus.

How to read

  • Default view is Sanskrit-first (verses and Devanāgarī apparatus).
  • Open other <details> blocks for पदच्छेद and gloss tables where present.
  • From 2026-09-22 onward, new posts also ship full per-verse word-for-word English inside each verse’s details.

Note

This English block is intentionally minimizable. It does not replace the Sanskrit text.

पूर्ण-शीर्षकम्

बाड़रक्षाशास्त्रम्: A Metrical Codification of Fencing, Membership and Reconfiguration

परम्परा-सन्धिः
पूर्वं अत्र किम् उपचीयते किं न पुनरुच्यते
वितरितसम्मतिशास्त्रम् सम्मतिः, गणपूर्तिः, नेता Paxos/Raft पङ्क्तिविवरणम्
कालतर्कशास्त्रम् प्राक्त्वम्, कालचिह्नम् घटिकासोपानम्
संकेतगुप्तिशास्त्रम् बीजं · प्रमाणम् गूढलेखनम्
इदं शास्त्रम् निरोधचिह्नम्, सदस्यता, संयुक्तसम्मतिः, साक्षी, युगम् -
ग्राह्य-त्याज्य-विवेकः

ग्राह्यम्

१. स्थिरगणदोषः: शास्त्रं प्रायः निश्चितसदस्येषु; लोके गणो वर्धते हीयते च।
२. निरोधचिह्नम्: fencing token; उच्चतरचिह्नं विना लेखः निषिद्धः।
३. पुराणनेतृनिरसनम्: stale primary must not commit.
४. सदस्यतापरिवर्तनम्: add/remove voters.
५. संयुक्तसम्मतिः: joint consensus (old∪new) during transition.
६. एकसर्वरक्रमः: one-at-a-time membership change.
७. साक्षिप्रतिलिपिः: witness / non-voting learner.
८. युगं · युगसङ्ख्या: epoch; barriers across generations.

त्याज्यम्

  • विक्रेताविशिष्टसञ्चालननामानि।
  • सम्मतिनेतृनिर्वाचनस्य पूर्णपुनरावृत्तिः।
  • क्षणिकमापसङ्ख्याः।
अध्याय-योजना
प्रकरणम् विषयः छन्दः श्लोकाः
मङ्गलं स्थिरगणात् चलगणम् अनुष्टुभ्
निरोधचिह्नम् अनुष्टुभ्
पुराणनेतृदोषः उपजाति
सदस्यतापरिवर्तनम् अनुष्टुभ्
संयुक्तसम्मतिः अनुष्टुभ्
साक्षी · युगम् उपजाति + अनुष्टुभ्
उपसंहारः अनुष्टुभ्
पारिभाषिक-कोशः
आधुनिकम् संस्कृतम् टिप्पणी
fencing / fence token निरोधचिह्नम् / बाड़चिह्नम् monotonic barrier
stale primary पुराणनेता / जीर्णनेता  
membership सदस्यता  
reconfiguration पुनर्योजनम् / विन्यासपरिवृत्तिः  
joint consensus संयुक्तसम्मतिः old∪new quorums
C_old, C_new प्राच्गणः, नवगणः  
voter मतदः / मतदाता  
witness / learner साक्षिप्रतिलिपिः non-voting
epoch युगम् / युगसङ्ख्या  
generation number जन्मसङ्ख्या / पीठसङ्ख्या  
single-server change एकयन्त्रक्रमः  
split-brain विभक्तमस्तिष्कम्  

श्लोकः १ (अनुष्टुभ्)

सम्मतौ स्थिरगणे प्रोक्ता कालतर्कश्च पूर्वतः ।
चलगणस्य तु या रक्षा सात्र शास्त्रे प्रकीर्त्यते ॥१॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
सम्मतौ स्थिरगणे प्रोक्ता कालतर्कः च पूर्वतः ।
चलगणस्य तु या रक्षा सा अत्र शास्त्रे प्रकीर्त्यते ॥

पदम् अर्थः
स्थिरगणे under fixed membership
कालतर्कः prior treatise on logical time
चलगणस्य रक्षा protection of a changing membership
सात्र शास्त्रे that is proclaimed in this treatise

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

श्लोकः २ (अनुष्टुभ्)

कोऽधुना मतदः को वा नेता प्रामाणिको भवेत् ।
एतद् बाड़रक्षायाः सारं विन्यासपरिवृत्तौ ॥२॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
कः अधुना मतदः कः वा नेता प्रामाणिकः भवेत् ।
एतत् बाड़रक्षायाः सारं विन्यासपरिवृत्तौ ॥

पदम् अर्थः
मतदः voting member
नेता प्रामाणिकः authoritative leader
बाड़रक्षा fence-protection (series title)
विन्यासपरिवृत्तौ in reconfiguration

व्युत्पत्तिः
बाड़: निरोधरेखा (series name; = fencing line)। मतदः: मत + √दा + क।

श्लोकः ३ (अनुष्टुभ्)

निरोधचिह्नं वर्धते प्रत्येकनेतृजन्मनि ।
लेखे तल्लघु चिह्नं चेद् आदेशोऽसौ निषिध्यते ॥३॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
निरोधचिह्नं वर्धते प्रत्येकनेतृजन्मनि ।
लेखे तत् चिह्नम् आवश्यकं हीने तु आदेशः हन्यते ॥

पदम् अर्थः
निरोधचिह्नम् fencing token (monotonic)
प्रत्येकनेतृजन्मनि at each new leader birth / generation
लेखे on write / commit path
हीने if token is lower (stale)
आदेशो हन्यते the request is rejected

सन्धिः: हीने + तु → in verse हीने त्व्…; आदेशः + हन्यते → आदेशो हन्यते

श्लोकः ४ (अनुष्टुभ्)

पुराणचिह्नेन यो ब्रूते स नेतापि न गण्यते ।
बाड़रेखा हि सा प्रोक्ता जीर्णशक्तिनिषेधिनी ॥४॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
पुराणचिह्नेन यः ब्रूते सः नेता अपि न गण्यते ।
बाड़रेखा हि सा प्रोक्ता जीर्णशक्तिनिषेधिनी ॥

पदम् अर्थः
पुराणचिह्नेन with a stale token
यो ब्रूते who issues commands
न गण्यते is not counted as leader
बाड़रेखा the fence line
जीर्णशक्तिनिषेधिनी that which blocks expired authority

श्लोकः ५ (उपजाति)

जीर्णो यदा नेतृवरः पुनः स्यात्
लेखं विधत्तेऽपरनेतरि स्थिते ।
विभक्तमस्तिष्कमिदं भवेद् धि
निरोधचिह्नाद् विनिवार्यम् एतत् ॥५॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
जीर्णः यदा नेतृवरः पुनः स्यात् लेखं विधत्ते अपरनेतरि स्थिते ।
विभक्तमस्तिष्कमिदं भवेद् हि । निरोधचिह्नात् विनिवार्यम् एतत् ॥

पदम् अर्थः
जीर्णो नेतृवरः stale primary
अपरनेतरि स्थिते while another leader already sits
विभक्तमस्तिष्कम् split-brain
निरोधचिह्नात् विनिवार्यम् must be prevented by fencing

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

श्लोकः ६ (अनुष्टुभ्)

सदस्यतां परिवर्त्य मतदं योजयेद् बुधः ।
अपानयेद् वा दोषस्थं गणपूर्तिस्ततो नवा ॥६॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
सदस्यतां परिवर्त्य मतदं योजयेत् बुधः ।
अपानयेत् वा दोषस्थं गणपूर्तिः ततः नवा ॥

पदम् अर्थः
सदस्यतां परिवर्त्य having changed membership
मतदं योजयेत् may add a voter
अपानयेत् may remove
दोषस्थम् a failed / unwanted member
गणपूर्तिर्नवा quorum definition is new

श्लोकः ७ (अनुष्टुभ्)

एकयन्त्रक्रमेण स्यात् परिवर्तनं यथासुखम् ।
युगपद् बहवो मा भूवन् विभ्रमस्य निवृत्तये ॥७॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
एकयन्त्रक्रमेण स्यात् परिवर्तनं यथासुखम् ।
युगपत् बहवः मा भूवन् विभ्रमस्य निवृत्तये ॥

पदम् अर्थः
एकयन्त्रक्रमेण one server at a time
यथासुखम् in a controlled, safe manner
युगपद् बहवो मा भूवन् do not change many at once
विभ्रमस्य निवृत्तये to avoid confusion / unsafe quorums

श्लोकः ८ (अनुष्टुभ्)

प्राच्गणेन नवगणेन संयुक्तं मतम् इष्यते ।
सन्धिकाले द्वयी पूर्तिः यावन्नवो दृढीभवेत् ॥८॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
प्राच्गणेन नवगणेन संयुक्तं मतम् इष्यते ।
सन्धिकाले द्वयी पूर्तिः यावत् नवः दृढीभवेत् ॥

पदम् अर्थः
प्राच्गणः C_old
नवगणः C_new
संयुक्तं मतम् joint consensus
द्वयी पूर्तिः quorum in both configurations
यावन्नवो दृढीभवेत् until the new config is committed/stable

न्यायः: Ongaro joint consensus: entries committed under C_old∪C_new overlapping both majorities.

श्लोकः ९ (अनुष्टुभ्)

एकपक्षे तु या पूर्तिश् छिद्रं तत्र प्रजायते ।
उभयो रक्षणेनैव सुसङ्गतिर्हि रक्ष्यते ॥९॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
एकपक्षे तु या पूर्तिः छिद्रं तत्र प्रजायते ।
उभयोः रक्षणेन एव सुसङ्गतिः हि रक्ष्यते ॥

पदम् अर्थः
एकपक्षे पूर्तिः quorum on only old or only new
छिद्रम् safety hole in the transition
उभयो रक्षणेन by requiring both sides
सुसङ्गतिः log/state consistency

सन्धिः: पूर्तिः + छिद्रम् → पूर्तिश् छिद्रम्; उभयोः + रक्षणेन → उभयो रक्षणेन

श्लोकः १० (उपजाति)

साक्षिप्रतिलिपिरसौ न मतं
ददाति किन्तु क्रमम् एति पङ्क्त्याः ।
लघुर्गणो रक्षितुम् अर्हति स्म
पूरणहेतोर्बहिरेष धर्मः ॥१०॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
साक्षिप्रतिलिपिः असौ न मतं ददाति किन्तु क्रमम् एति पङ्क्त्याः ।
लघुः गणः रक्षितुम् अर्हति स्म पूरणहेतोः बहिः एष धर्मः ॥

पदम् अर्थः
साक्षिप्रतिलिपिः witness / learner replica
न मतं ददाति does not vote
क्रमम् एति पङ्क्त्याः still follows the log
लघुर्गणः small cluster
पूरणहेतोः to help durability / catch-up / availability patterns

श्लोकः ११ (अनुष्टुभ्)

युगसङ्ख्यां समारुह्य वंशो नूत्नः प्रवर्तते ।
जीर्णयुगादिष्टं सर्वं नवो युगः समुज्झति ॥११॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
युगसङ्ख्यां समारुह्य वंशः नूत्नः प्रवर्तते ।
जीर्णयुगादिष्टं सर्वं नवः युगः समुज्झति ॥

पदम् अर्थः
युगसङ्ख्या epoch / generation number
वंशो नूत्नः new leadership lineage
जीर्णयुगादिष्टम् what was commanded in the old epoch
नवो युगः समुज्झति the new epoch discards / refuses it

सन्धिः: नवः + युगः → नवो युगः

श्लोकः १२ (अनुष्टुभ्)

चिह्नेन रुन्धि जीर्णं तं संयुक्त्या तर सन्धिकम् ।
युगेन वंशयेद् विद्वान् बाड़रक्षा हि सा स्मृता ॥१२॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः

पदच्छेदः
चिह्नेन रुन्धि जीर्णं तं संयुक्त्या तर सन्धिकम् ।
युगेन वंशयेत् विद्वान् बाड़रक्षा हि सा स्मृता ॥

पदम् अर्थः
चिह्नेन रुन्धि fence with the token
जीर्णं तम् that stale authority
संयुक्त्या तर cross the transition by joint consensus
सन्धिकम् the membership seam
युगेन वंशयेत् lineage via epoch
बाड़रक्षा this treatise’s name for the whole craft

उपसंहारन्यायः: सम्मतिः एकं मतम्; कालतर्कः कस्य प्राक्; बाड़रक्षा कस्येदानीं अधिकारः, कश्च गणः

श्लोकसूची

१. स्थिरगणात् चलगणम्
२. को मतदः · को नेता
३. निरोधचिह्नं वर्धते
४. बाड़रेखा · जीर्णनिषेधः
५. पुराणनेता · विभक्तमस्तिष्कम्
६. सदस्यता · योजय/अपानय
७. एकयन्त्रक्रमः
८. संयुक्तसम्मतिः · प्राच्∪नव
९. उभयोर्गणपूर्तिः
१०. साक्षिप्रतिलिपिः
११. युगसङ्ख्या · जीर्णत्यागः
१२. रुन्धि · तर · वंशय

अग्रे (नेदं प्रकरणम्)
  • शून्यज्ञानप्रमाणम्: zero-knowledge (गुप्तिविस्तारः)।
  • लेखपङ्क्तिशुद्धिः: log compaction, snapshot install, catch-up।
सन्दर्भाः
  1. Ongaro & Ousterhout: In search of an understandable consensus algorithm (Raft membership changes; joint consensus).
  2. Lamport: Paxos (reconfiguration notes); vertical Paxos.
  3. Chase & Burrows / related: The Chubby lock service (fencing ideas in practice).
  4. Bernstein, Hadzilacos, Goodman: concurrency; primary backup & generation numbers.
  5. पूर्वतनी: वितरितसम्मतिशास्त्रम् (२०२६-०७-०१); कालतर्कशास्त्रम् (२०२६-०७-०२)।