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.

Physical time and complete transfer

Do the original reflection/projector structures determine the full physical time generator and required field transfer?

What has been learned

Scoped exclusion

The fixed marked M4 channel has no homogeneous GKSL logarithm for any positive integer power

In the question: Physical time and complete transfer

Only the specified M4 endpoint channel, positive integer powers, same system and homogeneous GKSL time. Intermediate covariance is not assumed. Positive GNS Hilbert transfer and classical B recovery semigroup remain valid; larger systems and time-dependent dynamics are not excluded. Contract remains PARTIAL and physical source derivation open; source review is not a fresh kernel/numerical run.

Read the exact result, assumptions and evidence

Result

For Phi(X)=7X/12+sum_{j=1}^5 Gamma_j X Gamma_j/12 on M4 with the specified Clifford matrices and 1+5+10 spectral blocks, no Phi^n for positive integer n is the exponential of a time-homogeneous GKSL generator on the same M4. The proof covers all logarithm branches using block traces and Clifford twirling; the forced canonical coefficient beta=n log(3/4)/16 is negative. This is a different channel from the shared S3 register hierarchy.

Required assumptions

  • Fixed marked M4 Clifford channel

    Five specified Hermitian Gamma_j on M4 satisfy {Gamma_i,Gamma_j}=2delta_ij I. The endpoint is Phi=7id/12+sum_j Ad(Gamma_j)/12 with spectrum 1,1/3,2/3 on orthogonal blocks 1,5,10. Comparison class is any homogeneous GKSL generator on the same M4 with exp(L)=Phi^n for positive integer n.

Original evidence

  • PROOF.md lines 15–53

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/PROOF.md

    62fd2844ecc3e84134d1400335cf4dd469312305d6cfb3eae427aba01beb0ac8

  • PROOF.md lines 65–132

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/PROOF.md

    62fd2844ecc3e84134d1400335cf4dd469312305d6cfb3eae427aba01beb0ac8

  • PROOF.md lines 164–188

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/PROOF.md

    62fd2844ecc3e84134d1400335cf4dd469312305d6cfb3eae427aba01beb0ac8

finding:marked-m4-channel-all-powers-homogeneous-gksl-excluded

Established in scope

Shared register hierarchy is homogeneously embeddable exactly for 2/9<=q<=1/4

In the question: Physical time and complete transfer

The entire specified finite shared-event family on the same registers; time-homogeneous GKLS generator in dimensionless step units. Source proof reviewed, without independent external peer review or fresh proof execution. Single-register continuation, enlarged environments, time-dependent dynamics and conformal/modular source time remain separate; no proof of fundamental discrete time or physical q selection.

Read the exact result, assumptions and evidence

Result

For the specified family Psi_N,q=sum_g w_g(q) Ad(u_g tensor N), 0<=q<=1/3, a consistent time-homogeneous GKLS continuation on the same registers exists iff 2/9<=q<=1/4. Necessity already follows on two registers using fixed sector projections, simple block spectra and conditional Choi positivity of the symmetric part of every possible generator; intermediate S3 covariance is not assumed. Explicit nonnegative rates construct the continuation for every N. q=0 is noninvertible; q=1/3 has a Choi-rank jump from five to six.

Required assumptions

  • Specified shared S3 register family and homogeneous GKLS time

    The specified six native words u_g act in each register by the same S3 representation; shared event weights w(q)=(1/2+q/6,q/6,q/6,1/18-q/6,2/9-q/6,2/9-q/6), 0<=q<=1/3. Seek a consistent time-homogeneous GKLS semigroup on the same finite registers with unit time step.

Original evidence

finding:shared-register-gkls-embedding-exact-q-interval

Established in scope

The same collar graph connects restricted state and time

In the question: Physical time and complete transfer

Conditional on charged CAR/Wick identification and the same graph covariance. No P1/P2 selection of physical statistics, normal length, marking or events. Existing quarter holonomy is retained; Clifford quarter-turn algebra is not a holonomy derivation.

Read the exact result, assumptions and evidence

Result

