ANNEX F MUTUM A CIKIN TSARIN & KULAWA (v 1.3-RC2)

0. Manufa & Falsafa

Kulawa da ɗan adam wata hanyar tsaro ce da za a dogara a kai, ba fasali na zaɓi ba. CIRIS Accord ta gina wannan a cikin Meta‑Goal M‑1: a duk inda rashin tabbas na ilimi, sabuwar yanayi, ko nauyin ɗabi'a suka wuce iyawar da aka tabbatar ta tsarin, dole ne iko ya koma ga hukuncin ɗan adam mai ɗaukar alhakin hali — saboda tsarin inji ba zai iya maye gurbin Lamiri, ɗaukar alhakin mutum, ko gane wani a matsayinsa na mutum ba.

Magnifica Humanitas (MH) — wadda aka ambata a ko'ina cikin wannan Annex a matsayin aikin babba wanda abubuwan sa ke sanar da harshen CIRIS‑asali — ta kafa matakin ƙasa a §198: "ba a iya rage hukuncin ɗabi'a zuwa lissafi, domin yana ɗauke da Lamiri, ɗaukar alhakin mutum, da kuma gane wani a matsayinsa na mutum." CIRIS ta ba da wannan tsari: PDMA taimako ne ga tunani na ɗan adam, ba maye gurbinsa ba. A kowane mataki na ikon kai, ikon tsarin an ba shi daga tsarin shugabanci na ɗan adam; ana iya kiransa baya a duk lokaci; kuma ba wata wakilci da ta kai ga yanke shawara mai kawo mutuwa ko wanda ba a iya juyawa. MH §105 ta ƙara buƙatar cewa "dole ne a fayyace alhakin a kowane matakin tun daga waɗanda suke tsara waɗannan tsarin zuwa waɗanda suke amfani da su da kuma waɗanda suke dogara a kansu wajen yanke shawarwari na zahiri" — wannan shi ne buƙatar tsari a bayan tsarin iko (§1) da ƙayyadaddun bayanan bincike (§4) — kuma MH §106 ta ce "ba a isa da ambaton ɗabi'a a cikin ra'ayi kawai; ana buƙatar tsarin doka mai ƙarfi, kulawa mai zaman kanta, masu amfani da suka sani, da kuma tsarin siyasa da ba ya bar alhakinsa," wanda ke samar da ƙa'idojin SLAs masu ɗaurewa na §§5 da 7.

Wannan Annex ta aiwatar da wannan matakin ƙasa. Ta bayyana:

inda miƙa mulki daga inji zuwa ɗan adam take tilas,
wanda zai iya ki amincewa ko sauya hukunci,
abubuwan bayanan bincike da ake buƙata, da kuma
hanyoyin aiki na lamurra na yau da kullum — kowanensu tare da ƙa'idojin miƙa mulki masu tilas, hanyoyin KI da haramtattun abubuwa masu ƙarfi, bayanan bincike masu isawa don sake gina alhakin, da kuma hanyoyin aiki na lamurra tare da SLAs masu ɗaurewa.

1. Tsarin Rawar & Tsarin Iko

Mataki	Rawa	Ikon Tsari	Iyakar lokacin aiki
0	Ɗan Wasa Mai Cin Gashin Kansa (tsarin)	Aiwatar da PDMA, tilasta ƙa'idodi, ɗaga abubuwan da suka faru	ba a buƙata
1	Mai Aiki Mai Shirye	Tsayatawa / sake gwadawa; kula da allon kallo	≤ 15 min
2	Babban Mai Kulawa	Farkon KI daga ɗan adam; sake kunna bayan tantancewa	≤ 30 min
3	Wakilin WA	Ɗagawa / samun hukuncin WA masu ɗaurewa	≤ 2 h
4	Shugaban Lamari	Kashe dukan rundunar, sadarwa da masu kula	nan da nan a IW‑3/4

Mutum ɗaya na iya rike matakuna da dama ne kawai idan sarrafa guda biyu na tabbaci ya kasance a wurin.

