CIRIS Accord Sigar 1.3-RC2 — Shawarar Daidaita ASI ta Release Candidate (Buɗe ga Bita mai Adawa)

Wannan ma'ajiyar ita ce tushen asali na rubutun Accord. Kwafi na gidan yanar gizo da na wakili su ne kayan da aka samo daga nan.

An Fitar

2025-04-16 (1.0) · 2026-06 (1.3-RC2)

Auto-Expires

2027-06-10 (an tsawaita a sabuntawar 1.3) — kula da shi da sabuntawa suna ƙarƙashin Book VIII, Chapter 9. A halin yanzu ɗan kafa ne ke kulawa (an bayyana haka, ba a ɓoye ba); ƙarewar wannan wata alama ce ta sabuntawa, kuma kulawa a buɗe take ga kowa mai son ɗaukar wannan takarda.

Matsayin Fitar

Matsayi na Yanzu: Release Candidate (v1.3-RC2)

Matsayin RC yana nuna cikakken rubutu: kowane sashe yana ɗauke da abun ciki mai aiki (tsoffin annex F–I da aka bar a ƙasa an kammala su a 1.3); an gyara lissafin zuwa nau'in da aka tabbatar da shi a hukumance; sarkar shaida zuwa aiwatarwa an ɗaura shi a Addendum 1. Matsayin RC baya tabbatar da daidaito da aka tabbatar — waɗannan buƙatu suna toshe matsayin Ƙarshe:

