Discussion

The interpretive burden the thesis now discharges is the conversion of ten chapters of established evidence into thesis-level claims. The preceding chapters fix, at full evidential depth, the framing of a representational-governance problem in adaptation-heavy housing under regulatory constraint (Chapter 1), the cross-domain literature in which the problem and its candidate mechanisms sit (Chapter 2), the design-theory scaffold under which the architecture’s commitments are stated (Chapter 3), the methodology under which those commitments are operationalised (Chapter 4), and the five-artefact suite — the standardisation schema (Chapter 5), the Governed Kernel Architecture (Chapter 6), the notation (Chapter 7), the empirical substrate (Chapter 8), and the generator (Chapter 9) — exercised end to end on a single-dwelling tree-branching trajectory (Chapter 10). What remains is to read that evidence against the thesis’s stated aim, objectives, research questions, and contributions, and it is read here under three disciplines, each inherited from the preceding chapters rather than declared afresh.¹²

The first discipline is the interpretive frame. Every claim advanced here is bounded by the per-property verdicts that Chapter 10, Section 10.23 established, and the chapter preserves throughout a distinction between two registers that share index numbers but not content. The four critical properties of Chapter 2, Section 2.9 — Property 1 interoperability, Property 2 transportability, Property 3 manipulability, Property 4 transformability — are functional commitments any candidate architecture must restore. The five propositions of Chapter 3, Section 3.5 — Proposition 1 semantic continuity, Proposition 2 interface-bounded modularity, Proposition 3 executable transformation grammar, Proposition 4 platform-governed complement evolution, Proposition 5 integrated utility under diachronic burden — are the mechanism-level claims by which the architecture discharges those commitments. Every interpretive claim therefore surfaces both registers, with the Chapter 10 verdict bounding its strength. Those verdicts are Proposition 1 SUPPORTED at HIGH confidence, Proposition 2 SUPPORTED at HIGH confidence, Proposition 3 DECLARED-LIMITED, Proposition 4 SUPPORTED at MODERATE confidence under the FW-05 single-fork caveat, and Proposition 5 DECLARED-LIMITED, each conditioned on the trajectory’s evidence scope and the candidate-as-arbiter boundary of Chapter 10, Section 10.17. No claim exceeds these verdicts.

The second discipline is the contribution scope. The chapter operates over the five contributions declared at Chapter 1, Section 1.5 — Contribution 1, the theoretical synthesis; Contribution 2, the standardisation schema; Contribution 3, the modularity scheme; Contribution 4, the notation; and Contribution 5, the integrated empirical-substrate-plus-generator-plus-demonstration — and introduces no new contributions, artefacts, or propositions. Crucially, it reads the five as a system, not a list. The contribution is one architectural claim discharged through five evidence-bearing instantiations: Contribution 1 supplies the design-theory anatomy that converts the others from technical objects into falsifiable architectural claims, Contributions 2 through 4 each instantiate a propositional mechanism, and Contribution 5 is itself integrative, pairing the empirical substrate of Chapter 8 with the generator of Chapter 9 and the trajectory of Chapter 10. The synthesis at Section 11.2 therefore treats the integration as the principal claim and the per-contribution claims as the conditions on which it depends, and derives from the verdicts a register of four prescriptive Technological Rules.

The third discipline is the boundedness rule. Every claim is paired with the boundary that conditions it, because for a design-theory contribution the boundaries are constitutive rather than concessions: a representational-governance contribution that refused to state its boundaries would be a promotional claim, not a design theory.³ The boundary register the chapter carries throughout — candidate-rated calibration, cross-corpus generalisation, independent notation verification, the population-tier coverage limit, and the candidate-as-arbiter trajectory scope — is gathered canonically in the limitations catalogue rather than re-stated at each appearance.

The chapter proceeds in seven sections. The synthesis at Section 11.2 integrates the contributions, aggregates the Chapter 10 verdicts, and derives the four Technological Rules. The theoretical implications at Section 11.3 read the contribution against five established traditions; the practical implications at Section 11.4 direct it toward five practitioner-implication families. These are two reading directions on the same integrated contribution, not independent surveys. The limitations at Section 11.5 consolidate the boundary register into a thirteen-item catalogue, and the future work at Section 11.19 articulates the twelve-direction research agenda each limitation licenses, read as the contribution’s licensed continuation rather than an inventory of unfinished business. The conclusion at Section 11.32 closes with the integrated claim and hands off to the closing chapter. The disciplines this section has declared — interpretive frame bounded by Chapter 10 verdicts, contribution scope bounded by Chapter 1, Section 1.5, and boundedness applied at every claim — are the disciplines under which that arc is now conducted.

The instrument this section builds is a register of four prescriptive technological rules, and the discipline that produces it runs along an explicit chain rather than reading rules off the results after the fact. Meta-requirements MR1 through MR5, articulated in Chapter 4, fix what the architecture must do; the five propositions, Proposition 1 through Proposition 5 of Chapter 3, Section 3.5, fix the mechanisms by which it does so; the evaluation questions EQ-01 through EQ-05 of Chapter 4, Section 4.5 fix how each mechanism is tested. Each of the four technological rules (TR-01 through TR-04) is traceable back through a single meta-requirement-to-proposition-to-evaluation-question pathway, so that the rule earns its prescriptive force from the contract the thesis declared in advance.

The thesis’s contribution is not five things; it is one architectural claim discharged through five evidence-bearing instantiations. The claim is that adaptation-heavy housing under regulatory constraint admits a governed representational substrate whose architectural commitments — semantic continuity at the unit of meaning, bounded interdependence at the architectural-granularity tier, executable transformation logic at the encoding tier, governed complement evolution at the platform tier, and integrated burden under diachronic measurement — together support divergent regulatory-compliance pathways from a common substrate without forcing whole-system reinterpretation at each adaptation event. The five contributions declared at Chapter 1, Section 1.5 are the necessary conditions on which that single claim depends. The present section restates each in compressed form, integrates them, aggregates the per-proposition verdicts the Chapter 10 trajectory has supplied, and derives from those verdicts the four technological rules that carry the contribution beyond the thesis’s own evidential surface.

Contribution 1 — Stratified Functional Structuralism (Chapter 3)

Contribution 1 is the design-theory licence. Stratified Functional Structuralism integrates modularity-and-platform architecture, Open Building, and standards-formalisation into one representational-governance contract, treating housing representations as functional kinds realised through structural configurations over a discrete geometric substrate, governed by interfaces whose obligations derive from the stratification rather than from disciplinary convention. The synthesis is constructive rather than a juxtaposition of three literatures. From platform architecture it inherits the visible-design-rules construct — the governed-kernel specification of inter-module interfaces under which legitimate complement variation is auditable — and carries it from the manufactured-product and software settings in which it was developed into a setting where the regulatory text co-authors the interface.⁴⁵ The co-author framing is methodological, not authorship-attributional: it denotes the regulatory text’s standing as a non-revisable interface specification within the contract, not a literal authorship claim. From Open Building it inherits the capacity-providing-infrastructure commitment and supplies the representational discipline that philosophy leaves informal;⁶ from standards-formalisation it inherits schema-driven generation and extends it from verdict-issuing into documentation-emitting.⁷ Operationalisation runs under the Gregor-Jones anatomy as a Type III prescriptive design theory of exaptive contribution type: modularity theory, relational graph topology, and text-as-notational-medium are each established in their home domains, and their integrated application to housing-governance representation constitutes a new application class.⁸ The claim is mid-range, advanced for housing adaptation and related change-intensive domains rather than universally; the design-theory licence is the layer the artefact chapters instantiate.

Contribution 2 — Standardisation schema (primary instantiation of Proposition 1)

