154 kB

Ctrl+K

1 contributor

History: 15 commits

phanerozoic

Answer the referee report and clarify the paper: notation, an example, a conclusion and the organism's records

7bd2bb1 21 days ago

independent_host_family.json
15 kB
Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages 23 days ago
independent_levelize.json
578 Bytes
Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages 23 days ago
independent_noise.json
8.07 kB
Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages 23 days ago
independent_weight_error.json
1.36 kB
Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages 23 days ago
paper_c_evaluator.json
1.7 kB
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_codec.json
116 Bytes
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 30 days ago
paper_device.json
77 Bytes
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 30 days ago
paper_environment.json
568 Bytes
Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages 23 days ago
paper_framing.json
172 Bytes
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 30 days ago
paper_host.json
76 Bytes
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 30 days ago
paper_host_family.json
2.76 kB
Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages 23 days ago
paper_host_fold.json
3.36 kB
Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages 23 days ago
paper_lev.json
195 Bytes
Store the host in a two-head machine of 4096 cells so that it reproduces itself by the dynamics, prove the machine's netlist for every window size, add figures and the layouts behind the digests, and remove the interpreter tower and the verification tiers 23 days ago
paper_noise_certify.json
3.66 kB
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_noise_curve.json
25.5 kB
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_noise_intervals.json
2.36 kB
Replace the two-bank machine with a K-bank ring, prove its reproduction in Rocq, and revise the paper 23 days ago
paper_noise_leak.json
3.14 kB
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_noise_margin.json
96 Bytes
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_noise_masked.json
3.19 kB
Answer the referee report and clarify the paper: notation, an example, a conclusion and the organism's records 21 days ago
paper_noise_omega.json
840 Bytes
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_noise_profile.json
5.86 kB
Replace the two-bank machine with a K-bank ring, prove its reproduction in Rocq, and revise the paper 23 days ago
paper_optimal.json
344 Bytes
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 30 days ago
paper_redundant_bound_r3.json
3.47 kB
Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages 23 days ago
paper_redundant_curve_r3.json
26.1 kB
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_redundant_layers_r3.json
5.41 kB
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_redundant_omega_r3.json
875 Bytes
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_redundant_r3.json
679 Bytes
Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages 23 days ago
paper_redundant_restore_r3.json
3.74 kB
Add the restoration bound for the amplified host with its proof, the batched failure-rate runs that test it, and the per-step table 24 days ago
paper_redundant_selfrep_r3.json
925 Bytes
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_rocq.json
6.91 kB
Put the organism first and move serialization, sizes and the Rocq map to appendices 21 days ago
paper_runs_family.json
6.47 kB
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_runs_family_gate.json
1.33 kB
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_runs_lev_sparse.json
967 Bytes
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_runs_lockstep.json
422 Bytes
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_runs_net.json
1.59 kB
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_runs_reference.json
1.54 kB
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 30 days ago
paper_stats.json
2.13 kB
Store the host in a two-head machine of 4096 cells so that it reproduces itself by the dynamics, prove the machine's netlist for every window size, add figures and the layouts behind the digests, and remove the interpreter tower and the verification tiers 23 days ago
paper_steps.json
891 Bytes
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 30 days ago
paper_stored_host.json
5.09 kB
Prove the stored host's construction, copies, period and network in Rocq for every word width, give each unit its own window cell, and revise Section 8 with the new records 22 days ago
paper_ternarity.json
397 Bytes
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 30 days ago
paper_throughput.json
972 Bytes
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages 29 days ago
paper_twohead.json
1.37 kB
Replace the two-bank machine with a K-bank ring, prove its reproduction in Rocq, and revise the paper 23 days ago
paper_twohead_net.json
2.79 kB
Prove the stored host's construction, copies, period and network in Rocq for every word width, give each unit its own window cell, and revise Section 8 with the new records 22 days ago
paper_verify.json
906 Bytes
Store the host in a two-head machine of 4096 cells so that it reproduces itself by the dynamics, prove the machine's netlist for every window size, add figures and the layouts behind the digests, and remove the interpreter tower and the verification tiers 23 days ago