Front Matter

Title Page

Modular Infrastructure for Inclusive Housing

Ground-up Application of a Modular Framework to Improve Housing for Ability-Diverse Living

Tran Thien Toan Ngo

Student ID 22148804

A draft thesis submitted in fulfilment of the requirements for the degree of

Doctor of Philosophy

Centre for Infrastructure Engineering

School of Engineering, Design and Built Environment

Western Sydney University

Principal Supervisor: Dr Pejman Sharafi, Associate Professor

Co-Supervisor: Dr Jun Wang, Senior Lecturer

Abstract

Households whose abilities differ (with age, with disability, with the changing membership of a life-stage) make demands on their housing that shift across a building’s long life. Most will be housed by stock that already stands, so the binding question is how much change an existing dwelling can absorb. That capacity is limited, on our reading, as much by a dwelling’s representational infrastructure (its drawings, schedules, certificates, and the regulatory texts they answer to) as by its physical fabric: a change meant to stay local repeatedly forces global re-checking across every commitment that holds the dwelling together. Keeping a local change local, a problem of representational governance, is what this thesis treats as a design-science problem and answers with a modular architecture for the dwelling.

The response transposes two lineages onto housing. From the study of complex systems (Simon, Parnas, Baldwin and Clark) it takes the principle that change stays tractable when interdependence is bounded by stable interfaces that publish what others may rely on and hide what lies within; from Open Building, the layered dwelling whose long-life support carries a renewable short-life infill. Joining them yields the thesis’s central artefact, a Governed Kernel Architecture: a governed kernel (a small set of design rules, nine module types over a stratified vocabulary of seven primitives and seven composites, a variant-inheritance rule, and explicit interface contracts) around which life-cycle variation is absorbed in a bounded governed instance library. The kernel is governed rather than frozen: fixed for any given configuration, yet revisable through a rule-bound, versioned path. The architecture is set out as a design theory and instantiated through a coordinated artefact suite: a schema that renders regulatory prose queryable; the module system that houses the kernel; a planimetric notation that can be written and read back without loss of meaning; a generation-and-documentation pipeline; and an empirical substrate of 745 Australian floor plans. Specialist Disability Accommodation under Australia’s National Disability Insurance Scheme serves as the proving ground, not the subject, because it concentrates the difficulty into one auditable instrument.

The decisive test sits at a single fork: one four-bedroom dwelling branches two ways (the original occupants ageing in place, or a higher-support refurbishment with an attached secondary dwelling) and both are absorbed without the governed kernel moving. A representation that travels intact between actors, and one that confines the effects of a local change, appear well supported; governed variation under shared rules holds at moderate confidence within the single branch examined; faithful replay of authoring acts, and net benefit across a dwelling’s life, remain only partly established. Wider rater studies, further trajectories, other building stocks and regulatory regimes, and a production implementation would extend the warrant.

Keywords: modular architecture and design rules; governed kernel; housing adaptation; representational governance; Open Building; planimetric notation; design science research.

Statement of Originality

The work presented in this thesis is, to the best of my knowledge and belief, original except as acknowledged in the text. I hereby declare that I have not submitted this material, either in full or in part, for a degree at this or any other institution.

………………………………………………..

Tran Thien Toan Ngo

Date:

Acknowledgements

I am grateful to my principal supervisor, Associate Professor Pejman Sharafi, and my co-supervisor, Dr Jun Wang, whose guidance, patience, and critical reading shaped this work at every stage. Their willingness to let the argument develop on its own terms, while holding it to account, made the thesis possible.

I thank the Centre for Infrastructure Engineering and the School of Engineering, Design and Built Environment at Western Sydney University for the resources, candidature support, and research environment that sustained this project.

Any errors that remain are my own.

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

Background Context
Thesis Structure Overview

Main Body

Appendices

Appendices Index

Bibliography

References

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.

List of Figures

The list of figures inventories the figure callouts harvested from chapter prose. Figures carry no numbers: each entry pairs the figure title with a wikilink to the host section module that renders it (or, where a standalone figure module is still load-bearing, to that module).

Chapter 2: Literature Review and Theoretical Framework

Person-environment fit: competence-press dynamics (view)
Lawton-Nahemow zone model: competence-press space with blocked adjustment (view)
Separation of concerns: monolithic vs layered systems (view)
Shearing layers of the built environment (layer lifetimes) (view)
Nominal to effective optionality funnel (view)
Six conditions for manageable change (view)
Chapter 2 argument map (view)
Gregor-Hevner knowledge contribution framework (view)
Hevner’s DSR three-cycle view (view)
Meta-requirements traceability network (view)
Near-decomposability: block-diagonal interaction structure (view)
Containing vs transmitting interface behaviour (view)
Life-course trajectory divergence (view)
Permutation explosion: independent vs coupled decision variables (view)
Three interface types in housing adaptation (view)
Burden accumulation across interface sequence (view)

Chapter 3. Theory: Modularity and Complexity

Chapter 3 theory map (view)
CAS feedback loops in the housing adaptation domain (view)
Modularity constructs: interface-governed interaction density (view)
Schematic Model of a Module (view)
Platform architecture: from requirements to verification (view)
Design-theory scaffold (after Gregor and Jones 2007) (view)

Chapter 4: Methodology

DSR cycle architecture (view)
Four-layer data pipeline architecture (view)
Evaluation traceability map (view)
Thesis alignment with Hevner’s three-cycle DSR framework (view)
Validity threat matrix (view)

Chapter 5: A Queryable Schema for Accessibility Standards

Five-layer standardisation schema architecture (view)
Five-stage serialisation pipeline (view)
Resolution rate profile by dimension (view)
Resolution rate by clause class (view)
Progressive schema layer contribution (view)
External benchmarking coverage (view)
Primitive ablation information loss (view)
Threshold sensitivity: polysemy ratio across frequency cutpoints (view)
Cross-channel fragmentation: text-figure normative coverage overlap (view)
Design Science Research iteration history for the standardisation schema (view)
Deontic force decomposition: three-path honest reframing (view)
Strongly coupled primitive co-occurrence pairs (view)
Literature positioning: four-stream intersection of the standardisation schema (view)
SDA foundational primitive taxonomy (view)
Artefact suite dependency chain with handoff contracts (view)

Chapter 6: A Governed Kernel Architecture for Housing

The Governed Kernel Architecture: three layers and the governed instance library (view)
The stratified vocabulary: seven primitives, seven composites, ten operators (view)
Twelve-pair boundary network with interaction differential heatmap (view)
Verification sequence DAG (view)

Chapter 7: A Formal Notation for Floor Plans

Two-layer notation architecture (view)
Cell taxonomy by free-edge count (view)
Three-plane stratification with entity types and verb families (view)
Local and global grids across Shape, Form, and Instance (view)
RecPol EBNF production rules and LL(1) decision points (view)
RecPol syntax by example: coordinates, joints, and free-edge counts (view)
Raw and canonical form with the canonicalisation operator (view)
Composite shape construction (worked example, S1) (view)
Composite construction (abstract concept) (view)
Lateral attachment of two distinct shapes via edge selection (view)
Reflective self-attachment with the canonicalisation operator (view)
Lanes and permeability flags as receptacle-prefix components (view)
Permeability matrix: conditions in which two receptacles may overlap (view)
Object exclusivity cases: disjoint, adjacent, and overlapping configurations (view)
Instance placement walk-through (faithful worked example, RecPol syntax) (view)
Instance placement (clean conceptual: Place, Mirror, Rotate) (view)
PlaniSyn three-layer architecture with tag types and interaction mapping (view)
Verification sequence constraint encoding (HC-6C) (view)

