docs(kernel-note): classify 18 Echo* modules to unblock kernel-guard CI

PR #136 (session/doc-sweep-slice-2bplus-landed) introduced or touched
18 Echo*.agda modules without entries in echo-kernel-note.adoc, so
scripts/kernel-guard.sh Check B (classification-drift lint) failed
with exit 1 before Agda was even installed.

Classifications (by in-repo import set):
- EchoTotalCompletion: Tier 1 (only Echo + stdlib) — A ↔ Σ Echo
  encode/decode pair anchoring the F5 canonical-identity cohort
- 17 others: Tier 2 (multi-hop) — split between the F5 canonical-
  identity / OFS cohort and the application/extension modules.
  F5 cohort: EchoOrthogonalFactorizationSystem, EchoImageFactorization,
  EchoNoSectionGeneric, EchoLossTaxonomy, EchoResidueTaxonomy,
  EchoDecorationStructure, EchoObservationalEquivalence, EchoOFSUnivF5,
  EchoOFSUnivF5Diag, EchoOFSUnivF5Iso, EchoCanonicalIdentitySuite.
  Application/extension: EchoEntropy, EchoLLEncoding, EchoProvenance,
  EchoSecurity, EchoProbabilisticSupport, EchoDifferential.

Kernel-guard check A (funext-free certificate) continues to pass.
Both checks PASS locally after this change.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

docs/echo-types/echo-kernel-note.adoc

@@ -64,11 +64,14 @@ kernel** — the boundary is real and lives outside this core.
 | `EchoCharacteristic`, `EchoChoreo`, `EchoDecidable`,
   `EchoFiberBridge`, `EchoFiberCount`, `EchoFiberTriangulation`,
   `EchoIndexed`, `EchoRelational`, `EchoTruncation`,
-  `EchoJanusBridge`, `EchoTropical`, `EchoSeparating`
+  `EchoJanusBridge`, `EchoTropical`, `EchoSeparating`,
+  `EchoTotalCompletion`
 | One hop off the kernel. `EchoJanusBridge`/`EchoTropical` are
   *Directions* (see MAP). `EchoFiberTriangulation` is the external
   stdlib triangulation hardening item. `EchoSeparating` carries
-  retracted prose framing (below).
+  retracted prose framing (below). `EchoTotalCompletion` is the
+  `A ↔ Σ Echo` encode/decode pair anchoring the F5 canonical-
+  identity cohort (Tier 2 below).
 
 | *Derived — Tier 2* +
 (depend on Tier-1 `Echo*`)
@@ -81,7 +84,14 @@ kernel** — the boundary is real and lives outside this core.
   `EchoExampleAbsInt`, `EchoExampleParser`, `EchoExampleProvenance`,
   `EchoExampleSignAnalysis`, `EchoExampleTruncation`,
   `EchoSearchExample`, `EchoThermodynamicsArbitrary`,
-  `EchoThermoCollapseImpossible`, `EchoAbstractionBarrier`
+  `EchoThermoCollapseImpossible`, `EchoAbstractionBarrier`,
+  `EchoOrthogonalFactorizationSystem`, `EchoImageFactorization`,
+  `EchoNoSectionGeneric`, `EchoLossTaxonomy`, `EchoResidueTaxonomy`,
+  `EchoDecorationStructure`, `EchoObservationalEquivalence`,
+  `EchoOFSUnivF5`, `EchoOFSUnivF5Diag`, `EchoOFSUnivF5Iso`,
+  `EchoCanonicalIdentitySuite`, `EchoDifferential`, `EchoEntropy`,
+  `EchoLLEncoding`, `EchoProbabilisticSupport`, `EchoProvenance`,
+  `EchoSecurity`
 | Multi-hop. `EchoThermodynamics` reaches the kernel via
   `EchoFiberCount` (no direct `Echo` import);
   `EchoThermodynamicsFinite` is its Bishop-finite transport layer.
@@ -93,6 +103,21 @@ kernel** — the boundary is real and lives outside this core.
   `EchoLinear`, landed 2026-05-26 via PR #119.  `EchoExample*` are
   derived domain
   applications.
+  *F5 canonical-identity / OFS cohort* (added via Slice-2b+ doc
+  sweep): `EchoOrthogonalFactorizationSystem` is the
+  (encode-mono / decode-epi) factorisation keystone;
+  `EchoImageFactorization` carries the image side;
+  `EchoOFSUnivF5`/`Diag`/`Iso` are the F5 universal-property work
+  routing composition through totality;
+  `EchoCanonicalIdentitySuite` re-exports the cohort as a single
+  entry point; `EchoNoSectionGeneric` / `EchoLossTaxonomy` /
+  `EchoResidueTaxonomy` / `EchoDecorationStructure` /
+  `EchoObservationalEquivalence` are the no-section / loss /
+  residue / decoration / observational classifications.
+  *Application/extension modules* (also added via the same sweep):
+  `EchoEntropy`, `EchoLLEncoding`, `EchoProvenance`, `EchoSecurity`,
+  `EchoProbabilisticSupport`, `EchoDifferential` are derived domain
+  applications mapped under their own headings in MAP.adoc.
 
 | *Earn-back gate modules* +
 (derived / scoped; not kernel)