Layered, sulfate-bearing Martian terrain in close range
The Cygnus Institute · Constraint Analysis 002 · Preprint

Constraint Analysis 001 predictedthat sulfate would poison the oceanand close the carbon pathway.

We tested our own claim.It is wrong.
The real constraint is thatoxygen and carbon competefor the same iron.

An original geochemical analysis. Model validated against published benchmarks. Code and figures released.

§15Constraint Analysis 002 · The Refutation

The acid problem is not real.

The test is a mass balance between the acid stored in Martian sulfate and the acid-neutralizing capacity of the basalt beneath it. Only Fe(III)-sulfate carries stored acidity. Calcium and magnesium sulfates are already charge-balanced by cations previously leached from basalt, so dissolving them changes nothing.

Acid-neutralizing capacity of Martian basalt
8.02 eq/kg
Maximum stored acidity of observed sulfate, all as Fe(III)
1.50 eq/kg
Margin. The system is net alkaline under every parameter tested
5.3×
TestResult
SO₃ required to block carbonate, all as Fe(III)-sulfate42.8 wt%
SO₃ actually observed in Martian soil5 to 8 wt%
Shortfall of the observed inventory against the blocking threshold~7×
A regolith composed entirely of jarosite6.00 eq/kg vs basalt's 8.02
Calcite saturation index across the dilute regimeSI +2.9 to +5.6, supersaturated
Even a regolith made entirely of jarosite cannot acidify a Martian ocean past the buffering capacity of the basalt beneath it.

Mars looks acidic because its water-to-rock ratio has always been tiny. A thin reaction rind dissolves its soluble sulfate completely while the silicate beneath contributes almost none of its buffering capacity, and acid wins locally. Hurowitz et al. (2006) identified exactly this mechanism for observed Mars. Ocean-scale water-to-rock ratio inverts it. The mineralogy is evidence about the regime Mars has occupied, not the regime terraforming would create.

Constraint Analysis 002 · The Real Constraint

The iron problem.

Carbonate precipitation consumes divalent cations. Martian basalt supplies calcium at 1.236, magnesium at 2.248, and iron at 2.533 mol/kg. Iron is the most abundant of the three, and ancient Martian carbonate is dominantly siderite, FeCO₃. Under an oxygenated atmosphere, dissolved Fe(II) oxidizes within seconds at circumneutral pH and precipitates as ferric oxide. It is then permanently unavailable.

Depth of crust weathered per bar CO₂ · log scale
89 m
Available cations
2.73 mol/kg
ANCIENT MARS

Iron is available. Carbon buries as siderite, the pathway ancient Mars actually used.

Iron is oxidized and lost. Only calcium and magnesium remain.

Magnesite does not nucleate at ocean temperatures. Calcium alone must carry the entire budget.

Share of the carbonate cation budget supplied by iron, lost on oxygenation
42%
The oxygenation that makes Mars breathable destroys 42% of its carbon burial capacity.
Constraint Analysis 002 · Scaling

The cost of the atmosphere you choose to build.

CO₂ removedAnoxicOxic (Ca+Mg)Oxic (Ca only)
10 mbar0.46 m0.89 m5.0 m
100 mbar4.6 m8.9 m50 m
1000 mbar46 m89 m502 m
Drawing a 20 mbar endogenous atmosphere below the breathability ceiling requires weathering about one metre of crust. Removing a full bar requires 89 to 503 metres and ten million years. This is the second independent argument against building a thick CO₂ atmosphere.
Methods and limitations

Model. Plummer & Busenberg (1982) carbonic acid and calcite constants, Millero (1995) for K_w, Davies activity coefficients, proton-promoted basalt dissolution kinetics after Gislason & Oelkers (2003). Composition: Taylor & McLennan (2009) average Martian crust, with Rocknest soil as sensitivity end-member. No fitted parameters.

Validation. pK₁ 6.352 against 6.35. pK₂ 10.329 against 10.33. Calcite-saturated water at pCO₂ 10⁻³·⁵: model gives 0.485 mmol/kg Ca and pH 8.28, against textbook 0.50 and 8.3.

Limitations, stated. Davies is reliable to ionic strength 0.5 mol/kg. Benchmarked against seawater the model overestimates pH by ~0.3 units, so all quantitative pH claims here are restricted to the dilute regime and the concentrated magnesium-sulfate brine regime requires a Pitzer treatment. This is the largest methodological gap. Batch equilibration stands in for reactive transport. Magnesite kinetics are bounded, not modeled. Redox is imposed, not computed.

Status. Preprint. Not peer reviewed. https://doi.org/10.5281/zenodo.21452137