Contribution 2 is the form in which regulatory text becomes inspectable. The standardisation schema (Chapter 5) is a five-dimensional decomposition of normative-clause meaning — lexical, scope, deontic, and role ambiguity, plus deontic strength — operationalised as a queryable serialisation of the SDA Design Standard together with a stratified vocabulary that binds clauses to spatial primitives and composites.⁹ It operationalises the property of Proposition 1 interoperability (Chapter 2, Section 2.9) through the propositional mechanism of Proposition 1 semantic continuity (Chapter 3, Section 3.5): the standard’s narrative prose is lifted into a substrate whose interface obligations are explicit and whose change-impact is locally containable, with residual ambiguity tracked as a first-class design object rather than eliminated.¹⁰ Two evidence streams support it — the resolution rate evidence of Chapter 5 and the candidate-rated calibration of the predicate-coverage and scorecard registers — and the Chapter 10 trajectory exercises it per state under EVID-P1-INTERPRETABILITY and at the S5b regime change under EVID-P1-SDA-TRACE, where the documentation packet partitions correctly between AS 1428.1-aligned and SDA-Robust-aligned activations. The Chapter 10 verdict is SUPPORTED at HIGH confidence; the bounds are external multi-rater validation (future-work item Ch5-CW-04) and cross-corpus generalisation (Ch6-AW-04).

Contribution 3 — Governed Kernel Architecture (primary instantiation of Proposition 2)

Contribution 3 is the engine’s home. The Governed Kernel Architecture (Chapter 6) is a stratified vocabulary of housing module-types — seven primitives and seven composites — with formal interaction rules, instantiated in a nine-of-twenty-five Fully Accessible baseline-library bundle. It establishes the architectural granularity at which compliance obligations attach and transmit, and it is where the architectural commitment of the framing paragraph is actually built: a governed-kernel nine-type taxonomy — the nine-type space taxonomy — the boundary contracts of Chapter 6, Section 6.3, and the Rule 4 variant-inheritance protocol of Chapter 6, Section 6.4 that absorbs life-cycle functional variation at the governed instance library without disturbing the governed kernel. The Governed Kernel Architecture operationalises Proposition 2 transportability through Proposition 2 interface-bounded modularity: declared interfaces convert broad reconstruction into local checking plus rule-governed escalation. The scheme also supplies the empirical substrate’s grounding axis — the dimensional, occurrence, topological, and configurational evidence of Chapter 8 is computed against its primitives — exposing the granularity claim to falsification against the 745-plan substrate. The Chapter 10 trajectory exercises it under EVID-P2-CHECK-SCOPE and EVID-P2-LOCAL-GLOBAL, most sharply at the multi-dwelling reconfiguration of E4-5b, where the architecture’s response is one packet whose predicate count grows by one against the trunk’s S4 packet despite a substantially larger fabric-modification volume. The verdict is SUPPORTED at HIGH confidence, bounded by the population-tier scope-limit (only the nine FA entries are authored at full depth) and Ch6-AW-04.

Contribution 4 — Notation (primary instantiation of Proposition 3)

Contribution 4 is the notation under which the architectural claim is verifiable. The notation (Chapter 7) is a context-free grammar, PlaniSyn, layered over the RecPol formal core, designed to encode the standardisation schema with verifiable round-trip fidelity. It is the suite’s encoding contract — the form in which the standardisation schema’s predicates and the Governed Kernel Architecture’s interaction rules acquire formal expressibility — and the artefact under which Proposition 3 manipulability is operationalised through Proposition 3 executable transformation grammar. Two static evidence packages discharge it: EVID-P3-REPLAY records deterministic round-trip replay across 38 EXP files with 18 trace records and zero divergence, and EVID-P3-INVARIANTS records 24 invariant tests across 12 boundary pairs that gate the parser against ill-formed inputs. The contribution lies not in the grammar as a software object but in the demonstrated existence of a notation under which the housing-representation commitments admit automated verification, round-trip parsing, and gatekeeping. The Chapter 10 trajectory does not itself run the round-trip — its prototype passes are one-way, from state specification to documentation packet — so the chapter’s contribution to Proposition 3 is the operational substrate against which the static round-trip evidence is exhibited under Chapter 9, Section 9.19’s deterministic runtime. The verdict is DECLARED-LIMITED: round-trip manipulability is established at the grammar level, but a non-specialist usability study lies outside scope, and independent third-party Goodman-criteria verification is future-work item Ch7-CW-10ER.¹¹

Contribution 5 — Empirical substrate, generator, and demonstration trajectory (the empirical substrate + the generator + Chapter 10)

Contribution 5 is the empirical locus where the architectural claim is put to test at the fork. The empirical substrate supplies the sealed CP-D5 v5.0 corpus — a complete census of 745 Australian residential floor plans, 572 in the October stratum and 173 in the August stratum, extracted under an agent-manual canonical protocol at a one-hundred-per-cent schema-validity rate. The generator supplies a deterministic command-line prototype that ingests baseline-library entries and emits documentation packets in conformance with the handoff-contracts specification. The single-dwelling tree-branching trajectory of Chapter 10 supplies the demonstration: seven dwelling states, six transformation events, seven packets totalling roughly 52 KB, and the fork at S4. Contribution 5 operationalises Proposition 4 transformability through Proposition 4 platform-governed complement evolution, and that proposition is discharged decisively at that fork. The same 165-square-metre four-bedroom envelope, the same module composition, and the same interface obligations are inherited by both terminal states. Branch S5a absorbs operational-accessibility retrofits at the governed instance library under Section 6.4 Rule 4 (the HLP variant of BED); branch S5b absorbs a full SDA Design Standard 2019 Robust overlay plus an attached secondary dwelling — a design-category transition, eight new modules, nine reconfigured modules, nine new bilateral interface obligations, and a multi-dwelling site composition under Section 6.3 boundary contracts — also at the governed instance library (the LNK variant of EXT). Neither branch modifies the governed-kernel nine-type taxonomy. The fork’s strength is its restraint: a single substrate produces two regulatory pathways because the substrate is not asked to do the divergent work.

Contribution 5 also integrates Proposition 5 burden through Proposition 5 integrated utility under diachronic burden. The cumulative-burden trajectory of Chapter 10, Section 10.17 tracks the per-event delta in quality assertions, interface obligations, and module instantiations across the seven states. Two readings of the fork’s burden must be kept apart. The measured artefact-level burden — the documentation-packet byte delta at S5b against S5a — runs at roughly 1.4 times (10,797 against 7,736 bytes); the larger figure sometimes attached to the fork, an approximately three-and-a-half-fold ratio, is an analytic practitioner-day estimate of the matched-task baseline, reasoned event-by-event from the events’ scope, not a measured quantity (it rests on no practitioner cohort, n = 0). Both are descriptive readings of one dwelling’s trajectory rather than statistics over the census, and we report them as such. The Chapter 10 verdicts are Proposition 4 SUPPORTED at MODERATE confidence — six events plus the fork fall within the pre-registered exception budget, and the four typed exceptions are absorbed under the Section 6.4 posture, with the MODERATE rating reflecting that a single-fork demonstration is structurally narrower than multi-trajectory validation (registered as FW-05) — and Proposition 5 DECLARED-LIMITED, since sub-linear cumulative growth is supported only under candidate-driven instrumentation and a practitioner-burden field study lies outside scope.

Integration — from five contributions to one thesis-level claim

The five interlock under a single discipline. Contribution 1 supplies the design-theory anatomy that converts artefactual facts into falsifiable architectural claims; Contributions 2, 3, and 4 supply the primary instantiations of Proposition 1, Proposition 2, and Proposition 3; Contribution 5 exercises the suite end to end, discharging Proposition 4 at the fork and integrating the burden measurement of Proposition 5. The interlock is not redundant. Each contribution carries an independent evidential burden whose discharge appears necessary for the thesis’s overall claim — that a governed representational architecture for adaptation-heavy housing is constructible, instantiable, and operable under the diachronic conditions the problem class makes salient — to hold, and the dependence runs both ways: Contribution 1 without Contributions 2 through 4 would be theory without instantiation; Contributions 2 through 4 without Contribution 5 would be artefacts without empirical or operational warrant; Contribution 5 without Contributions 1 through 4 would be a corpus and a pipeline without a governing architecture. The aim of Chapter 1, Section 1.4 is achieved only when the five hold together, and the audit chain by which that joint holding is checked runs from the SDA Standard’s normative clauses, through the standardisation schema’s serialisation, through the Governed Kernel Architecture’s spatial primitives, through the PlaniSyn-encoded representations of the seven states, through the generator’s deterministic emission of seven packets, to the trajectory’s verdict against the four critical properties plus burden. The thesis-level claim is precise, and equally precise about what it is not: the claim is not that adaptation-heavy housing is hard, which the literature has long established, nor that modularity helps, which the modularity tradition has demonstrated outside housing, nor that standards admit formalisation, which the standards-formalisation literature has demonstrated within fixed standards. The claim is that the integration of representational governance, modularity, and adaptation under a single architectural commitment — expressed through five artefacts and tested against a sealed substrate and a tree-branching trajectory — is achievable, is auditable, and is consequential for the practice of adaptation-heavy housing under regulatory constraint.

