Relativity in Metamathematics

There are many possible foliations of the entailment graph
Out[]=
In[]:=
Graph[ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"StatesGraph"],AspectRatio->1.5]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"BranchialGraph"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"AllStatesBranchialGraph"]
Out[]=
In[]:=
Table[ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",t,"BranchialGraph"],{t,9}]
Out[]=

,
,
,
,
,
,
,
,

In[]:=
branchialGraph[ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"StatesGraph"]]
Out[]=
In this case the states are determined by the position of the second A. How can we characterize the foliation in this case?

A sufficiently thickened branchial graph will be the same if there is confluence

https://www.wolframcloud.com/obj/nikm/Published/Foliations.nb

Entailment fabric

Flat reference frame

[“polymath”] Every theorem is advanced by an entailment cone at once