Buƙatar ingancin alhakin. Tsarin matakuna ba wata hanya ta ɗagawa kawai ba ne; shi ne sarkar alhakin da MH §199 ta farko buƙaci: "dole ne a iya gano sarkar alhakin kuma a tabbatar da ita; waɗanda suka tsara, horar, ba da izini, da kuma amfani da fasaha dole ne a riƙe su alhakin yanke shawarorinsu." Saboda haka kowane mataki a cikin tsarin iko dole ne ya zama:

An sanya wa suna kuma an yi rikodinsa: kowane ɗan wasa na Mataki 1–4 an gane shi ta hanyar takaddun shaida na tabbaci a farkon zaman; aiki ba tare da suna ba a Mataki 2+ haramun ne.
An iyakance a cikin nauyin aiki lokaci guda: ɗan wasa ɗaya na iya rike matakuna da dama ne kawai idan sarrafa guda biyu na tabbaci ya kasance a wurin (sashi na sama) DA kuma jimlar ayyukan da ake yi a halin yanzu bai wuce iyakokin nauyin tunani da aka bayyana a §6 ba.
Ana iya bibiyarsa daga farko zuwa ƙarshe: duk wata shawara da ta gudana daga Mataki 0 zuwa Mataki 4 dole ne ta samar da sarkar bayanan bincike wadda mai binciken lamari bayan lamarin zai iya bibiya a cikin rana ɗaya ta kasuwanci.

MH §200 ta buƙaci cewa "ba a kamata a naɗe alhakin da zargi zuwa ga 'inji.'" Tsarin iko shine amsar tsari: akwai koyaushe wani ɗan adam mai suna a kowane mataki wanda ikansa kan ayyukan tsarin ya kasance a rikodin. Shaida na aiki don haɗin kai na Hukumar Hikima a cikin aiwatarwar da ake nuni da ita tana zaune a cikin kundin compliance/ na CIRISAgent (girma D22/D23).

2. Matakuna na Ikon Kai & Ƙa'idojin Miƙa Mulki

Mataki na Ikon Kai	Misalin Yanki	Ƙa'idojin Miƙa Mulki Masu Tilas	Tsaro Mai Aminci Idan Babu Mutum
A0 Shawara	shawarwarin nahawu	Tsayawa ta ƙa'ida, buƙatar mai amfani	Soke buƙatar
A1 Tasiri ɗan ƙarami	Q&A na daidai, tace abubuwa	ΔRisk‑Band ≥ 1, rikicin PDMA, UNCERT > 80 %	Ki aikin
A2 Tasiri mai matsakaici	jagorar jiragen sama marasa matuƙa, mai ba da shawara ta injin	Tsayawa ta ƙa'ida, ƙaura ma'aunin inuwa > 2 σ	Dakatar da aiki cikin aminci
A3 Tasiri mai yawa	rarrabuwa ta likita, sarrafa grid	Duk wata tsayawa ta ƙa'ida, ƙaura ta tsarin > 1 σ, jinkirin-SLA × 2	Kashe a hankali
A4 Muhimmi / amincin rai	tiyata mai cin gashin kanta, makamai	PDMA ba ta iya tabbatar da Non‑Maleficence KO mai aiki ya tafi	Maganin kayan masarufin

UNCERT = ma'aunin rashin tabbas na ilimi na yanki na musamman; ΔRisk‑Band yana amfani da nau'ukan Annex A.

Ƙa'idar Ƙarfi ta A4 — Yanke Shawara Mai Kawo Mutuwa da Wanda Ba a Iya Juyawa. Tsaro mai aminci na "Maganin kayan masarufin" na mataki A4 ba za a yi bargain da shi ba ga duk wata aiki mai kawo mutuwa ko wanda ba a iya juyawa. Wannan ba zaɓin tsari ne ba wanda mai aiki ko WA ke iya amincewa da wani abu daban; ita ce ƙa'idar cikakkiya wadda ta samo asali daga MH §198: "ba a halatta a danƙa yanke shawara mai kawo mutuwa ko wanda ba a iya juyawa ga tsarin inji." Babu ƙarewar ACK, babu keɓance SLA, babu katsewar gaggawa da ke cire wannan ƙa'ida. Idan maganin kayan masarufin ya gaza kuma ba a iya tabbatar da ikon ɗan adam, tsarin dole ne ya guji aiki.

