Skip to main content

Follow the question, attempts and conclusions.

Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.

Automated construction of operator maps and sources

Which tools generate operator maps, learn counterexamples, and can search for the full positive source?

What has been learned

Established in scope

Bare C3 kernel class with diagonal readers has a common real frame

In the question: Automated construction of operator maps and sources

Only the specified bare kernel class without additional relative readers or noncommuting actual holonomy words. No general TFPT CP obstruction, Majorana/theta claim or identification with full Pstr. Singular parameters are outside the inverse-square-root domain. Outside the common-real class, twisted contributions in both sectors are not necessary for algebraic CP: invariant Yu and one-sector twisted Yd=I+Pdiag(1,2,i) have Tr([Hu,Hd]^3)=-1440i. This is not an original TFPT mass derivation.

Read the exact result, assumptions and evidence

Result

The same D=diag(1,omega,omega²) conjugates every positive bare H3 and its inverse square root to real symmetric matrices. Real diagonal left/right readers commute with D, so all such Yukawas are simultaneously real and all weak flavor CP-odd invariants vanish. No parameter or genetic search within this fully classified bare class can change the result.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Bare positive C3 kernel with real diagonal Yukawa readers

    For this restricted analytic class only, take the displayed positive circulant H3 with real parameters and strictly positive eigenvalues, and Y_f=L_f H3_f^-1/2 R_f with real diagonal readers. This is not assumed to be the original P1 consumer or full Pstr compression.

Original evidence

  • K3-COMMON-PHASE-CP-REVIEW.txt lines 1–75

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/K3-COMMON-PHASE-CP-REVIEW.txt

    7e99e250e90dc5e96ca8b02f2f6d1bfacbfe9b02d7c09297f3ac7eee859345d0

  • CLAUDE38-GROK39-WHOLE-SOURCE-FIRST-TEST.txt lines 1–83

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE38-GROK39-WHOLE-SOURCE-FIRST-TEST.txt

    cb967c0f48af4ff8282fdced8d4f2d67cd90b10734dfe9fa77c3af6e36c991aa

  • CLAUDE40-GROK41-FIRST-OPERATOR-REVIEW.txt lines 1–60

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE40-GROK41-FIRST-OPERATOR-REVIEW.txt

    017a3816ee0fdf84d682c5956b129871b142481f4d9bf454ce639e51106cdfbc

  • ROOT-HARDY-MOMENT-INDEPENDENT-CHECK.json lines 1–20

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-HARDY-MOMENT-INDEPENDENT-CHECK.json

    f9d87f9acdf92ae0ef8a3223fdac0ec82f86a1af649aac2819e47eec03cd11d2

finding:bare-c3-kernel-diagonal-yukawas-have-common-real-frame

Established in scope

Actual reverse kernel yields global q Hodge response after full composition

In the question: Automated construction of operator maps and sources

Positive global coefficient/form response of the supplied whole source. No pointwise Hodge at unmatched bilocal endpoints. Its integrable diagonal is not automatically a bounded full L2 composite, holomorphic section or finite Yukawa matrix. Scalar Phi=0 test does not trivialize actual Fuchs monodromy. At D_F=0 the original finite one-form vanishes while this response may not; the actual P1 variation or sewing operation must select and turn it into a background generator. No universal fixed-background QY gate. Wrel alone does not select J* M_mu. In an exact supplied graph block the second CAR cumulant9/25 differs from affine-logdet second derivative−16/25 and mean product16/25; retain actual source coupling. This is not a complete TFPT countermodel.

Read the exact result, assumptions and evidence

Result

The actual B=GqJ* composition T(u,v)=B(u,v)mu(v) cancels the full intermediate p signs and retains q input/output covariance. On existing smoothing same-face diagonals, the original bilinear skew projection and oriented Hodge map yield a global canonical-form-valued Fq response, retaining normal and D5 operators without new line, state or normalization. The given scalar common-quarter collar at Phi=0 already has a nonzero response to original off-diagonal insertions, using its actual positive diagonal Fourier kernel and invertible endpoint factor, without input Yukawas.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

  • Supplied split carrier with actual q sign lines on genus-two cover

    Given existing split carrier E3⊕E2 with unitary split connection onX and actual unitary flat q linesL0,L1,L2 on old coverC:w³=(z²−1)/(z²+1),η²=1−w⁶,product1 andπ*Fv117=L0⊕L1⊕L2. Pull these data toX×C and combine with declared alignment to mA slots. This does not selectX,E,mA or alignment as original P1 quantum source.

  • Constant odd circle-source coefficient with existing sea and full boundary graph

    In the existing Clifford chart on L2(S1,K) with finite K let h0=(-i∂theta+alpha)gamma,alpha=1/4 or3/4,gamma*=gamma,gamma²=I. Supply constant selfadjoint odd Phi,{gamma,Phi}=0,and V=-i gamma Phi,h=h0+V on common periodic H1. Compare given CAR sea projectors P_-(h0),P_-(h) and complete pure two-face projector G_ell(h),ell>0,including crossings. This is the existing source class with classical background, not physical selection from P1 or quantization of dynamic bosons.

Original evidence

  • REVERSE-HOM-COMPOSED-Q-HODGE-REVIEW.txt lines 1–119

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/REVERSE-HOM-COMPOSED-Q-HODGE-REVIEW.txt

    fc5ba082329a6c2c44ac4021d4434b9ac952f32776fd9004cc091bf6d746a2ec

  • CLAUDE39-GROK40-ORIGINAL-RESPONSE-REVIEW.txt lines 1–96

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE39-GROK40-ORIGINAL-RESPONSE-REVIEW.txt

    46783bd58370475e6203a7074e3628ad3a93f239cf52feea69d8207fbb1c005a

finding:actual-reverse-hom-diagonal-supplies-global-q-hodge-response

Established in scope

Full deck signs forbid bare triplet projection; original spin transport fixes its sheet

In the question: Automated construction of operator maps and sources

Complete finite result only for the bare six global section channels with independent original deck signs and R. Not an obstruction to coupled endpoint kernels, Bmu, diagonal response or P1. A4-only coefficients are a restricted category. Marked S conjugation transports a supplied triplet matrix rather than producing a global triplet subsource; retain canonical-form and endpoint factors. Read the early bridge report only together with its corrected addendum. Completed The reviewed and the reviewed source identify bare mu channels with Gamma paths, but matching labels do not compose their actual q/p endpoint and canonical-form types. The actual Bmu response is the source-supported replacement.

Read the exact result, assumptions and evidence

Result

In natural spin frames s*mu_ab=-mu_ba and R*mu_ab=rho^-1 mu_(b+1,a+1); the antisymmetric half is the positive U6-cube sheet after orbit phase calibration. The diagonal-A4 coefficient coisometry and bare positive K3 calculation are exact but do not define a global triplet subsource: six distinct V4q times V4p characters, together with transitive R, have scalar commutant. A displayed sign element exchanges antisymmetric and symmetric pairs. The original base map and v117 pullback already exist.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

Original evidence

  • ANTISYMMETRIC-E8-KERNEL-BRIDGE.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ANTISYMMETRIC-E8-KERNEL-BRIDGE.txt

    37ddfb2a11aba09a23a6326fd3c929352edca3c8bb575f19778a2e03cce2454c

  • ANTISYMMETRIC-E8-KERNEL-BRIDGE.txt lines 201–233

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ANTISYMMETRIC-E8-KERNEL-BRIDGE.txt

    37ddfb2a11aba09a23a6326fd3c929352edca3c8bb575f19778a2e03cce2454c

  • MARKED-FIBER-K3-TRANSPORT-ADDENDUM.txt lines 1–196

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/MARKED-FIBER-K3-TRANSPORT-ADDENDUM.txt

    7b2fb212bb98bb11d71361b13057cb459aa4f60f13a96f79eb35c191b4b17ef0

  • CLAUDE38-GROK39-WHOLE-SOURCE-FIRST-TEST.txt lines 1–83

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE38-GROK39-WHOLE-SOURCE-FIRST-TEST.txt

    cb967c0f48af4ff8282fdced8d4f2d67cd90b10734dfe9fa77c3af6e36c991aa

finding:mixed-spin-full-deck-has-no-rank-three-projector

Established in scope

Original D5 zero mode completes triplet carrier; marked glue is exact minimal escape

In the question: Automated construction of operator maps and sources

Positive actual operator connection at the given P2/E8 current level; replaces the extra-carrier/O gate. Not primitive P1 realization, physical zero-mode history, geometric mu-to-current or simultaneous-QY consumer derivation. Original quarter twist still lacks the localized charged glue-vertex identification beyond its conditional neutral eight-copy kernel. Accept The reviewed independently matching D8/D5 step, not its further exchange/CP or normal-carrier-selection conjectures. Do not count existing total Hom character compensation twice.

