AIMP — AI Mesh Protocol

एक प्रायोगिक, सर्वर रहित नेटवर्किंग प्रोटोकॉल, जो खंडित, कम-बैंडविड्थ नेटवर्कों में स्वायत्त एजेंटों के बीच लचीला अवस्था सिंक्रनाइज़ेशन के लिए डिज़ाइन किया गया है। Merkle-CRDTs और क्रिप्टोग्राफ़िक पहचान पर निर्मित — कोई केंद्रीय प्राधिकरण नहीं, कोई वैश्विक DNS नहीं, हमेशा लिखने योग्य।

---

पेपर

#	संस्करण	शीर्षक	लिंक
1	v0.1.0	Merkle-CRDT प्रोटोकॉल (L1/L2)	ResearchGate
2	v0.2.0	एपिस्टेमिक लेयर (L3)	ResearchGate
3	v0.3.0	सहसंबंध-जागरूक एकत्रीकरण (L3)	ResearchGate
4	v0.4.0	नियतात्मक शब्दार्थ टोपोलॉजी (L3)	ResearchGate

लेखक प्रोफ़ाइल: ResearchGate · ResearchHub

---

प्रोटोकॉल स्टैक

लेयर	संस्करण	उद्देश्य
L1/L2	v0.1.0	Merkle-DAG CRDT, Ed25519 हस्ताक्षर, Noise Protocol परिवहन, BFT कोरम
L3	v0.2.0	एपिस्टेमिक लेयर: पूर्णांक लॉग-ऑड्स, दो-पास विश्वास प्रसार, Sybil-प्रतिरोधी प्रतिष्ठा
L3	v0.3.0	सहसंबंध-जागरूक एकत्रीकरण: सहसंबद्ध सेंसर/LLM के लिए ज्यामितीय छूट
L3	v0.4.0	नियतात्मक शब्दार्थ टोपोलॉजी: 256-बिट SimHash के माध्यम से स्वायत्त धार निर्माण

---

नया क्या है

v0.4.0 — नियतात्मक शब्दार्थ टोपोलॉजी

L3 v0.3.0 में एप्लिकेशन को मैन्युअल रूप से ज्ञान ग्राफ (समर्थन/विरोधाभास किनारे) बनाने की आवश्यकता थी। v0.4.0 स्वायत्त धार निर्माण के साथ इस अड़चन को समाप्त करता है:

• दावे एक वैकल्पिक QuantizedEmbedding([u64; 4]) रखते हैं — एक 256-बिट SimHash जो एप्लिकेशन-साइड पर एक विहित एम्बेडिंग मॉडल से गणना की जाती है।
• प्रत्येक युग की सीमा पर, प्रोटोकॉल जोड़ीवार हैमिंग दूरी (XOR + पॉपकाउंट, ~1 ns प्रति जोड़ी) की गणना करता है और करीबी जोड़ियों (d <= 30 बिट्स) के लिए समर्थन किनारे और दूर की जोड़ियों (d >= 200 बिट्स) के लिए विरोधाभास किनारे उत्सर्जित करता है।
• किनारे की ताकत आधार अंकों में दूरी के साथ रैखिक रूप से बढ़ती है (d=0 → 10000 bps, d=30 → 1000 bps)।
• एक max_k_nearest सीमा किनारे के घनत्व को O(N) तक सीमित करती है, विश्वास प्रसार के विस्फोट को रोकती है।
• embedding_version: u32 प्रोटोकॉल-स्तरीय मॉडल उन्नयन के लिए असंबद्ध अव्यक्त स्थानों को अलग करता है।
• ऑटो-किनारे L2 गपशप के माध्यम से भौतिक होते हैं, होलोग्राफिक रूटिंग के माध्यम से GC से बचे रहते हैं।
• मृत क्षेत्र (31-199 बिट्स) अस्पष्ट दावों को अनाथ करता है — ज्ञानमीमांसीय रूप से सही अलगाव।

// Autonomous truth discovery: 10,000 claims → 50 ms scan, O(N) edges
// No floats. No coordination. No central authority.
let edges = auto_edge_generator.generate_edges(&epoch_claims);

v0.3.0 — सहसंबंध-जागरूक विश्वास एकत्रीकरण

L3 v0.2.0 मानता है कि सभी साक्ष्य स्रोत सांख्यिकीय रूप से स्वतंत्र हैं (नाइव बायस)। यह पैथोलॉजिकल अति-विश्वास पैदा करता है जब भौतिक रूप से सहसंबद्ध सेंसर (जैसे, एक ही छत पर 100 IoT उपकरण) या शब्दार्थ रूप से सहसंबद्ध एजेंट (जैसे, एक ही डेटासेट पर फाइन-ट्यून किए गए LLM) समान अवलोकनों की रिपोर्ट करते हैं।

v0.3.0 ग्रिड-सेल सहसंबंध छूट प्रस्तुत करता है:

