Topless rise
Does the deepest logic feature a soup holds keep getting deeper when depth is paid? Each run continues a Meta-stack world on a ladder of every function of four inputs, each paid by its minimal NAND count, for 100 000 epochs. One arm pays depth, one pays nothing deeper than five NANDs, and one pays nothing. A labelled substrate: it imports an objective, a primitive, a hereditary channel, the primitive's semantics and a ladder.
- Substrate
- soup imports an objective
- Status
- finished
- Epochs per run
- 100,000
- Runs finished
- 162 / 162
- Transition rate
- no finished run yet
Findings resting on this sweep: Paid for depth, the soup jumps once and stands: no late rise on a ladder without a near top negative imports an objective
No finished runs yet.
No run has been observed yet.
- logic4×512
- logic4×512×5
- logic4×0
- logic4×512
- logic4×512×5
- logic4×0
- logic4×512
- logic4×512×5
- logic4×0
- logic4×512
- logic4×512×5
- logic4×0
- logic4×512
- logic4×512×5
- logic4×0
- logic4×512
- logic4×512×5
- logic4×0
The pre-registered reading final imports an objective
Every child of every qualifying parent has finished. Each child continues a world of the Meta-stack sweep and is paired with the child of the same parent in another arm. All are read over their own samples past a settling window of 1,000 epochs. A child rises late where the median depth of the deepest rung held by a tenth of the world, over the last tenth of those samples, is at least 1 above the deepest its lineage reached before the second half: its median over the fifth tenth, its parent's depth at descent, and every depth it held for 5 samples running up to the fifth tenth's end. Climbing back to where the parent stood is no rise. A child whose lineage had already reached depth 13, the deepest a reading can show, before the second half is ceilinged and read as no rise. A child is extinct where its last-decile median share of replicators is below 10%, and a pair with an extinct child is in no test. Each test is a one-sided sign test at p < 0.05, re-read with the extinct pairs kept and on the children of Meta-stack's nine deep children alone. This substrate imports an objective, a primitive, a hereditary channel, the primitive's semantics and a ladder of growing input arity, so rung 4 on Soup stays not shown whatever it reads.
| Arm | Children | Finished | Settled relapses | Extinct | Measured | Rise late | Ceilinged | Reached the floor |
|---|---|---|---|---|---|---|---|---|
| rise | 54 | 54 | 2 | 0 | 54 | 1 | 0 | 0 |
| capped | 54 | 54 | 0 | 0 | 54 | 13 | 0 | 0 |
| none | 54 | 54 | 6 | 0 | 54 | 0 | 0 | 0 |
Hypotheses
-
H-rise, rise against none:
not shown
54 pairs measured on both sides: 1 favour rise, 0 none, 53 tie; p = 0.5. With the extinct pairs kept: not shown, 1 to 0, p = 0.5. On the deep parents' children: refuted, 0 to 0.
Per-parent agreement
Parent Favour rise Favour none Tie Not both measured run 4843 0 0 1 0 run 4844 0 0 1 0 run 4845 0 0 1 0 run 4852 0 0 1 0 run 4853 0 0 1 0 run 4854 0 0 1 0 run 4861 0 0 1 0 run 4862 0 0 1 0 run 4863 0 0 1 0 run 4870 0 0 1 0 run 4871 0 0 1 0 run 4872 0 0 1 0 run 4879 0 0 1 0 run 4880 0 0 1 0 run 4881 0 0 1 0 run 4888 0 0 1 0 run 4889 0 0 1 0 run 4890 0 0 1 0 run 4897 0 0 1 0 run 4898 0 0 1 0 run 4899 0 0 1 0 run 4906 0 0 1 0 run 4907 0 0 1 0 run 4908 0 0 1 0 run 4915 0 0 1 0 run 4916 0 0 1 0 run 4917 0 0 1 0 run 4924 0 0 1 0 run 4925 0 0 1 0 run 4926 0 0 1 0 run 4933 0 0 1 0 run 4934 0 0 1 0 run 4935 0 0 1 0 run 4942 0 0 1 0 run 4943 0 0 1 0 run 4944 0 0 1 0 run 4951 0 0 1 0 run 4952 0 0 1 0 run 4953 0 0 1 0 run 4960 0 0 1 0 run 4961 0 0 1 0 run 4962 0 0 1 0 run 4969 0 0 1 0 run 4970 0 0 1 0 run 4971 1 0 0 0 run 4978 0 0 1 0 run 4979 0 0 1 0 run 4980 0 0 1 0 run 4987 0 0 1 0 run 4988 0 0 1 0 run 4989 0 0 1 0 run 4996 0 0 1 0 run 4997 0 0 1 0 run 4998 0 0 1 0 -
H-rise-paid, rise against capped:
refuted
54 pairs measured on both sides: 1 favour rise, 13 capped, 40 tie; p = 1. With the extinct pairs kept: refuted, 1 to 13, p = 1. On the deep parents' children: refuted, 0 to 2, p = 1.
Per-parent agreement
Parent Favour rise Favour capped Tie Not both measured run 4843 0 0 1 0 run 4844 0 1 0 0 run 4845 0 0 1 0 run 4852 0 1 0 0 run 4853 0 1 0 0 run 4854 0 0 1 0 run 4861 0 0 1 0 run 4862 0 0 1 0 run 4863 0 0 1 0 run 4870 0 0 1 0 run 4871 0 0 1 0 run 4872 0 0 1 0 run 4879 0 0 1 0 run 4880 0 0 1 0 run 4881 0 0 1 0 run 4888 0 0 1 0 run 4889 0 0 1 0 run 4890 0 0 1 0 run 4897 0 0 1 0 run 4898 0 0 1 0 run 4899 0 0 1 0 run 4906 0 1 0 0 run 4907 0 0 1 0 run 4908 0 0 1 0 run 4915 0 0 1 0 run 4916 0 0 1 0 run 4917 0 0 1 0 run 4924 0 0 1 0 run 4925 0 0 1 0 run 4926 0 0 1 0 run 4933 0 1 0 0 run 4934 0 1 0 0 run 4935 0 0 1 0 run 4942 0 0 1 0 run 4943 0 0 1 0 run 4944 0 0 1 0 run 4951 0 1 0 0 run 4952 0 1 0 0 run 4953 0 0 1 0 run 4960 0 0 1 0 run 4961 0 0 1 0 run 4962 0 0 1 0 run 4969 0 1 0 0 run 4970 0 0 1 0 run 4971 1 0 0 0 run 4978 0 0 1 0 run 4979 0 0 1 0 run 4980 0 1 0 0 run 4987 0 1 0 0 run 4988 0 0 1 0 run 4989 0 0 1 0 run 4996 0 0 1 0 run 4997 0 1 0 0 run 4998 0 1 0 0
Runs
| Seed | Treatment | Status | Priority | Epochs done | Transition epoch | Census | |
|---|---|---|---|---|---|---|---|
| 4001 | logic4×512×5 | finished | 40 | 160,000 | — confirmed | 59 census only | Run |
| 4001 | logic4×0 | finished | 40 | 160,000 | — confirmed | 22 census only | Run |
| 4001 | logic4×512 | finished | 40 | 160,000 | — confirmed | 235 census only | Run |
| 4001 | logic4×512×5 | finished | 40 | 160,000 | — confirmed | 45 census only | Run |
| 4001 | logic4×0 | finished | 40 | 160,000 | — confirmed | 93 census only | Run |
| 4001 | logic4×512 | finished | 40 | 160,000 | — confirmed | 52 census only | Run |
| 4001 | logic4×512×5 | finished | 40 | 160,000 | — confirmed | 106 census only | Run |
| 4001 | logic4×0 | finished | 40 | 160,000 | — confirmed | 30 census only | Run |
| 4001 | logic4×512 | finished | 40 | 160,000 | — confirmed | 37 census only | Run |
| 4001 | logic4×512×5 | finished | 40 | 160,000 | — confirmed | 45 census only | Run |
| 4001 | logic4×0 | finished | 40 | 160,000 | — confirmed | 49 census only | Run |
| 4001 | logic4×512 | finished | 40 | 160,000 | — confirmed | 106 census only | Run |
| 4001 | logic4×512×5 | finished | 40 | 160,000 | — confirmed | 24 census only | Run |
| 4001 | logic4×0 | finished | 40 | 160,000 | — confirmed | 33 census only | Run |
| 4001 | logic4×512 | finished | 40 | 160,000 | — confirmed | 137 census only | Run |
| 4001 | logic4×512×5 | finished | 40 | 160,000 | — confirmed | 109 census only | Run |
| 4001 | logic4×0 | finished | 40 | 160,000 | — confirmed | 56 census only | Run |
| 4001 | logic4×512 | finished | 40 | 160,000 | — confirmed | 34 census only | Run |
| 4001 | logic4×512×5 | finished | 40 | 160,000 | — confirmed | 21 census only | Run |
| 4001 | logic4×0 | finished | 40 | 160,000 | — confirmed | 21 census only | Run |