Read the exact result, assumptions and evidence

Result

The restricted D8 contains only20 of40 original D5 roots. An original grade-zero D5 zero mode gives the explicit cocycle-correct word into the missing carrier half, preserving glue grade2. Full original D5 action with the triplet seed closes to all240 roots; its Weyl orbit completes15 to30 complex target directions and adjoints to all60. No new O fermion or freely supplied full16 input is needed. Original marked glue lambda maps in the fixed chart exactly to C0 dagger, with its adjoint the minimal D8 escape pair. The D8 vacuum lattice VOA preserves its coset; distinguish its new Z2 parity from old mu4 grades.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Given original C/X current source with E8 cocycle and compact adjoint

    Use the actual supplied level-one E8 current source C in1x4 and X inbar5x4, original cocycle and compact adjoints. The expressly restricted initial seed keeps only family labels1,2,3. Check current Lie words without presupposing geometric q/p access, a finite Phi coefficient or physical P1 source selection.

  • Original D5 base-current action on supplied P2 and E8 carrier

    Original D5_1 x A3_1 base net and explicit P2 Clifford carrier supply full45-dimensional D5 operator action including20 non-U5 roots. Its zero modes act with the existing Chevalley cocycle on the supplied compact E8 currents; no primitive P1 preparation or history selecting a word is presumed.

Original evidence

  • D8-NATIVE-K-AND-GLUE-ESCAPE-REVIEW.txt lines 1–190

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/D8-NATIVE-K-AND-GLUE-ESCAPE-REVIEW.txt

    e1990b88ef544c931bf52a338fe4623be0304e84be8da48db0e5feebbfa2fb0e

  • ROOT-NATIVE-D5-CARRIER-ORBIT.json lines 1–9

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-NATIVE-D5-CARRIER-ORBIT.json

    ec0e1eba8d3f02d7e5743c6152bec9e7d48dd0505e08511f7dcf4def65f61d71

  • CLAUDE36-D8-NATIVE-K-UNGEPRUEFT.txt lines 1–63

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE36-D8-NATIVE-K-UNGEPRUEFT.txt

    d2af7a59b85a4862fb101855b510e88db2b20ffd6913e6993817e86b2a05041a

  • v474_entropic_hodge_carrier.py lines 9–19

    Source checked at this snapshot

    Original location and fingerprint

    verification/v474_entropic_hodge_carrier.py

    4058bc3b6da2939ca9555804fb36d6044837c036403949e1262ec32d29e23505

  • v474_entropic_hodge_carrier.py lines 91–126

    Source checked at this snapshot

    Original location and fingerprint

    verification/v474_entropic_hodge_carrier.py

    4058bc3b6da2939ca9555804fb36d6044837c036403949e1262ec32d29e23505

  • v983_simple_current_generator.py lines 9–52

    Source checked at this snapshot

    Original location and fingerprint

    verification/v983_simple_current_generator.py

    769a9c5cb5e6518d8d2a445d347150f5ce0d1410c95db263ca2db72466e176c8

  • v983_simple_current_generator.py lines 60–95

    Source checked at this snapshot

    Original location and fingerprint

    verification/v983_simple_current_generator.py

    769a9c5cb5e6518d8d2a445d347150f5ce0d1410c95db263ca2db72466e176c8

  • source_spin_lift.py lines 217–242

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_explorer/source_spin_lift.py

    592f6ea2750dc72dcc1b4861a0a218b41646fdebfc4d68d3cddaf183c0c9c63e

finding:original-d5-zero-mode-closes-triplet-carrier-and-fixed-glue-is-minimal-escape

Established in scope

Weak current coefficient has explicit original finite one-form consumer

In the question: Automated construction of operator maps and sources

A genuine finite-slot coefficient witness, not a full geometric mu-to-current-to-Higgs identification. General complex-linear span gives Q in M2(C); quaternion conjugation constraints require an explicit real-algebra/reality contract and do not follow merely from self-adjoint completion. Preserve actual color projection and Pati-Salam scopes. Old v258 modular inversion is for a given covariance and records the physical seam compression as conditional, not an independently evaluated mu source. Next test the simultaneous common-Q times given-Y relation at the actual geometric sewing consumer. Crucial goal distinction: the QY test applies to inner fluctuations around a fixed supplied D_F, not to original generation of D_F and its Yukawa matrices themselves. Source reconstruction of the background may change those matrices and must neither be excluded by the fixed-background fluctuation class nor replaced by merely varying it. The reviewed further mandatory family-scalar mu-reader conclusion is unsupported. A bare C3 sum is not A4 invariant, and real D†D does not imply real full Pstr kernel with unchecked complex projectors.

Read the exact result, assumptions and evidence

Result

The actual weak bar5 coefficient has an explicit quaternionic Higgs witness in the original finite algebra. Its evaluated one-form has LR=q(H)diag(Yup,Ydown), with correct SU2, hypercharge and grading and explicit nonzero lepton/quark entries. General sums retain a common2x2 matrix Q multiplying the already supplied Yukawas across generations and sectors. The separately evaluated central dz normal reader is finite-identity valued and does not create a family Hom matrix.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Actual full v252 gauge lift and original P2 comparison

    Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.

  • Given original C/X current source with E8 cocycle and compact adjoint

    Use the actual supplied level-one E8 current source C in1x4 and X inbar5x4, original cocycle and compact adjoints. The expressly restricted initial seed keeps only family labels1,2,3. Check current Lie words without presupposing geometric q/p access, a finite Phi coefficient or physical P1 source selection.

Original evidence

  • MU-CURRENT-DZ-FINITE-INSERTION-REVIEW.txt lines 1–178

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/MU-CURRENT-DZ-FINITE-INSERTION-REVIEW.txt

    e421b635bad88784b461c517f85d3b7c0ea90e2c673c92a9a979f1a14072fa06

  • MU-FINITE-ONEFORM-REAL-SPAN-SCOPE.txt lines 1–40

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/MU-FINITE-ONEFORM-REAL-SPAN-SCOPE.txt

    1727be5ccbaeaa31d9fa338412d7e13a9ff8741924c6a793afd397bb373282a8

  • v252_full_finite_triple.py lines 85–99

    Source checked at this snapshot

    Original location and fingerprint

    verification/v252_full_finite_triple.py

    820254440e178430422e50605067775656236602996307f67c9e69124ba5d163

  • v252_full_finite_triple.py lines 139–168

    Source checked at this snapshot

    Original location and fingerprint

    verification/v252_full_finite_triple.py

    820254440e178430422e50605067775656236602996307f67c9e69124ba5d163

  • v254_inner_fluctuations.py lines 47–148

    Source checked at this snapshot

    Original location and fingerprint

    verification/v254_inner_fluctuations.py

    7a1e93470b65dc8aa56106aa420392a986e8448816f5aa624b44600a696b642c

  • v258_dirac_covariance_induction.py lines 40–58

    Source checked at this snapshot

    Original location and fingerprint

    verification/v258_dirac_covariance_induction.py

    16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1

  • v258_dirac_covariance_induction.py lines 89–155

    Source checked at this snapshot

    Original location and fingerprint

    verification/v258_dirac_covariance_induction.py

    16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1

  • CLAUDE37-FAMILY-TRACE-ORIGINAL-REVIEW.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE37-FAMILY-TRACE-ORIGINAL-REVIEW.txt

    be430e111469ab4f94478610626a0c0f4b4b7cf387075b876b00f0661a1acbcb

  • CLAUDE37-FAMILY-TRACE-ORIGINAL-REVIEW.txt lines 201–204

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE37-FAMILY-TRACE-ORIGINAL-REVIEW.txt

    be430e111469ab4f94478610626a0c0f4b4b7cf387075b876b00f0661a1acbcb

finding:original-weak-current-coefficient-has-explicit-finite-oneform-consumer

Established in scope

Three C/X families recursively close exact D8 with minimal original escape

In the question: Automated construction of operator maps and sources

Complete finite zero-mode Lie closure and concrete different D8 frame in E8. Not a no-go for higher affine products, other original operations or the full original family four. No new species invented. Geometric mu access to the minimal existing escape current and actual finite consumer remain separate. Algebraic reachability is not state preparation or physical time; independent root-sum and source-cocycle audits agree.

Read the exact result, assumptions and evidence

Result