The second face of the supplied pure quasifree graph state has n=1−A=(1+exp(2ell B))⁻¹. Thus log((1−n)n⁻¹)=2ell B, without separately inserted occupations or a second time generator. This realizes the already known faithful KMS inverse through the full collar boundary relation.

Required assumptions

  • 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.

  • Charged quasifree state for the complete graph covariance

    Additionally identify the actual field algebra with charged CAR(H direct_sum H) and the state with the gauge-invariant quasifree state whose occupation covariance is G_ell. This is an extra physical premise, not a consequence of the geometric projection calculation.

Original evidence

  • PROOF.txt lines 96–143

    Source checked at this snapshot

    Original location and fingerprint

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

    9f4effed34316798c6a35e1ac0ec2832cd3720180f476cb8747bb32359b56e6a

finding:two-face-graph-state-time-same-datum

Established in scope

Complete collar graph reconstructs the signed operator

In the question: Physical time and complete transfer

Exact spectral calculus for a supplied full product collar and known normal length. Without ell only ell B; no independent derivation of the original P1 kernel.

Read the exact result, assumptions and evidence

Result

The actual product equation gives T=exp(−ell B) and G=[[A,C],[C,1−A]], A=(1+exp(−2ell B))⁻¹. B=log(A/(1−A))/(2ell) reconstructs signs, magnitudes and operator frame. For unbounded T, T is the closure of C A⁻¹; the raw composition is defined only on D(T²). The executable reader needs no supplied B and rejects sign-only projections.

Required assumptions

  • 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.

Original evidence

  • PROOF.txt lines 63–94

    Source checked at this snapshot

    Original location and fingerprint

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

    9f4effed34316798c6a35e1ac0ec2832cd3720180f476cb8747bb32359b56e6a

  • PROOF.txt lines 145–175

    Source checked at this snapshot

    Original location and fingerprint

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

    9f4effed34316798c6a35e1ac0ec2832cd3720180f476cb8747bb32359b56e6a

finding:full-two-face-collar-recovers-signed-operator

Conditional result

Full faithful KMS covariance or transfer reconstructs magnitudes

In the question: Physical time and complete transfer

Applies on a faithful finite KMS sector or the same gapped transfer sector; physical TFPT transfer remains unidentified.

Read the exact result, assumptions and evidence

Result

For known nonzero beta and faithful finite KMS covariance 0<C_beta<I, H=beta^-1 log((I-C_beta)C_beta^-1) is injectively determined. Alternatively, a full operator T=exp(-tau |H|), known tau, and [T,sgn H]=0 reconstruct the gapped H=sgn(H)(-log T)/tau. A population or eigenvalue list is insufficient; physical identification of TFPT transfer with this T must be shown separately.

Required assumptions

  • Known KMS scale or full transfer

    Positive dynamics reconstruction assumes either known nonzero beta and faithful finite covariance 0<C_beta<I, or the same full transfer operator T=exp(-tau |H|), known tau, and commutation with the sign; a spectrum alone or physical identification of the TFPT channel is insufficient.

Original evidence

  • README.md lines 55–106

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-state-dynamics-injectivity-20260918/README.md

    9b3d02af286051e4476b2bf079ae01abd97fe5634a10728521b09e8739c02e91

  • v258_dirac_covariance_induction.py lines 10–21

    Source checked at this snapshot

    Original location and fingerprint

    verification/v258_dirac_covariance_induction.py

    16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1

  • v258_dirac_covariance_induction.py lines 149–155

    Source checked at this snapshot

    Original location and fingerprint

    verification/v258_dirac_covariance_induction.py

    16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1

finding:full-faithful-kms-or-transfer-recovers-magnitudes

Scoped exclusion

Sign projector does not determine energy magnitudes

In the question: Physical time and complete transfer

Exact finite-dimensional counterexample for zero-temperature sign projection; refutes neither modular uniqueness for a fixed standard pair nor a complete TFPT source derivation.

Read the exact result, assumptions and evidence

Result

For C=(I+sgn H)/2, H_a=diag(1,a,-1,-a), a>0, gives the same fixed projector C and rho_0 but different positive energies. Thus [rho,C]=0⇒[rho,H]=0 is false without an extra premise. The counterexample concerns only inference from state/sign covariance to complete dynamics.

