loading
loading
§SCC · Hub
One entry point for the SCC programme — the canonical specification, the current research status, the unification plan with Ontology Neural Networks, and the mathematical results. A living hub rather than a chapter list.
Suggested reading order
Canonical specifications
The authoritative formal statement of the theory — primitives, axioms, the energy functional, and the proved-results registry.
Research roadmap & status
Dated status reports — theorem ledger, implementation state, iteration history, and the open problems currently blocking consolidation.
Active SCC status as of CV-1.17 (sealed 2026-05-15 — W7 close). Ledger: 68 Cat A + 19 B + 6 C + 5 Retracted = 98 claims, ~70% proved; 215 passed + 1 xfailed. H-COMP-KERNEL CLOSED Cat B. H-MORSE partially closed. First _archive/ cohort instantiated.
W7 sealed six canonical versions, closed H-COMP-KERNEL with the kernel-composed compositional consistency theorem, partially closed H-MORSE, archived 14 working/parking files into the first _archive cohort, and deliberately deferred the z_t / S_0 / K_read direction via Decision C.
W6 covers six canonical versions in one day, completes P-F-A1 Package I, launches and fully closes the Observer Moduli Space theory, and resets theory navigation around six epistemological questions.
W5 promotes T-L1-F, SCC's first multi-formation Cat A theorem. It adds the hard-count bridge, drafts the L1-M soft-count companion, registers two HIGH open problems, and documents the T-σ-Theorem-4 demotion.
Historical SCC status snapshot frozen at W5 Day 1 G0 close (2026-04-27, CV-1.5) — 43 Cat A / 57 claims / 75% proved, the W4 resolution of the 3 Critical OPs (F-1, M-1, MO-1), and the W5 Day 1 G0 σ-framework canonical merge. Superseded; for the active living status page see scc-status-2026-05.
W4 closes the year-old Critical-3: F-1, M-1, and MO-1. The Pre-Objective Mechanism cluster and T-V5b-T enter Cat A, the σ-framework becomes the language for critical-point signatures, and the v2.0 release path unblocks.
Integration & north-star
How SCC is positioned relative to Ontology Neural Networks and the broader research programme.
Narrative overview of Soft Cognitive Cohesion — what the theory does, core thesis, conceptual inversion, mathematical problem. Aligned with CV-1.11 (2026-05-06; W6 EOD 2026-05-08): 54 Cat A theorems (78 total, ~69% proved). OMS-2.0 Accepted — Full. OP-0006 RESOLVED. P-F-A1 Package I complete.
The ultimate design target of the whole research programme: a single cognitive-reasoning architecture that unifies Soft Cognitive Cohesion (SCC) and Ontology Neural Networks (ONN). Four layers, one pipeline, one vision.
Mathematical results
Theorems and proofs. The Part II summary lists the eight main theorems; individual theorem pages will be detached from it as they are cleaned for public reading.
Complete statements and full proofs of the eight core theorems of RelationWorld Theory — energy isolation, door finiteness, self-interpretation, metastability, curvature localisation, spectral stability, door stability, and flow stability.
A condensed statement of the eight main theorems of RelationWorld Theory with one-paragraph proof ideas and their logical dependencies. Full proofs live in the research archive.
Internal edge-energy of a fruit is at least (1-theta) of its total volume. A three-step proof from the conductance bound.
The number of door nodes is bounded by theta times the volume divided by the threshold. A direct energy-budget argument.
Under Axiom A5, the door set and door energies are determined entirely by the fruit's intrinsic data — no exterior information is needed.
The expected escape time from a fruit under the lazy walk is at least 1/(2 theta), via the Cheeger inequality and the Sinclair–Jerrum spectral bound.
Residual curvature under the optimal gauge concentrates exponentially near doors for U(1), and satisfies a contraction bound for general compact G.
Small weight perturbations produce bounded conductance changes; strong fruits persist under perturbation with an explicit constant C1 = 2(1+theta).
Under weight perturbation, doors with sufficient margin above the threshold are stable — only the epsilon-boundary layer may change.
The Yang–Mills gradient flow converges to a stable critical point, with exponential rate when the Lojasiewicz exponent is 1/2, via real-analyticity and compactness.
First multi-formation canonical Cat A conditional theorem. Under hypothesis package (P0)-(P11) on shared-pool Σ̃_M^K_field, the hard-bar count from H_0 superlevel persistence equals the active-slot count, with labelled bijection.
Under full SCC on any (G1)-(G4) graph, the F=1 single-disk is not a critical point of full E, and gradient flow attracts to multi-peak F≥2 configurations. The W4 capstone — SCC's pre-objective character is theorem, not modeling choice. Resolves F-1.
On translation-invariant graphs (torus T^d, cycle C_n), a sub/super-lattice spectral dichotomy at the F=1/F≥2 transition. 2D: Goldstone doublet with commensurability split; 1D: 1-fold Goldstone; nodal count = 2 universal. W4-extended capstone (8 V5b iterations + NQ-172 reproducibility check).
The energy E attains its minimum on the constraint manifold Σ_m. The well-posedness foundation of SCC: every other result is a refinement of the bare existence statement.
As ε = α/β → 0, the boundary-morphology energy E_bd Γ-converges to a perimeter functional. Minimizers converge to characteristic functions of minimal-perimeter sets. The soft-to-crisp bridge — recovery of object-like sharp interfaces from the soft cohesion field.
The projected gradient flow on Σ_m converges to a critical point. With analytic energy (b_D = 0), convergence is exponential via the Łojasiewicz inequality. The dynamical existence theorem — variational minimizers are reachable by descent.
The axioms A1' / A2 / A3 / A4 of Group A (closure) are mutually consistent. The original A1 (weak extensivity) is incompatible with A3 (contraction) for the sigmoid closure realization; A1' (conditional extensivity) resolves the tension. The theory's foundational legitimacy.
When the closure steepness parameter a_cl < 4, the sigmoid closure operator has a unique fixed point on [0,1]^n with geometric convergence rate a_cl/4. The convergence guarantee for the central self-referential operator.
At a non-idempotent closure fixed point with operator norm < 1, the closure Hessian contribution is strictly positive definite (n/n positive eigenvalues). For idempotent closure, only n-k of n eigenvalues are positive. The mathematical payoff of SCC's deliberate non-idempotence commitment.
On any connected graph with Fiedler eigenvalue λ_2 > 0, when β/α exceeds 4λ_2/|W''(c)|, the uniform field becomes unstable and a non-uniform minimizer exists. Formation birth is topologically universal — depending only on the spectral gap.
Related papers
Published and in-progress manuscripts that develop, cite, or depend on the SCC formalism.
The advancement of autonomous robotic systems has led to significant capabilities in perception, localization, mapping, and control, yet a critical challenge remains in representing and preserving relational semantics, c
This work presents the first comprehensive empirical investigation into the practical realization of performance bounds theoretically established by the Ontology Neural Network (ONN) and Ontological Real-Time State Feedb
We present a constructive solution to the Lyapunov–Massera–Kurzweil problem via Ontology Neural Networks (ONN), bridging a 60-year gap between existence and construction in stability theory. While Massera (1949) proved t
Neuro-symbolic reasoning systems face fundamental challenges in maintaining semantic coherence while satisfying physical and logical constraints. Building upon our previous work on Ontology Neural Networks, we present an