Foundation · Structural

Mereology

Asks What is a part, and what is its own thing?

Parts and wholes: when one thing is a component of another, and when it is a separate thing that merely relates to it. A structure that gets this wrong grows a new level every time a team asks for one, and the same number ends up owned in three places with no rule for which owns it.

In this model A Campaign contains Tactics and a Tactic contains Actions, and none of the three collapses into another. A calculation lives in a Formula rather than inside the Metric that uses it.

Represented by

The engineering standards that state this foundation directly, among the works the commitments stand on.

Commitments it asks for — 7

What the build enforces — 12

registry integritycalculation and projection integrity
Formula inputs, metric composition, cardinality, and plan projections satisfy their declared contracts.
registry integritydistinct definitions
No two rows of different kinds are defined in the same words, and no definition restates a field the row already carries, so a distinction the model commits to is carried where a reader meets it and nothing the model knows is stored in two places at once.
registry integritytyped relationships
Every relationship has declared endpoint kinds and a governed cardinality.
registry integritythe hierarchy holds
A tactic stands within its campaign and an action within its tactic. For each containment the kernel declares, along the road that makes one the child of the other, the child narrows what the parent declares, a window, a geography, an audience, and never widens it, or keeps what the parent honours, a preference, a permission basis, and never drops it. A parent that declares nothing binds nothing, and the same road declared at two levels can no longer contradict itself.
registry integrityadmission and shape
Every kind has a valid shape and evidence class, and every row keeps the admission its kind allows: a record names its source, an exemplar names none, and a world record states the public reference it stands on.
registry integritystable identifiers
Kind prefixes are unique, every row keeps the identity convention of its kind, and an identifier once retired is never reused: a kind writes each retirement down with its date and its reason, and every number below its highest is a row or a retirement.
registry integrityjourney integrity
Every journey begins at one of its own positions and carries at least one legal move, its positions sit on a contiguous run of rungs, and every position either has a move out or realises a condition another journey leaves from, so no journey is a picture and no position is a dead end.
registry integritylifecycle ladder
The lifecycle is a single unbroken chain with one first stage and one last, every consumer state is placed on it, and every stage is one some goal advances people toward, so an order a reader leans on cannot quietly become a fork, leave a condition unplaced, or hold a rung nothing pursues.
Every view binds declared patterns from one kindViews compose
Every view names declared patterns, all asked from one kind, drawn in a way the law's pattern vocabulary declares, belonging to a declared deliverable, a table as one of its tabs and a job as work that produces it; and some row of that kind answers at least one of them. What a view touches is derived from its patterns, never listed beside them.
registry integrityaddress integrity
Every page address is made once from a label by the law's own scheme and is distinct from every other; every top-level name the site answers is derived from what declares it, and no kind, endpoint or frame name takes another's; every address the site once answered to, a former label's or a retired identifier's, is distinct from every live address and from every other former one, and no row names its own label as a former one; every projection answers at a declared name, once, and is cut from fields the artifact carries; every operation reads a projection; and every endpoint answers only what its direction allows.
registry integrityrecord shapes hold
Every pattern declares its grain. A record shape is a shape, walks at least one record road, and is the registry's declaration of a join a record must make, a person-level record in every case but the campaign roll-up, so the registry instantiates it by nothing and the standards export writes it as a shape without a target. A vocabulary pattern walks no record road, because a record road holds no rows to answer from.
ring:8the standards ring
A SHACL validator and a SPARQL engine that are not this build agree with it.