404/404 numerical cases passed. Ruleset UP Industrial Development Authorities2026 ·29October2026.
Reference values come from source tables, the official280m² worked example, separately derived geometric constructions and arithmetic. Reproducible automated/property tests verify the encoded implementation. They are not independent professional legal validation. Site applicability, Gazette commencement, allotment controls, source contradictions and unmodelled statutory requirements remain unresolved.
Open studio · Multi-building / fire-space validation · Rule register · Machine-readable results
| Case | Expected | Actual | Tolerance | Evidence | Result |
|---|---|---|---|---|---|
| Official residential example:280m² plot | 534 | 534 | 0.000001 | EN26 §3.2.2 p43:150×2+130×1.8 | pass |
| Independent200m² telescopic arithmetic | 390 | 390 | 0.000001 | 150×2+50×1.8 | pass |
| Residential FAR at 149.999m² | 299.998 | 299.998 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Residential FAR at 150m² | 300 | 300 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Residential FAR at 150.001m² | 300.0018 | 300.0018 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Residential FAR at 299.999m² | 569.9982 | 569.9982 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Residential FAR at 300m² | 570 | 570 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Multi-band interpretations remain exposed | [995,950,true] | [995,950,true] | 0.000001 | Cumulative150×2+150×1.8+200×1.75+50×1.5;previous500×1.75+50×1.5 | pass |
| House setback threshold 149.999 | [1,0,0,0] | [1,0,0,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 150 | [3,1.5,0,0] | [3,1.5,0,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 150.001 | [3,1.5,0,0] | [3,1.5,0,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 299.999 | [3,1.5,0,0] | [3,1.5,0,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 300 | [3,3,0,0] | [3,3,0,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 300.001 | [3,3,0,0] | [3,3,0,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 499.999 | [3,3,0,0] | [3,3,0,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 500 | [4.5,3.5,1.5,0] | [4.5,3.5,1.5,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 500.001 | [4.5,3.5,1.5,0] | [4.5,3.5,1.5,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 749.999 | [4.5,3.5,1.5,0] | [4.5,3.5,1.5,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 750 | [4.5,4.5,1.5,0] | [4.5,4.5,1.5,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 750.001 | [4.5,4.5,1.5,0] | [4.5,4.5,1.5,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 1199.999 | [4.5,4.5,1.5,0] | [4.5,4.5,1.5,0] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 1200 | [6,6,1.5,1.5] | [6,6,1.5,1.5] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| House setback threshold 1200.001 | [6,6,1.5,1.5] | [6,6,1.5,1.5] | 0.000001 | EN26 §3.2.4.1 p51 | pass |
| Non-house setback threshold 99.999 | [1.5,0,0,0] | [1.5,0,0,0] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 100 | [3,1.5,0,0] | [3,1.5,0,0] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 100.001 | [3,1.5,0,0] | [3,1.5,0,0] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 299.999 | [3,1.5,0,0] | [3,1.5,0,0] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 300 | [4.5,3,0,0] | [4.5,3,0,0] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 300.001 | [4.5,3,0,0] | [4.5,3,0,0] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 499.999 | [4.5,3,0,0] | [4.5,3,0,0] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 500 | [6,3,3,3] | [6,3,3,3] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 500.001 | [6,3,3,3] | [6,3,3,3] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 1999.999 | [6,3,3,3] | [6,3,3,3] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 2000 | [7.5,4.5,4.5,4.5] | [7.5,4.5,4.5,4.5] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 2000.001 | [7.5,4.5,4.5,4.5] | [7.5,4.5,4.5,4.5] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 3999.999 | [7.5,4.5,4.5,4.5] | [7.5,4.5,4.5,4.5] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 4000 | [7.5,6,4.5,4.5] | [7.5,6,4.5,4.5] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 4000.001 | [7.5,6,4.5,4.5] | [7.5,6,4.5,4.5] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 5999.999 | [7.5,6,4.5,4.5] | [7.5,6,4.5,4.5] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 6000 | [9,6,6,6] | [9,6,6,6] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Non-house setback threshold 6000.001 | [9,6,6,6] | [9,6,6,6] | 0.000001 | EN26 §3.2.4.2 p52 | pass |
| Height table just below 17.5 | [5,5,5,5] | [5,5,5,5] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table at 17.5 | [6,6,6,6] | [6,6,6,6] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just above 17.5 | [6,6,6,6] | [6,6,6,6] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just below 21 | [6,6,6,6] | [6,6,6,6] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table at 21 | [7,7,7,7] | [7,7,7,7] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just above 21 | [7,7,7,7] | [7,7,7,7] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just below 27 | [7,7,7,7] | [7,7,7,7] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table at 27 | [8,8,8,8] | [8,8,8,8] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just above 27 | [8,8,8,8] | [8,8,8,8] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just below 33 | [8,8,8,8] | [8,8,8,8] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table at 33 | [9,9,9,9] | [9,9,9,9] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just above 33 | [9,9,9,9] | [9,9,9,9] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just below 39 | [9,9,9,9] | [9,9,9,9] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table at 39 | [10,10,10,10] | [10,10,10,10] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just above 39 | [10,10,10,10] | [10,10,10,10] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just below 45 | [10,10,10,10] | [10,10,10,10] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table at 45 | [11,11,11,11] | [11,11,11,11] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table just above 45 | [11,11,11,11] | [11,11,11,11] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table at51m | [15,12,12,12] | [15,12,12,12] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table below51m | [11,11,11,11] | [11,11,11,11] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Height table above51m | [15,12,12,12] | [15,12,12,12] | 0.000001 | EN26 §3.2.4.3 p53 | pass |
| Group conditional MFAR at road 11.999 | 7 | 7 | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 12 | 7 | 7 | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 12.001 | 7 | 7 | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 17.999 | 7 | 7 | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 18 | 7 | 7 | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 18.001 | 7 | 7 | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 23.999 | 7 | 7 | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 24 | 10.5 | 10.5 | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 24.001 | 10.5 | 10.5 | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 44.999 | 10.5 | 10.5 | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 45 | "Unrestricted table FAR" | "Unrestricted table FAR" | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Group conditional MFAR at road 45.001 | "Unrestricted table FAR" | "Unrestricted table FAR" | 0.000001 | EN26 §3.2.2.3 p44;eligibility separately checked | pass |
| Convenience-shopping MFAR at road 12 | 4 | 4 | 0.000001 | EN26 §3.2.2.4 p44;conditional only | pass |
| Convenience-shopping MFAR at road 23.999 | 4 | 4 | 0.000001 | EN26 §3.2.2.4 p44;conditional only | pass |
| Convenience-shopping MFAR at road 24 | 7 | 7 | 0.000001 | EN26 §3.2.2.4 p44;conditional only | pass |
| Convenience-shopping MFAR at road 24.001 | 7 | 7 | 0.000001 | EN26 §3.2.2.4 p44;conditional only | pass |
| Convenience-shopping MFAR at road 44.999 | 7 | 7 | 0.000001 | EN26 §3.2.2.4 p44;conditional only | pass |
| Convenience-shopping MFAR at road 45 | "Unrestricted table FAR" | "Unrestricted table FAR" | 0.000001 | EN26 §3.2.2.4 p44;conditional only | pass |
| Group ordinary base FAR | 3.5 | 3.5 | 0.000001 | EN26 pp44,80 | pass |
| Commercial ordinary base FAR | 2 | 2 | 0.000001 | EN26 pp44,88 | pass |
| Open-space alternatives at 2999.999 | [0,0] | [0,0] | 0.000001 | EN26 §5.2.5 p79 vs §3.1.2.1 p35 | pass |
| Open-space alternatives at 3000 | [450,0] | [450,0] | 0.000001 | EN26 §5.2.5 p79 vs §3.1.2.1 p35 | pass |
| Open-space alternatives at 3000.001 | [450.00015,0.00015] | [450.00015,0.00015] | 0.000001 | EN26 §5.2.5 p79 vs §3.1.2.1 p35 | pass |
| Open-space alternatives at 6000 | [900,450] | [900,450] | 0.000001 | EN26 §5.2.5 p79 vs §3.1.2.1 p35 | pass |
| Rectangular plot area | 280 | 280 | 0.000001 | Independent arithmetic / geometric construction | pass |
| 14×20 plot minus3m front/1.5m rear | 217 | 217 | 0.000001 | 14×(20−3−1.5) | pass |
| Trapezoid area | 160 | 160 | 0.000001 | (20+12)÷2×10 | pass |
| Trapezoid1m inward offsets | 110.76747261716959 | 110.76747261716959 | 0.000001 | Integrate width20−0.8y−2√1.16 over y1..9 | pass |
| Right triangle1m inward offsets | 21.68629150101524 | 21.686291501015234 | 0.000001 | Leg lengths8−√2;right-triangle area | pass |
| Disjoint rectangles have zero overlap | 0 | 0 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Known rectangle overlap | 40 | 40 | 0.000001 | 4×10 | pass |
| Empty clipping envelope stays empty | 0 | 0 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Over-setback narrow plot infeasible | 0 | 0 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Self-crossed plot rejected | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Concave plot rejected | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Non-finite geometry rejected | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Negative dimensions rejected | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Different-source saved study rejected | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Default house numeric checks | 0 | 0 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Default group numeric checks | 0 | 0 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Default commercial numeric checks | 0 | 0 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Single-house road11.999m fails | true | true | 0.000001 | EN26 §5.1.3 p77 | pass |
| Single-sided9m exception passes road check | false | false | 0.000001 | EN26 §5.1.3 p77 | pass |
| Group plot below2000m² fails | true | true | 0.000001 | EN26 §5.2.2 p79 | pass |
| Convenience plot below1500m² fails | true | true | 0.000001 | EN26 §6.1.2 p87 | pass |
| Sector-shopping minimum4000m² | 4000 | 4000 | 0.000001 | EN26 §6.1.2 p87 | pass |
| Drain datum included in height | 10.6 | 10.600000000000001 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Four occupied storeys fail single-house category | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Floor-specific height sum | 10.1 | 10.1 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Tapered floor polygons:100+81+64 | 245 | 245 | 0.000001 | Independent arithmetic / geometric construction | pass |
| No blanket FAR exemption credited | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Height prose/table conflict is visible | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Park/full-versus-excess conflict is visible | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Ordinary development authority cannot auto-fit | false | false | 0.000001 | Independent arithmetic / geometric construction | pass |
| Approved FAR requires a reference | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Commercial purchased FAR on12m road fails eligibility | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Fit oversize house without changing site facts | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| All locked infeasible proposal is unchanged | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Fit respects locked width | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Fit respects locked position | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Ineligible road does not get silently widened | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Unlocked storeys reduced to single-house limit | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Group fit avoids park | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Corner road receives front setback | [3,3,1.5,0] | [3,3,1.5,0] | 0.000001 | EN26 §3.2.4.1 Note2 p51 | pass |
| Three-road condition stays review-required | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #0 | 6 | 6 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #1 | 9.18 | 9.179999999999836 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #2 | 12.92 | 12.920000000000073 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #3 | 17.22 | 17.220000000000255 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #4 | 22.08 | 22.079999999999472 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #5 | 27.5 | 27.5 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #6 | 33.48 | 33.47999999999956 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #7 | 40.02 | 40.02000000000044 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #8 | 47.12 | 47.120000000000346 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #9 | 54.78 | 54.7800000000002 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #10 | 63 | 62.999999999999545 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #11 | 71.78 | 71.77999999999975 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #12 | 81.11999999999999 | 81.11999999999989 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #13 | 91.02 | 91.01999999999998 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #14 | 101.48 | 101.47999999999956 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #15 | 112.5 | 112.5 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #16 | 124.08 | 124.07999999999993 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #17 | 136.22 | 136.21999999999935 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #18 | 148.92 | 148.92000000000007 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #19 | 162.18 | 162.17999999999938 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #20 | 176 | 175.99999999999955 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #21 | 190.38 | 190.38000000000056 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #22 | 205.32 | 205.32000000000016 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #23 | 220.82 | 220.8199999999997 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #24 | 236.88 | 236.8799999999992 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #25 | 253.5 | 253.50000000000045 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #26 | 270.68 | 270.68000000000075 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #27 | 288.42 | 288.4199999999996 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #28 | 306.71999999999997 | 306.7200000000007 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Rotated / translated rectangle area #29 | 325.58 | 325.5800000000004 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Conservative FAR alternative at 499.999 | 889.99825 | 889.9982500000001 | 0.000001 | Disclosed one-previous-band scenario, not a settled legal interpretation | pass |
| Conservative FAR alternative at 500 | 890 | 890 | 0.000001 | Disclosed one-previous-band scenario, not a settled legal interpretation | pass |
| Conservative FAR alternative at 500.001 | 875.0015 | 875.0015 | 0.000001 | Disclosed one-previous-band scenario, not a settled legal interpretation | pass |
| Conservative FAR alternative at 1199.999 | 1924.9985 | 1924.9985000000001 | 0.000001 | Disclosed one-previous-band scenario, not a settled legal interpretation | pass |
| Conservative FAR alternative at 1200 | 1925 | 1925 | 0.000001 | Disclosed one-previous-band scenario, not a settled legal interpretation | pass |
| Conservative FAR alternative at 1200.001 | 1800.00125 | 1800.00125 | 0.000001 | Disclosed one-previous-band scenario, not a settled legal interpretation | pass |
| House minimum-area boundary 34.999 | false | false | 0.000001 | EN26 §5.1.2 p77 | pass |
| House minimum-area boundary 35 | true | true | 0.000001 | EN26 §5.1.2 p77 | pass |
| House minimum-area boundary 35.001 | true | true | 0.000001 | EN26 §5.1.2 p77 | pass |
| Group minimum-area boundary 1999.999 | false | false | 0.000001 | EN26 §5.2.2 p79 | pass |
| Group minimum-area boundary 2000 | true | true | 0.000001 | EN26 §5.2.2 p79 | pass |
| Group minimum-area boundary 2000.001 | true | true | 0.000001 | EN26 §5.2.2 p79 | pass |
| Convenience-shopping minimum-area boundary 1499.999 | false | false | 0.000001 | EN26 §6.1.2 p87 | pass |
| Convenience-shopping minimum-area boundary 1500 | true | true | 0.000001 | EN26 §6.1.2 p87 | pass |
| Convenience-shopping minimum-area boundary 1500.001 | true | true | 0.000001 | EN26 §6.1.2 p87 | pass |
| Single-house height boundary 14.999 | true | true | 0.000001 | EN26 §5.1.4 p77 | pass |
| Single-house height boundary 15 | true | true | 0.000001 | EN26 §5.1.4 p77 | pass |
| Single-house height boundary 15.001 | false | false | 0.000001 | EN26 §5.1.4 p77 | pass |
| Ordinary house access threshold 11.999 | false | false | 0.000001 | EN26 §5.1.3 p77 | pass |
| Ordinary house access threshold 12 | true | true | 0.000001 | EN26 §5.1.3 p77 | pass |
| Ordinary house access threshold 12.001 | true | true | 0.000001 | EN26 §5.1.3 p77 | pass |
| Single-sided road threshold 8.999 | false | false | 0.000001 | EN26 §5.1.3 p77 | pass |
| Single-sided road threshold 9 | true | true | 0.000001 | EN26 §5.1.3 p77 | pass |
| Single-sided road threshold 9.001 | true | true | 0.000001 | EN26 §5.1.3 p77 | pass |
| Commercial purchase-road threshold 17.999 | false | false | 0.000001 | EN26 §10.2.1(ii) p114 | pass |
| Commercial purchase-road threshold 18 | true | true | 0.000001 | EN26 §10.2.1(ii) p114 | pass |
| Commercial purchase-road threshold 18.001 | true | true | 0.000001 | EN26 §10.2.1(ii) p114 | pass |
| Sub-district base-FAR road boundary 59.999 | 3 | 3 | 0.000001 | EN26 §3.2.2.4 p44 | pass |
| Sub-district base-FAR road boundary 60 | 3 | 3 | 0.000001 | EN26 §3.2.2.4 p44 | pass |
| Sub-district base-FAR road boundary 60.001 | 4 | 4 | 0.000001 | EN26 §3.2.2.4 p44 | pass |
| Landscape total-plot boundary 11999.999 | 599.99995 | 599.99995 | 0.000001 | EN26 §5.2.5 p80:5%totalplot | pass |
| Landscape total-plot boundary 12000 | 600 | 600 | 0.000001 | EN26 §5.2.5 p80:5%totalplot | pass |
| Landscape open-area basis above12000m² | 1116.8001 | 1116.8001000000002 | 0.000001 | (12000.001−832)×10% | pass |
| Park width below6m fails | true | true | 0.000001 | EN26 §3.1.2.2 p35 | pass |
| Plot angle/translation invariance of setbacks | 217 | 217 | 0.000001 | Independent arithmetic / geometric construction | pass |
| 80 rotated/random house fits satisfy encoded constraints | 80 | 80 | 0.000001 | Deterministic property cases; seed4767 | pass |
| Largest aligned rectangle in 14×15.5 envelope | 217 | 217 | 0.000001 | 14×15.5 | pass |
| Largest rectangle in right triangle | 25 | 25 | 0.000001 | w+d≤10; wd maximum at w=d=5 | pass |
| Largest rectangle in unequal right triangle | 50 | 50 | 0.000001 | w/20+d/10≤1; w=10,d=5 | pass |
| Largest rectangle in trapezoid | 200 | 200.00000000000006 | 0.000001 | Width≤20−depth/2; product reaches200 at depth20 | pass |
| Largest rectangle in skew parallelogram | 100 | 100 | 0.000001 | Width≤20−depth; 0≤depth≤10; optimum10×10 | pass |
| Largest rectangle translation invariance | 25 | 24.99999999999993 | 0.000001 | Translated10×10 triangle | pass |
| Largest rectangle respects 200m block limit | 40000 | 40000 | 0.000001 | 200×200 continuous block limit | pass |
| Empty envelope has no largest rectangle | null | null | 0.000001 | Independent arithmetic / geometric construction | pass |
| Sub-minimum envelope has no rectangle | null | null | 0.000001 | Independent arithmetic / geometric construction | pass |
| Fresh house example consumes534m² FAR allowance | 534 | 534.0000000000001 | 0.000001 | 150×2+130×1.8; 3 equal178m² plates | pass |
| Fresh footprint grows after larger plot | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Fresh footprint shrinks after smaller plot | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Largest-fit resets stale position, shape and footprint locks | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Largest-fit preserves site and selected floor heights | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Largest-fit input remains unmodified | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Largest-fit rejects insufficient road | false | false | 0.000001 | Independent arithmetic / geometric construction | pass |
| Largest-fit rejects house above three storeys | false | false | 0.000001 | Independent arithmetic / geometric construction | pass |
| Largest-fit rejects infeasible designated RG area | false | false | 0.000001 | Independent arithmetic / geometric construction | pass |
| Group fresh-fit independent rear-strip arithmetic | 12066.545454545454 | 12066.545454545456 | 0.000001 | Park44×(600/44),rear edgey77;building36×(77−600/44−7.5),×6floors;park may occupy setbacks | pass |
| Group fresh-fit measured RG equals600m² | 600 | 599.9999999999995 | 0.000001 | 15%×4000 full-plot conservative scenario | pass |
| Fixed RG rectangle, choose best separating region | 2011.090909090909 | 2011.0909090909092 | 0.000001 | Only park/envelope intersection is deducted,not all600m² | pass |
| Commercial fresh-fit independent footprint arithmetic | 2952 | 2952 | 0.000001 | (30−3−3)×(50−6−3)×3 =2952 | pass |
| Largest-fit measured floor polygons match report: house | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Largest-fit measured floor polygons match report: group | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Largest-fit measured floor polygons match report: commercial | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Partial-top worked example:217+217+100 | [217,217,100] | [217,217,100] | 0.000001 | 14×(20−3−1.5)=217;534−2×217=100 | pass |
| Manual2floors retain434m²,100m² unused | [434,100] | [434,100] | 0.000001 | Independent arithmetic / geometric construction | pass |
| Manual3floors use534m²without exceeding FAR | 534 | 534 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Automatic chooses fewest floors reaching FAR | 3 | 3 | 0.000001 | 2×217<534≤3×217 | pass |
| Automatic massing changes after larger plot | true | true | 0.000001 | 600m²lower multi-band interpretation:500×1.75+100×1.5=1025 | pass |
| Stilt excluded from FAR, included in gross | [432,576,12.2] | [432,576,12.2] | 0.000001 | 3×144=432;144parking+432=576;2.4+.2+3×3.2=12.2 | pass |
| Ordinary stilt clear-height boundary 2.399 | false | false | 0.000001 | EN26§3.2.2.9row9,p48:maximum2.40mclear,mechanised exception outside model | pass |
| Ordinary stilt clear-height boundary 2.4 | false | false | 0.000001 | EN26§3.2.2.9row9,p48:maximum2.40mclear,mechanised exception outside model | pass |
| Ordinary stilt clear-height boundary 2.401 | true | true | 0.000001 | EN26§3.2.2.9row9,p48:maximum2.40mclear,mechanised exception outside model | pass |
| Stilt increases height-dependent setbacks | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Multi-unit without mandatory stilt fails | true | true | 0.000001 | §5.1.1(iii)/§3.3.4.8 | pass |
| Partial-top geometric area equals reported100m² | 100 | 100 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Automatic group with stilt gross minus FAR is footprint | 852.5454545454545 | 852.545454545454 | 0.000001 | 18×(77−600/44−16)parking footprint;park extends into setbacks | pass |
| External height cap prevents extra occupied floors | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Automatic generation preserves plot,roads and approval facts | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Invalid road gives no generated model | false | false | 0.000001 | Independent arithmetic / geometric construction | pass |
| Independent source category controls: multi | [null,300,24] | [null,300,24] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: hotel | [3,500,12] | [3,500,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: cinema | [2,500,12] | [2,500,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: miniplex | [2,700,12] | [2,700,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: multiplex | [2.5,3000,18] | [2.5,3000,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: fuel | [0.5,510,24] | [0.5,510,24] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: fuelService | [0.5,1080,24] | [0.5,1080,24] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: gas | [0.3,520,18] | [0.3,520,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: serviceApartment | [2.5,0,12] | [2.5,0,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: coldStorage | [1.2,1000,18] | [1.2,1000,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: warehouse | [1.5,0,12] | [1.5,0,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: fruitMarket | [1,0,12] | [1,0,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: wholesale | [1.5,0,12] | [1.5,0,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: office | [2.5,0,12] | [2.5,0,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: commercialOther | [2,0,12] | [2,0,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: clinic | [1.5,100,12] | [1.5,100,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: smallHospital | [2,300,12] | [2,300,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: hospital | [2.75,3000,18] | [2.75,3000,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: nursing | [2.75,2000,18] | [2.75,2000,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: medicalCollege | [2.75,null,24] | [2.75,null,24] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: nurserySchool | [1.5,500,12] | [1.5,500,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: primary | [1.5,1000,12] | [1.5,1000,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: secondary | [2.5,2000,12] | [2.5,2000,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: college | [2.5,5000,18] | [2.5,5000,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: university | [2.5,20000,24] | [2.5,20000,24] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: hall | [2.5,1000,18] | [2.5,1000,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: religious | [2.5,0,0] | [2.5,0,0] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: auditorium | [3,1500,18] | [3,1500,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: guesthouse | [2.5,400,12] | [2.5,400,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: utilities | [0.1,0,12] | [0.1,0,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: psp | [2,0,12] | [2,0,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: flatted | [3,1000,12] | [3,1000,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: msme | [3,150,12] | [3,150,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: industry | [2.5,450,12] | [2.5,450,12] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: logistics | [2.5,10000,18] | [2.5,10000,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: farm | [0.2,4000,7] | [0.2,4000,7] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: dairy | [0.2,1000,7] | [0.2,1000,7] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: sports | [0.4,0,18] | [0.4,0,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: amusement | [0.2,0,18] | [0.2,0,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: institutionalGreen | [0.8,0,18] | [0.8,0,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: parking | [1.5,3000,18] | [1.5,3000,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: bus | [1.5,0,18] | [1.5,0,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent source category controls: transport | [1.5,0,18] | [1.5,0,18] | 0.000001 | EN26§3.2.1pp40–42/§3.2.2pp43–47,conservative flagged conflicts | pass |
| Independent coverage ceiling: fuel | 1000 | 1000 | 0.000001 | 10000m²plot;source percentage below88×85=7480m²setback envelope | pass |
| Independent coverage ceiling: gas | 2500 | 2500 | 0.000001 | 10000m²plot;source percentage below88×85=7480m²setback envelope | pass |
| Independent coverage ceiling: utilities | 1000 | 1000 | 0.000001 | 10000m²plot;source percentage below88×85=7480m²setback envelope | pass |
| Independent coverage ceiling: farm | 2000 | 2000 | 0.000001 | 10000m²plot;source percentage below88×85=7480m²setback envelope | pass |
| Independent coverage ceiling: dairy | 2000 | 2000 | 0.000001 | 10000m²plot;source percentage below88×85=7480m²setback envelope | pass |
| Independent coverage ceiling: sports | 2000 | 2000 | 0.000001 | 10000m²plot;source percentage below88×85=7480m²setback envelope | pass |
| Independent coverage ceiling: amusement | 1000 | 1000 | 0.000001 | 10000m²plot;source percentage below88×85=7480m²setback envelope | pass |
| Independent coverage ceiling: institutionalGreen | 3500 | 3500 | 0.000001 | 10000m²plot;source percentage below88×85=7480m²setback envelope | pass |
| Independent coverage ceiling: parking | 3000 | 3000 | 0.000001 | 10000m²plot;source percentage below88×85=7480m²setback envelope | pass |
| Independent coverage ceiling: openSpace | 500 | 500 | 0.000001 | 10000m²plot;source percentage below88×85=7480m²setback envelope | pass |
| Nursery cap is50m²notFAR50 | [50,50] | [50,50] | 0.000001 | EN26p47absolute area row | pass |
| Marriage-hall road threshold 2999.999 | 18 | 18 | 0.000001 | §7.3.3p102 | pass |
| Marriage-hall road threshold 3000 | 18 | 18 | 0.000001 | §7.3.3p102 | pass |
| Marriage-hall road threshold 3000.001 | 24 | 24 | 0.000001 | §7.3.3p102 | pass |
| ews exclusive plot band 39.999 | false | false | 0.000001 | §5.3.2p82 | pass |
| ews exclusive plot band 40 | true | true | 0.000001 | §5.3.2p82 | pass |
| ews exclusive plot band 40.001 | true | true | 0.000001 | §5.3.2p82 | pass |
| lig exclusive plot band 49.999 | false | false | 0.000001 | §5.3.2p82 | pass |
| lig exclusive plot band 50 | true | true | 0.000001 | §5.3.2p82 | pass |
| lig exclusive plot band 50.001 | true | true | 0.000001 | §5.3.2p82 | pass |
| House total height threshold with stilt 14.999 | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| House total height threshold with stilt 15 | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| House total height threshold with stilt 15.001 | false | false | 0.000001 | Independent arithmetic / geometric construction | pass |
| Category example: house | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: multi | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: group | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: ews | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: lig | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: affordable | false | false | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: convenience | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: sector | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: district | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: hotel | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: cinema | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: miniplex | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: multiplex | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: fuel2w | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: fuel | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: fuelService | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: gas | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: serviceApartment | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: coldStorage | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: warehouse | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: fruitMarket | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: wholesale | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: office | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: commercialOther | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: clinic | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: smallHospital | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: hospital | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: nursing | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: medicalCollege | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: nurserySchool | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: primary | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: secondary | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: college | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: university | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: hall | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: religious | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: auditorium | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: guesthouse | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: utilities | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: weighbridge | false | false | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: psp | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: flatted | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: msme | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: industry | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: logistics | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: farm | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: dairy | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: agriOther | false | false | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: sports | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: amusement | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: institutionalGreen | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: plantNursery | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: openSpace | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: memorial | false | false | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: sportsCity | false | false | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: parking | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: bus | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: transport | true | true | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: mixedPlan | false | false | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: mixedLayout | false | false | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: mixedRoad | false | false | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: tod | false | false | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category example: hazardous | false | false | 0.000001 | Every selectable profile:generate source-limited example or explicitly stop for missing scheme/norms | pass |
| Category MFAR road threshold hospital 23.999 | 5.5 | 5.5 | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold hospital 24 | 9.63 | 9.63 | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold hospital 44.999 | 9.63 | 9.63 | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold hospital 45 | "Unrestricted table FAR" | "Unrestricted table FAR" | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold primary 23.999 | 3 | 3 | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold primary 24 | 5.25 | 5.25 | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold primary 45 | 5.25 | 5.25 | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold secondary 45 | "Unrestricted table FAR" | "Unrestricted table FAR" | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold sports 23.999 | 0.4 | 0.4 | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold sports 24 | 0.6 | 0.6 | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold amusement 23.999 | 0.2 | 0.2 | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Category MFAR road threshold amusement 24 | 0.3 | 0.3 | 0.000001 | EN26pp45–47;specific cap and rounded9.63 preserved | pass |
| Industrial access threshold 10acres -0.001 | 12 | 12 | 0.000001 | §3.2.1p40:plots>10acres18m,>25acres24m | pass |
| Industrial access threshold 10acres 0 | 12 | 12 | 0.000001 | §3.2.1p40:plots>10acres18m,>25acres24m | pass |
| Industrial access threshold 10acres 0.001 | 18 | 18 | 0.000001 | §3.2.1p40:plots>10acres18m,>25acres24m | pass |
| Industrial access threshold 25acres -0.001 | 18 | 18 | 0.000001 | §3.2.1p40:plots>10acres18m,>25acres24m | pass |
| Industrial access threshold 25acres 0 | 18 | 18 | 0.000001 | §3.2.1p40:plots>10acres18m,>25acres24m | pass |
| Industrial access threshold 25acres 0.001 | 24 | 24 | 0.000001 | §3.2.1p40:plots>10acres18m,>25acres24m | pass |
| Auditorium minimum-area road branch 23.999 | 1500 | 1500 | 0.000001 | §7.4.3p104 | pass |
| Auditorium minimum-area road branch 24 | 2000 | 2000 | 0.000001 | §7.4.3p104 | pass |
| Auditorium minimum-area road branch 24.001 | 2000 | 2000 | 0.000001 | §7.4.3p104 | pass |
| Gas-godown minimum/maximum height 5.999 | false | false | 0.000001 | §6.5.4minimum6m,p94;§3.2.3maximum6m,p50 | pass |
| Gas-godown minimum/maximum height 6 | true | true | 0.000001 | §6.5.4minimum6m,p94;§3.2.3maximum6m,p50 | pass |
| Gas-godown minimum/maximum height 6.001 | false | false | 0.000001 | §6.5.4minimum6m,p94;§3.2.3maximum6m,p50 | pass |
| Partial-top fraction boundary 0 | false | false | 0.000001 | Independent arithmetic / geometric construction | pass |
| Partial-top fraction boundary 0.001 | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Partial-top fraction boundary 1 | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Partial-top fraction boundary 1.001 | false | false | 0.000001 | Independent arithmetic / geometric construction | pass |
| Group UI example includes smaller roof and parking | [7,28000,32450.595,1296.432,25] | [7,28000,32450.595,1296.432,25] | 0.000001 | 62×(97−1200/74−9)=4450.594595footprint;6full floors+1296.432432roof=28000;2.6+7×3.2=25 | pass |
| Single partial level ground geometry is measured | [72,72,72] | [72,72,72] | 0.000001 | 12×12×.5=72m²occupied and ground-covered | pass |
| Partial occupied level above stilt retains full stilt footprint | [144,72,216] | [144,72,216] | 0.000001 | 144m²parking+72m²occupied=216m²gross;72m²FAR | pass |
| Park may cross the building envelope into setbacks | true | true | 0.000001 | §3.1.2.2(ii)p35;prior inside-envelope-only assumption removed | pass |
| Setback park is credited exactly once | 600 | 599.9999999999995 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Coverage subtracts only park intersection with envelope | 2011.090909090909 | 2011.0909090909095 | 0.000001 | 36×65.5−36×(73−(77−600/44)) | pass |
| Credited park partitions into envelope and setback area | 600 | 599.9999999999995 | 0.000001 | Independent arithmetic / geometric construction | pass |
| Boundary pathway is separately reserved | true | true | 0.000001 | Rear park edge movesfrom77to78;1m enters3m path inside80m plot | pass |
| Park outside plot is rejected | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Park/building overlap remains prohibited | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Stilt footprint may not occupy the park under a smaller occupied plate | true | true | 0.000001 | Independent arithmetic / geometric construction | pass |
| Group example uses less height when park can occupy setbacks | 25 | 25 | 0.000001 | 7occupied floors×3.2+2.6stilt=25m;previous inside-envelope scenario needed8floors | pass |
| Group example park credit within setbacks independent arithmetic | 566.5945945945945 | 566.5945945945954 | 0.000001 | Park74×600/37=1200;envelope intersection62×(600/37−6) | pass |