2bbb1871cc
Architecture restructure from morning review: 1. code/scripts/ subdivided into sim/, reach/, barrier/, plot/. Easier nav; `barrier/` is the natural place for SOS scale-up scripts. 2. Heatup PJ reach variants consolidated behind TOML configs. reach_heatup_pj.jl now takes `--config path/to/config.toml`; configs/heatup/baseline.toml (wide entry, from predicates.json) and configs/heatup/tight.toml (narrow entry, reproduces all-6-halfspaces discharged result). Old reach_heatup_pj_tight.jl and reach_heatup_pj_tight_full.jl deleted (superseded). 3. Reach output .mat files moved from reachability/ to results/. reachability/ now = specs + docs; results/ = ephemeral outputs (gitignored *.mat). README added. 4. OVERNIGHT_NOTES.md archived to claude_memory/2026-04-20-21-overnight- session-summary.md (date range in the filename makes the history clearer). All include() / Pkg.activate() paths in scripts updated for the new depth. Smoke tests pass (reach_operation.jl generates its .mat in the new results/ location; sim_sanity.jl matches MATLAB). Presentation outline for the 20-min prelim talk landed in presentations/prelim-presentation/outline.md. 14-slide assertion- evidence format targeting OT-informed cybersecurity audience. Each slide: one declarative assertion + one figure. Outline includes which figures already exist and which need to be created, timing checkpoints, cybersecurity angle to emphasize, and Q&A prep. New config configs/heatup/with_steam_dump.toml + its companion scripts/reach/reach_heatup_pj_sd.jl (12-state RHS with Q_sg as an augmented bounded parameter x[10] and time as x[11]). Kicks off point 3 from morning review. Next up: scram X_entry expansion (morning point 2) — LOCA scenario + union of mode reach envelopes. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
41 lines
1.1 KiB
TOML
41 lines
1.1 KiB
TOML
# Heatup reach with a bounded secondary-side steam-dump Q_sg.
|
|
#
|
|
# Instead of Q_sg ≡ 0 (original assumption), treat Q_sg as a bounded
|
|
# disturbance in [0, 0.05·P_0]. Physical interpretation: operator
|
|
# opens/closes the secondary-side steam dump to manage primary
|
|
# temperature during the ramp; exact value not known, but bounded
|
|
# by atmospheric-dump capacity (~5% of P_0 rated).
|
|
#
|
|
# The reach script picks up Q_sg as an augmented state x[11] with
|
|
# dx[11] = 0, entry box covering [0, 0.05*P_0].
|
|
|
|
name = "with_steam_dump"
|
|
description = "Tight X_entry + bounded Q_sg ∈ [0, 0.05·P_0] as disturbance"
|
|
|
|
use_predicates_entry = false
|
|
steam_dump_enabled = true
|
|
|
|
[entry]
|
|
n_range = [1.0e-3, 2.0e-3]
|
|
T_f_range_C = [285.0, 291.0]
|
|
T_c_range_C = [285.0, 291.0]
|
|
T_cold_range_C = [278.0, 285.0]
|
|
|
|
[entry.steam_dump]
|
|
# Q_sg bounds in fractions of P_0.
|
|
Q_lo_fraction_P0 = 0.0
|
|
Q_hi_fraction_P0 = 0.05
|
|
|
|
[tmjets]
|
|
orderT = 4
|
|
orderQ = 2
|
|
abstol = 1e-9
|
|
maxsteps = 100000
|
|
|
|
[probes]
|
|
horizons_seconds = [60.0, 300.0]
|
|
|
|
[output]
|
|
save_per_step = true
|
|
result_file = "reach_heatup_pj_with_steam_dump.mat"
|