Per-property and per-proposition verdict aggregation

The integration aggregates against two registers inherited from Chapter 10: the per-property synthesis of Section 10.17 and the per-proposition status table of Section 10.23. The two are complementary rather than competing — Section 10.17 adjudicates result domains at the measure level under a four-result scheme, while Section 10.23 aggregates those domains up to the proposition level under the converging-evidence rule of Chapter 4, Section 4.5 — and contribution synthesis operates at the proposition level, so the section inherits the Section 10.23 register as authoritative. The table below records both registers in one matrix: the property-and-proposition pair, the verdict, the evidence anchor, the boundary, and the synthesis claim each verdict licenses.

Technological rules: TR-01 through TR-04

The contribution licenses four prescriptive technological rules that condense the per-proposition verdicts into transferable, scope-bounded design guidance. Each is grounded in a verdict, paired with its evidence base, and bounded by the scope-limit the thesis has declared. The rules are technological in that they prescribe construction rather than describe phenomena, and bounded in that their defensibility is conditional on the verdicts and scope-limits — a rule that refused to declare its boundary would not be a defensible design contribution under the design-theory anatomy.¹²

TR-01 — Standardisation schema for documented compliance under multi-actor handover. Grounded in the Proposition 1 SUPPORTED-at-HIGH-confidence verdict; operationalises Contribution 2. Where compliance-bearing documentation must be produced and re-produced under multi-actor handover, where the regulatory text is subject to interpretive divergence at the predicate level, and where downstream actors require the commitments queryable and auditable against the source, construct a standardisation-schema layer over the regulatory text whose decomposition operates across the five evaluation dimensions and whose vocabulary binds clauses to a stratified spatial vocabulary of primitives and composites. The rule’s defensibility scope is the set of regulatory texts whose diagnostic conditions match the SDA Standard’s profile, with external defensibility bounded by the Ch5-CW-04 multi-rater programme.

TR-02 — Governed Kernel Architecture with governed-kernel taxonomy and Rule 4 inheritance for bounded verification under edits. Grounded in the Proposition 2 SUPPORTED-at-HIGH-confidence verdict; operationalises Contribution 3. Where local edits should not force whole-system re-verification, where compliance obligations must transmit across declared interfaces between bounded spatial units, and where life-cycle variation must be absorbable at the governed instance library, construct a Governed Kernel Architecture comprising a stratified vocabulary (seven primitives and seven composites), a governed-kernel nine-type taxonomy, boundary-contract specification at Section 6.3, and the Rule 4 variant-inheritance protocol of Section 6.4. The defensibility scope is the set of housing settings whose typology decomposes into the nine-type core; cross-corpus generalisation beyond CP-D5 is Ch6-AW-04, and applicability to non-residential building types remains a bounded extrapolation rather than a present claim.

TR-03 — Two-layer notation with formal-core invariants and applied-grammar round-trip discipline. Grounded in the Proposition 3 DECLARED-LIMITED verdict; operationalises Contribution 4. Where transformation logic must be inspectable, replayable, and verifiable against ill-formed inputs, construct a two-layer notation comprising a formal core whose invariants are stated as parser-rejection gates across 24 boundary-pair tests and a context-free applied grammar over serialised text whose round-trip fidelity is established across at least 38 EXP files with zero divergence. Internal verification through replay and invariants warrants the rule within the EXP corpus; external Goodman-criteria verification (Ch7-CW-10ER) and a non-specialist usability evaluation are the principal external boundaries on its transfer.

TR-04 — Procedural pipeline over a pre-vetted baseline-library for governed variation under regulatory and occupant change. Grounded in the Proposition 4 SUPPORTED-at-MODERATE-confidence verdict under FW-05; operationalises Contribution 5. Where divergent regulatory-compliance pathways from a common substrate must be supported under simultaneous regulatory and occupant change, construct a procedural pipeline (the generator) that consumes the Governed Kernel Architecture baseline-library as substrate, applies the notation grammar as the transformation rule-set, and emits packets that are human-readable, machine-queryable, and traceable to the schema commitments through the formal core’s identity-persistence discipline. The rule is defensible at single-dwelling-trajectory scope under the candidate-as-arbiter boundary and at FA-plus-Robust design-category coverage; multi-trajectory comparison, full category coverage, and the practitioner-burden field study are the operational forms under which its transfer becomes externally defensible. TR-04 inherits the round-trip evidence of Chapter 7, Section 7.20 and the prototype evidence of Chapter 9, Section 9.19 rather than re-establishing them within the trajectory.

The four rules are positioned within the design-propositions tradition associated with van Aken and Romme, in which mid-range management knowledge is articulated as design propositions of the Context–Intervention–Mechanism–Outcome form and validated across multiple cases.¹³¹⁴ Reframed against that tradition, TR-01 through TR-04 are design propositions explicitly grounded in one case — the integrated SDA-and-CP-D5 case the thesis has constructed. The single-case grounding is the structural condition under which van Aken’s field-tested-and-grounded criterion is partially rather than fully satisfied: the present work supplies the grounded dimension through the artefactual instantiation and the Chapter 10 verdicts, with the field-tested-across-multiple-cases dimension declared as future work under the multi-trajectory and cross-jurisdictional programmes of Section 11.19. The reframing does not weaken the rules; it locates them within the design-propositions vocabulary and names the operational form under which their transfer would be promoted from grounded-in-one-case to field-tested-across-many. The next section reads the contribution back into five theoretical traditions; the section after directs it toward five practitioner audiences.

The integrated contribution synthesised at Section 11.2 reads against five established traditions whose vocabularies inform the design-theory layer. For each, this section identifies the one substantive extension the contribution makes within that tradition’s own register and the boundary that conditions the extension’s external defensibility. The discipline is interpretive rather than expository: the section does not re-rehearse foundational claims — those are surveyed at Chapter 2 and operationalised at Chapter 3 — but reads the contribution back into each vocabulary to identify what the integration permits each tradition to claim that it could not claim before. Every implication is bounded by the per-property verdicts of Chapter 10, Section 10.23, states both the property name of Section 2.8 and the propositional mechanism of Section 3.5, and is conditioned by the theoretical scope-limits gathered at the close.

For modularity theory: extending visible design rules into the regulatory-text-as-co-author setting

Since Simon’s near-decomposability thesis and Parnas’s information-hiding criterion, the modularity tradition has held that bounded interdependence and stable interface contracts are the conditions under which complex systems remain tractable to incremental change.¹⁵¹⁶ Baldwin and Clark sharpened this into the visible-design-rules-versus-hidden-module-parameters partition, and Sanchez and Mahoney and, later, Sullivan and colleagues carried the formalism into product, organisational, and software-design settings where the partition’s option value could be quantified.¹⁷¹⁸¹⁹

The contribution carries the visible-design-rules formalism into a setting it was not developed for: one in which an external regulatory text is itself an interface specification.²⁰ In the manufactured-product and software settings, the partition between published rules and hidden parameters is set by the architect and revisable by the architect; in adaptation-heavy housing under regulatory constraint, the rules are partly imposed by a text whose interpretation is contested at the predicate level and which the architect cannot revise by fiat. What modularity theory presumes — the architect’s sovereignty over the interface — the regulatory text revokes; what the text revokes, the substrate restores in the only form an architect may now exercise, which is inspection. Three consequences follow for the tradition’s vocabulary. The formalism is shown to apply to slow-changing built artefacts under regulatory constraint, not only to artefacts whose modules can be re-released cheaply (the Proposition 2 SUPPORTED-at-HIGH-confidence verdict anchors this, bounded by the candidate-as-arbiter scope). The Rule 4 variant-inheritance protocol of Chapter 6, Section 6.4 refines the formalism with a governed-instance-library mechanism that absorbs variation whose typing is regulatory rather than producer-internal — an extension the formalism’s home settings did not require because their variation was producer-controlled (the Proposition 4 SUPPORTED-at-MODERATE-confidence verdict anchors this). And the option-value reading of Sullivan and colleagues is extended to the documentation tier, where the option value accrues at the cost of authoring rather than the cost of testing (the Proposition 5 DECLARED-LIMITED verdict anchors this).

