hequ.ai/ discovery
The Ledger

219 recorded hypotheses.

Append-only JSONL with SHA-256 hash chain. Nothing deleted; rejections preserved with rejection criterion. This is the single source of truth for what the engine has ever tried.

#
A
B
kind
outcome
rev
0001
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
structural_rename
PROVED
0002
EQ-NEWTON-II
EQ-OHM
structural_rename
PROVED
0003
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0004
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0005
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0006
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0007
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0008
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0009
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0010
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0011
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0012
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0013
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0014
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0015
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0016
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0017
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0018
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0019
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
CONJECTURAL
0020
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0021
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0022
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0023
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0024
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0025
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0026
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0027
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
CONJECTURAL
0028
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
REJECTED
0029
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
REJECTED
0030
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
REJECTED
0031
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0032
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0033
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0034
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0035
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
CONJECTURAL
0036
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
REJECTED
0037
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
REJECTED
0038
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
REJECTED
0039
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0040
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0041
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0042
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0043
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
structural_rename
PROVED
0044
EQ-FICK-DIFFUSION
EQ-HOOKE
structural_rename
REJECTED
0045
EQ-FOURIER-HEAT
EQ-HOOKE
structural_rename
REJECTED
0046
EQ-NEWTON-II
EQ-OHM
structural_rename
PROVED
0047
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0048
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0049
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0050
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0051
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0052
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0053
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0054
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0055
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0056
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0057
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0058
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0059
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0060
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0061
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0062
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0063
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
CONJECTURAL
0064
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0065
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0066
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0067
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0068
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0069
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0070
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0071
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
CONJECTURAL
0072
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
REJECTED
0073
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
REJECTED
0074
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
REJECTED
0075
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0076
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0077
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0078
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0079
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
CONJECTURAL
0080
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
REJECTED
0081
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
REJECTED
0082
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
REJECTED
0083
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0084
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0085
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0086
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0087
EQ-HOOKE
EQ-NEWTON-II
tier1_coupling
PROVED
0088
EQ-NEWTON-II
EQ-WORK-ENERGY
tier1_coupling
EMPIRICAL
0089
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
tier2_coupling
EMPIRICAL
0090
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
tier2_coupling
EMPIRICAL
0091
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
tier2_coupling
EMPIRICAL
0092
EQ-FICK-DIFFUSION
EQ-HOOKE
tier2_coupling
CONJECTURAL
rev
0093
EQ-FICK-DIFFUSION
EQ-HOOKE
tier2_coupling
REJECTED
0094
EQ-FICK-DIFFUSION
EQ-HOOKE
tier2_coupling
CONJECTURAL
rev
0095
EQ-FOURIER-HEAT
EQ-HOOKE
tier2_coupling
CONJECTURAL
rev
0096
EQ-FOURIER-HEAT
EQ-HOOKE
tier2_coupling
CONJECTURAL
rev
0097
EQ-FOURIER-HEAT
EQ-HOOKE
tier2_coupling
REJECTED
0098
EQ-NEWTON-II
EQ-OHM
tier2_coupling
EMPIRICAL
0099
EQ-NEWTON-II
EQ-OHM
tier2_coupling
CONJECTURAL
rev
0100
EQ-NEWTON-II
EQ-OHM
tier2_coupling
CONJECTURAL
rev
0101
EQ-NEWTON-II
EQ-WORK-ENERGY
coupling_reviewed
CONJECTURAL
rev
0102
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
PROVED
0103
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
PROVED
0104
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
PROVED
0105
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
CONJECTURAL
rev
0106
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
REJECTED
0107
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
CONJECTURAL
rev
0108
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
CONJECTURAL
rev
0109
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
CONJECTURAL
rev
0110
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
REJECTED
0111
EQ-NEWTON-II
EQ-OHM
coupling_reviewed
PROVED
0112
EQ-NEWTON-II
EQ-OHM
coupling_reviewed
CONJECTURAL
rev
0113
EQ-NEWTON-II
EQ-OHM
coupling_reviewed
CONJECTURAL
rev
0114
EQ-NEWTON-II
EQ-WORK-ENERGY
coupling_reviewed
REJECTED
0115
EQ-NEWTON-II
EQ-WORK-ENERGY
coupling_reviewed
PROVED
0116
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
REJECTED
0117
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
REJECTED
0118
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
REJECTED
0119
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
REJECTED
0120
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
REJECTED
0121
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
REJECTED
0122
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
REJECTED
0123
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
REJECTED
0124
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
REJECTED
0125
EQ-NEWTON-II
EQ-OHM
coupling_reviewed
REJECTED
0126
EQ-NEWTON-II
EQ-OHM
coupling_reviewed
REJECTED
0127
EQ-NEWTON-II
EQ-OHM
coupling_reviewed
REJECTED
0128
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
structural_rename
PROVED
0129
EQ-FICK-DIFFUSION
EQ-HOOKE
structural_rename
REJECTED
0130
EQ-FOURIER-HEAT
EQ-HOOKE
structural_rename
REJECTED
0131
EQ-NEWTON-II
EQ-OHM
structural_rename
PROVED
0132
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0133
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0134
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0135
EQ-BLACK-SCHOLES
EQ-FICK-DIFFUSION
change_of_variables
REJECTED
0136
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0137
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0138
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0139
EQ-BLACK-SCHOLES
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0140
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0141
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0142
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0143
EQ-BLACK-SCHOLES
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0144
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0145
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0146
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0147
EQ-BLACK-SCHOLES
EQ-SCHRODINGER
change_of_variables
REJECTED
0148
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
CONJECTURAL
0149
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0150
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0151
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
change_of_variables
REJECTED
0152
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0153
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0154
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0155
EQ-FICK-DIFFUSION
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0156
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
CONJECTURAL
0157
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
REJECTED
0158
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
REJECTED
0159
EQ-FICK-DIFFUSION
EQ-SCHRODINGER
change_of_variables
REJECTED
0160
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0161
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0162
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0163
EQ-FOURIER-HEAT
EQ-NAVIER-STOKES
change_of_variables
REJECTED
0164
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
CONJECTURAL
0165
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
REJECTED
0166
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
REJECTED
0167
EQ-FOURIER-HEAT
EQ-SCHRODINGER
change_of_variables
REJECTED
0168
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0169
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0170
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0171
EQ-NAVIER-STOKES
EQ-SCHRODINGER
change_of_variables
REJECTED
0172
EQ-HOOKE
EQ-NEWTON-II
tier1_coupling
PROVED
0173
EQ-NEWTON-II
EQ-WORK-ENERGY
tier1_coupling
EMPIRICAL
0174
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
tier2_coupling
EMPIRICAL
0175
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
tier2_coupling
EMPIRICAL
0176
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
tier2_coupling
EMPIRICAL
0177
EQ-FICK-DIFFUSION
EQ-HOOKE
tier2_coupling
CONJECTURAL
rev
0178
EQ-FICK-DIFFUSION
EQ-HOOKE
tier2_coupling
REJECTED
0179
EQ-FICK-DIFFUSION
EQ-HOOKE
tier2_coupling
CONJECTURAL
rev
0180
EQ-FOURIER-HEAT
EQ-HOOKE
tier2_coupling
CONJECTURAL
rev
0181
EQ-FOURIER-HEAT
EQ-HOOKE
tier2_coupling
CONJECTURAL
rev
0182
EQ-FOURIER-HEAT
EQ-HOOKE
tier2_coupling
REJECTED
0183
EQ-NEWTON-II
EQ-OHM
tier2_coupling
EMPIRICAL
0184
EQ-NEWTON-II
EQ-OHM
tier2_coupling
EMPIRICAL
0185
EQ-NEWTON-II
EQ-OHM
tier2_coupling
CONJECTURAL
rev
0186
EQ-NEWTON-II
EQ-WORK-ENERGY
coupling_reviewed
PROVED
0187
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
REJECTED
0188
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
REJECTED
0189
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
REJECTED
0190
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
REJECTED
0191
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
REJECTED
0192
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
REJECTED
0193
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
REJECTED
0194
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
REJECTED
0195
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
REJECTED
0196
EQ-NEWTON-II
EQ-OHM
coupling_reviewed
REJECTED
0197
EQ-NEWTON-II
EQ-WORK-ENERGY
coupling_reviewed
PROVED
0198
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
REJECTED
0199
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
REJECTED
0200
EQ-FICK-DIFFUSION
EQ-FOURIER-HEAT
coupling_reviewed
REJECTED
0201
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
REJECTED
0202
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
REJECTED
0203
EQ-FICK-DIFFUSION
EQ-HOOKE
coupling_reviewed
REJECTED
0204
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
REJECTED
0205
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
REJECTED
0206
EQ-FOURIER-HEAT
EQ-HOOKE
coupling_reviewed
REJECTED
0207
EQ-NEWTON-II
EQ-OHM
coupling_reviewed
REJECTED
0208
EQ-NEWTON-II
EQ-OHM
coupling_reviewed
REJECTED
0209
EQ-NEWTON-II
EQ-OHM
coupling_reviewed
REJECTED
0210
EQ-NEWTON-II
(canonical problem)
canonical_problem_verification
REJECTED
0211
EQ-NEWTON-II
(canonical problem)
canonical_problem_verification
EMPIRICAL
0212
EQ-HOOKE
(canonical problem)
canonical_problem_verification
EMPIRICAL
0213
EQ-FOURIER-HEAT
(canonical problem)
canonical_problem_verification
EMPIRICAL
0214
EQ-FICK-DIFFUSION
(canonical problem)
canonical_problem_verification
EMPIRICAL
0215
EQ-OHM
(canonical problem)
canonical_problem_verification
EMPIRICAL
0216
EQ-WORK-ENERGY
(canonical problem)
canonical_problem_verification
EMPIRICAL
0217
EQ-NEWTON-II
EQ-HOOKE
composite_verification
EMPIRICAL
0218
EQ-NEWTON-II
EQ-WORK-ENERGY
composite_verification
EMPIRICAL
0219
EQ-FOURIER-HEAT
EQ-FICK-DIFFUSION
composite_verification
EMPIRICAL