At first glance, this example of limiting manifold of a causal graph may seem too general to be interesting in practice. Nevertheless, any Polish space is the continuous image of the Baire space. Hence, given a string rewriting system (over a finite alphabet), whose causal graph converges to a limiting manifold that is a Polish space, is just a "continuous image" of the Baire rewriting system, e.g., some different worldlines in the Baire rewriting system may collapse to a single worldline in a given string rewriting system.
Not sure how your example can be used to solve the challenge. There are also several mistakes in the second paragraph. First, not every Polish space can be mapped continuously onto the Baire space (example: real line, which is a Polish space, cannot be mapped continuously onto the Baire space, which is isomorphic to the space of irrational numbers). Second, the causal graph for the Baire substitution system is just a chain, and thus, it is isomorphic to the natural numbers, and not reals or irrationals. What is isomorphic to irrational numbers, is the resulting string of the Baire substitution system; the multiway system of the substitution system is a tree (with infinite branching at each node); And the causal graph of such system is just a chain with a limiting manifold being a single point (which is not very useful for proofs in general case).