83/83 cases passed. Purchase studies are unapproved conditional scenarios. Source-table maxima govern the selected study; conflicting prose is separately flagged, not used as a hidden replacement cap. Costs, actual approval, infrastructure, parking and full fire/structural compliance remain outside this numeric check.
Studio · Base cases · Layout cases · Expected/actual results
| Case | Expected | Actual | Evidence | Tolerance | Result |
|---|---|---|---|---|---|
| Base budget remains unchanged without a request | 42000 | 42000 | 12000m² x3.5 base FAR | 0.000001 | pass |
| Group total4FAR study uses48000m² | 48000 | 48000 | 12000 x4; source §3.2.2.3p44 / §10.2pp114–115 | 0.000001 | pass |
| Conditional increase is never an approved mode | "purchase-study" | "purchase-study" | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Conditional approval-needed review is present | true | true | §10.2.4(iv)p115:enabling provision,not a right | 0.000001 | pass |
| Group purchase-road threshold 11.999 | false | false | §10.2.1(ii)p114:12m plotted/group | 0.000001 | pass |
| Group purchase-road threshold 12 | true | true | §10.2.1(ii)p114:12m plotted/group | 0.000001 | pass |
| Group purchase-road threshold 12.001 | true | true | §10.2.1(ii)p114:12m plotted/group | 0.000001 | pass |
| Other occupancy purchase-road threshold 17.999 | false | false | §10.2.1(ii)p114:18m others | 0.000001 | pass |
| Other occupancy purchase-road threshold 18 | true | true | §10.2.1(ii)p114:18m others | 0.000001 | pass |
| Other occupancy purchase-road threshold 18.001 | true | true | §10.2.1(ii)p114:18m others | 0.000001 | pass |
| Group purchase cap at road 23.999 | 7 | 7 | §3.2.2.3p44 and §10.2.3Note1p114:occupancy cap prevails | 0.000001 | pass |
| Group purchase cap at road 24 | 10.5 | 10.5 | §3.2.2.3p44 and §10.2.3Note1p114:occupancy cap prevails | 0.000001 | pass |
| Group purchase cap at road 24.001 | 10.5 | 10.5 | §3.2.2.3p44 and §10.2.3Note1p114:occupancy cap prevails | 0.000001 | pass |
| Group purchase cap at road 44.999 | 10.5 | 10.5 | §3.2.2.3p44 and §10.2.3Note1p114:occupancy cap prevails | 0.000001 | pass |
| Group purchase cap at road 45 | "No finite table cap" | "No finite table cap" | §3.2.2.3p44 and §10.2.3Note1p114:occupancy cap prevails | 0.000001 | pass |
| Group purchase cap at road 45.001 | "No finite table cap" | "No finite table cap" | §3.2.2.3p44 and §10.2.3Note1p114:occupancy cap prevails | 0.000001 | pass |
| Plotted table maximum is not replaced by conflicting2.0prose | [2.5,2.5,true] | [2.5,2.5,true] | §10.2.3Note3p114 prose2.0 vs p43/p115 tables2.25/2.50 | 0.000001 | pass |
| Plotted requested2.0 adds26m² | 26 | 26 | 280 x2 -534 =26m² | 0.000001 | pass |
| Plotted2.1 input is allowed by2.50table | 588 | 588 | 280x2.1=588m²; old artificial2.0cap removed | 0.000001 | pass |
| Plotted input above2.50 remains rejected | true | true | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Finite group request cap 6.999 | true | true | Supported total7.0 on18m road | 0.000001 | pass |
| Finite group request cap 7 | true | true | Supported total7.0 on18m road | 0.000001 | pass |
| Finite group request cap 7.000001 | false | false | Supported total7.0 on18m road | 0.000001 | pass |
| Out-of-cap serialized request does not create entitlement | [42000,"base",true] | [42000,"base",true] | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Road change deactivates additional FAR without inventing approval | [4500,"base",true] | [4500,"base",true] | Office example1800m² x2.5base;12m road below purchase18m | 0.000001 | pass |
| No invented purchase uplift for fuel2w | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| No invented purchase uplift for fuel | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| No invented purchase uplift for fuelService | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| No invented purchase uplift for gas | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| No invented purchase uplift for coldStorage | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| No invented purchase uplift for fruitMarket | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| No invented purchase uplift for utilities | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| No invented purchase uplift for farm | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| No invented purchase uplift for dairy | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| No invented purchase uplift for plantNursery | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| No invented purchase uplift for openSpace | false | false | Fixed/specific/blank maximum or50m² nursery allowance; pp44–47,Chapter10Note1 | 0.000001 | pass |
| Sports-specific maximum0.6prevails | 0.6 | 0.6 | §3.2.2.8p46 | 0.000001 | pass |
| Unrestricted table does not select infinity automatically | 42000 | 42000 | Base remains selected until finite target entered | 0.000001 | pass |
| Finite premium study on45m road is labelled | [120000,true,"purchase-study"] | [120000,true,"purchase-study"] | 12000 x10; beyond ordinary100%base uplift, premium potential remains conditional | 0.000001 | pass |
| Recorded approval remains distinct and unchanged | [50000,"approval",false] | [50000,"approval",false] | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| FAR study edit never fabricates approval fields | true | true | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Return to base removes only the purchase-study request | true | true | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Invalid serialized request rejected NaN | true | true | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Invalid serialized request rejected Infinity | true | true | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Invalid serialized request rejected -1 | true | true | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Invalid serialized request rejected 0 | true | true | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Floor edit preview matches independent area arithmetic | [751,217] | [751,217] | 217x3+100=751;751-534=217m²over | 0.000001 | pass |
| Preview operation never commits the draft | true | true | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Height-only preview preserves floor area | true | true | Independent arithmetic / preserved-state invariant | 0.000001 | pass |
| Shared multi-building study has one48000m²budget | [48000,48000,2,true] | [48000,48000,2,true] | 12000x4,not48000perbuilding;coupled setbacks/gaps/fire/park reevaluated | 0.000001 | pass |
| Attached plotted table row at35m² | [2,2.25] | [2,2.25] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at35.001m² | [2,2.25] | [2,2.25] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at149.999m² | [2,2.25] | [2,2.25] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at150m² | [1.8,2.5] | [1.8,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at150.001m² | [1.8,2.5] | [1.8,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at299.999m² | [1.8,2.5] | [1.8,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at300m² | [1.75,2.5] | [1.75,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at300.001m² | [1.75,2.5] | [1.75,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at499.999m² | [1.75,2.5] | [1.75,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at500m² | [1.5,2.5] | [1.5,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at500.001m² | [1.5,2.5] | [1.5,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at1199.999m² | [1.5,2.5] | [1.5,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at1200m² | [1.25,2.5] | [1.25,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| Attached plotted table row at1200.001m² | [1.25,2.5] | [1.25,2.5] | §3.2.2.2,p43; visually verified supplied table,lower-inclusive/upper-exclusive thresholds | 0.000001 | pass |
| No plotted table row is invented below35m² | [null,false] | [null,false] | §3.2.2.2 first row begins35m² | 0.000001 | pass |
| Plotted input boundary 149.999m² at2.25FAR | true | true | Input uses exact applicable table maximum,not conflicting prose2.0 | 0.000001 | pass |
| Plotted input boundary 149.999m² at2.250001FAR | false | false | Input uses exact applicable table maximum,not conflicting prose2.0 | 0.000001 | pass |
| Plotted input boundary 150m² at2.5FAR | true | true | Input uses exact applicable table maximum,not conflicting prose2.0 | 0.000001 | pass |
| Plotted input boundary 150m² at2.500001FAR | false | false | Input uses exact applicable table maximum,not conflicting prose2.0 | 0.000001 | pass |
| Plotted input boundary 280m² at2.5FAR | true | true | Input uses exact applicable table maximum,not conflicting prose2.0 | 0.000001 | pass |
| Plotted input boundary 1200m² at2.5FAR | true | true | Input uses exact applicable table maximum,not conflicting prose2.0 | 0.000001 | pass |
| 280m² table maximum gives700m²allowance | [700,166] | [700,166] | 280x2.50=700;700-534=166m²additional | 0.000001 | pass |
| 280m² base row and effective base remain distinct | [1.8,534,1.9071428571428573] | [1.8,534,1.9071428571428573] | §3.2.2p43 worked example:150x2+130x1.8=534;534/280=1.907142857 | 0.000001 | pass |
| Attached group table at12mroad | [3.5,7] | [3.5,7] | §3.2.2.3p44; supplied table rows12–<18/18–<24/24–<45/≥45 | 0.000001 | pass |
| Attached group table at17.999mroad | [3.5,7] | [3.5,7] | §3.2.2.3p44; supplied table rows12–<18/18–<24/24–<45/≥45 | 0.000001 | pass |
| Attached group table at18mroad | [3.5,7] | [3.5,7] | §3.2.2.3p44; supplied table rows12–<18/18–<24/24–<45/≥45 | 0.000001 | pass |
| Attached group table at23.999mroad | [3.5,7] | [3.5,7] | §3.2.2.3p44; supplied table rows12–<18/18–<24/24–<45/≥45 | 0.000001 | pass |
| Attached group table at24mroad | [3.5,10.5] | [3.5,10.5] | §3.2.2.3p44; supplied table rows12–<18/18–<24/24–<45/≥45 | 0.000001 | pass |
| Attached group table at44.999mroad | [3.5,10.5] | [3.5,10.5] | §3.2.2.3p44; supplied table rows12–<18/18–<24/24–<45/≥45 | 0.000001 | pass |
| Attached group table at45mroad | [3.5,"Unrestricted"] | [3.5,"Unrestricted"] | §3.2.2.3p44; supplied table rows12–<18/18–<24/24–<45/≥45 | 0.000001 | pass |
| Attached group table at60mroad | [3.5,"Unrestricted"] | [3.5,"Unrestricted"] | §3.2.2.3p44; supplied table rows12–<18/18–<24/24–<45/≥45 | 0.000001 | pass |
| Unrestricted road45 accepts finite target beyond10.5 | 11 | 11 | No finite FAR maximum is invented; source conditions/other controls remain | 0.000001 | pass |
| Plotted conflict remains a visible review even in base mode | true | true | Conflicting Chapter10 prose preserved without overriding the table-study input | 0.000001 | pass |