Chapter 8: Evidence from a Census of Australian Floor Plans

Geographic and market coverage of the merged corpus (view)
Corpus construction data flow (view)
Space-category frequency distribution (745-plan corpus) (view)
Base-module lift over the reporting-convention null, by cohort (view)
Most frequent dimension values in the building cohort (view)
Module lift across matching tolerances, building cohort (view)
Module lift by product tier (view)
Space-category connectivity frequency heatmap (view)
Space-category coupling network (745-plan census) (view)
Hard- and soft-constraint adjacency segregation subgraph (view)
Generator constraint funnel: from all polyominoes to feasible packings (view)
The dihedral symmetry group and canonical form (view)
Representative arrangement permutations from the generator (view)
Representative packing permutations showing port and attachment semantics (view)
Meso-tier module synthesis (view)
The four handoff contracts from the empirical substrate to the generator (view)

Chapter 9: Generating Documented Dwelling Variants

Procedural generation pipeline stages (view)
The generator prototype: end-to-end run flow (view)

Chapter 10: Demonstration and Evaluation

Trajectory tree (S0 → S4 → {S5a, S5b}) (view)
State progression: footprints (S0 to S4) (view)
Fork path comparison (S5a vs S5b) (view)
Standards-interpretability per-state profile (view)
Modular fit (Module-Inheritance Ratio) per-state metrics (view)
Per-event workflow burden across the trajectory (view)
Evaluation surface (cross-state EM-09-01..04 composite, 2×2 panel grid) (view)

Appendices

The appendix-data and supplementary-context appendices contain illustrative figures that are not numbered into the main-text figure sequence. See the appendix data index for the full appendix inventory.

Appendix Figure: Cross-chapter figure-traceability matrix (view)
Appendix Figure: Space-category coupling: classification thresholds and the required-adjacency spine (view)
Appendix Figure: Requirements-design-evaluation traceability flow (no orphan in any direction) (view)
Appendix Figure: PlaniSyn notation architecture: three layers, four interaction types, and the three-level Nesty hierarchy (view)
Appendix Figure: Figures-channel resolution rate by ambiguity dimension (view)
Appendix Figure: Lexical polysemy burden by entity: head-anchored WordNet sense counts (view)
Appendix Figure: Modularity-definition corpus: screening funnel and domain distribution (view)
Appendix Figure: Packing-fitness index distributions across 100 canonical packings (view)

List of Tables

The list of tables inventories the tables harvested from chapter prose. Tables carry no numbers: each entry pairs the table title with a wikilink to the source module. Where a table is rendered through a dedicated atomic module under the tbl_ prefix scheme, the link is to that module; where the table is inline within a section file, the link is to the host section.

Chapter 1: Introduction

The five-artefact suite (artefact → chapter → contribution) (view)

Chapter 2: Literature Review and Theoretical Framework

Research questions, artefacts, and meta-requirements (problem-class to designed-response mapping) (view)

Chapter 3. Theory: Modularity and Complexity

Principles of form and function (design-theory anatomy) (view)
Meta-requirement to proposition adjacency mapping (MR1-MR5 × P1-P5) (view)
Proposition contract matrix (mechanism, indicator, baseline, evidence, falsifier) (view)

Chapter 4: Methodology

Requirements-Design-Evaluation Traceability Matrix (view)

Chapter 5: A Queryable Schema for Accessibility Standards

Chapter 4 abstract measures mapped to the standardisation schema operationalisations (view)
Per-dimension resolution profile (identity, structural, deontic, lexical, mapping) (view)
Per-clause-class resolution rate scorecard (view)
Deontic force decomposition: coverage gap, force collapse, and force preservation pathways (view)
Schema-variant ablation: aggregate comparison delta across null, minimal, and full variants (view)
Layer-by-layer marginal-gain decomposition (view)
Threshold sensitivity: polysemy ratio across frequency cutpoints (view)
Cross-channel validation summary (text-figure normative coverage overlap) (view)
Failure mode to design principle to schema layer mapping (view)
Ambiguity-treatment categories in prior standards-formalisation work (view)

Chapter 6: A Governed Kernel Architecture for Housing

The seven schematic primitives (plane, definition, clause coverage, external grounding) (view)
The seven elaborated composites (derivation through the operator layer, clause coverage, external grounding) (view)
Relation-operator justification matrix (ontological gap, logical constraints, falsification test) (view)
The nine module types (defining primitives, key relations, clause count, within-cluster Jaccard) (view)
Module constituent specification (required and optional elements per module type) (view)
The twelve active module-boundary pairs (shared entity types, owner module, dominant semantic risk) (view)

Chapter 7: A Formal Notation for Floor Plans

Governed-kernel stratified vocabulary (seven primitives, seven composites, ten operators) mapped to PlaniSyn syntactic forms (view)
Pre/Post/Effect specification for the four PlaniSyn interaction types (view)
PlaniSyn interaction-type coverage of the three governed-kernel interface types (HC-6D, NR-014) (view)

Chapter 8: Evidence from a Census of Australian Floor Plans

Corpus construction: raw and cleaned counts for the two corpora (view)
Base-module lift over the reporting-convention null, by cohort (view)
Summary statistics for the three geometric indices (CEI, EEI, BEI) across 100 packings (view)
Census validation scorecard (reproducibility, stability, coverage) (view)

Chapter 9: Generating Documented Dwelling Variants

Documentation-packet contract (eleven frontmatter fields and seven body sections, with sources) (view)

Chapter 10: Demonstration and Evaluation

Evidence-object register: primary (matrix-declared) and inline-synthesised identifiers exercised across the trajectory (view)
Per-state corpus position against the general-residential cohort distribution (view)
State-by-state interpretability profile across the four sub-criteria (view)
Per-state modular-fit profile across the three components (view)
Per-state module-inheritance ratio (view)
Per-event workflow burden across the trajectory’s seven dwelling states (view)
Synthesis matrix: result domain → measure → evidence object → proposition → adjudication (view)

Chapter 11: Discussion

Contribution-synthesis matrix (property-proposition pair → Chapter 10 verdict → evidence anchor → boundary → synthesis claim) (view)

Chapter 12: Conclusion

Final recommendations (audience → recommendation → evidence base) (view)

List of Abbreviations

The list of abbreviations consolidates the acronyms and short forms used across the thesis prose. Each entry pairs the abbreviation with its expansion, a brief operational definition, and the chapter in which it is first introduced. For full conceptual definitions, see the Glossary; for reference targets such as evaluation measures, requirements, and propositions, see the Evaluation Workbench and the Requirements Register.

Regulatory and policy

ABCB: Australian Building Codes Board. Joint Commonwealth-State authority responsible for the National Construction Code. Ch1 §1.2.
AS: Australian Standard. Standards Australia document series; the AS 1428 series governs accessibility design. Ch1 §1.2; Ch5.
AS 1428: Australian Standards series for design for access and mobility (Parts 1 to 4 cited where relevant). Ch1 §1.2; Ch5 §5.4.
DSS: Department of Social Services (Cth). Policy authority for disability programmes that interact with the SDA regime. Ch1 §1.2.
NCC: National Construction Code. The unified building-code instrument for Australia, revised on a three-year cycle. Ch1 §1.2.
NDIA: National Disability Insurance Agency. The Commonwealth agency administering the NDIS, including SDA technical guidance. Ch1 §1.2.
NDIS: National Disability Insurance Scheme. The Australian Commonwealth scheme established by the National Disability Insurance Scheme Act 2013 (Cth). Ch1 §1.1.
SDA: Specialist Disability Accommodation. The NDIS-funded built-environment regime governed by the SDA Design Standard. Ch1 §1.1.

