verify
TauLib API Documentation
445 module documentation pages generated from the TauLib Lean 4 source code.
445 modules
Complete API documentation for every TauLib module, generated from source annotations.
7 books
Organized by book: Foundations through Metaphysics, plus Tours.
Searchable
Browse by book or search the full site to find any declaration.
Browse by Book
Book I (94 modules)
- TauLib.BookI.Orbit.Closure
- TauLib.BookI.Orbit.Countability
- TauLib.BookI.Orbit.Generation
- TauLib.BookI.Orbit.Ladder
- TauLib.BookI.Orbit.Rigidity
- TauLib.BookI.Orbit.Saturation
- TauLib.BookI.Orbit.TooFew
- TauLib.BookI.Orbit.TooMany
- TauLib.BookI.Coordinates.ABCD
- TauLib.BookI.Coordinates.ChebyshevBias
- TauLib.BookI.Coordinates.Descent
- TauLib.BookI.Coordinates.Hyperfact
- TauLib.BookI.Coordinates.IteratedPrime
- TauLib.BookI.Coordinates.NoTie
- TauLib.BookI.Coordinates.NormalForm
- TauLib.BookI.Coordinates.PrimeEnumeration
- TauLib.BookI.Coordinates.Primes
- TauLib.BookI.Coordinates.TowerAtoms
- TauLib.BookI.Boundary.Characters
- TauLib.BookI.Boundary.ComplexField
- TauLib.BookI.Boundary.ConstructiveReals
- TauLib.BookI.Boundary.Cyclotomic
- TauLib.BookI.Boundary.Fourier
- TauLib.BookI.Boundary.Galois
- TauLib.BookI.Boundary.Integration
- TauLib.BookI.Boundary.Iota
- TauLib.BookI.Boundary.Measure
- TauLib.BookI.Boundary.NumberTower
- TauLib.BookI.Boundary.Quaternions
- TauLib.BookI.Boundary.Ring
- TauLib.BookI.Boundary.Spectral
- TauLib.BookI.Boundary.SplitComplex
- TauLib.BookI.CF.WindowAlgebra
- TauLib.BookI.Logic.BooleanRecovery
- TauLib.BookI.Logic.Explosion
- TauLib.BookI.Logic.Truth4
- TauLib.BookI.MetaLogic.DiagonalResonance
- TauLib.BookI.MetaLogic.LinearDiscipline
- TauLib.BookI.MetaLogic.LinearityAudit
- TauLib.BookI.MetaLogic.OnticInvariance
- TauLib.BookI.MetaLogic.ReceptionCriterion
- TauLib.BookI.MetaLogic.StructuralExclusion
- TauLib.BookI.MetaLogic.Substrate
- TauLib.BookI.Topos.CartesianProduct
- TauLib.BookI.Topos.EarnedArrows
- TauLib.BookI.Topos.EarnedTopos
- TauLib.BookI.Topos.Functors
- TauLib.BookI.Topos.InternalHom
- TauLib.BookI.Topos.LimitsSites
- TauLib.BookI.Topos.WedgeProduct
- TauLib.BookI.Sets.CantorRefutation
- TauLib.BookI.Sets.Counting
- TauLib.BookI.Sets.Membership
- TauLib.BookI.Sets.Operations
- TauLib.BookI.Sets.OrbitSets
- TauLib.BookI.Sets.Powerset
- TauLib.BookI.Sets.UniqueInfinity
- TauLib.BookI.Sets.Universe
- TauLib.BookI.Polarity.BipolarAlgebra
- TauLib.BookI.Polarity.CRTBasis
- TauLib.BookI.Polarity.ChineseRemainder
- TauLib.BookI.Polarity.ExtGCD
- TauLib.BookI.Polarity.Lemniscate
- TauLib.BookI.Polarity.ModArith
- TauLib.BookI.Polarity.NthPrime
- TauLib.BookI.Polarity.OmegaGerms
- TauLib.BookI.Polarity.OmegaRing
- TauLib.BookI.Polarity.Polarity
- TauLib.BookI.Polarity.PolarizedGerms
- TauLib.BookI.Polarity.PrimeBridge
- TauLib.BookI.Polarity.Spectral
- TauLib.BookI.Polarity.TeichmuellerLift
- TauLib.BookI.Denotation.Arithmetic
- TauLib.BookI.Denotation.Equality
- TauLib.BookI.Denotation.GrowthEscape
- TauLib.BookI.Denotation.Order
- TauLib.BookI.Denotation.ProgramMonoid
- TauLib.BookI.Denotation.RankTransfer
- TauLib.BookI.Denotation.SolenoidPitch
- TauLib.BookI.Denotation.Structural
- TauLib.BookI.Denotation.TauIdx
- TauLib.BookI.Holomorphy.BoundaryInterior
- TauLib.BookI.Holomorphy.DHolomorphic
- TauLib.BookI.Holomorphy.DiagonalProtection
- TauLib.BookI.Holomorphy.GlobalHartogs
- TauLib.BookI.Holomorphy.IdentityTheorem
- TauLib.BookI.Holomorphy.PresheafEssence
- TauLib.BookI.Holomorphy.SpectralCoefficients
- TauLib.BookI.Holomorphy.TauHolomorphic
- TauLib.BookI.Holomorphy.Thinness
- TauLib.BookI.Kernel.ActionQuantum
- TauLib.BookI.Kernel.Axioms
- TauLib.BookI.Kernel.Diagonal
- TauLib.BookI.Kernel.Signature
Book II (65 modules)
- TauLib.BookII.Closure.BSDbridge
- TauLib.BookII.Closure.Connection
- TauLib.BookII.Closure.Curvature
- TauLib.BookII.Closure.DiffGeoAgenda
- TauLib.BookII.Closure.ForwardBook3
- TauLib.BookII.Closure.GeometricBiSquare
- TauLib.BookII.Closure.TauManifold
- TauLib.BookII.Topology.BoundaryMinimality
- TauLib.BookII.Topology.CoherenceConnectivity
- TauLib.BookII.Topology.DimensionFour
- TauLib.BookII.Topology.Invariant
- TauLib.BookII.Topology.StoneSpace
- TauLib.BookII.Topology.TorusDegeneration
- TauLib.BookII.Domains.Cylinders
- TauLib.BookII.Domains.HolImpliesCont
- TauLib.BookII.Domains.Ultrametric
- TauLib.BookII.CentralTheorem.BoundaryCharacters
- TauLib.BookII.CentralTheorem.Categoricity
- TauLib.BookII.CentralTheorem.CentralTheorem
- TauLib.BookII.CentralTheorem.ExtensionsOmegaGerms
- TauLib.BookII.CentralTheorem.HartogsExtension
- TauLib.BookII.CentralTheorem.SheafCohomology
- TauLib.BookII.CentralTheorem.YonedaApplied
- TauLib.BookII.Prologue.SplitComplexInterior
- TauLib.BookII.Regularity.CodeDecode
- TauLib.BookII.Regularity.IdempotentDecomposition
- TauLib.BookII.Regularity.PositiveRegularity
- TauLib.BookII.Regularity.PreYoneda
- TauLib.BookII.Regularity.ThreeLemmaChain
- TauLib.BookII.Enrichment.EnrichmentLadder
- TauLib.BookII.Enrichment.Homological
- TauLib.BookII.Enrichment.SelfDescribing
- TauLib.BookII.Enrichment.SelfEnrichment
- TauLib.BookII.Enrichment.TwoCategories
- TauLib.BookII.Enrichment.YonedaTheorem
- TauLib.BookII.Geometry.Betweenness
- TauLib.BookII.Geometry.CausalStructure
- TauLib.BookII.Geometry.Congruence
- TauLib.BookII.Geometry.OrthodoxBridge
- TauLib.BookII.Geometry.PaschParallel
- TauLib.BookII.Interior.ABCDRigidity
- TauLib.BookII.Interior.BipolarDecomposition
- TauLib.BookII.Interior.OmegaReadout
- TauLib.BookII.Interior.Tau3Fibration
- TauLib.BookII.Interior.TauAdmissible
- TauLib.BookII.Hartogs.BndLift
- TauLib.BookII.Hartogs.CalibratedSplitComplex
- TauLib.BookII.Hartogs.CanonicalBasis
- TauLib.BookII.Hartogs.CategoryStructure
- TauLib.BookII.Hartogs.EvolutionOperator
- TauLib.BookII.Hartogs.L2Space
- TauLib.BookII.Hartogs.LaurentResidue
- TauLib.BookII.Hartogs.MutualDetermination
- TauLib.BookII.Hartogs.SheafCoherence
- TauLib.BookII.Mirror.DimensionalLadder
- TauLib.BookII.Mirror.Inventory
- TauLib.BookII.Mirror.PhysicsQuadrant
- TauLib.BookII.Mirror.SignClassification
- TauLib.BookII.Mirror.WaveHolomorphy
- TauLib.BookII.Transcendentals.Circles
- TauLib.BookII.Transcendentals.EEarned
- TauLib.BookII.Transcendentals.IotaTauConfirmed
- TauLib.BookII.Transcendentals.JReplacesI
- TauLib.BookII.Transcendentals.Lines
- TauLib.BookII.Transcendentals.PiEarned
Book III (70 modules)
- TauLib.BookIII.Sectors.BoundaryCharacters
- TauLib.BookIII.Sectors.Decomposition
- TauLib.BookIII.Sectors.LanglandsReflection
- TauLib.BookIII.Sectors.ParityBridge
- TauLib.BookIII.Bridge.BridgeAxiom
- TauLib.BookIII.Bridge.ConjectureGaps
- TauLib.BookIII.Bridge.ForbiddenMoves
- TauLib.BookIII.Bridge.Incompleteness
- TauLib.BookIII.Bridge.TranslationArith
- TauLib.BookIII.Bridge.TranslationObstruction
- TauLib.BookIII.Bridge.TranslationTopo
- TauLib.BookIII.Bridge.ZFCasVM
- TauLib.BookIII.Prologue.HartogsBulk
- TauLib.BookIII.Spectral.AdditiveConjectures
- TauLib.BookIII.Spectral.Adeles
- TauLib.BookIII.Spectral.BipolarClassifier
- TauLib.BookIII.Spectral.CRT
- TauLib.BookIII.Spectral.ConfinementBridge
- TauLib.BookIII.Spectral.GoldbachDeep
- TauLib.BookIII.Spectral.HenselLifting
- TauLib.BookIII.Spectral.LocalFields
- TauLib.BookIII.Spectral.ModularForms
- TauLib.BookIII.Spectral.PrimorialLadder
- TauLib.BookIII.Spectral.SieveInfrastructure
- TauLib.BookIII.Spectral.Trichotomy
- TauLib.BookIII.Spectral.TwinPrimeDeep
- TauLib.BookIII.Computation.Admissibility
- TauLib.BookIII.Computation.CompBiSquare
- TauLib.BookIII.Computation.E2Agent
- TauLib.BookIII.Computation.E2Witness
- TauLib.BookIII.Computation.TowerMachine
- TauLib.BookIII.Computation.WitnessSearch
- TauLib.BookIII.Doors.BridgeTightening
- TauLib.BookIII.Doors.CriticalLine
- TauLib.BookIII.Doors.GrandGRH
- TauLib.BookIII.Doors.LemniscateOperator
- TauLib.BookIII.Doors.MasterSchema
- TauLib.BookIII.Doors.MutualDetermination
- TauLib.BookIII.Doors.Poincare
- TauLib.BookIII.Doors.SpectralCorrespondence
- TauLib.BookIII.Doors.SpectralDecomp
- TauLib.BookIII.Doors.SplitComplexZeta
- TauLib.BookIII.Arithmetic.ABCConjecture
- TauLib.BookIII.Arithmetic.ABCDeep
- TauLib.BookIII.Arithmetic.BSD
- TauLib.BookIII.Arithmetic.EnrFunctor01
- TauLib.BookIII.Arithmetic.EnrichedBiSquare
- TauLib.BookIII.Arithmetic.Langlands
- TauLib.BookIII.Arithmetic.ProtoCodes
- TauLib.BookIII.Arithmetic.RationalPoints
- TauLib.BookIII.Arithmetic.TowerAssembly
- TauLib.BookIII.Hinge.DependencyChain
- TauLib.BookIII.Hinge.HingeTheorem
- TauLib.BookIII.Enrichment.CanonicalLadder
- TauLib.BookIII.Enrichment.Functor
- TauLib.BookIII.Enrichment.LayerTemplate
- TauLib.BookIII.Physics.FluidData
- TauLib.BookIII.Physics.GapTheorem
- TauLib.BookIII.Physics.HartogsFlow
- TauLib.BookIII.Physics.Hodge
- TauLib.BookIII.Physics.PhysicsAssembly
- TauLib.BookIII.Physics.PositiveRegularity
- TauLib.BookIII.Physics.StrongSector
- TauLib.BookIII.Spectrum.InterfaceWidth
- TauLib.BookIII.Spectrum.KernelHinge
- TauLib.BookIII.Spectrum.TTM
- TauLib.BookIII.Spectrum.ThreeSAT
- TauLib.BookIII.Mirror.E3Witness
- TauLib.BookIII.Mirror.ProofTheoryE3
- TauLib.BookIII.Mirror.Saturation
Book IV (89 modules)
- TauLib.BookIV.Sectors.BoundaryFiltration
- TauLib.BookIV.Sectors.CouplingFormulas
- TauLib.BookIV.Sectors.FineStructure
- TauLib.BookIV.Sectors.ModeCensus
- TauLib.BookIV.Sectors.SectorParameters
- TauLib.BookIV.Sectors.SpectralPage
- TauLib.BookIV.QuantumMechanics.AddressObstruction
- TauLib.BookIV.QuantumMechanics.CRAddressSpace
- TauLib.BookIV.QuantumMechanics.EnergyEntropy
- TauLib.BookIV.QuantumMechanics.HilbertSpace
- TauLib.BookIV.QuantumMechanics.Measurement
- TauLib.BookIV.QuantumMechanics.Quantization
- TauLib.BookIV.QuantumMechanics.QuantumCharacters
- TauLib.BookIV.Calibration.CalibrationAnchor
- TauLib.BookIV.Calibration.CalibrationAnchorExt
- TauLib.BookIV.Calibration.ConstantsLedger
- TauLib.BookIV.Calibration.ConstantsLedgerExt
- TauLib.BookIV.Calibration.DimensionalBridge
- TauLib.BookIV.Calibration.DimensionalBridgeExt
- TauLib.BookIV.Calibration.DimensionlessAlpha
- TauLib.BookIV.Calibration.DimensionlessCouplings
- TauLib.BookIV.Calibration.DimensionlessCouplings2
- TauLib.BookIV.Calibration.DimensionlessNearMatch
- TauLib.BookIV.Calibration.EpsteinZeta
- TauLib.BookIV.Calibration.MassRatioFormula
- TauLib.BookIV.Calibration.RunningRegime
- TauLib.BookIV.Calibration.SIReference
- TauLib.BookIV.Calibration.SharedOntology
- TauLib.BookIV.Strong.ColorHolonomy
- TauLib.BookIV.Strong.Confinement
- TauLib.BookIV.Strong.GapMetaTheorem
- TauLib.BookIV.Strong.QuarksGluons
- TauLib.BookIV.Strong.StrongCoupling
- TauLib.BookIV.Strong.StrongVacuum
- TauLib.BookIV.Strong.VacuumCatastrophe
- TauLib.BookIV.Strong.YangMillsGap
- TauLib.BookIV.ManyBody.CondensedMatter
- TauLib.BookIV.ManyBody.DefectFunctionalExt
- TauLib.BookIV.ManyBody.DefectFunctionalExt2
- TauLib.BookIV.ManyBody.FluidRegimes
- TauLib.BookIV.ManyBody.Magnetism
- TauLib.BookIV.ManyBody.NFLBoundary
- TauLib.BookIV.Particles.BetaDecay
- TauLib.BookIV.Particles.HadronsNuclei
- TauLib.BookIV.Particles.PeriodicTable
- TauLib.BookIV.Particles.SectorAtlas
- TauLib.BookIV.Particles.SpectrumComplete
- TauLib.BookIV.Particles.StrongCP
- TauLib.BookIV.Particles.ThreeGenerations
- TauLib.BookIV.Electroweak.AlphaDerivation
- TauLib.BookIV.Electroweak.EWMixing
- TauLib.BookIV.Electroweak.EWProjection
- TauLib.BookIV.Electroweak.EWSynthesis
- TauLib.BookIV.Electroweak.GaugeInvariance
- TauLib.BookIV.Electroweak.GaugeInvariance2
- TauLib.BookIV.Electroweak.MajoranaStructure
- TauLib.BookIV.Electroweak.NeutrinoMode
- TauLib.BookIV.Electroweak.PhotonMode
- TauLib.BookIV.Electroweak.TauHiggs
- TauLib.BookIV.Electroweak.TauHiggs2
- TauLib.BookIV.Electroweak.TauMaxwell
- TauLib.BookIV.Electroweak.WeakChirality
- TauLib.BookIV.Electroweak.WeakChirality2
- TauLib.BookIV.Electroweak.WeakHolonomy
- TauLib.BookIV.Electroweak.WeakHolonomy2
- TauLib.BookIV.Electroweak.WeinbergNLO
- TauLib.BookIV.Arena.ActorsDynamics
- TauLib.BookIV.Arena.BoundaryHolonomy
- TauLib.BookIV.Arena.CoherenceKernel
- TauLib.BookIV.Arena.FiveSectors
- TauLib.BookIV.Arena.RefinementTower
- TauLib.BookIV.Arena.Tau3Arena
- TauLib.BookIV.Physics.DefectFunctional
- TauLib.BookIV.Physics.HolonomyCorrection
- TauLib.BookIV.Physics.InternalEquations
- TauLib.BookIV.Physics.LemniscateCapacity
- TauLib.BookIV.Physics.MassEnergy
- TauLib.BookIV.Physics.NucleonMassSplitting
- TauLib.BookIV.Physics.PlanckCharacter
- TauLib.BookIV.Physics.QuantityFramework
- TauLib.BookIV.Physics.ReadoutFunctor
- TauLib.BookIV.Physics.Thermodynamics
- TauLib.BookIV.Physics.TickUnits
- TauLib.BookIV.MassDerivation.BreathingModes
- TauLib.BookIV.MassDerivation.ElectronMass
- TauLib.BookIV.MassDerivation.HolonomyDetail
- TauLib.BookIV.Coda.CompleteLedger
- TauLib.BookIV.Coda.LawsAsStructure
- TauLib.BookIV.Coda.SelfDescribing
Book V (80 modules)
- TauLib.BookV.Temporal.BaseCircle
- TauLib.BookV.Temporal.BoundaryData
- TauLib.BookV.Temporal.CosmicAPI
- TauLib.BookV.Temporal.DistanceLadder
- TauLib.BookV.Temporal.HighEnergy
- TauLib.BookV.Temporal.MacroReadout
- TauLib.BookV.Temporal.TemporalIgnition
- TauLib.BookV.Astrophysics.AccretionJets
- TauLib.BookV.Astrophysics.BinaryMergersGW
- TauLib.BookV.Astrophysics.BulletClusterLSS
- TauLib.BookV.Astrophysics.ClassicalIllusion
- TauLib.BookV.Astrophysics.CompactObjects
- TauLib.BookV.Astrophysics.EHTReread
- TauLib.BookV.Astrophysics.GalaxyRelational
- TauLib.BookV.Astrophysics.H0TensionLCDM
- TauLib.BookV.Astrophysics.KeplerSolarSystem
- TauLib.BookV.Astrophysics.RotationCurves
- TauLib.BookV.Astrophysics.SectorExhaustion
- TauLib.BookV.Astrophysics.Supernovae
- TauLib.BookV.Gravity.BHTopoModes
- TauLib.BookV.Gravity.CoRotorCoupling
- TauLib.BookV.Gravity.EinsteinEquation
- TauLib.BookV.Gravity.GravitationalConstant
- TauLib.BookV.Gravity.Schwarzschild
- TauLib.BookV.GravityField.BipolarHolonomy
- TauLib.BookV.GravityField.CalibrationTriangle
- TauLib.BookV.GravityField.ClosingIdentity
- TauLib.BookV.GravityField.ExponentDerivation
- TauLib.BookV.GravityField.FrameHolonomy
- TauLib.BookV.GravityField.LinearEinstein
- TauLib.BookV.GravityField.LorentzNoMinkowski
- TauLib.BookV.GravityField.NonlinearEinstein
- TauLib.BookV.GravityField.TOVPhaseBoundary
- TauLib.BookV.GravityField.TOVStarBuilder
- TauLib.BookV.GravityField.TauEinsteinEq
- TauLib.BookV.GravityField.TauSchwarzschild
- TauLib.BookV.GravityField.TauSchwarzschildScale
- TauLib.BookV.Prologue.ExportContract
- TauLib.BookV.Prologue.HermeticPrinciple
- TauLib.BookV.Thermodynamics.DarkEnergyArtifact
- TauLib.BookV.Thermodynamics.DefectExhaustion
- TauLib.BookV.Thermodynamics.EntropySplitting
- TauLib.BookV.Thermodynamics.HeatEM
- TauLib.BookV.Thermodynamics.Inversion
- TauLib.BookV.Thermodynamics.VacuumNoVoid
- TauLib.BookV.FluidMacro.ChargeObstruction
- TauLib.BookV.FluidMacro.NavierStokesMacro
- TauLib.BookV.FluidMacro.PhaseTransitions
- TauLib.BookV.FluidMacro.TauAlfven
- TauLib.BookV.FluidMacro.TauMHD
- TauLib.BookV.FluidMacro.TauPlasma
- TauLib.BookV.FluidMacro.Turbulence
- TauLib.BookV.Cosmology.BBNBaryogenesis
- TauLib.BookV.Cosmology.BBNNuclearNetwork
- TauLib.BookV.Cosmology.BHBipolarFusion
- TauLib.BookV.Cosmology.BHBirthTopology
- TauLib.BookV.Cosmology.BaryogenesisAsymmetry
- TauLib.BookV.Cosmology.BigBangRegime
- TauLib.BookV.Cosmology.BoundaryUnification
- TauLib.BookV.Cosmology.CMBSpectrum
- TauLib.BookV.Cosmology.CosmologicalEndstate
- TauLib.BookV.Cosmology.FalsificationPack
- TauLib.BookV.Cosmology.GlobalFiniteness
- TauLib.BookV.Cosmology.HeliumFraction
- TauLib.BookV.Cosmology.InflationRegime
- TauLib.BookV.Cosmology.MergerNormalForm
- TauLib.BookV.Cosmology.NeutrinoBackground
- TauLib.BookV.Cosmology.NoShrinkExtended
- TauLib.BookV.Cosmology.Reionization
- TauLib.BookV.Cosmology.ThresholdLadder
- TauLib.BookV.Coda.BridgeToLife
- TauLib.BookV.Coda.CalibrationChain
- TauLib.BookV.Coda.ConstantsLedger
- TauLib.BookV.Coda.GAlphaBridge
- TauLib.BookV.Coda.HermeticClosure
- TauLib.BookV.Orthodox.CorrespondenceMap
- TauLib.BookV.Orthodox.EmergentGeometry
- TauLib.BookV.Orthodox.FalsifiableSeams
- TauLib.BookV.Orthodox.MeasurementUnification
- TauLib.BookV.Orthodox.OtherApproaches
Book VI (30 modules)
- TauLib.BookVI.Closure.ClosureSector
- TauLib.BookVI.Closure.Ecosystem
- TauLib.BookVI.Sectors.Absence
- TauLib.BookVI.Sectors.FourPlusOne
- TauLib.BookVI.Sectors.Hallmarks
- TauLib.BookVI.Sectors.LifeLoop
- TauLib.BookVI.CosmicLife.BHDist
- TauLib.BookVI.CosmicLife.BHSelfDesc
- TauLib.BookVI.CosmicLife.CrossLimit
- TauLib.BookVI.CosmicLife.GalaxyBasin
- TauLib.BookVI.LifeCore.Distinction
- TauLib.BookVI.LifeCore.LayerSep
- TauLib.BookVI.LifeCore.ParityBridge
- TauLib.BookVI.LifeCore.SelfDesc
- TauLib.BookVI.Source.Epigenetics
- TauLib.BookVI.Source.GeneticCode
- TauLib.BookVI.Source.SourceSector
- TauLib.BookVI.Agency.AgencySector
- TauLib.BookVI.Agency.MetabolicEnergy
- TauLib.BookVI.Persistence.PersistenceSector
- TauLib.BookVI.Persistence.TemporalLemniscate
- TauLib.BookVI.Mind.Bridge
- TauLib.BookVI.Mind.Consciousness
- TauLib.BookVI.Consumer.ConsumerMixer
- TauLib.BookVI.Consumer.Evolution
- TauLib.BookVI.Consumer.FiberRegime
- TauLib.BookVI.Consumer.Identity
- TauLib.BookVI.Consumer.Immune
- TauLib.BookVI.Consumer.Neural
- TauLib.BookVI.Consumer.Reproduction
Book VII (7 modules)
- TauLib.BookVII.Meta.Archetypes
- TauLib.BookVII.Meta.Registers
- TauLib.BookVII.Meta.Saturation
- TauLib.BookVII.Logos.Sector
- TauLib.BookVII.Social.Ontology
- TauLib.BookVII.Ethics.CIProof
- TauLib.BookVII.Final.Boundary