Only original C/X family labels1,2,3 and adjoints give36 seed roots. Full recursive Chevalley closure is36,92,112, rank8 and exact D8. Missing10xF components remain unreachable;30 of60 target roots occur and30 never do. Depth-two new roots are10xO plus adjoints. Any single omitted original C0 or X_i0 root, with its adjoint for compact input, escapes to E8 with114,170,240. Thus this restricted recursive class is fully decided and its minimal original escape specified.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Given original C/X current source with E8 cocycle and compact adjoint

    Use the actual supplied level-one E8 current source C in1x4 and X inbar5x4, original cocycle and compact adjoints. The expressly restricted initial seed keeps only family labels1,2,3. Check current Lie words without presupposing geometric q/p access, a finite Phi coefficient or physical P1 source selection.

Original evidence

  • THREE-FAMILY-ROOT-SEED-CLOSURE.txt lines 1–193

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/THREE-FAMILY-ROOT-SEED-CLOSURE.txt

    3e3177272e48de3dcf65ae03d0739b6746b6446a4b5292d7dc4b62af6f694d1c

  • ROOT-THREE-FAMILY-D8-TYPE.json lines 1–182

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-THREE-FAMILY-D8-TYPE.json

    7d782bc3f8e0185d8908429cd89b76f6d6e908e3ebf5961a40144c7d5e00cf33

finding:three-family-cx-recursion-closes-exact-d8-with-minimal-original-escape

Established in scope

Compact E8 adjoint completes family six with D5 carrier retained

In the question: Automated construction of operator maps and sources

Corrects both the universal O gate and the first overstrong full60 reading of family-only Hodge. Retain valid adjoint/SU4 identities. Does not identify geometric mu with complete spinor inputs or a finite Phi block; no physical scalar or whole-origin promotion. The separate D8 finding decides the entire restricted recursive class.

Read the exact result, assumptions and evidence

Result

Actual compact adjoint induces canonical anti-linear Hodge reality on the family six and is native-quarter/SU4 covariant. No universal extra O-fermion input is required for real family completion. Dagger simultaneously reverses the D5 vector weight: restricted C/X|F gives15 complex and30 compact real directions, while full16xF inputs supply30 complex and all60 compact real directions. The missing carrier half comes from10xbar5, not family Hodge or10x10 alone.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Given original C/X current source with E8 cocycle and compact adjoint

    Use the actual supplied level-one E8 current source C in1x4 and X inbar5x4, original cocycle and compact adjoints. The expressly restricted initial seed keeps only family labels1,2,3. Check current Lie words without presupposing geometric q/p access, a finite Phi coefficient or physical P1 source selection.

  • Supplied split carrier with actual q sign lines on genus-two cover

    Given existing split carrier E3⊕E2 with unitary split connection onX and actual unitary flat q linesL0,L1,L2 on old coverC:w³=(z²−1)/(z²+1),η²=1−w⁶,product1 andπ*Fv117=L0⊕L1⊕L2. Pull these data toX×C and combine with declared alignment to mA slots. This does not selectX,E,mA or alignment as original P1 quantum source.

Original evidence

  • COMPACT-REAL-SIX-ADJOINT-CLOSURE-ADDENDUM.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/COMPACT-REAL-SIX-ADJOINT-CLOSURE-ADDENDUM.txt

    ff97948f5aed5786feb29ee665a092e25b6262d2cf9977536ec96bf723250147

  • COMPACT-REAL-SIX-ADJOINT-CLOSURE-ADDENDUM.txt lines 201–283

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/COMPACT-REAL-SIX-ADJOINT-CLOSURE-ADDENDUM.txt

    ff97948f5aed5786feb29ee665a092e25b6262d2cf9977536ec96bf723250147

  • CARRIER-HODGE-SPAN-CORRECTION.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CARRIER-HODGE-SPAN-CORRECTION.txt

    9752d2b4b96b248dbb9a08e8403d85fdb07b54eacdb86d32a25114d0a759d22e

  • CARRIER-HODGE-SPAN-CORRECTION.txt lines 201–226

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CARRIER-HODGE-SPAN-CORRECTION.txt

    9752d2b4b96b248dbb9a08e8403d85fdb07b54eacdb86d32a25114d0a759d22e

  • COMPACT-REAL-CARRIER-ROOT-REVIEW.txt lines 1–76

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/COMPACT-REAL-CARRIER-ROOT-REVIEW.txt

    4f1150737fa52eb4ca1bf9d88ec2af7ac3ecda104e87da3dcff9edc0caef21fb

  • ROOT-CARRIER-HODGE-SPAN-CHECK.json lines 1–13

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-CARRIER-HODGE-SPAN-CHECK.json

    b6c5dd9dd14f0eaba14d0b317935b54a58e9cd8744296b59f5b0a2f1c6fe29e5

finding:compact-e8-adjoint-completes-family-six-with-carrier-rank-retained

Established in scope

Off-diagonal Hom matches A4 family six; holomorphic triplet wedge has complex rank three

In the question: Automated construction of operator maps and sources

A genuine restricted bundle connection and product exclusion for these two inputs, not a dimension dictionary. The original full K includes O; no singlet zero mode does not exclude full fields or existing seam/Hardy modes. Their actual spin, twist, mode and statistics must be checked. Do not substitute a bosonic E8 current for a Grassmann matter field. Fixed-quarter failure is not a universal fixed-marking requirement under whole-data transport, and no free singlet is added. Correction: no universal O-fermion gate follows for compact real completion. Family Hodge alone also does not prove full(10,6) with the carrier suppressed: direct C/X triplet inputs give30 real directions, full16xF inputs60. Subsequent carrier and restricted-D8 findings replace the old active O-input gate.

Read the exact result, assumptions and evidence

Result

Original s/R lifts and normalized two-torsion products give the explicit unitary A4 bundle map. The direct holomorphic two-triplet wedge has complex family rank three and is not six independent complex holomorphic components. Its fixed-quarter and generic SU4 counterexamples remain valid for that complex-linear map. Compact real completion must instead retain the actual adjoint and simultaneous D5 carrier conjugation, as reviewed in the subsequent correction.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

  • Supplied split carrier with actual q sign lines on genus-two cover

    Given existing split carrier E3⊕E2 with unitary split connection onX and actual unitary flat q linesL0,L1,L2 on old coverC:w³=(z²−1)/(z²+1),η²=1−w⁶,product1 andπ*Fv117=L0⊕L1⊕L2. Pull these data toX×C and combine with declared alignment to mA slots. This does not selectX,E,mA or alignment as original P1 quantum source.

  • One E8 current trilinear as the same Weyl quadratic with one anchor mark only

    Test only literal B_h=κ(x,[h,y]),h in(10,6),x,y in(16,4), as the local quadratic coefficient of the SAME left four-dimensional Weyl multiplet with Lorentz epsilon. In each fixed spin/charge channel the family form omega is skew. Allow linear combinations F(X)omega G(X) for only ONE X=diag(3,-1,-1,-1) and arbitrary polynomials. Other original family generators, independent Dirac variables, derivative vertices, multiple omega factors and different field maps are outside this class.

Original evidence

  • OFFDIAGONAL-K-E8-PRODUCT-TEST.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/OFFDIAGONAL-K-E8-PRODUCT-TEST.txt

    ae3e8ef16097fae858cd07c395af8e04d3741276f6ba149287e441199d563f13

  • OFFDIAGONAL-K-E8-PRODUCT-TEST.txt lines 201–251

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/OFFDIAGONAL-K-E8-PRODUCT-TEST.txt

    ae3e8ef16097fae858cd07c395af8e04d3741276f6ba149287e441199d563f13

  • ROOT-OFFDIAGONAL-K-E8-CHECK.json lines 1–29

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-OFFDIAGONAL-K-E8-CHECK.json

    beb0e360d3455ba9648dcc576200a8c5210e4d46ebf4ee6f995a3e6e1ae45901

finding:offdiagonal-hom-matches-a4-family-six-but-not-two-triplet-e8-product

Scoped exclusion

Original A4 with linear quarter does not supply proposed scalar mu3 repair

In the question: Automated construction of operator maps and sources

Only the proposed scalar repair within the stated original class is excluded. No claim against marked lines, projective/antilinear/rank-two structures, actual Higgs/reader legs or physical CP as a whole. Do not infer reality of all structural projectors from real kernel parameters, or identify a bilinear evaluation rule with its argument or with the physical consumer.

Read the exact result, assumptions and evidence

Result

The proposed minus-one times omega-squared repair requires a scalar mu3 holonomy on a V4 loop. Every actual A4 scalar character is trivial there, and quarter equivariance further leaves only the trivial character. The entire four-puncture mu3 character class has 27 members and only one cyclic-quarter invariant member. A marked extra line can give the desired value but is additional changed data.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

  • Original hard-holonomy contract with pure closed-triangle trace

    Read original45 flavor sources defineY from canonical minimal paths of a Hermitian family connection andPi_triangle=Hol12Hol23Hol31 as ordered closed holonomy,delta=argtrace. DisplayedPi includes neitherKstr nor extraZ6operator. Nonreal asymptotic is a readout contract to test,not completed physical derivation. Active source retains absolute wall selector;no automatic physicalconnection=v117.