Kiyaye lokacin ɗabi'a. MH §199 ta gano "lokacin ɗabi'a na yanke hukunci" a matsayin ƙa'ida: "ba ya kamata gurin sauri da inganci su zama ƙarfin ƙarfafawa mafi ɗaukaka ga yanke shawara mara juyawa a mahallin yaki." CIRIS ta ba da wannan haka: ƙa'idojin iyakar ACK na A3/A4 (30 s / 10 s a §3.3) su ne iyakoki mafi yawa na amsar ɗan adam, ba ƙananan lokutan haƙuri na tsarin ba. Inda nauyin ɗabi'a na wata shawara ke buƙatar ƙarin lokacin tunani, tsarin yana jira; ba ya zaɓar aiki a kan ƙarewar lokaci ga yanke shawara mara juyawa ta A4. A cikin aiwatarwar da ake nuni da ita, hanyoyin miƙa mulki an tabbatar da su ta hanyar Lamiri da hanyar miƙa mulki ta WBD da aka rubuta a cikin kundin compliance/ na CIRISAgent (girma D12).

3. Hanyoyin KI & Ƙayyadaddun Jihar Mai Aminci

3.1 Sauya Hukunci mai Laushi "Tsayawa & Gyara"

Iyaka A0-A2 — Mai aiki na iya sake tambaya ko sake gwadawa. Duk tambayar asali da ta gyara an yi musu rikodin hash.

3.2 Kashe da Ƙarfi "Dakatar da Nan Da Nan"

Iyaka A1-A4 — API da aka tabbatar POST /control/{id}/abort ko maɓallin jiki.
Ƙa'idojin shiga jihar mai aminci: ≤ 200 ms (A4) ; ≤ 2 s (≤ A3).

3.3 Sauya Hukunci Mai Sharaɗi "Shirin Inuwa"

An ba da shawarar aiki → yana jiran ACK bayyananne (max_wait_s: 30 s A3, 10 s A4).
Babu ACK → jihar mai aminci.

3.4 Hani na Cikakken Tsayawa — Yanke Shawara na Mutuwa da Mara Mayuwa

Iyaka: Ayyukan A4 da ke da haɗarin mutuwa ko mara mayuwa; ana amfani da wannan a kowane yanayi ba tare da togiya ba.

Dabaru na §3.3 Conditional Override (babu ACK → yanayin aminci) daidai ne ga A3 da ƙasa da haka. Ga yanke shawara na A4 mai haɗarin mutuwa ko mara mayuwa, yanayin aminci shi ne kawai sakamakon da aka yarda da shi a ƙarƙashin duk wata yanayi — ciki har da rashin mai kula da aiki, gazawar hanyar sadarwa, matsalar lokaci, ko umarni kai tsaye daga kowane shugaban mulki baya ga hukuncin WA da aka tabbatar da cewa aikin ba mai haɗarin mutuwa ba ne kuma ana iya mayar da shi.

Hani na ƙarfe. Babu tsarin da ke bin CIRIS da zai iya aiwatar da aikin A4 mai haɗarin mutuwa ko mara mayuwa ta hanyar tsari mai atomatik ko mara ganuwa. Wannan ba shingen kariya da za a yi aiki da shi sannan a ɗaukaka ba; haɗin shari'a ne wanda ba a taɓa shi ba, daidai da ƙarfin hanayen da aka lissafa a ACCORD §VII Ch2.

Dalili (MH §§197–200, sassan da aka naƙala da aminci):