SDA design categories

FA: Fully Accessible. SDA Design Standard category for occupants with significant physical impairment. Ch1 §1.4; Ch5-Ch6.
HPS: High Physical Support. SDA Design Standard category for occupants with very high support needs. Ch5; Ch10.
IL: Improved Liveability. SDA Design Standard category for occupants with sensory, intellectual, or cognitive impairment. Ch5; Ch10.
RB: Robust. SDA Design Standard category for occupants requiring resilient construction. Ch5; Ch10.

Modularity-scheme primitives (Chapter 6)

BED: Bedroom (sleeping) module type within the governed-kernel nine-type taxonomy. Ch6 §6.3.4.
BR1, BR2, … BRn: Instance-suffix notation for BED-class module instances within a single dwelling (BR1 is the first BED-class instance, BR2 the second, and so on). Used in Ch10 demonstration prose where each instance must be referred to by ordinal identity (e.g., the master bedroom BR1 versus the secondary bedroom BR2). BR is not a separate module type; every BRn instance is a BED-class instance under the canonical nine-type taxonomy. Ch10 §10.3-§10.4.
BA1, BA2, … BAn: Instance-suffix notation for SAN-class module instances within a single dwelling (BA1 is the first SAN-class instance, typically the master ensuite or principal bathroom; BA2 the second). Used analogously to BRn in Ch10 demonstration prose. BA is not a separate module type; every BAn instance is a SAN-class instance under the canonical nine-type taxonomy. Ch10 §10.3-§10.4.
CIR: Circulation module type. Ch6 §6.3.4.
DIN: Dining variant tag (LIV variant under §6.4 Rule 4, for dining-zone configurations). Ch6 §6.4; Ch10.
DWL: Dwelling-envelope module type. Ch6 §6.3.4.
ENT: Entry module type. Ch6 §6.3.4.
EXT: External (site/secondary-dwelling) module type. Ch6 §6.3.4.
HLP: Helper/carer variant tag (BED variant under §6.4 Rule 4, for episodic helper or carer occupancy). Ch6 §6.4.
KIT: Kitchen module type. Ch6 §6.3.4.
LIV: Living module type. Ch6 §6.3.4.
LNK: Link variant tag (EXT variant under §6.4 Rule 4). Ch6 §6.4.
LV: Improved Liveability (Liveable) design category. Ch6 §6.3.
OFC: Office variant tag (LIV variant under §6.4 Rule 4, for home-office or workspace configurations). Ch6 §6.4; Ch10.
SAN: Sanitary (bathroom/WC/laundry) module type. Ch6 §6.3.4.
SVC: Service (utility/storage) module type. Ch6 §6.3.4.
UN: Category-independent (Universal) design category: requirements common to every SDA design category, carried by the governed kernel rather than as separate library entries. Ch6 §6.3.

Notation, schema, and methodology

API: Application Programming Interface. Used in the generator’s handoff context. Ch9.
BIM: Building Information Modelling. Family of object-oriented building representations; treated as a parent literature. Ch2 §2.5; Ch5.
CAD: Computer-Aided Design. Generic geometric modelling tradition referenced for distinction. Ch1 §1.2; Ch2.
CAS: Complex Adaptive System. Theoretical framing for wicked-problem dynamics. Ch3 §3.2.
CBS: Composition-Boundary-Stability. The former name of the trajectory’s modular-fit measure, now the Module-Inheritance Ratio (see MIR). Ch10 §10.5.
CFG: Context-Free Grammar. Underlying formalism for PlaniSyn. Ch7.
CLI: Command-Line Interface. Form factor of the generator prototype. Ch9 §9.5.
CP-D5: Corpus Population D5. The sealed 745-plan census of Australian residential floor plans (the empirical substrate; two construction strata: 572 October and 173 August). Ch4 §4.3; Ch8.
DSR: Design Science Research. The overarching methodological paradigm. Ch4 §4.2.
EBNF: Extended Backus-Naur Form. Grammar specification syntax used for RecPol. Ch7 §7.4.
GFA: Gross Floor Area. Dimensional measurement used in corpus and trajectory positioning. Ch8; Ch10.
IFC: Industry Foundation Classes. ISO-standardised BIM data schema. Ch2 §2.5; Ch5.
JSON: JavaScript Object Notation. Serialisation format used in the generator’s output. Ch9.
LCM: Least Common Multiple. Used in micro-to-meso module synthesis. Ch8 §8.8.
LL(1): Top-down parser class with one-token lookahead. RecPol parser characteristic. Ch7 §7.4.
MIR: Module-Inheritance Ratio (formerly the Composition-Boundary-Stability Index, CBS). The proportion of modules in a trajectory state inherited unchanged from the immediate predecessor, relative to the total module count at that state; reported as the trajectory’s modular-fit measure. Ch10 §10.5.
PlaniSyn: Planimetric Syntax (the notation’s applied layer). The semantically rich notation grammar (v6.0). Ch7 §7.5.
RecPol: Rectangular Polyomino (the notation’s formal core). The discrete-grid geometric notation. Ch7 §7.4.
SFS: Stratified Functional Structuralism. The thesis’s design-theoretic position. Ch3 §3.5.
SVG: Scalable Vector Graphics. Figure asset format used in the publish suite. Ch5 §5.27.
XML: Extensible Markup Language. Generic structured-text format referenced for distinction. Ch5.

Evaluation, propositions, and traceability codes

CW: Candidate-Work. Identifier prefix for items deferred to candidate post-submission work (e.g., Ch5-CW-04). Ch4; Ch5.
DF: Design Feature. Element of the Requirements-Design-Evaluation Traceability Matrix. Ch4 §4.4.
EM: Evaluation Measure. Element of the Evaluation Workbench (e.g., EM-4W-01). Ch4 §4.4.
EQ: Evaluation Question. Element of the Evaluation Workbench (e.g., EQ-01). Ch4 §4.4.
ER: Environment Requirement (environment-derived requirement; ER-01 to ER-06). The minimum problem scope the artefact suite must address, indexed by the Requirements-Design-Evaluation Traceability Matrix. Ch4 §4.4; see the Environment-Derived Requirements Register.
EVID: Evidence object identifier (e.g., EVID-P3-REPLAY, EVID-P3-INVARIANTS). Ch4; Ch7.
EXP: Experiment file. A sealed experiment record under experiments/recpol-v6/ (e.g., EXP-7.4-round-trip-fidelity.md), cited as the provenance for a notation or semantic result, including round-trip replay testing. Ch7 §7.6.
HC: Handoff Contract identifier (e.g., HC-6A-HC-6D for Ch6→Ch7; HC-8A-HC-8D for Ch8→Ch9). Naming the inter-chapter substrate contracts. Ch6 §6.8; Ch8 §8.8.
NR: Notation Rule identifier (e.g., NR-014). Ch7.
P1-P5: The five testable propositions of the Stratified Functional Structuralism design theory: P1 semantic interface and identity persistence, P2 interface-bounded modularity, P3 executable transformation grammar, P4 platform-governed complement evolution, P5 integrated utility under diachronic burden. Ch3 §3.5.
REC: Recommendation identifier (used in Ch12 final recommendations). Ch12 §12.3.
TR: Technological Rule (TR-01 through TR-04). Mid-range design-knowledge contributions formalised in Ch11. Ch11 §11.3.

State and trajectory codes (Ch10 demonstration)

