Front Matter
- Title Page
- Abstract
- Statement of Originality
- Data Availability Statement
- Acknowledgements
- Table of Contents
- List of Figures
- List of Tables
- List of Abbreviations
- Glossary
- Writing Philosophy and Principles Commitment
Background
Main Body
- Chapter 1: Introduction
- Chapter 2: Literature Review and Theoretical Framework
- 2.0 Chapter Roadmap
- 2.1 Housing Need as Dynamic Person-Environment Fit
- 2.2 Why Misfit Persists: Stock Inertia, Non-Convex Costs, and Lumpy Adjustment
- 2.3 From Persistence to Stickiness: Path Dependence, Lock-In, Hysteresis, Divergence
- 2.4 Supply-Side Architecture of Local Optionality
- 2.5 Interface Discipline and Adoption Logic
- 2.6 Bounded Optionality: Nominal vs Effective, Bounded Rationality, Permutation Explosion
- 2.7 Dimensionality Reduction and Bounded Optionality as Enabling Constraint
- 2.8 Modularity, Interfaces, and Manageable Change
- 2.9 Four Critical Properties
- 2.10 The Representational-Governance Problem Class
- 2.11 Meta-Requirements and Research Questions
- Chapter 3: Theory. Modularity and Complexity
- 3.1 Introduction: Why Modularity and Complexity Form the Lens
- 3.2 Wickedness Emerges from Complex Adaptive Dynamics
- 3.3 Modularity Theory and the Representational Substrate
- 3.4 Platform Architecture Makes Modularity Actionable at System Scale
- 3.5 The Design-Theory Contract
- 3.6 Conclusion: Theoretical Commitments and Chapter Transition
- Chapter 4: Methodology
- 4.1 Introduction: From Theory Contract to Method Contract
- 4.2 Research Paradigm and the Inheritance from Theory
- 4.3 Design Cycles, the Data Pipeline, and the Census Basis of Evidence
- 4.4 Evaluation Questions and Measures
- 4.5 Adjudication, Thresholds, and the P5 Composite Criterion
- 4.6 Validity and Reliability
- 4.7 Ethical Considerations and the Handoff Contract
- Chapter 5: A Queryable Schema for Accessibility Standards
- 5.1 Introduction
- 5.2 Artefact-Specific Literature: Standards Formalisation and Lexical Ambiguity
- 5.3 Schema Design Theory, the SDA Domain, and Contribution Positioning
- 5.4 Artefact Objectives, Corpus, and Analytical Methods
- 5.5 Schema Objectives
- 5.6 Corpus and Source Material
- 5.7 Analytical Methods
- 5.8 Evaluation Framework, Success Criteria, and DSR Iteration Evidence
- 5.9 Success Criteria and Rejection Logic
- 5.10 Design Science Research Iteration Evidence
- 5.11 Empirical Baseline: Ambiguity and Fragmentation
- 5.12 Schema Design: Principles and the Five-Layer Contract
- 5.13 The Clause-Representation Contract, Inventories, and Residual Governance
- 5.14 Implementation: The Five-Stage Serialisation Pipeline
- 5.15 Pipeline Architecture
- 5.16 Identity Generation and Clause Classification
- 5.17 Term-Level Analysis and Polysemy Protocol
- 5.18 Foundational Mapping and Fallback Governance
- 5.19 Row Assembly, Validation, and Reproducibility Controls
- 5.20 Evaluation Results: Resolution Rate, Deontic Force, and Schema Comparison
- 5.21 Resolution Rate: Overall Results
- 5.22 Resolution Rate by Clause Class
- 5.23 Deontic Force: Honest Reframing
- 5.24 Null-Model and Reduced-Schema Comparison
- 5.25 Robustness, Integrated Assessment, Contributions, and Handoff to Chapter 6
- 5.26 Threshold Sensitivity
- 5.27 Integrated Assessment Against Success Criteria
- 5.28 Contribution
- 5.29 Limitations
- 5.30 Handoff Contracts to Chapter 6
- 5.31 Future Work
- Chapter 6: A Governed Kernel Architecture for Housing
- 6.1 Introduction, the Governed Kernel Architecture, and Layer 1: The Generative Grammar
- 6.2 Layer 2. The Modular Contract System: Taxonomy and Constituents
- 6.3 Layer 2. The Modular Contract System: Interaction Rules and the Modularity Admission Test
- 6.4 Layer 3: The Governed Instance Library and System Validation
- 6.5 Contributions, Limitations, and Handoff to Chapter 7
- Chapter 7: A Formal Notation for Floor Plans
- 7.1 Introduction and the Need for Formal Notation
- 7.2 Notation Architecture and the Wrapping Functor
- 7.3 RecPol: The Formal Core
- 7.4 Design axioms and their consistency
- 7.5 World model and coordinate systems
- 7.6 Entity type system and plane projection
- 7.7 The complete EBNF
- 7.8 Canonical orthography
- 7.9 Three-plane verb systems
- 7.10 Version semantics
- 7.11 Generative constraints
- 7.12 Goodman compliance
- 7.13 PlaniSyn: The Applied Layer
- 7.14 Three-layer architecture
- 7.15 Tag grammar and object model
- 7.16 Spatial primitives
- 7.17 Interaction types and interface expressibility
- 7.18 Hierarchical nesting and the verification sequence
- 7.19 Constraint preservation
- 7.20 Encoding, Validation, and Contributions
- 7.21 The encoding pipeline
- 7.22 A worked example: an L-shaped living-kitchen with a coupled service lane
- 7.23 Round-trip fidelity
- 7.24 Requirements traceability
- 7.25 Five demonstrated properties
- 7.26 Contributions
- 7.27 Limitations
- 7.28 Handoff contracts to Chapter 9
- 7.29 Forward to Chapter 9
- Chapter 8: Evidence from a Census of Australian Floor Plans
- 8.1 Introduction
- 8.2 The problem: bridging theoretical commitment and empirical grounding
- 8.3 What the substrate establishes: one compound claim, ten instantiations
- 8.4 The research question and its four-pipeline answer
- 8.5 The Empirical Turn: Why a Substrate Chapter Is Necessary
- 8.6 Why theoretical specification is not enough
- 8.7 What an empirical substrate is, and what it contributes
- 8.8 Four questions, four pipelines: the triangulation strategy
- 8.9 The substrate’s position in the study’s arc
- 8.10 Corpus Construction: Method and Calibration
- 8.11 Why a corpus, and why this one
- 8.12 The methodology pivot: agent-manual over API extraction
- 8.13 The ten-principle calibration ruleset
- 8.14 Corpus Pipeline, Merge, and Sealing
- 8.15 The five-stage extraction pipeline
- 8.16 The August-plus-October merge
- 8.17 Sealing and provenance
- 8.18 Residual scope-limit declarations
- 8.19 Dimensional Evidence
- 8.20 The dimensional question: a metric grid and its standards
- 8.21 The module sweep and the 50 mm result
- 8.22 Robustness: cohort boundary and matching tolerance
- 8.23 Where the grid holds: structure across product tiers
- 8.24 The micro grain and the three-tier grid
- 8.25 Handoff to the frequency question
- 8.26 Occurrence Evidence
- 8.27 What the occurrence pipeline measures
- 8.28 The 72-category frequency distribution
- 8.29 Opening types and the topological aggregate
- 8.30 The frequency-threshold derivation
- 8.31 Stability of the threshold partition
- 8.32 The meso-tier module synthesis
- 8.33 Topological Evidence
- 8.34 The topological question: access graphs and coupling
- 8.35 The circulation hallway as organising hub
- 8.36 The coupling partition: required and preferred adjacencies
- 8.37 Threshold sensitivity and the census read directly
- 8.38 Are the dispreferences regulated? The NCC sweep (CL-8-05)
- 8.39 The Census Coupling Structure
- 8.40 The census coupling structure and sensitivity finding S5-3
- 8.41 Handoff to the configurational pipeline
- 8.42 Configurational Evidence
- 8.43 The configurational question: polyomino grammar and enumeration
- 8.44 The feasibility rules and the symmetry group
- 8.45 Arrangements, packings, and the deduplication result
- 8.46 The three geometric indices
- 8.47 The Partial Grammar and the Superset-Language Framing
- 8.48 The partial grammar and the superset-language framing (CL-8-06)
- 8.49 Handoff to integration (HC-8D)
- 8.50 Integration
- 8.51 The integration stance: triangulation, not redundancy
- 8.52 Cross-pipeline coherence: the six probes
- 8.53 The ten claims as facets of one substrate
- 8.54 The four handoff contracts
- 8.54a The three-tier modular grid: micro, meso, macro
- 8.55 The merged-corpus coupling matrix
- 8.56 Scope limits and the forward to Chapter 9
- 8.57 Validation
- 8.58 Why three validation dimensions
- 8.59 Reproducibility: two of four pipelines verified
- 8.60 Stability: dimensional stable, topological secure on the interior
- 8.61 Coverage and the single-author limit
- 8.62 The verdict-loop record and the anti-fabrication posture
- 8.63 Limitations and External Validity
- 8.64 The function of declared limitations
- 8.65 External validity: what the substrate licenses
- 8.66 Conclusion
- 8.67 What the chapter constructed
- 8.68 The ten claims and their final status
- 8.69 The four handoff contracts and the open pathways
- 8.70 Design knowledge from the geometry read
- 8.71 The chapter’s position in the study
- Chapter 9: Generating Documented Dwelling Variants
- 9.1 Introduction
- 9.2 The Documentation Bottleneck
- 9.3 An empirical anchor: documentation resists naive automation
- 9.4 Four families of existing approach
- 9.5 The gap the generator fills
- 9.6 The Procedural-Generation Pipeline: Four-Stage Architecture
- 9.7 Four-stage transformation: ingest, validate, transform, emit
- 9.8 Architectural position: a thin executable layer over a thick specification stack
- 9.9 Three design decisions
- 9.10 Inter-stage contracts and independent testability
- 9.11 The specification and its existence proof
- 9.12 The Pre-Vetted Library: Definition and Distinction
- 9.13 What the pre-vetted library is
- 9.14 Distinction from naive component libraries
- 9.15 Theoretical Warrant: Three Converging Literatures
- 9.16 Current population state
- 9.17 Curation discipline
- 9.18 Position against future work
- 9.19 Prototype: Runtime and the Documentation-Packet Contract
- 9.20 Architecture and runtime stack
- 9.21 The documentation-packet contract
- 9.22 PlaniSyn predicate parsing and the Unparsed-line discipline
- 9.23 The end-to-end run
- 9.24 Spot-checks: ENT-FA-01 and KIT-FA-01
- 9.25 Why this is the minimum DSR instantiation depth
- 9.26 Reproducibility and the procedural round-trip
- 9.27 Conclusion and Handoff to Chapter 10
- Chapter 10: Demonstration and Evaluation
- 10.1 Introduction: A Single Dwelling Traced Across Its Life-Cycle
- 10.2 Demonstration Case 1: The Trajectory Site (Baseline and Canonical Trunk)
- 10.3 Demonstration Case 2: The Fork at S4 (Typical Ageing vs SDA-Overlay-with-Secondary)
- 10.4 Results: Standards Interpretability
- 10.5 Operational definition
- 10.6 Per-state interpretability profile
- 10.7 The interface-obligation limitation
- 10.8 Diagnostic locality and cross-event traceability
- 10.9 Verdict against the threshold
- 10.10 Results: Modular Fit and the Module-Inheritance Ratio
- 10.11 Operational definition and the module-inheritance ratio
- 10.12 Per-state modular-fit profile
- 10.13 Per-state module-inheritance ratio
- 10.14 Stable anchors
- 10.15 Variant introduction and its structured-field limitation
- 10.16 Hard-constraint cases and the verdicts
- 10.17 Results: Workflow Efficiency and Discussion of Results
- 10.18 Per-event workflow burden
- 10.19 Synthesis matrix
- 10.20 Aggregate verdict against the four properties
- 10.21 Disconfirming and boundary outcomes
- 10.22 Cross-chapter integration, limitations, and what the trajectory does not exercise
- 10.23 Conclusion
- Chapter 11: Discussion
- 11.1 Introduction
- 11.2 Synthesis of Contributions
- 11.3 Theoretical Implications
- 11.4 Practical Implications
- 11.5 Limitations
- 11.6 Single-rater calibration scope (Ch5-CW-04)
- 11.7 Cross-corpus generalisation (Ch6-AW-04)
- 11.8 Independent third-party Goodman verification (Ch7-CW-10ER)
- 11.9 RB/LV/UN baseline-library scope-limit
- 11.10 SDA-Robust governed-kernel scope-limit
- 11.11 Single-dwelling demonstration trajectory
- 11.12 Synthetic-dwelling positioning
- 11.13 Parser interface-obligations limitation
- 11.14 Production-grade tooling
- 11.15 Proposition 3 (manipulability) evidence borrowing
- 11.16 Proposition 5 (burden) practitioner-field evaluation
- 11.17 HLP/OFC/DIN/LNK module-class taxonomy
- 11.18 Vocabulary divergence between Chapter 10 Section 10.17 and Section 10.23
- 11.19 Future Work
- 11.20 External multi-rater inter-rater-reliability validation
- 11.21 Cross-corpus generalisation study
- 11.22 Independent Goodman verification
- 11.23 Full RB/LV/UN baseline-library expansion
- 11.24 Multi-dwelling cohort study
- 11.25 Parser interface-obligations field surfacing
- 11.26 Production-grade generator tooling
- 11.27 Non-specialist practitioner usability evaluation
- 11.28 Practitioner-burden field study
- 11.29 HLP/OFC/DIN/LNK formal taxonomy amendment
- 11.30 LLM-assisted authoring layer
- 11.31 Cross-jurisdictional SDA-equivalent regimes
- 11.32 Conclusion
- Chapter 12: Conclusion
- 12.1 Summary of Thesis
- 12.2 Summary of Contributions
- 12.3 Final Recommendations
- 12.4 Concluding Remarks
Appendices
- Appendices Index
- Appendix A: Research Commitments and Contributions
- Appendix B: Conceptual and Literature Evidence
- Appendix C: Text as a Building Medium
- Appendix D: Requirements, Grounding, and Traceability
- Appendix E: Notation and Schema Specifications
- Appendix F: Reference Catalogs and Dictionaries
- Appendix G: Chapter 5 SDA Corpus Data and Results
- G.1 Chapter 5 Evaluation Results and Data Package
- G.2 Chapter 5 Reference Tables
- G.3 SDA Corpus Integrity Metrics
- G.4 Trigram and Part-of-Speech Structural Metrics
- G.5 Foundational Primitive Mapping Coverage
- G.6 Predicate Coverage and Deontic Force
- G.7 Polysemy Burden Assessment
- G.8 Figures-Channel Ambiguity Analysis
- G.9 Cross-Channel Validation Results
- G.10 Data Pipeline and Reproducibility
- Appendix H: Chapter 8 Spatial-Topology Data and Metrics
- H.1 Polyomino Combinatorics and Shape Grammar
- H.2 Packing-Efficiency Metrics
- H.3 Topological Coupling and Adjacency Graph Theory
- H.4 Dimensional Modularity and ISO 2848 Grounding
- H.5 Numerical Design References from the Floor-Plan Geometry Census
- H.6 Empirical Design Rules from the Floor-Plan Geometry Census
- H.7 The Componential Space Lexicon
- H.8 The g-Primitive Kit as the Generator’s Grounded Vocabulary
- Appendix I: Figure Traceability
Bibliography
The thesis uses inline footnote citations throughout the prose; full reference entries are aggregated at the end of the manuscript (in References) and cross-referenced from each footnote callout. Near-identical citations of the same work are consolidated into a single entry; the list is ordered alphabetically by first-author surname.