Sparse binary polymer model; reversible split-position channels
Seed 20260922; 64 trials per n; fixed lambda=1.0, t=2
n / RAF samples / single-catalyst samples: [(4, 63, 62), (5, 64, 64), (6, 64, 64), (7, 64, 63), (8, 64, 63)]
Paper example: one productive order, six distinct labelled dependency codes.
Small exact construction counts: [{'depth': 1, 'productive_orders': 4, 'supports': 4, 'labelled_supports': 4, 'instruction_code_bound': 40}, {'depth': 2, 'productive_orders': 28, 'supports': 22, 'labelled_supports': 44, 'instruction_code_bound': 7744}, {'depth': 3, 'productive_orders': 224, 'supports': 86, 'labelled_supports': 516, 'instruction_code_bound': 3652264}]
Full linear-budget bound at n=1000: {'applicable': True, 'cutoff': 31, 'conservative_D': 270, 'log10_raw_bound': 258.1902461138213, 'capped_bound': 1.0}
The simulation does not estimate minimum RAF size or prove asymptotic absence.