IndisputableMonolith.Sociology.SocialMediaPolarisationFromJCost

   1import Mathlib
   2import IndisputableMonolith.Common.CanonicalJBand
   3
   4/-!
   5# F2: Social Media Polarisation from J-Cost on Echo-Chamber Ratio
   6
   7Per-user-pair J-cost on `r := observed_cross_cluster_exposure /
   8balanced_exposure_baseline`. Healthy discourse sits at `r ≈ 1`; echo
   9chambers (r ≪ 1) and information flooding (r ≫ 1) both carry positive
  10J-cost. The canonical band gates the "informed deliberation vs
  11polarised tribalism" boundary on platform-level exposure mechanics.
  12
  13Falsifier: an active social platform with measured cross-cluster J-cost
  14in the canonical band that nonetheless shows above-baseline polarisation.
  15
  16Lean status: 0 sorry, 0 axiom.
  17-/
  18
  19namespace IndisputableMonolith
  20namespace Sociology
  21namespace SocialMediaPolarisationFromJCost
  22
  23open Common.CanonicalJBand
  24
  25structure SocialMediaPolarisationCert where
  26  base : CanonicalCert
  27
  28def socialMediaPolarisationCert : SocialMediaPolarisationCert where
  29  base := cert
  30
  31end SocialMediaPolarisationFromJCost
  32end Sociology
  33end IndisputableMonolith
  34