Typed models read every run and generated from; can't drift.

Executable source-of-truth models

Intent — Model the system as typed data that tools read on every run and generate real artifacts from. The model becomes executable documentation that cannot drift, and the codebase becomes operable by a context-bounded agent.

SummaryTyped models read every run and generated from; can't drift.
TargetBridge · System models
Formtyped-ir
EnforcementHard (deterministic) — the models are construction (typed IR); the counted sensors are the drift/parity gates that fail the build when a model diverges from reality

> ★ The bridge. This is the flagship of the third role: the model layer is the interface through > which a context-bounded agent operates a context-exceeding codebase. It faces both ways. Agents > read it to reason; the codebase is governed from it, and a limited slice (config, docs, IPC contracts) is generated from it too. The other bridge entries are its > models and mechanisms.

Motivation — the failure it kills

A large codebase exceeds any agent's context window; no agent can hold 280 KLOC. Left to read the raw code, an agent gets lost, re-derives the architecture (badly), and drifts. Meanwhile the architecture itself lives only implicitly, scattered across the code, so humans re-derive it too. The failure is no shared, authoritative, compact representation of the system, which caps how large a codebase agents can operate on at all.

Why it's not just "write architecture docs"

Prose architecture docs drift, because nothing forces them true. They are read by humans occasionally and validated never. These models are executable: they are data that tools, lints, and deploy scripts read on every run, and that generate real artifacts (NetworkPolicy, service wiring, API docs). Because they are continuously used and validated, they cannot go stale. The build fails the moment a model diverges from the code. A prose doc can be accurate too, on the day it is written. What it lacks is the thing that keeps it accurate: nothing reads it on every run, so nothing notices when it falls behind. An executable model is read and checked continuously, so drift surfaces as a failed build instead of a stale paragraph nobody reopened.

Why now: MBSE (modelling your system as typed source-of-truth) has long been possible and rarely done: maintaining the models and satisfying the drift gates is tedious, and humans resent the nagging. Agents dissolve that barrier. Regenerating artifacts and running the parity gates is exactly the disciplined, repetitive upkeep they do without complaint. So agentic engineering finally makes MBSE practical, and the same models let an agent operate a codebase larger than its context.

Mechanism

The model catalog holds typed models (Backstage-dialect YAML for services, typed loaders for the rest) that import nothing: pure data. Consumers read them at run/lint-time (a lint that reads the meta-file is preferred over codegen, which is preferred over a hand-rolled copy). Every model is (a) pinned by a doc-derived characterization test, (b) held true by a drift/parity gate, and (c) frequently read or generated-from, so it is exercised constantly.

Prerequisites

Consequences & costs

Known uses

Related mechanisms