Add CCS study tools and case reporting

2026-07-15 10:43:03 -05:00
parent 7256f93002
commit 9f379cda5c
13 changed files with 542 additions and 56 deletions
@@ -378,7 +378,7 @@ public sealed class CcsStore
        };
    }

-    private async Task<CcsCaseRevision> DefinitionAsync(CcsAttempt attempt) =>
+    public async Task<CcsCaseRevision> DefinitionAsync(CcsAttempt attempt) =>
        await _cases.Find(value => value.Id == attempt.CaseRevisionId).FirstOrDefaultAsync()
        ?? throw new InvalidOperationException("The case revision is unavailable.");