proof · Gravity
Nontrivial Einstein sector
Openqueue2026-08-13
Explicit next proof obligation in the Kartekeya repo. Linearized intertwiner is closed; the nontrivial sector is not.
Sources
- NEXT_PROOF_OBLIGATIONGitHub · primary
proof · Gravity
Explicit next proof obligation in the Kartekeya repo. Linearized intertwiner is closed; the nontrivial sector is not.