ID: 188
File: src/physics/rrtmg/ext/rrtmg_lw/rrtmg_lw_taumol.f90
Kind: subroutine
Status: done
Auto status: partial
Manual status: done
Covered LOC: 59
Covered lines: 32-374
Routine lines: 32-374
Evidence: file_touched_since_start=true
Note: commit 4d113f1; job 6326330.desched1; selectors RRTMG_LW_TAUGB*_IMPL=codon; proof taumol implementation = codon; child LW band proofs present; compare overall_numeric_equal=True
| Time | Type | Commit | Source | Note |
|---|---|---|---|---|
| 2026-06-01T09:34:36+00:00 | manual_status | remote-api | manual_status=done; commit 4d113f1; job 6326330.desched1; selectors RRTMG_LW_TAUGB*_IMPL=codon; proof taumol implementation = codon; child LW band proofs present; compare overall_numeric_equal=True | |
| 2026-06-01T09:16:47+00:00 | manual_status | remote-api | manual_status=processing; agent Codex; add same-routine parent proof for validated RRTMG LW taumol child Codon path | |
| 2026-05-31T09:13:26+00:00 | manual_status | remote-api | manual_status=partial; agent w06 partial100-loc fail-closed 2026-05-31: skipped large LW taumol kernel; no source patch committed; same-routine audit false, no taumol_codon call/proof. Not promoted without full kernel port and BFB same-routine execution. | |
| 2026-05-25T05:03:26+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=partial; commits=e352926; codon_defs=rrtmg_lw_taugb10_codon;rrtmg_lw_taugb11_codon;rrtmg_lw_taugb14_codon; fortran_calls=rrtmg_lw_taugb10_codon;rrtmg_lw_taugb11_codon;rrtmg_lw_taugb14_codon | |
| 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=partial; commits=e352926; codon_defs=rrtmg_lw_taugb10_codon;rrtmg_lw_taugb11_codon;rrtmg_lw_taugb14_codon; fortran_calls=rrtmg_lw_taugb10_codon;rrtmg_lw_taugb11_codon;rrtmg_lw_taugb14_codon | |
| 2026-05-25T02:38:05+00:00 | coverage_import | /glade/derecho/scratch/ruitong/tmp/coverage_calc_20260518/fix_case_covered_lines.json | fixed-case covered_loc=59 |