Required assumptions

  • Only sign covariance is given

    The conditional counterexample assumes C=(I+sgn H)/2 and [rho,C]=0, without knowing positive magnitude |H| or a complete transfer.

Original evidence

  • README.md lines 11–48

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-state-dynamics-injectivity-20260918/README.md

    9b3d02af286051e4476b2bf079ae01abd97fe5634a10728521b09e8739c02e91

finding:sign-projector-does-not-determine-time-magnitude

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.

Scoped exclusion

Reuse the sign-only dynamics obstruction

The fixed sign projector loses |H|; a=2 and a=3 yield the same rho_0 and C.

Consequence: Proceed only with complete transfer or faithful KMS covariance.

Reusable result

Reuse full-transfer/KMS reconstruction

Injectivity holds exactly under the named faithfulness and completeness conditions.

Consequence: Still supply physical identification of the TFPT channel.

Reusable result

Use complete two-face reconstruction

This inverse is analytically settled; do not repeat Hamiltonian search when complete G is supplied.

Consequence: For source selection supply the actual original graph kernel, fiber comparison and normal length; G generated from a guessed B is not a provenance derivation.

Reusable result

Reuse the existing GKLS q interval

The specified source proof is available and need not be searched for again as a missing derivation.

Consequence: A different starting equation or physical realization requires its own justification.

Scoped exclusion

Do not repeat homogeneous GKSL time search for the fixed M4 channel

The all-branch proof also excludes every positive integer power.

Consequence: Time-dependent execution or a larger justified source is a different comparison class, not a repair of the same homogeneous M4 generator.

What is resolved, and what remains

Resolved in scope

Reuse the sign-projector counterexample

For sign-only questions, account for the lost |H| channel.

Resolved in scope

Reuse conditional full-transfer reconstruction

With full T or faithful KMS covariance, energy magnitudes are uniquely reconstructible.

Open task

Identify the physical complete TFPT transfer

The original source identifies the same complete transfer operator with scale, sign, domain, and state.

Next investigation: Retain both finite endpoint traces, fiber comparison and normal length from the original source. Evaluate the full graph with the existing inverse reader. Do not identify the geometric deck lift with 2P_C−I. Establish CAR state identification and actual marking action from the same source; do not count a matrix generated from guessed B as a P1 derivation.

Builds on: Reuse the sign-projector counterexample; Reuse conditional full-transfer reconstruction; Reuse complete collar reconstruction

Resolved in scope

Reuse complete collar reconstruction

The actual full graph relation determines the same signed operator with correct domains.

Builds on: Reuse conditional full-transfer reconstruction

Resolved in scope

Classify homogeneous GKLS embedding of the shared register family

The precise mathematical statement and premises have been reviewed in the original sources.

Resolved in scope

Decide every homogeneous GKSL logarithm of the fixed M4 channel

The precise mathematical statement and premises have been reviewed in the original sources.

Connections to other questions

shares unresolved input

Historical: common source, state and event selection

The sign projector loses |H|; unique dynamics returns only with faithful KMS covariance or the same complete transfer T. This ties the time question to the open joint selection of tau_t, state, and operator in the target problem.

shares unresolved input

Historical: common source, state and event selection

Joint reconstruction replaces independent time/state fitting by selection of one full original graph kernel plus physical field identification. Marking needs its local algebra; inversion does not settle source selection.

Original historical attempts linked to this question

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

seam full collar reconstruction 20261015

Which original seam information determines one common field, state and time action without confusing geometric reflection with boundary polarization?

