A Lorenz record from DynamicalModels.jl, and Archeion v0.8.0

[sotashimozono]

A second project in the demo registry, so the catalogue shows what more than one looks like — and the first record here whose provenance is not empty.

The study. The largest Lyapunov exponent of the Lorenz system as ρ is swept from 14 to 40, computed by sotashimozono/DynamicalModels.jl (lyapunov_exponent), one trajectory per ρ after a warm-up. λ₁ crosses zero near the textbook onset at ρ ≈ 24.74. Twelve points, swept into a DataVault and deposited by Archeion.publish in one call — scripts/lorenz.jl is the recipe and that call, nothing else.

Its provenance is real. Unlike the records deposited before the data store recorded anything, all twelve points read exactly the bytes their computation wrote (read_matches_result = 12, result_unknown = 0), and both the computing and rendering processes are named by an observation. Every binding is unverified, which is what an observation can honestly say (QAtlasHub/DataVault.jl#57).

Both safeguards fired while doing it, which is the other thing this demonstrates:

Warning: demo-lorenz tracks no remote branch; depositing into this clone only
Warning: the rendering commit 15b3a3d is not on origin/master; the revision cites it, so
         merge its branch with a merge commit ...

Also: registry.toml, pages.yml and validate.yml move to v0.8.0, whose catalogue adds the project table, the activity bars and a search over what a record says. Generated with julia -m Archeion pages ..

Merge with a merge commit: the revision cites commit f0cc0e1 of this repository.

🤖 Generated with Claude Code