Let's test the Striker budget on a real world example, e.g. Sweden.
TL8, Pop=9.5 million, let's say Industrial.
GDPSt = 8000 * 1.4 * 9.5E6 ≈ GCr100
In reality:
GDP ≈ $45000 [PPP] * 9.5E6 ≈ G$430 ≈ GCrImp200 (roughly)
Or the US:
TL8, Pop=320E6, let's say Rich.
GDPSt = 8000 * 1.6 * 320E6 ≈ GCr4000
In reality:
GDP ≈ $55000 [PPP] * 320E6 ≈ G$17600 ≈ GCrImp8000 (roughly)
So, the Striker formula seems pretty good, it is within a factor of two or three.
Let's compare military budget with TCS for Sweden:
(Striker Military) GCr100 * 1% = GCr1, half that for the Navy so GCr0.5
(TCS Naval) Cr = 500 * 0.5 * 9.5E6 ≈ GCr2
TCS presupposes an interstellar TL with a higher GDP/capita, and perhaps a bit higher military expenditure, so Striker and TCS is in the same ball park.
If we now try to apply the Striker formula on the Imperium:
Average TL12 giving a GDP/capita of kCr16.
Pop in the region of 100 trillion?
GDP = 16000 * 100E12 = 1.6E18 = ECr1.6
Assuming a default military budget of 1%, of which 30% is given to the Imperium we get ECr1.6 * 0.003 ≈ PCr5.
If we assume half of that goes to the Imperial Navy, and half of that on ships we get a budget for ships of about PCr1. According to TCS we can have 10 times that in build fleet, so we can have a fleet worth PCr10.
Assuming a BB cost of GCr200 and that a quarter of the navy is BBs we get around 10000 BBs or 1000 BatRons for ~300 fleets + ~300 reserve fleets. I would say we are within a factor of two or so...
Canon or not, I would say the budgets from Striker and TCS are good enough to use as an estimate.