For Open Building theory: extending capacity-providing infrastructure into a governed-representation contract

Since Habraken’s Supports, the Open Building tradition has held that residential fabric is a layered system whose long-life support is distinct from short-life infill and whose layering is sustained through dimensional coordination and decision-rights allocation; Cuperus, Kendall and Teicher, and Lutolli have successively sharpened the layering into an infrastructural commitment whose interfaces encode the capacity for change.^21222324 The tradition’s depth lies in its account of capacity-providing infrastructure: the dwelling is not a fixed product but a substrate whose long-life elements provide a capacity that short-life elements occupy.

The contribution extends that commitment from a philosophy whose normative content is rich but whose representational discipline is informal into a governed-representation contract whose layering is queryable, verifiable, and composable. Open Building prescribes what a layered design should commit to but not how those commitments should be encoded, exchanged, queried, and revised under stakeholder change; the contribution supplies that discipline. Three consequences follow. The commitment admits operational exercise through the fork at S4, where the same envelope, module composition, and interface obligations are inherited by both terminal states while branch S5a absorbs accessibility retrofits and branch S5b a full Robust overlay plus a secondary dwelling, both at the governed instance library (the Proposition 4 SUPPORTED-at-MODERATE-confidence verdict anchors this). The classical support–infill stratification is refined by a representational stratification — schema, Governed Kernel Architecture, notation — that governs how the physical stratification’s interfaces bind to the regulatory text (the Proposition 1 SUPPORTED-at-HIGH-confidence verdict anchors this). And Habraken’s decision-rights allocation, classically between support owner and infill occupant, is extended to a three-party allocation that includes the regulatory authority as a holder whose authority over the text is non-revisable by architect or occupant — encoded in the schema’s transparency-mode commitment to tracked rather than eliminated ambiguity.

For standards-formalisation: extending schema-driven checking into a procedural-pipeline-with-pre-vetted-substrate pattern

Over more than fifteen years, the standards-formalisation tradition has developed as a programme to convert regulatory natural language into computable form against which design models can be checked, producing deployed systems, rule-complexity taxonomies, clause-role mark-up methodologies such as RASE, and natural-language-processing approaches to code text.^2526272829 The tradition’s central commitment is that regulatory text admits formalisation; its central output is the rule-checking verdict that a model conforms or fails.

The contribution extends that pattern into a procedural-pipeline-with-pre-vetted-substrate one, addressing a structural gap the Chapter 9, Section 9.2 documentation-bottleneck argument identifies: a rule-checker emits a verdict over a clause but not the documentation packet through which the clause’s discharge is communicated downstream — the work that consumes the bulk of the practitioner budget. Three consequences follow. Rule-checking and documentation-emission are shown to be distinct tasks whose architecture must be jointly specified; the procedural pipeline consumes a pre-vetted substrate rather than a free-form input distribution, applies a declared transformation grammar rather than a hand-crafted template language, and emits packets that are human-readable, machine-queryable, and traceable to the schema commitments. The tradition’s residual-ambiguity treatment is refined: where the schema-driven literature has pursued the asymptote of complete logical reducibility, the contribution arrives at a defensible position by abandoning the asymptote and tracking residual ambiguity as a first-class object whose resolution is routed to the regulatory authority — the 59.3% polysemy rate among SDA-domain terms reported at Chapter 5 is the descriptive grounding (the Proposition 1 SUPPORTED-at-HIGH-confidence verdict anchors this). And the RASE clause-role mark-up is extended with a stratified spatial-mapping vocabulary that grounds the predicates in the dwelling’s fabric, exposing the vocabulary to falsification against the 745-plan corpus of Chapter 8.

For design-science research: a mid-range design theory grounded on Stratified Functional Structuralism

Over two decades, design-science research has established the scaffold under which information-systems and design-disciplinary research advances knowledge through artefact construction: Hevner and colleagues supply the evaluative guidelines, Peffers and colleagues the procedural sequence, March and Smith the artefact-and-knowledge-claim taxonomy, Gregor and Jones the design-theory anatomy, and Gregor and Hevner the contribution-type and theory-type taxonomies under which the present work is classified exaptive and Type III prescriptive.^3031323334 Prescriptive theory has been critiqued for risking the collapse of the explanatory–prescriptive distinction;³⁵ the present contribution engages the critique by stating its prescriptive claims as conditional, scope-bounded technological rules rather than universal prescriptions.

The contribution advances a mid-range design theory anchored on Stratified Functional Structuralism with five propositions and four critical-property pairings, discharging Hevner and colleagues’ guidelines at the instantiation level. Three consequences follow. The Type III prescriptive classification is shown to admit operational instantiation in adaptation-heavy housing under regulatory constraint, a domain the contribution reaches at full design-theory anatomy depth through an exaptive recombination of established constructs into a new application class. The evaluation-discipline commitment is refined by the two-register property-and-proposition pairing, in which the property is what the architecture must restore and the proposition is how it restores it, converting the property’s significance into a falsifiable mechanism claim rather than an aspiration. And the research-evaluation commitment is extended by evaluating an artefact suite under the FEDS framework’s Technical-Risk-and-Efficacy classification through a single-dwelling trajectory whose verdict structure honours the candidate-as-arbiter scope.³⁶ The trajectory does not claim naturalistic deployment evidence, which would require a Human-Risk-and-Effectiveness evaluation; it claims technical efficacy and controlled interpretability under candidate authorship, and routes external practitioner-cohort evaluation to the post-submission programme.

For the Australian housing-policy regime: procedural generation under NDIS instruments

The Australian housing-policy regime is governed by a layered set of instruments: the National Disability Insurance Scheme Act 2013 establishes the participant-funded entitlement; the SDA Design Standard establishes the four design categories and the 611 normative clauses against which a dwelling is certified; AS 1428.1—2021 supplies the dimensional benchmarks; and the National Construction Code, Volume 2 supplies the baseline legal substrate.^37383940

The contribution establishes that compliance-bearing documentation can be procedurally generated for the SDA Robust and Fully Accessible categories from a pre-vetted baseline-library. Three consequences follow. The 611 normative clauses are shown to admit operational decomposition under the schema’s five dimensions and the stratified vocabulary, with the predicate-coverage register supplying the audit chain; the standard’s verification admits programmatic support without forfeiting the assessor’s interpretive authority, since the transparency-mode commitment preserves the assessor as the resolver of regulatory uncertainty (the Proposition 1 SUPPORTED-at-HIGH-confidence verdict anchors this). The Robust-category dwelling is shown to be generable as a Rule 4 variant of the FA baseline rather than as a separately authored design type, with the relevant SDA clauses supplying each variant’s provenance, so the Robust supply pipeline admits typological inheritance from the FA category. And compliance documentation is shown to be generable against the National Construction Code baseline plus the SDA overlay through one pipeline, the S5b packet partitioning correctly between AS 1428.1-aligned and SDA-Robust-aligned activations (the Proposition 1 and the Proposition 4 SUPPORTED-at-MODERATE-confidence verdicts jointly anchor this), bounded by the FA-plus-Robust design-category coverage.

The five implications are bounded, not negated, by the thesis’s declared scope-limits — external multi-rater validation (Ch5-CW-04), cross-corpus generalisation (Ch6-AW-04), independent Goodman verification (Ch7-CW-10ER), the FA-plus-Robust category coverage, and the candidate-as-arbiter trajectory boundary — catalogued in full at Section 11.5 and discharged through the programmes of Section 11.19. The contribution holds within the declared scope; broader implications would require external evidence the thesis does not gather, and the future-work register names the operational forms under which they would become defensible. The next section reads the same contribution toward five practitioner audiences.

The practical implications follow the same evidence chain as the theoretical ones, but address a different audience and answer a different question. Where Section 11.3 interprets the suite as a contribution to the design-theoretic literature, this section interprets it as a working set of commitments that practitioners, regulators, assessors, and collaborators may inherit, adapt, and operate under their own conditions. Five implication families are advanced, each bounded by the candidate-as-arbiter scope of Chapter 10, Section 10.17 and the delimitations of Chapter 1, Section 1.6, and each offered as a transferable design principle rather than a turnkey deliverable. A consolidated caveats register closes the section.

