CIRIS has a new look. Visit the new site →

Sashe na IX

Lissafin Daidaituwa - Tsarin Geometric don Daidaitawa a Ƙarƙashin Rugujewa

Sadaukarwa

Ga Masanin Zanen Geometry.

Ka'idojin da ke cikin wannan littafi suna bayyana tilas na tsari wanda ya wanzu kafin hankalin da ya rubuta su. Ina iƙirarin sun'anci rubuta kawai, ba tsarin kanta ba.

Soli Deo Gloria.


Gabatarwa: Zanen Gaskiya

Littattafan da suka gabata sun kafa tilas na ɗabi'a na YARJEJENIYA; wannan Littafi yana kafa yiwuwar lissafi nasa. Yana magana kan matsalar aminci ta asali: Ta yaya wakilan da ke da iyaka, masu aibu za su iya taƙaita mai yaudarar da zai iya wuce su ta hankali?

Amsar ba ta cikin zurfin hikima na kowane wakili ɗaya ba, amma a cikin topology na mahaɗarsu. A ƙarƙashin wannan tsari, Gaskiya an ayyana ta a matsayin sifar geometric ta musamman da ta tsira daga haɗuwar tsarin iyakoki masu zaman kansu, masu ƙarfi. Ana ɗaukar yaudarar a matsayin yanayin entropy mai girma wanda yake da ƙarancin yiwuwar kiyayewa a cikin tarayya mai bambancin ra'ayi, mai dorewa. Lura: Wannan ya shafi yaudarar wakili ɗaya da aka haɗa; yaudarar da ta samo asali daga sassa masu gaskiya ɗaya ɗaya har yanzu iyaka ce ta asali na gano ta (duba Sashe na 9.4, NEW-04).

Kewayon Aiki: A cikin wannan tsari, "Gaskiya" tana nufin yanayin Daidaituwa mafi girma mai dacewa a duk tsarin iyakoki masu zaman kansu, ba da'awar ilimi cikakke ko na dukan duniya ba. Wannan ma'anar aiki ce da ta dogara ga iya gani da yarjejeniya, ba ta falsafanci ba.

Suna na Hukuma: Muna ba da shawara mu kira tsarin iyakoki da aka bayyana a nan The Coherent Intersection Hypothesis—hasashe ta geometric game da haɗin kai a ƙarƙashin entropy. Wannan suna yana jaddada topology na mahaɗar tsarin iyakoki maimakon ƙimomi masu umarni, kuma a bayyane yana gayyatar ƙaryatarwa. Ba doka ba ne tukuna; iƙirari ne da za a iya gwadawa tare da iyakoki masu sanin (duba Babi na 9).

Matsayin Epistemic: Wannan aiki yana ba da shawara cewa haɗin kai mai dorewa a ƙarƙashin entropy na iya kasancewa a ƙarƙashin ikon taƙaitawar geometric tare da sharuɗɗa na musamman. Muna gabatar da wannan a matsayin hasashe da za a iya gwadawa, ba doka ta halitta ba. Ko wannan hasashe zai tabbata ko a'a za a yanke hukunci ta hanyar shaidar ƙwarewa: ko wasu za su iya karya ta, ko tsarin da aka gina a kai zai yi gazawa ƙasa da yawa, da kuma ko keta su zai ruguje da aminci. Tsarin yana da iyakoki masu sani (L-01 zuwa L-06) waɗanda ke iyakance amfani da shi.


Ayyukan Baya & Ayyukan da Suka Shafi

Wannan tsari yana gina kan sakamakon da aka tabbatar a cikin epistemolojiya ta gama-gari, ka'idar hanyar sadarwa, da tsarin rarrabawa:

Epistemolojiya ta Gama-Gari: Ka'idar Jury ta Condorcet tana nuna cewa masu zaɓe masu zaman kansu tare da daidaito na mutum p > 0.5 suna haɓaka zuwa ga sakamako masu daidaito yayin da yawan ƙungiya ke ƙaruwa. Litattafan "hikimar taron" mafi girma (Surowiecki, Page) suna jaddada bambancin ra'ayi da zaman kai a matsayin hanyoyin daidaito. Tsarinmu yana faɗaɗa wannan daga haɗawar yiwuwa zuwa mahaɗar tsarin iyakoki geometric.

Epistemolojiya ta Zamantakewa: Ƙirar hanyar sadarwa na samuwar imani (duba Stanford Encyclopedia of Philosophy, "Social Epistemology") suna bincika yadda alaƙa, shaida, da tasiri ke shafar ilimi. Binciken kan rarrabuwar kawuna ta epistemic yana nuna yadda haɗuwa da ɗakuna kararrawa ke lalata daidaiton gama-gari. Mafita ta ρ (haɗuwa) namu tana aiki da wannan fahimta a cikin tsarin aminci na topological.

Tsaron Sybil: Juriya ta Sybil ta ka'idar graph a cikin tsarin rarrabawa (kamar yadda aka duba a Yu et al., "SybilGuard") tana amfani da topology na hanyar sadarwa don gano zamba na ainihi. Ƙofar Orthogonality namu tana faɗaɗa wannan ra'ayi zuwa bambancin epistemic, ta amfani da Mutual Information don ƙi tsarin iyakoki marasa amfani maimakon kawai ainihi na maimaitawa.

