1.19 MB

Ctrl+K

1 contributor

History: 14 commits

phanerozoic

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

7bd2bb1 9 days ago

automata.py

64.1 kB
Consolidate the Python sources into twelve files with one-line docstrings, fold the demos into the playground, and delete the scripts that do not belong to the artifact 11 days ago
build.py

289 kB
Consolidate the Python sources into twelve files with one-line docstrings, fold the demos into the playground, and delete the scripts that do not belong to the artifact 11 days ago
eval.py

292 kB
Consolidate the Python sources into twelve files with one-line docstrings, fold the demos into the playground, and delete the scripts that do not belong to the artifact 11 days ago
host.py

68.8 kB
Prove self-reproduction by the dynamics for the stored host of every word width, with a sign-extending device read and the record count in closed form, check the stored hosts of widths 9 and 10 symbolically and on random states, check the extracted host family for widths 8 to 10, and remove the to-do note 11 days ago
independent.py

22.7 kB
Put the organism first and move serialization, sizes and the Rocq map to appendices 9 days ago
machines.py

118 kB
Consolidate the Python sources into twelve files with one-line docstrings, fold the demos into the playground, and delete the scripts that do not belong to the artifact 11 days ago
netlist_eval.c

16.9 kB
Put the organism first and move serialization, sizes and the Rocq map to appendices 9 days ago
noise.py

66.1 kB
Answer the referee report and clarify the paper: notation, an example, a conclusion and the organism's records 9 days ago
nsim.c

13.7 kB
Put the organism first and move serialization, sizes and the Rocq map to appendices 9 days ago
paper.py

93 kB
Put the organism first and move serialization, sizes and the Rocq map to appendices 9 days ago
reflect.py

44.4 kB
Consolidate the Python sources into twelve files with one-line docstrings, fold the demos into the playground, and delete the scripts that do not belong to the artifact 11 days ago
restore_bound.c

16.4 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 11 days ago
ring_run.c

8.69 kB
Replace the two-bank machine with a K-bank ring, prove its reproduction in Rocq, and revise the paper 11 days ago
twohead.py

79.9 kB
Put the organism first and move serialization, sizes and the Rocq map to appendices 9 days ago