Komorebi Space

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

Read this chapter with formatted equations

1 \small
2 \begin{longtable}{@{}p{.11\linewidth}p{.35\linewidth}p{.47\linewidth}@{}}
3 \toprule Location & Topic & Lean modules\\\midrule\endhead
4 \ref{KS01} & Limit universal property & \path{ViewSections}\\[3pt]
5 \ref{KS02} & Functorial transport & \path{ViewSections}\\[3pt]
6 \ref{KS03} & Terminal evaluation & \path{ViewSections}\\[3pt]
7 \ref{KS04} & Strict section gluing & \path{SectionGluing}\\[3pt]
8 \ref{KS05} & Object-only cover failure & \path{ViewBoundaryExamples}\\[3pt]
9 \ref{KS06} & Correspondence fibers & \path{ViewCorrespondence}\\[3pt]
10 \ref{KS07} & Nonempty fibers without a section & \path{ViewBoundaryExamples}\\[3pt]
11 \ref{KS08} & Additive view differential & \path{SectionObstruction}\\[3pt]
12 \ref{KS09} & Additive extension criterion & \path{SectionObstruction}\\[3pt]
13 \ref{KS10} & Extension ambiguity torsor & \path{SectionExtensionFibers}\\[3pt]
14 p.~\pageref{src:KS11} & Parity seed example & \path{SectionExtensionExample}\\[3pt]
15 \ref{KS12} & Exactness at partial sections & \path{SectionExactSequence}\\[3pt]
16 p.~\pageref{src:KS13} & Extension by stages & \path{SectionExtensionStages}\\[3pt]
17 \ref{KS14} & Protected correction & \path{Correction}\\[3pt]
18 \ref{KS15} & Obstruction witness & \path{Correction}\\[3pt]
19 \ref{KS16} & Exact tower maps and realized points & \path{Towers}\newline \path{Realization}\\[3pt]
20 \ref{KS17} & Tower differential composition & \path{Towers}\newline \path{TowerCorrection}\\[3pt]
21 \ref{KS18} & Cofinal point equivalence & \path{Cofinal}\\[3pt]
22 \ref{KS19} & Geometric operator repair & \path{RepairDynamics}\newline \path{RepairProjection}\\[3pt]
23 \ref{KS20} & Constructed split tower correction & \path{SplitTowerRepair}\\[3pt]
24 \ref{KS21} & Split semantic and residual coordinates & \path{SplitTowerCoordinates}\newline \path{SplitTowerSemantics}\\[3pt]
25 \ref{KS22} & Growing identity repair & \path{GrowingTower}\\[3pt]
26 p.~\pageref{src:KS23} & A bounded residual without bounded primitive & \path{IdentityTowerObstruction}\\[3pt]
27 p.~\pageref{src:KS24} & Dependence on target splitting & \path{SplittingDependence}\\[3pt]
28 p.~\pageref{src:KS25} & Lossless dyadic residual split & \path{DyadicResidualSplit}\\[3pt]
29 \ref{KS26} & Cascade telescope and persistent part & \path{CascadeProjections}\newline \path{CoarseningCascade}\\[3pt]
30 \ref{KS27} & Recovery by density & \path{CascadeDensity}\\[3pt]
31 \ref{KS28} & Dyadic finite-coordinate recovery & \path{DyadicInfiniteReconstruction}\\[3pt]
32 \ref{KS29} & Shift cascade and c0 & \path{SequenceCascade}\\[3pt]
33 \ref{KS30} & Gauge groupoid and section transport & \path{GroupViewSystems}\newline \path{CocycleGaugeGroupoid}\\[3pt]
34 \ref{KS31} & Nonabelian extension obstruction & \path{NonabelianExtension}\\[3pt]
35 \ref{KS32} & Nonabelian extension torsor & \path{NonabelianExtensionFibers}\\[3pt]
36 \ref{KS33} & S3 loop model & \path{CocycleExamples}\\[3pt]
37 \ref{KS34} & Effective groupoid descent & \path{DescentEquivalence}\newline \path{DescentComparison}\\[3pt]
38 \ref{KS35} & Composition topology & \path{CompositionSite}\\[3pt]
39 \ref{KS36} & Standard stackhood & \path{CompositionStack}\\[3pt]
40 \ref{KS37} & Equivalent view presentations & \path{SectionViewEquivalence}\newline \path{RelativeSections}\newline \path{RelativeAmbiguity}\\[3pt]
41 \ref{KS38} & Identified-boundary realization groupoid & \path{MarkedRealization}\\[3pt]
42 \ref{KS39} & Marked transport across a square & \path{MarkedTransport}\\[3pt]
43 \ref{KS40} & Transported path telescope & \path{AmplifiedTransport}\\[3pt]
44 \ref{KS41} & Holonomy classification & \path{AmplifiedHolonomy}\\[3pt]
45 \ref{KS42} & Orthogonal exact repair & \path{HilbertKernelProjection}\\[3pt]
46 \ref{KS43} & Closed range equivalence & \path{HilbertKernelProjection}\\[3pt]
47 \ref{KS44} & Amplified holonomy gain & \path{AmplifiedRepair}\newline \path{HilbertHolonomyRepair}\\[3pt]
48 p.~\pageref{src:KS45} & Flat transport amplification & \path{AmplifiedExamples}\\[3pt]
49 \ref{KS46} & Two-stage joint projection & \path{QuantitativeDescent}\\[3pt]
50 \ref{KS47} & Joint closed range & \path{DescentClosedRange}\\[3pt]
51 \ref{KS48} & Two-sided projector motion & \path{MovingKernelBounds}\\[3pt]
52 \ref{KS49} & Derived perturbed certificate & \path{SplitKernelPerturbation}\\[3pt]
53 \ref{KS50} & Transport between moving kernels & \path{SplitKernelPerturbation}\\[3pt]
54 \ref{KS51} & Exact moving-line example & \path{MovingKernelExamples}\\[3pt]
55 p.~\pageref{src:KS52} & Rank loss and radius endpoint & \path{MovingKernelBounds}\newline \path{MovingKernelExamples}\\[3pt]
56 p.~\pageref{src:KS53} & Motion of quantitative descent & \path{MovingDescent}\\[3pt]
57 \ref{KS54} & Finite prefixes without a point & \path{FinitePrefixBoundary}\\[3pt]
58 \ref{KS55} & Sharper dyadic support criterion & \path{DyadicSupport}\\[3pt]
59 \ref{KS56} & Nearest protected Hilbert repair & \path{ProtectedHilbertRepair}\\[3pt]
60 \ref{KS57} & Finite positive and negative certificates & \path{ProtectedLinearCertificates}\\[3pt]
61 \ref{KS58} & Finite-fiber inverse-limit existence & \path{FiniteRealizationExistence}\\[3pt]
62 \ref{KS59} & Obstructions under stronger prescription & \path{ObstructionRestriction}\\[3pt]
63 \ref{KS60} & Prescribed choices and obstructed intermediate steps & \path{ExtensionChoiceExample}\\[3pt]
64 \ref{KS61} & Scheduled transports and eventual equality & \path{ReindexedTransports}\newline \path{EventualCategory}\\[3pt]
65 \ref{KS62} & Faithfulness from observable finite stages & \path{RealizationFaithfulness}\\[3pt]
66 \ref{KS63} & Finite observation characterizes realized transport & \path{FiniteObservation}\\[3pt]
67 \ref{KS64} & Cofinal transport equivalence & \path{CofinalTransports}\\[3pt]
68 \ref{KS65} & Split repair coordinates and choice dependence & \path{SplitDefectCharts}\\[3pt]
69 \ref{KS66} & Triangular representation change and repair mismatch & \path{ResidualNaturality}\\[3pt]
70 \ref{KS67} & Residual sampling and repair across scales & \path{ResidualSampling}\newline \path{SamplingRepair}\\[3pt]
71 \ref{KS68} & Why literal full framing is presentation dependent & \path{FramingBoundaryExamples}\\[3pt]
72 \ref{KS69} & Measured and uncertain residual certificates & \path{ResidualPerturbation}\\[3pt]
73 \ref{KS70} & Stable repair when the old exact space is preserved & \path{ResidualPerturbation}\\[3pt]
74 \ref{KS71} & Exactification from summable movement & \path{Exactification}\\[3pt]
75 \ref{KS72} & Variable-rate exactification and posterior bounds & \path{Exactification}\\[3pt]
76 \ref{KS73} & Controlled approximation annihilates protected obstruction & \path{LinearExactification}\\[3pt]
77 \ref{KS74} & Path comparison and nonunique protected answers & \path{Exactification}\newline \path{RepairExamples}\\[3pt]
78 \ref{KS75} & What cofinal residual-profile sampling preserves & \path{Profiles}\\[3pt]
79 \ref{KS76} & Obstruction floors detect closure, not exact membership & \path{ObstructionFloor}\\[3pt]
80 \ref{KS77} & Persistent floors exclude all admissible repair sequences & \path{ObstructionFloor}\\[3pt]
81 \ref{KS78} & Independent transport costs and directed geometry & \path{WeightedGeometry}\\[3pt]
82 \ref{KS79} & Zero arrows can collapse object distance & \path{WeightedGeometry}\\[3pt]
83 \ref{KS80} & An associative phase with no scalar flattening & \path{ProjectiveExample}\\[3pt]
84 \bottomrule\end{longtable}
85 \normalsize

Back to source controls

Back to Komorebi Space