TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_unification_20261027/review/C3-CAUCHY-HARDY-ARROW-INDEPENDENT-REVIEW.txt
Original file SHA-256: f85492023b0fe82a61da8403c606ae466a5821571ac1b44d164796a30eacd68a
Inclusive original lines: 1-179
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | INDEPENDENT REVIEW OF C3-CAUCHY-HARDY-ARROW
000002 | 2026-10-27
000003 | 
000004 | REVIEWED SOURCE
000005 | 
000006 |   research-20261027-source-unification/analytic/
000007 |   C3-CAUCHY-HARDY-ARROW.txt
000008 | 
000009 |   reviewed SHA256:
000010 |   3c8c2b55ca3a58469aaaa61be3e2d74b2075cc33d132fef799790fad22c1bdc2
000011 | 
000012 | 
000013 | VERDICT
000014 | 
000015 | The corrected report is accepted.  The local branch analysis, the L2 Hardy
000016 | closure on the normalization and the pushforward splitting are correct under
000017 | the stated massless chiral spin Dirac hypothesis.  They prove a useful
000018 | conditional theorem.  They do not identify the primitive P1 Cauchy range.
000019 | 
000020 | The final SHA correctly repairs the two material scope issues found in the
000021 | earlier draft:
000022 | 
000023 |   1. an intertwiner of the tangential boundary operator B_Sigma alone does
000024 |      not imply an intertwiner of the global Calderon projectors;
000025 | 
000026 |   2. the cited smooth-boundary Calderon theorems do not automatically apply
000027 |      to a singular six-edge graph domain.
000028 | 
000029 | It now requires a full interior/Cauchy-data transport or a separate range
000030 | proof, and it treats the graph case as a new operator theorem.  The source
000031 | gap is therefore neither hidden nor enlarged into an unnecessary global
000032 | surjectivity demand.
000033 | 
000034 | 
000035 | 1. LOCAL HALF FORM AND INTEGRABILITY ARE CORRECT
000036 | 
000037 | At every ramification point the local map has
000038 | 
000039 |   z-z_j approximately z_j u^3,
000040 |   dz approximately 3 z_j u^2 du.
000041 | 
000042 | For an ambient smooth spinor F(u)(du)^(1/2), its coefficient in the base half
000043 | form e=(dz)^(1/2) is
000044 | 
000045 |   f(z)=F(u)(du/dz)^(1/2) approximately const u^(-1).
000046 | 
000047 | Since the boundary variable satisfies |u| approximately |s|^(1/3),
000048 | 
000049 |   f approximately |s|^(-1/3),
000050 |   |f|^2 ds approximately |s|^(-2/3) ds.
000051 | 
000052 | The trace is therefore L2.  Its derivative in the base parameter has order
000053 | |s|^(-4/3) and is not L2, so the report correctly rejects the naive constant
000054 | generator on the natural ambient smooth trace core.  This does not reject a
000055 | different named self-adjoint graph operator.
000056 | 
000057 | 
000058 | 2. THE COMPATIBLE SMOOTH CORE IS L2 DENSE IN H2(D)^3
000059 | 
000060 | The finite regularity factors (1-z^4)^m vanish to order 3m in the intrinsic u
000061 | coordinate at each branch point and enforce every fixed finite jet condition
000062 | when m is large enough.
000063 | 
000064 | For the C-infinity core, 1-z^4 maps the disk to the right half-plane.  For
000065 | 0<rho<1 its principal negative rho power has positive real part and an
000066 | integrable boundary singularity.  The function
000067 | 
000068 |   G=exp(-(1-z^4)^(-rho))
000069 | 
000070 | is zero-free outer and is flat, with all derivatives, at all four branch
000071 | values.  Outer cyclicity makes its polynomial multiples dense in H2(D).
000072 | 
000073 | Independent triples G p_a have zero Whitney jet at each common
000074 | vertex.  The three interior u sectors are separated by exterior sectors, so
000075 | the triples admit an ambient C-infinity extension by the standard local
000076 | extension and partition-of-unity construction.  No holomorphic extension to
000077 | the exterior is needed or claimed.  This supplies the small missing sentence
000078 | behind the density argument and proves
000079 | 
000080 |   closure_L2(compatible analytic smooth core)=H2(D)^3.
000081 | 
000082 | The scalar identification with H2(D)^3 uses a choice of sign for the half
000083 | form on each simply connected disk.  The half-form Hardy subspace, its norm
000084 | and its projector are canonical; only the displayed scalar frames are
000085 | sign-dependent.
000086 | 
000087 | 
000088 | 3. THE STRONG DOMAIN REMAINS DIFFERENT
000089 | 
000090 | The L2 result does not split every strong domain.  In the intrinsic u edge
000091 | coordinate, the H1 closure of the ambient smooth core retains the common
000092 | spinor value at the six incident half edges.  It does not retain all Taylor
000093 | coefficients.  Higher finite jets require higher Sobolev order.  The report's
000094 | separation of L2 closure, H1 matching and C-infinity germs is therefore
000095 | correct.
000096 | 
000097 | This also answers the global trace concern.  Arbitrary Hardy triples need not
000098 | be literal traces of globally holomorphic spinors on the compact curve.
000099 | They are L2 limits of chiral solutions on the three interior disks whose
000100 | boundary germs possess ambient smooth extensions.  That is exactly the
000101 | conditional Cauchy range statement and no stronger global holomorphic claim.
000102 | 
000103 | 
000104 | 4. THE DIRECT PUSHFORWARD SPLITTING IS EXACT
000105 | 
000106 | For E=pi_*S_0,
000107 | 
000108 |   rank(E)=3,
000109 |   chi(E)=chi(S_0)=0,
000110 |   deg(E)=-3.
000111 | 
000112 | The selected even degree-one theta characteristic is non-effective, so
000113 | H0(E)=H0(S_0)=0.  Every Birkhoff-Grothendieck summand has degree at most -1;
000114 | three such degrees summing to -3 must all equal -1.  Hence
000115 | 
000116 |   pi_*S_0=O(-1) direct-sum O(-1) direct-sum O(-1).
000117 | 
000118 | This does not equal the old O(-2) direct-sum O(-1)^2 anchor.  An elementary
000119 | modification would be additional data, as the report states.
000120 | 
000121 | 
000122 | 5. CORRECTED SCOPE: BOUNDARY B DOES NOT DETERMINE CALDERON P
000123 | 
000124 | The final normalized option asks for a boundary unitary W satisfying
000125 | 
000126 |   W B_Sigma W^(-1)=B_spin direct-sum B_spin direct-sum B_spin
000127 | 
000128 | and explicitly says this alone does not yield W P_C W^(-1)=P_norm.  That is
000129 | correct: it does not follow from the boundary operator alone.
000130 | The Calderon range depends on the bulk first-order operator, its collar
000131 | extension and the interior Cauchy problem.  Two bulk operators can have the
000132 | same tangential boundary operator and different Cauchy data spaces.
000133 | 
000134 | A sufficient premise is a marked unitary intertwiner of the full
000135 | bulk Dirac or Poisson/Cauchy trace problems, whose boundary restriction gives
000136 | the displayed W.  A weaker sufficient premise may directly intertwine the
000137 | closed Cauchy trace operators.  Merely intertwining B_Sigma, its sign or its
000138 | functional calculus is insufficient.
000139 | 
000140 | Surjectivity onto the entire primitive P1 Hilbert space is not necessary.  A
000141 | reducing marked source sector and an isometric intertwiner of its complete
000142 | Cauchy problem are enough for the scoped source arrow.
000143 | 
000144 | 
000145 | 6. CORRECTED SCOPE: THE GRAPH NEEDS ITS OWN THEOREM
000146 | 
000147 | The singular graph option cannot invoke the cited smooth-boundary Calderon
000148 | functoriality without another theorem.  One must define the first-order graph
000149 | operator, its six-edge vertex condition, adjoint and self-adjoint domain, and
000150 | then prove that its Poisson range has the claimed L2 closure.  An arbitrary
000151 | self-adjoint vertex condition need not have the ambient analytic core used in
000152 | the density proof and need not produce H2(D)^3.
000153 | 
000154 | The density theorem proves the closure for the named compatible
000155 | analytic core.  It is not by itself a Calderon theorem for every graph
000156 | realization of that boundary.  The final report now states the singular option
000157 | as an additional operator premise and does not present it as an immediate
000158 | application of Bär-Ballmann or Guillarmou-Moroianu-Park.
000159 | 
000160 | 
000161 | 7. SOURCE SCOPE
000162 | 
000163 | The original sources still do not provide any of the following:
000164 | 
000165 |   * a marked bulk Dirac or Cauchy-trace intertwiner to the normalized C3
000166 |     disks;
000167 | 
000168 |   * a proved reducing source sector with this complete Cauchy range;
000169 | 
000170 |   * a named self-adjoint six-edge operator whose analytic core is the one
000171 |     used above;
000172 | 
000173 |   * an identification of the source B_Sigma time and domain with either
000174 |     candidate.
000175 | 
000176 | Accordingly the mathematical L2 Hardy theorem is positive and exact, while
000177 | the P1 source arrow remains conditional.  No new Dolbeault or graph model is
000178 | needed merely to state that first missing premise.
000179 |