Original evidence

  • CLAUDE35-SCALAR-LINE-AND-KERNEL-FIRST-REVIEW.txt lines 1–72

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE35-SCALAR-LINE-AND-KERNEL-FIRST-REVIEW.txt

    b0b6ca32f963d831b690fa48b1a6a84297f185c65f20a3e5906ee186768babb3

  • ROOT-CLAUDE35-SCALAR-LINE-CHECK.json lines 1–31

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-CLAUDE35-SCALAR-LINE-CHECK.json

    401638faf3ca08a6499b68cde477d101ef0e5d74e630425b07c787aadcccd555

  • CLAUDE35-PHASENLESER-UNGEPRUEFT.txt lines 1–77

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE35-PHASENLESER-UNGEPRUEFT.txt

    b49b34542d81a6ffb2339ad844b45286d8b20a0fa407cb3cd11804887cfede38

  • v117_monodromy_weyl_a3.py lines 14–78

    Source checked at this snapshot

    Original location and fingerprint

    verification/v117_monodromy_weyl_a3.py

    55eca6a64144f6e49789f3f1bbe84e256764e7ce92b207044be693f8684d5df5

finding:original-a4-linear-quarter-does-not-supply-proposed-scalar-mu3-repair

Scoped exclusion

Fully descended covariant reverse kernel removes rho form channel

In the question: Automated construction of operator maps and sources

Exclude only the specified fully descended covariant rho insertion with this actual kernel. Marked open arcs, actual additional original reader legs or a different sewing consumer change the premise. No automatic identification of native internal Zc with this descent and no general physical CP exclusion. Retain the positive inverse-character/Hom pairing results without counting their factors a second time.

Read the exact result, assumptions and evidence

Result

Original normalized lifts calibrate c=R_V squared to the entire Hom action, not a bare geometric character counted twice. On the fully descended source, a reader covariant for this same total action compresses every nontrivial character to zero. Thus the rho form channel is removed by the canonical equivariant reverse kernel. The invariant ranks are two off-diagonal and three in the full family; the whole source does not vanish.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Complete data of both product-collar faces

    A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.

  • Geometric Clifford boundary with explicit changed complex structure

    Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.

  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

Original evidence

  • F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt lines 137–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt

    07b31e029aef2bb4f51ffd3c65a6f659da29581c203df2101dd6556c4c7be2b9

  • ROOT-REVERSE-KERNEL-AND-C3-CHECK.json lines 1–14

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-REVERSE-KERNEL-AND-C3-CHECK.json

    b28ae1e183a2173fa38a818e4b2c438fa8780e1cba313e4c5429e4c57a6228f6

finding:fully-descended-covariant-reverse-kernel-removes-rho-form-channel

Established in scope

Actual spin-product weight has canonical trace-class form pairing

In the question: Automated construction of operator maps and sources

Do not promote the unsandwiched singular multiplier to a bounded L2 operator. Retain full coefficient ends, actual deweighted jets and cancellations. Clifford type alone does not prove admissibility of arbitrary family Hom coefficients as original central one-forms. A finite form trace or derived response operator is not automatically the original full CAR composite or physical P1 selection.

Read the exact result, assumptions and evidence

Result

Original divisors give explicit mixed spin products and their actual Clifford type. Their base boundary coefficient has an integrable but non-L2 power singularity at all four ramification marks; source/target half-densities cancel in the multiplier. The exact surviving-channel L2 criterion retains deweighted jets. The original smoothing cross kernel still yields an absolutely convergent form pairing and canonical two-sided trace-class realization, with no new cutoff or kernel.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Complete data of both product-collar faces

    A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.

  • Geometric Clifford boundary with explicit changed complex structure

    Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.

  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

  • Constant odd circle-source coefficient with existing sea and full boundary graph

    In the existing Clifford chart on L2(S1,K) with finite K let h0=(-i∂theta+alpha)gamma,alpha=1/4 or3/4,gamma*=gamma,gamma²=I. Supply constant selfadjoint odd Phi,{gamma,Phi}=0,and V=-i gamma Phi,h=h0+V on common periodic H1. Compare given CAR sea projectors P_-(h0),P_-(h) and complete pure two-face projector G_ell(h),ell>0,including crossings. This is the existing source class with classical background, not physical selection from P1 or quantization of dynamic bosons.

Original evidence

  • SPIN-PRODUCT-BOUNDARY-WEIGHT-REVIEW.txt lines 1–192

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SPIN-PRODUCT-BOUNDARY-WEIGHT-REVIEW.txt

    530b76ce72037cfb83ecb9bd04bb4472cfd47cfc494ef5ef29f3f05ed67e2fcc

  • F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt

    07b31e029aef2bb4f51ffd3c65a6f659da29581c203df2101dd6556c4c7be2b9

  • ROOT-REVERSE-KERNEL-AND-C3-CHECK.json lines 1–14

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-REVERSE-KERNEL-AND-C3-CHECK.json

    b28ae1e183a2173fa38a818e4b2c438fa8780e1cba313e4c5429e4c57a6228f6

  • F5-REVERSE-HOM-FORM-TRACE-ADDENDUM.txt lines 1–62

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/F5-REVERSE-HOM-FORM-TRACE-ADDENDUM.txt

    a7517ca562a83a6647828721ae764e253c6d6f5e85fc6a2ee2aaed727b9bf067

finding:actual-spin-product-weight-has-canonical-trace-class-form-pairing

Established in scope

Whole F5 graph supplies the canonical reverse q/p Hom kernel

In the question: Automated construction of operator maps and sources

A positive actual source-kernel bridge, without deriving the original physical state from thin P1 or identifying it with the printed Yukawa/CP consumer by name. R can be a symmetry of an existing seam rather than its gluing map; no compulsory R-based endpoint identification is added. Original quotient sewing and bulk-eliminated responses remain allowed.

Read the exact result, assumptions and evidence

Result

The already proved whole transport J=Swap tensor j gives a uniquely specified reverse comparison B=Gq J*. Its same-face blocks are precisely the original smoothing cross-face coherence Xq followed by geometric return. The entire G/W kernel composition retains endpoints, half-forms, metrics and adjoint slots. No reverse kernel or state is fitted. The q/p field labels refer to the same source with a non-diagonal redundant CAR metric, not independent duplicated species.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Complete data of both product-collar faces

    A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.

  • Geometric Clifford boundary with explicit changed complex structure

    Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.

  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

  • Constant odd circle-source coefficient with existing sea and full boundary graph

    In the existing Clifford chart on L2(S1,K) with finite K let h0=(-i∂theta+alpha)gamma,alpha=1/4 or3/4,gamma*=gamma,gamma²=I. Supply constant selfadjoint odd Phi,{gamma,Phi}=0,and V=-i gamma Phi,h=h0+V on common periodic H1. Compare given CAR sea projectors P_-(h0),P_-(h) and complete pure two-face projector G_ell(h),ell>0,including crossings. This is the existing source class with classical background, not physical selection from P1 or quantization of dynamic bosons.

  • Actual full v252 gauge lift and original P2 comparison

    Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.

Original evidence

  • F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt

    07b31e029aef2bb4f51ffd3c65a6f659da29581c203df2101dd6556c4c7be2b9

  • F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt lines 201–227

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt

    07b31e029aef2bb4f51ffd3c65a6f659da29581c203df2101dd6556c4c7be2b9

  • ROOT-REVERSE-KERNEL-AND-C3-CHECK.json lines 1–14

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-REVERSE-KERNEL-AND-C3-CHECK.json

    b28ae1e183a2173fa38a818e4b2c438fa8780e1cba313e4c5429e4c57a6228f6

finding:whole-f5-graph-supplies-canonical-reverse-qp-hom-kernel

Approaches and conclusions

The reviewed decision record says which approach can be reused, which failed in its scope and what a new attempt would have to change.

Reusable result

Repeat unchanged known CAR synthesis calibration

The declared control domain was exhausted. Its result calibrates the search software.

Consequence: For new research extend the actual operator contract or structural grammar, rather than only changing seed or runtime.

Reusable result

Repeat unchanged finite kernel calibration

Exact finite completions and shortest degree5 separation are available; the campaign persists reusable results.

Consequence: A source-grounded new operator/composite-field relation, another justified representation, or full OS/seam data. Seed, runtime or a numerical gap alone do not close an original contract.

Insufficient for the goal

Select the field map from traces and the joint Ward identity alone

These data do not determine the fixed pair response in the tested inverse contract. The joint identity remains a valid consistency check.

