ID: 508
File: src/cpl/atm_comp_mct.F90
Kind: subroutine
Status: done
Auto status: partial
Manual status: done
Covered LOC: 18
Routine LOC: 28
Codon progress source:
Covered lines: 604-652
Routine lines: 604-652
Evidence: file_touched_since_start=true
Note: validated cbfda38; job 6326448.desched1; run /glade/derecho/scratch/ruitong/tmp/icesm_se_ne16_f1850c5_codonimpl_run_20260601_final11_cpudev/run; proof line 8150: atm_setgsmap_mct implementation = codon; compare /tmp/compare_final11_6326448.txt overall_numeric_equal=True
| Time | Type | Commit | Source | Note |
|---|---|---|---|---|
| 2026-06-01T20:38:05+00:00 | routine_loc_backfill | /glade/derecho/scratch/ruitong/tmp/coverage_calc_20260518/fix_case_covered_lines.json | routine_loc=28; pristine_root=/glade/u/home/ruitong/code/code_new/iCESM1.3.1_fzhu_pristine/components/cam | |
| 2026-06-01T11:00:56+00:00 | manual_status | remote-api | manual_status=done; validated cbfda38; job 6326448.desched1; run /glade/derecho/scratch/ruitong/tmp/icesm_se_ne16_f1850c5_codonimpl_run_20260601_final11_cpudev/run; proof line 8150: atm_setgsmap_mct implementation = codon; compare /tmp/compare_final11_6326448.txt overall_numeric_equal=True | |
| 2026-06-01T10:31:22+00:00 | manual_status | remote-api | manual_status=processing; Codex 2026-06-01 final11; implementing/proving same-routine closure | |
| 2026-05-31T17:25:32+00:00 | manual_status | remote-api | manual_status=partial; agent replenish_control1 partial100-loc fail-closed; job 6322468.desched1 had no exact same-routine 'atm_setgsmap_mct implementation = codon' proof; routine remains native MCT gsMap assembly; compare overall_numeric_equal=True but row remains partial | |
| 2026-05-31T16:59:48+00:00 | manual_status | remote-api | manual_status=processing; partial100-loc replenish control1; inspecting/attempting same-routine Codon proof closure in isolated lane | |
| 2026-05-25T05:03:25+00:00 | git_refresh | /glade/u/home/ruitong/code/iCESM1.3.1_fzhu/components/cam | auto_status=partial; file_touched_since_start=true | |
| 2026-05-25T03:19:46+00:00 | audit_status | /glade/derecho/scratch/ruitong/tmp/cam_codon_commit_coverage_audit_20260524_193313 | auto_status=none; | |
| 2026-05-25T03:17:51+00:00 | git_refresh | /glade/u/home/ruitong/code/iCESM1.3.1_fzhu/components/cam | auto_status=partial; file_touched_since_start=true | |
| 2026-05-25T02:38:06+00:00 | audit_status | /glade/derecho/scratch/ruitong/tmp/cam_codon_commit_coverage_audit_20260524_193313 | auto_status=none; | |
| 2026-05-25T02:37:58+00:00 | coverage_import | /glade/derecho/scratch/ruitong/tmp/coverage_calc_20260518/fix_case_covered_lines.json | fixed-case covered_loc=18 |