[QMC Challenge] No Negative Vibes — final enriched submission - #281

Open

xianzhipan wants to merge 311 commits into

QuantumBFS:mainfrom

xianzhipan:codex/final-submission-enrichment

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 28, 2026

fix: use exact Klein numeric conversion
ZiboJin
committed
cc2b789
test: specify shared Klein numeric matrix
ZiboJin
committed
678e4dc
perf: share Klein numeric matrix across tasks
ZiboJin
committed
2d29f3a
fix: harden shared Klein matrix initialization
ZiboJin
committed
8ba8d91
docs: harden R01 experiment evidence gates
ZiboJin
committed
24c80c4
test: specify R01 compact fixture replay
ZiboJin
committed
a9cf539
research: add exact R01 number-conserving fixture
ZiboJin
committed
30e60c8
research: record six-mode number-conserving Klein result
ZiboJin
committed
d4b8077
docs: harden R01 BdG evidence protocol
ZiboJin
committed
d42786a
test: specify R01 fixture schema v2
ZiboJin
committed
fe301b5
research: add exact R01 BdG fixture
ZiboJin
committed
6686cb2
docs: record exact R01 BdG no-go
ZiboJin
committed
8ad4553
docs: record distributed R01 replay
ZiboJin
committed
a48c525
test: require raw-backed R01 evidence gate
ZiboJin
committed
1fc9342
test: close R01 evidence provenance gaps
ZiboJin
committed
b049bed
test: bind R01 fixture to raw evidence
ZiboJin
committed
dd44e09
fix: validate R01 fixture against raw evidence
ZiboJin
committed
408266c

Commits on Jul 29, 2026

docs: amend Task 9 for the exact no-go branch
ZiboJin
committed
6a608c1
test: specify exact R01 no-go classification
ZiboJin
committed
f5aa9df
docs: design exterior cone discovery loop
ZiboJin
committed
00d8ca8
docs: plan exterior cone throughput loop
ZiboJin
committed
92e3677
test: specify exterior cone certificates
ZiboJin
committed
4eaceb5
feat: add exterior cone certificate search
ZiboJin
committed
01f98dc
test: harden exterior cone certificate contract
ZiboJin
committed
d5b5fa6
docs: amend exterior loop for exact-first search
ZiboJin
committed
86cbb90
fix: keep exterior cone certificates replayable
ZiboJin
committed
ea616ea
test: specify exact exterior candidate cards
ZiboJin
committed
16f3f36
docs: pivot sign-free search to overlap-first cones
xianzhipan
committed
1d788b4
docs: record exterior oracle review loop
ZiboJin
committed
c3ed9d1
feat: add exact occupation-basis quadratic algebra

ZiboJin
authored and
xianzhipan
committed
0f32d93
feat: encode exact Klein-Hodge Fock transform

