Methodology

How a flag is decided

Sharia Check keeps judgement and verdict apart. A language model answers narrow yes/no questions about the wording of each clause and gives a probability. A fixed lookup turns those answers into red, amber or green. The same answers always give the same flag, and you can see every answer behind every flag.

  1. 01

    Split

    The pack is split into clauses, keeping numbering, headings and sections (“DCA 5.2”), and glossary tables become definitions.

  2. 02

    Narrow

    Weighted keyword lists put each clause into zero or more of ten topics. Clauses with no topic are listed in the report but not tested.

  3. 03

    Judge

    Each clause is asked only the tests for its topics, and only those whose keyword gate matches. The model returns P(yes) for each.

  4. 04

    Cross-check

    Checks that need two clauses run in code over the strongest answers anywhere in the pack.

  5. 05

    Decide

    Each answer is banded by probability and looked up in the table below. A clause takes its worst finding.

  6. 06

    Explain

    Each test has a plain-English reason and a question for your provider, written in advance by people, not generated on the fly.

The verdict lookup

Each test says what a “yes” would mean. The probability band decides how far that counts. Some findings are lowered one level when the pack also contains a mitigating clause, for example a late-payment charge that goes to charity, or “absolute” rent that another clause stops if the home is destroyed. A lowered finding says so in the report.

A “yes” meansProbabilityFlag
redP ≥ 0.7red
red0.45 ≤ P < 0.7amber
amberP ≥ 0.7amber
amber0.45 ≤ P < 0.7shown, not flagged
greenP ≥ 0.7green
green0.45 ≤ P < 0.7shown, not flagged
AnyP < 0.45not flagged

How well the tests work

Measured on 126 clause-and-test pairs (48 true) from a real UK bank's published 60-page home purchase plan terms, which were never used for training. Flags count at the deployed threshold (P ≥ 0.70). This is one pack, so treat it as a first measurement; one training example was written after reading that pack, which may flatter the result slightly.

81%
Accuracy
untuned model: 62%
71%
Precision of flags
untuned model: 50%
83%
Recall of real issues
untuned model: 63%
91%
Ranking quality (AUC)
untuned model: 68%

Checks across clauses

redAAOIFI SS12

Called a partnership, but you carry the losses

Pack describes musharaka or co-ownership AND a clause makes you pay any shortfall on sale

redAAOIFI SS12 3/1/6/2

Called a partnership, but the share is bought back at cost

Musharaka AND the financier’s share is priced at its original cost or the finance balance AND no market-value pricing anywhere

redAAOIFI SS12

Gains shared, losses not

Musharaka AND market-value buy-out AND you cover shortfalls

greenAAOIFI SS12

Partnership with a market-value buy-out

Musharaka AND market-value buy-out AND no shortfall clause

amberAAOIFI SS9

You pay all the insurance on a home the financier owns

You insure the property AND the financier holds title or a share AND nothing shows it paying its part

redAAOIFI SS9 / SS12

Owner on paper, with none of an owner’s risks

Financier owns AND you pay insurance AND structural repairs AND it is repaid in full on total loss or at cost

amberAAOIFI SS9

Rent follows an interest rate with no limit

Rent linked to an interest-rate benchmark AND no cap or floor anywhere in the pack

redAAOIFI SS3 2/1/8

Late-payment charges with no charity undertaking

A late-payment charge AND no clause sending it to charity

Every test

54 tests across 10 topics. The question in bold is exactly what the model is asked about each clause.

