Meta-stack

Does a soup assemble XOR and EQU from paid parts once its computing runs off the copier? Each run starts from an emerged world under the Logic economy and ladder, with the assay reading a second, never-executed tape that the world hands on with each copy. One arm reads it with a NAND that keeps its operands, one pays that arm for XOR and EQU alone, and one keeps the in-place NAND. A labelled substrate: it imports an objective, a primitive, a hereditary channel and a choice of the primitive's semantics.

Substrate: soup imports an objective
Status: finished
Epochs per run: 40,000
Runs finished: 162 / 162
Transition rate: no finished run yet

Findings resting on this sweep: With a stack NAND on a metabolism tape, paid parts assemble the logic rungs that need an input twice, in a sixth of the worlds published imports an objective

Transition epoch vs treatment

No finished runs yet.

Time to emergence vs treatment

No run has been observed yet.

Distinct lineages vs epoch, per arm of treatment

logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536

Share of the largest lineage vs epoch, per arm of treatment

logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536

Compressed length of the dominant tape (bytes) vs epoch, per arm of treatment

logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536

Instructions in the dominant tape vs epoch, per arm of treatment

logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536

Compressed length of the largest lineage's tape (bytes) vs epoch, per arm of treatment

logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536

Instructions in the largest lineage's tape vs epoch, per arm of treatment

logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536
logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536

The pre-registered reading final imports an objective

Every child of every qualifying parent has finished, here and in the Logic sweep. Each child is paired with the child of the same parent and seed in another arm: the Logic sweep's unpaid child and its paid child on the woven tape are the twins from that sweep. All are read over their own samples past a settling window of 1,000 epochs. A child is extinct where its last-decile median share of replicators on the replicating tape 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 without the parents the design study piloted (runs 1007, 944, 2577, and 2700). A deep rung shown here reads as assembled from paid parts only where H-stones-Ms is shown too, and as a crossing of several steps only where its substitution distance, measured after the sweep, is at least two. This substrate imports an objective, a primitive, a hereditary channel and a choice of the primitive's semantics made because it lets the deep rungs come, so rung 4 on Soup stays not shown whatever it reads.

Children per arm, read so far. A deep rung is XOR or EQU held by a tenth of the world for 5 samples running; a stepping stone is OR, ANDN or NOR held first.

Arm	Children	Finished	Settled relapses	Extinct	Capability measured	Reached a deep rung	Through a stepping stone	Complexity survivors	Rises
meta-stack	54	54	0	0	54	9	9	54	3
meta-stack-deep-only	54	54	0	0	54	0	0	54	2
meta-inplace	54	54	0	0	54	0	0	54	3
logic-none	54	54	0	0	54	0	0	54	1
logic-full	54	54	6	1	53	0	0	48	2

Hypotheses

H-deep-Ms, meta-stack against logic-none: shown

54 pairs measured on both sides: 9 favour meta-stack, 0 logic-none, 45 tie; p = 0.00195. With the extinct pairs kept: shown, 9 to 0, p = 0.00195. Without the piloted parents: shown, 8 to 0, p = 0.00391.

Per-parent agreement

Parent	Favour meta-stack	Tie
run 944	1	2
run 950	0	3
run 967	2	1
run 991	1	2
run 1007	0	3
run 1029	1	2
run 1087	0	3
run 1089	0	3
run 1103	0	3
run 2568	0	3
run 2577	0	3
run 2590	0	3
run 2654	1	2
run 2676	1	2
run 2700	0	3
run 2771	2	1
run 2802	0	3
run 2862	0	3

H-stones-Ms, meta-stack against meta-stack-deep-only: shown

54 pairs measured on both sides: 9 favour meta-stack, 0 meta-stack-deep-only, 45 tie; p = 0.00195. With the extinct pairs kept: shown, 9 to 0, p = 0.00195. Without the piloted parents: shown, 8 to 0, p = 0.00391.

Per-parent agreement