ZiboJin
authored and
xianzhipan
committed
7e24bad
feat: add exact exterior candidate grammars
ZiboJin
committed
3cfa6ee
test: specify thin exterior first scan
ZiboJin
committed
c73b8c9
test: align injected atoms with candidate dimension
ZiboJin
committed
c7f373b
feat: add thin exterior survivor scan
ZiboJin
committed
d0e2950
test: require unique canonical exterior candidates
ZiboJin
committed
f46f7d7
research: add six-mode Fock CP screen
xianzhipan
committed
5f92b1d
fix: make exterior candidate payloads canonical
ZiboJin
committed
0168adc
research: close depth-two Klein Fock CP screen
xianzhipan
committed
cb04e61
test: require launch-safe exterior scan
ZiboJin
committed
bba01fb
research: build tensor-square plaquette oracle
xianzhipan
committed
37f69a3
fix: make exterior scan launch safe
ZiboJin
committed
b90a506
research: close tensor-square physical mapping
xianzhipan
committed
b5945e3
plan: freeze survivor pressure stage
ZiboJin
committed
3ee4451
research: add edge-gauge cocycle oracle
xianzhipan
committed
b4d50af
research: close affine edge-gauge cocycle
xianzhipan
committed
bba0f79
test: specify survivor pressure protocol
ZiboJin
committed
eda8002
feat: add survivor pressure protocol
ZiboJin
committed
d5a709e
test: correct pressure fixtures
ZiboJin
committed
a54df88
test: lock survivor pressure lineage
ZiboJin
committed
f588ce4
fix: enforce survivor pressure lineage
ZiboJin
committed
36c79f5
fix: bind smoke specs to smoke protocol
ZiboJin
committed
e4572c3
test: lock reproduced parent hash evidence
ZiboJin
committed
9bb9806
fix: validate reproduced survivor lineage
ZiboJin
committed
c4919c4
docs: record survivor pressure production
ZiboJin
committed
fe3b155
feat: replay pressure uncertainties at high precision
ZiboJin
committed
216e1bb
feat: add depth-12 survivor scan
ZiboJin
committed
30f6df9
docs: record exact replay and depth-12 scan
ZiboJin
committed
dcdf26b
feat: continue exact-fallback survivors to depth eight
ZiboJin
committed
859347d
docs: open unconventional model discovery
xianzhipan
committed
42a5e53
feat: replay depth-twelve uncertainties exactly
ZiboJin
committed
070cca4
feat: continue exterior survivors to depth 16
ZiboJin
committed
77acaf2
feat: pressure-test exact depth-eight survivors
ZiboJin
committed
8f4a388
feat: complete high-precision depth-twelve tranche
ZiboJin
committed
bb99ca5
feat(qmc): replay depth16 uncertain failures
ZiboJin
committed
5de0ee5
docs(qmc): record deep exterior pressure results
ZiboJin
committed
e02bf96
test(qmc): specify depth16 structural ranking
ZiboJin
committed
59c9459
feat(qmc): invert exterior cards to Hermitian HS models
ZiboJin
committed
78bc511
feat(qmc): rank depth16 survivors structurally
ZiboJin
committed
427c52d
feat(qmc): search exact5 shared exterior cones
ZiboJin
committed
8ac2cfe
docs(qmc): record structural and inverse-H advances
ZiboJin
committed
da7a2ec
feat(qmc): continue depth16 HP survivors exactly
ZiboJin
committed
74d9c82
feat(qmc): search redundant exact5 invariant cones
ZiboJin
committed
e786783
fix(qmc): normalize tiny cone rays before replay
ZiboJin
committed
f47ef2e
docs(qmc): record exact continuations and cone audit
ZiboJin
committed
d272e81
audit(qmc): scope seed61 redundant cone certificate
ZiboJin
committed
c375720
test(qmc): specify continuation structural ranking
ZiboJin
committed
d8dc6f4
feat(qmc): rank depth12 continuations structurally
ZiboJin
committed
a06a1c5
docs(qmc): record exact depth12 continuations
ZiboJin
committed
567f0b8
feat(qmc): audit seed61 positive realization
ZiboJin
committed
40ad5c4
test(qmc): accept earliest cancellation witness
ZiboJin
committed
82bdf48
feat(qmc): search trace-compatible full-Fock cones
ZiboJin
committed
3f018b2
docs(qmc): record structural early stops
ZiboJin
committed
35ada6f
docs(qmc): record structural early stops
ZiboJin
committed
71a8593
docs: audit affine A4 Fock positivity route
ZiboJin
committed
860603a
perf(qmc): sum exact Fock grade traces
ZiboJin
committed
bee8a1d
perf(qmc): defer exact full-Fock rank gate
ZiboJin
committed
72460db
fix(qmc): serialize full-Fock coupling count
ZiboJin
committed
0fe5020
chore(qmc): report full-Fock search terminal reason
ZiboJin
committed
83e7b36
docs(qmc): record full-Fock route triage
ZiboJin
committed
8be4a36
merge: retain published research history
ZiboJin
committed
106fc7e
research: build unconventional model factory
xianzhipan
committed
d9bdb74
docs(qmc): audit seed61 Hodge spinor cone
ZiboJin
committed
083751f
docs(qmc): record Hodge and oddcycle triage
ZiboJin
committed
51d733e
feat(qmc): generalize exact-gated cone search
ZiboJin
committed
0eac2ad
docs(qmc): stop deep oddcycle simplicial restarts
ZiboJin
committed
8033fc8
feat: certify seed61 stable spectral tail
ZiboJin
committed
c915a68
docs(qmc): retire oddcycle sector cones
ZiboJin
committed
9c86bfa
research: resolve three unconventional candidates
xianzhipan
committed
26b0d98
prove seed61 top-pair product tail
ZiboJin
committed
bf2aeef
fix(qmc): freeze exact seed61 counterexample
ZiboJin
committed
c98b913
feat(qmc): verify seed61 short words exactly
ZiboJin
committed
38e04a5
docs(qmc): retire seed61 by exact counterexample
ZiboJin
committed
b660bb7
feat(qmc): target exact short-word scans
ZiboJin
committed
ffa609d
feat(qmc): add exact-gated longword adversary
ZiboJin
committed
4daabad
docs(qmc): finalize depth16 HP continuation
ZiboJin
committed
c9c138c
docs(qmc): certify oddcycle seeds through depth23
ZiboJin
committed
3de7b61
docs(qmc): record longword oddcycle survivors
ZiboJin
committed
a0ab66e
fix(qmc): rerank longword adversaries at high precision
ZiboJin
committed
2ae03be
docs: add complete project master summary
xianzhipan
committed
f251ddc
fix(qmc): serialize unbounded exact weights
ZiboJin
committed
10bfc6a
Merge remote-tracking branch 'shared/research/no-negative-vibes' into work/xianzhi/bottom-up-positive-cones
xianzhipan
committed
f4512c9
docs(qmc): record exact depth27 continuation
ZiboJin
committed
7da964d
docs: integrate collaborator research status
xianzhipan
committed
349d8b3
docs: refresh collaborator branch audit
xianzhipan
committed
34f4da1
docs(qmc): validate high precision longword grid
ZiboJin
committed
2f0f20d
feat(qmc): freeze symmetric oddcycle cone lemmas
ZiboJin
committed
b4e2185
docs(qmc): record symmetric oddcycle cone branch
ZiboJin
committed
ae95737
docs(qmc): close deep longword campaign
ZiboJin
committed
99b09b9
feat(qmc): scan fixed symmetric oddcycle exactly
ZiboJin
committed
23bbe4a
test(qmc): freeze oddcycle chamber counterexample
ZiboJin
committed
f4188a7
test(qmc): audit symmetric oddcycle complement
ZiboJin
committed
841ff6b
test(qmc): freeze fixed invariant chamber obstruction
ZiboJin
committed
9583e91
test(qmc): certify unit-winding Bernstein margins
ZiboJin
committed
dd11495
test(qmc): freeze endpoint semigroup counterexample
ZiboJin
committed
8f5a823
test(qmc): freeze odd-sector split obstruction
ZiboJin
committed
ca40bb6
test(qmc): stop invalid complement cone splits
ZiboJin
committed
0538421
docs(qmc): record fixed depth27 and split obstructions
ZiboJin
committed
192142f
feat(qmc): search fixed full Fock cone exactly
ZiboJin
committed
9ca0c3d
feat(qmc): certify pure and reflection-square words
ZiboJin
committed
0aa0e3c
docs(qmc): record infinite subclasses and full Fock search
ZiboJin
committed
14e8c81
feat(qmc): precondition fixed full Fock cone
ZiboJin
committed
974cab6
feat(qmc): warm-start grade24 full Fock cone
ZiboJin
committed
cd4d57c
feat(qmc): certify fixed oddcycle words at all lengths
ZiboJin
committed
84d757e
ts-phase:_validate_determinant_identity
ZiboJin
committed
9f1a13a
docs(qmc): record arbitrary-word theorem
ZiboJin
committed
ed8407c
docs(qmc): hash warm full Fock archive
ZiboJin
committed
b482419
ts-phase:add-m3-m4-ED-pilot
ZiboJin
committed
08a9c42
feat(qmc): certify oddcycle interval alphabet
ZiboJin
committed
a39f59d
docs(qmc): record continuum alphabet theorem
ZiboJin
committed
2a1348b
docs(qmc): audit oddcycle novelty reductions
ZiboJin
committed
bb44271
feat(qmc): realize oddcycle theorem as physical transfer
ZiboJin
committed
b54837c
docs(qmc): record physical transfer realization
ZiboJin
committed
ef73bb6
docs(qmc): audit oddcycle challenge completion
ZiboJin
committed
f561d9a
feat(qmc): add fast oddcycle discovery screen
ZiboJin
committed
4a96fc8
ts-phase:add-stabilized-DQMC-validation
ZiboJin
committed
efb2e18
feat(qmc): batch oddcycle discovery domains
ZiboJin
committed
264650e
feat(qmc): add full oddcycle metric filter
ZiboJin
committed
5986da2
feat(qmc): scan oddcycle joint-metric frontier
ZiboJin
committed
05317cc
ts-phase:add-dual-machine-coarse-map
ZiboJin
committed
5e8cefb
feat(qmc): bound multi-point oddcycle exteriors
ZiboJin
committed
01b3bcd
feat(qmc): stress joint oddcycle words exactly
ZiboJin
committed
00cf304
ts-phase:harden-scan-provenance-audits
ZiboJin
committed
37ae584
feat(qmc): certify exterior block contractions
ZiboJin
committed
c162487
ts-phase:tune-density-audit-tolerance
ZiboJin
committed
b4459ae
feat(qmc): profile coupled oddcycle tails
ZiboJin
committed
838f428
feat(qmc): certify oddcycle common-R contraction
ZiboJin
committed
2e46b67
docs: preregister next positivity search
xianzhipan
committed
de6c01e
docs: tighten typed positivity specification
xianzhipan
committed
597e91b
ts-phase:finalize-clean-coarse-map
ZiboJin
committed
95af6e0
ts-phase:fix-coarse-figure-path
ZiboJin
committed
d28931c
feat(qmc): exclude a common metric exactly
ZiboJin
committed
9b91d19
feat(qmc): realize the oddcycle pair physically
ZiboJin
committed
120d907
ts-phase:correct-ridge-significance-range
ZiboJin
committed
3322167
feat(qmc): reduce the oddcycle coupled tail exactly
ZiboJin
committed
db97a23
feat(qmc): certify finite-state oddcycle positivity
ZiboJin
committed
cf2867c
feat(qmc): close oddcycle novelty and physical gates
ZiboJin
committed
26c03ba
feat(qmc): preregister adaptive stage4 scan
ZiboJin
committed
4b7a0bb
docs(qmc): package the oddcycle publication result
ZiboJin
committed
d5646cd
fix(qmc): enforce stage4 production audits
ZiboJin
committed
8037e4a
fix(qmc): authenticate stage4 budget release
ZiboJin
committed
bd0bcb0
docs(qmc): delimit oddcycle prior-art boundary
ZiboJin
committed
6cf0bf2
docs(qmc): record stage4 production gate
ZiboJin
committed
84fc08b
docs(qmc): record oddcycle publication replay lessons
ZiboJin
committed
38e1888
feat(qmc): add resumable oddcycle pair frontier scan
ZiboJin
committed
b08ea2a
fix(qmc): harden oddcycle pair scan gates
ZiboJin
committed
0fbfee1
feat(qmc): audit stage4 production ranking
ZiboJin
committed
3a3fce2
feat(qmc): release audited m10 sentinel
ZiboJin
committed
dc87c6c
feat(qmc): add non-induced exterior frontier scan
ZiboJin
committed
d771273
fix(qmc): harden exterior scan replay and stress gates
ZiboJin
committed
8969305
results(qmc): record stage4 statistical stop
ZiboJin
committed
b1c2b88
docs(qmc): record stage4 branch push
ZiboJin
committed
b5cdfca
docs(qmc): record remote frontier scan results
ZiboJin
committed
f98b01c
fix(qmc): make frontier scan retries identity-safe
ZiboJin
committed
d2026fd
feat(qmc): audit temporal block sampler
ZiboJin
committed
852a83a
results(qmc): stop temporal block sampler
ZiboJin
committed
7539e24
docs(qmc): record exact dual frontier promotions
ZiboJin
committed
823aedb
feat(qmc): validate channel reflection sampler
ZiboJin
committed
db0d114
docs(qmc): promote robust exact oddcycle candidate
ZiboJin
committed
29a54f3
results(qmc): stop channel reflection sampler
ZiboJin
committed
ebd0883
docs(qmc): checkpoint remote search round
ZiboJin
committed
5330d6a
docs(qmc): close channel reflection round
ZiboJin
committed
2472faa
docs(qmc): record closeout delivery
ZiboJin
committed
3ee7905

