Completeness and Minimality

Two results hold about {S, B, R, C}: completeness and minimality. This paper states both, carries their proof sketches, and fences their full formalisation at KS-P.1 and KS-P.2.

You have seen them referenced throughout the work. Here is where they become load-bearing.

4.1 — Completeness (carried in this paper; fenced by KS-P.1)

No fifth axiom is needed. Every physical structure derived in the work follows from {S, B, R, C} alone (conditional on EH).

A candidate fifth axiom is either derivable from {S, B, R, C} (redundant), in contradiction with them (inconsistent), or independent of them — and the completeness result shows, by exhaustive case analysis of possible additional structures, that no independent candidate is required for any structure the work derives. The set is complete in the operative sense: nothing the work derives needs a fifth input.

Completeness is fenced at KS-P.1 (LIVE — HARD); the fifth-degree-of-freedom question is closed at its home, KS-16 (AP10).

4.2 — Minimality (carried in this paper; fenced by KS-P.2)

No axiom is removable. Each axiom is not derivable from the others.

Remove S: no sectors, no distinction, no record possible. The structure collapses.

Remove B: perfect symmetry, no break, no information. The structure is frozen.

Remove R: breaks occur but leave no trace. No accumulation, no facts, no physics.

Remove C: records are everywhere instantly. No locality, no structure, no form.

Four axioms. None redundant. None removable. Together, complete.

4.2a — The two results and their proof obligations

The proof rests on exactly two results about the axiom set. Nothing else.

(i) Completeness. No additional axiom beyond {S, B, R, C} is required to generate the work’s derived physical structure. The case analysis in section 4.1 — any candidate fifth axiom is derivable (redundant), contradictory (inconsistent), or not required by anything the work derives — is the proof sketch this paper carries. Its full formalisation is the open obligation KS-P.1 names.

(ii) Minimality / Independence. Each axiom is necessary. The four removal arguments in section 4.2 — remove any one axiom and records become impossible in a distinct, named way — are the proof sketches this paper carries. Their full formalisation as four independent removal models, one per axiom, is the open obligation KS-P.2 names.

These two results are the only completeness/minimality inputs used in the proof of EH. If either contains a gap, the proof falls (KS-P.1, KS-P.2).

4.3 — What completeness and minimality mean for EH

Completeness means: {S, B, R, C} are sufficient for all physical structure.

Minimality means: {S, B, R, C} are necessary — remove any one and records become impossible.

Together: {S, B, R, C} are the complete, minimal conditions for records to exist.

There is no smaller set that works. There is no different set that works without containing {S, B, R, C} as a subset.

Any structure capable of producing records must satisfy all four axioms.

You now hold both halves. The undeniable premise: records exist. The proven result: records require exactly {S, B, R, C}. The conclusion writes itself.

But before the proof, one more piece. The apparent gap between algebra and geometry must dissolve.