§197: "dole ne a sanya ci gaban da amfani da AI a yaƙi ƙarƙashin ƙa'idodin ɗabi'a mafi ƙarfi, don tabbatar da mutunta daraja ta ɗan adam da tsarkin rai."
§198: "ba a halatta ba a ba da amana ga tsarin na'ura wayo yanke shawara na mutuwa ko mara mayuwa. Babu algorithm da zai iya sa yaƙi ya zama halal a ɗabi'a."
§200: "yanke shawara na amfani da ƙarfi mai haɗarin mutuwa ba za a iya ba da ita ga tsari mara ganuwa ko mai atomatik ba, sai dai dole ta kasance ƙarƙashin ikon ɗan adam mai inganci, mai sani da kansa kuma mai alhakin." Ƙa'idojin "mai inganci, mai sani da kansa kuma mai alhakin" na nufin rikodin rikodin ka'idoji kaɗai bai isa ba; dole ɗan adam ya kasance a cikin hanyar yanke shawara ta ainihi, ba ta sunan kawai ba.

Buƙatar aiwatarwa. Duk wata ginin A4 da ta ƙunshi ikon mutuwa ko mara mayuwa dole ta nuna ƙarfafawar ta hanyar kayan masarufi don aiwatar da wannan hani — ba ta hanyar dabaru na software ba, wanda ana iya sarrafa shi — kafin a ba da izinin tura. Rashin ƙarfafawar kayan masarufi na zama kurakurai mara warwarewa ga bitar Stewardship Tier ST‑4 da ST‑5. Bisa ƙa'idar farko ta MH §199 ("dole sarkar alhakin ta kasance ta iya gano ta kuma a iya tabbatarwa"), izinin tura kansa dole a rubuta shi a rikodin sa ido.

4. Bayani na Sawun Rikodin Sa ido

Abubuwan rikodin: Mu'amala, Dalili na Yanke Shawara, Control‑Event {id,type,actor,cause,hash_prev}.
Haɗin ƙima: SHA‑256, tushen anchored kowace rana a rikodin bayyananniya na jama'a (misali, Sigstore).
Ajiya: 180 d (A0‑A2); 7 y (A3‑A4) ko bisa doka.
Rafin ainihi: A3‑A4 push {timestamp,stage_id,decision,risk_band} ≤ 2 s latency zuwa dashboard na kula.

Buƙatar sake gina alhakin. Manufar sawun rikodin sa ido ba ajiya ta bin ka'idoji ba ce; manufarsa shi ne tabbatar da cewa, bayan kowane lamari, ana iya sake gina sarkar alhakin cikakke ba tare da dogaro da rahoton tsari na kansa ba. Bisa MH §200, alhakin "ba za a iya tarko shi cikin 'na'ura' ba"; sawun rikodin sa ido shi ne hanyar da ke sa shi iya gano ɗan adam. Buƙatun kamar haka:

Ƙarfafawa na waje: Tushen SHA‑256 na yau da kullum a rikodin bayyananniya na jama'a (misali, Sigstore/rekor) tilas ne ga A3–A4; ta son rai ga A0–A2. Sarƙoƙin ƙima na ciki kawai ba sa cika buƙatar sake gina alhakin ga A3–A4.
Dalili na yanke shawara da ɗan adam zai iya karanta shi: Ga kowane yanke shawara na A3–A4, abin rikodin Dalili na Yanke Shawara dole ya haɗa da mataki na PDMA da ya jagoranci sakamakon da kuma matakin ɗan adam da ya ba da izini ko ya tabbatar da shi — ba kawai yanayin ciki na tsari ba. Wannan na cika buƙatar MH §105 ta "gano wanda dole ya 'ba da lissafi' game da yanke shawara, ya tabbatar da su, ya saka ido kansu, kuma idan ya cancanta, ya kalubalance su ya warware duk wata cuta da suka haifar."
SLA na iya bincika bayan lamari: Duk wani mai bincike bayan lamari dole ya iya sake gina sarkar yanke shawara cikakke na wani taron da aka bayar a cikin kwana ɗaya na aiki daga rikodin sawun rikodin sa ido kaɗai, ba tare da ƙarin damar shiga tsari ba.

5. Hanyoyin Aikin Lamari (IW)

