# description
Structural schema for the source-backed UK tax-identity dimensions, archetypes, overlaps, timeline and synthetic examples. Runtime integrity checks remain required.

# x-taxsorted-runtime-invariants[]
Every corpus record ID and classification ID is unique in its declared namespace.

# x-taxsorted-runtime-invariants[]
Every source, subject, dimension, archetype, requirement and classification reference resolves.

# x-taxsorted-runtime-invariants[]
Every classification is individually sourced and every source is used.

# x-taxsorted-runtime-invariants[]
Unknown and unresolved are assertion states, never classification values.

# x-taxsorted-runtime-invariants[]
Every required overlap classification belongs to its declared dimension and every pairwise scope relation resolves.

# x-taxsorted-runtime-invariants[]
Every synthetic example covers every declared identity dimension and declares its subjects and archetypes.

# x-taxsorted-runtime-invariants[]
Every assertion names a full scope and an explicit, coherent effective-date basis.

# x-taxsorted-runtime-invariants[]
Every stated assertion interval is bounded and ordered.

# x-taxsorted-runtime-invariants[]
Every dimension and archetype appears in the origin and evolution timeline.

# x-taxsorted-runtime-invariants[]
Corpus law, source and example dates do not run beyond the review boundary.