decomp_left_div

Back

ID: 683

File: src/utils/linear_1d_operators.F90

Kind: subroutine

Status: done

Auto status: partial

Manual status: done

Covered LOC: 12

Routine LOC: 22

Coverage:
12 / 22 LOC (54.5%)
Codon:
unknown

Codon progress source:

Covered lines: 1126-1165

Routine lines: 1126-1165

Evidence: file_touched_since_start=true

Note: commit 95f1142; selector VDIFF_LU_SOLVER_IMPL=codon DIFFUSION_SOLVER_TRIDIAG_IMPL=native; job 6325818.desched1; run /glade/derecho/scratch/ruitong/tmp/icesm_se_ne16_f1850c5_codonimpl_run_20260531_232423_linear1d_strict_cpudev/run; atm.log proof 'decomp_left_div implementation = codon'; compare /tmp/compare_linear1d_strict_6325818.txt overall_numeric_equal=True

Edit Status

History

Time Type Commit Source Note
2026-06-01T20:38:47+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-06-01T05:29:46+00:00 manual_status remote-api manual_status=done; commit 95f1142; selector VDIFF_LU_SOLVER_IMPL=codon DIFFUSION_SOLVER_TRIDIAG_IMPL=native; job 6325818.desched1; run /glade/derecho/scratch/ruitong/tmp/icesm_se_ne16_f1850c5_codonimpl_run_20260531_232423_linear1d_strict_cpudev/run; atm.log proof 'decomp_left_div implementation = codon'; compare /tmp/compare_linear1d_strict_6325818.txt overall_numeric_equal=True
2026-06-01T05:11:04+00:00 manual_status remote-api manual_status=processing; Codex 2026-05-31: implementing strict same-routine Codon body for decomp_left_div; will restore partial if proof/BFB missing
2026-05-30T23:02:31+00:00 manual_status remote-api manual_status=partial; agent w03 partial200; not closed: fixed-case active path did not execute decomp_left_div proof line; job 6316374.desched1 had no same-routine proof
2026-05-30T22:25:31+00:00 manual_status remote-api manual_status=processing; agent w03 partial200; started direct same-routine Codon closure
2026-05-25T05:03:27+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:38:06+00:00 coverage_import /glade/derecho/scratch/ruitong/tmp/coverage_calc_20260518/fix_case_covered_lines.json fixed-case covered_loc=12