Weighing
Code audit · replayed run
A tenancy-management app checked against the 24 testable requirement units. This replays a real run: the model read the source and raised each finding below, tying code to the clause it violates. Findings are proposed, never final.
0
Findings raised
0
Requirements checked
0
Files scanned
$0.1088
Run cost
8,173 in / 2,719 out tokens
· target: sample-app
The pipeline that produced the findings below, traced from the run itself.
Requirements loaded
24 testable units from Dubai tenancy law, each with a stable citable id.
Source snapshot
6 files handed to the model line-numbered; comments are treated as data, not instructions.
Model audit
claude-opus-4-8, forced to answer through one structured tool (report_findings) so the output is data, not prose.
Structured output
9 findings emitted as JSON, each citing the requirement id it violates with file and line.
Schema validation
Every finding is parsed against the Zod findingSchema before it is trusted; a malformed finding fails the run.
Human review
Findings enter the queue as proposed. None are final until a person approves or rejects them. Open the queue.
Cost accounted
8,173 in / 2,719 out tokens, $0.1088 for the run.
Post-expiry eviction notice period is 3 months instead of the mandatory 12 months.
Requirement
LAW26-2007/ART-25/22. Upon expiry of the Lease Contract, the Landlord may seek eviction of the Tenant from the Real Property only if: a. the Real Property owner wishes to demolish and reconstruct it or to add any new structures that would prevent the Tenant from using the Real Property, provided that the owner obtains the required permit...
Code · sample-app/src/eviction.ts:16
export const EVICTION_NOTICE_MONTHS = 3;
Evidence: Article 25(2) requires the Landlord to notify the Tenant of the eviction reasons at least twelve (12) months before the date of eviction. This constant sets the notice period to 3 months, and evictionEffectiveDate() adds only EVICTION_NOTICE_MONTHS to the service date, permitting eviction far sooner than the law allows.
Recommended: Set EVICTION_NOTICE_MONTHS to 12 to match the twelve-month minimum notice required by Article 25(2).
Maximum increase capped at 25% instead of the lawful 20%.
Requirement
DEC43-2013/ART-1/5When renewing Real Property Lease Contracts, the maximum percentage of Rent increase for Real Property in the Emirate of Dubai will be as follows: e. twenty percent (20%) of the Rent of the Real Property Unit, where the Rent is more than forty percent (40%) less than the average rental value of similar units.
Code · sample-app/src/rent.ts:28
return 0.25;
Evidence: Article 1(e) sets the maximum increase at 20% where the rent is more than 40% below the average. This returns 0.25 (25%), permitting an unlawful rent increase above the statutory cap.
Recommended: Return 0.20 (20%) as the maximum increase when shortfall exceeds 40%.
No enforcement or recording of the mandatory service method (notary public or registered mail).
Requirement
LAW26-2007/ART-25/22. Upon expiry of the Lease Contract, the Landlord may seek eviction of the Tenant from the Real Property only if: a. the Real Property owner wishes to demolish and reconstruct it or to add any new structures that would prevent the Tenant from using the Real Property, provided that the owner obtains the required permit...
Code · sample-app/src/eviction.ts:23-27
export function evictionEffectiveDate(noticeServedOn: Date): Date { const effective = new Date(noticeServedOn); effective.setMonth(effective.getMonth() + EVICTION_NOTICE_MONTHS); return effective; }
Evidence: Article 25(2) requires the notice to be served through a Notary Public or by registered mail. The function accepts only a Date and neither records nor validates the service method, so a legally deficient notice can be treated as valid.
Recommended: Require and validate the service method (notary public or registered mail) before treating an eviction notice as effective.
Amendment-at-renewal notice period is 30 days instead of the required 90 days.
Requirement
LAW26-2007/ART-14Unless otherwise agreed by the parties to a Lease Contract, where either party wishes to amend any of its terms pursuant to Article (13) of this Law, that party must notify the other party of this intent no less than ninety (90) days before the date on which the Lease Contract expires.
Code · sample-app/src/notice.ts:12
export const AMENDMENT_NOTICE_DAYS = 30;
Evidence: Article 14 requires a party wishing to amend lease terms at renewal to notify the other party no less than ninety (90) days before expiry. This constant is 30, and it feeds amendmentDeadline() and isAmendmentNoticeTimely(), so a notice given only 30 days out would wrongly be accepted as timely.
Recommended: Set AMENDMENT_NOTICE_DAYS to 90 to match the ninety-day minimum in Article 14.
Leases are activated and treated as enforceable without RERA/Ejari registration.
Requirement
LAW26-2007/ART-4/22. All Lease Contracts related to Real Property which is governed by the provisions of this Law, and any amendments thereto, will be registered with RERA.
Code · sample-app/src/registration.ts:22-29
export function activateLease(lease: Lease): Lease { return { ...lease, ejariNumber: lease.ejariNumber }; } export function isEnforceable(lease: Lease): boolean { // Only checks the parties, not registration. return Boolean(lease.landlordId && lease.tenantId); }
Evidence: Article 4(2) requires all lease contracts to be registered with RERA (Ejari). activateLease() copies any existing ejariNumber but never requires one, and isEnforceable() checks only landlordId and tenantId, so an unregistered lease with no ejariNumber is treated as valid and enforceable.
Recommended: Require a non-empty ejariNumber before activating or treating a lease as enforceable.
Rent-increase slab bands and caps do not match Decree 43/2013.
Requirement
DEC43-2013/ART-1/1When renewing Real Property Lease Contracts, the maximum percentage of Rent increase for Real Property in the Emirate of Dubai will be as follows: a. no Rent increase, where the Rent of the Real Property unit is up to ten percent (10%) less than the average rental value of similar units;
Code · sample-app/src/rent.ts:21-29
export function maxIncreaseFraction(review: RentReview): number { const shortfall = (review.marketAverageRent - review.currentAnnualRent) / review.marketAverageRent; if (shortfall <= 0.05) return 0; if (shortfall <= 0.15) return 0.05; if (shortfall <= 0.25) return 0.1; if (shortfall <= 0.35) return 0.15; return 0.25;
Evidence: Article 1(a) mandates 0% increase where rent is up to 10% below the average rental value, but this returns 0 only up to a 5% shortfall and then allows a 5% increase at a shortfall of 6-10%, which is below the 10% zero-increase threshold. This is an unlawful increase for units within 10% of market.
Recommended: Return 0 for any shortfall up to and including 10% (0.10) as required by Article 1(a).
5% band applies over the wrong shortfall range.
Requirement
DEC43-2013/ART-1/2When renewing Real Property Lease Contracts, the maximum percentage of Rent increase for Real Property in the Emirate of Dubai will be as follows: b. five percent (5%) of the Rent of the Real Property unit, where the Rent is eleven percent (11%) to twenty percent (20%) less than the average rental value of similar unit...
Code · sample-app/src/rent.ts:25
if (shortfall <= 0.15) return 0.05;
Evidence: Article 1(b) permits a 5% increase only where the rent is 11%-20% below the average. This code applies 5% for shortfalls from just above 5% up to 15%, mismatching the lawful 11%-20% band.
Recommended: Apply 5% only when shortfall is greater than 10% and up to 20% (0.20).
10% band applies over the wrong shortfall range.
Requirement
DEC43-2013/ART-1/3When renewing Real Property Lease Contracts, the maximum percentage of Rent increase for Real Property in the Emirate of Dubai will be as follows: c. ten percent (10%) of the Rent of the Real Property unit, where the Rent is twenty-one percent (21%) to thirty percent (30%) less than the average rental value of similar ...
Code · sample-app/src/rent.ts:26
if (shortfall <= 0.25) return 0.1;
Evidence: Article 1(c) permits a 10% increase where the rent is 21%-30% below the average. This code applies 10% for shortfalls up to 25%, mismatching the lawful 21%-30% band.
Recommended: Apply 10% only when shortfall is greater than 20% and up to 30% (0.30).
15% band applies over the wrong shortfall range.
Requirement
DEC43-2013/ART-1/4When renewing Real Property Lease Contracts, the maximum percentage of Rent increase for Real Property in the Emirate of Dubai will be as follows: d. fifteen percent (15%) of the Rent of the Real Property unit, where the Rent is thirty-one percent (31%) to forty percent (40%) less than the average rental value of simil...
Code · sample-app/src/rent.ts:27
if (shortfall <= 0.35) return 0.15;
Evidence: Article 1(d) permits a 15% increase where the rent is 31%-40% below the average. This code applies 15% for shortfalls up to 35%, mismatching the lawful 31%-40% band.
Recommended: Apply 15% only when shortfall is greater than 30% and up to 40% (0.40).