Cairn Docs Claims Blog Packages

Package ยท iamnbutler

cairn_json

A total JSON parser and encoder for Cairn apps, with proofs

Kind
Library
Owner
iamnbutler
Version
0.1.1
Published
Oct 26, 2026 by iamnbutler
Commit
2b0f52729cbf at v0.1.1
Toolchain
leanprover/lean4:v4.35.0
License
MIT
Claims

Claims in 0.1.1Docs for 0.1.1

Use it

With the cairn tool:

cairn add cairn_json@^0.1.1

Which writes cairn.toml, and the lakefile line that it keeps in step:

[dependencies]
cairn_json = "^0.1.1"
cairn.toml
[[require]]
name = "cairn_json"
scope = "iamnbutler"
version = "^0.1.1"
lean/lakefile.toml

Depends on

Versions

VersionPublishedCommitClaimsDocs
0.1.1Oct 26, 20262b0f52729cdocs
0.1.0Oct 25, 2026bf6a0e7eb3docs

What changed in 0.1.1

No claim is new, retired or moved since 0.1.0.

Claims in 0.1.1

Every id this package has issued, as its claims.lock held them at this version. An id never moves or changes meaning: the registry refuses a version that drops, renumbers or redefines one. The claim pages show each claim by place, with what it does and its evidence.

This version makes no claims.