-
c5133401e0
Session work scratch: scram X_exit refactor, hot-standby SOS, fat scram tubes, model cheatsheet, journal entry
draft/2026-05-02-session-scratch
Dane Sabo
2026-05-02 23:02:50 -04:00
-
8d2c7d0956
steam-dump heatup reach: quantifies the cost of modeling the disturbance
main
Dane Sabo
2026-04-21 22:11:02 -04:00
-
5050b9e71e
fat-entry scram: n decays 0.047→0.009 over 60s from fat X_entry
Dane Sabo
2026-04-21 21:40:04 -04:00
-
ef7ae06ffc
point 2 + 3: LOCA entry reach + scram fat-entry + steam-dump heatup
Dane Sabo
2026-04-21 20:28:43 -04:00
-
2bbb1871cc
refactor: scripts subdivision + TOML configs + results/ split + presentation outline
Dane Sabo
2026-04-21 20:24:48 -04:00
-
c5816c359e
OVERNIGHT_NOTES: log post-gym session additions
Dane Sabo
2026-04-21 17:24:13 -04:00
-
c4297e616c
journal: Tikhonov bound derivation for prompt-jump reduction
Dane Sabo
2026-04-21 17:23:20 -04:00
-
1eab154847
SOS + polytopic barrier exploration — first degree-4 barrier found
Dane Sabo
2026-04-21 17:19:47 -04:00
-
07579b64b4
reach tubes: heatup PJ tight full data + overlay plots
Dane Sabo
2026-04-21 16:39:48 -04:00
-
244a744e67
predicates: PJ-validity halfspace as an inv1_holds conjunct + reach tube plots
Dane Sabo
2026-04-21 16:28:02 -04:00
-
7a1023e252
tight-entry heatup PJ: ALL 6 inv1_holds halfspaces discharged
Dane Sabo
2026-04-21 15:01:13 -04:00
-
96b5568db6
scram PJ reach: clean 60s horizon, n monotone decay, exit-threshold mismatch
Dane Sabo
2026-04-21 14:55:29 -04:00
-
aba017c5b1
overnight wrap: summary notes + tighter-entry heatup PJ stub
Dane Sabo
2026-04-21 14:49:48 -04:00
-
0a8348e5d8
walkthrough: document prompt-jump reach results (30x horizon win)
Dane Sabo
2026-04-21 14:47:19 -04:00
-
3fdf5eed48
prompt-jump reach: 30x horizon improvement (10s -> 300s sound)
Dane Sabo
2026-04-21 14:45:03 -04:00
-
645f2d8d27
prompt-jump model + app v2 + overnight journal entry (in progress)
Dane Sabo
2026-04-20 22:45:24 -04:00
-
5acaa5553d
journal: latexmkrc + lizard-glyph fix so latexmk completes cleanly
Dane Sabo
2026-04-20 21:57:39 -04:00
-
83c5cb8500
journal: live B-style entry for tonight's mega-session + easter eggs
Dane Sabo
2026-04-20 21:50:08 -04:00
-
44cc193829
app: Pluto.jl predicate explorer v1 (read-only)
Dane Sabo
2026-04-20 21:48:08 -04:00
-
fbbaebff9f
julia migration: port MATLAB to Julia, delete MATLAB, rename julia-port -> code
Dane Sabo
2026-04-20 21:44:59 -04:00
-
fa45e96fd1
journal: scaffold + 2 retroactive invention-log entries
Dane Sabo
2026-04-20 21:37:59 -04:00
-
a56fcbedc2
julia: nonlinear heatup reach — 10s horizon works, longer fails on stiffness
Dane Sabo
2026-04-20 18:29:06 -04:00
-
b24be4bbc0
reachability: mode boundaries + comprehensive WALKTHROUGH.md
Dane Sabo
2026-04-20 16:41:21 -04:00
-
72143bcff5
predicates: add heatup rate invariant as a linear halfspace
Dane Sabo
2026-04-20 16:16:53 -04:00
-
dc4cfed61a
reachability: OL-vs-CL Lyapunov barrier comparison script
Dane Sabo
2026-04-20 16:11:26 -04:00
-
a20d2a05e9
predicates: split operational deadbands from hard safety limits
Dane Sabo
2026-04-20 16:04:40 -04:00
-
e69fd0a6f4
reachability: pin FRET predicates as numerical halfspaces
Dane Sabo
2026-04-20 15:09:37 -04:00
-
bc3a6028a9
docs: flag soundness, alpha-drift, saturation-hybrid in file headers
Dane Sabo
2026-04-17 16:15:39 -04:00
-
cb69290714
claude_memory: session note for 2026-04-17 controllers + reach
Dane Sabo
2026-04-17 12:53:06 -04:00
-
9fc4afb611
julia-port: parallel plant model; sanity sim matches MATLAB, reach is stub
Dane Sabo
2026-04-17 12:52:57 -04:00
-
02a675c152
reachability: first per-mode reach tube and barrier-cert attempt
Dane Sabo
2026-04-17 12:52:37 -04:00
-
d2997c2861
plant-model: add shutdown/heatup/scram controllers and LQR, linearize
Dane Sabo
2026-04-17 12:52:03 -04:00
-
cebf8c167a
Initial umbrella repo: thesis + FRET pipeline + plant model with first controllers
Dane Sabo
2026-04-16 16:24:11 -04:00