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>
33 lines
1.1 KiB
Markdown
33 lines
1.1 KiB
Markdown
# results/
|
|
|
|
Output artifacts from reach / barrier / validation runs. All files
|
|
in this directory are **gitignored** — they're regenerated by running
|
|
the corresponding script.
|
|
|
|
## What lives here
|
|
|
|
Named `<analysis>_<variant>.mat` (MATLAB v7 format, read/written via
|
|
Julia's MAT.jl for historical convenience — switching to JLD2 is a
|
|
deferred item, see `journal/` for context).
|
|
|
|
Generated by (as of 2026-04-21):
|
|
|
|
| File | Generated by |
|
|
|---|---|
|
|
| `reach_operation_result.mat` | `code/scripts/reach/reach_operation.jl` |
|
|
| `reach_heatup_pj_tight_full.mat` | `code/scripts/reach/reach_heatup_pj_tight_full.jl` |
|
|
| `reach_scram_pj_result.mat` | `code/scripts/reach/reach_scram_pj.jl` |
|
|
|
|
Consumed by:
|
|
|
|
- `code/scripts/plot/plot_reach_tubes.jl` — tube overlay figures.
|
|
- `app/predicate_explorer.jl` — live per-halfspace margin rendering.
|
|
|
|
## Why this directory exists
|
|
|
|
`reachability/` used to hold both source-of-truth specs
|
|
(`predicates.json`, README, WALKTHROUGH.md) and ephemeral reach results.
|
|
Mixing stable vs.\ regenerated content made it hard to tell which was
|
|
which at a glance. Split: `reachability/` = specs + docs,
|
|
`results/` = outputs.
|