Soar

Active restoration

Disturb an E47 state into the complement, then contract with Γ. The certified bound is a theorem of the Euler step, not a fit.

rank(P47)

Initial leakage

0.250000

Final leakage

0.00456841

Restoration ratio

0.0182736

Certified contraction bound verified on this trajectory.

Γ_ε* = I − ε* K², ε* = 1/99144, ρ* = 15/17

step	leakage	bound	E47 weight	‖ψ‖	⟨K²⟩
0	0.250000	0.250000	0.941176	1.03078	2334.34
1	0.212681	0.220588	0.956724	1.02237	1775.74
2	0.182003	0.194637	0.967937	1.01643	1355.81
3	0.156500	0.171738	0.976093	1.01217	1038.31
4	0.135102	0.151534	0.982075	1.00909	797.128
5	0.117015	0.133706	0.986492	1.00682	613.234
6	0.101630	0.117976	0.989777	1.00515	472.585
7	0.0884731	0.104097	0.992233	1.00391	364.733
8	0.0771716	0.0918499	0.994080	1.00297	281.849
9	0.0674264	0.0810440	0.995474	1.00227	218.034
10	0.0589951	0.0715094	0.996532	1.00174	168.823
11	0.0516801	0.0630966	0.997336	1.00133	130.821
12	0.0453179	0.0556734	0.997950	1.00103	101.441
13	0.0397729	0.0491236	0.998421	1.00079	78.7040
14	0.0349316	0.0433444	0.998781	1.00061	61.0925
15	0.0306983	0.0382450	0.999059	1.00047	47.4413
16	0.0269918	0.0337456	0.999272	1.00036	36.8532
17	0.0237431	0.0297755	0.999437	1.00028	28.6365
18	0.0208929	0.0262725	0.999564	1.00022	22.2573
19	0.0183905	0.0231817	0.999662	1.00017	17.3027
20	0.0161920	0.0204544	0.999738	1.00013	13.4534
21	0.0142594	0.0180480	0.999797	1.00010	10.4620
22	0.0125598	0.0159247	0.999842	1.00008	8.13673
23	0.0110644	0.0140512	0.999878	1.00006	6.32896
24	0.00974840	0.0123981	0.999905	1.00005	4.92326
25	0.00858986	0.0109395	0.999926	1.00004	3.83007
26	0.00756973	0.00965252	0.999943	1.00003	2.97981
27	0.00667129	0.00851693	0.999955	1.00002	2.31843
28	0.00587989	0.00751494	0.999965	1.00002	1.80393
29	0.00518270	0.00663083	0.999973	1.00001	1.40366
30	0.00456841	0.00585073	0.999979	1.00001	1.09225