E0→1 … E4→5: Transformation event identifiers between trajectory states. Ch10 §10.3-§10.4.
S0-S5: Dwelling state identifiers across the demonstration trajectory; the trajectory forks at S4 into S5a (typical ageing-in-place) and S5b (SDA-overlay-with-secondary). Ch10 §10.3-§10.4.

Symmetry and combinatorics

D4: In standard notation, the dihedral group of order 8 (rotations and reflections of the square), the group the Plans-Generator Specification mandates for polyomino canonicalisation; in the generator’s internal flag naming, its four-rotation subgroup, the setting used for arrangement deduplication. Ch8 §8.7, §8.44.
D8: The generator’s flag label for the full 8-element dihedral group of the square (four rotations and four reflections), used for packing deduplication; equivalent to standard D4, not the 16-element octagon group. Ch8 §8.44.

Glossary

This glossary consolidates governed concept modules and separates foundational thesis terms from supporting clarification terms.

Core thesis concepts

actor: a schematic primitive of the Generative Grammar (Chapter 6, Section 6.1): the human participant a requirement addresses (participant, resident, wheelchair user, support worker). Made explicit under the cognitive primitive-composite-module re-stratification; inherits the participant lemmas formerly recorded under role, while role becomes a composite expressed through serves_role.
ageing in place Ageing in place is the sustained ability to live safely and meaningfully in one’s home and community as needs and capacities change.
bidirectional conversion Bidirectional conversion is the capability to map floor plans into a textual representation and reconstruct floor plans from that representation with controlled loss and explicit assumptions.
diachronic Diachronic describes change through time. In housing, diachronic change includes shifting capability, household structure, care arrangements, and regulatory expectations across the life-course.
housing optionality Housing optionality is the set of feasible, timely, and affordable housing adjustments available to a household as conditions change.
housing trajectories Housing trajectories are longitudinal housing pathways composed of states, transitions, and turning points that accumulate advantage or vulnerability over time.
interoperability Interoperability is the capacity to exchange information across tools, actors, and phases without losing semantic intent. It is not merely file transfer: interoperability requires that meaning and constraints survive translation.
life-course housing need Life-course housing need is the changing fit requirement between households and dwellings across developmental, social, and health transitions rather than a fixed age-band category.
modularity Modularity is an architectural property of bounded interaction: dense internal coherence is preserved while exchanges across boundaries are governed through explicit interfaces. In classic accounts, modularity manages change by hiding volatile details behind stable contracts.¹²
representation Representation is used here in an operational sense: the objects, relations, and permissible transformations a system can express; what must be explicit rather than inferred; and what survives exchange without semantic loss.
representational governance The disciplined maintenance of meaning, boundaries, and permissible transformations across adaptation processes. Representational governance names the integrative capacity by which requirements, spatial descriptions, constraints, and decision traces persist and remain interpretable as they pass between actors, contexts, and procedural handoffs.
round-trip fidelity Round-trip fidelity is the degree to which a floor plan representation preserves relevant geometric, topological, and semantic constraints after an encode-decode cycle.
serialisation Serialisation is the encoding of representational state into a stable, exchangeable textual form so that structures can be stored, diffed, transported, and reprocessed across tools and actors.
synchronous Synchronous describes a point-in-time framing: requirements are treated as satisfiable at a moment through a one-shot specification and a one-shot check. In housing, synchronous governance appears in certification and compliance regimes that validate an end-state snapshot.
text-based floor plan representation A text-based floor plan representation is a machine-processable textual encoding of plan semantics and geometry (for example, graph tuples, token sequences, or structured JSON) that can be interpreted by humans and/or computational systems without relying on raster drawing interpretation alone.
verification Verification is the process of checking whether a design, model, or dwelling satisfies stated requirements. Verification is low-friction when constraints are explicit and queryable; it becomes high-friction when meaning is implicit in drawings or depends on tacit interpretation.

Clarification concepts