Late payment · 9 tests
  • Fact (cross-checks)AAOIFI SS3

    Does this clause make the customer pay an extra amount, on top of the sum owed, when a payment is late or missed?

    The clause adds a charge when a payment is late.

  • Red if trueAAOIFI SS3 2/1/2

    Is the late-payment amount worked out as a percentage of the overdue sum, or does it grow for each day the payment stays unpaid?

    The late-payment amount grows with the arrears and the time they stay unpaid, which is how interest works. AAOIFI SS3 does not allow the financier to earn compensation for delay.

  • Red if trueAAOIFI SS3 2/1/2

    Does the financier keep the late-payment amount, or any part of it, for its own benefit?

    The financier keeps the money it charges for late payment. AAOIFI SS3 allows the financier to recover its actual collection costs, but not to profit from the delay.

  • Green if trueAAOIFI SS3 2/1/8

    Does the clause say that late-payment amounts are given to charity instead of being kept by the financier?

    Late-payment amounts are given to charity, which is the arrangement AAOIFI SS3 allows.

  • Amber if trueAAOIFI SS3 2/1/2

    Does the financier keep part of the late-payment amount to cover its own losses caused by the delay, and give only the rest to charity?

    Keeping an amount for "losses caused by the delay" is compensation for late payment, which AAOIFI SS3 rules out. Only the actual costs of recovering the debt are allowed.

  • Green if trueAAOIFI SS3 2/1/4

    Does the clause make the customer pay only the actual costs and legal expenses of recovering overdue money?

    Charging the actual cost of chasing arrears is allowed under AAOIFI SS3.

  • Amber if trueAAOIFI SS3 2/1/2

    Is a fixed fee charged each time a payment is missed or late, such as an arrears or administration fee?

    A set fee for each missed payment is only acceptable if it matches the real cost of handling the arrears. If it works as a penalty the financier keeps, it conflicts with AAOIFI SS3.

  • Red if trueAAOIFI SS3 2/1/2

    Is a further late charge worked out on amounts that already include earlier late charges, so the charges build on each other?

    Charging on top of earlier late charges compounds the penalty, the same way interest compounds. AAOIFI SS3 does not allow any charge for delay to accrue to the financier.

  • Red if trueAAOIFI SS3 2/1/2

    Does the rent, profit rate or margin go up because the customer has paid late or defaulted?

    Raising the rent or rate because of late payment increases what you owe as a price for the delay, which AAOIFI SS3 and SS9 forbid.

Default and enforcement · 6 tests
  • Fact (cross-checks)AAOIFI SS3 2/1/6

    If the customer misses a payment or breaks the agreement, can the financier demand everything outstanding at once?

    On default the financier can call in the whole balance. AAOIFI SS3 allows this.

  • Amber if trueAAOIFI SS3 2/1/6

    Can the full amount be demanded straight away, without first giving the customer notice and a reasonable time to pay?

    AAOIFI SS3 allows the whole balance to fall due on default, but prefers that this happens only after notice and at least two weeks to pay.

  • Red if trueAAOIFI SS12 3/1/6/2

    If there is a default or the agreement ends early, must the customer buy the financier's remaining share for the outstanding finance amount or its original price, whatever the property is then worth?

    Making you buy the financier's share back at its original cost on default locks in the financier's capital. AAOIFI SS12 does not allow a partner to promise to buy the other's share at face value; it should be market value or a price agreed at the time.

  • Red if trueAAOIFI SS12

    If the property is sold for less than the financier is owed, or less than the value of its share, must the customer pay the shortfall?

    In a real partnership a fall in value is shared in proportion to ownership. Putting the whole shortfall on you breaks the loss-sharing rule in AAOIFI SS12.

  • Green if trueAAOIFI SS12

    After the property is sold, is any money left over once the financier is paid returned to the customer?

    Any surplus from a sale comes back to you, so the financier takes only what it is owed.

  • Fact (cross-checks)AAOIFI SS3 2/1/5

    Can the financier sell the property or take possession of it if the customer defaults?

    The financier can sell the property to recover what it is owed. AAOIFI SS3 allows this.

Rent and rent review · 7 tests
  • Amber if trueAAOIFI SS9Common in UK plans

    Is the rent, or the rental rate after any fixed period, set by reference to an interest rate such as the Bank of England base rate, SONIA or LIBOR?

    Your rent follows an interest-rate benchmark. AAOIFI SS9 lets rent for later periods follow an agreed benchmark, but tying it to an interest rate makes the plan move like a variable-rate mortgage, and many scholars see this as a weak point.

  • Green if trueAAOIFI SS9

    Is the rent for later periods worked out using a formula or benchmark that is written into the agreement?

    The rent for later periods follows a formula written into the agreement, so it is known in advance as AAOIFI SS9 requires.

  • Amber if trueAAOIFI SS31

    Can the financier change the rent, rental rate or margin at its own discretion?

    Rent should be known and agreed. A rate or margin the financier can change at will adds uncertainty (gharar) that AAOIFI SS9 and SS31 try to keep out.

  • Green if trueAAOIFI SS9

    Is there a maximum limit (cap) or minimum limit (floor) on how far the rent, rate or margin can move?

    Any change in the rent is limited by a cap or floor, which reduces uncertainty.

  • Red if trueAAOIFI SS9

    Does rent start before the customer has possession of the property, or before the financier has bought it?

    Rent is paid for using an asset the lessor owns. Charging it before the financier owns the home or hands it over is not allowed under AAOIFI SS9.

  • Red if trueAAOIFI SS9

    Must the customer keep paying rent whatever happens to the property, even if it is damaged, destroyed or cannot be lived in?

    Under AAOIFI SS9 rent stops if the property is destroyed or cannot be used through no fault of yours. An "absolute and unconditional" duty to pay rent moves that risk onto you.

  • Fact (cross-checks)UK practice

    Is the rent calculated by applying a rate to the outstanding finance balance or acquisition cost?

    Rent is a rate applied to the outstanding finance balance.

