ID: 593
File: src/dynamics/se/share/dof_mod.F90
Kind: subroutine
Status: done
Auto status: partial
Manual status: done
Covered LOC: 15
Routine LOC: 22
Codon progress source:
Covered lines: 326-361
Routine lines: 326-361
Evidence: file_touched_since_start=true
Note: worker w04 partial200; commit d63a5bf; job 6318087.desched1; proof: createuniqueindex implementation = codon; overall_numeric_equal=True; guard validate-run passed
| Time | Type | Commit | Source | Note |
|---|---|---|---|---|
| 2026-06-01T20:38:10+00:00 | routine_loc_backfill | /glade/derecho/scratch/ruitong/tmp/coverage_calc_20260518/fix_case_covered_lines.json | routine_loc=22; pristine_root=/glade/u/home/ruitong/code/code_new/iCESM1.3.1_fzhu_pristine/components/cam | |
| 2026-05-31T01:59:37+00:00 | manual_status | remote-api | manual_status=done; worker w04 partial200; commit d63a5bf; job 6318087.desched1; proof: createuniqueindex implementation = codon; overall_numeric_equal=True; guard validate-run passed | |
| 2026-05-31T01:42:24+00:00 | manual_status | remote-api | manual_status=partial; partial200 fail-closed after retry: no accepted same-routine proof/BFB closure in batch; leave partial | |
| 2026-05-31T01:41:22+00:00 | manual_status | remote-api | manual_status=processing; worker w04 partial200; retry direct zero-copy Codon closure for unique-index fill after confirming int32 ABI path | |
| 2026-05-31T01:40:02+00:00 | manual_status | remote-api | manual_status=partial; partial200 w04 fail-closed; fresh job 6317764.desched1 had no same-routine proof line and no validated closure commit for this row; restored partial | |
| 2026-05-31T01:25:30+00:00 | manual_status | remote-api | manual_status=processing; worker w04 partial200; started direct same-routine Codon closure for unique-index fill | |
| 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:52+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:59+00:00 | coverage_import | /glade/derecho/scratch/ruitong/tmp/coverage_calc_20260518/fix_case_covered_lines.json | fixed-case covered_loc=15 |