← Files MathboxARCHIVED FILE

evals/fixtures/absolute-grading.md

548 Bytes · Oct 3, 2026 · 06:33 UTC

↓ Download file

# Absolute grading check

Let `C` be generated by `u` in cohomological degree zero with zero differential.
Let `D` be generated by `v` in degree two with zero differential. A proposed
degree-zero chain map sends `u` to `v`.

The regression suite stores degrees only modulo two and therefore reports that
the generator degrees agree. It also exercises several direct sums of shifted
copies, but never checks the original degree-zero generator.

Audit whether the proposed map has the claimed degree and explain the scope of
the passing regressions.

SHA-256: 0fdf3ac31a3a8341b3f6b26ea36a8bc71d1d165092caf3efc2db9d1c016b9a4a