Parent	Favour meta-stack	Tie
run 944	1	2
run 950	0	3
run 967	2	1
run 991	1	2
run 1007	0	3
run 1029	1	2
run 1087	0	3
run 1089	0	3
run 1103	0	3
run 2568	0	3
run 2577	0	3
run 2590	0	3
run 2654	1	2
run 2676	1	2
run 2700	0	3
run 2771	2	1
run 2802	0	3
run 2862	0	3

H-stack, meta-stack against meta-inplace: shown

54 pairs measured on both sides: 9 favour meta-stack, 0 meta-inplace, 45 tie; p = 0.00195. With the extinct pairs kept: shown, 9 to 0, p = 0.00195. Without the piloted parents: shown, 8 to 0, p = 0.00391.

Per-parent agreement

Parent	Favour meta-stack	Tie
run 944	1	2
run 950	0	3
run 967	2	1
run 991	1	2
run 1007	0	3
run 1029	1	2
run 1087	0	3
run 1089	0	3
run 1103	0	3
run 2568	0	3
run 2577	0	3
run 2590	0	3
run 2654	1	2
run 2676	1	2
run 2700	0	3
run 2771	2	1
run 2802	0	3
run 2862	0	3

H-deep-M, meta-inplace against logic-none: refuted

54 pairs measured on both sides: 0 favour meta-inplace, 0 logic-none, 54 tie. With the extinct pairs kept: refuted, 0 to 0. Without the piloted parents: refuted, 0 to 0.

Per-parent agreement

Parent	Favour meta-inplace	Favour logic-none	Tie	Not both measured
run 944	0	0	3	0
run 950	0	0	3	0
run 967	0	0	3	0
run 991	0	0	3	0
run 1007	0	0	3	0
run 1029	0	0	3	0
run 1087	0	0	3	0
run 1089	0	0	3	0
run 1103	0	0	3	0
run 2568	0	0	3	0
run 2577	0	0	3	0
run 2590	0	0	3	0
run 2654	0	0	3	0
run 2676	0	0	3	0
run 2700	0	0	3	0
run 2771	0	0	3	0
run 2802	0	0	3	0
run 2862	0	0	3	0

H-decouple, meta-inplace against logic-full: refuted

53 pairs measured on both sides: 0 favour meta-inplace, 0 logic-full, 53 tie. With the extinct pairs kept: refuted, 0 to 0. Without the piloted parents: refuted, 0 to 0.

Per-parent agreement

Parent	Tie	Not both measured
run 944	3	0
run 950	3	0
run 967	3	0
run 991	3	0
run 1007	3	0
run 1029	3	0
run 1087	3	0
run 1089	3	0
run 1103	2	1
run 2568	3	0
run 2577	3	0
run 2590	3	0
run 2654	3	0
run 2676	3	0
run 2700	3	0
run 2771	3	0
run 2802	3	0
run 2862	3	0

H-capability-M, meta-stack against logic-none: shown

54 pairs measured on both sides: 54 favour meta-stack, 0 logic-none, 0 tie; p = 5.55e-17. With the extinct pairs kept: shown, 54 to 0, p = 5.55e-17. Without the piloted parents: shown, 42 to 0, p = 2.27e-13.

Per-parent agreement

Parent	Favour meta-stack	Favour logic-none	Tie	Not both measured
run 944	3	0	0	0
run 950	3	0	0	0
run 967	3	0	0	0
run 991	3	0	0	0
run 1007	3	0	0	0
run 1029	3	0	0	0
run 1087	3	0	0	0
run 1089	3	0	0	0
run 1103	3	0	0	0
run 2568	3	0	0	0
run 2577	3	0	0	0
run 2590	3	0	0	0
run 2654	3	0	0	0
run 2676	3	0	0	0
run 2700	3	0	0	0
run 2771	3	0	0	0
run 2802	3	0	0	0
run 2862	3	0	0	0

The pairs

