rajames/LithosAnanke
1
1
Fork 0
Code Issues 77 Pull Requests 1 Actions 1 Packages Projects 1 Releases 6 Activity
Files
d7b2f6bf543157fc0aa0b36d43038f0ca94ed2da
LithosAnanke/logs/20261112-001304/protocol/proofs.log
T
Claude 1f94a048f4
Build / Image RASPI (push) Failing after 6m48s
Details
Build / Image PC (push) Successful in 7m29s
Details
Build / Image MILKV (push) Successful in 12m55s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 19m26s
Details
Acceptance / Acceptance (pull_request) Successful in 24m5s
Details
logs: the developer protocol on dd580e07 -- PASS, all eight stages (#135) 
logs/20261112-001304/PROTOCOL.md: scripts/nightly.sh protocol, one stage per
foreground command: accept amd64, aarch64, riscv64, stick-high -- 538/538,
word_count=318, dict_hash 0x8c92508f748f99cf on all three; test-32 39 programs,
1,869,197 checks, 0 failures; the proofs (StarForth, 36 s); the images (PC,
RASPI, MILKV); the documents (book, fabric, dictionary, vol1-3, api). The tree
clean before and after. Every stage's output in logs/20261112-001304/protocol/,
the boots' serial logs and DoE CSVs beside it.

The first protocol run: the evidence the PR's Acceptance check now asks for.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm
2026-11-12 00:44:58 +00:00

125 lines
7.6 KiBLFS
Plaintext
Raw Blame History

Started at Thu Nov 12 00:26:48 GMT 2026 (polyml-5.9.2_x86_64_32-linux on vm)
ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms128m -Xmx512m -Xss16m"
ISABELLE_BUILD_OPTIONS=""
ML_PLATFORM="x86_64_32-linux"
ML_HOME="/home/user/LithosAnanke/build/cache/tools/Isabelle2025-2/contrib/polyml-5.9.2-2/x86_64_32-linux"
ML_SYSTEM="polyml-5.9.2"
ML_OPTIONS="--minheap 200 --maxheap 900"
Session Pure/Pure
Session Misc/Tools
Session HOL/HOL (main)
Session HOL/HOL-Library (main timing)
Session Unsorted/StarForth
Running StarForth ...
StarForth: theory StarForth.StarForth_Base
StarForth: theory StarForth.ACL_Pin_Monotone
StarForth: theory StarForth.ACL_Emergency_Bypass
StarForth: theory StarForth.ACL_Inherit_Clears_Pin
StarForth: theory StarForth.ACL_TTL_Bounded
StarForth: theory StarForth.ACL_No_Escalation
StarForth: theory StarForth.StarForth_Base 100% (11.475s cumulated time)
StarForth: theory StarForth.ACL_Pin_Monotone 100% (0.103s cumulated time)
StarForth: theory StarForth.ACL_Inherit_Clears_Pin 100% (0.078s cumulated time)
StarForth: theory StarForth.ACL_TTL_Bounded 100% (0.156s cumulated time)
StarForth: theory StarForth.ACL_Emergency_Bypass 100% (0.081s cumulated time)
StarForth: theory StarForth.StarForth_ACL_Words
StarForth: theory StarForth.StarForth_Arithmetic_Words
StarForth: theory StarForth.StarForth_Dictionary_Heat_Diagnostic_Words
StarForth: theory StarForth.StarForth_Dictionary_Manipulation_Words
StarForth: theory StarForth.StarForth_Double_Words
StarForth: theory StarForth.StarForth_Arithmetic_Words 100% (0.553s cumulated time)
StarForth: theory StarForth.StarForth_Dictionary_Manipulation_Words 100% (0.154s cumulated time)
StarForth: theory StarForth.StarForth_Dictionary_Heat_Diagnostic_Words 100% (0.161s cumulated time)
StarForth: theory StarForth.ACL_No_Escalation 100% (0.281s cumulated time)
StarForth: theory StarForth.StarForth_ACL_Words 100% (0.174s cumulated time)
StarForth: theory StarForth.StarForth_Editor_Words
StarForth: theory StarForth.StarForth_Framebuffer_Words
StarForth: theory StarForth.StarForth_Inference_Words
StarForth: theory StarForth.StarForth_Keyboard_Words
StarForth: theory StarForth.StarForth_Lifecycle_Words_Hosted
StarForth: theory StarForth.StarForth_Log_Words
StarForth: theory StarForth.StarForth_Logical_Words
StarForth: theory StarForth.StarForth_Loop1_Heat
StarForth: theory StarForth.StarForth_Loop2_Window
StarForth: theory StarForth.StarForth_Double_Words 100% (0.794s cumulated time)
StarForth: theory StarForth.StarForth_Logical_Words 100% (0.367s cumulated time)
StarForth: theory StarForth.StarForth_Editor_Words 100% (0.030s cumulated time)
StarForth: theory StarForth.StarForth_Framebuffer_Words 100% (0.084s cumulated time)
StarForth: theory StarForth.StarForth_Keyboard_Words 100% (0.113s cumulated time)
StarForth: theory StarForth.StarForth_Lifecycle_Words_Hosted 100% (0.150s cumulated time)
StarForth: theory StarForth.StarForth_Log_Words 100% (0.341s cumulated time)
StarForth: theory StarForth.StarForth_Inference_Words 100% (0.261s cumulated time)
StarForth: theory StarForth.StarForth_Loop1_Heat 100% (0.380s cumulated time)
StarForth: theory StarForth.StarForth_Loop7_Heartrate
StarForth: theory StarForth.StarForth_Memory_Words
StarForth: theory StarForth.StarForth_Dictionary_Words
StarForth: theory StarForth.StarForth_Memory_Words 100% (0.359s cumulated time)
StarForth: theory StarForth.StarForth_Loop2_Window 100% (0.307s cumulated time)
StarForth: theory StarForth.StarForth_Loop7_Heartrate 100% (0.171s cumulated time)
StarForth: theory StarForth.StarForth_Block_Words
StarForth: theory StarForth.StarForth_Control_Words
StarForth: theory StarForth.StarForth_Defining_Words
StarForth: theory StarForth.StarForth_Dictionary_Words 100% (2.165s cumulated time)
StarForth: theory StarForth.StarForth_Control_Words 100% (0.614s cumulated time)
StarForth: theory StarForth.StarForth_Block_Words 100% (0.071s cumulated time)
StarForth: theory StarForth.StarForth_Defer_Words
StarForth: theory StarForth.StarForth_IO_Words
StarForth: theory StarForth.StarForth_Format_Words
StarForth: theory StarForth.StarForth_Defining_Words 100% (0.987s cumulated time)
StarForth: theory StarForth.StarForth_IO_Words 100% (0.813s cumulated time)
StarForth: theory StarForth.StarForth_Defer_Words 100% (0.237s cumulated time)
StarForth: theory StarForth.StarForth_Mixed_Arithmetic_Words
StarForth: theory StarForth.StarForth_Mutex
StarForth: theory StarForth.StarForth_Transition
StarForth: theory StarForth.StarForth_Mixed_Arithmetic_Words 100% (1.072s cumulated time)
StarForth: theory StarForth.StarForth_Format_Words 100% (0.468s cumulated time)
StarForth: theory StarForth.StarForth_Mutex 100% (0.229s cumulated time)
StarForth: theory StarForth.StarForth_Physics_Benchmark_Words
StarForth: theory StarForth.StarForth_Physics_Diagnostic_Words
StarForth: theory StarForth.StarForth_Physics_Freeze_Words
StarForth: theory StarForth.StarForth_Physics_Pipelining_Diagnostic_Words
StarForth: theory StarForth.StarForth_Return_Stack_Words
StarForth: theory StarForth.StarForth_Transition 100% (1.589s cumulated time)
StarForth: theory StarForth.StarForth_Physics_Freeze_Words 100% (0.365s cumulated time)
StarForth: theory StarForth.StarForth_Physics_Diagnostic_Words 100% (0.078s cumulated time)
StarForth: theory StarForth.StarForth_Physics_Benchmark_Words 100% (0.090s cumulated time)
StarForth: theory StarForth.StarForth_Physics_Pipelining_Diagnostic_Words 100% (0.104s cumulated time)
StarForth: theory StarForth.StarForth_Scroll_Words
StarForth: theory StarForth.StarForth_Stack_Words
StarForth: theory StarForth.StarForth_StarForth_Words
StarForth: theory StarForth.StarForth_String_Words
StarForth: theory StarForth.StarForth_Stack_Words 100% (0.557s cumulated time)
StarForth: theory StarForth.StarForth_Return_Stack_Words 100% (0.239s cumulated time)
StarForth: theory StarForth.StarForth_StarForth_Words 100% (0.240s cumulated time)
StarForth: theory StarForth.StarForth_Scroll_Words 100% (0.038s cumulated time)
StarForth: theory StarForth.StarForth_System_Words
StarForth: theory StarForth.StarForth_TTF_Words
StarForth: theory StarForth.StarForth_Vocabulary_Words
StarForth: theory StarForth.StarForth_Q48_16
StarForth: theory StarForth.StarForth_String_Words 100% (1.988s cumulated time)
StarForth: theory StarForth.StarForth_System_Words 100% (0.480s cumulated time)
StarForth: theory StarForth.StarForth_Vocabulary_Words 100% (0.064s cumulated time)
StarForth: theory StarForth.StarForth_TTF_Words 100% (0.032s cumulated time)
StarForth: theory StarForth.StarForth_Loop3_Decay
StarForth: theory StarForth.StarForth_Concurrent
StarForth: theory StarForth.StarForth_Loop4_Pipeline
StarForth: theory StarForth.StarForth_Loop5_WinInf
StarForth: theory StarForth.StarForth_Loop6_DecayInf
StarForth: theory StarForth.StarForth_Correctness
StarForth: theory StarForth.StarForth_Q48_16 100% (0.636s cumulated time)
StarForth: theory StarForth.StarForth_Loop3_Decay 100% (0.535s cumulated time)
StarForth: theory StarForth.StarForth_Loop4_Pipeline 100% (0.325s cumulated time)
StarForth: theory StarForth.StarForth_Loop5_WinInf 100% (0.318s cumulated time)
StarForth: theory StarForth.StarForth_Loop6_DecayInf 100% (0.159s cumulated time)
StarForth: theory StarForth.StarForth_Concurrent 100% (0.262s cumulated time)
StarForth: theory StarForth.StarForth_Q48_Words
StarForth: theory StarForth.StarForth_Q48_Words 100% (0.551s cumulated time)
StarForth: theory StarForth.StarForth_Correctness 100% (0.898s cumulated time)
Timing StarForth (1 threads, 34.277s elapsed time, 34.637s cpu time, 3.183s GC time, factor 1.01)
Finished StarForth (0:00:36 elapsed time, 0:00:36 cpu time, factor 1.00)
Finished at Thu Nov 12 00:27:30 GMT 2026
0:00:41 elapsed time, 0:00:36 cpu time, factor 0.88
Reference in New Issue View Git Blame Copy Permalink