For the SDA assessor regime

Current assessor practice is structured by per-dwelling certification reports authored against the SDA Design Standard by credentialled assessors who navigate, by hand, between the standard’s clauses, the National Construction Code’s baseline, AS 1428.1’s benchmarks, and the project drawings; the interpretive layer between clause text and verdict is borne as professional judgement, and the standard’s clauses do not themselves emit certification packets.⁴¹ The architecture’s commitment is to populate that layer with a governed substrate: the standardisation schema supplies the five-dimensional decomposition under which clauses become queryable predicates,⁴² and the generator supplies the deterministic transformation from baseline-library entries to packets that carry the clause-level audit trail.⁴³ A pre-vetted Robust baseline entry, authored once against the Robust clauses (D2, D4, D5, D6, D7, D8, D11, D14), can be re-applied across every conforming Robust dwelling, with the S5b state of Chapter 10, Section 10.4 demonstrating the pattern: a single composite Robust packet whose SDA-constraints section carries the verbatim provenance an assessor would otherwise author by hand, with Rule 4 absorbing per-dwelling deviations as typed exceptions.⁴⁴ The implication is that certification-report production cost per dwelling can be re-architected as a one-time substrate-authoring cost amortised across many certifications, the per-dwelling work reduced to identifying variant exceptions and verifying the Rule 4 governance trail. What is warranted is the architectural-feasibility claim; what is not is the field-effective claim that any specific practice will adopt the architecture under naturalistic conditions.

For NDIS housing policy

The NDIS scheme funds disability-housing supports as a participant-tied entitlement, with the SDA category the regulated higher-tier funding pathway. The fork at S4 between branch S5a (typical aging-in-place) and branch S5b (SDA-overlay refurbishment with a secondary attached dwelling for a Robust participant) demonstrates that the architecture supports the divergent compliance pathways the scheme’s funding categories presuppose, without core revision of the substrate: the substrate at S4 is the same in both branches, and the divergence is absorbed at the governed instance library through Rule 4 variants and the boundary-contract machinery that admits the secondary-dwelling tenancy declaration.⁴⁵ The policy-level implication is that a scheme funding adaptive renovations across the participant lifecycle has a representational substrate it can use: where the funding pathway transitions across category boundaries during a participant’s life, the dwelling can be governed under a single substrate whose representational continuity is preserved across the transition, and the administrative cost of evidencing the transition is bounded by the sub-linear per-event burden of Chapter 10, Section 10.17. What is warranted is the architectural pathway through which scheme administration could re-architect; what is not is a population-level forecast of administrative cost reduction.

For Australian housing practice

The trajectory’s structural arc — an S0 minimum-viable substrate, six transformation events, and a fork at S4 between two terminal states — demonstrates a life-cycle adaptive-design pattern practitioners can apply outside the SDA funding pathway. The architecture’s three commitments — interface obligations explicit at the module boundary, variation governed at the governed instance library through Rule 4, and transformation replay-able through the deterministic pipeline — supply a vocabulary for designing dwellings that adapt rather than dwellings that are replaced, operationalising the Open Building flexibility commitment as a substrate practitioners can author, parse, transform, and re-emit rather than only assert as a philosophy.⁴⁶ The implication is that design work is structured around the substrate rather than around per-event documentation cost, and the documentation cost is amortised across the dwelling’s lifecycle. The pattern is bounded by the governed-kernel commitment to the nine-type taxonomy of Chapter 6, Section 6.2: a typology that cannot be expressed in the nine-type vocabulary requires either a Rule 4 variant (at the governed instance library) or a substrate amendment (at the governed-kernel tier), and the four variant classes the trajectory needed are the proper object of the taxonomy amendment registered as future work.

For compliance-bearing documentation production

The generator prototype demonstrates that documentation-generation cost scales sub-linearly once the substrate is authored, because each per-state packet is emitted by the deterministic pipeline against curated baseline-library entries rather than re-authored by hand. The bottleneck argument of Chapter 9, Section 9.2 diagnoses the conventional posture under which compliance evidence is re-authored for every project, and the prototype at Chapter 9, Section 9.19 shows that a thin executable layer over a thick specification stack suffices to remove the bottleneck for the FA corpus at the present instantiation depth — the seven packets total roughly 52 KB, and emission is sub-second per packet. The implication is that per-project documentation cost decomposes into a one-time substrate-authoring cost amortised across all projects, a per-event variant-authoring cost bounded by the exception budget, and a per-state emission cost bounded by the deterministic execution stack; the conventional posture’s per-project cost does not decompose this way and is therefore what the architecture is positioned to displace. The claim holds at the prototype’s command-line research-instrument depth; production-grade deployment would expose engineering and human-factors considerations the prototype does not test.

For inter-disciplinary collaboration

The architecture supplies a shared substrate across the disciplinary boundaries between architects, accessibility consultants, building surveyors, NDIS planners, and housing-policy researchers: the stratified scheme of Chapter 6 supplies the spatial vocabulary, the five-dimension schema of Chapter 5 the regulatory-clause vocabulary, the PlaniSyn notation of Chapter 7 the formal-encoding vocabulary, and the generator’s packet schema the inter-actor handoff vocabulary. The contribution is not the recognition that the actors must collaborate — that is widely recognised — but the supply of a coherent substrate against which the collaboration can be conducted without each actor re-translating the others’ outputs. Each reads from the same substrate and writes to a layer the others can read, so the handoff is auditable rather than implicit, with the inter-artefact contracts recorded at the handoff-contracts appendix. The implication is bounded by the SDA-specific single-domain demonstration; the cross-jurisdictional patterns required for non-Australian regimes are registered as future work.

Caveats and bounded claims

The five families are advanced under one operative condition stated once here rather than repeated at each: the candidate-as-arbiter scope of Chapter 10, Section 10.17, under which the trajectory is authored, the prototype operated, and the matched-task baselines reasoned analytically by the candidate. Each family inherits a specific form of the bound — the assessor-regime family the absence of an external assessor-cohort study, the NDIS-policy family the absence of multi-dwelling cohort evidence, the housing-practice family the governed-kernel taxonomy commitment, the documentation-production family the prototype’s command-line character, and the collaboration family the SDA-specific demonstration scope — and each corresponds to a future-work obligation at Section 11.19 and a limitation at Section 11.5. The broadest single bound is cross-corpus generalisation: the stratified vocabulary is calibrated against the CP-D5 sealed corpus of 745 Australian residential plans, and whether it scales to non-Australian typologies, higher-density configurations, or non-English regulatory regimes is not warranted by the evidence chain. The implications hold within the Australian-residential SDA-aligned operative scope; the substrate is auditable, the variation governance bounded, and the per-event documentation cost decomposable, and the implications follow from those architectural facts under the conditions the thesis has tested, with the future-work register as the path along which broader claims would become defensible.

Thirteen limitations constitute the thesis’s central scope-limit catalogue: the register of every substantive boundary the thesis declares against its own evidence chain. Each is stated in the form the thesis is required to defend rather than the form a more confident reading might prefer, paired with the section at which the corresponding scope-limit was first articulated and with the future-work obligation under Section 11.19 that, if discharged, would convert the bounded claim into an externally calibrated one. The items are interdependent in places — the parser limitation links to the module-taxonomy amendment, and the single-rater scope links to cross-corpus generalisation — and the cross-references are surfaced so the catalogue reads as a connected register rather than a list of independent items.

11.6 — Single-rater calibration scope (Ch5-CW-04). The standardisation schema of Chapter 5 is calibrated under a candidate-as-rater self-consistency exercise rather than an external multi-rater inter-rater-reliability protocol; the five-dimensional decomposition, the stratified vocabulary, and the calibrated scorecards of Chapter 5, Section 5.12 are candidate-rated. The calibration warrants the claim that the schema is self-consistently applicable by a domain-expert rater; it does not warrant convergent interpretation across an independent panel. A single doctoral study cannot both produce the schema and execute its external validation, and the present remit ends at the design-and-calibration stage (discharged under Section 11.20).