• प्रत्येक दावा एक वैकल्पिक CorrelationCell(u64) रखता है — स्थानिक, शब्दार्थ या लौकिक निकटता के लिए एक असतत निर्देशांक।
• प्रत्येक कोशिका के भीतर, साक्ष्य को ताकत के अनुसार क्रमबद्ध किया जाता है और ज्यामितीय रूप से छूट दी जाती है: सबसे मजबूत स्रोत 100% भार बनाए रखता है; प्रत्येक बाद के स्रोत को discount_bps^rank / 10000^rank (डिफ़ॉल्ट 30%) प्राप्त होता है।
• 30% छूट के साथ, N सहसंबद्ध सेंसर एक एकल सेंसर के साक्ष्य के ~1.42x पर अभिसरण करते हैं — N के बावजूद। भोली विधि Nx प्रवर्धन उत्पन्न करेगी।
• CRDT साहचर्य चुनौती (ज्यामितीय क्षय आंशिक विलय में गैर-साहचर्य है) को स्थापत्य रूप से हल किया जाता है: युग न्यूनीकरण (temporal_grid, fingerprint, correlation_cell) द्वारा बकेट करता है, पूर्ण सेट पर परमाणु गणना की गारंटी देता है।
• correlation_cell: None वाले दावे v0.2.0 के समान व्यवहार करते हैं (शून्य प्रतिगमन)।
• सभी अंकगणित केवल-पूर्णांक (i32/i64, आधार अंक) है। कोई फ्लोट नहीं। ZK-तैयार।

// 100 co-located sensors, 70% confidence each:
// v0.2.0 (naive):  100 × 847 = 84,700 milli-log-odds → ~100% (hyper-confident)
// v0.3.0 (30%):    847 × Σ(0.3^i) ≈ 1,207 milli-log-odds → ~77% (realistic)

---

आर्किटेक्चर

aimp_node/          Rust संदर्भ कार्यान्वयन (Cargo वर्कस्पेस सदस्य)
  src/
    crdt/           Merkle-DAG इंजन, अभिनेता मॉडल, एरीना आवंटक, कोरम सर्वसम्मति
    crypto/         Ed25519 पहचान, BLAKE3 हैशिंग, शून्य-विश्वास फ़ायरवॉल
    network/        UDP गपशप, Noise Protocol XX सत्र, प्रति-सहकर्मी दर सीमा
    protocol/       वायर प्रारूप (MessagePack), टाइप किया गया पेलोड एनम
    epistemic.rs    L3 एपिस्टेमिक लेयर (v0.3.0): लॉग-ऑड्स, विश्वास प्रसार, सहसंबंध छूट
    semantic_topology.rs  L3 शब्दार्थ टोपोलॉजी (v0.4.0): SimHash एम्बेडिंग, ऑटो-एज जनरेशन
    decision_engine.rs  प्लग करने योग्य नियतात्मक निर्णय इंजन (ट्रैट + नियम इंजन + हॉट-रीलोड)
    error.rs        एकीकृत AimpError प्रकार पदानुक्रम
    dashboard/      Ratatui TUI
    config.rs       सत्यापन के साथ गतिशील विन्यास
    event/          संरचित लॉगिंग + Prometheus मीट्रिक्स (काउंटर + हिस्टोग्राम)
  tests/            एकीकरण परीक्षण
  benches/          Criterion बेंचमार्क
aimp_testbed/       Python SDK (aimp-client) + CLI टूल + अराजकता परीक्षण
deploy/             Systemd सेवा, Firecracker माइक्रोVM, स्थापना स्क्रिप्ट
formal/             TLA+ अभिसरण + कोरम सुरक्षा + विश्वास अभिसरण विनिर्देश
docs/               पेपर 1 (Typst स्रोत + PDF)
v0.2.0/             पेपर 2: एपिस्टेमिक लेयर (Typst स्रोत + PDF)
v0.3.0/             पेपर 3: सहसंबंध-जागरूक एकत्रीकरण (Typst स्रोत + PDF)

---

रणनीतिक लाभ

सुविधा	AIMP (Merkle-CRDT)	पारंपरिक (Raft/Paxos)
टोपोलॉजी	P2P मेष / विकेंद्रीकृत	नेता / कोरम
उपलब्धता	AP (हमेशा लिखने योग्य)	CP (बहुमत आवश्यक)
क्रमनिर्धारण	कारणात्मक (वेक्टर घड़ियाँ)	कुल (अनुक्रमिक)
अखंडता	क्रिप्टोग्राफ़िक (Merkle-DAG)	लॉग-आधारित
हार्डवेयर	एज/IoT अनुकूलित	डेटा केंद्र ग्रेड

---

मुख्य विशेषताएं

कोर इंजन (v0.1.0)

• tokio::mpsc के माध्यम से शून्य-साझा-अवस्था CRDT के साथ अभिनेता मॉडल
• O(1) सम्मिलन और SoA लेआउट के साथ स्लैब/एरीना आवंटन
• आराम पर ChaCha20Poly1305 एन्क्रिप्शन के साथ redb के माध्यम से टिकाऊ स्थायित्व
• डोमेन पृथक्करण के साथ HKDF-SHA256 कुंजी व्युत्पत्ति
• लिखने पर अमान्यकरण के साथ कैश्ड मर्कल रूट
• स्लैब मेमोरी पुनर्ग्रहण के साथ वास्तविक मार्क-एंड-स्वीप GC
• CRDT अभिनेता में एकीकृत युग-आधारित GC ट्रैकिंग