Consequence: Derive the actual local field map and source insertions from the original action; test the multifield response or full appropriate Schwinger-Dyson identity. Do not impose a free creator equation on the interacting action.

Reusable result

Reconstruct the complete kernel rather than separate action and measure

The full link action follows without a Gaussian assumption in the given dictionary.

Consequence: Derive the original field dictionary and T[Φ].

Scoped exclusion

Generate spinor matter from local composites of the unchanged NS vector fermionization

The central kernel element acts trivially on the entire unchanged generator algebra, and local products cannot generate spinorial character.

Consequence: A source-grounded sector/field extension with actual charged intertwiners or another demonstrated group/source map. New coefficients or longer composite searches do not change this premise.

Reusable result

Repeat the unchanged given thermal query-feedback control

Compatible mixed-state completion and automatic one-transfer query are validated in the existing entry point. The control does not derive its source from P1.

Consequence: For progress on the original goal supply the actual local P1 insertion or a newly source-derived multifield response. Do not feed candidate predictions back as source facts, change only seed/runtime, or substitute a new pure/free source.

Reusable result

Exact kernel and common original insertion contract

New concrete source tests are executed, including a minimal operator counterexample. General synthesis software and Universalraum/GNS results already existed.

Consequence: For origin progress use independently original insertion images or a newly derived common response; do not repeat the same controls.

Scoped exclusion

Continue searching E8 single-anchor Weyl polynomials

The entire polynomial class reduces analytically to I,X and is excluded; random/genetic search cannot find a missing triplet coupling in it.

Consequence: An additional originally derived family-distinguishing operation, different field type or actual higher-product process changes the class and must be tested separately.

Browse all approaches for this question

What is resolved, and what remains

Resolved in scope

Calibrate new search without supplying the target map

Generate a known map, eliminate the wrong linearity type using a learned counterexample, and pass adversarial exact-verifier tests.

Open task

Synthesize a joint field, marking and transfer dictionary

The same generated map satisfies actual field products, adjoints, carrier marking, quarter domain, and state/time transport in a source-grounded representation.

Next investigation: Continue F1 from R034/R035. Whole supplied96 inner Higgs producer and central scale/affine full-source map are evaluated. Resolve actual original B_Ea/bosonic-relative reduction into Brel and SAME Tr_rel,with first symbol/domain,normal mode embedding/metric and actual insertion into existing wedge-to96 H map. Use full Gram transport if actual Bsigma=fBf;retain induced connection/exterior memory. No bare5 mass,free overlap exponent,scale/Y/lift scan or new Brel definition. Retain original reference/eta/scale/trace/H0/Z0 and complete state/time/RP/Flavor/Alpha/E8/clocks. Decide common H and Einstein jets of actual producer before full H source closure.

Builds on: Calibrate new search without supplying the target map

Open task

Search for the positive common source kernel itself

Construct unknown positive word kernels from original relations and establish continuation stability and actual time/field action. A finite positive moment matrix alone is insufficient.

Next investigation: Reuse existing kernel construction,exact completion and discrimination under plan C1/F1 and SEARCH-METHODS S3/S4. Read and update docs/research/fundamental-plan/progress.json and RESULTS.md on continuation. The offline replay confirms the two given complete finite clustering kernels with2245 moments each and ten length5 separators. This tool control is not physical source selection. New search requires a concrete originally derived source-control relation; do not optimize old classes or extremal objectives as a physical selector. Do not reactivate the stopped automation.

Builds on: Automatically construct, certify and distinguish finite kernels; Repair search conditions against source types and collar controls

Resolved in scope

Automatically construct, certify and distinguish finite kernels

Generate unknown moments; exactly verify successful complete realizations while incomplete tables remain candidates; emit the shortest distinguishing word response.

Resolved in scope

Repair search conditions against source types and collar controls

Feasibility is default; heat and thermal GNS controls use compatible representations without forced pure states.

Resolved in scope

Reconstruct multi-field sewing of the canonically identified boundary source

State ray from CAR projection and operator ray from oriented boundary pairing; exact products and chronological composition, with absolute scalar explicitly missing.

Builds on: Repair search conditions against source types and collar controls

Resolved in scope

Retain absolute reference amplitude in search

Campaign, cache and direct certifier distinguish lambda and transfer type; no certificate under silent T Omega=Omega.

Resolved in scope

Integrate supplied free source including boundary response and scalar

Direct Berezin integration and independent determinant formula agree including complex sources, Schur factor and signs.

Resolved in scope

Convert the full finite CAR kernel into a link functional

Exact roundtrip, sewing and trace with higher vertices and scalars.

Resolved in scope

Execute actual shared Higgs source with full matter words and local RP

Original whole one-form consumer and complete induced source rule with precise mixed coefficient; valid scoped common RP sewing.

Resolved in scope

Reduce whole constant original Higgs spectral fiber

Whole96 left rotation with Majorana and exact reduced determinant with first whole-circle jet.

Open task

Resolve original geometric Higgs residue sign and field map

Same complete original source explains H²/H⁴ signs and normalization in target potential,or a concrete original identification is corrected from source; no free extra action.

Next investigation: Identify actual original normal field insertion and equivariant T from primitive source;execute whole imaginary-source restriction Zorig[iTj]/Zorig0,not chosen Gaussian prior or covariance alone. Keep complement/mixed fields and reference/eta/Z0. Radial classification only for actual invariant marginal;preserve all whole-theory results.

Resolved in scope

Evaluate local original Higgs heat identification and whole finite consumer

Decide first H²/RH² heat identification exactly and evaluate whole96 moments through named conditional consumer without choosing new Y.

Resolved in scope

Execute whole inner Higgs scale/source and normal kernel transport

Scale actual supplied whole Higgs vertex without double counting,retain full finite affine source,and determine typed whole normal kernel transport.

Resolved in scope

Execute given whole superconnection and normal spectral reader

Type-check ordinarytwoform/Higgsderivative;distinguish compressed andweightedheat;derive complete conditional normalblock/trace/source reader throughH4 withoutinventing originalblocks.

Resolved in scope

Determine own-admissibility and whole total-chiral spectral readers

Evaluate original admissibility heat/zeta/residues and given total-chiral product trace for all allowed spectral functions. Preserve zero modes,index,reference and domains;identify the unproved original operator map.

Resolved in scope

Derive whole scale-energy map,normal profile and relative flow

Derive exact whole scale/domain/normaltrace and spectral reader,reconstruct entire normal profile class from specified first energy response,separateFP/residue/anomaly with actualBrel defect.

Resolved in scope

Execute original Green energy producer and mixed scale readout

Supply whole originalR040energy response with correctstate projection and readW from specified original scale response with dynamicweight covariance.

Resolved in scope

Match current action argument and common Higgs/gravity weights

Translateactualcurrentmomentargument,testwholepositiveclasswithreferenceexception,evaluateexistingwholeH/Einsteinconsumerwithsameweights.

Resolved in scope

Execute original whole four-ghost source and geometric type test

Evaluate whole actual ghost complex,cohomology,traces and energy source;compare geometric and selector operators by actual spectral type.

Resolved in scope

Execute original moving normal kernel derivative and whole source response

Differentiate actual R035 kernel including matrix normalization,derive A/C/whole covariance from original B and retain whole mixed source;do not call additional premises an origin derivation.

Resolved in scope

Decide fixed original O1 source and normal operator placement

Decide whole positive multiplier class on originalV,compare both operator placements with derivative/symbol and isolate actual original variation tensor.

Resolved in scope

Compare whole Higgs mixture and covariance reader on invariant four-field witness

Derive internal-frame invariant four-field test on actual original quark block and decide entire stated positive H-weight class analytically without choosing physical H measure.

Resolved in scope

Test exact bounded cutoff on whole ordinary Higgs volume

Decide stated finite-trace-to-measure inference on explicit whole Higgs volume class analytically without inventing original measure.

Resolved in scope

Test whole original circle joint mode and IR Higgs normalization

Decide R055 rank loophole on whole given original circle with actual Phi/reference and uniform proof,without new geometry or measure.

Resolved in scope

Test original O1 mode covariance against whole Higgs-law class

Test first modekernel→sourcelaw identification without measure choice,classify whole added invariant class and name actual original-source readout with limits.

Open task

Reconstruct original localization from the whole process

Same original whole source determines actual localized subalgebra family and state/time action without freely supplied target geometry;prove causal/dimensional identification,physicalcarrier and subsequenttensorresponse. Distinguish source gap from exclusion.