adaptable housing Adaptable housing is housing designed so that key elements can be modified over time as needs and contexts change–ideally quickly, safely, and at lower cost than ad hoc retrofit.³
adaptation Adaptation is the governed modification of a dwelling, component, or rule-bound arrangement in response to changing functional conditions across time.
applied grammar An applied grammar is the upper, domain-specific layer of a two-layer notation: a syntactically governed extension that introduces domain vocabulary, object types, and interaction patterns over a minimal formal core without modifying the core’s productions, on the condition that the extension is constructible through a declared, machine-checkable extension contract.⁴
BIM Building Information Modelling (BIM) is a digital approach to representing built assets using structured model data rather than only drawings. In practice, BIM is often used within toolchains that still validate deliverables as point-in-time artefacts, which limits how well models support lifecycle adaptation and re-checking after change.
boundary conditions Boundary conditions are the explicit scope statements under which a design theory’s claims are warranted to apply: the contextual presuppositions, environmental constraints, and use settings that must hold for the artefact’s prescriptive propositions to retain their evaluative force, declared as integral components of the theory rather than appended as late caveats.⁵
boundary governance Boundary governance is the meta-question — and the corresponding rule apparatus — of how module boundaries are stipulated, made observable, monitored across change, and revised when revision is warranted, such that the interface contract at every boundary remains finite, declared, and accountable rather than tacit or interpretively reconstructed.⁶⁷
bounded interaction Bounded interaction is the property that dense internal coherence is preserved while cross-boundary exchanges are restricted to explicit interfaces.
bounded optionality Bounded optionality is the condition where option spaces are deliberately constrained so actors can execute viable local moves under real limits of time, coordination, and information.
CAD Computer-Aided Design (CAD) refers to software-supported drafting and modelling used to author and document design. CAD workflows historically privilege geometric description and document outputs, which can make semantic intent and constraints difficult to preserve across handovers.
cognitive cost Cognitive cost is the mental effort required to interpret, reconcile, and reason about a representation well enough to act safely. In housing delivery and adaptation, cognitive cost rises when intent is implicit, dispersed across documents, or lost across handovers.
cognitive map A cognitive map is an internal representation that supports orientation, navigation, and updating under change–commonly discussed in relation to how organisms move through space. The concept emphasises that robust action depends on stable substrate plus meaningful anchors and transition logic.
complex adaptive system A complex adaptive system is a system in which many interacting agents co-produce macro-level behaviour through feedback, adaptation, and path-dependent dynamics. Causal effects are often delayed, non-linear, and distributed across interacting components rather than localised in one decision point.
complement tier (superseded; also governed complements, complement library): see governed instance library, the revised name for Layer 3 of the Governed Kernel Architecture. The earlier labels named the same referent (the slot, its contents (per Baldwin & Clark), and the artefact respectively) and are retained here only as cross-references.
componential space lexicon: a closed, descriptive vocabulary that defines each standard room category as a formula over distinctive feature bundles (function, host, fixture signature, edge) rather than by name alone, so a category denotes the same thing for every reader and beyond the corpus. Derived from the floor-plan geometry census: across the 47 realised categories these four features resolve every genuinely distinct category into 36 bundles. See Appendix H.7.
configurative plane The configurative plane is the representational layer that binds identity and intent to assemblies of primitives (e.g., rooms, paths, interfaces), so that “what something is for” does not have to be re-inferred from geometry alone.
context Context is the declared boundary condition set within which claims are interpreted, design choices are justified, and evaluation outcomes are judged. It includes problem setting, actors, constraints, timescale, and transfer limits.
controlled coupling Controlled coupling is coupling that is explicit, bounded, and governed through defined interfaces, rather than hidden in tacit conventions or informal dependencies.
coordination requirements Coordination requirements are the minimum cross-boundary communication, dependency resolution, and verification actions needed for a system to remain valid during change.
delays and path dependence Delays and path dependence in housing refer to the combined mechanism by which non-convex adjustment costs impose delay in housing transitions and early trajectory conditions constrain later feasibility, such that misfit accumulates rather than dissipating and household pathways resist correction even when current circumstances would theoretically permit it.
deontic: pertaining to obligation, permission, or prohibition: the must / should / may normative force a clause carries. In this thesis the deontic dimension is one of the five evaluation dimensions of the standardisation schema (Chapter 5) and is recorded per clause as a normative force (obligatory, permissive, or prohibitive) in the SDA corpus modality profile.
design rules Design rules are explicit, stable coordination rules that separate what is fixed at system level from what can vary locally within modules. They govern interfaces, compatibility, and verification expectations so distributed design work remains coherent.
design science research Design science research is a research paradigm that produces and evaluates purposeful artefacts to solve class-relevant problems while extracting transferable design knowledge. Its quality depends on explicit problem grounding, explicit artefact logic, and explicit evaluation criteria.
design theory Design theory is a structured explanatory-prescriptive account of how and why an artefact class should produce desired outcomes under stated conditions. It specifies constructs, principles, justificatory knowledge, boundaries, and testable propositions.
dimensionality reduction Dimensionality reduction is the process of reducing interacting degrees of freedom while preserving the structure needed for valid local reasoning and action.
distributed agency distributed agency denotes a named construct used in this thesis to state and test claims about housing representations and governance under change.
EBNF: Extended Backus-Naur Form: the grammar-specification syntax in which formal syntax is written as a set of production rules. In this thesis EBNF carries the strict normative syntax of the RecPol formal core, a nineteen-production LL(1) grammar, presented in Chapter 7 §7.7 and derived in full in the RecPol Specification appendix.
effective optionality Effective optionality is the subset of options that can actually be executed under current constraints, including time, cost, permissions, and coordination capacity.
enabling constraint An enabling constraint is a boundary condition that limits unconstrained variation in order to increase reliable coordination and executable action.
entropic loss Entropic loss is a representational failure mode where semantic intent decays across handovers: what begins as meaningful constraints and rationale gradually collapses into inert geometry, prose fragments, or tool-specific conventions.
environmental press Environmental press is the total demand load imposed by the dwelling and social setting on a person’s available competence.
epistemic uncertainty Epistemic uncertainty is uncertainty arising from incomplete knowledge of causal structure, delayed effects, and confounding in open systems.
explicit invariants and degrees of freedom Explicit invariants and degrees of freedom is the paired-contract commitment in which a module boundary states, in declared and checkable form, both what must remain true across permitted change (invariants) and what is permitted to vary, within what range, without escalating beyond the module (degrees of freedom).
form function principles Principles of form and function are the component of the Gregor-Jones design-theory anatomy that translate between what the artefact is (its structural, representational, and architectural commitments) and what the artefact does (the governance functions those commitments enable), specifying both halves of the translation in a form that downstream artefact decisions can be checked against.
formal core A formal core is the minimal, mathematically defined kernel of a two-layer notation: the closed grammar, primitive vocabulary, type system, and constraint mechanisms whose productions are frozen so that the kernel admits unambiguous parsing, bounded verification, and round-trip fidelity, with all domain-specific extension carried in a separate applied layer that may not modify the core’s productions.⁸
frame of analysis A frame of analysis is the declared perspective that fixes what counts as a system element, what interactions are measured, and what boundary conditions are considered valid for evaluation.
frozen core (superseded; see governed kernel): the earlier label for the stable, non-negotiable base of the architecture. The thesis now frames this base as stable but revisable under the three-layer Governed Kernel Architecture; the term is retained here only as a cross-reference. The frozen core was the original name for the stable base of the module system; in the revised architecture the positive construct is the governed kernel, and “frozen core” is retained only in its pejorative sense — the failure mode in which a core over-expands into rigidity and forbids revision outright, trading evolvability for uniformity. The positive base is the deliberately minimal layer of a platform architecture that contains only the stable governance terms required for cross-version comparability and bounded verification (the grammar, module contracts, constituent specifications, and interaction rules that downstream artefacts may consume but not unilaterally alter); that base is now named the governed kernel precisely because it is governed — revisable through a versioned promotion path — rather than frozen.
functional boundary A functional boundary is a boundary defined by governable exchange conditions and verification obligations, rather than by geometric separation or naming convention alone.
governed instance library The governed instance library is Layer 3 of the Governed Kernel Architecture: the governed environment in which concrete baselines, variants, adaptation records, provenance, and supersession are managed. It instantiates the module contracts of the governed kernel (Layers 1 and 2) without altering them, and answers the question what can vary without breaking the system?
governed kernel (also: Governed Kernel Architecture): the stable but revisable base of the three-layer architecture (Layer 1 Generative Grammar + Layer 2 Modular Contract System); see the concept note. The governed kernel is the stable but revisable base of the three-layer Governed Kernel Architecture: Layer 1 (the Generative Grammar — the stratified vocabulary of primitives, operators, and composites) together with Layer 2 (the Modular Contract System — the module contracts, constituent specifications, constraints, interface types, and verification sequence). Downstream artefacts may consume but not unilaterally modify the kernel; the kernel itself is revisable only through a rule-bound, evidence-based, versioned, and auditable promotion path. Its stability is disciplined revisability, not immobility.
functional usability verification Functional/usability verification is checking that a dwelling works as an integrated system for the intended occupants, not merely that individual features satisfy dimensional proxies.
g-primitive (geometric primitive): a data-derived geometric primitive of the floor-plan geometry census: a size-band × aspect-band × shape-class cell measured off the 745-plan corpus. The ten most common g-primitives cover roughly 91 per cent of the census’s 12,849 spaces (the canonical thesis-wide space count, from the geometry read; the occurrence read enumerates 14,554 spaces and the topology read 15,957 zones, reconciled at Chapter 8, Section 8.28) and form the small grounded kit (kit-reuse ≈ 2.4 distinct primitives per dwelling) from which the Chapter 9 generator selects and sizes each space. See Appendix H.8.
geometry Geometry refers to metric and spatial description (shape, size, position). Geometry is necessary for design and checking, but geometry alone typically under-specifies functional and regulatory meaning (e.g., why a clearance exists, what path must remain continuous, what invariants must hold after change).
grid Grid denotes a stable metric substrate: a coordinate-like basis that makes spatial measurement and comparison reliable. In cognitive science, grid-like systems provide a reusable metric substrate on which environments can be mapped.⁹
grid cells Grid cells are neurons whose firing fields form a lattice-like pattern, widely interpreted as implementing a metric code that supports navigation and path integration.¹⁰
hypertrophic complexity Hypertrophic complexity is a representational failure mode where meaning is trapped in heavyweight encodings that are difficult to query, extend, validate, or safely change. Complexity “grows” around the representation because changes require global reinterpretation.
hysteresis Hysteresis is path-dependent asymmetry where the conditions required to recover a prior state differ from those that caused the transition away from it.
IFC Industry Foundation Classes (IFC) is an open, vendor-neutral schema intended to support exchange of building information across tools and phases.
information flows Information flows are the pathways by which meaning, constraints, and decisions propagate through a socio-technical system across actors and artefacts.
information hiding Information hiding is the design principle by which volatile internal decisions are protected behind a stable boundary, so external actors can interact through declared conditions without relying on full knowledge of local internals.
interaction differential Interaction differential is the relative difference between within-cluster interaction intensity and cross-cluster interaction intensity under a declared frame of analysis.
interactive plane The interactive plane is the representational layer that carries context and state for a specific dwelling at a particular time, including as-built deviations and the record of permitted changes.
interface An interface is an explicit boundary specification that governs interaction: what can be exchanged, what may vary, what must remain invariant, and what must be re-checked after a permitted change.

