Calculation and figure traceability
Follow a result to its executed notebook, derivation, exact source function and numerical receipt. The underlying machine-readable map is calculation_map.json.
Evidence boundaries. Numerical execution, independent mathematical checks, convergence and experimental validation are separate. The seven empirical gaps have no invented executable prediction. Retained legacy calculations remain distinct from the new transport calculation. GHM rare-path convergence is incomplete.
25 mapped scopes · 17 figure IDs · 5/5 notebooks recorded as executed in fresh kernels
Calculation index
The status below is the retained calculation status. Notebook execution is listed separately in each record. A passed algebra check does not close an empirical gap.
| Scope | Title | Retained status | Review notebooks |
|---|---|---|---|
| R4-RT | Finite-cylinder photon transport | EXECUTED; GHM NUMERICAL CONVERGENCE INCOMPLETE | 02_transport |
| R4-MORPH | Practical waveform discrimination | EXECUTED CONDITIONAL SYNTHETIC CLASSIFIER | 03_statistics |
| R4-ORACLE | Known-model statistical reference | RERUN / CONTROLLED IDEAL REFERENCE | 03_statistics |
| R4-COUNT | Poisson count inference and the red-channel null | EXECUTED CONDITIONAL COUNT INFERENCE | 03_statistics |
| R4-REFLECTION | Above-cloud Lambert reflection limit | FRESH RERUN / CONDITIONAL | 04_analytic_diagnostics |
| R4-AURORAL_COUNTS | Auroral radiance to detected counts | FRESH RERUN / CONDITIONAL | 04_analytic_diagnostics |
| R4-DEADTIME | Ideal count-loss models | FRESH RERUN / CONDITIONAL | 04_analytic_diagnostics |
| R4-DIFFUSION | Diffusion timing and identifiability | FRESH RERUN / CONDITIONAL | 04_analytic_diagnostics |
| R4-FOV_POPULATION | Conditional field-of-view and population trade | FRESH RERUN / CONDITIONAL | 04_analytic_diagnostics |
| R4-RAYLEIGH | Pressure-column molecular scattering | FRESH RERUN / CONDITIONAL | 04_analytic_diagnostics |
| R4-BACKGROUND_COMPONENTS | Selected background component folds | FRESH RERUN / CONDITIONAL | 04_analytic_diagnostics |
| R4-ETENDUE | Etendue and optical size bounds | EXECUTED CONDITIONAL ALGEBRA | 01_units_budget_optics |
| R4-FILTER | Filter angle shift and hypothetical spectral capture | EXECUTED CONDITIONAL ALGEBRA | 01_units_budget_optics |
| R4-SAMPLING | Sampling and phase sensitivity | EXECUTED CONDITIONAL ALGEBRA | 01_units_budget_optics |
| R4-DROOP | AC-coupling droop | EXECUTED CONDITIONAL ALGEBRA | 01_units_budget_optics |
| R4-BLOCKING | Out-of-band blocking requirement | EXECUTED CONDITIONAL ALGEBRA | 01_units_budget_optics |
| R4-NEP | Noise-equivalent power algebra | EXECUTED CONDITIONAL ALGEBRA | 01_units_budget_optics |
| R4-BUDGET | Conditional photon and detection budget | EXECUTED CONDITIONAL ALGEBRA | 01_units_budget_optics |
| GAP-POLAR-BG | Polar night background distribution | BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT | 00_review_index 01_units_budget_optics |
| GAP-MOON | Moonlight crossover | BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT | 00_review_index 01_units_budget_optics |
| GAP-RATE | Useful orbital detection rate | BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT | 00_review_index 04_analytic_diagnostics |
| GAP-THERMAL | Minimum thermal red-to-UV ratio | BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT | 00_review_index 03_statistics |
| GAP-LIFETIME | Receiver degradation over the mission | BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT | 00_review_index 01_units_budget_optics |
| GAP-CURRENT | Discharge-current inversion | BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT | 00_review_index 02_transport |
| GAP-N2-SPECTRUM | Validated nitrogen spectrum and filter optimum | BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT | 00_review_index 01_units_budget_optics |
R4-RT · Finite-cylinder photon transport
EXECUTED; GHM NUMERICAL CONVERGENCE INCOMPLETE
Review coverage: All56direct rays,native288batch fluence/SE/covariance bookkeeping and light HG/first-scatter/pulse checks. GHM normalization cannot be independently recomputed without absent raw LUT.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: GHM rare forward-path variance is not uniformly converged; no event-specific cloud, gas/aerosol/polarization model or validated depth classifier.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 02 Transport: equations, native kernels and a worked photon | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/transport.md | R1, P1, P2, D1, D2, N1, N2, N3, T1, T2, T3, T4, U1, U2, S1 | equation_derivation |
Independent review functions (7)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| independent_direct | modules/transport_review.py Lines 26–35 | PYTHON_AST MAPPED | independent_light_reviewSHA-256acadbcb78952983dc2c8711eb0d0dc2d728ffb1ebabdffb4544fadb5ddeae535 |
| audit_native | modules/transport_review.py Lines 43–93 | PYTHON_AST MAPPED | independent_light_reviewSHA-256acadbcb78952983dc2c8711eb0d0dc2d728ffb1ebabdffb4544fadb5ddeae535 |
| hg_check | modules/transport_review.py Lines 94–110 | PYTHON_AST MAPPED | independent_light_reviewSHA-256acadbcb78952983dc2c8711eb0d0dc2d728ffb1ebabdffb4544fadb5ddeae535 |
| isotropic_first_scatter_gain | modules/transport_review.py Lines 117–132 | PYTHON_AST MAPPED | independent_light_reviewSHA-256acadbcb78952983dc2c8711eb0d0dc2d728ffb1ebabdffb4544fadb5ddeae535 |
| independent_pulse | modules/transport_review.py Lines 173–188 | PYTHON_AST MAPPED | independent_light_reviewSHA-256acadbcb78952983dc2c8711eb0d0dc2d728ffb1ebabdffb4544fadb5ddeae535 |
| worked_hg_packet | modules/transport_review.py Lines 190–228 | PYTHON_AST MAPPED | independent_light_reviewSHA-256acadbcb78952983dc2c8711eb0d0dc2d728ffb1ebabdffb4544fadb5ddeae535 |
| convergence_comparison | modules/transport_review.py Lines 133–139 | PYTHON_AST MAPPED | independent_light_reviewSHA-256acadbcb78952983dc2c8711eb0d0dc2d728ffb1ebabdffb4544fadb5ddeae535 |
Retained original functions (12)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| load_phases | reference/cloud/engine_snapshot.py Lines 50–72 | PYTHON_AST MAPPED | retained_original_implementationSHA-256df237155a0fb26be921877d1aabdc340a6a68360314ddc36805459c4538ad159 |
| Phase.pdf_sr | reference/cloud/engine_snapshot.py Lines 34–34 | PYTHON_AST MAPPED | retained_original_implementationSHA-256df237155a0fb26be921877d1aabdc340a6a68360314ddc36805459c4538ad159 |
| Phase.sample_mu | reference/cloud/engine_snapshot.py Lines 35–36 | PYTHON_AST MAPPED | retained_original_implementationSHA-256df237155a0fb26be921877d1aabdc340a6a68360314ddc36805459c4538ad159 |
| intervals | reference/cloud/engine_snapshot.py Lines 84–108 | PYTHON_AST MAPPED | retained_original_implementationSHA-256df237155a0fb26be921877d1aabdc340a6a68360314ddc36805459c4538ad159 |
| segment_inside | reference/cloud/engine_snapshot.py Lines 110–112 | PYTHON_AST MAPPED | retained_original_implementationSHA-256df237155a0fb26be921877d1aabdc340a6a68360314ddc36805459c4538ad159 |
| launch | reference/cloud/engine_snapshot.py Lines 125–133 | PYTHON_AST MAPPED | retained_original_implementationSHA-256df237155a0fb26be921877d1aabdc340a6a68360314ddc36805459c4538ad159 |
| simulate | reference/cloud/engine_snapshot.py Lines 135–249 | PYTHON_AST MAPPED | retained_original_implementationSHA-256df237155a0fb26be921877d1aabdc340a6a68360314ddc36805459c4538ad159 |
| main | reference/cloud/runner_snapshot.py Lines 6–66 | PYTHON_AST MAPPED | retained_original_implementationSHA-2563e8edc5ed3cdd15b392e59866064ead7ee560b7101c26d5a5145e9a9fb328480 |
| main | reference/cloud/postprocess.py Lines 17–147 | PYTHON_AST MAPPED | retained_original_implementationSHA-2565cf897be080077db6fd3b10d19c4fe13052af46ae695b6a2007680c7be487e45 |
| source_parameters | reference/cloud/timing_metrics.py Lines 110–136 | PYTHON_AST MAPPED | retained_original_implementationSHA-256378eade60298b027b55977680e0e0dd24a3ce5de1c11997f887d163722dee36f |
| propagate_waveform | reference/cloud/timing_metrics.py Lines 211–229 | PYTHON_AST MAPPED | retained_original_implementationSHA-256378eade60298b027b55977680e0e0dd24a3ce5de1c11997f887d163722dee36f |
| waveform_metrics | reference/cloud/timing_metrics.py Lines 64–90 | PYTHON_AST MAPPED | retained_original_implementationSHA-256378eade60298b027b55977680e0e0dd24a3ce5de1c11997f887d163722dee36f |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/cloud_results.json | cases | retained_numerical_input |
| data/cloud_QA.json | None | retained_numerical_input |
| data/cloud_validation_summary.json | None | retained_numerical_input |
Figures: cloud-fluence, cloud-impulse, cloud-waveform
Related numerical receipts (context does not close remaining limits)
- Expected unresolved GHM point-nadir rare-path convergence; no physical GHM/HG timing-bias or depth-classifier claim.
R4-MORPH · Practical waveform discrimination
EXECUTED CONDITIONAL SYNTHETIC CLASSIFIER
Review coverage: Independent explicit-bin worked fit and reconstruction of81saved trial-summary scenarios; not an independent refit of every original pulse.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: ln(19) margin is not calibrated 95%confidence; real depth labels, search FAR, particle artifacts and real waveform diversity absent.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 03 — Poisson detection, pulse morphology and red upper limits | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/statistics.md | S03, S04, S07, S13, S14, S15, S16, S17, S18, S19 | equation_derivation |
Independent review functions (6)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| q_integrals | modules/statistics_review.py Lines 131–132 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| poisson_loglik | modules/statistics_review.py Lines 134–137 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| nuisance_profile | modules/statistics_review.py Lines 139–154 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| worked_example | modules/statistics_review.py Lines 156–197 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| confusion_checks | modules/statistics_review.py Lines 272–320 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| mc_intervals | modules/statistics_review.py Lines 115–125 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
Retained original functions (7)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| primitive | reference/statistics/practical_morphology.py Lines 25–27 | PYTHON_AST MAPPED | retained_original_implementationSHA-25608df8f61294885ba658d75ae23bc3a7bb6511ffd01f9608a0de5a143f33f477c |
| source_integrals | reference/statistics/practical_morphology.py Lines 29–30 | PYTHON_AST MAPPED | retained_original_implementationSHA-25608df8f61294885ba658d75ae23bc3a7bb6511ffd01f9608a0de5a143f33f477c |
| fit_one | reference/statistics/practical_morphology.py Lines 57–109 | PYTHON_AST MAPPED | retained_original_implementationSHA-25608df8f61294885ba658d75ae23bc3a7bb6511ffd01f9608a0de5a143f33f477c |
| profile | reference/statistics/practical_morphology.py Lines 111–124 | PYTHON_AST MAPPED | retained_original_implementationSHA-25608df8f61294885ba658d75ae23bc3a7bb6511ffd01f9608a0de5a143f33f477c |
| draw_case | reference/statistics/practical_morphology.py Lines 138–152 | PYTHON_AST MAPPED | retained_original_implementationSHA-25608df8f61294885ba658d75ae23bc3a7bb6511ffd01f9608a0de5a143f33f477c |
| analyze_case | reference/statistics/practical_morphology.py Lines 154–210 | PYTHON_AST MAPPED | retained_original_implementationSHA-25608df8f61294885ba658d75ae23bc3a7bb6511ffd01f9608a0de5a143f33f477c |
| run | reference/statistics/practical_morphology.py Lines 277–359 | PYTHON_AST MAPPED | retained_original_implementationSHA-25608df8f61294885ba658d75ae23bc3a7bb6511ffd01f9608a0de5a143f33f477c |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/statistics_results.json | practical_morphology | retained_numerical_input |
Figures: classification
Related numerical receipts (context does not close remaining limits)
- Received morphology is not depth; ln19 rejection margin is not calibrated95%confidence.
R4-ORACLE · Known-model statistical reference
RERUN / CONTROLLED IDEAL REFERENCE
Review coverage: Retained oracle provenance and associated count/interval context; no independent reconstruction of the full affinity-bound grid in current review module.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Oracle performance is not achieved by a practical unknown-parameter receiver.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 03 — Poisson detection, pulse morphology and red upper limits | Executed in a fresh kernel | context_and_original_source_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/statistics.md | S03, S05, S06, S18, S19 | context_only |
Independent review functions (2)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| count_checks | modules/statistics_review.py Lines 210–270 | PYTHON_AST MAPPED | associated_context_onlySHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| mc_intervals | modules/statistics_review.py Lines 115–125 | PYTHON_AST MAPPED | associated_context_onlySHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
Retained original functions (3)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| integral | reference/statistics/oracle_reference/calculate_ideal_poisson_rise.py Lines 13–17 | PYTHON_AST MAPPED | retained_original_implementationSHA-256542d4cc4495b0e7d379b3d6071bc668d904533567638ccca35853ac56abc3269 |
| experiment | reference/statistics/oracle_reference/calculate_ideal_poisson_rise.py Lines 18–27 | PYTHON_AST MAPPED | retained_original_implementationSHA-256542d4cc4495b0e7d379b3d6071bc668d904533567638ccca35853ac56abc3269 |
| affinity_bounds | reference/statistics/oracle_reference/calculate_ideal_poisson_rise.py Lines 28–38 | PYTHON_AST MAPPED | retained_original_implementationSHA-256542d4cc4495b0e7d379b3d6071bc668d904533567638ccca35853ac56abc3269 |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Same-generator ideal binary comparison | reference/statistics/oracle_same_generator.py Lines 8–47 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-2560daa24e06f3caf04f6458e89b19fa65f9ff6e3eabcd4c24bd270b7a537106432 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/statistics_results.json | oracle_reference | retained_numerical_input |
| data/statistics_results.json | oracle_current_generator | retained_numerical_input |
Related numerical receipts (context does not close remaining limits)
- Methods equations listed here concern associated count statistics,not a new independent affinity derivation. Missing independent affinity verification is explicit.
R4-COUNT · Poisson count inference and the red-channel null
EXECUTED CONDITIONAL COUNT INFERENCE
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: No physical minimum thermal 777/337 ratio; no full adaptive operational trigger/particle false-alarm model.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 03 — Poisson detection, pulse morphology and red upper limits | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/statistics.md | S01, S02, S03, S04, S05, S06, S07, S08, S09, S10, S11, S12, S18, S19 | equation_derivation |
Independent review functions (8)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| critical_known | modules/statistics_review.py Lines 65–75 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| direct_poisson_tail | modules/statistics_review.py Lines 41–63 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| required_signal_known | modules/statistics_review.py Lines 77–86 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| onoff_pvalue | modules/statistics_review.py Lines 88–92 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| direct_onoff_tail | modules/statistics_review.py Lines 94–101 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| source_upper_known | modules/statistics_review.py Lines 103–105 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| source_upper_off | modules/statistics_review.py Lines 107–113 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| count_checks | modules/statistics_review.py Lines 210–270 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
Retained original functions (8)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| alpha_for_search | reference/statistics/count_inference/count_inference.py Lines 65–75 | PYTHON_AST MAPPED | retained_original_implementationSHA-2564e4e25ae4db608500fb51c8406b599a7ee8efb92a3adee0f49e8a6d2a45eba9c |
| count_threshold_known_background | reference/statistics/count_inference/count_inference.py Lines 78–93 | PYTHON_AST MAPPED | retained_original_implementationSHA-2564e4e25ae4db608500fb51c8406b599a7ee8efb92a3adee0f49e8a6d2a45eba9c |
| exact_onoff_pvalue | reference/statistics/count_inference/count_inference.py Lines 96–105 | PYTHON_AST MAPPED | retained_original_implementationSHA-2564e4e25ae4db608500fb51c8406b599a7ee8efb92a3adee0f49e8a6d2a45eba9c |
| count_threshold_onoff | reference/statistics/count_inference/count_inference.py Lines 108–130 | PYTHON_AST MAPPED | retained_original_implementationSHA-2564e4e25ae4db608500fb51c8406b599a7ee8efb92a3adee0f49e8a6d2a45eba9c |
| poisson_total_mean_upper | reference/statistics/count_inference/count_inference.py Lines 133–137 | PYTHON_AST MAPPED | retained_original_implementationSHA-2564e4e25ae4db608500fb51c8406b599a7ee8efb92a3adee0f49e8a6d2a45eba9c |
| poisson_total_mean_lower | reference/statistics/count_inference/count_inference.py Lines 140–144 | PYTHON_AST MAPPED | retained_original_implementationSHA-2564e4e25ae4db608500fb51c8406b599a7ee8efb92a3adee0f49e8a6d2a45eba9c |
| red_source_upper_known_background | reference/statistics/count_inference/count_inference.py Lines 147–153 | PYTHON_AST MAPPED | retained_original_implementationSHA-2564e4e25ae4db608500fb51c8406b599a7ee8efb92a3adee0f49e8a6d2a45eba9c |
| red_source_upper_finite_baseline | reference/statistics/count_inference/count_inference.py Lines 156–170 | PYTHON_AST MAPPED | retained_original_implementationSHA-2564e4e25ae4db608500fb51c8406b599a7ee8efb92a3adee0f49e8a6d2a45eba9c |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/statistics_results.json | exact_count_inference | retained_numerical_input |
Figures: budget-threshold
Related numerical receipts (context does not close remaining limits)
R4-REFLECTION · Above-cloud Lambert reflection limit
FRESH RERUN / CONDITIONAL
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Not a universal cloud enhancement or a fit to observed NBE rises.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 04. Clear-air and ideal-model diagnostics | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | P04, P05 | equation_derivation |
Independent review functions (6)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| LambertPlane | modules/design_review.py Lines 210–239 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| LambertPlane.density | modules/design_review.py Lines 218–220 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| LambertPlane.delay | modules/design_review.py Lines 221–223 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| LambertPlane.integral | modules/design_review.py Lines 224–224 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| LambertPlane.received_ramp | modules/design_review.py Lines 229–233 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| LambertPlane.rise | modules/design_review.py Lines 234–239 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original functions (3)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| integrate_x | reference/analytic/reflection.py Lines 10–12 | PYTHON_AST MAPPED | retained_original_implementationSHA-256b10a9b2f93701aa2bdc8a16a95748dd3da3ff5734a0d9b217b55120eea86bc74 |
| setup | reference/analytic/reflection.py Lines 13–28 | PYTHON_AST MAPPED | retained_original_implementationSHA-256b10a9b2f93701aa2bdc8a16a95748dd3da3ff5734a0d9b217b55120eea86bc74 |
| rise | reference/analytic/reflection.py Lines 30–48 | PYTHON_AST MAPPED | retained_original_implementationSHA-256b10a9b2f93701aa2bdc8a16a95748dd3da3ff5734a0d9b217b55120eea86bc74 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/analytic_results.json | reflection | retained_numerical_input |
Figures: reflection
Related numerical receipts (context does not close remaining limits)
- Instantaneous Lambert plane; no cloud residence or real BRDF validation.
R4-AURORAL_COUNTS · Auroral radiance to detected counts
FRESH RERUN / CONDITIONAL
Review coverage: Radiance/count conversion and exact count requirement context. Brightness is an assumed input,not a Kp-conditioned auroral climatology.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: No Kp-conditioned scene distribution; count-loss diagnostics do not restore Poisson statistics.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 04. Clear-air and ideal-model diagnostics | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | D01, D02, D05 | equation_derivation |
| methods/statistics.md | S05, S06 | associated_count_threshold_theory |
Independent review functions (5)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| photon_energy | modules/design_review.py Lines 51–54 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| circular_angles | modules/design_review.py Lines 56–59 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| continuum_rate | modules/design_review.py Lines 77–81 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| critical_known | modules/statistics_review.py Lines 65–75 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
| required_signal_known | modules/statistics_review.py Lines 77–86 | PYTHON_AST MAPPED | independent_light_reviewSHA-2566d3c84d3870d9447a2655842069c3756e19b732d33763bd6991343dd34985527 |
Retained original functions (3)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| poisson_sf | reference/analytic/count_requirements.py Lines 18–36 | PYTHON_AST MAPPED | retained_original_implementationSHA-256a19d25b61190dc8ce02a42827d85aa49b58565f8ef83b2bccfea0a8d8326f9ba |
| critical_count | reference/analytic/count_requirements.py Lines 51–58 | PYTHON_AST MAPPED | retained_original_implementationSHA-256a19d25b61190dc8ce02a42827d85aa49b58565f8ef83b2bccfea0a8d8326f9ba |
| count_at_power | reference/analytic/count_requirements.py Lines 61–68 | PYTHON_AST MAPPED | retained_original_implementationSHA-256a19d25b61190dc8ce02a42827d85aa49b58565f8ef83b2bccfea0a8d8326f9ba |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Assumed Rayleigh brightness to counts and exact threshold/power grid | reference/analytic/auroral_counts.py Lines 13–44 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-2565f56997122f2358bccce33a5b6f0a7992d6c33945bac1ce31a2ddd602e0dfbd0 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/analytic_results.json | auroral_counts | retained_numerical_input |
Figures: auroral-load
Related numerical receipts (context does not close remaining limits)
R4-DEADTIME · Ideal count-loss models
FRESH RERUN / CONDITIONAL
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Not stochastic corrected-MMIA waveform inference; afterpulsing/gain sag omitted.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 04. Clear-air and ideal-model diagnostics | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | P07 | equation_derivation |
Independent review functions (2)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| deadtime_mean | modules/design_review.py Lines 272–274 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| deadtime_fractions | modules/design_review.py Lines 276–283 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Quasi-static nonparalyzable forward mean/rise calculation | reference/analytic/deadtime.py Lines 8–31 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-256da99b28033a01ef334cd66f014135f0fcadc0b036bd2698563dc00fa1dc37e0e |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/analytic_results.json | deadtime | retained_numerical_input |
Figures: deadtime
Related numerical receipts (context does not close remaining limits)
- Forward mean only; does not restore missing counts or Poisson fluctuations.
R4-DIFFUSION · Diffusion timing and identifiability
FRESH RERUN / CONDITIONAL
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Acausal precursor; exactPDEdegeneracy need not hold in finite-speed transport.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 04. Clear-air and ideal-model diagnostics | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | P06 | equation_derivation |
Independent review functions (5)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| diffusion_kernel | modules/design_review.py Lines 241–247 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| diffusion_peak | modules/design_review.py Lines 249–251 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| diffusion_rise | modules/design_review.py Lines 253–258 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| diffusion_exit_integral | modules/design_review.py Lines 260–264 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| diffusion_cdf | modules/design_review.py Lines 266–270 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original functions (1)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| normalized_at_mode_units | reference/analytic/diffusion.py Lines 8–8 | PYTHON_AST MAPPED | retained_original_implementationSHA-2568521699a3c3703f2323e084600e895b10dab966f00763e803abd64c67c5fa66b |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Depth,uniform killing,rise,finite-window and scaling grid | reference/analytic/diffusion.py Lines 12–45 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-2568521699a3c3703f2323e084600e895b10dab966f00763e803abd64c67c5fa66b |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/analytic_results.json | diffusion | retained_numerical_input |
Figures: diffusion
Related numerical receipts (context does not close remaining limits)
- Parabolic,acausal PDE; not an early-time finite-speed RTE validation.
R4-FOV_POPULATION · Conditional field-of-view and population trade
FRESH RERUN / CONDITIONAL
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Bright-enough population proxy, not a complete detection integral or orbital event rate.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 04. Clear-air and ideal-model diagnostics | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | D02, D04, P08, P09 | equation_derivation |
Independent review functions (3)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| spherical_field | modules/design_review.py Lines 285–288 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| shell_geometry | modules/design_review.py Lines 290–295 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| population_weight | modules/design_review.py Lines 297–305 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original functions (5)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| geometry | reference/analytic/fov_population.py Lines 11–14 | PYTHON_AST MAPPED | retained_original_implementationSHA-2566dbb39b16214ab3a4cc6bea02bee0a45c1231b4b6576fad07cb47657389a190e |
| point_threshold | reference/analytic/fov_population.py Lines 15–17 | PYTHON_AST MAPPED | retained_original_implementationSHA-2566dbb39b16214ab3a4cc6bea02bee0a45c1231b4b6576fad07cb47657389a190e |
| footprint | reference/analytic/fov_population.py Lines 18–24 | PYTHON_AST MAPPED | retained_original_implementationSHA-2566dbb39b16214ab3a4cc6bea02bee0a45c1231b4b6576fad07cb47657389a190e |
| critical_count | reference/analytic/count_requirements.py Lines 51–58 | PYTHON_AST MAPPED | retained_original_implementationSHA-256a19d25b61190dc8ce02a42827d85aa49b58565f8ef83b2bccfea0a8d8326f9ba |
| count_at_power | reference/analytic/count_requirements.py Lines 61–68 | PYTHON_AST MAPPED | retained_original_implementationSHA-256a19d25b61190dc8ce02a42827d85aa49b58565f8ef83b2bccfea0a8d8326f9ba |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Assumed luminosity-slope population weights | reference/analytic/fov_population.py Lines 25–56 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-2566dbb39b16214ab3a4cc6bea02bee0a45c1231b4b6576fad07cb47657389a190e |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/analytic_results.json | fov_population | retained_numerical_input |
Figures: fov
Related numerical receipts (context does not close remaining limits)
- Conditional bright-enough weight,not a physical luminosity function or mission event rate.
R4-RAYLEIGH · Pressure-column molecular scattering
FRESH RERUN / CONDITIONAL
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: No actual polar profile, ozone/aerosol or diffuse-return solution.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 04. Clear-air and ideal-model diagnostics | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | P01, P02, P03 | equation_derivation |
Independent review functions (6)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| ReferenceAtmosphere | modules/design_review.py Lines 152–190 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| ReferenceAtmosphere.state_H | modules/design_review.py Lines 166–171 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| ReferenceAtmosphere.pressure_column | modules/design_review.py Lines 173–190 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| rayleigh_bodhaine | modules/design_review.py Lines 192–196 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| rayleigh_frozen | modules/design_review.py Lines 198–204 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| direct_fraction | modules/design_review.py Lines 206–208 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original functions (1)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| PT | reference/analytic/rayleigh.py Lines 19–25 | PYTHON_AST MAPPED | retained_original_implementationSHA-25698d4021c3791f4932b32ee8e8897c6f2f28fdbe6b87ea36bde906d8bb2cc2527 |
Retained original module-body formulas (2)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Cross-sections and USSA constants | reference/analytic/rayleigh.py Lines 4–18 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-25698d4021c3791f4932b32ee8e8897c6f2f28fdbe6b87ea36bde906d8bb2cc2527 |
| Density-column numerical integration and ballistic factors | reference/analytic/rayleigh.py Lines 28–39 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-25698d4021c3791f4932b32ee8e8897c6f2f28fdbe6b87ea36bde906d8bb2cc2527 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/analytic_results.json | rayleigh | retained_numerical_input |
Related numerical receipts (context does not close remaining limits)
- Separate standard pressure/density column and frozen7.2km exponential audit; direct beam only,no gas/aerosol/diffuse-return solution.
R4-BACKGROUND_COMPONENTS · Selected background component folds
FRESH RERUN / CONDITIONAL
Review coverage: Original continuum/starlight folding code retained. Light review currently supplies related unit/count conversion only; no independent fold/cube reconstruction.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Not total nadir polar background, microsecond variability or occurrence-weighted night distribution.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 04. Clear-air and ideal-model diagnostics | Executed in a fresh kernel | context_and_original_source_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | D01, D05 | context_only |
Independent review functions (2)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| photon_energy | modules/design_review.py Lines 51–54 | PYTHON_AST MAPPED | associated_context_onlySHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| continuum_rate | modules/design_review.py Lines 77–81 | PYTHON_AST MAPPED | associated_context_onlySHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original functions (2)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| bandfold | reference/analytic/background_components.py Lines 13–17 | PYTHON_AST MAPPED | retained_original_implementationSHA-256fce39f8de4986edf909b4b7ab88cab22e8fbc549d72e0515eea1c536b6c3b305 |
| nest_vectors | reference/analytic/background_components.py Lines 18–31 | PYTHON_AST MAPPED | retained_original_implementationSHA-256fce39f8de4986edf909b4b7ab88cab22e8fbc549d72e0515eea1c536b6c3b305 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/analytic_results.json | background_components | retained_numerical_input |
Related numerical receipts (context does not close remaining limits)
- The listed design equations/functions are context,not independent verification of Paranal continuum or starlight cubes. Not total polar-night radiance.
R4-ETENDUE · Etendue and optical size bounds
EXECUTED CONDITIONAL ALGEBRA
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: No actual ray-traced1U optical prescription.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | D02, D06 | equation_derivation |
Independent review functions (2)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| circular_angles | modules/design_review.py Lines 56–59 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| etendue_bounds | modules/design_review.py Lines 83–89 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Original etendue formula/parameter-loop implementation | reference/design/calculate_design_scenarios.py Lines 26–36 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-25699c13e936a89a11bbca8db09c6330e2ff49a1601891982e2b67b72f7f342f8f5 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/design_results.json | etendue | retained_numerical_input |
Related numerical receipts (context does not close remaining limits)
- Original physical formula is top-level code where no numerical callable is declared; source region is linked explicitly.
R4-FILTER · Filter angle shift and hypothetical spectral capture
EXECUTED CONDITIONAL ALGEBRA
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Not an N2band reconstruction or flight optimum; coating maps and source spectrum missing.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | D07, D08, D09 | equation_derivation |
Independent review functions (4)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| shifted_center | modules/design_review.py Lines 91–93 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| gaussian_overlap | modules/design_review.py Lines 98–101 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| gaussian_overlap_integral | modules/design_review.py Lines 103–106 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| gaussian_equivalent_band | modules/design_review.py Lines 108–110 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Original parametric_filter formula/parameter-loop implementation | reference/design/calculate_design_scenarios.py Lines 37–57 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-25699c13e936a89a11bbca8db09c6330e2ff49a1601891982e2b67b72f7f342f8f5 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/design_results.json | parametric_filter | retained_numerical_input |
Figures: filter-shift, filter-capture
Related numerical receipts (context does not close remaining limits)
- Original physical formula is top-level code where no numerical callable is declared; source region is linked explicitly.
R4-SAMPLING · Sampling and phase sensitivity
EXECUTED CONDITIONAL ALGEBRA
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: No actual source or receiver noise/shape validation.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | D14 | equation_derivation |
Independent review functions (2)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| ramp_bin_average | modules/design_review.py Lines 133–139 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| sampled_rise | modules/design_review.py Lines 141–150 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original functions (2)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| integrate_ramp | reference/design/calculate_design_scenarios.py Lines 15–17 | PYTHON_AST MAPPED | retained_original_implementationSHA-25699c13e936a89a11bbca8db09c6330e2ff49a1601891982e2b67b72f7f342f8f5 |
| sample_rise | reference/design/calculate_design_scenarios.py Lines 18–24 | PYTHON_AST MAPPED | retained_original_implementationSHA-25699c13e936a89a11bbca8db09c6330e2ff49a1601891982e2b67b72f7f342f8f5 |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Original sampling_phase formula/parameter-loop implementation | reference/design/calculate_design_scenarios.py Lines 58–65 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-25699c13e936a89a11bbca8db09c6330e2ff49a1601891982e2b67b72f7f342f8f5 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/design_results.json | sampling_phase | retained_numerical_input |
Figures: sampling-wave, sampling-phase
Related numerical receipts (context does not close remaining limits)
- Original physical formula is top-level code where no numerical callable is declared; source region is linked explicitly.
R4-DROOP · AC-coupling droop
EXECUTED CONDITIONAL ALGEBRA
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Whole readout overload/baseline recovery must be measured.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | D13 | equation_derivation |
Independent review functions (1)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| hp_droop_timeconstant | modules/design_review.py Lines 128–131 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Original ac_coupling formula/parameter-loop implementation | reference/design/calculate_design_scenarios.py Lines 66–73 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-25699c13e936a89a11bbca8db09c6330e2ff49a1601891982e2b67b72f7f342f8f5 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/design_results.json | ac_coupling | retained_numerical_input |
Related numerical receipts (context does not close remaining limits)
- Original physical formula is top-level code where no numerical callable is declared; source region is linked explicitly.
R4-BLOCKING · Out-of-band blocking requirement
EXECUTED CONDITIONAL ALGEBRA
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Actual spectra and full blocking response required.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | D11 | equation_derivation |
Independent review functions (1)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| blocking_od | modules/design_review.py Lines 120–122 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Original blocking_allocation formula/parameter-loop implementation | reference/design/calculate_design_scenarios.py Lines 74–80 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-25699c13e936a89a11bbca8db09c6330e2ff49a1601891982e2b67b72f7f342f8f5 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/design_results.json | blocking_allocation | retained_numerical_input |
Figures: blocking
Related numerical receipts (context does not close remaining limits)
- Original physical formula is top-level code where no numerical callable is declared; source region is linked explicitly.
R4-NEP · Noise-equivalent power algebra
EXECUTED CONDITIONAL ALGEBRA
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Not detector-class or end-of-life NEP.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | D01, D10, D12 | equation_derivation |
Independent review functions (4)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| photon_energy | modules/design_review.py Lines 51–54 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| dark_nep | modules/design_review.py Lines 124–126 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| electrical_enbw_first_order | modules/design_review.py Lines 112–114 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| boxcar_enbw | modules/design_review.py Lines 116–118 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Original dark_only_nep formula/parameter-loop implementation | reference/design/calculate_design_scenarios.py Lines 81–91 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-25699c13e936a89a11bbca8db09c6330e2ff49a1601891982e2b67b72f7f342f8f5 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/design_results.json | dark_only_nep | retained_numerical_input |
Figures: nep
Related numerical receipts (context does not close remaining limits)
- Original physical formula is top-level code where no numerical callable is declared; source region is linked explicitly.
R4-BUDGET · Conditional photon and detection budget
EXECUTED CONDITIONAL ALGEBRA
Review coverage: Independent light recomputation of stated algebra/data,not physical validation.
Numerical execution claim: Retained R4 run; light review coverage is stated separately,not a fresh full-model execution claim.
Remaining limits: Real background variation, afterpulses, response and scene distributions required.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | primary_review | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/design_and_diagnostics.md | D01, D02, D04, D05 | equation_derivation |
| methods/statistics.md | S05, S06 | associated_count_threshold_theory |
Independent review functions (4)
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| photon_energy | modules/design_review.py Lines 51–54 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| circular_angles | modules/design_review.py Lines 56–59 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| counts_from_received_fluence | modules/design_review.py Lines 73–75 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
| continuum_rate | modules/design_review.py Lines 77–81 | PYTHON_AST MAPPED | independent_light_reviewSHA-256af4c3056a61716d48c5eb8eec3f1abb67be7dee123d78c6bbc7c6f6cc37322ca |
Retained original module-body formulas (1)
| Code region | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| Original browser_budget_reference formula/parameter-loop implementation | reference/design/calculate_design_scenarios.py Lines 92–109 | PYTHON_AST_MODULE_REGION MAPPED_TOP_LEVEL_REGION_NO_CALLABLE_CLAIM | SHA-25699c13e936a89a11bbca8db09c6330e2ff49a1601891982e2b67b72f7f342f8f5 |
Exact numerical inputs and outputs
| Input / result file | Selector | Role |
|---|---|---|
| data/design_results.json | browser_budget_reference | retained_numerical_input |
Figures: budget-threshold
Related numerical receipts (context does not close remaining limits)
- Original physical formula is top-level code where no numerical callable is declared; source region is linked explicitly.
GAP-POLAR-BG · Polar night background distribution
BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT
Review coverage: Scope/gap context only; no executable prediction is mapped.
Unresolved input or validation. Polar/Kp 337 nm radiance and temporal distributions: no validated empirical population supplied.
No predictive equation or calculation function is assigned to this gap. Related calculations provide conditional context only.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| Physicist review index | Executed in a fresh kernel | catalogue_context | Editable notebook |
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | gap_context_only | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/review_contract.md | Scope only; no predictive equation mapped. | conditions_outside_model |
| methods/design_and_diagnostics.md | Scope only; no predictive equation mapped. | related_scope_limits_only |
Related conditional context: R4-AURORAL_COUNTS, R4-BACKGROUND_COMPONENTS, R4-BUDGET
Related numerical receipts (context does not close remaining limits)
GAP-MOON · Moonlight crossover
BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT
Review coverage: Scope/gap context only; no executable prediction is mapped.
Unresolved input or validation. 337 nm lunar phase/elevation crossover: actual UV illumination/scene and receiver needed.
No predictive equation or calculation function is assigned to this gap. Related calculations provide conditional context only.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| Physicist review index | Executed in a fresh kernel | catalogue_context | Editable notebook |
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | gap_context_only | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/review_contract.md | Scope only; no predictive equation mapped. | conditions_outside_model |
| methods/design_and_diagnostics.md | Scope only; no predictive equation mapped. | related_scope_limits_only |
Related conditional context: R4-BACKGROUND_COMPONENTS, R4-BUDGET
Related numerical receipts (context does not close remaining limits)
GAP-RATE · Useful orbital detection rate
BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT
Review coverage: Scope/gap context only; no executable prediction is mapped.
Unresolved input or validation. Useful orbital event rate: target brightness distribution, cloud/source conditions and exposure are absent.
No predictive equation or calculation function is assigned to this gap. Related calculations provide conditional context only.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| Physicist review index | Executed in a fresh kernel | catalogue_context | Editable notebook |
| 04. Clear-air and ideal-model diagnostics | Executed in a fresh kernel | gap_context_only | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/review_contract.md | Scope only; no predictive equation mapped. | conditions_outside_model |
| methods/design_and_diagnostics.md | Scope only; no predictive equation mapped. | related_scope_limits_only |
Related conditional context: R4-FOV_POPULATION, R4-MORPH
Related numerical receipts (context does not close remaining limits)
GAP-THERMAL · Minimum thermal red-to-UV ratio
BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT
Review coverage: Scope/gap context only; no executable prediction is mapped.
Unresolved input or validation. Universal minimum thermal 777/337 ratio: not established by reviewed evidence.
No predictive equation or calculation function is assigned to this gap. Related calculations provide conditional context only.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| Physicist review index | Executed in a fresh kernel | catalogue_context | Editable notebook |
| 03 — Poisson detection, pulse morphology and red upper limits | Executed in a fresh kernel | gap_context_only | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/review_contract.md | Scope only; no predictive equation mapped. | conditions_outside_model |
| methods/statistics.md | Scope only; no predictive equation mapped. | related_scope_limits_only |
Related conditional context: R4-COUNT
Related numerical receipts (context does not close remaining limits)
GAP-LIFETIME · Receiver degradation over the mission
BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT
Review coverage: Scope/gap context only; no executable prediction is mapped.
Unresolved input or validation. 2–3year receiver degradation: selected parts, dose/damage/SEE, shielding and temperature needed.
No predictive equation or calculation function is assigned to this gap. Related calculations provide conditional context only.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| Physicist review index | Executed in a fresh kernel | catalogue_context | Editable notebook |
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | gap_context_only | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/review_contract.md | Scope only; no predictive equation mapped. | conditions_outside_model |
| methods/design_and_diagnostics.md | Scope only; no predictive equation mapped. | related_scope_limits_only |
Related conditional context: R4-NEP
Related numerical receipts (context does not close remaining limits)
GAP-CURRENT · Discharge-current inversion
BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT
Review coverage: Scope/gap context only; no executable prediction is mapped.
Unresolved input or validation. Discharge-current inversion: excitation/quenching/source extent/field/transport constraints absent.
No predictive equation or calculation function is assigned to this gap. Related calculations provide conditional context only.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| Physicist review index | Executed in a fresh kernel | catalogue_context | Editable notebook |
| 02 Transport: equations, native kernels and a worked photon | Executed in a fresh kernel | gap_context_only | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/review_contract.md | Scope only; no predictive equation mapped. | conditions_outside_model |
| methods/transport.md | Scope only; no predictive equation mapped. | related_scope_limits_only |
Related conditional context: R4-RT
Related numerical receipts (context does not close remaining limits)
GAP-N2-SPECTRUM · Validated nitrogen spectrum and filter optimum
BLOCKED / MISSING EMPIRICAL OR VALIDATED INPUT
Review coverage: Scope/gap context only; no executable prediction is mapped.
Unresolved input or validation. Earlier molecular line-strength/population reconstruction remains unvalidated; no flight spectral optimum is accepted.
No predictive equation or calculation function is assigned to this gap. Related calculations provide conditional context only.
Notebook and derivation
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| Physicist review index | Executed in a fresh kernel | catalogue_context | Editable notebook |
| 01. Units, photon budget, optics and receiver algebra | Executed in a fresh kernel | gap_context_only | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/review_contract.md | Scope only; no predictive equation mapped. | conditions_outside_model |
| methods/design_and_diagnostics.md | Scope only; no predictive equation mapped. | related_scope_limits_only |
Related conditional context: R4-FILTER
Related numerical receipts (context does not close remaining limits)
Figure crosswalk
These are the 17 plot IDs retained by the R4 interface. The review notebooks contain related executable diagnostics; they are not represented as exact reproductions of every browser chart. Follow the calculation links for equations, source functions, inputs and limits.
| Figure ID | Calculation | Related context | Review notebook | State and limits |
|---|---|---|---|---|
cloud-fluence | R4-RT | — | 02_transport | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
cloud-impulse | R4-RT | — | 02_transport | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
cloud-waveform | R4-RT | — | 02_transport | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
legacy-cloud | Retained legacy transport | R4-RT | 00_review_index 02_transport | RETAINED_LEGACY Graphical output does not upgrade the mapped calculation's evidence state. |
sampling-wave | R4-SAMPLING | — | 01_units_budget_optics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
sampling-phase | R4-SAMPLING | — | 01_units_budget_optics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
classification | R4-MORPH | R4-ORACLE, R4-COUNT | 03_statistics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
budget-threshold | R4-BUDGET R4-COUNT | — | 01_units_budget_optics 03_statistics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
auroral-load | R4-AURORAL_COUNTS | R4-COUNT | 04_analytic_diagnostics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
filter-shift | R4-FILTER | — | 01_units_budget_optics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
filter-capture | R4-FILTER | — | 01_units_budget_optics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
blocking | R4-BLOCKING | — | 01_units_budget_optics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
nep | R4-NEP | — | 01_units_budget_optics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
reflection | R4-REFLECTION | — | 04_analytic_diagnostics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
diffusion | R4-DIFFUSION | — | 04_analytic_diagnostics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
deadtime | R4-DEADTIME | — | 04_analytic_diagnostics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
fov | R4-FOV_POPULATION | — | 04_analytic_diagnostics | R4_EXECUTED_CONDITIONAL_PLOT Graphical output does not upgrade the mapped calculation's evidence state. |
budget-threshold: retained browser count-math declarations
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| sf | reference/statistics/browser_math.js Lines 5 | JAVASCRIPT_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_browser_count_mathSHA-25669186918327b076b053769ad3597c3f472a93919e5cd73057303f8034704bd37 |
| critical | reference/statistics/browser_math.js Lines 7 | JAVASCRIPT_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_browser_count_mathSHA-25669186918327b076b053769ad3597c3f472a93919e5cd73057303f8034704bd37 |
| threshold | reference/statistics/browser_math.js Lines 8 | JAVASCRIPT_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_browser_count_mathSHA-25669186918327b076b053769ad3597c3f472a93919e5cd73057303f8034704bd37 |
| upper | reference/statistics/browser_math.js Lines 9 | JAVASCRIPT_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_browser_count_mathSHA-25669186918327b076b053769ad3597c3f472a93919e5cd73057303f8034704bd37 |
Declaration locations are a source scan, not a JavaScript AST or a proof that the whole user interface is independently verified.
auroral-load: retained browser count-math declarations
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| sf | reference/statistics/browser_math.js Lines 5 | JAVASCRIPT_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_browser_count_mathSHA-25669186918327b076b053769ad3597c3f472a93919e5cd73057303f8034704bd37 |
| critical | reference/statistics/browser_math.js Lines 7 | JAVASCRIPT_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_browser_count_mathSHA-25669186918327b076b053769ad3597c3f472a93919e5cd73057303f8034704bd37 |
| threshold | reference/statistics/browser_math.js Lines 8 | JAVASCRIPT_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_browser_count_mathSHA-25669186918327b076b053769ad3597c3f472a93919e5cd73057303f8034704bd37 |
| upper | reference/statistics/browser_math.js Lines 9 | JAVASCRIPT_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_browser_count_mathSHA-25669186918327b076b053769ad3597c3f472a93919e5cd73057303f8034704bd37 |
Declaration locations are a source scan, not a JavaScript AST or a proof that the whole user interface is independently verified.
Retained legacy transport
Historical geometry/phase/exponential-atmosphere scenarios differ from the new finite-cylinder vacuum grid. Retaining data/drivers does not rerun them or validate their physics. No independent all-legacy native-kernel reconciliation is claimed.
| Read notebook | Execution record | Role | Source |
|---|---|---|---|
| Physicist review index | Executed in a fresh kernel | retained_data_catalogue | Editable notebook |
| 02 Transport: equations, native kernels and a worked photon | Executed in a fresh kernel | related_RTE_and_matched_HG_control_context_only | Editable notebook |
| Derivation source | Equation / section in rendered handbook | Mapping role |
|---|---|---|
| methods/transport.md | R1, D1, D2, N3, T1, T2, T3, T4 | general_transport_context_not_an_independent_legacy_reanalysis |
| Input / result file | Selector | Role |
|---|---|---|
| data/legacy_transport.json | cases,fluence_series,timing_series,scaled_depth | retained_numerical_input |
Retained legacy driver and post-processing functions
| Function / class | Exact source location | Locator and state | Role and file hash |
|---|---|---|---|
| observeone! | reference/legacy/photometer_model.jl Lines 8 | JULIA_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_Julia_driverSHA-256ad24a17f2f23d23e93ce69bca7aa1513b2429d93489c0fc47630cc1cb4e03daa |
| makecase | reference/legacy/photometer_model.jl Lines 35 | JULIA_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_Julia_driverSHA-256ad24a17f2f23d23e93ce69bca7aa1513b2429d93489c0fc47630cc1cb4e03daa |
| writecurve | reference/legacy/photometer_model.jl Lines 60 | JULIA_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_Julia_driverSHA-256ad24a17f2f23d23e93ce69bca7aa1513b2429d93489c0fc47630cc1cb4e03daa |
| validate | reference/legacy/run_grid.jl Lines 6 | JULIA_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_Julia_driverSHA-2560264e4d1cd796961aef32fe0b043ef47ebf80b36015393a87fbb95d93c2eed23 |
| rungrid | reference/legacy/run_grid.jl Lines 26 | JULIA_DECLARATION_SCAN_NOT_AST MAPPED_DECLARATION_ONLY | retained_Julia_driverSHA-2560264e4d1cd796961aef32fe0b043ef47ebf80b36015393a87fbb95d93c2eed23 |
| curve | reference/legacy/analyze_grid.py Lines 16–17 | PYTHON_AST MAPPED | retained_legacy_postprocessingSHA-256d151c71e46bcb0335663ced8e64c6b9d694bff1e086abebc184e8b87a82d4dcf |
| main | reference/legacy/analyze_grid.py Lines 21–100 | PYTHON_AST MAPPED | retained_legacy_postprocessingSHA-256d151c71e46bcb0335663ced8e64c6b9d694bff1e086abebc184e8b87a82d4dcf |
| impulse_metrics | reference/legacy/timing_metrics.py Lines 178–208 | PYTHON_AST MAPPED | retained_legacy_postprocessingSHA-256378eade60298b027b55977680e0e0dd24a3ce5de1c11997f887d163722dee36f |
| propagate_waveform | reference/legacy/timing_metrics.py Lines 211–229 | PYTHON_AST MAPPED | retained_legacy_postprocessingSHA-256378eade60298b027b55977680e0e0dd24a3ce5de1c11997f887d163722dee36f |
| metrics | reference/legacy/timing_metrics.py Lines 232–243 | PYTHON_AST MAPPED | retained_legacy_postprocessingSHA-256378eade60298b027b55977680e0e0dd24a3ce5de1c11997f887d163722dee36f |
| sampling_phase_metrics | reference/legacy/timing_metrics.py Lines 254–299 | PYTHON_AST MAPPED | retained_legacy_postprocessingSHA-256378eade60298b027b55977680e0e0dd24a3ce5de1c11997f887d163722dee36f |
Unbundled third-party kernel: CloudScat.main · NOT_MAPPED_THIRD_PARTY_PACKAGE_NOT_BUNDLED · CloudScat primary methods paper
Checks and provenance
Current notebook metadata are read at rendering time. Source hashes in the map are a provenance snapshot; they must be refreshed after any source or notebook change. Source lines are one-based and link to the rendered exact file. Python function locations are AST-derived; Julia and JavaScript entries are explicitly declaration scans.
- checks/quick_review.json
- checks/full_rerun_audit.json
- qa/notebook_execution.json
- qa/html_render.json
- checks/crosswalk_QA.json
- checks/traceability_html_QA.json
Map warnings and declared coverage limits
- GHM point-nadir rare-path convergence remains incomplete; numerical software checks do not establish a physical timing bias.
- Seven empirical/unvalidated gaps intentionally have no executable functions or predictive equation mappings.
- Oracle affinity-grid and continuum/starlight-fold independent recomputations are not supplied by the current light modules; associated context is labeled.
- Some original numerical expressions occur in top-level loops. AST-derived regions are provided without inventing numerical function names.
- Python locations are AST-derived. Julia and JavaScript locations are source-declaration scans and explicitly are not AST parses.
- Hashes and exact source/equation locations refreshed after all five notebooks were executed in separate fresh kernels. Refresh after any later referenced-file changes.
Built from map SHA-256 5a51a44d2188ce9866b13bfd30fa65517ad847a7bd1f25a17fc1f3357b3fa05c. Rendered 2026-10-22T11:49:01.327095+00:00. Rebuild with python -B scripts/render_crosswalk.py; no models are executed.