C.1 Structure and Boundaries

Structural models represent what exists and how elements relate. In review, they expose which architectural boundaries a change affects. Ownership and boundary policy often share the same representation but answer distinct questions: who owns a surface, and which relationships are permitted.

C.1.1 Component and Zone

Engineering question. Where am I, who owns this surface, and what may cross its boundary?

The model maps implementation surfaces to components and declares the seams through which those components may interact.

Representation. A minimal form:

Component
    id
    name
    focus_directories[]
    tags[]
    boundary_kind
Zone
    component_id
    directory
Seam
    source_component
    target_surface
    relation_kind
    permitted

Figure C.1-1 joins the authored catalog to the observed tree.

Structure and boundaries — authored ownership and seams joined to the observed repository tree A component catalog, the authored structure, owns a web zone and permits a seam, both shown along solid arrows. The web zone reaches the worker through a sanctioned seam, a solid arrow crossed by a heavy gate glyph marking the one door a boundary check guards. A second crossing, from the web zone straight to a raw format library, is a forbidden direct access: a dashed arrow struck through by a red X, a crossing with no sanctioned door. Beneath, the observed repository tree is reverse-mapped up into the catalog along a dashed arrow, so the model answers both what directory exists and who should own it. Legend as in Figure C-1; weight, dash, and glyph carry the meaning without colour. Question: who owns this surface, and what may cross its boundary? AUTHORED STRUCTURE COMPONENT CATALOG ownership · seams WEB ZONE WORKER RAW FORMAT LIBRARY REPOSITORY TREE OBSERVED STRUCTURE owns permits sanctioned seam CHECKED · door forbidden direct access reverse-map the tree Legend: see Figure C-1. Gate glyph = a guarded door (authority); X = a forbidden crossing with no door.
Figure C.1-1. Structure and boundaries. Authored ownership and permitted seams are reconciled with the observed repository tree. Sanctioned crossings pass through declared doors; forbidden direct access raises a finding.

Property. Representative properties, each with the source that decides it:

Table C.1-1. Representative properties of the component-and-zone model, and the fact source each draws on.
PropertyFact source
Every in-scope source directory belongs to exactly one componentAuthored ownership joined to the observed tree
Every component's declared directory existsRepository
Boundary crossings use sanctioned seamsAuthored model
Powerful mutation surfaces are reachable only through declared doorsAuthored model plus observed dependency

Directory existence can be derived from the repository; ownership and permitted boundaries are authored architectural decisions.

Authority and correspondence. The repository tree is mapped back to the component catalog. A directory with no owner, multiple owners, or an observed dependency crossing an undeclared boundary becomes a correspondence finding. Where reconciliation depends on source locations, anchor references to resolvable symbols rather than line numbers so the correspondence can be re-derived after edits. The finding may remain advisory or feed a lint, build failure, or admission gate.

C.1.2 Service Flow

Engineering question. Which service may call or reach which service or resource, and under what policy?

Representation.

Service
    id
    role
Resource
    id
    kind
Flow
    source
    target
    relation
    auth_posture

The central object is the declared edge. Each permitted service-to-service or service-to-resource relation records both reachability and its authentication posture; an observed edge with no declaration is a mismatch.

Property. Only declared service-to-service and service-to-resource relationships are permitted, each with its declared authentication posture. The same graph carries both connectivity and access policy.

Authority and correspondence. The declared graph supplies the ought. Static call sites, generated configuration, deployment wiring, and runtime observation each supply part of the is. A correspondence check asks whether each observed edge is declared and, where it matters, whether each declared edge still exists.

The same representation pattern applies to firewall policy, service-mesh authorization, network policy, and cloud access control: the representation declares permitted relations while the enforcement mechanism varies by substrate.

C.1.3 Two Simpler Structural Forms

Two simpler forms use the same pattern: reconcile observed facts or edges against a declared set.

© James C. Davis, 2026–present