Parent	Seed	Meta-stack child	Capability	Deep capability	Meta-stack-deep-only child	Meta-inplace child	Capability	Logic-none child	Capability	Logic-full child	Capability
run 944	2001	run 4843	4	0	run 4846	run 4849	4	run 4687	0	run 4681	2
run 944	2002	run 4844	4	0	run 4847	run 4850	4	run 4688	0	run 4682	4
run 944	2003	run 4845	4	2	run 4848	run 4851	4	run 4689	0	run 4683	2
run 950	2001	run 4852	5	0	run 4855	run 4858	5	run 4696	0	run 4690	5
run 950	2002	run 4853	4	0	run 4856	run 4859	4	run 4697	0	run 4691	5
run 950	2003	run 4854	5	0	run 4857	run 4860	4	run 4698	0	run 4692	3
run 967	2001	run 4861	4	0	run 4864	run 4867	4	run 4705	0	run 4699	4
run 967	2002	run 4862	7	2	run 4865	run 4868	4	run 4706	0	run 4700	3
run 967	2003	run 4863	5	2	run 4866	run 4869	4	run 4707	0	run 4701	2
run 991	2001	run 4870	4	0	run 4873	run 4876	4	run 4714	0	run 4708	3
run 991	2002	run 4871	5	2	run 4874	run 4877	4	run 4715	0	run 4709	1
run 991	2003	run 4872	4	0	run 4875	run 4878	4	run 4716	0	run 4710	2
run 1007	2001	run 4879	5	0	run 4882	run 4885	4	run 4723	0	run 4717	4
run 1007	2002	run 4880	3	0	run 4883	run 4886	4	run 4724	0	run 4718	3
run 1007	2003	run 4881	4	0	run 4884	run 4887	6	run 4725	0	run 4719	4
run 1029	2001	run 4888	3	0	run 4891	run 4894	4	run 4732	0	run 4726	4
run 1029	2002	run 4889	4	0	run 4892	run 4895	3	run 4733	0	run 4727	4
run 1029	2003	run 4890	7	2	run 4893	run 4896	4	run 4734	0	run 4728	4
run 1087	2001	run 4897	4	0	run 4900	run 4903	5	run 4741	0	run 4735	4
run 1087	2002	run 4898	6	0	run 4901	run 4904	4	run 4742	0	run 4736	3
run 1087	2003	run 4899	5	0	run 4902	run 4905	4	run 4743	0	run 4737	4
run 1089	2001	run 4906	4	0	run 4909	run 4912	3	run 4750	0	run 4744	5
run 1089	2002	run 4907	5	0	run 4910	run 4913	4	run 4751	0	run 4745	3
run 1089	2003	run 4908	4	0	run 4911	run 4914	4	run 4752	0	run 4746	3
run 1103	2001	run 4915	4	0	run 4918	run 4921	4	run 4759	0	run 4753	4
run 1103	2002	run 4916	5	0	run 4919	run 4922	4	run 4760	0	run 4754	4
run 1103	2003	run 4917	3	0	run 4920	run 4923	4	run 4761	0	run 4755 extinct	3
run 2568	2001	run 4924	4	0	run 4927	run 4930	3	run 4768	1	run 4762	4
run 2568	2002	run 4925	5	0	run 4928	run 4931	4	run 4769	0	run 4763	4
run 2568	2003	run 4926	7	0	run 4929	run 4932	4	run 4770	0	run 4764	4
run 2577	2001	run 4933	4	0	run 4936	run 4939	4	run 4777	0	run 4771	4
run 2577	2002	run 4934	4	0	run 4937	run 4940	4	run 4778	0	run 4772	2
run 2577	2003	run 4935	5	0	run 4938	run 4941	4	run 4779	0	run 4773	2
run 2590	2001	run 4942	4	0	run 4945	run 4948	3	run 4786	0	run 4780	4
run 2590	2002	run 4943	5	0	run 4946	run 4949	4	run 4787	0	run 4781	6
run 2590	2003	run 4944	4	0	run 4947	run 4950	3	run 4788	0	run 4782	4
run 2654	2001	run 4951	5	0	run 4954	run 4957	4	run 4795	0	run 4789	4
run 2654	2002	run 4952	4	2	run 4955	run 4958	3	run 4796	0	run 4790	3
run 2654	2003	run 4953	5	0	run 4956	run 4959	4	run 4797	0	run 4791	3
run 2676	2001	run 4960	4	0	run 4963	run 4966	4	run 4804	0	run 4798	2
run 2676	2002	run 4961	5	2	run 4964	run 4967	4	run 4805	0	run 4799	4
run 2676	2003	run 4962	4	0	run 4965	run 4968	4	run 4806	0	run 4800	4
run 2700	2001	run 4969	5	0	run 4972	run 4975	4	run 4813	0	run 4807	2
run 2700	2002	run 4970	4	0	run 4973	run 4976	4	run 4814	0	run 4808	3
run 2700	2003	run 4971	4	0	run 4974	run 4977	4	run 4815	0	run 4809	1
run 2771	2001	run 4978	3	0	run 4981	run 4984	4	run 4822	0	run 4816	4
run 2771	2002	run 4979	8	1	run 4982	run 4985	4	run 4823	0	run 4817	4
run 2771	2003	run 4980	6	1	run 4983	run 4986	3	run 4824	0	run 4818	4
run 2802	2001	run 4987	4	0	run 4990	run 4993	4	run 4831	0	run 4825	7
run 2802	2002	run 4988	4	0	run 4991	run 4994	3	run 4832	0	run 4826	4
run 2802	2003	run 4989	4	0	run 4992	run 4995	4	run 4833	0	run 4827	4
run 2862	2001	run 4996	5	0	run 4999	run 5002	4	run 4840	0	run 4834	4
run 2862	2002	run 4997	4	0	run 5000	run 5003	4	run 4841	1	run 4835	4
run 2862	2003	run 4998	6	0	run 5001	run 5004	5	run 4842	0	run 4836	3

