ID: 1013
File: src/dynamics/se/share/prim_advance_mod.F90
Kind: subroutine
Status: done
Auto status: partial
Manual status: done
Covered LOC: 5
Covered lines: 1639-1661
Routine lines: 1639-1661
Evidence: file_touched_since_start=true
Note: agent w08 partial200; commit d11003b; job 6318030.desched1; selector APPLYCAMFORCING_DYNAMICS_IMPL=codon; proof atm.log line 5173 applycamforcing_dynamics implementation = codon; compare_6318030 overall_numeric_equal=True; guard validate-run passed
| Time | Type | Commit | Source | Note |
|---|---|---|---|---|
| 2026-05-31T01:54:15+00:00 | manual_status | remote-api | manual_status=done; agent w08 partial200; commit d11003b; job 6318030.desched1; selector APPLYCAMFORCING_DYNAMICS_IMPL=codon; proof atm.log line 5173 applycamforcing_dynamics implementation = codon; compare_6318030 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: attempted direct closure lacked accepted proof/BFB evidence; leave partial | |
| 2026-05-31T01:40:29+00:00 | manual_status | remote-api | manual_status=processing; agent w08 partial200; started direct same-routine Codon closure for se_ftype=2 array updates | |
| 2026-05-31T01:36:37+00:00 | manual_status | remote-api | manual_status=partial; agent w08 partial200; left partial: fixed 50-step case has no same-routine proof/call site; routine not executed | |
| 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=5 |