Repairs and ownership costs · 4 tests
  • Amber if trueAAOIFI SS9Common in UK plans

    Must the customer carry out or pay for structural repairs or major maintenance of the property?

    Under AAOIFI SS9 the owner bears major and structural maintenance. Where the financier owns all or part of the home, putting all of it on you is a departure.

  • Green if trueAAOIFI SS9

    Is the customer made responsible for everyday running costs such as utilities, council tax, decoration or minor repairs?

    Day-to-day running costs can be placed on the occupier under AAOIFI SS9.

  • Amber if trueAAOIFI SS9Common in UK plans

    Is the customer appointed as the financier's agent to arrange repairs or insurance, with the cost then recharged to the customer, for example as supplemental rent or by set-off?

    Appointing you as the financier's agent makes ownership costs look like the financier's, but if the money comes straight back to you as extra rent or set-off, you bear the cost in substance (AAOIFI SS9).

  • Green if trueAAOIFI SS9

    Does the financier itself pay for its share of major repairs, insurance or other ownership costs, without recharging them to the customer?

    The financier pays its own share of ownership costs, as AAOIFI SS9 expects of an owner.

Insurance and total loss · 7 tests
  • Red if trueAAOIFI SS9

    If the property is destroyed or becomes a total loss, must the customer still buy the financier's share or pay off the financier's balance?

    If the home is destroyed through no fault of yours, each owner should bear the loss on its own share. Making you pay the financier in full anyway shifts all the ownership risk to you (AAOIFI SS9 and SS12).

  • Green if trueAAOIFI SS9

    Does the rent stop or reduce if the property is destroyed or cannot be used?

    Rent stops or reduces if the property cannot be used, as AAOIFI SS9 requires.

  • Amber if trueAAOIFI SS9Common in UK plans

    Must the customer arrange and pay for buildings insurance on the property?

    AAOIFI SS9 places insurance of a leased asset on the owner. Where the financier owns part of the home, you paying for all of the buildings cover means you carry a cost that belongs partly to them.

  • Green if trueAAOIFI SS26

    Does the clause require or prefer takaful (Islamic insurance) cover?

    The clause asks for takaful cover, in line with AAOIFI SS26.

  • Amber if trueAAOIFI SS26Common in UK plans

    Does the clause allow or require ordinary insurance from a commercial insurer, rather than takaful?

    AAOIFI SS26 prefers takaful. Conventional cover is tolerated only where takaful is not reasonably available, which is often the case for UK buildings insurance.

  • Green if trueAAOIFI SS9

    Does the financier arrange the buildings insurance itself, at its own cost or out of the rent it charges?

    The financier insures the property itself, which matches AAOIFI SS9.

  • Amber if trueAAOIFI SS12

    Are insurance payouts used to pay the financier its full share or balance first, before the customer receives anything?

    If insurance money first clears the financier's whole share, the financier's capital is protected while the loss falls on you, which does not fit loss-sharing under AAOIFI SS12.

Early settlement · 5 tests
  • Green if trueAAOIFI SS12

    Can the customer buy the financier's remaining share or settle the plan early?

    You can buy out the financier's share early.

  • Amber if trueAAOIFI SS9Common in UK plans

    Is there an early settlement charge worked out as a percentage of the amount paid early or the balance outstanding?

    A percentage charge for settling early compensates the financier for rent it will no longer earn. Under AAOIFI SS9 rent is only due for the period you actually use the home, so charges should reflect real costs.

  • Red if trueAAOIFI SS9

    If the customer settles early, must they still pay rent for the period after the settlement date?

    Rent pays for use of the home. Charging rent for months after you have bought the financier out is not allowed under AAOIFI SS9.

  • Green if trueAAOIFI SS9

    Is the only cost of settling early a fixed administration fee?

    Settling early costs only a fixed administration fee.

  • Amber if trueAAOIFI SS31

    Does early settlement or an extra payment need the financier's consent, or depend on its discretion?

    Your right to buy out the financier early should be clear. Leaving it to the financier's discretion adds uncertainty (AAOIFI SS31).