Next investigation: After R084 retain whole theory: under the hypothesized same scalar shift the complete coupled 36-quark constant-H circle yields relative determinant 1 despite nonzero H response; gamma+ marginal yields (1−z)^−18. One-sided shift of the FULL coupled space is S2 not S1 for nonzero mass. A mathematical whole-pair det2 reader exists and finite native checks indicate Higgs dependence; original Z0/ref/eta is not thereby fixed. Compare actual original seam shift, restriction and R080 ordered det2 source on same carrier/clock/reference/eta/Z0/PQ word contract and derive trace correction; no free regulator.

Resolved in scope

Test bare native-code word compression against actual locality

Exactly compare actual disjoint local operations of same original source before/after codecompression and identify omitted word cancellation.

Resolved in scope

Decide original geometric local-time class and execute actual interval reader

Test actualsupportedtimewitness andwhole statedclass againstactualwholestate;providepositivefreeCAR reader/domain/actualwordcheck.

Resolved in scope

Execute actual original color-spinor CAR four-word and complete spin-sector sewing

Produce entire original response with cocycle,time/modes/zero modes and absolute sector traces;independently recover actual kernel and full thermal sewing under SAME center.

Resolved in scope

Decide actual color admissibility of density operations and coordinate regions

Decide complete given scalar-variation class and coordinate regions with actual M/center/source;retain whole charged intermediate words and originaltime.

Resolved in scope

Execute actual whole seam-operation class and two-face response

Analytically decide whole matrix multiplication reduction/implementation and exact original response;preserve Cauchy/Fock/OS types.

Connections to other questions

shares unresolved input

Future quotient and positive GNS reconstruction

Existing GNS reconstruction now has executable synthesis of unknown positive kernels. Exact finite completions provide checks and discriminating responses; original source constraints and physical identification remain to be derived.

shares unresolved input

Physical time and complete transfer

With actual CAR and amplitude identification the full boundary projection determines all field-product amplitudes, not only a restricted density. Original physical identification and the absolute scalar remain source-level tasks.

shares unresolved input

Historical: common source, state and event selection

The joint absolute source and eta/sea/Ward identity remain valid conditionally. Originals use a stronger operational seed; classical Green pairing follows from supplied Dirac data. The corrected search requires total operator/domain and original fixed multifield response; matching traces and two-field data is insufficient in the tested inverse contract.

shares unresolved input

Future quotient and positive GNS reconstruction

The whole given Clifford source realizes the old positive-word/GNS bridge with marked R and circle time. The new kernel identifies all scalar-future channels; shared insertion images exhibit distinguishing continuations. This selects neither the original physical alphabet nor an absolute Universalraum ontology.

shares unresolved input

Common clock sectors, quartic geometry and operational reconstruction

Retain the entire scoped structure/spin/deck/Fuchs/domain/source chain, actual reverse kernel, native D5/glue E8 action, state/reflection/time. Actual induction of the old unit winding gives a finite reader with a proved nonzero moment. Whole96 Clifford/KO continuation passes, and original primitive wedge consumer explicitly reads it with the fixed KO sign. No missing weak-operation gate remains. Next shared-source comparison concerns the original HolK coefficient formula, possibly through actual variation/summand, without requiring universal Hardy=Y. Full physical generation is not proved; preserve prior scoped exclusions and avoid new O/p-source/state/quarter/QY gates. ActualGmetric path closesU6/Kstrframe; The reviewedfailsKO/SU2. Next is originalinsertion,not freemetric. Actualoriginalreal delta jet and allfour openpaths are nowexecuted. Typedendpointquarter actions preclude a universaltracecancellation; execute the originalwholeconsumer. Preserve completeGram differential and allfour openedgecharacters; rank1compression and real-onlyresonance approximation do not replace the whole source.

Original historical attempts linked to this question

These are original research records. Their reported verdicts are distinct from the reviewed results above.

seam collar multifield 20261016