Commits on Jul 30, 2026

feat(qmc): freeze robust oddcycle certificate
ZiboJin
committed
0527038
docs(qmc): checkpoint robust certificate packaging
ZiboJin
committed
e3aafd8
docs(qmc): design full Majorana Wei audit
ZiboJin
committed
3ac8509
docs(qmc): fix Nambu lift convention
ZiboJin
committed
4f60575
docs(qmc): checkpoint Majorana Wei audit
ZiboJin
committed
f2b7fc2
feat(qmc): certify oddcycle outside Wei contraction class
ZiboJin
committed
bf43005
feat(qmc): add Majorana Wei publication gate
ZiboJin
committed
b875afd
docs(qmc): prove Majorana Wei novelty boundary
ZiboJin
committed
2c94654
fix(qmc): tolerate cold Git provenance replay
ZiboJin
committed
6aba2a6
docs(qmc): archive Majorana Wei exact replay
ZiboJin
committed
bf8f326
docs(qmc): record Majorana Wei remote checkpoint
ZiboJin
committed
d69a0d3
docs(qmc): design same-alphabet local H search
ZiboJin
committed
32e1b49
docs(qmc): plan local HS first batch
ZiboJin
committed
35c7384
test(qmc): specify oddcycle word operator compiler
ZiboJin
committed
bf441e2
feat(qmc): compile oddcycle word operators exactly
ZiboJin
committed
58961af
test(qmc): specify same-alphabet word dictionary
ZiboJin
committed
0088fa5
feat(qmc): enumerate same-alphabet word-pair rays
ZiboJin
committed
985a55c
test(qmc): specify oddcycle local-H cone scan
ZiboJin
committed
19b7b6c
feat(qmc): scan positive oddcycle local-H cones
ZiboJin
committed
079f680
test(qmc): specify exact local-H promotion
ZiboJin
committed
c2f9816
feat(qmc): promote local-H cone survivors exactly
ZiboJin
committed
4be7a76
fix(qmc): distinguish exact local-H promotion outcomes
ZiboJin
committed
7a4ab59
test(qmc): specify named local H target scan
ZiboJin
committed
aa6a5e6
feat(qmc): scan named local H targets in word cone
ZiboJin
committed
e5322e6
test(qmc): specify transfer Hamiltonian portfolio
ZiboJin
committed
eefeb1f
feat(qmc): rank same-alphabet transfer Hamiltonians
ZiboJin
committed
cc82c85
test(qmc): specify honest inconclusive portfolio records
ZiboJin
committed
d0e67d8
fix(qmc): preserve honest inconclusive portfolio records
ZiboJin
committed
70a431f
test(qmc): specify resumable local-H batch runner
ZiboJin
committed
34fe44e
feat(qmc): freeze resumable local-H first batch
ZiboJin
committed
7d792fc
test(qmc): specify durable runner failure semantics
ZiboJin
committed
73cf75c
fix(qmc): harden resumable runner failure semantics
ZiboJin
committed
bebab46
docs(qmc): checkpoint oddcycle local-H first batch
ZiboJin
committed
f7da2e3
docs(qmc): freeze Survivor A Hamiltonian search
ZiboJin
committed
a6a0110
docs(qmc): freeze Survivor A search plan
ZiboJin
committed
511a25b
docs(qmc): start positive Hamiltonian reappraisal
xianzhipan
committed
e16b49e
research(qmc): close odd block TN via stoquastic gauge
xianzhipan
committed
cd89325
feat(qmc): reconstruct frozen Survivor A exactly
ZiboJin
committed
95fb640
research(qmc): resolve revived monomial and semigroup routes
xianzhipan
committed
03aca59
research(qmc): revive local orthogonal contraction model
xianzhipan
committed
06bd75c
research(qmc): exclude simple solvers for orthogonal model
xianzhipan
committed
6871920
research-qmc-audit-orthogonal-model-Majorana-square
xianzhipan
committed
b3943da
docs(qmc): checkpoint Hamiltonian portfolio launch
ZiboJin
committed
2f120b0
docs(qmc): record portfolio resume checkpoint
ZiboJin
committed
a493ebf
test(qmc): specify Survivor A precision audit
ZiboJin
committed
7c395bf
docs(qmc): snapshot running Hamiltonian portfolios
ZiboJin
committed
37fc3ac
Merge remote-tracking branch 'teammate/codex/positive-hamiltonian-reappraisal' into work/zibo/representation-cones
ZiboJin
committed
15a4aab
research-qmc-promote-orthogonal-QNC-candidate
xianzhipan
committed
57bc6c7
Merge remote-tracking branch 'pr-fork/tensor-square-phase-diagram' into work/zibo/representation-cones
ZiboJin
committed
4531a86
docs(qmc): package complete challenge submission
ZiboJin
committed
a01ef99
Merge remote-tracking branch 'shared/codex/positive-hamiltonian-reappraisal' into work/zibo/representation-cones
ZiboJin
committed
f4781bf
research-qmc-promote-orthogonal-QNC-candidate
xianzhipan
committed
21b8538
docs(qmc): report orthogonal QNC promotion
ZiboJin
committed
020f894
docs(qmc): align submission ledger status
ZiboJin
committed
4d0b96d
docs(qmc): enrich final challenge submission
xianzhipan
committed
35f0a10
docs(qmc): distinguish final oddcycle result
ZiboJin
committed
bf46110
merge: reconcile final organizer submission
xianzhipan
committed
28aa5a3