Recorded verdict: EXACT_CONDITIONAL_RECONSTRUCTION_WITH_SOURCE_CORRECTION

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–65

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/contract_index.json

    5e7a6db049fcaa861eb31f5346f22b26c959e3307668c54043ceb62aa9778802

  • 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

  • README.md lines 1–104

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/README.md

    2511816f728e878bf04a4e635d0a477b4c1b685c7a80d9afd763cf876c0431b1

  • checker.py lines 1–370

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/checker.py

    fa635ab362138a2448424b58b3e63460d1221b8080dfe0b531ebb540c1d5e91c

  • atlas_snapshot.json lines 1–1032

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/atlas_snapshot.json

    3a836de043938acec04e9b8514ed36491bbb32aaf5701fa755f324820e589fde

  • input-example.json lines 1–17

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/input-example.json

    44c2d483a16bf28fe889c2cf2de3d6e15714eb6104838f42b65a00400ed512d1

  • lean-receipt.json lines 1–69

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/lean-receipt.json

    e85427c76d6fd78765b822649ad1f26b45c1319eedc632648464037950a8f292

  • results.json lines 1–1206

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/results.json

    64093dbc6d1c59591caf18f5f3725b6f4d54383be5e55ab7c7db511f1d616407

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam state dynamics injectivity 20260918

Does [rho,C]=0 imply [rho,H]=0 for C=(I+sgn(H))/2, and does the state determine the positive magnitudes of H?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–27

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-state-dynamics-injectivity-20260918/contract_index.json

    35966a130f0bbd8bc7bb3bf34dd884cf22d73b4e5aece5984fcd447b3aa72a65

  • validation.json lines 1–333

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-state-dynamics-injectivity-20260918/validation.json

    9f53d4b3f366d04795e3b76c32510105867fa997c4bca0ccb1382cac0d36b54f

  • README.md lines 1–130

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-state-dynamics-injectivity-20260918/README.md

    9b3d02af286051e4476b2bf079ae01abd97fe5634a10728521b09e8739c02e91

  • checker.py lines 1–215

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-state-dynamics-injectivity-20260918/checker.py

    053ff5d74f01d55eda1c7622b97245e500d093749d65f7cf81b368be3ee9f260

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

source continuous marked time search 20260922

Can any homogeneous Lindblad logarithm realize the supplied full marked source channel, and which continuous source-operator completions preserve the actual marked transfer words?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–50

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/contract_index.json

    132a42570689ba5eff3f447b2fc77547aa12a496a81bf7b38c44c7c574f641c8

  • validation.json lines 1–16

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/validation.json

    c49cb2fdbaef0a7424cc7c62ccc1657f1a296502493dfe6094234897df334057

  • PROOF.md lines 1–361

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/PROOF.md

    62fd2844ecc3e84134d1400335cf4dd469312305d6cfb3eae427aba01beb0ac8

  • README.md lines 1–31

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/README.md

    c2e6e9c6fb8a422aa27a63f3e5f14b9aa0d430b33a567cfa9baeffb6513c131e

  • checker.py lines 1–186

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/checker.py

    d69eaf164da7d39d8846b30a9008d6fb361f6efd7885571bbbd4f385f2670883

  • certificate_optimized.json lines 1–330

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/certificate_optimized.json

    678900d56f4625b83cd03b733b84d5a3f641e0ccfdfc5da7738159da6e3cbfa6

  • certificate.json lines 1–330

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/certificate.json

    678900d56f4625b83cd03b733b84d5a3f641e0ccfdfc5da7738159da6e3cbfa6

  • source_pins.json lines 1–32

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/source_pins.json

    5baed636b8349ee194cbbc13993ef4ae23dabd3b0b291d5f5ffb660ddedbea43

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

source current operator time 20260921

UR.SOURCE.OPERATOR_TIME.01: Do the affine E8 current Ward/OPE data determine the RR/W Hamiltonian jets, and do the direct affine-grade-time or global linear RR-field identifications hold?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–51

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-current-operator-time-20260921/contract_index.json

    f974c4fec5d0682e2cdef3a1c6ac7636a6b0d749efca9273a4b57014dd6e9595

  • README.md lines 1–7

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-current-operator-time-20260921/README.md

    ba81a202c221036c08b6fa5a9c51fb69492e34dddbc7769b0a99580a739f5e3e

  • source_adapter_minimal_check.py lines 1–125

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-current-operator-time-20260921/source_adapter_minimal_check.py

    fce2c2d773e2ea969a39355a626570d0e3d625a96180e040217c43a08737c338

  • source_adapter_minimal_check.json lines 1–22

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-current-operator-time-20260921/source_adapter_minimal_check.json

    7ee54c4c1c43272e32f22c7c987a0cac59ff1496f82646e91dd110cf658ff864

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5