Skip to content

Validation: every test case, run through the engine

Each row is one case run for one school. The server runs every case through the engine and checks it as the command-line oracle does: the shares against the answer in the cited text, the ʿawl and radd flags, the exact total, the trace replay and the arḥām rules. Open any case in the calculator to see the full working.

407 of 407 school runs pass

Engine version 0.3.0-sunni4

Case names and sources are given in English with Arabic transliteration in every language.

The command-line oracle also runs cross-school comparison checks and a relation-parity check, which are not listed here.

CaseSchoolExpectedComputedResultSource
wife + sonḤanafī Wife Son Wife Son PassQurʾān 4:11; 4:12
husband + 2 daughters + father (awl)Ḥanafī Husband Daughter Father Husband Daughter Father Passal-Sirājiyya, bāb al-ʿawl
husband, no childḤanafī Husband Full brother Husband Full brother PassQurʾān 4:12; al-Sirājiyya, bāb al-ʿaṣabāt
wife + son + daughterḤanafī Wife Son Daughter Wife Son Daughter PassQurʾān 4:11; 4:12
husband + granddaughter + full brother [hanafi]Ḥanafī Husband Son's daughter Full brother Husband Son's daughter Full brother Passal-Sirājiyya, bāb maʿrifat al-furūḍ wa-mustaḥiqqīhā; al-Sirājiyya, bāb al-ʿaṣabāt
wife + grandson [hanafi]Ḥanafī Wife Son's son Wife Son's son PassQurʾān 4:12; al-Sirājiyya, bāb al-ʿaṣabāt
husband + grandson + granddaughter [hanafi]Ḥanafī Husband Son's son Son's daughter Husband Son's son Son's daughter PassQurʾān 4:12; al-Sirājiyya, bāb al-ʿaṣabāt
wife + 2 granddaughters + father [hanafi]Ḥanafī Wife Son's daughter Father Wife Son's daughter Father Passal-Sirājiyya, bāb maʿrifat al-furūḍ wa-mustaḥiqqīhā; al-Sirājiyya, bāb al-ʿaṣabāt
father + mother + sonḤanafī Father Mother Son Mother Father Son PassQurʾān 4:11
mother + daughter (radd)Ḥanafī Mother Daughter Mother Daughter Passal-Sirājiyya, bāb al-radd
father + daughter (father 1/6 + residue)Ḥanafī Daughter Father Daughter Father PassQurʾān 4:11; al-Sirājiyya, bāb al-ʿaṣabāt
Umariyya — husband + father + motherḤanafī Husband Mother Father Husband Mother Father Passal-Sirājiyya, al-ʿUmariyyatān
Umariyya — wife + father + motherḤanafī Wife Mother Father Wife Mother Father Passal-Sirājiyya, al-ʿUmariyyatān
Awl — husband + 2 full sisters (6→7)Ḥanafī Husband Full sister Husband Full sister Passal-Sirājiyya, bāb al-ʿawl
Awl — husband + mother + 2 full sisters (6→8)Ḥanafī Husband Mother Full sister Husband Mother Full sister Passal-Sirājiyya, bāb al-ʿawl
residuary heir shown at zero on ʿawlḤanafī Husband Mother Daughter Husband Mother Daughter Full brother Passal-Sirājiyya, bāb al-ʿawl
paternal brother shown blocked by a full brother next to a daughterḤanafī Daughter Full brother Daughter Full brother Paternal brother Passal-Sirājiyya, bāb al-ʿaṣabāt
paternal brother shown blocked by full sister maʿa al-ghayrḤanafī Daughter Full sister Daughter Full sister Paternal brother Passal-Sirājiyya, bāb al-ʿaṣabāt
2 maternal siblings share 1/3 equallyḤanafī Husband Maternal brother Maternal sister Full brother Husband Maternal brother Maternal sister Full brother PassQurʾān 4:12; al-Sirājiyya, bāb al-ʿaṣabāt
full sister residuary with daughterḤanafī Daughter Full sister Daughter Full sister Passal-Sirājiyya, bāb al-ʿaṣabāt
full sister 1/2 + paternal sister 1/6, then raddḤanafī Full sister Paternal sister Full sister Paternal sister PassQurʾān 4:176; al-Sirājiyya, bāb al-radd
son + son blocks grandson; wifeḤanafī Wife Son Son's son Wife Son Son's son Passal-Sirājiyya, bāb al-ḥajb
daughter + granddaughter (takmila) + paternal grandmother, then raddḤanafī Daughter Son's daughter Father's mother Father's mother Daughter Son's daughter Passal-Sirājiyya, bāb al-radd
sole daughter takes all (radd)Ḥanafī Daughter Daughter Passal-Sirājiyya, bāb al-radd
son alone takes allḤanafī Son Son Passal-Sirājiyya, bāb al-ʿaṣabāt
2 wives + son (wives share 1/8)Ḥanafī Wife Son Wife Son PassQurʾān 4:12
mother + father, no spouse/childḤanafī Mother Father Mother Father PassQurʾān 4:11
grandfather acts as father (with son)Ḥanafī Father's father Mother Son Mother Father's father Son Passal-Sirājiyya, bāb maʿrifat al-furūḍ wa-mustaḥiqqīhā
full brother is residuary alongside a daughterḤanafī Husband Daughter Full brother Husband Daughter Full brother Passal-Sirājiyya, bāb al-ʿaṣabāt
Ḥanafī: grandfather blocks the full brotherḤanafī Father's father Father's father Full brother Passal-Sirājiyya, bāb al-jadd
Ḥanafī: daughter + grandfather + full brother (grandfather blocks)Ḥanafī Daughter Father's father Daughter Father's father Full brother Passal-Sirājiyya, bāb al-jadd
Ḥanafī: grandfather blocks full and paternal siblings alikeḤanafī Father's father Father's father Full sister Paternal brother Passal-Sirājiyya, bāb al-jadd
Ḥanafī: same shape, full brother takes nothing (no mushtaraka)Ḥanafī Husband Mother Maternal brother Husband Mother Maternal brother Full brother Passal-Sirājiyya, al-Ḥimāriyya
ʿawl 6→9: husband + mother + 2 full sisters + uterine brother [hanafi]Ḥanafī Husband Mother Full sister Maternal brother Husband Mother Maternal brother Full sister Passal-Sirājiyya, bāb al-ʿawl
ʿawl 6→10: husband + mother + 2 full sisters + 2 uterine brothers [hanafi]Ḥanafī Husband Mother Full sister Maternal brother Husband Mother Maternal brother Full sister Passal-Sirājiyya, bāb al-ʿawl
ʿawl 12→17: wife + mother + 2 full sisters + 2 uterine brothers [hanafi]Ḥanafī Wife Mother Full sister Maternal brother Wife Mother Maternal brother Full sister Passal-Sirājiyya, bāb al-ʿawl
ʿawl 24→27 (al-Minbariyya): wife + 2 daughters + father + mother [hanafi]Ḥanafī Wife Daughter Father Mother Wife Mother Daughter Father Passal-Sirājiyya, bāb al-ʿawl
radd: mother + daughter (Ḥanafī/Ḥanbalī) [hanafi]Ḥanafī Mother Daughter Mother Daughter PassIbn ʿĀbidīn, Radd al-Muḥtār 6/764 shamela:21613/4206; al-Buhūtī, Kashshāf al-Qināʿ 10/388 shamela:622/4800
radd skips the spouse: husband + mother [hanafi]Ḥanafī Husband Mother Husband Mother PassIbn ʿĀbidīn, Radd al-Muḥtār 6/764 shamela:21613/4206; al-Buhūtī, Kashshāf al-Qināʿ 10/388 shamela:622/4800
radd: paternal grandmother + uterine sister [hanafi]Ḥanafī Father's mother Maternal sister Father's mother Maternal sister PassIbn ʿĀbidīn, Radd al-Muḥtār 6/764 shamela:21613/4206; al-Buhūtī, Kashshāf al-Qināʿ 10/388 shamela:622/4800
radd skips the spouse: wife + daughter + mother [hanafi]Ḥanafī Wife Daughter Mother Wife Mother Daughter PassIbn ʿĀbidīn, Radd al-Muḥtār 6/764 shamela:21613/4206; al-Buhūtī, Kashshāf al-Qināʿ 10/388 shamela:622/4800
sole wife: later Ḥanafī return the surplus to herḤanafī Wife Wife PassIbn ʿĀbidīn, Radd al-Muḥtār 6/788 shamela:21613/4230
sole husband: later ḤanafīḤanafī Husband Husband PassIbn ʿĀbidīn, Radd al-Muḥtār 6/788 shamela:21613/4230
great-grandson alone [hanafi]Ḥanafī Great-grandson Great-grandson Passal-Sirājiyya, bāb al-ʿaṣabāt
daughter + great-grandson [hanafi]Ḥanafī Daughter Great-grandson Daughter Great-grandson Passal-Sirājiyya, bāb al-ʿaṣabāt
2 daughters + granddaughter + great-grandson (al-qarīb al-mubārak) [hanafi]Ḥanafī Daughter Son's daughter Great-grandson Daughter Great-grandson Son's daughter Passal-Sirājiyya, faṣl fī al-nisāʾ
daughter + granddaughter + great-granddaughter (blocked; radd) [hanafi]Ḥanafī Daughter Son's daughter Daughter Son's daughter Great-granddaughter Passal-Sirājiyya, faṣl fī al-nisāʾ
granddaughter + great-granddaughter (takmila one level down; radd) [hanafi]Ḥanafī Son's daughter Great-granddaughter Son's daughter Great-granddaughter Passal-Sirājiyya, faṣl fī al-nisāʾ
daughter + great-granddaughter (takmila skips the empty level; radd) [hanafi]Ḥanafī Daughter Great-granddaughter Daughter Great-granddaughter Passal-Sirājiyya, faṣl fī al-nisāʾ
daughter + 2 great-granddaughters (shared takmila; radd) [hanafi]Ḥanafī Daughter Great-granddaughter Daughter Great-granddaughter Passal-Sirājiyya, faṣl fī al-nisāʾ
2 granddaughters + great-granddaughter + great-grandson [hanafi]Ḥanafī Son's daughter Great-granddaughter Great-grandson Son's daughter Great-grandson Great-granddaughter Passal-Sirājiyya, faṣl fī al-nisāʾ
daughter + granddaughter + great-granddaughter + great-grandson [hanafi]Ḥanafī Daughter Son's daughter Great-granddaughter Great-grandson Daughter Son's daughter Great-grandson Great-granddaughter Passal-Sirājiyya, faṣl fī al-nisāʾ
grandson blocks great-granddaughter [hanafi]Ḥanafī Son's son Son's son Great-granddaughter Passal-Sirājiyya, bāb al-ḥajb
son blocks great-grandson [hanafi]Ḥanafī Son Great-grandson Son Great-grandson Passal-Sirājiyya, bāb al-ḥajb
grandson + granddaughter + great-grandson [hanafi]Ḥanafī Son's son Son's daughter Great-grandson Son's son Son's daughter Great-grandson Passal-Sirājiyya, bāb al-ʿaṣabāt
granddaughter ½ + great-grandson [hanafi]Ḥanafī Son's daughter Great-grandson Son's daughter Great-grandson Passal-Sirājiyya, bāb al-ʿaṣabāt
father + great-grandson [hanafi]Ḥanafī Father Great-grandson Father Great-grandson Passal-Sirājiyya, bāb al-farḍ (the father)
wife + great-granddaughter + full brother [hanafi]Ḥanafī Wife Great-granddaughter Full brother Wife Great-granddaughter Full brother Passal-Sirājiyya, bāb al-ʿaṣabāt
great-grandson shown at zero on ʿawl [hanafi]Ḥanafī Husband Father Mother Daughter Great-grandson Husband Mother Daughter Father Great-grandson Passal-Sirājiyya, bāb al-ʿawl
great-granddaughter breaks al-Mushtaraka [hanafi]Ḥanafī Husband Mother Great-granddaughter Full brother Husband Mother Great-granddaughter Full brother Maternal brother Passal-Sirājiyya, bāb al-ḥajb
Ḥanafī: great-granddaughter + grandfather + full brotherḤanafī Great-granddaughter Father's father Great-granddaughter Father's father Full brother Passal-Sirājiyya, bāb al-jadd
full brother blocks full nephew [hanafi]Ḥanafī Full brother Full brother Full nephew Passal-Sirājiyya, bāb al-ʿaṣabāt
full sister (fard) + full nephew [hanafi]Ḥanafī Full sister Full nephew Full sister Full nephew Passal-Sirājiyya, bāb al-ʿaṣabāt
full sister maʿa al-ghayr blocks paternal brother and nephew [hanafi]Ḥanafī Daughter Full sister Daughter Full sister Paternal brother Full nephew Passal-Sirājiyya, bāb al-ʿaṣabāt
full nephews before the paternal nephew [hanafi]Ḥanafī Full nephew Paternal nephew Full nephew Paternal nephew Passal-Sirājiyya, bāb al-ʿaṣabāt
paternal nephew before full uncle [hanafi]Ḥanafī Paternal nephew Paternal nephew Full paternal uncle Passal-Sirājiyya, bāb al-ʿaṣabāt
wife + full uncle + paternal uncle + full cousin [hanafi]Ḥanafī Wife Full paternal uncle Wife Full paternal uncle Paternal half-uncle Full cousin Passal-Sirājiyya, bāb al-ʿaṣabāt
paternal uncle before full cousin [hanafi]Ḥanafī Paternal half-uncle Full cousin Paternal half-uncle Full cousin Passal-Sirājiyya, bāb al-ʿaṣabāt
daughter + full uncle + full cousin [hanafi]Ḥanafī Daughter Full paternal uncle Full cousin Daughter Full paternal uncle Full cousin Passal-Sirājiyya, bāb al-ʿaṣabāt
daughter + paternal sister + full uncle [hanafi]Ḥanafī Daughter Paternal sister Full paternal uncle Daughter Paternal sister Full paternal uncle Passal-Sirājiyya, bāb al-ʿaṣabāt
daughter + father + full uncle [hanafi]Ḥanafī Daughter Father Full paternal uncle Daughter Father Full paternal uncle Passal-Sirājiyya, bāb al-ʿaṣabāt
mother + paternal cousin [hanafi]Ḥanafī Mother Paternal cousin Mother Paternal cousin Passal-Sirājiyya, bāb al-ʿaṣabāt
mother + 2 full sisters + full cousin (no ʿawl) [hanafi]Ḥanafī Mother Full sister Full cousin Mother Full sister Full cousin Passal-Sirājiyya, bāb al-ʿaṣabāt
husband + full sister + paternal uncle (uncle at zero) [hanafi]Ḥanafī Husband Full sister Paternal half-uncle Husband Full sister Paternal half-uncle Passal-Sirājiyya, bāb al-ʿaṣabāt
uncle shown at zero on ʿawl: husband + 2 full sisters + full uncle [hanafi]Ḥanafī Husband Full sister Full paternal uncle Husband Full sister Full paternal uncle Passal-Sirājiyya, bāb al-ʿawl
2 full sisters + paternal sister + full nephew [hanafi]Ḥanafī Full sister Full nephew Full sister Full nephew Paternal sister Passal-Sirājiyya, bāb al-ʿaṣabāt
grandfather blocks the nephew (all schools) [hanafi]Ḥanafī Father's father Father's father Full nephew Passal-Sirājiyya, bāb al-ʿaṣabāt
Ḥanafī: grandfather + full brother + full nephewḤanafī Father's father Full brother Full nephew Father's father Full brother Full nephew Passal-Sirājiyya, bāb al-jadd
Ḥanafī: grandfather + full sister + paternal brother + full nephewḤanafī Father's father Father's father Full sister Paternal brother Full nephew Passal-Sirājiyya, bāb al-jadd
no Mushtaraka: full brother and cousin both at zero [hanafi]Ḥanafī Husband Mother Maternal brother Full brother Full cousin Husband Mother Maternal brother Full cousin Full brother Passal-Sirājiyya, al-Ḥimāriyya
no Mushtaraka: full and paternal brother at zero [hanafi]Ḥanafī Husband Mother Maternal brother Full brother Paternal brother Husband Mother Maternal brother Paternal brother Full brother Passal-Sirājiyya, al-Ḥimāriyya
no Mushtaraka: full brother, paternal brother and sister at zero [hanafi]Ḥanafī Husband Mother Maternal brother Full brother Paternal brother Paternal sister Husband Mother Maternal brother Paternal brother Paternal sister Full brother Passal-Sirājiyya, al-Ḥimāriyya
paternal brother only: no Mushtaraka, ʿaṣaba at zero [hanafi]Ḥanafī Husband Mother Maternal brother Paternal brother Husband Mother Maternal brother Paternal brother Passal-Sirājiyya, al-Ḥimāriyya
Umariyya with one blocked brother: husband + father + mother + full brother [hanafi]Ḥanafī Husband Mother Father Husband Mother Father Full brother Passal-Sirājiyya, al-ʿUmariyyatān
Umariyya with paternal grandmother + uncle: wife + father + mother [hanafi]Ḥanafī Wife Mother Father Wife Mother Father Father's mother Full paternal uncle Passal-Sirājiyya, al-ʿUmariyyatān
Umariyya with grandfather + maternal grandmother + uterine sister: wife + father + mother [hanafi]Ḥanafī Wife Mother Father Father's father Mother's mother Maternal sister Wife Mother Father Father's father Mother's mother Maternal sister Passal-Sirājiyya, al-ʿUmariyyatān
Umariyya with a cousin: husband + father + mother [hanafi]Ḥanafī Husband Mother Father Husband Mother Father Full cousin Passal-Sirājiyya, al-ʿUmariyyatān
two brothers end the Umariyya: wife + father + mother + 2 full brothers [hanafi]Ḥanafī Wife Mother Father Wife Mother Father Full brother Passal-Sirājiyya, al-ʿUmariyyatān
arḥām excluded beside a residuary [hanafi]Ḥanafī Full brother Full brother Daughter's son Passal-Sirājiyya, bāb dhawī al-arḥām
arḥām excluded beside a fard heir (radd first) [hanafi]Ḥanafī Mother Mother Maternal uncle Passal-Sirājiyya, bāb al-radd
arḥām excluded beside a spouse and a fard heir [hanafi]Ḥanafī Wife Mother Paternal aunt Wife Mother Paternal aunt Passal-Sirājiyya, bāb al-radd
qarāba: daughter’s son + daughter’s daughter (2:1)Ḥanafī Daughter's son Daughter's daughter Daughter's son Daughter's daughter Passal-Sirājiyya, bāb dhawī al-arḥām; Ibn ʿĀbidīn, Radd al-Muḥtār 6/792–797 shamela:21613
qarāba: daughter’s son + 2 daughter’s daughtersḤanafī Daughter's son Daughter's daughter Daughter's son Daughter's daughter Passal-Sirājiyya, bāb dhawī al-arḥām; Ibn ʿĀbidīn, Radd al-Muḥtār 6/792–797 shamela:21613
qarāba: descendants firstḤanafī Daughter's daughter Daughter's daughter Sister's son Maternal grandfather Passal-Sirājiyya, bāb dhawī al-arḥām; Ibn ʿĀbidīn, Radd al-Muḥtār 6/792–797 shamela:21613
qarāba: maternal grandfather before sister’s sonḤanafī Maternal grandfather Maternal grandfather Sister's son Passal-Sirājiyya, bāb dhawī al-arḥām; Ibn ʿĀbidīn, Radd al-Muḥtār 6/792–797 shamela:21613
qarāba: sister’s children before auntsḤanafī Sister's son Sister's daughter Sister's son Sister's daughter Maternal aunt Passal-Sirājiyya, bāb dhawī al-arḥām; Ibn ʿĀbidīn, Radd al-Muḥtār 6/792–797 shamela:21613
qarāba: paternal aunt ⅔, maternal uncle + aunt ⅓ at 2:1Ḥanafī Paternal aunt Maternal uncle Maternal aunt Paternal aunt Maternal uncle Maternal aunt Passal-Sirājiyya, bāb dhawī al-arḥām; Ibn ʿĀbidīn, Radd al-Muḥtār 6/792–797 shamela:21613
qarāba: 2 paternal aunts aloneḤanafī Paternal aunt Paternal aunt Passal-Sirājiyya, bāb dhawī al-arḥām; Ibn ʿĀbidīn, Radd al-Muḥtār 6/792–797 shamela:21613
qarāba: wife + daughter’s daughter (wife ¼, no reduction)Ḥanafī Wife Daughter's daughter Wife Daughter's daughter Passal-Sirājiyya, bāb dhawī al-arḥām; Ibn ʿĀbidīn, Radd al-Muḥtār 6/792–797 shamela:21613; al-Fatāwā al-Hindiyya 6/459 shamela:21640/3186; Ibn Nujaym, al-Baḥr al-Rāʾiq 8/578 shamela:12227/3109
qarāba: husband + maternal auntḤanafī Husband Maternal aunt Husband Maternal aunt Passal-Sirājiyya, bāb dhawī al-arḥām; Ibn ʿĀbidīn, Radd al-Muḥtār 6/792–797 shamela:21613; al-Fatāwā al-Hindiyya 6/459 shamela:21640/3186; Ibn Nujaym, al-Baḥr al-Rāʾiq 8/578 shamela:12227/3109
qarāba: wife + maternal aunt (arḥām before the spouse’s radd)Ḥanafī Wife Maternal aunt Wife Maternal aunt Passal-Sirājiyya, bāb dhawī al-arḥām; Ibn ʿĀbidīn, Radd al-Muḥtār 6/792–797 shamela:21613; al-Fatāwā al-Hindiyya 6/459 shamela:21640/3186; Ibn Nujaym, al-Baḥr al-Rāʾiq 8/578 shamela:12227/3109
arḥām shown excluded in the ʿUmariyyatān [hanafi]Ḥanafī Husband Mother Father Maternal aunt Paternal aunt Husband Mother Father Maternal aunt Paternal aunt Passal-Sirājiyya, al-ʿUmariyyatān
arḥām shown excluded beside descendants [hanafi]Ḥanafī Son Daughter's son Daughter's daughter Son Daughter's son Daughter's daughter Passal-Sirājiyya, bāb dhawī al-arḥām
arḥām shown excluded on ʿawl [hanafi]Ḥanafī Husband Full sister Maternal grandfather Husband Full sister Maternal grandfather Passal-Sirājiyya, bāb al-ʿawl
husband + wife → invalid input [hanafi]Ḥanafī needs a scholar's review (invalid-input) needs a scholar's review (invalid-input)Passinput validation (not a fiqh ruling)
two mothers → invalid inputḤanafī needs a scholar's review (invalid-input) needs a scholar's review (invalid-input)Passinput validation (not a fiqh ruling)
two maternal grandfathers → invalid input [hanafi]Ḥanafī needs a scholar's review (invalid-input) needs a scholar's review (invalid-input)Passinput validation (not a fiqh ruling)

Related

Calculate your own case MethodologySourcesThe verses