Buy-out price · 6 tests
  • Red if trueAAOIFI SS12 3/1/6/2

    Is the price the customer pays for the financier's share fixed in advance at the financier's original contribution or the outstanding finance balance, rather than the property's value at the time?

    Selling its share back at the original cost means the financier cannot lose money on the property. AAOIFI SS12 says a partner may not undertake to buy the other's share at face value; it should be market value or a price agreed at the time.

  • Green if trueAAOIFI SS12

    Is the financier's share bought at its market value at the time of each purchase, or at a price agreed at that time?

    The financier's share is bought at market value or a price agreed at the time, as AAOIFI SS12 expects in a diminishing partnership; you share in rises and falls.

  • Red if trueAAOIFI SS12

    Does the price for the financier's share include a profit or mark-up on top of what the financier paid for it?

    Adding a profit to the price of the financier's share guarantees it a return on capital, which a partner cannot be promised under AAOIFI SS12.

  • Amber if trueAAOIFI SS49

    Are both the customer and the financier legally bound in advance to complete the future purchases of shares, as if the sales were already agreed?

    AAOIFI SS49 accepts a binding one-way promise, but promises that bind both sides to future sales work like a sale agreed in advance, which the standard does not allow.

  • Green if trueAAOIFI SS49

    Is the customer's promise to buy, or the financier's promise to sell, written as a one-sided undertaking by one party?

    The promise to buy or sell is one-sided, which AAOIFI SS49 allows.

  • Amber if trueAAOIFI SS12

    Does the buy-out price add the financier's other costs or charges on top of the price of its share?

    Adding the financier's other costs to the buy-out price makes the final amount open-ended and pushes more of the financier's costs onto you.

Title and ownership · 4 tests
  • Fact (cross-checks)AAOIFI SS12

    Does the financier hold the legal title to the property, alone or on trust?

    The financier holds legal title to the property.

  • Green if trueAAOIFI SS12

    Does the clause say that the customer and the financier each own a share of the property?

    The clause sets out that you and the financier each own a share of the property.

  • Red if trueAAOIFI SS9

    Does the clause say the financier takes no risk or liability as an owner of the property?

    Owning an asset means carrying its risks. AAOIFI SS9 and SS12 do not let an owner contract out of ownership risk altogether.

  • Amber if trueAAOIFI SS9

    Must the customer indemnify the financier against all losses, costs and liabilities connected with owning the property?

    A blanket indemnity can move the financier's ownership risks back onto you, which sits uneasily with AAOIFI SS9.

Fees and charges · 3 tests
  • Amber if trueAAOIFI SS3

    Is any fee calculated as a percentage of the finance amount or the outstanding balance?

    A fee that grows with the amount financed behaves like a charge on money rather than a payment for work done. AAOIFI expects service fees to reflect actual costs.

  • Amber if trueAAOIFI SS31

    Can the financier change its fees or add new fees after the agreement is signed?

    Fees that can change after signing make the total cost uncertain (AAOIFI SS31).

  • Green if trueAAOIFI SS31

    Are fees limited to the actual or reasonable cost of the work or service provided?

    Fees are tied to the actual or reasonable cost of the work done.

Guarantees · 3 tests
  • Green if trueAAOIFI SS5

    Is a third party, such as a guarantor, asked to guarantee the customer's payments?

    A third party guarantees your payments. AAOIFI SS5 allows this.

  • Red if trueAAOIFI SS5

    Is the guarantor paid a fee or commission for giving the guarantee?

    AAOIFI SS5 does not allow a fee to be paid for giving a guarantee.

  • Red if trueAAOIFI SS12

    Does the customer, as co-owner, guarantee the financier's share or capital against any fall in the property's value?

    A partner cannot guarantee the other partner's capital in a musharaka (AAOIFI SS12).

What it cannot do

  • It reads wording, not practice. A clause can be fine on paper and applied differently, or the reverse.
  • It does not know what your provider's Sharia board decided or why. Many UK features flagged amber have been approved by boards on grounds of necessity or local law.
  • AAOIFI is one school of standards. Other bodies and scholars take different views on, for example, interest-rate benchmarks or conventional insurance.
  • The model can be wrong. Every flag shows its probability and the clause text so you can check it, and the tests are tuned on a limited set of real UK wording.
  • It does not read scanned images of paper documents, and only checks the documents you upload.
Check a pack