d4f9404960
findings/subsystems/population-growth.md -- ServerSystem::GrowCivilianPops 0x00754220 read byte for byte, its whole chain, and Ship::RepairCost 0x00815180. The headline is a correction to the brief's premise. The pass is NOT gated on imperial carrying capacity. The whole system's civilian delta is clamped to 20,000,000 -- POPTYPE[1]+0x08, an int64 literal in the executable -- and on both reference pairs that clamp decides the value: the uncapped delta is 7.5x it and the capacity headroom 25x it. The imperial capacity is pinned at exactly Size x 1e8 from the corpus alone, by two independent behaviours of one colony across three turns, with no data files. Two boundary corrections, both of the rule-17 shape. GrowCivilianPops is a loop over group types whose back edge lies outside every decompiler `if`, so it reads as straight-line code if you stop at the first `ret`; its real end is 0x00754b59. MaxPopGeneric ends at 0x0074a6cd, so the 0x0074a6d0 that lanes N and E1 both cite for the capacity-surplus pair is a different function. A table correction with teeth: InitPopTypeTable never writes the group ceiling at +0x28/+0x2c. The CRT static initialiser at 0x009abe20 does, to INT64_MAX, and nothing else touches it -- so the clamp that reads it is always a no-op. A reader who opens only the obvious initialiser sees zero there and would cap every carrying capacity in the game at nothing. Lane N's whole table is otherwise reproduced independently from the six-register fxch rotation. output-turn-path.md: out[6] is NOT the ship-repair demand. 0x007460b0 sums 0x0081f8c0, which gates on the design's carried-population bit and computes GroupIncome over the ship's own Population -- so it is the income of population carried in slaver and colony hulls, a slot the engine already had under a name nobody had connected to it. Corrected in place, with lane-c3.json's three unread stubs superseded by lane-g3.json's read entries. Ship::RepairCost is unexercised on the corpus and that is a measurement, not an absence (rule 20): the independent colony keeps a ten-ship fleet in orbit over Koa'Vo on both reference pairs and its Sav closes exactly with the demand taken as zero, which it could not do if any hull had a cost. Engine side: sots-engine wip/growth ed6602e -- reference pair 78 -> 81 closed, 0 regressed; pair 2 36 -> 39 closed, 0 regressed.
140 lines
12 KiB
JSON
140 lines
12 KiB
JSON
{
|
|
"entries": [
|
|
{
|
|
"name": "ServerSystem_GrowCivilianPops_G3",
|
|
"addr": "0x00754220",
|
|
"convention": "thiscall",
|
|
"prototype": "void (ServerSystem* sys) // plain `ret`, REAL END 0x00754b59 -- the body is a loop over group types 0,1,2 whose back edge is at 0x00754b2e (`inc esi; cmp esi,3; jl 0x7543e9`) and lies outside every decompiler `if`, so the function reads as straight-line code if you stop at the first `ret`. Returns immediately when the system has no owner. Per group type: skip when Population::TotalOfType(Pop2, t) <= 0, then skip unless t == 1 -- so only CIVILIANS grow here. Per species: delta = PopGrowthDelta(1, sp); cur = Count(Pop2,1,sp) + Count(pbon2,1,sp); cap = MaxPopGeneric(1, sp, PID, NULL); soft = CivilianSettleLimit(sp); limit = soft < cap ? soft : cap (and soft < cap with cur+delta > soft raises a per-species settle flag); applied = min(delta, limit - cur); haltv[1] with applied > 0 zeroes both. The SYSTEM TOTAL is then clamped into [-50,000,000 (a literal here), POPTYPE[1]+0x08 = 20,000,000] and, when the clamp bit, every entry of the clamp's own sign is rescaled by trunc(applied x (clamped / total)) with NO renormalisation. Write-back is Population::SetCount(Pop2, 1, sp, Count(Pop2,1,sp) + applied) -- note the headroom counted pbon2 and the write does not. THE 20,000,000 CLAMP IS WHAT DECIDES THE VALUE on both reference pairs: the uncapped delta is 7.5x it and the capacity headroom 25x it",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "ServerSystem_CivilianSettleLimit",
|
|
"addr": "0x0074a9a0",
|
|
"convention": "thiscall",
|
|
"prototype": "int64 (ServerSystem* sys, int species) // `ret 4`, ends 0x0074aa2d. Returns 0 without an owner. Otherwise min( MaxPopGeneric(1, sp, PID, &StrategyServer::IdealSuit(server, sp)) , Population::Count(sys->dcs /*+0x104*/, 1, sp) ). The first term is the capacity the colony would have if the planet were perfectly suited; the second is the system's own `dcs` Population, which is on the wire. On Gamma Cephei `dcs` = 1e9 and it is the binding limit, not either capacity",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "ServerSystem_MaxPopGeneric_G3",
|
|
"addr": "0x0074a4a0",
|
|
"convention": "thiscall",
|
|
"prototype": "int64 (ServerSystem* sys, int groupType, int species, ServerPlayer* p, float* suitOverride) // `ret 0x10`, REAL END 0x0074a6cd -- 0x0074a6d0 is a DIFFERENT function (lane N and E1 both cite 0x0074a6d0 for the capacity-surplus pair; that is the next one along, not this). Returns 0 when species == 4; when the OWNER species' SpeciesDef+0x168[groupType] is not > 0 (which is why Zuul have no civilians); when groupType != 0 and the owner is RebAI; when groupType == 1 and bit 3 of ServerPlayer+0x348[species] is clear; and when groupType == 2 and 0x0082bdf0(p, species) is false. Otherwise ftoi64( (int64)Size x 1e8 x [ hazard x (POPTYPE[t]+0x20 x SpeciesDef(sp)+0x168[t] x (crossSpecies ? SpeciesDef(sp)+0x174[t] : 1)) ] ) via 0x00535eb0, plus the arcology flat bonus 0x0080dd30(p, t), then clamped to the int64 at POPTYPE[t]+0x28 -- see PopTypeTableStaticInit, that clamp is always a no-op -- and finally, for groupType 0 ONLY, scaled by INDSYS_IMPERIAL_POPULATION_MOD when the owner species is 4",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "SpeciesDef_GroupCapacityFactor",
|
|
"addr": "0x0053bb00",
|
|
"convention": "thiscall",
|
|
"prototype": "float (SpeciesDef* d, int groupType) // `ret 4`, 15 bytes. Returns d->float[0x168 + groupType*4]. The per-species, per-population-group capacity factor -- a DATA FILE value. Its imperial entry for Human is pinned at exactly 1.0 by the corpus (Gamma Cephei's pbon never drains and its Pop never shrinks, which bracket the imperial capacity at Size x 1e8); the civilian entry is bounded below at 0.27 by the observed growth and is otherwise unmeasured",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "SpeciesDef_GroupCrossSpeciesMod",
|
|
"addr": "0x0053bb20",
|
|
"convention": "thiscall",
|
|
"prototype": "float (SpeciesDef* d, int groupType) // `ret 4`, 15 bytes. Returns d->float[0x174 + groupType*4]; applied by MaxPopGeneric only when the system owner's species differs from the population species and is not 4",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "SpeciesDef_HasPopulationGroup",
|
|
"addr": "0x0053bb40",
|
|
"convention": "thiscall",
|
|
"prototype": "bool (SpeciesDef* d, int groupType) // `ret 4`. Returns `0.0 < d->float[0x168 + groupType*4]` -- the SAME array SpeciesDef_GroupCapacityFactor reads, so 'this species has this population group' and 'its capacity factor is positive' are one fact. MaxPopGeneric asks it about the system OWNER's species, not the population's",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "PopGrowthSuitabilityDistance",
|
|
"addr": "0x00536eb0",
|
|
"convention": "cdecl",
|
|
"prototype": "float (ServerPlayer* p, int species, float suit) // ends 0x00536f8b. Returns 20.0 and logs when p is null; 0.0 when p->RebAI (+0xfc) -- the 'accommodated' case; otherwise min( float32(|float32(StrategyServer::IdealSuit(p->server /*+0x8*/, species) - clamp(suit, 0, 20))|) , p->SuitTol /*+0xb4*/ ). The ideal is the SERVER's per-species baseline (the save's ISsu array), NOT the player's own IdealSuit field",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "PopGrowthDeltaHelper",
|
|
"addr": "0x00537140",
|
|
"convention": "cdecl",
|
|
"prototype": "int64 (ServerPlayer* p, int groupType, int species, float suit, float factor, int64 pop) // `add esp,0x1c`, 7 dwords of arguments, ends 0x005371ca. Returns 0 unless pop > 0; g = PopGrowthFraction(p, groupType, species, suit, factor); returns 0 when g == 0 (an fucomp against zero, so a NaN g also proceeds); d = ftoi64(g x pop); returns d, or exactly 1 when d == 0 and g is strictly positive, or 0 when d == 0 and g is negative",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "PopTypeTableStaticInit",
|
|
"addr": "0x009abe20",
|
|
"convention": "cdecl",
|
|
"prototype": "void () // the CRT static initialiser for the population-type table at 0x00b104e8, and THE ONLY WRITER of the group-ceiling field. It sets every row's +0x28 to 0xffffffff and +0x2c to 0x7fffffff -- the int64 INT64_MAX -- along with +0x00/+0x04/+0x08/+0x0c to -1/1.0/-1/-1 and the float columns to 1.0. InitPopTypeTable 0x00535ca0 runs later and overwrites +0x00 through +0x20 but NEVER touches +0x24/+0x28/+0x2c. So MaxPopGeneric's group-ceiling clamp is present, always enabled, and always a no-op; a reader who opens only InitPopTypeTable sees zero there and would cap every carrying capacity in the game at nothing",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "Ship_RepairCost_G3",
|
|
"addr": "0x00815180",
|
|
"convention": "thiscall",
|
|
"prototype": "int (StarShip* sh, bool useAllowance) // `ret 4`, REAL END 0x008151b7 (0x008151ba..0x008151bf is int3). max(0, design->+0xcc - (sh->ConCap /*+0x68*/ + (useAllowance ? design->+0xd0 : 0))). No floating point, no clamp but the floor at zero. Its only caller, RepairShipsInOrbit, always passes 1. UNEXERCISED on the corpus, and that is a measurement rather than an absence: the independent colony's fleet sits over Koa'Vo on both reference pairs and that player's Sav closes exactly with the demand taken as zero",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "Ship_ApplyRepair_G3",
|
|
"addr": "0x008151c0",
|
|
"convention": "thiscall",
|
|
"prototype": "void (StarShip* sh, int points) // `ret 4`, ends 0x00815221. Does NOTHING unless the ship's cached role word (+0x18, not on the wire) carries bit 0x400000 -- a different bit from the one RepairShipsInOrbit's candidate filter tests, so a ship can be charged points that never reach it. Otherwise sh->ConCap += max(points, 0) and then ConCap = min(max(ConCap, 0), design->+0xcc). THIS IS WHAT NAMES THE TWO FIELDS: ConCap is the construction invested in the hull so far -- not a per-turn capacity, despite the save-format name -- and design+0xcc is its ceiling",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "ServerSystem_ShipCarriedPopIncome",
|
|
"addr": "0x007460b0",
|
|
"convention": "cdecl-through-register",
|
|
"prototype": "int (ServerPlayer* owner) /* the system arrives in EBX */ // ends 0x0074615a. CORRECTION to output-turn-path.md, which names this SystemRepairDemandForOwner: it is NOT a repair function. It walks the fleets at the system through the system's own vtable slots 2 and 3, skips a fleet whose owner is not the argument or whose +0x78 byte is clear, and sums 0x0081f8c0 over each ship -- and 0x0081f8c0 gates on the design's CARRIED-POPULATION bit (design->+0xb8 & 0x04000000) and computes GroupIncome over the ship's Population at ship+0x9c. So ComputeOutput's out[6] is the income of population carried in slaver/colony hulls in orbit, which is a slot the engine's BudgetInputs already has, and it feeds no save leaf",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "ShipCarriedPopIncomePerShip",
|
|
"addr": "0x0081f8c0",
|
|
"convention": "thiscall",
|
|
"prototype": "int (StarShip* sh) // returns 0 unless design->+0xb8 & 0x04000000 (the carried-population bit lane B6 named); otherwise sums GroupIncome over the ship's `hsp` Population at ship+0x9c for group types 0 and 1. Body read to the second GroupIncome call only",
|
|
"status": "unverified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "g_SavingsInterestRate",
|
|
"addr": "0x009e31c0",
|
|
"convention": "data",
|
|
"prototype": "double 0.009999999776482582 = (double)0.01f -- the savings-interest multiplier ComputeBudget uses at 0x008631ce, then truncated by _ftol2. It is a WIDENED FLOAT, not the exact decimal, and the difference is not cosmetic: a treasury of exactly 50,000 earns 499, not 500. That one money was the whole residual on the human's Sav after civilian growth landed",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "g_DebtInterestRate",
|
|
"addr": "0x009ed188",
|
|
"convention": "data",
|
|
"prototype": "double 0.15000000596046448 = (double)0.15f -- the debt-interest multiplier ComputeBudget uses at 0x008631b0. The same constant lane E1 already carries, negated, as the bankruptcy-elimination divisor",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "g_FlaggedSystemGrowthFactor",
|
|
"addr": "0x00a1b000",
|
|
"convention": "data",
|
|
"prototype": "float 1.5 -- the per-call growth factor PopGrowthDelta 0x00748100 substitutes for 1.0 when the system's GFlags (+0xdc) carries the owner's PlyrIdx bit. It is a BONUS, not a penalty. UNEXERCISED: GFlags is 0 for the growing player on every corpus system",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
},
|
|
{
|
|
"name": "g_PopTypeCivilianGrowthMod",
|
|
"addr": "0x009e5ac0",
|
|
"convention": "data",
|
|
"prototype": "float 0.25 -- POPTYPE[1]+0x04, the civilian growth column, read out of InitPopTypeTable's six-register fxch rotation. Independently re-derived this lane; lane N's whole table is reproduced (imperial +0x04 = 1.0 from 0x009e2ea0's neighbours, civilian +0x10/+0x14 = 0.33f from 0x009f8d48, civilian +0x1c = 0.5, civilian +0x20 = 2.0 from 0x009e5840)",
|
|
"status": "verified",
|
|
"source": "findings/subsystems/population-growth.md (lane G3 2026-09-08)"
|
|
}
|
|
]
|
|
}
|