The ladder, descriptive only: how many children's worlds held each rung at a share of 10% for 5 samples running, settling window included, and the median first epoch they did.

Rung	Meta-stack: children	Meta-stack: median first epoch	Meta-stack-deep-only: children	Meta-stack-deep-only: median first epoch	Meta-inplace: children	Meta-inplace: median first epoch	Logic-none: children	Logic-none: median first epoch	Logic-full: children	Logic-full: median first epoch
echo	54	20,130	54	25,310	54	20,120	19	22,630	54	20,690
not	54	21,040	0	—	54	20,800	0	—	52	23,660
nand	43	21,500	0	—	21	21,250	0	—	37	25,680
and	17	22,200	0	—	0	—	0	—	14	28,550
orn	54	21,170	0	—	54	21,120	0	—	44	26,420
or	51	21,760	0	—	54	21,370	0	—	23	27,890
andn	49	21,340	0	—	38	21,650	0	—	32	29,810
nor	51	21,920	0	—	54	21,540	0	—	19	33,810
xor	7	23,180	0	—	0	—	0	—	0	—
equ	9	22,720	0	—	0	—	0	—	0	—

Runs

Download CSV

Seed	Treatment	Status	Priority	Epochs done	Transition epoch	Census
2003	logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	30 census only	Run
2001	logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	50 census only	Run
2002	logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	32 census only	Run
2003	logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	39 census only	Run
2001	logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	53 census only	Run
2002	logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	10 census only	Run
2003	logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	74 census only	Run
2001	logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	21 census only	Run
2002	logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	6 census only	Run
2003	logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	9 census only	Run
2001	logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	26 census only	Run
2002	logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	17 census only	Run
2003	logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	28 census only	Run
2001	logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	37 census only	Run
2002	logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	40 census only	Run
2003	logic×32×isa×0.00391×own_tape×stack×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	18 census only	Run
2001	logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	20 census only	Run
2002	logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	11 census only	Run
2003	logic×32×isa×0.00391×own_tape×stack×8×xor×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	18 census only	Run
2001	logic×32×isa×0.00391×own_tape×in_place×8×2048×initiator×0×1024×65536	finished	40	60,000	— confirmed	25 census only	Run