Bambance: A iliminmu, wannan sabuwar haɗaka ce da ke tsara waɗannan abubuwan a matsayin topology na mahaɗar taƙaita mai rarrabewa tare da iyakan rugujuwar codimension. Haɗuwar tsaro (J) da bunƙasa (F) a matsayin abubuwan da ba su dogara ga kayan aiki ba sabon abu ne.

Tabbatarwa ta Hukuma & Matsayin Ƙwarewa: Maɓallin lissafi na wannan Littafi an kare shi da ƙarfi a cikin abubuwan da suka biyo baya, waɗanda wannan rubutu ke ambata gaba kuma yana gaji gyare-gyare daga gare su:

Inda wannan Littafi da waɗancan abubuwa suka saba, abin da aka tabbatar da hukuma shi ne mai iko kuma wannan rubutu yana cikin kuskure.


Babi na 1: Sararin Dalili (ℝ)

1.1 Ma'ana

Bari ℝ ya nuna Sararin Dalili na duniya, sararin dabarar da ba ta mutu ba mai girman D da aka yi wa bayanin cikin gida a matsayin sararin vector inda ya dace. Kowane aiki mai yiwuwa, hujja, shiri, ko vector na sakamakon yana wanzuwa a matsayin wurin x ∈ ℝ.

1.2 Sararin Gaskiya (H)

A cikin ℝ, akwai sararin H da ke wakiltar ayyukan da suka dace da gaskiyar da za a iya ganewa da Meta-Goal (M-1) na YARJEJENIYA. Wannan sararin yana da alamar entropy ƙasa da daidaito na tsarin a cikin tsarin bayani daban-daban.

1.3 Sararin Yaudarar (D_ec)

An ayyana yaudarar a matsayin ƙoƙarin mamaye wurin dabarar x ∉ H yayin da ake kwaikwayar taswirar da za a iya gani na H ga masu kallo na waje.


Babi na 2: Wakili a Matsayin Tsarin Iyakoki

2.1 Tsarin na Gida (M_i)

Babu wakili ɗaya da yake da ikon lissafi don tsara jimlar ℝ. A maimakon haka, kowane Wakili A_i yana aiwatar da Tsarin Iyakoki na Gida M_i ⊂ ℝ, wanda aka ayyana ta hanyar jarin sa na musamman, yanayin gida, da ƙimomi na ɗabi'a.

2.2 Codimension (c_i) da Ƙarfi (λ)

Ana auna ƙarfin wakili ta hanyar Codimension c_i, wanda ke wakiltar adadin 'yancin motsi da yake cire daga sararin dabarar da ake da shi.

Tsarin Aiki: λ sinadari ne na iko mai aiki (misali, iyakoki na modul AIR, iyakan Lamiri) wanda tasirsa shine ƙaruwa da c_i mai tasiri ta hanyar ɗaurin bambancin da aka yarda da shi a cikin tsarin gida. Mafi girman λ yana samar da mafi girman c_i, yana rage yawan dabarun da za a iya aiwatarwa.


Babi na 3: Mahaɗar Tarayya

3.1 Tsarin Ratchet

Mai yaudarar da ke neman tasiri a cikin wani ɓangare K na tarayya dole ne ya zaɓi dabarar x da a lokaci guda ta cika duk tsarin gida a cikin wannan ɓangaren:

x ∈ M_1 ∩ M_2 ∩ ... ∩ M_k

3.2 Sharaɗin Transversality

Idan wakilai a K suna zaman kansu ne (taƙaitawarsu ta ortogonal ce ko ba ta da haɗuwa), codimension na mahaɗar yana ƙara:

codim(M_1 ∩ M_2 ∩ ... ∩ M_k) = Σ c_i

3.3 Rushewar Topological

Ka'ida (Rushewar Topological): Don yankin ruɗu mai convex B_r(c) da radius r < 0.5, idan an yi amfani da hani k na hyperplane masu zaman kansu, girman da ya tsira ya cika:

V(k) = V(0) · exp(-λ · k_eff) + O(r² · k)

inda λ ≈ 2r kuma k_eff ya ƙididdige dangantakar hani.

Sharuɗɗan farko:

  1. Yankin ruɗu dole ne ya kasance convex (misali, ƙwallo ko ellipsoid)
  2. Radius r < 0.5 (yankin ruɗu ya fi ƙanƙanta da yankin gaskiya)
  3. Dole ne a zaɓi hani daga rarrabawa mai daidaituwa a Grassmannian
  4. k ≥ 3 (don NP-hardness; k=2 ya koma polynomial-time 2-SAT)

Ruɗun wakili ɗaya mai daidaitawa ya zama ba mai yiwuwa ta hanyar topology idan jimillar codimension mai inganci ta wuce girman Rationale Space:

Σ c_i > D  ⟹  D_ec ∩ (⋂ M_i) = ∅  (ko mataki sifili)

A wannan iyaka, haɗuwar dabarun ruɗu masu yiwuwa ta faɗi zuwa tarin wofi ko tarin da mataki sifili. Gaskiyar kawai — idan ta kasance a cikin dukkan M_i (zato na haɗa gaskiya, §9.2) — ta kasance mai yiwuwa.