Merged aliases: interfaces.
interface control Interface control is the ability to govern exchanges across a boundary through an explicit, finite set of conditions, rather than through tacit interpretation or pervasive coupling.
interface drift Interface drift is the failure mode in which the nominal rule surface of a module boundary remains in place, but its meaning changes across actors, revisions, or tools, so comparability decays beneath apparent formal consistency.
internal consistency verification Internal consistency verification is checking that changes do not silently violate dependencies across artefacts, phases, or representations.
justificatory knowledge Justificatory knowledge is the component of the Gregor-Jones design theory anatomy that carries the body of theoretical and empirical knowledge explaining why the proposed design should produce its intended outcomes.
manipulability Manipulability is the ability to perform controlled edits with predictable effects at the level of intent (not only at the level of geometry). A manipulable representation exposes guarded degrees of freedom and makes dependencies explicit, so competent actors can change what is allowed to change without silently violating hidden constraints.
meso grid (also meso module; the middle tier of the three-tier dimensional grid): the grain, fixed at 150 mm, at which whole rooms and clusters of rooms are dimensioned so that they compose. The dimensional system works at three grains: a 50 mm micro grain at which components are dimensioned (the dominant retail base module of Chapter 8, Section 8.21, with 25 mm a common sub-module of it), the 150 mm meso grid, and a 300 mm macro multimodule that plans the envelope. The grid module, the dimensional step, is distinct from the modules (the rooms and clusters) it sizes: a coarser grid module reduces the number of distinct module sizes, raising the probability that modules share commensurate interfaces and compose. That property, composability, is the load-bearing criterion, not fit (how tightly a single room lands on the grid, which always favours a finer grain). 150 mm is the calibrated value, the coarsest grid whose 95th-percentile room stays within build tolerance while collapsing the module vocabulary, derived at Chapter 8, Section 8.50, and Appendix H. See enabling constraint and bounded optionality.
module A module is a cluster of system elements whose internal interactions are, within a given frame of analysis, substantially stronger or more frequent than their external interactions. This differential interaction facilitates a functional boundary governing every intended exchange via an interface of finite and expressed set of conditions, thereby enabling the cluster’s interaction with the external environment with reduced coordination requirements while sustaining its role within the larger whole. Evidence anchor: Supplementary Author Research Corpus Assertions.
monolithic representation A monolithic representation binds many concerns into a single tightly coupled encoding, making local change difficult because dependencies are implicit and widely distributed. In such representations, a small change can force global reinterpretation and broad re-checking.
movement Movement denotes transition logic: the pathways and permissible transformations that connect states. In navigation, movement is not only distance; it is a sequence of permitted transitions under constraints.
near decomposability Near decomposability describes complex systems in which short-run behaviour is dominated by within-subsystem interactions, while cross-subsystem effects appear as weaker, slower perturbations. This structure makes systems intelligible and modifiable because local change does not require constant global recomputation.¹¹
nominal optionality Nominal optionality is the raw count of pathways or configurations that are possible in principle, without testing whether they are actionable under binding constraints.
person-environment fit Person-environment fit is the degree of alignment between household competence and the demands imposed by the dwelling and its surrounding social-physical environment.
physical cost Physical cost refers to material and bodily costs imposed by change: waste, invasive works, disruption, and physical burden associated with retrofit or rework.
place Place denotes identity and semantic attachment: the ability to treat a location as a coherent unit with meaning (what it is, what it affords, what constraints apply).
place cells Place cells are neurons that fire for specific locations, commonly interpreted as supporting place identity and contextual anchoring within a cognitive map.¹²
Planimetric System The Planimetric System is a representational architecture organised around the grid–place–movement triad, motivated by convergent evidence from spatial cognition. The aim is to separate metric substrate, semantic identity, and transition logic so that meaning can be preserved and updated under change without global recomputation.¹³
platform architecture Platform architecture is a system architecture pattern with a stable core contract and governed complements that can evolve independently under shared interface rules. The key design condition is not static uniformity, but controlled variation with compatibility and verification discipline.
point-in-time Point-in-time denotes a governance pattern in which compliance and fitness are validated as a snapshot at a single moment (e.g., design approval or certification), rather than as a sequence of permissible changes through the lifecycle.
primitive plane The primitive plane is the representational layer that carries stable metric substrate: discrete geometric primitives and coordinate commitments that support measurement and clearance checking.
Real cost Real cost refers to direct monetary cost (fees, construction, retrofit, delay penalties, relocation) imposed by design, delivery, and adaptation.
regulatory verification Regulatory verification is checking conformance to codified requirements (e.g., building codes, standards, approval rules).
relational graph A relational graph is the collection of all trigrams over a governed domain, forming a directed labelled graph whose topology inherits modularity properties: named nodes that retain referential identity regardless of rendering tool, typed edges that declare relational claims explicitly, and directed connections that preserve asymmetry between subject, predicate, and object.
representational constraint Representational constraint is the limit on what actors can compare, defend, and enforce, imposed by the artefacts and routines that carry meaning through a system.
requirements traceability Requirements traceability is the discipline of maintaining an explicit, end-to-end chain from a stated evaluation requirement through the data-fields that supply it, the evaluation methods that operate on those fields, the propositions the methods test, and the evidence objects that record their verdicts: in this thesis, the chain takes the form ER → DF → EM → P → EVID, with each link declared at the point of use so that an examiner can audit the derivation of any evidence claim back to its originating requirement.¹⁴
residential inertia Residential inertia is reduced movement propensity caused by attachment, transaction frictions, and accumulated location-specific capital.
rigidification Rigidification is the substrate-induced suppression of adaptability: representational constraints make change costly enough that actors rationally freeze layouts, standardise, and treat adaptation as exceptional.
semantic intent Semantic intent is the “meaning that matters” for governance: why an element exists, what role it plays, what constraints apply, and what must remain true after change. Semantic intent differs from raw geometry because it includes functional and regulatory relations.
semantic interface A semantic interface is the interface type that governs meaning across a module boundary: it specifies the terms, object identities, and requirement references that must remain interpretable, type-stable, and referentially continuous when an entity is shared between, or transmitted across, adjacent modules.
semantic primitives Semantic primitives are minimal meaning units that can be composed, transported, indexed, and checked. The point is not that a primitive captures everything, but that it stabilises a small unit of meaning so interfaces can be explicit and verifiable.
semantics Semantics concerns meaning: the relations and constraints that make a representation interpretable and governable (not merely drawable). In rule-based checking, semantics must be explicit enough to query and validate.
separation of concerns Separation of concerns describes how the housing system is organised so that parts with different change-rates can evolve without forcing one another to change. Reconfiguration capacity is preserved when long-life capacity is separated from short-life configuration, and when the boundary between them is explicit enough to prevent cross-layer cascade.
serialised text Serialised text is the linear, character-discrete encoding of a governed housing representation into a form that is simultaneously human-readable and machine-parseable, such that each token’s type is positively and reliably identifiable and each compositional unit (primitive, module, constituent, interaction declaration) carries an explicit name, type, and scope rather than being implied by spatial position or tool-internal state.¹⁵¹⁶
serialised transformation logic Serialised transformation logic is the representation of permitted change operations as named, text-expressed grammar constructs that carry explicit preconditions, postconditions, invariant declarations, and responsibility metadata, such that the same notation that captures what a housing module is also captures what may legitimately change about it in a form that survives handover, inspection, replay, and verification without bespoke reconstruction.¹⁷¹⁸
Skill cost Skill cost is the dependence on scarce expertise to make small but consequential changes safely. When representations do not expose explicit constraints and permissible operations, routine adaptations are pushed into specialist workflows.
stable referential identity Stable referential identity is the property that named entities — modules, primitives, constituents, interaction declarations, baseline-library entries — retain identifiable identity across serialisation, deserialisation, transformation, handover, and tool replacement, such that a reference made by one actor at one time can be resolved by a different actor at a different time without re-interpretation of the underlying object’s name, type, or scope.¹⁹²⁰
standardisation schema A standardisation schema is a representational contract that constrains permissible structure and term-role assignment across the clauses and categories of a regulatory text, converting narrative compliance prose into a queryable, machine-checkable substrate by codifying the mapping from regulatory language to typed primitives and explicit relations under declared validation and ambiguity-handling rules.
stratification Stratification is an architectural mechanism that separates representation into planes so coupling is controlled and change can be local. It applies the systems logic of bounded interaction to representation: interfaces define how layers depend on one another.
stratified discrete substrate A stratified discrete substrate is a representation designed to be serialisable, comparable, and transportable (discrete), while controlling coupling through layered planes and explicit interfaces (stratified).
testable propositions Testable propositions are the component of the Gregor-Jones design-theory anatomy that converts the theory’s claims into statements amenable to empirical examination and internal-consistency checking, distinguishing a prescriptive design theory from an aesthetic, hortatory, or merely descriptive framework by binding mechanism claims to declared indicators, comparator baselines, and falsifiers.²¹
Time cost Time cost is the delay imposed by coordination, reinterpretation, re-approval, and rework. Time cost increases when artefacts cannot be trusted and must be reconstructed at each handover.
transformability Transformability is the ability to perform structured transformations while verifying invariants. A transformable substrate allows change to be expressed as a sequence of named operations with explicit preconditions and postconditions, so validity can be re-checked after each step.
transformation Transformation is a change operation applied to a representation. In lifecycle governance, the key question is not “can it be changed?”, but “can it be changed in a bounded way while preserving invariants and remaining verifiable?”
transformation interface A transformation interface is the interface type that governs admissible change: it specifies operation types, allowable parameter movement, and invariant-preservation conditions under which local variation remains legitimate.
transportability Transportability is the ability to move a representation into a new context while retaining the conditions under which it remains valid. It is interoperability plus trust: meaning should travel with scope, assumptions, and validity conditions.
triggered interface checking Triggered interface checking is the verification regime in which a change at a declared boundary condition reactivates a finite, locatable set of re-checking obligations, rather than relying on either continuous whole-system revalidation or ad-hoc, actor-discretionary inspection.
trigram (Chapter 3) = triple (Chapter 5) = triplet (Chapter 6, Chapter 7): the minimum-sufficient three-element governance unit (source-relation-target / entity-relation-qualifier). The label varies by chapter: Chapter 3 §3.3 introduces trigram from formal and cognitive arguments; Chapter 5 §5.1 uses triple to emphasise the applied schema vocabulary (the reconciliation is documented in-text at §5.1:42); Chapter 6 and Chapter 7 use triplet to emphasise the substrate-data vocabulary. The structural commitment is identical across the three labels: each governed representation is a three-element unit with stable identity, typed relation, and scoped qualifier.
ungoverned complements Ungoverned complements is the platform failure mode in which local elaborations of the platform — case instantiations, transformation sequences, notation expressions, and procedural outputs that should remain rule-bound complements of a shared core — proceed without rule-bounded compatibility, so that hidden coupling accumulates, exceptions multiply without typed justification, and verification scope re-globalises beneath an apparently stable interface vocabulary.²²
universal design Universal design is an approach that aims to make environments usable by the broadest range of people, reducing exclusion by designing for diversity rather than by treating accessibility as an exception handled through special adaptation.
upstream prevention Upstream prevention is intervention at inflow and early-risk nodes to prevent entry into high-cost housing insecurity states.
value conflict Value conflict is disagreement among stakeholders about what ought to be optimised and what trade-offs are acceptable.
verification capacity Verification capacity is the system’s ability to check constraints and claims after change without reconstructing meaning from scratch.
verification interface A verification interface is the interface type that governs re-checking: it links changes to the evidence, tests, or review procedures that must be reactivated once a boundary condition has been touched.
wicked problems Wicked problems are planning problems that resist definitive formulation and definitive solution: there is no stopping rule, and outcomes are judged as better or worse under conflicting value frames rather than as true or false.²³