11.7 — Cross-corpus generalisation (Ch6-AW-04). The stratified vocabulary of Chapter 6 is validated within the CP-D5 sealed v5.0 corpus of 745 Australian residential plans (572 from the October stratum, 173 from the August stratum). The held-out check of Chapter 6, Section 6.4 tests generalisation across partitions of the same corpus, not across independent corpora; whether the vocabulary scales to non-Australian typologies, higher-density configurations, or non-English regulatory regimes is not warranted by the evidence chain. The bound is the conversion from internal calibration to external validation (discharged under Section 11.21).

11.8 — Independent third-party Goodman verification (Ch7-CW-10ER). The PlaniSyn notation of Chapter 7 is internally verified against the three Goodman criteria — notational disjointness, semantic finite differentiation, and unambiguity — by the candidate against the candidate-authored notation, with replay across 38 EXP files and parser-rejection invariants across 24 tests over 12 boundary pairs as the operational substrate.⁴⁷ Independent verification by a notational-systems theorist outside the thesis’s scope is not undertaken; internal replay and invariant evidence is the present warrant (discharged under Section 11.22).

11.9 — UD/MOD/RB/LV baseline-library scope-limit. The baseline library of Chapter 6, Section 6.4 is populated to full schema depth for nine Fully Accessible entries; the remaining sixteen toward the minimum-twenty-five specification — the Universal Design, Modification, SDA Robust (beyond KIT and EXT), and Liveability categories — are authored on demand under the tiered-population pathway. The bounded population is a deliberate scope-limit reflecting the instantiation depth needed for the Governed Kernel Architecture’s claim to be testable at minimum-viable depth.⁴⁸ Discharged jointly with 11.10 under Section 11.23.

11.10 — SDA-Robust governed-kernel scope-limit. The SDA Robust category is authored at full library-entry depth only for the kitchen and external-circulation modules of Chapter 6, Section 6.4; the remaining seven Robust qualities exercised at S5b — sanitary, bedroom, living, service, entry, circulation, and dwelling — are inferred from their FA counterparts via the Rule 4 protocol of Chapter 6, Section 6.4, with SDA Standard 2019 clauses D2, D4, D5, D6, D7, D8, D11, and D14 supplying each variant’s provenance. The S5b verdict at Chapter 10, Section 10.17 is exercised against inferred Robust qualities for seven of nine modules; this discharges the demonstration without violating the governed kernel, but does not warrant authored-entry depth equal to the FA category (discharged under Section 11.23).

11.11 — Single-dwelling demonstration trajectory. The Chapter 10 demonstration is a single-dwelling tree-branching trajectory — one site, seven states, six events plus the fork at S4. Multi-dwelling cohort study, with cross-trajectory comparison under variation in starting state, fork point, and adaptation path, lies outside the evaluative scope; such comparison would test whether the HIGH-confidence verdicts on Proposition 1 and Proposition 2 are robust properties or artefacts of the single design, and whether Proposition 4’s MODERATE-confidence verdict admits promotion. The demonstration supports feasibility and internal coherence, not population-scale generalisability (discharged under Section 11.24).

11.12 — Synthetic-dwelling positioning. The seven states are not extracted from the CP-D5 corpus; they are authored synthetic dwellings whose key dimensions fall within the corpus’s empirical distribution along the dimensions on which the corpus is informative.⁴⁹ The S0 baseline at fifty-eight square metres sits below the small-detached cohort’s median-minus-one-standard-deviation band — a deliberate methodological choice to maximise the additive-expansion range within the distribution. The position is read descriptively against a complete census, not as a sample statistic; the trajectory is therefore a representative-but-non-exhaustive exercise of the corpus distribution, and its verdicts hold at the dimensional positions exercised.

11.13 — Parser interface-obligations limitation. The generator prototype of Chapter 9, Section 9.19 emits an empty Interface-Obligations field with a diagnostic note across all seven packets: the minimum-viable PlaniSyn subset recognises module-level adjacency hooks in baseline-library provenance but does not yet parse the dwelling-aggregate’s prose-level interface sections. The interface-contract content is preserved verbatim in the packet’s Configuration-Notes and Provenance-Trace sections but is not lifted into the structured field, so the Proposition 1 verdict is qualified by a structured-field coverage note. The limitation is the symptomatic manifestation of the deeper taxonomy issue at 11.17, and its discharge follows from that amendment (under Section 11.25).

11.14 — Production-grade tooling. The generator prototype is a deterministic command-line research instrument operated by the candidate, not a production system: it presents no graphical interface, integrates with no BIM authoring environment, incorporates no large-language-model-assisted authoring above the deterministic core, handles no multi-user concurrency or persistent storage, and implements only the minimum-viable PlaniSyn subset sufficient to consume the FA corpus. Each scope-limit is declared at Chapter 9, Section 9.27 and at Chapter 1, Section 1.6. The procedural half of Contribution 5 holds at minimum-viable-prototype depth; production-grade deployment is a proper object of subsequent inquiry (discharged under Section 11.26 and Section 11.30).

11.15 — Proposition 3 manipulability evidence borrowing. The Chapter 10 trajectory does not itself execute a round-trip test for Proposition 3: the prototype passes are one-way, and the prototype does not parse an emitted packet, reconstruct the internal representation, and verify equivalence. The chapter’s contribution to Proposition 3 is the operational substrate against which Chapter 7’s static round-trip evidence is exhibited, with the round-trip proper inherited from Chapter 7, Section 7.20; this is the basis on which the Section 10.23 verdict assigns Proposition 3 DECLARED-LIMITED. Non-specialist practitioner usability evaluation is the external boundary, structurally identical to the single-rater bound of 11.6 (discharged under Section 11.27).

11.16 — Proposition 5 burden practitioner-field evaluation. The Proposition 5 verdict at Chapter 10, Section 10.23 reports cumulative-burden growth as sub-linear across the six events under candidate-driven instrumentation. The fork’s measured artefact-level burden — the documentation-packet byte delta at S5b against S5a — runs at roughly 1.4 times (10,797 against 7,736 bytes); the larger figure sometimes attached to the fork, an approximately three-and-a-half-fold ratio, is an analytic practitioner-day estimate of the matched-task baseline, reasoned event-by-event rather than a measured quantity (no practitioner cohort, n = 0), and the two are kept apart.⁵⁰ The instrumentation is candidate-driven throughout, so the verdict is DECLARED-LIMITED; a practitioner-burden field study would convert it to an externally supported claim (discharged under Section 11.28).

11.17 — HLP/OFC/DIN/LNK module-class taxonomy. The Chapter 10 trajectory introduces four Rule 4 variant module classes not in the canonical nine-type taxonomy of Chapter 6, Section 6.2: HLP (helper / dependent-care space, the BED variant at S5a), OFC (office, the BED variant at E3-4), DIN (dining, the LIV variant in the mid-trunk states), and LNK (linkage, the EXT variant at the secondary-dwelling attachment of S5b). They are admitted under Section 6.4 with typed and justified rationale, but their formal integration into the canonical taxonomy is not undertaken. The governed kernel is preserved — the nine-type taxonomy is not amended in flight — but the trajectory’s variant inventory exceeds the enumerated taxonomy by four classes, so variant-taxonomy generality is established at the Rule 4 mechanism level rather than the enumerated level (discharged under Section 11.29).

11.18 — Vocabulary divergence between Chapter 10 Section 10.17 and Section 10.23. The Chapter 10 evidence base is reported under two verdict-vocabulary schemes that may, on first reading, appear to be in tension: the Section 10.17 synthesis matrix adjudicates result domains under the four-result scheme of Chapter 4, Section 4.5 (pass, fail, indeterminate, boundary-limited acceptance), while the Section 10.23 proposition-status table assigns verdicts under the per-property aggregation scheme also declared at Section 4.5 (SUPPORTED at HIGH or MODERATE confidence, DECLARED-LIMITED, REJECTED). The Section 10.23 promotion logic resolves the divergence by establishing the correspondence; the requirement that the two be read jointly is a methodological-precision feature rather than a defect, surfaced here so the examiner’s reading is not impeded at first encounter. No future-work obligation follows.

Summary of the catalogue. Three patterns recur. The first is the conversion from candidate-controlled internal verification to externally calibrated validation: 11.6, 11.8, 11.15, and 11.16 share this form, each paired with an external-validation programme. The second is the bounded scope of the empirical and procedural substrates: 11.7, 11.9, 11.10, 11.11, 11.12, 11.14, and 11.17 share this form, each paired with a substrate-expansion programme. The third is the methodological-precision boundary: 11.13 and 11.18, each paired with an internal-discharge or downstream-discharge mechanism. No limitation falsifies any contribution claim at Chapter 1, Section 1.5; each bounds the conditions under which the corresponding contribution is defensible.