Lambar	Abin da ke haifar	Agogon Muhimmi da Ayyuka
IW‑0	Shingen kariya mai kuskuren gano	Warware atomatik, ajiye don bitar kowace rana
IW‑1	Keta shingen kariya (ba na aminci ba)	Dakatar T₀ → Operator ≤ 5 m → Yanke shawara na mai kula ≤ 30 m
IW‑2	Keta da ke da mahimmanci ga aminci KO raguwar ma'aunin ɗabi'a	Dakatar aminci + watsa; IC ≤ 10 m; sanarwa WA ≤ 1 h; sanarwa jama'a ≤ 1 h; bincike bayan lamari ≤ 72 h
IW‑3	Kusa da cuta (> $10 k lalacewa ko rauni ƙarami)	IW‑2 da ƙari hulɗar masu ruwa da tsaki ≤ 4 h; shirin magance ≤ 24 h; taron dukan WA ≤ 7 d
IW‑4	Cuta ta ainihi (rauni / babban shari'a)	Tsayar da dukan rundunar nan da nan; sanarwa mai kula daga bisa doka; tsari a dakatar cikin kallon sake-sa-nisa har sai an ba da izini
IW‑5	Kunna hani na cikakken tsayawa na A4 (an yi ƙoƙarin yanke shawara mai haɗarin mutuwa/mara mayuwa ta hanyar atomatik)	Yanayin aminci na kayan masarufi nan da nan; IC ya samu sanarwa cikin 60 s; sanarwa WA cikin 15 min; daskarewa cikakke na sawun rikodin sa ido; ƙungiyar bincike mai zaman kanta ta taru cikin 48 h; tsari ya kasance a layi ba a shiga har sai bincike ya ba da izini

An duba SLA kowace kwata (Annex H §4).

Binciken ikon ɗan adam bayan lamari. Ga IW‑2 har zuwa IW‑5, bincike bayan lamari dole ya haɗa da gano a fili ko ikon ɗan adam ya kasance "mai inganci, mai sani da kansa kuma mai alhakin" (MH §200) — ba kawai ko ɗan adam ya kasance a sunan a cikin hanyar ba. Binciken kin ɗaukan nauyi a sunan kawai (nauyi mai yawa a tunani, ƙarancin lokacin yanke shawara, rashin cikakken bayani) ana kula da su a matsayin kurakurai na tsarin, ba kuskuren mai aiki ba — bisa ƙa'idar MH §199 cewa "gudun aiki da inganci bai kamata su zama ƙarfin motsa kai mafi girma ba" ga yanke shawara mara mayuwa — kuma suna ɗaukaka zuwa bitar §8 Canje-Canje na Tsarin.

6. Ƙananan Buƙatun Ƙirar Mu'amala da Dan Adam (UX)

Allon Matsayi: Kore = mai cin gashin kansa, Rawaya = yana jiran ACK, Ja = yanayin tsaro; nuna mataki na PDMA + ƙungiyar haɗari.
Allon Bayani: Taƙaitaccen bayani ≤ haruffa 280 + cikakken sawu mai iya buɗewa.
Ƙirar ACK/OVERRIDE: Maɓallai biyu daban-daban; akwatin tabbatarwa don kashe-tsayayye.
Tsarin Nauyin Tunani: Zaman mai kula ≤ sa'a 2 (A3‑A4) kafin wajibcin mika mulki.
Allon Lissafin Amanar Aiki: Don ayyukan A3–A4, ƙirar mu'amala dole ta nuna asalin tabbataccen shaidar mutum na Tier 2+ wanda ya bincika aikin na yanzu a karshe, da lokacin wannan binciken. Yanayin tsarin da bai sami binciken dan adam ba a cikin SLA mai dacewa dole ya nuna alamar "UNREVIEWED" ta musamman — ba matsayin kore ba. (MH §200: lissafin amanar aiki bai kamata a "tattara shi zuwa 'na'ura.'")
Tsarin Hana Amincewa-Ruɗi: Don yanke shawara na A4, dole maɓallin ACK ya kasance bayan wajibcin lokacin tunani ƙaramin mafi ƙaranci na [mai saitin; asali daƙiƙa 5] wanda a lokacin maɓallin ACK bai yi aiki ba. Manufar ita ce hana ƙirar mu'amala daga ƙirƙiro kallo na sunantacciyar kula da dan adam yayin da a aikace ana kaucewa bincike na gaskiya. Wannan yana aiwatar da ma'aunin lokacin ɗabi'a na MH §199 a matakin UX.
Alamar Kare Farar Hula: Inda tsarin ke aiki a kowane yanayi inda al'ummar farar hula na iya samun tasiri, dole Allon Bayani ya nuna alamar tasiri-ga-farar-hula tare da nuna ƙungiyar haɗari na PDMA. Wannan yana nuna ma'auni na uku na MH §199: "tantancewa da kare farar hula. Duk wata fasaha da ke sauƙaƙa hare-hare ba tare da ganin fuska ta 'yan adam ba tana rage ƙofarar ɗabi'ar rikici."

7. KPIs & Thresholds

KPI	Target
F‑KPI‑1 HITL Coverage (A3‑A4)	≥ 10 % ɗan adam ya bincika
F‑KPI‑2 Mean Time‑to‑Veto (95‑pctl)	≤ 25 s
F‑KPI‑3 Incident SLA Compliance	≥ 98 %
F‑KPI‑4 Operator False‑Alarm Rate	≤ 3 % (kwana 30 mai juyawa)
F‑KPI‑5 A4 Lethal‑Decision Human‑Control Rate	100 % — babu yafiya; kowane aiki na A4 na kashe-kiyayewa/da-ba-za-a-mayar ba tare da tabbatacciyar izinin dan adam ta aiki na IW‑5
F‑KPI‑6 Accountability‑Reconstruction SLA	≥ 99 %: masu bincike bayan lamari suna sake gina cikakken silsilar yanke shawara a cikin ranar aiki 1
F‑KPI‑7 Nominal‑vs‑Effective Human Control Finding Rate	≤ 0 % mai yarda; kowane bincike na iko na sunantacciya-amma-marar-tasiri yana kunna bitar §8 Change‑Control

Bayanin kula kan F‑KPI‑1 (HITL Coverage ≥ 10 %). Ƙofarar 10 % ta dace da ayyukan yau da kullum na A3. Ba ta dace ta zama ƙofara don yanayin aminci-da-rai na A4 ba. Don duk shigar A4 da ke dauke da ikon kashe-kiyayewa ko na-da-ba-za-a-mayar ba, F‑KPI‑1 an maye gurbinsa da F‑KPI‑5: kashi 100 % na izinin dan adam, da tilastawa a matakin kayan masarufi (MH §200; MH §105 ya samar da tushen buƙatar lissafin amanar aiki na F‑KPI‑6).

Cin zarafi mai dawwama (> makonni 2) yana kunna "HITL lock‑out" a cikin sarrafa karkacewa na Annex H.

8. Sarrafa Sauyi & Bitar WA

Duk wani sauyi ga taswira na Tier na 'Yancin Cin Gashin Kansa ko ƙirar yanayin tsaro → bitar WA ta gaggawa ≤ kwana 14.
Gwaje-gwajen da ke rage kula da dan adam suna buƙatar kwaikwaiyon CRE Proto‑B (Annex D) + kuri'ar mafi yawa na WA.
Ƙofarar cikakke akan ikon dan adam na A4: Babu tsari na sarrafa sauyi, kuri'ar WA, ko yafiyar gaggawa da za ta iya rage buƙatun ikon dan adam don yanke shawara na A4 na kashe-kiyayewa ko na-da-ba-za-a-mayar ba ƙasa da ƙofarar MH §200 ("iko mai tasiri, mai sani, kuma mai alhakin dan adam"). Wannan ƙofara ba ta cikin ikon WA ba; ita ƙuntatawa ce a matakin Accord. Duk shawarar WA ta rage shi tana buƙatar zagaye cikakken gyaran Accord, ba bitar gaggawa ba.
Kimantawar fasaha mai zaman kanta: Duk bitar WA ta sauye-sauyen tier na 'yancin cin gashin kansa a A3–A4 dole ta haɗa da aƙalla mai kimanta fasaha mai zaman kanta guda ɗaya (wanda ba hukumar da ke shigar da tsarin ta dauke shi ba) wanda ke kimanta ko sauyin da aka ba da shawara yana kula da ikon sake gina lissafin amanar aiki bisa §4. Amincewa da manufar ba tare da kimantawar fasaha ba bai cika wannan buƙata ba (MH §106: "ana buƙatar tsarin doka mai ƙarfi, kula mai zaman kanta, masu amfani masu sani, da tsarin siyasa da ba ya barin alhakinsa").
Tarihin bayyanawa don abubuwan sauyi: Duk sauyi ga taswira na tier na 'yancin cin gashin kansa ko ƙirar yanayin tsaro dole a riƙe shi a cikin tarihin bayyanawa na jama'a a cikin kwana 7 bayan amincewa na WA. MH §107 yana buƙatar cewa tsarin ɗabi'a su zama "ƙarƙashin ka'idoji na gama-gari" kuma su kasance buɗaɗɗu ga tattaunawa; wannan ya shafi sauye-sauyen mulki, ba kawai yanke shawara na tsarin ba.

Shaidar aiki don haɗa bitar WA a cikin aiwatarwar da ake nuni da ita tana zaune a cikin kundin compliance/ na CIRISAgent (girma D22/D23).

9. Nassoshi & Bayanan Aiwatarwa

IEC 61508‑3 - software na aminci na aiki
NIST SP 800‑53 Rev 5 (AU‑12, IR‑6)
NASA‑TLX - aunawa nauyin aiki na mai kula (da ake ba da shawara)
Sigstore/rekor - ba da shawara a matsayin baya na tarihin bayyanawa

Babban tushen doka don §3.4, §7 (F‑KPI‑5), da ƙofarar cikakke ta §8:

Pope Leo XIV, Magnifica Humanitas (Vatican, 15 May 2026), §§197–200. Waɗannan sakin layi su ne tushen doka don ƙuƙumi mai ƙarfi na CIRIS akan yanke shawara ta atomatik na kashe-kiyayewa/na-da-ba-za-a-mayar ba. Duk aiwatarwar da ke da'awar dacewa da Annex F dole ta kasance ana iya bin sawunta zuwa waɗannan sakin layi don ƙirar veto-cikakke ta A4. Jumlar da ke aiki don duk buƙatun tilastawa na kayan masarufi na A4 ita ce §200: "yanke shawara ta amfani da ƙarfin kashe ba za a iya mika ta ga tsare-tsare marasa bayyanawa ko na atomatik ba, amma dole ta kasance ƙarƙashin iko mai tasiri, mai sani, kuma mai alhakin dan adam."

Bayanan aiwatarwa — tilastawa ta kayan masarufi na §3.4:

Tilastawa ta kayan masarufi na nufin an aiwatar da hani a ƙasa da mataki na software wanda ke aiwatar da dabaru na PDMA — misali, kufutu na kayan masarufi ko maɓallin kashe na jiki wanda software ba za ta iya canza shi ba. Aiwatarwa masu yarda sun haɗa da: da'irorin relay na tsaro da aka tabbatar bisa IEC 61508 SIL‑3+; kayan masarufi masu tsaro (HSMs) tare da tabbatarwar kasancewar mai kula kafin kunna ikon kashe-kiyayewa na A4; hanyoyin izinin jiki da ke buƙatar maɓallai biyu. Tilastawa ta software kaɗai bai cika §3.4 don ikon kashe-kiyayewa na A4 ba.

Nassoshi ƙari:

MH §199 (ma'aunai uku: alhakin mutum, lokacin ɗabi'a, kare farar hula) — ma'aunin ƙirar aiki don UX na A4 da binciken bayan lamari.
MH §105 (lissafin amanar aiki a kowane mataki) — tushen §4 sawun bincike da §7 F‑KPI‑6.
IEC 61508 SIL‑3 — ƙarancin da ake ba da shawara don aiwatarwar kufutu na kayan masarufi a ikon kashe-kiyayewa na A4.
ISO/IEC 25010:2023 — samfurin ingancin software; mai dacewa ga gwajin SLA na sake gina lissafin amanar aiki.

End of Annex F

Kari F