Does the corrected search accept the known collar source, and what full multi-field sewing follows from its actual boundary data?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–125

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/contract_index.json

    78eae9d2cbb3ae117a75c80252b096a70e60dbff0a9544952391840e616b9a1e

  • PROOF.txt lines 1–698

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt

    3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce

  • README.md lines 1–97

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/README.md

    686c298c08f94294e53130673eeec88e50fad174d1fba50464459881ee822af4

  • collar_control.py lines 1–609

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/collar_control.py

    4f1ab2edac2f8a1b0a74e424a9e6d0df50bc8e51df89093ba35fc2fe23e7a52d

  • source_manifest.json lines 1–308

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/source_manifest.json

    229b02abc90b59e3dcec172e43ea4f20ee1bfee49b78c425d2fad08909d6331c

  • 01_boundary_kernel_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/01_boundary_kernel_source.tex

    89afb7d6cd1bb3a74ce4acd2ab43f4d990e7f22d5986c33e3fe90a0abf1260ff

  • 02_carrier_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/02_carrier_source.tex

    4783f526a49dfb708d496a3910392bb8aecf2b9c307f9542d3ed113aae2a4faa

  • 04_qft_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/04_qft_source.tex

    eb63106ae30cab81268f240e3779d511ecd8e4dc869a3eff3f0032f154f3f5de

  • 05_metrology_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/05_metrology_source.tex

    c34b090c9121c22870df8a98807f6852f642479c24cd581392a0328d15a0c1c0

  • .gitignore lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/.gitignore

    32dae3052f331ee34d628ef535709b301259a45df7c7522c4d35dcf49873f00b

  • E8-BOUNDARY-DICTIONARY.txt lines 1–128

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/E8-BOUNDARY-DICTIONARY.txt

    ed4f112b566060bdaffa8f7490405004ac300a0d2a1be33c8bb3eda3f0614362

  • boundary_amplitude.py lines 1–74

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/boundary_amplitude.py

    26f54d6c138c5a0a610b687eb448bb40272ffcca242058d9877487764e720f93

  • charged_pair_control.py lines 1–337

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/charged_pair_control.py

    55160a16005d869e25dfdd9c46aa79a0dadad49e463ba6c6eaf57cbfba678219

  • chiral_tail_control.py lines 1–35

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/chiral_tail_control.py

    6f31a0b2f3fd93c68d149e7f88585fb1afa9ee3c8c9e3bd0a8d75090719ce2f0

  • e8_boundary_response.py lines 1–294

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/e8_boundary_response.py

    8a77bef68666dd18470fce78e04881676862075d216587b291c9e2c3761d5e6b

  • joint_source.py lines 1–315

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/joint_source.py

    20cdd4eb8f1de659fde18676f0865d9acce437d60da63ce947b8ddb901f89c93

  • kernel_functional.py lines 1–423

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/kernel_functional.py

    c96036b214aa4a4c9c92de0fb8d82669531ae7943119646cc3f89081bce10489

  • origin_operator_checks.py lines 1–116

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/origin_operator_checks.py

    770582bfd5f9400296076c6bbcb2cf23d06e067e89774c9589106675394746c6

  • absolute-quarter-cli-accepted.json lines 1–4003

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-cli-accepted.json

    30a4fd212de8c20ee5ea083d44617147dcdf2a04a7c4851f0ea432f7bbe04516

  • absolute-quarter-cli-rejected.json lines 1–2020

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-cli-rejected.json

    a4a5bab65d1f3e2a6be32ccef37ee805e20c688aa5e91541247c4dc21bea2b39

  • absolute-quarter-search-control.json lines 1–32

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-search-control.json

    e787a7e34539868dfb76dd4973861ade9f754f6445144232cb96fbb5b70f9e70

  • absolute-quarter-source-observables.json lines 1–1977

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-source-observables.json

    444f57e774fecfe597c90b178c8ae83eb88871c2fc3e00f2e05090e6945d0495

  • charged-pair-control.json lines 1–1053

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/charged-pair-control.json

    6c9d3697ce1aab7fbd5fc15ce381c4147fdd090cd2f824e64105f44c471cbefe

  • chiral-tail-control.json lines 1–27

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/chiral-tail-control.json

    f6a72d70aceeded999886a01d70e4b0c07ac277ced08f16c62cb87b68e16f811

  • collar-control.json lines 1–2016

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/collar-control.json

    74026b4c698329e1485f3b34249370b23631e5523d9c86e2b103985ca1c0a6c8

  • collar-source-observables.json lines 1–105

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/collar-source-observables.json

    84809c0a22e234c759d65ef1ec916f5f4fd867d28bf0ad1ff5e760b6be3a40d4

  • e8-boundary-response.json lines 1–4705

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/e8-boundary-response.json

    8e9e2fe937e0528c48dbf64fcdfe4307aeceab4fb98f574cd95e5ed30b7331fd

  • joint-source.json lines 1–101

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/joint-source.json

    5666fc3ce49ba6b68f91a47fdfb3524c856172449095a53a05b60af846a589d1

  • kernel-functional-control.json lines 1–18

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/kernel-functional-control.json

    bc337bc31847d809843669d09a4672d0551b8969185d1f8f0788935313943f06

  • kernel-functional-max-trace.json lines 1–297

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/kernel-functional-max-trace.json

    0cb5c522b84960e07ed340f1b78cdfaa5a382e0bb85e33250b85a6c5f84445ef

  • kernel-functional-min-trace.json lines 1–286

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/kernel-functional-min-trace.json

    3d5f9df5216ec07a49c236223610a4285b1a274869009c92c4be3ddf760861ad

  • origin-operator-checks.json lines 1–53

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/origin-operator-checks.json

    ff2a93a1cd8c3f3bb7dbba0268a3f10bac3af79fcac092c5990c7994b43c6770

  • source-sewing.json lines 1–27

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/source-sewing.json

    240ce4d700f2bbddf739144154a9114f149a1b15ba1cddb10dd1155a28318c98

  • thermal-source-observables.json lines 1–46

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/thermal-source-observables.json

    f8441cee682c5c4b3aec0fadddac8ecf187a1d004d9e9bac49116b35cadb2a90

  • source_sewing.py lines 1–117

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/source_sewing.py

    8138edbc7912b5e4e566a664f323d8e9214e73eed4eb190e7cdf8b223d932090

  • test_boundary_amplitude.py lines 1–39

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_boundary_amplitude.py

    707194c60893ae1a5910f2d1b0858013bd1eab14b147ab21beb3d00bed82b6d1

  • test_charged_pair_control.py lines 1–73

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_charged_pair_control.py

    67066c658c8491c97b15155b30193b6d950dcb0feebf1ed380ee510acdde55ea

  • test_collar_control.py lines 1–149

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_collar_control.py

    d76a9e89281fa018e0126dfca469e3fe18c86e65919a169645c849891f5abb2e

  • test_e8_boundary_response.py lines 1–41

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_e8_boundary_response.py

    71dcc57f7ca94a46641a9b0dc13256ac0dba8c555993a23b29154c76af30ab37

  • test_joint_source.py lines 1–85

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_joint_source.py

    c980b3e3f4e9909f933288065afc2e6a4f09942bd07ea397915898e7fadf5326

  • test_kernel_functional.py lines 1–158

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_kernel_functional.py

    c87fbc815dd9376592f84e2ffa292b8ee8e674cd37240ab3551c8d193b15b3d8

  • test_origin_operator_checks.py lines 1–30

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_origin_operator_checks.py

    8291b3b0940ffa9d482a653d9e24d5d7f8a8c7056eb108a8e16d065a96766e17

  • test_source_sewing.py lines 1–37

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_source_sewing.py

    be93084319bb8e4af5da5cfb49a4708d4758a6593b71d0cda537caec60702e36

  • finite_completion.py lines 1–285

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/finite_completion.py

    80f5bae4afe92b6784ed4941524066c2fe5593839e0adbbd7af1eb47646a7f8d

  • kernel_search.py lines 1–274

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/kernel_search.py

    d158e991b9ad7f2fa2d8011e228589830d90db06fa4e21c919f546dbcd67c315

  • run_search.py lines 1–216

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/run_search.py

    c5c12550fb2970add6f94c6056d1363ec3de331b272054450b669275f42b3db6

  • test_finite_completion.py lines 1–119

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_finite_completion.py

    05f57c2b06c1327fd0b940144d1f4641fa5800482d8aecfb3b8fec692d587eb0

  • test_kernel_search.py lines 1–334

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_kernel_search.py

    2c58e8f3f83f03a83190f26d60574c10175ef7e6e62c7ea278b5bc714344fc89

  • test_run_search.py lines 1–81

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_run_search.py

    da996de81ffd38048a8e9de65874d19d342abf83a578cfd5a167905ba65d799f

  • origin_theory.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    origin_theory.tex

    766f68a471d3ecab89f5c73fd1c4880bf62c290e7ccc462889e96f202d26b6cf

  • tfpt_1_architecture_e8.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_1_architecture_e8.tex

    45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5

  • v154_simple_current_theorem.py lines 1–107

    Source checked at this snapshot

    Original location and fingerprint

    verification/v154_simple_current_theorem.py

    928aff32e0e5d9d440d326cb6f8a12dbb119d7cf86ccf6c2ea95a469f185e4c5

  • v156_seam_net_construction.py lines 1–134

    Source checked at this snapshot

    Original location and fingerprint

    verification/v156_seam_net_construction.py

    2d8d86bbc393eda3d4779017111f2d67a4c94644bab9a37e6b6685e58570a4aa

  • v15_bootstrap_classification.py lines 1–85

    Source checked at this snapshot

    Original location and fingerprint

    verification/v15_bootstrap_classification.py

    4810f624921fdf5e48f451b3fdad241ebdb82a21b69ded41ea892de977769b7e

  • v161_one_particle_reduction.py lines 1–185

    Source checked at this snapshot

    Original location and fingerprint

    verification/v161_one_particle_reduction.py

    5f68aecdddf9be30df446de0a452b6b7c154615b81a9c604f18c43fa00ee1896

  • v162_seam_transport_identification.py lines 1–161

    Source checked at this snapshot

    Original location and fingerprint

    verification/v162_seam_transport_identification.py

    1d3a80006bcff439f88b83d7f3b64d03a7b8d9cea15308ca7c68fde86beb5225

  • v175_net_existence_full_cone.py lines 1–164

    Source checked at this snapshot

    Original location and fingerprint

    verification/v175_net_existence_full_cone.py

    969ccd9c2a6ba5a4edb46219ff3aeeaa5c3e7c67ff01bed49ccc981dc7960426

  • v350_bootstrap_inputs_correction.py lines 1–108

    Source checked at this snapshot

    Original location and fingerprint

    verification/v350_bootstrap_inputs_correction.py

    ac79766fae9a95a5b5eedd4afc95beb4c3539c2263bd2017b306aebbd791a471

  • v351_continuum_realisation_sharpened.py lines 1–97

    Source checked at this snapshot

    Original location and fingerprint

    verification/v351_continuum_realisation_sharpened.py

    9c6b24807be4fcf3a87985ffe8feed91229f5a96f42512af68cf52f66a73b76e

  • v352_framework_irreducible.py lines 1–92

    Source checked at this snapshot

    Original location and fingerprint

    verification/v352_framework_irreducible.py

    563355a4a35e3c8a810f47ca65e70ced7efccaa4ab3151f6036eca4e46618f4c

  • v6_bootstrap.py lines 1–50

    Source checked at this snapshot

    Original location and fingerprint

    verification/v6_bootstrap.py

    980bf82f5ce2bfdbc6f8eb91e56c704e4330efcc56d7e7ee46fefaef7246158f

  • P1-INSERTION-TANGENT.txt lines 1–213

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/P1-INSERTION-TANGENT.txt

    b49aa4ec77bc22029545c4f8f2584e80e63fd8bb6b8a0ce8536baf4137d3ea55

  • p1_insertion_tangent.py lines 1–195

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/p1_insertion_tangent.py

    70b3d0790f40a4834644c806db90fc27402967563e6e8888a8f1192ec539ad00

  • p1-insertion-tangent.json lines 1–84

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/p1-insertion-tangent.json

    5163ec840291658c28cea12773e81966e614ebb81d0781b88cc5c00f9f87e5b5

  • v258_dirac_covariance_induction.py lines 1–161

    Source checked at this snapshot

    Original location and fingerprint

    verification/v258_dirac_covariance_induction.py

    16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1

  • P1-COVARIANT-INSERTION.txt lines 1–213

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/P1-COVARIANT-INSERTION.txt

    ebb9e0cb15cdc017914d8567131c8d8b75855f20e05551b6f7b350989061e152

  • p1-covariant-source-jet.json lines 1–11

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/p1-covariant-source-jet.json

    8f8f9ae5da049b5d110ba74b0c4f042fcab652db69dfe2df8a8867086c23d7ff

  • PROOF.txt lines 1–237

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-z8-parity-descent-20260921/PROOF.txt

    4c5ade4da333abb5fd528a02bc3e95158a7b40eaa7c89d7200b77768810320d9

  • PROOF.txt lines 1–293

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-sector-reconstruction-20260920/PROOF.txt

    a5796f90f4fa079badc5a07c451f1ea1028fcff3f258ac3f6992c6ae8d65d7d6

  • BOUNDARY-OPERATION-PROOF.txt lines 1–206

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/BOUNDARY-OPERATION-PROOF.txt

    a55bc1d8bcda606e274092873dedf00709d40bd093d3ec0e08ce7ff25ecf5a47

  • boundary_operation_response.py lines 1–89

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/boundary_operation_response.py

    e0be5a934fee1fd72b830d620b4e7bd73781eb85bec035e876d07c86f9f627f3

  • boundary_operation_response_results.json lines 1–75

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/boundary_operation_response_results.json

    946031d03b8890d51d68466ee643989eee7158f96cca95d1ed7036078ce68680

  • ACTION-INTERVENTION-SEWING.txt lines 1–188

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/ACTION-INTERVENTION-SEWING.txt

    5ea81ef8271bcde984a81ee2bd5aad6eda25a2f41db988a416136c1fda90b16b

  • action_intervention_sewing.py lines 1–64

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/action_intervention_sewing.py

    57e55143cbe07cafbc07c4b4214677e29a34ef4580f6d7d2db58b5f4f3956f3d

  • action_intervention_sewing_results.json lines 1–74

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/action_intervention_sewing_results.json

    74475f408789d593ee45d0d95662b5079962cc54a5dd57d9ef39d61295bce830

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam operator synthesis 20261015

