From 3b0fe81669b9dc4af27d8458b404bd2586dfeb5f Mon Sep 17 00:00:00 2001 From: rajames Date: Fri, 6 Nov 2026 15:22:17 +0000 Subject: [PATCH] logs: a proof run that checked nothing -- isabelle build found StarForth up to date logs/20261106-151805: scripts/nightly.sh proofs before -c was added. The StarForth session's sources were unchanged since the day's earlier build, so Isabelle reused its result and proved nothing anew (0:00:10). Kept as the record of that run; the stage now passes -c, and the run after it (20261106-151902) checked StarForth afresh. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2 --- logs/20261106-151805/isabelle/isabelle-20261106-151805.log | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 logs/20261106-151805/isabelle/isabelle-20261106-151805.log diff --git a/logs/20261106-151805/isabelle/isabelle-20261106-151805.log b/logs/20261106-151805/isabelle/isabelle-20261106-151805.log new file mode 100644 index 00000000..9b2cb686 --- /dev/null +++ b/logs/20261106-151805/isabelle/isabelle-20261106-151805.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:607fc79dbfebe2f940faacb2d8399d98e7ee06910d181c0e6d3d3b901c68ac40 +size 558