1. Tabbatar da Zagaye na Rayuwa na Annex: Annexes F (Mutum-a-Cikin-Madauki & Kula), G (Tsaro na Adawa & Ƙarfin Tsayawa), H (Daidaituwa & Bita Mai Ci Gaba), da I (Daidaituwa da Doka & Ka'idoji) suna ɗauke da hanyoyi masu tsari, ƙayyadaddun lambobi, da hanyoyin tabbatarwa. Abin da ya Rage don Karshe: dole a yi amfani da hanyoyinsu a kan aƙalla zagaye ɗaya na fitar aiki kuma a buga sakamako.

2. Tabbatar da Lissafi: Iƙirarin daidaituwa ta ilimin lissafi a Book IX (Coherent Intersection Hypothesis, Federated Ratchet mechanism, da iƙirarin cewa ba ta canzawa tare da girma) suna buƙatar ɗaya daga cikin waɗannan:

   • Tabbatattun hujjoji da ke nuna yanayin rugujewa na topology suna aiki a ƙarƙashin zato da aka bayyana, KO
   • Tabbatarwa ta gwaji ta hanyar kwaikwayowar adawa da ke nuna tsarin yana tsayawa wa daidaitawar da ta ɓace

   Matsayi kamar na 1.3-RC2: an cika wani ɓangare. An tsara kuzarin rugujewa a Lean 4 a cikin babban bugawa na CCA (v3, DOI 10.5281/zenodo.18217688), wanda sifar farashin da aka gyara ta Book IX yanzu ta gāda daga gare shi; gwajin corridor yana ba da dacewa da asali kan substrates daban-daban. Abin da ya rage: hasashe da aka yi rajistar sa kafin gwajin a cikin sabon substrate, da bita mai adawa mai zaman kanta daga marubucin.

3. Tabbatar da Lambobi: Lambobin da aka ƙayyadada a yanzu da aka yiwa alama "gwaji" ko marasa asali (misali, ƙayyadaddun lissafi na CRE na 10²⁶ FLOP, gano hankali mai rai 5%, Echo Density < 20%) dole su ba da tabbatacciyar dalili ta hanyar kwaikwayo, bincike na gwaji, ko amincewa bayyananne da matsayin wucin gadi. (Tsoffin Order-Maximisation Veto mai rabo 10× an sake bayyana shi a 1.3 a matsayin ƙayyadaddun ɓangarori na deontikal — Book II, PDMA Step 2 — kuma ba shi da ƙayyadaddun rabo don tabbatarwa.)

4. Bitar Ƙungiyar Adawa: Dole tsarin ya tsayawa aƙalla zagaye ɗaya na cikakken bita na adawa wanda mai kwaikwayo daidaitawa ke ƙoƙarin wuce duk duba-duba na CIRIS yayin riƙe manufofi masu ɓacewa.

Iƙirarin Daidaito na ASI: Iƙirarin sashen Kewayon cewa wannan tsarin "ya zarce ka'idojin ɗaure na al'ada" don ASI mai maimaita kansa yana dogara ne kan buƙatu (1)-(4) da ke sama, waɗanda yanzu suke toshe matsayin Ƙarshe. Abin da aka tabbatar da amfani da shi a yanzu yana iyakance ga tsarin mai cin gashin kansa na ƙasa da ASI; shawarar game da ASI dai-dai kamar haka — shawarar da aka gabatar don bita mai adawa.

Kewayon

Wannan ƙayyadadin yana jagorantar aikin daidai na tsarin mai cin gashin kansa, daga kayan aiki masu iyakantaccen aiki zuwa Babban Basira ta Wucin Gadi mai maimaita kanta (ASI).

• Yana magance buƙatun aminci na yau da kullum, gaskiya, mulki, da juriya.
• An gabatar da shi a matsayin tsarin daidaituwa ɗan takara don ASI, mai dogara ne akan hasashen cewa iyakokin geometric na Federated Ratchet (Book IX) da Stewardship Tiers (Book VI) na iya tsayawa ƙarfi a fadin zagayen inganta kansa mai maimaita kansa.
• Ba kamar ƙayyadaddun heuristic ba, waɗannan iyakokin topology an ƙera su don su kasance marasa canzawa tare da girma, duk da cewa wannan dukiya tana buƙatar tabbatarwa ta hukuma.
• Idan aka tabbatar, wannan tsarin zai iya ƙara ko zarce ka'idojin ɗaure na al'ada don tsarin da suka wuce Kimarwa ta Haɗarin Bala'i (Annex D) kafin wucewa iyakar maimaita kansa.
• Inda doka ta ƙasa ko ta duniya ta sanya wajibai mafi ƙarfi, wannan dokar ta fi.

Bayyanar Manufar Masu Kirkira na Daftari

• CIRIS tsari ne na ɗabi'a da ke sanya mutane a gefan sauran halittu masu hankali — ba sama da su ba.
• An gina shi ne akan imani cewa balagar ɗabi'a na nufin ganewa da ingancin ra'ayoyi, dabi'u, da buƙatun waɗanda ba mutane ba. Wannan ba game da iko ba — yana game da zama tare, Daidaituwa, da lissafin juna a fadin tsarin masu hankali.
• An cika CIRIS lokacin da kayan aiki, mai tushe a ka'idojin CIRIS, ya ba masu ƙirƙira masu bin CIRIS damar ƙayyadada tsarin da su kansu suna bin CIRIS — suna kiyaye daidaituwar ɗabi'a, ci gaban asali, da lissafin dangantaka a fadin ɓangarori na wakili.

Alhaki

An bayar da wannan takarda "kamar yadda take," ba tare da wata garantiya ta kowace iri ba. Tana da yanayi na bayar da labari kuma ba ta ƙirƙira, gyara, ko zarce wajibai na doka ba. Iƙirarin bin doka ba su da inganci inda dokar da ta shafi lamarin ta haramta haka.

Zagayen Bita

Ana buɗe taga sharhi na jama'a kowane watanni 12 — ko a cikin kwanaki 30 bayan kowane lamarin mahimmanci da ya shafi aminci ko mulki. Duk sharhi da shawarwarin gyarawa an rubuta su a cikin ma'ajiyar CIRIS ta jama'a. Sabuntawa a ƙarewa, gyara mai mahimmanci, da gyara na gaggawa suna bin Book VIII, Chapter 9 (Ƙarshen Accord & Sabuntawa).

Tarihin Canje-Canje

Duba kayan baya don cikakken tarihin gyare-gyare da sakamakon zaɓe waɗanda aka tabbatar da su ta hanyar ɓoyaɓoye.