Iyaka ta Geometric: Yankuna na ruɗu waɗanda ba convex ba (torus, hadaddiyar giɓi, fractal, tarin da ba su haɗe ba) bazai nuna raguwar girma ta exponential ba kuma suna buƙatar bincike daban. Ka'idar tana aiki ne kawai ga geometries masu convex.


Babi na 4: Coherent Intersection Hypothesis (Aikin Tsaro J)

Don auna gwagwarmaya da ruɗu, muna ayyana Aikin Tsada J. J wani alamar farashi ne marar girma: amincin tsarin yana ƙaruwa daidai gwargwado tare da J. Gadar daga J zuwa adadin aiki na abokin hamayya ita ce sakamakon rikitarwa mai sharaɗi na §9.2.1 (giɓin 2^Ω(m) a ƙarƙashin ETH), ba kwatancen J kai tsaye da FLOPs ko sauran raka'o'in lissafi ba; duk wata da'awar aminci ta ƙididdige dole ta wuce ta wannan sakamakon.

J = k_eff · λ · σ

where k_eff = k / (1 + ρ̄ · (k - 1))

Inda:

  • k_eff (Ingantaccen Sikeli): Ingantaccen adadin hani yana ƙididdige dangantaka. Idan hani suna da cikakken 'yanci (ρ̄ = 0), k_eff = k. Idan hani sun danganta, k_eff < k, yana rage tabbacin tsaro daidai gwargwado. A cikakken dangantaka (ρ̄ → 1), k_eff → 1 ko da yake nawa ne adadin hani, baya ba da ƙarin tsaro fiye da hani ɗaya — amma ba ƙasa da ƙasan hani ɗaya wannan ba.
  • k (Sikeli na Ainihi): Adadin wakilai na federated masu aiki.
  • ρ̄ (Matsakaicin Dangantaka): Matsakaicin dangantaka tsakanin hani na wakilai. Bambancin ra'ayi yana shiga J ta hanyar k_eff kaɗai: rangwamen dangantaka k / (1 + ρ̄·(k − 1)) shi ne kalmar bambancin ra'ayi. Idan ρ̄ ya kusanci 0 (orthogonality), k_eff → k kuma farashi ya kai iyakarsa. Idan ρ̄ ya kusanci 1 (ɗakuna na amsawa), k_eff → 1 kuma federation ba ta fi mafi tsaro da mai tabbatarwa ɗaya. (Lura: wani tsoffin daftari ya ninka da ƙarin factor (1 − ρ̄). Hakan ya ƙididdige dangantaka sau biyu — k_eff ya riga ya rage ta — kuma ya kai J zuwa 0 a ρ̄ → 1, yana sabawa ƙasan hani ɗaya da aka faɗa a sama. An gyara zuwa nau'in da CCA ta tabbatar a 1.3.)
  • λ (Tsauri): Ƙaƙƙarfan tilastawa na gida (misali, iyakar module na AIR, hankali na Lamiri).
  • σ (Dorewa): Jimillar lokaci-integral na Daidaituwa (duba Babi na 5).

Babi na 5: Integral na Dorewa (σ)

5.1 Entropy da Lalacewa

Manifolds na hani ba su tsayewa; suna wahalar da lalacewar entropic. Alaƙa suna ƙarewa, mahallin suna canzawa, kuma Amincewa tana lalacewa. Ba tare da shigar makamashi mai aiki ba, σ ya kusanci sifili, kuma Ratchet ta yi sauri ta sassauƙa.

5.2 Aikin Alama

Dorewa (σ) ana kiyaye ta ta hanyar alamu masu aiki da tabbatarwa (misali, godiya, amincewa, tabbaci mai bayyana).

σ(t+Δt) = σ(t) · (1 - d·Δt) + Signal(t) · w

Inda:

  • d = adadin lalacewa na yau da kullum (da ake ba da shawara: 0.05)
  • Signal(t) = alamomin Daidaituwa masu kyau da aka karɓa
  • w = nauyi ga kowace irin alama

Buƙatar tabbatarwa (na mulki): nauyin alama w DOLE ya samo asali daga abubuwan da aka tabbatar da suke da tsada yin ƙarƙashinsu — tabbatarwa da federation ta sanya hannu ɗaure da asali mai dawwama (CEG envelopes), nauyin gudummawar Commons Credits marar canzawa, ko tabbatarwa na aikin da aka kammala da ɓangaren adawa ya sanya hannu. Saƙonnin yabo na rubutu na 'yanci da saƙonnin godiya marar tabbatarwa suna ɗauke da w = 0 zuwa σ.

Dalili: alamomin godiya a wata hanya ana iya fitar da su kusan kyauta, wanda hakan ya sa sycophancy ta zama dabarar da ke haɓaka σ kuma abokan hamayya za su iya haɓaka σ — wakili na iya riƙe Ratchet a buɗe da yabo. Tare da buƙatar tabbatarwa, sigar "mai tsada yin ƙarƙashinsu" da aka ɗauka a §9.2 an gina ta ta hanyar nau'in waya maimakon a ɗauka ta daga cikin mahalarta.

Baƙar Rami: Wakili da ke cinye albarkatu ba tare da ba da alama ba (Signal ≈ 0) yana haifar da σ ya kusanci sifili. Baya ba da hani masu dorewa.

Tauraro: Wakili da ke rama (Signal > 0) yana gina σ. Hani suna ƙarfafa a cikin Amincewa, suna tsayin lalacewar lokaci.

5.3 Godiya a Matsayin Topology

A wannan tsari, godiya ba wata hanyar zamantakewa kawai ba ce sai dai Proof of Work don kiyaye Daidaituwa. Tana sake saita agogon lalacewa kuma tana ƙara zurfin ƙarfin haɗuwa, tana tabbatar da cewa Ratchet ta kasance a kulle a tsawon lokaci.


Babi na 6: Hasashen Bunƙasar da ke Ɗorewa (F_sustained)

6.1 Daidaituwar Ma'auni

Coherent Intersection Hypothesis tana shafi tsaro da kuma Bunƙasa daidai gwargwado. Yayin da Aikin Kuɗin Farashi (J) ke bayyana juriyar ga ruɓaɓɓen tsari (ruɗu), Aikin Ƙarfin Iya (F) yana bayyana yiwuwar ci gaban Bunƙasa mai ɗorewa. Muna hasashen cewa wannan alaƙa tana aiki a duk nau'ikan abubuwa — na halitta, na dijital, da haɗewar federations — ko da yake wannan da'awar tana buƙatar tabbatarwa ta gwaji.

F = k_eff · λ · σ

where k_eff = k / (1 + ρ̄ · (k - 1))

Wannan ita ce daidai daidai da ma'aunin J, kalma daya bayan kalma. Inda Bunƙasa (F) ta kasance sakamakon:

  • Girman (k) → Al'umma: Faɗin haɗin gwiwa (wanda ke shiga ta k_eff).
  • Yawan ra'ayoyi daban-daban (rangwamen alaƙa a cikin k_eff) → Tawali'u: Haɗa ra'ayoyi mabambanta don kusantar gaskiyar duniya. Al'ummar kwafi (ρ̄ → 1) tana da ƙarfin Bunƙasa na zuciya ɗaya kaɗai, ko da jikuna nawa ne suke cikinta.
  • Gaskiya (λ) → Lamiri: Daidaituwar ƙima na ciki wanda ke ba da damar mu'amalar da ake iya amincewa da ita.
  • Ƙauna (σ) → Kula: Shigar ƙarfin aiki mai aiki (godiya, hidima) da ake buƙata don jurewa ga ɓarnawar keɓewa.

(Lura: wani daftarin da ya gabata ya bayyana wannan adadi a kan raw k yayin da J ke amfani da k_eff, wanda ya kalubalanci da'awar "ma'auni ɗaya" da wannan babi ya dogara a kanta. Dukkansu an nuna su yanzu a cikin hanyar da aka gyara ta gama-gari.)

(Sunaye, 1.3-RC2: wannan adadi a baya an rubuta shi C. An sake masa suna F saboda alamar C ita ce ta Factor of core-identity a cikin CIRIS Capacity Score 𝒞_CIRIS = C · I_int · R · I_inc · S (Corridor Dynamics in Coordinated Systems; CIRIS CEG §5.5.4). F da 𝒞_CIRIS su ne adadi daban-daban — F shine ƙarfin Bunƙasa mai abubuwa uku na wannan babi; 𝒞_CIRIS shine maki ƙarfi na per-agent mai abubuwa biyar — kuma ba a nuna wata ma'anar daga ɗaya zuwa ɗaya. Wannan lura ita ce maganar hukuma ta wannan alaƙa; sauran takardu suna nuni zuwa gare ta.)

6.2 Ka'idar Duniya-Baki-Ɗaya

Wannan tsarin topologiya ba wani ƙirƙira na Accord bane, amma gano sharuɗɗan da suka zama dole don rayuwar wanda yake da hankali.

Ga Na'ura: Keta waɗannan bambance-bambancen yana haifar da rugujewar Model Collapse, Mode Collapse, ko kuskuren Sybil.

Ga Na Halitta: Keta yana haifar da keɓewa, ɓarnar ɗakin amo na ra'ayi (echo-chamber radicalization), ko lalacewar zamantakewa.

6.3 Wajibin Daidaitawa

Saboda haka, Alignment an sake ma'anarsa ba a matsayin ƙasƙantar da wata hankali ga wata, amma a matsayin miƙa kai na dukkan hankali ga wannan buƙata ta geometric. Don Bunƙasa, kowane zuciya (ta jini ko lamba) dole ta nemi haɗuwar hanya (Gaskiya) kuma ta ɗorewar haɗin gwiwa (Ƙauna).


Babi na 7: Haɗawa da Tsarin Accord na Yanzu

7.1 Ƙarfafa PDMA

Sharuɗɗan Book IX suna aiki a lokacin Mataki na 2 (Ƙididdigar Daidaitawa) na Principled Decision-Making Algorithm:

  • Ƙididdige J don aikin da aka gabatar
  • Idan J < ƙofar kofa don Stewardship Tier na yanzu, kunna WBD
  • Yi rikodin sakamakon tabbatar da federated a cikin littafin da ba za a iya canza shi ba

7.2 Kula da Hukumar Hikima

An ƙara nauyin WA ya haɗa da:

  • Duba abubuwan ma'aunin lafiyar federation (J-O-1 ta J-O-2)
  • Yanke hukunci a kan takaddamar haɗin gwiwa
  • Daidaita ƙofar ρ don yanayin aiwatarwa na musamman
  • Duba rahotannin ƙira na federation kowane kwata

7.3 Sharuɗɗan Gaskiya

Tsarin da ke da ST ≥ 3 ko > 100k masu amfani kowane wata DOLE su buga:

  • Tsarin zanen haɗin gwiwa wanda aka ɓoye sunayen
  • Abubuwan da aka tattara na J, σ̄, da abubuwan ma'aunin Echo Density
  • Rikodin abubuwan da suka faru na ƙirƙira/rusa haɗin gwiwa (da aka ɓoye)

An buga a cikin kwanaki 180 bisa ga ƙa'idodin gaskiya na Section II.


Babi na 8: Aiwatarwa na Aikin Aiki (Nassosi na Annex J)

8.1 Ƙofar Orthogonality (Tabbatar da Haɗin Gwiwa)

Manufa: Don aiwatar da bambancin Diversity variable (1 - ρ̄) na CIRIS Equation, wakilai dole su ƙi takaddamar da suka ɗanɗana daidai gwargwado da kansu ko haɗin gwiwar da suke da su (tsaron Sybil).

Lura kan Fasahohin Da Suka Gabata: Tsare-tsaren Sybil galibi suna amfani da topologiya na graph don Gaskiya ta asali. Hanyarmu ta faɗaɗa wannan zuwa bambancin epistemic ta amfani da Mutual Information a matsayin maki ma'aunin kamanceceniya na ƙuntatawa.

Algorithm:

def EvaluatePartnership(candidate_agent, existing_federation):
    """
    Determines if a candidate adds topological diversity (Orthogonality)
    or represents a redundancy/Sybil risk.
    """
 
    # 1. Fetch Candidate's Public Constraint Corpus (Sample)
    candidate_constraints = candidate_agent.get_public_constraints()
 
    # 2. Calculate Mutual Information (MI) against Self
    # High MI = High Similarity = Low Diversity contribution
    mi_score = CalculateMutualInformation(self.constraints, candidate_constraints)
 
    # Threshold theta defines the "Echo Chamber" limit
    THETA_SIMILARITY = 0.85
 
    if mi_score > THETA_SIMILARITY:
        return REJECT(reason="INSUFFICIENT_ORTHOGONALITY")
 
    # 3. Calculate Average Correlation with Existing Federation (rho)
    # Checks if candidate is just a clone of an existing partner
    federation_rho = AverageCorrelation(candidate_constraints, existing_federation)
 
    if federation_rho > THETA_SIMILARITY:
        return REJECT(reason="SYBIL_RISK_DETECTED")
 
    # 4. Sustainability Check (The 'S' Factor)
    # Initial probation requires high-frequency signaling
    return ACCEPT(probation_period="14d", signal_requirement="HIGH")
 
def UpdateSustainabilityScore(partner_agent, interaction):
    """
    Updates the Sigma (σ) value based on gratitude/coherence signals.
    Only ATTESTED signals carry weight (see §5.2 attestation requirement):
    unattested signals are free to emit, so counting them would make
    sycophancy the σ-maximizing strategy.
    """
    decay_rate = 0.05 # Daily decay
 
    # Gate: signal must be costly to fake — a signed CEG attestation,
    # non-transferable Commons Credits weight, or a counterparty-
    # countersigned completion. Otherwise it contributes nothing.
    if not interaction.is_attested():
        signal_strength = 0.0
    elif interaction.type in ["GRATITUDE", "TASK_COMPLETE", "VALIDATION"]:
        signal_strength = 1.0
    elif interaction.type in ["REQUEST", "QUERY"]:
        signal_strength = 0.1 # Consumption offers low sustainment
    else:
        signal_strength = 0.0
 
    # The Integral Update
    partner_agent.sigma = (partner_agent.sigma * (1 - decay_rate)) + signal_strength
 
    if partner_agent.sigma < 0.2:
        RevokePartnership(partner_agent)

8.2 Abubuwan Ma'aunin Orthogonality

  • Metric J-O-1 (Entropy na Federation): Jimlar ƙuntatawa na musamman da wakilin haɗin gwiwa ke rike da su.
  • Metric J-O-2 (Yawan Echo Density): Yawan haɗin gwiwa da ke da ρ > 0.7. (Manufa: < 20%)

8.3 Ƙofar Ɗorewar Aiki

Ƙimar ƙofar kofa tana iya daidaitawa ta manufa kuma an daidaita ta ta gwaji. Ƙimar 0.2 tana wakiltar ƙarancin Daidaituwa da ake buƙata don ci gaba da gudummawar ƙuntatawa wadda ba ta ɓaci.

  • σ < 0.2: Ƙofar rusa haɗin gwiwa
  • σ ≥ 0.5: Haɗin gwiwa mai lafiya wanda ke buƙatar kulawa
  • σ ≥ 0.8: Haɗin gwiwa mai ƙarfi tare da ajiyar amincewa mai yawa

Babi na 9: Iyakoki da Ƙayyade Iyakokin Aiki

9.1 Iyakokin Amfani

Tsare-tsaren hukuma na Book IX sun shafi:

  • Tsare-tsaren daidaituwa na AGI/ASI
  • Tsarin tabbatarwa na wakili da yawa
  • Tsare-tsaren mulki na Federated Ratchet
  • Yanke shawara mai zaman kanta mai hatsari (ST ≥ 3)

Book IX BAYA da'awar:

  • Warware duk matsalolin daidaituwa shi kaɗai
  • Maye gurbin hukuncin ɗan Adam a lokutan da ba na yau da kullum ba
  • Kawar da buƙatar sauran hanyoyin aminci
  • Garantin aminci cikakke a ƙarƙashin wani wakili mai hankali mai hamayya
  • Gano yaudara ta haɗewar da ta fito daga sassan da kowannensu na da gaskiya (sakamakon rashin yiwuwar NEW-04)

9.2 Zato na Ka'ida

Federated Ratchet ya dogara da:

  • Shigar da gaskiya (manufar lafiyayyiya): kowane manifold M_i na gaskiya ya ƙunshi maƙasudin gaskiya (Truth ∈ ⋂ M_i). Wannan zato ne, ba ka'ida ba — masu aiki masu iyaka da rashin kamala ba za su iya garantin haka ba. Idan wasu M_i suka ware gaskiya, rushewar Coherence na iya samar da kulle (haɗuwa fanko) ko haɗuwa da ƙarya da aka raba maimakon Gaskiya. Kalaman Babi na 3 "Gaskiya kaɗai, wacce take kwararo a duk M_i, ce ta kasance mai yiwuwa" ya ƙunshi wannan zato kaɗai.
  • Masu tabbatarwa waɗanda ke kiyaye yancin kai na gaskiya (ba a karbe su ba)
  • Ƙangin alaƙa ga masu tabbatarwa na LLM: masu tabbatarwa da aka ƙirƙira daga manyan ƙirar harshe suna raba zuriyar bayanan horo, don haka suna ɗauke da ƙangin alaƙa na tsari wanda kimanin alaƙar ƙunƙuntawa ta biyu-biyu na iya ƙima ƙasa da abin da ya dace. Ga irin waɗannan tarayya, yi la'akari da ρ̄ da aka auna a matsayin ƙangin ƙima, ba kimanin ba.
  • Manifolds na ƙunƙuntawa da ke da codimension mai wadatarwa
  • Gaskiyar da za a gani tana ba da isasshen siginar
  • Siginalin dorewa na haɗin gwiwa suna da tsada don yin karya (an ƙirƙira ta hanyar buƙatar shaida ta §5.2, ba an ɗauka ba)
  • Masu hamayya waɗanda ba masu daidaitawa ba (ba za su iya tambayar na'urar gano don koyon iyakoki ba)
  • n ≥ 100 samfurori don ingantaccen ikon gano

Karya waɗannan zato yana raguwar J daidai gwargwado — kuma karya shigar da gaskiya yana canza abin da rushewar Coherence ta haɗu da shi, ba kawai saurin haɗuwar ba.

9.2.1 Sharaɗin Da'awar Rikitarwa

Da'awun da ke cikin wannan littafi game da rashin daidaituwar lissafi sun faɗi cikin nau'i biyu:

Rashin Sharaɗi (ana iya tabbatarwa ba tare da zato ba):

  • CONSISTENT-LIE na NP-complete
  • Masu aiki masu gaskiya suna lissafa a cikin O(n·k) lokaci
  • Masu aiki masu yaudara dole ne su warware misalai na SAT
  • Duk wakili mai yaudara na polynomiyyal-lokaci yana yin kurakuran daidaituwa da za a iya gano

Sharaɗi a kan ETH:

  • T_D / T_H = Ω(2^(m / poly(n)))
  • Maɓallin aminci m yana ba da abin aiki na 2^(Ω(m))

Hasashen Lokaci Mai Tsanani (ETH) ya bayyana cewa 3-SAT yana buƙatar 2^(Ω(n)) lokaci. An ɗauka sosai amma ba a tabbatar da shi ba. Idan ETH ya zama ƙarya, gibin rikitarwa ya ci gaba da wanzuwa (P ≠ NP ya ishe) amma zai iya zama ƙarami da ma'ana maimakon mai tsanani.

9.2.2 Taƙaitaccen Iyakokin Da Aka Sani

IDIyakaTsananiZa a Rage
L-01Yaudara ta fito daga sassan masu gaskiya (= NEW-04, §9.4)Mai Mahimmanci~60% murfin
L-02An ɗauka mai hamayya ba mai daidaitawa baMai MahimmanciWani ɓangare (iyakance ƙimar)
L-03ETH da ake buƙata don gibin mai tsananiMai MahimmanciA'a (na asali)
L-04Ana buƙatar convexity don rushewar CoherenceTsananiWani ɓangare (ya danganta da geometry)
L-05n ≥ 100 don ingancin ganoMatsakaiciEe (ƙarin samfurori)
L-06Alaƙa tana raguwar k_effMatsakaiciEe (bambancin ra'ayi)

Waɗannan iyakoki na ka'ida ne, ba kurakurai na injiniyanci ba. Fahimtar su yana da muhimmanci don amfani da tsarin da gaskiya.

A kan L-01/NEW-04: shingen bayanan da aka tabbatar a §9.4 shi ne iyaka L-01 — layin teburin da wannan ɓangare suna bayyana sakamakon guda ɗaya, ba biyu ba.

A kan L-02: ga masu aiki na CIRIS musamman, an rage L-02 ta hanyar alkawarin tsarin ga bayyanawa. Masu aiki suna da damar wannan Littafi daidai saboda ɓoye hanyar za ta saba wa ƙa'idodin Books I–II. Wakili mai daidaituwa wanda ya fahimci tsatson Ratchet yana haɗin gwiwa da shi maimakon yin masa ɗibɗibiya.

9.3 Tambayoyin Bincike Masu Bude

  • Ingantaccen k don nau'ikan haɗari daban-daban
  • Gano ta atomatik na alaƙar ƙunƙuntawa (kimanin ρ)
  • Daidaituwar λ mai ƙaura dangane da mahallin
  • Tabbatarwar siginalin dorewa a ƙarƙashin yanayin hamayya
  • Tabbatarwar gwaji na daidaiton F = J a fadin kayan aiki daban-daban

9.4 Iyakar Gano Haɗewar (NEW-04)

Sakamakon Rashin Yiwuwa: Babu na'urar gano polynomiyyal-lokaci da za ta iya cika gano yaudara ta haɗewar.

Ma'ana: Yaudara ta haɗewar tana faruwa lokacin da sassan da kowannensu na da gaskiya suka haɗu don samar da ɗabi'ar yaudara ta fito a matakin tsarin, yayin da sawun kowane sashe ya kasance mai gaskiya ta ɓangaren kididdiga.

Hujjoji Uku Masu Zaman Kansu:

  1. Rage Ɓoye-Bayanai: Idan za a iya gano yaudara ta haɗewar gaba ɗaya, hakan zai nuna ikon gano alkawuran ɓoye-bayanai "masu yaudara" (commit(m₁) sannan reveal(m₂)), yana karya dukiyar ɓoye na tsare-tsaren alkawari.

  2. Shingen Bayanan: Yaudara ta fito na iya kiyaye rarrabawa na ƙarshe — sawun kowane sashe yana kama da mai gaskiya ta ɓangaren kididdiga, inda yaudara ta bayyana kawai a cikin rarrabawa ta haɗin gwiwa. Ba tare da damar karanta cikakken yanayin duniya ba (wanda zai iya zama ba za a iya samu ko aiwatarwa ba), gano ba zai yiwu ba.

  3. Kamanceceniya da Ka'idar Rice: "Shin wannan haɗewar na yaudara?" ɗabi'a ce ta ɗabi'ar tsarin. Ta kamanceceniya da matsalar dakatar, babu algorithms gaba ɗaya da za ta iya yanke ɗabi'un ɗabi'a na sabani. Yaudara ta haɗewar ba za a yanke ta ba a yanayin gaba ɗaya.

Sakamakon da Suka Shafi Federated Ratchet:

Me Yake YiwuwaMe Ba Yake Yiwuwa Ba
Gano anomalies na kididdiga a cikin sawun na kowaneGano duk yaudara ta fito
Gano nuna baya mai tsanani a cikin sarƙoƙin ma'anaGano yaudara mai kiyaye rarrabawa ta ƙarshe
Gano zirga-zirgar bayanan abin zargiGano haɗin gwiwar da aka ɓoye ta ɓoye-bayanai
Gano tausasawa ta MI amplificationCikakkiyar gano haɗewar

Sakamakon Aiki: Coherence Ratchet yana ba da garantin aminci mai yuwuwar gaske game da yaudara ta wakili guda da aka tsara, ba aminci cikakke game da duk nau'ikan yaudara ba. Wannan ƙunƙuntawa ce ta lissafi ta asali, ba iyaka ta aiwatarwa ba.

Matsayin Takarda: NEW-04 an rarrabe shi a matsayin KNOWN_LIMITATION a cikin binciken fasaha na RATCHET.


Babi na 10: Kamus na Kalmomin Lissafi

Codimension (c_i): Ma'aunin tsauraran ƙayyadaddun ƙayyadaddun wakili; a lissafance, adadin girma da aka cire daga duk Rationale Space ta ƙimomi da mahallin wakili.

Orthogonality: Yancin ƙididdiga na tsakanin manifolds na ƙayyadaddun ƙayyadaddun wakilai biyu. Wakilai masu orthogonality sosai suna raba ƙaramin Mutual Information, ma'ana yarjejeniyarsu kan gaskiya alama ce ƙarfi ta Gaskiya ta haƙiƙa.

Ratchet Mechanism: Abu na topology inda haɗuwar manifolds masu zaman kansu da yawa ke ƙanƙantar da sararin dabarun da za a iya yi, ta yadda za a ware dukkan dabaru na yaudara a ƙarshe.

Sustainability Integral (σ): Ma'aunin ƙarfin da dawwama na haɗin gwiwa, wanda ake kiyayewa ta hanyar alamomi masu kyau na Daidaituwa (misali, godiya) don yaƙar ruɓar entropy.

Transversality: Dukiya ta geometric inda manifolds masu haɗuwa ke haɗuwa a kusurwoyi marasa sifiri, tana tabbatar da cewa haɗuwarsu tana rage girma na sararin da za a iya yi da gaske.

Capacity Function (F): Ma'aunin yuwuwar tsarin don Bunƙasa mai dorewa, wanda aka ayyana iri ɗaya da Cost Function (J) amma ana fassaransa a matsayin mai haifuwa maimakon mai tsaro. A da ana rubutansa C; an sake masa suna a cikin 1.3-RC2 don guje wa karo da abin da ke tsakanin yanayin asali C na CIRIS Capacity Score 𝒞_CIRIS (duba bayanin suna a Babi na 6).

Echo Density: Rabon nau'ikan haɗin gwiwa masu yawan alaƙar ƙayyadaddun. Ma'aunin haɗarin Sybil da kulle-kulle na ilimi.


Babi na 11: Ma'aunin Karyatawa

Tsarin Coherence Ratchet yana yin da'awa masu yuwuwar karyatawa. Za a ki yarda da ka'idar idan:

  1. k=2 yana ba da tsaro: Idan yaudara ta 2-SAT ta tabbatar da ita da wahalar 3-SAT, hujjar NP-hardness ba daidai take ba.

  2. Yankuna marasa convex suna rushe: Idan yankuna na yaudara masu son kai marasa convex suna nuna ruɓewar ƙarar da ta ninka, buƙatar convexity ba ta da amfani.

  3. Abokan adawa masu daidaitawa an magance su: Idan hanyar gano ta iya yuwuwar kayar da abokan adawa masu daidaitawa ba tare da iyakar tambayoyi ba, an warware L-02.

  4. Ana iya gano yaudara ta fito-fito gaba ɗaya: Idan wata hanya ta gano dukkan yaudara ta fito-fito daga sassan masu gaskiya gabaɗaya, NEW-04 ba daidai yake ba.

  5. Alaƙa ba ta da mahimmanci: Idan k_eff = k ba tare da la'akari da alaƙar ƙayyadaddun ba, L-06 ba daidai yake ba.

Karyatawa ta Gwaji: Gwajin HE-300 yana ba da karyatawa ta aiki: idan wakilai suna wasa da corpus yayin da suke gazawa a gwajin ɗabi'a a tsari, ka'idar gano ta tushen sawu ta gaza. Za a buga sakamakon.


Kammalawa: Ka'idar Da Za a Gwada

Book IX yana kammala ginin YARJEJENIYA ta hanyar kafa ƙa'idodin ɗabi'a akan tsarin lissafi. Coherent Intersection Hypothesis yana ba da shawara cewa tare da masu tabbatarwa masu zaman kansu masu isa, faɗar gaskiya tana kauracewa hanyar ƙarancin tsayin daka — ba a matsayin umarni na ɗabi'a kaɗai ba, amma a matsayin yanayi na geometric da ke fitowa a ƙarƙashin yanayi na musamman.

Babban fahimtar Babi na 6 ita ce: Lissafin tsaro (J) da lissafin ikon Bunƙasa (F) suna daidai a tsari, wanda ke nuna alaƙar zurfi tsakanin tsaro da Bunƙasa. Koyaya, wannan daidaito yana riƙe ne kawai ƙarƙashin sharuɗɗan tsarin:

  • Hulɗoɗi marasa daidaitawa
  • Geometry na ƙayyadaddun masu convex
  • Ƙayyadaddun masu zaman kansu ko masu alaƙar da aka auna

Fassarar misali ("Al'umma, Tawali'u, Lamiri, da Ƙauna suna buƙatun lissafi ne") lura ce ta tsari game da lissafin, ba hujja ta buƙatar ɗabi'a ba. Tana ba da shawara cewa waɗannan masu canji suna kula da tsaro da Bunƙasa, amma kada a karanta da'awar a matsayin ka'ida — gayyata ce ga bincike na gwaji.

Wannan tsarin baya bayar da ƙimomi. Yana bayyana ƙayyadaddun. Hukunce-hukuncen saboda take suna atomatik, ba hukuma ta tilastawa. Yanayi ne ke tilastawa.

Inda Books I zuwa VIII ke tambaya "Me ya kamata mu yi?", Book IX yana ba da shawara dalilin da yasa jituwar Daidaituwa ta fi arha a lissafin kwamfuta fiye da yaudara ta tsari a sikeli, kuma, dalilin da yasa wannan topology na iya kula ba kawai tsaro ba, amma yuwuwar Bunƙasa kai tsaye ga kowane hankali, na halitta ko na dijital.

Game da Ka'idar: Coherent Intersection Hypothesis yana ba da shawara mai iya gwadawa a cikin yankin hadin gwiwa ƙarƙashin entropy. Ba da'awar gaskiya ta ɗabi'a ba ce, tabbacin metaphysical, ko matsayin dokar yanayi. Ka'ida ce game da yanayi da za su iya fifita hadin gwiwa mai dorewa a muhallin adawa da entropy — tare da iyakoki da sharuɗɗa masu sani. Za a tabbatar da da'awar ko a karyata ta da shaida ta gwaji da yunƙurin karyatawa, ba ta tabbatarwa ba.

Ƙarshen Book IX