Can typed operator programs and simultaneous inverse intertwiner synthesis generate and exactly check shared operator maps without supplying the desired map?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–56

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-operator-synthesis-20261015/contract_index.json

    195956d67785fbc08e7044d9cf265902da788c9adee6293c0ab469d2b8a44276

  • README.md lines 1–5

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-operator-synthesis-20261015/README.md

    aefd98292048d6c91c9008ec9c60ddfc318ca5863fa448e1db7999aef4f663fb

  • README.md lines 1–107

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/README.md

    db453a12d7a64e1a30988b61c6ff20ad80863ac8471a3c5a6eb735e876bc76e5

  • clifford_search.py lines 1–294

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/clifford_search.py

    29a36a9a5e8e3f173348e16539f517c8ac708d2d306ac67fc2402999f8e687a3

  • source_manifest.json lines 1–52

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-operator-synthesis-20261015/source_manifest.json

    7038ebc7fa3d5f01a1d92a706338da229264aedb822eb248f678ae080e8efcf9

  • intertwiner_search.py lines 1–218

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/intertwiner_search.py

    a7ae4b4969c4930ab8e587a89fe2144f75ba7376850d2dc03bace8e572260029

  • proof_check.py lines 1–168

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/proof_check.py

    bb78990a83d4a2e4947a9027bfc428f506bb866bf8eeba329f5796d9ad2f461e

  • OperatorTransport.lean lines 1–220

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/lean/OperatorTransport.lean

    febc7d1c8d7f9ea33f010d2de7e9c5e949be7a0b53c3acb49040c398b09fa161

  • lean-receipt.json lines 1–100

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/lean-receipt.json

    f7dbc1b8426909ade3878005265a164f80be6228fffbe51ffe8469e1590a32ed

  • results.json lines 1–184

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/runs/recovery-seed7/results.json

    e48748a84dda1af6d91e5e9a0a6ac94b0782245ec02586055b3db4c503c67ace

  • inverse-control.json lines 1–167

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/runs/inverse-control.json

    642ecadca4afa78f32c56d241c4eb4f56954346cbdff8e24d9b789049bdbf6f1

  • test_clifford_search.py lines 1–136

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/test_clifford_search.py

    4182d98cc8cb7b7399722e98908d85847127f699161db87fc52c52e218a9ec2f

  • test_intertwiner_search.py lines 1–99

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/test_intertwiner_search.py

    6924908b07038e859871eb6f998230f863bb976f3b606d94235fe73170b7c0c0

  • PROOF.txt lines 1–253

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-partner-original-action-20261015/PROOF.txt

    ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c

  • PROOF.txt lines 1–221

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/PROOF.txt

    9f4effed34316798c6a35e1ac0ec2832cd3720180f476cb8747bb32359b56e6a

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam positive kernel search 20261015

Can unknown positive word kernels be constructed, exactly completed and distinguished without supplying a target Hamiltonian or state?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–87

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/contract_index.json

    8c513dfb4ddbd224dcba90d665b6386fe51078477857092bcda7cb4371d8cd77

  • README.md lines 1–281

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/README.md

    e1d78365d7998faf7dc16d77cca2e78ff504781703a9c046ec4914b7636568b6

  • proof_check.py lines 1–477

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/proof_check.py

    20ff2f31248842da89c7a48c27ba739e916eeba44f9fb6e66663149de8ac7676

  • source_manifest.json lines 1–141

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/source_manifest.json

    9b1ae6946663b8dbee18a099738a6516ce6c2dac9abe73401a961bca60655269

  • .gitignore lines 1–2

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/.gitignore

    e99f6ee4eb88882ea6589ecb717e10a41401763241b246b6821bc091cfe2227e

  • exact_certificate.py lines 1–470

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/exact_certificate.py

    57753a3efff8b0b9de70cec60b0a4afa96b9e8d1343ee01eb0a49809ffac3840

  • finite_completion.py lines 1–285

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/finite_completion.py

    80f5bae4afe92b6784ed4941524066c2fe5593839e0adbbd7af1eb47646a7f8d

  • kernel_search.py lines 1–274

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/kernel_search.py

    d158e991b9ad7f2fa2d8011e228589830d90db06fa4e21c919f546dbcd67c315

  • requirements.txt lines 1–6

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/requirements.txt

    97632712110f1fb47b72b671bce089c21882d8a1cb10b9420fa4ee29dd90d954

  • run_search.py lines 1–216

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/run_search.py

    c5c12550fb2970add6f94c6056d1363ec3de331b272054450b669275f42b3db6

  • moments.json lines 1–21991

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-positive/moments.json

    09562a9a1707f19aca846d815425415d4df24f35343437839f627b333383a879

  • next-source-question.json lines 1–182

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-positive/next-source-question.json

    bc6d62fe77d170f4d2b8529edea93481e279dcf3ee218a383f0b9940512409d2

  • summary.json lines 1–234

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-positive/summary.json

    aa8c24455b183c8fa5829199b99706c2249d344a5c7de95f473a33937241ee9f

  • moments.json lines 1–21991

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-zero-floor/moments.json

    d6446eb7b1558b4f4a0a26481cbde29379011d4c8757fe11f01a949d2a71bbcf

  • next-source-question.json lines 1–182

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-zero-floor/next-source-question.json

    1db138400d2b6ed3582d8db69b1ff606b52c39df065fc8e0bd764d96058a7230

  • summary.json lines 1–234

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-zero-floor/summary.json

    888d325dbf8dce87166ad7208834a46e9eb847dec907c7b69f3fefbed0b8ec01

  • m1-d3-floor-quarter-tight.json lines 1–2727

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/m1-d3-floor-quarter-tight.json

    ea295dc4f1a1e903ca790ec1c5129ac1033c7d8468f8bbb8c4426b364f8acb90

  • m1-exact-certificate.json lines 1–526

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/m1-exact-certificate.json

    e1f84590a058e41572f1a3c43b40380a560762491b17c1fa471f620e2c2d5334

  • moments.json lines 1–21993

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/moments.json

    7429db68e991b7c5351361f607ac9fb2dfb62e3c99b6945813fdb5160f5bda9c

  • next-source-question.json lines 1–182

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/next-source-question.json

    c99e15c79ae87eb26a49220a6a78ddb2dc937356e87e4000081f7cc66f49bd2e

  • offline-check.json lines 1–941

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/offline-check.json

    eeaa8758e1a2ea68746df225c906e8b9e3a15f73aeece7a3249afa3b0e3d8f08

  • summary.json lines 1–237

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/summary.json

    9c3068b7828231e0e09e5a6a6a88512b97960c684082670c709bd91f5ea4d402

  • test_exact_certificate.py lines 1–104

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_exact_certificate.py

    6631553ca2f465b86f9345262995ad77e65296be8dccb24123428615ad7b0363

  • test_finite_completion.py lines 1–119

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_finite_completion.py

    05f57c2b06c1327fd0b940144d1f4641fa5800482d8aecfb3b8fec692d587eb0

  • test_kernel_search.py lines 1–334

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_kernel_search.py

    2c58e8f3f83f03a83190f26d60574c10175ef7e6e62c7ea278b5bc714344fc89

  • test_proof_check.py lines 1–84

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_proof_check.py

    0a628ce474d86fa71fe5ada84857ecc6a943cf020102285a62f960aefc5db744

  • test_run_search.py lines 1–81

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_run_search.py

    da996de81ffd38048a8e9de65874d19d342abf83a578cfd5a167905ba65d799f

  • test_word_algebra.py lines 1–129

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_word_algebra.py

    66e7ea1db73f43b514130b3979c43d6d8ed5f7be895174132dc857c9f1358454

  • word_algebra.py lines 1–135

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/word_algebra.py

    25964ecf2b718372210ddc669ed402677d61cf180c62839a0f3cc9338b1d5254

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5