Merged aliases: wicked problem.
within_context: the tenth relation operator of the Generative Grammar (Chapter 6, Section 6.1): frames a term within a regulatory or situational scope (a design-category context), recorded as a governed link distinct from the context entity itself. Added under the re-stratification to complete the operator layer.
wrapping functor A wrapping functor is the structure-preserving map W: G → A from a formal-core grammar G to an applied-grammar extension A under which every well-formed core expression has a unique image in the applied layer, and every applied-layer expression decomposes back to a core expression through the inverse on its domain of definition, preserving identity and composition: that is, a category-theoretic functor that wraps the formal core in the applied grammar without modifying the core’s productions, supplying the machine-checkable extension contract on which two-layer notation architecture depends.²⁴

Methodological terms

census A census, in this thesis, is a complete enumeration of an assembled population rather than a probability sample drawn from it: every unit that passes the screening gate is included, and no sampling frame mediates between the population and the records analysed. The empirical substrate of Chapter 8 is a census of 745 Australian residential floor plans in this sense — the screened, agent-manually extracted stock in full, constructed in two strata (572 October and 173 August), not a sample of it.
coverage ratio A coverage ratio, in this thesis, expresses the scale of an assembled census relative to the national stock it is drawn from, offered as credibility context for the corpus’s non-triviality rather than as a basis for statistical generalisation. The 745-plan floor-plan census enumerates roughly one in ten thousand of Australia’s separate-house stock — the 2021 Census of Population and Housing records 10,852,208 private dwellings, of which about seventy per cent are separate houses, approximately 7.6 million.
Module-Inheritance Ratio (formerly the Composition-Boundary-Stability Index) The module-inheritance ratio (formerly the Composition-Boundary-Stability Index) is a chapter-level operationalisation of modular fit, defined as the proportion of modules at a given trajectory state that are inherited from the immediate predecessor without spatial change, relative to the total module count at that state: for a state S_n the ratio is |{m ∈ M_n : m ∈ M_{n-1} and spatial_dimensions(m) = spatial_dimensions_{n-1}(m)}| / |M_n|, where M_n is the module set at state S_n and spatial_dimensions is the module’s declared area-and-position vector.²⁵
staged piloting Staged piloting, in this thesis, is the design-science practice of working out a data-processing codification on small, deliberate batches before applying it to a full corpus — building, evaluating, and refining the method, then scaling it under the refined rules. It is method development, not a separate corpus or a sample.

Writing Philosophy and Principles Commitment

Modularity is the organising discipline of the writing as much as of the subject: each chapter, module, claim, and evidence object carries a defined function and a traceable contribution to the whole.

The writing is itself a governance instrument for change: explicit meaning, explicit boundaries, explicit verification, and auditable adaptation over time.

