diff --git a/docs/research/COMPLETE_TEST_MATRIX.md b/docs/research/COMPLETE_TEST_MATRIX.md
index 4c6a63a4..73bc07c8 100644
--- a/docs/research/COMPLETE_TEST_MATRIX.md
+++ b/docs/research/COMPLETE_TEST_MATRIX.md
@@ -103,8 +103,8 @@ For each component of the framework, we ask:
 
 | Test | Question | Input | Prediction | Receipt | Status |
 |------|----------|-------|------------|---------|--------|
-| T35 | Does CRTSidonN compile? | lake build | exit 0 | C1 | PENDING (build at 89%) |
-| T36 | Does HCMR suite compile? | lake build | exit 0, 2 sorries | C2 | PENDING (same build) |
+| T35 | Does CRTSidonN compile? | lake build | exit 0 | C1 | DONE: FAIL ❌ (errors after agent fix) |
+| T36 | Does HCMR suite compile? | lake build | exit 0, 2 sorries | C2 | DONE: PARTIAL — HCMR ✅, CacheSieve ❌, Blitter ❌, YangMills ❌, WorkloadTestbench not reached |
 | T37 | Are the proven theorems non-tautological? | Review each proof | At least sidon_preserved_mod is non-trivial | Adversarial review | DONE: sidon_preserved (componentwise) is tautological, sidon_preserved_mod is real |
 | T38 | Does native_decide use violate AGENTS.md? | helical_coverage_74 | Uses native_decide | HopfFibration.lean | DONE: YES, uses native_decide (documented exception for finite decidability) |