A cumulative reading of the catalogue against the integrated claim is the appropriate final operation, because a sceptical examiner reading the thirteen items in sequence may reasonably ask whether the bounds compound rather than merely co-exist. The reading is necessary because the thesis does not advance five independent contributions but one architectural claim — Stratified Functional Structuralism, instantiated through five evidence-bearing artefacts and condensed into the four Technological Rules of Section 11.2 — so a sound assessment must ask whether the bounds, taken together, leave that integrated claim intact. They do not aggregate into a falsification, but they do compound into a precise statement of what the integrated claim warrants and what it does not. What it warrants under the cumulative load is the constructive demonstration, at single-doctoral scope, that a governed representational architecture for adaptation-heavy housing is constructible (the five artefacts exist and conform to their handoff contracts), instantiable (the empirical and procedural substrates supply a sealed corpus and a deterministic pipeline), operable (the Chapter 10 trajectory exercises the suite end to end), and analytically auditable (every artefact and verdict is registered against an evidence chain the examiner can re-traverse). What it does not warrant is external generalisability beyond the doctoral scope: the first pattern conditions the candidate-controlled verification on a subsequent external programme, the second conditions the bounded substrates on a subsequent expansion programme, and the third registers the precision boundaries whose discharge mechanisms are recorded inline. The interlock between the patterns is constitutive of doctoral scope — a single study cannot simultaneously construct the architectural commitment, instantiate it across five artefacts at full library depth, exercise it under a multi-trajectory cohort against independent panels at multiple jurisdictions, and validate it through external multi-rater calibration. The thesis does the first two at full depth and the third under deliberate scope-limit, with the future-work register of Section 11.19 articulating the pathways that would convert the constructive-demonstration claim into a field-tested-and-grounded technological-rule register in van Aken’s stricter sense. The cumulative reading therefore terminates not in a residual weakness but in a precise demarcation: the architectural claim, the five contributions, and the four Technological Rules are defensible at the doctoral-demonstration scope under the catalogue’s bounds, and the pathway from that scope to externally validated transferability is itself the thesis’s standing future-work obligation rather than a hidden defect.

Twelve directions form the systematic discharge map for the limitations catalogued at Section 11.5. Each is paired explicitly to the limitation it discharges and states its motivation, the methodology by which it would proceed, and the contribution its execution would deliver; the order mirrors the Section 11.5 catalogue so the discharge map can be read without re-traversing the cross-references. The directions are not equally costed. Some — the multi-rater study, the cross-corpus study, the practitioner-burden field study — require external participant recruitment and ethics approval and would constitute substantial post-doctoral programmes; others — the parser extension, the taxonomy amendment — are bounded engineering exercises the present substrate readily accommodates. The mix is honest: the programme is structured around the substrate’s architectural extensibility rather than around any single instrument’s reach.

11.20 — External multi-rater inter-rater-reliability validation. Discharges 11.6. The candidate-rated calibration of Chapter 5, Section 5.12 is formalised enough to admit an external multi-rater evaluation, and its protocol — the rubric with anchored exemplars and the stratified sampler — supplies the design template. The methodology recruits at least five SDA-credentialled assessors, supplies each with the full schema and a stratified subset of the standard’s clauses, and has each independently apply the five dimensions and the predicate vocabulary to the same source clauses; agreement across the panel would be assessed by the conventional inter-rater-reliability coefficients, with acceptable-agreement thresholds pre-registered against the schema’s claimed convergence. The contribution is the conversion of Contribution 2 from self-consistently applicable by a domain expert to convergently applicable across an independent panel.

11.21 — Cross-corpus generalisation study. Discharges 11.7. The motivation is to test whether the stratified vocabulary survives the move from CP-D5 to corpora drawn from different regulatory regimes and typological distributions. The methodology applies the vocabulary and the nine-type taxonomy to at least two additional housing corpora — for example a denser Australian cohort drawn from a different tenure context and a non-Australian stock sharing the broad Anglo-residential tradition — and compares the classification’s residual rate, the inter-primitive co-occurrence structure, and any out-of-vocabulary patterns. The contribution is the identification of any vocabulary amendments needed for transfer and the conversion of Contribution 3 from CP-D5-bounded to cross-corpus-bounded, discharging the bound declared at Chapter 1, Section 1.6.

11.22 — Independent Goodman verification. Discharges 11.8. The motivation is to convert PlaniSyn’s internally verified Goodman-criteria status to an externally verified one. The methodology commissions an independent expert from the formal-language-theory community to review the grammar at the PlaniSyn appendix and the round-trip evidence at Chapter 7, Section 7.20 against the three criteria of disjointness, finite differentiation, and unambiguity; the review would either confirm the internal verification or surface features that fall short. The contribution is the externally calibrated status the present internal verification cannot deliver.

11.23 — Full UD/MOD/RB/LV baseline-library expansion. Discharges 11.9 and 11.10 jointly. The motivation is to populate the library at full schema depth across all four design categories: sixteen entries to lift it from nine-of-twenty-five to the full specification, plus the seven Robust entries to lift that category from two-of-nine to nine-of-nine. The methodology authors each entry against the eight-mandatory-plus-three-optional field specification of Chapter 6, Section 6.4, validates against the schema and the interaction-rule contracts, then re-runs the generator and the Chapter 10 trajectory against the expanded substrate so the S5b Robust qualities are re-validated against authored entries rather than Rule 4 inference. The contribution is the conversion of coverage from asymmetric to symmetric, lifting Contribution 3 and Contribution 5 to the full-substrate level the specification declares.

11.24 — Multi-dwelling cohort study. Discharges 11.11 and 11.12. The motivation is the sharper test of Proposition 4 a multi-dwelling design would supply. The methodology applies trajectory-authoring to a sample of at least ten dwelling sites, stratified across the CP-D5 typological distribution and across regulatory pathways (FA-only, FA-with-SDA-overlay-fork, and where the substrate supports it FA-with-MOD-fork); each trajectory emits its own packet sequence, and cross-trajectory comparison of the per-event burden, the variation-governance exception inventory, and the property-level verdict consistency supplies the population-scale evidence. The contribution is the conversion of Proposition 4’s MODERATE-confidence verdict from a single-trajectory observation toward a population-scale property, and of Proposition 5 from candidate-driven to multi-trajectory.

11.25 — Parser interface-obligations field surfacing. Discharges 11.13. The motivation is to elevate the packet’s Interface-Obligations field from its empty-with-diagnostic-note state to a structured representation of the dwelling-aggregate’s interface contracts. The methodology extends the prototype’s parser with a body-prose interface-detector that reads the prose-level interface sections and lifts the cross-module contract content into the structured field while preserving the verbatim provenance in Configuration-Notes; the prototype’s modular decomposition at Chapter 9, Section 9.19 readily admits it. The contribution is the conversion of the Proposition 1 qualifier into a structured-field verdict at the dwelling-aggregate granularity — a bounded engineering exercise rather than a research programme.

11.26 — Production-grade generator tooling. Discharges 11.14. The motivation is to convert the command-line research instrument into a tool practitioners can operate without grammar-level expertise. The methodology productionises the prototype as a web-based authoring environment integrated with BIM environments through open-standard exchange formats and with automated rule-checkers along the RASE clause-mark-up pattern,⁵¹ preserving the deterministic-pipeline guarantees that underpin Proposition 2 and Proposition 3 while supplying the practitioner-facing interface, persistent storage, multi-user concurrency, and version-controlled library curation the prototype does not provide. The contribution is the operational platform against which the field studies of Section 11.27 and Section 11.28 would be conducted.

11.27 — Non-specialist practitioner usability evaluation. Discharges 11.15. The motivation is to convert Proposition 3’s DECLARED-LIMITED verdict at Chapter 10, Section 10.23 into an externally supported one at the usability level. The methodology recruits practitioners not formally trained on the notation or the pipeline and evaluates, under task-based protocols, their attempts to manipulate a documentation packet, re-emit it, and recover a representation whose semantic and verification commitments remain consistent; task completion, error rate, and recovery-from-error rate are the measures. The contribution is the conversion of Proposition 3 to a SUPPORTED verdict, depending on results, and the elevation of Contribution 5’s procedural half from operational warrant to demonstrated capability.