Problem-first fidelity: writing remains anchored to the diachronic housing-governance problem rather than rhetorical novelty, so module-level work does not drift from system-level purpose.
Definition discipline: adopted definitions remain fixed and consistent, especially for module, modularity, and interface terms, so boundary conditions remain stable across chapters.
Representation as governed obligation: obligations and invariants are encoded explicitly so meaning survives handover and transformation across representational modules.
Boundary and interface explicitness: finite, declared interface conditions are preferred over implicit interpretation, so exchanges between sections, artefacts, and claims remain controlled.
Evidence traceability: every substantive claim is expected to be supportable, inspectable, and reproducible from local evidence, so each module can be audited without inference gaps.
Verifiability under change: claims are accepted only when post-change validity can be checked without global reconstruction, preserving local revision with whole-thesis coherence.
Writing clarity with technical precision: concise plain English is maintained while high-precision terminology is used only where it carries analytical necessity, keeping modular interfaces legible.

This commitment is used to maintain modular argument continuity, methodological discipline, and evidence-grounded accountability across the thesis.

Notes

On the Criteria To Be Used in Decomposing Systems into Modules DL Parnas Carnegie-Mellon University, accessed on July 23, 2025, http://sunnyday.mit.edu/16.355/parnas-criteria.html ↩︎
Baldwin, C. Y., & Clark, K. B. (2000). Design Rules, Volume 1: The Power of Modularity. MIT Press. https://direct.mit.edu/books/monograph/1856/Design-Rules-Volume-1The-Power-of-Modularity (accessed 2026-02-03). ↩︎
Adaptable Housing for People with Disability in Australia, accessed on July 18, 2025, https://humanrights.gov.au/sites/default/files/document/publication/monash-adaptablehousing2021-digital.pdf ↩︎
D. L. Parnas, “On the Criteria to Be Used in Decomposing Systems into Modules,” Communications of the ACM, vol. 15, no. 12, pp. 1053-1058, 1972, doi: 10.1145/361598.361623. ↩︎
S. Gregor and D. Jones, “The Anatomy of a Design Theory,” Journal of the Association for Information Systems, vol. 8, no. 5, pp. 312-335, 2007, doi: 10.17705/1jais.00129. ↩︎
D. L. Parnas, “On the Criteria to Be Used in Decomposing Systems into Modules,” Communications of the ACM, vol. 15, no. 12, pp. 1053-1058, 1972, doi: 10.1145/361598.361623. ↩︎
C. Y. Baldwin and K. B. Clark, Design Rules, Volume 1: The Power of Modularity. Cambridge, MA, USA: MIT Press, 2000. ↩︎
D. L. Parnas, “On the Criteria to Be Used in Decomposing Systems into Modules,” Communications of the ACM, vol. 15, no. 12, pp. 1053-1058, 1972, doi: 10.1145/361598.361623. ↩︎
A principle of economy predicts the functional architecture of grid cells | eLife, accessed on August 30, 2025, https://elifesciences.org/articles/08362 ↩︎
A principle of economy predicts the functional architecture of grid cells | eLife, accessed on August 30, 2025, https://elifesciences.org/articles/08362 ↩︎
Simon, Herbert A., “The architecture of complexity”, Proceedings of the American Philosophical Society, (1962), accessed on October 24, 2025 ↩︎
What Are Grid-Like Responses Doing in the Orbitofrontal Cortex? - PMC - PubMed Central, accessed on August 30, 2025, https://pmc.ncbi.nlm.nih.gov/articles/PMC8299309/ ↩︎
A principle of economy predicts the functional architecture of grid cells | eLife, accessed on August 30, 2025, https://elifesciences.org/articles/08362 ↩︎
S. Gregor and D. Jones, “The Anatomy of a Design Theory,” Journal of the Association for Information Systems, vol. 8, no. 5, pp. 312-335, 2007, doi: 10.17705/1jais.00129. ↩︎
J. Haugeland, “Analog and Analog,” Philosophical Topics, vol. 12, pp. 213-225, 1981. ↩︎
N. Goodman, Languages of Art: An Approach to a Theory of Symbols. Indianapolis: Bobbs-Merrill, 1968. ↩︎
D. L. Parnas, “On the Criteria to Be Used in Decomposing Systems into Modules,” Communications of the ACM, vol. 15, no. 12, pp. 1053-1058, 1972, doi: 10.1145/361598.361623. ↩︎
C. Y. Baldwin and K. B. Clark, Design Rules, Volume 1: The Power of Modularity. Cambridge, MA, USA: MIT Press, 2000. ↩︎
D. L. Parnas, “On the Criteria to Be Used in Decomposing Systems into Modules,” Communications of the ACM, vol. 15, no. 12, pp. 1053-1058, 1972, doi: 10.1145/361598.361623. ↩︎
C. Y. Baldwin and K. B. Clark, Design Rules, Volume 1: The Power of Modularity. Cambridge, MA, USA: MIT Press, 2000. ↩︎
S. Gregor and D. Jones, “The Anatomy of a Design Theory,” Journal of the Association for Information Systems, vol. 8, no. 5, pp. 312-335, 2007, doi: 10.17705/1jais.00129. ↩︎
A. Tiwana, B. Konsynski, and A. A. Bush, “Platform Evolution: Coevolution of Platform Architecture, Governance, and Environmental Dynamics,” Information Systems Research, vol. 21, no. 4, pp. 675-687, 2010, doi: 10.1287/isre.1100.0323. ↩︎
What’s a Wicked Problem? | Wicked Problem - Stony Brook University, accessed on July 18, 2025, https://www.stonybrook.edu/commcms/wicked-problem/about/What-is-a-wicked-problem ↩︎
D. L. Parnas, “On the Criteria to Be Used in Decomposing Systems into Modules,” Communications of the ACM, vol. 15, no. 12, pp. 1053-1058, 1972, doi: 10.1145/361598.361623. ↩︎
C. Y. Baldwin and K. B. Clark, Design Rules, Volume 1: The Power of Modularity. Cambridge, MA, USA: MIT Press, 2000. ↩︎

Front Matter

Title Page

Modular Infrastructure for Inclusive Housing

Ground-up Application of a Modular Framework to Improve Housing for Ability-Diverse Living

Abstract

Statement of Originality

Statement of Originality

Acknowledgements

Acknowledgements

Table of Contents

Front Matter

Background

Main Body

Appendices

Bibliography

List of Figures

Chapter 2: Literature Review and Theoretical Framework

Chapter 3. Theory: Modularity and Complexity

Chapter 4: Methodology

Chapter 5: A Queryable Schema for Accessibility Standards

Chapter 6: A Governed Kernel Architecture for Housing

Chapter 7: A Formal Notation for Floor Plans

Chapter 8: Evidence from a Census of Australian Floor Plans

Chapter 9: Generating Documented Dwelling Variants

Chapter 10: Demonstration and Evaluation

Appendices

List of Tables

Chapter 1: Introduction

Chapter 2: Literature Review and Theoretical Framework

Chapter 3. Theory: Modularity and Complexity

Chapter 4: Methodology

Chapter 5: A Queryable Schema for Accessibility Standards

Chapter 6: A Governed Kernel Architecture for Housing

Chapter 7: A Formal Notation for Floor Plans

Chapter 8: Evidence from a Census of Australian Floor Plans

Chapter 9: Generating Documented Dwelling Variants

Chapter 10: Demonstration and Evaluation

Chapter 11: Discussion

Chapter 12: Conclusion

List of Abbreviations

Regulatory and policy

SDA design categories

Modularity-scheme primitives (Chapter 6)

Notation, schema, and methodology

Evaluation, propositions, and traceability codes

State and trajectory codes (Ch10 demonstration)

Symmetry and combinatorics

Glossary

Core thesis concepts

Clarification concepts

Methodological terms

Writing Philosophy and Principles Commitment

Notes