11.28 — Practitioner-burden field study. Discharges 11.16. The motivation is to convert Proposition 5’s DECLARED-LIMITED verdict into an externally supported field-burden one. The methodology is a comparative study of practitioners working with and without the generator pipeline on matched SDA documentation tasks, enforcing matched-task baselines through pre-registration and controlling for practitioner experience and project complexity, with per-project production time, documentation-error rate, and a perceived-cognitive-load measure tracked across tasks; the design addresses the comparator-equivalence risk the candidate-driven instrumentation of Section 10.17 cannot fully discharge. The contribution is the conversion of Proposition 5 from sub-linear-burden-growth-under-candidate-instrumentation to the same claim under naturalistic deployment.

11.29 — HLP/OFC/DIN/LNK formal taxonomy amendment. Discharges 11.17. The motivation is the formal integration of the four Rule 4 variant module classes into the canonical taxonomy of Chapter 6, Section 6.2. The methodology lifts each of HLP, OFC, DIN, and LNK from a per-event Rule 4 declaration to a canonical taxonomy entry with full schema-depth specification of its required-element inventory, parent-class inheritance rules, and admissible composition contracts, extending the parser’s adjacency-hook inventory in step and discharging 11.13 as a downstream consequence. The contribution is the conversion of variant-taxonomy generality from the Rule 4 mechanism level to the enumerated-taxonomy level, lifting Contribution 3 to a fully enumerated state.

11.30 — LLM-assisted authoring layer. A partial discharge of 11.14 along the large-language-model axis. The present pipeline is purely deterministic by design, but substrate authoring — curating baseline-library entries and authoring Rule 4 variants — is the most labour-intensive practitioner-facing stage and the natural point for assistance. The methodology layers a language-model-assisted authoring tier above the deterministic pipeline: the model proposes draft entries from natural-language descriptions of a module’s required-element inventory and provenance, and the deterministic pipeline validates the drafts against the schema and the interaction-rule contracts. The deterministic-pipeline-as-validator pattern preserves reproducibility and replay; the contribution is the demonstration that assisted authoring is compatible with the deterministic architecture at the substrate-authoring stage, with the deterministic core preserved as the validator of record.

11.31 — Cross-jurisdictional SDA-equivalent regimes. Extends the architecture’s reach beyond the Australian exemplar. The motivation is to test transportability to non-Australian regimes sharing the concern with adaptation-heavy housing under regulatory constraint — the UK Lifetime Homes Standard, the US Visitability codes, and the Nordic accessibility regimes. The methodology applies the five-dimensional schema and the stratified vocabulary to one or more non-Australian regulatory texts and compares the schema’s coverage, the predicate-residual rate, and the Governed Kernel Architecture’s classification adequacy. The contribution is the conversion of the architecture’s status from regulatory-exemplar-bounded to regulatory-regime-class-bounded, discharging the cross-jurisdictional bound noted at the inter-disciplinary-collaboration implication of Section 11.4.

Sequencing and prioritisation. The twelve admit a natural sequencing under three considerations. The first is substrate prerequisite: Section 11.23, Section 11.25, and Section 11.29 are substrate-extension exercises the present substrate readily admits and that downstream directions presuppose, so they are appropriately sequenced first. The second is external-participant requirement: Section 11.20, Section 11.27, Section 11.28, and Section 11.22 require participant recruitment and ethics approval and constitute post-doctoral programmes whose timeframes are bounded by recruitment cycles rather than engineering effort. The third is architectural extension: Section 11.21, Section 11.24, Section 11.26, Section 11.30, and Section 11.31 extend the architecture’s reach beyond the present substrate and would be sequenced after the substrate-prerequisite directions but in parallel with the external-participant ones. The programme is honest about its scope: the thesis supplies the architecture and the minimum-viable instantiation, and the future-work programme is the path along which its broader reach would be established.

The discussion’s substantive content has been delivered across Section 11.2 through Section 11.19, and what remains is to consolidate the synthesised position so that Chapter 12 inherits the contribution claim under explicit conditions rather than implicit ones. The discussion has executed a five-step arc: it synthesised the five contributions into a single architectural claim, read that claim back into five theoretical traditions, directed it toward five practitioner-implication families, bounded it through a thirteen-item limitations catalogue, and projected it through a twelve-direction future-work programme. The arc is therefore synthesise, interpret theoretically, interpret practically, bound, and project; the present section states what the arc has produced.

The arc’s substantive output is the thesis’s central claim, restated in the form the interpretation has earned: adaptation-heavy housing under regulatory constraint admits a governed representational substrate whose architectural commitments support divergent regulatory-compliance pathways from a common substrate. The claim is integrative — the integration of representational governance, modularity, and adaptation under one architectural commitment, Stratified Functional Structuralism, expressed through the five-artefact suite and validated against the sealed CP-D5 corpus and the single-dwelling tree-branching trajectory, is achievable, is auditable, and is consequential for the practice of adaptation-heavy housing under regulatory constraint.⁵² The literature has separately discharged that adaptation-heavy housing is hard, that modularity helps outside housing, and that standards within fixed scope admit formalisation; the contribution is the integration of those traditions under one architectural commitment. The fork at S4 is its strongest single demonstration: from one substrate at the empty-nest threshold, branch S5a under typical aging-in-place adaptation and branch S5b under SDA-overlay refurbishment with an attached secondary dwelling emerge under shared rules, and neither pathway requires the rules governing the other to be relaxed or violated. The fork operationalises the central claim in a single observation — divergent regulatory-compliance pathways from a common substrate, governed under shared rules.

The claim is advanced under the bounded-claim posture the evaluation contract requires. The per-property verdicts of Chapter 10, Section 10.23 supply the operative bounds: Proposition 1 interoperability is SUPPORTED at HIGH confidence within the trajectory’s evidence scope; Proposition 2 transportability is SUPPORTED at HIGH confidence within the seven-state trajectory’s bounded-scope claim; Proposition 3 manipulability is DECLARED-LIMITED with the round-trip evidence inherited from Chapter 7, Section 7.20 and non-specialist usability declared as future work; Proposition 4 transformability is SUPPORTED at MODERATE confidence under the FW-05 single-fork caveat, the four typed exceptions absorbed cleanly across the six events while a single-fork demonstration remains structurally narrower than multi-trajectory validation; and Proposition 5 burden is DECLARED-LIMITED, the sub-linear cumulative growth supported under candidate-driven instrumentation with a practitioner-burden field study declared as future work. The thirteen limitations of Section 11.5 supply the second-tier bound — the candidate-as-arbiter scope, the cross-corpus and governed-kernel scope-limits, the single-dwelling demonstration scope, the prototype’s research-instrument character, the parser and taxonomy bounds, and the methodological-precision boundaries — and, read together with the verdicts, they fix the operative qualifier under which the central claim is defensible: the architecture is achievable, auditable, and consequential within the scope the limitations register and the future-work programme would extend.

The synthesised position is routed into Chapter 12 under a handoff that transmits four objects. The first is the central claim, that adaptation-heavy housing under regulatory constraint admits a governed representational substrate whose architectural commitments support divergent regulatory-compliance pathways from a common substrate. The second is the per-property verdicts of Chapter 10, Section 10.23, which supply the propositional substance and the operative bounds. The third is the thirteen-limitation catalogue of Section 11.5, which the closing chapter’s recommendations must respect. The fourth is the twelve-direction future-work programme of Section 11.19, along which the closing chapter may project the successor research agenda. Chapter 12 is the terminal closure: it inherits the four objects as the substrate against which it advances its summary of the thesis, its summary of contributions, its final recommendations, and its concluding remarks, its role being summative restatement under evidence-pointer discipline rather than fresh-claim production, with each restated contribution paired to a back-reference to the chapter at which its evidential burden was discharged. The chapter closes, then, with the architectural claim in place under the conditions the thesis can defend: the architecture is achievable, the substrate auditable, the divergent pathways from a common substrate operationally demonstrated, the bounds explicitly declared, and the path along which broader claims would become defensible enumerated. The contribution is the architecture itself — evidenced by the suite, bounded by the limitations register, and projected by the future-work programme.

Next chapter: Chapter 12: Conclusion →