[package]
edition = "2021"
name = "slbit"
version = "3.1.0"
authors = ["MFENX LLC"]
build = false
include = [
"Cargo.toml",
"LICENSE",
"README.md",
"RELEASE_NOTES.md",
"docs/**",
"src/**",
"examples/**",
"tests/**",
]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Zero-dependency Meaning Observatory packets for verifiable memory, AI traces, and proof UX."
homepage = "https://mfenx.com"
documentation = "https://docs.rs/slbit"
readme = "README.md"
keywords = [
"proofs",
"semantics",
"zkml",
"agents",
"visualization",
]
categories = [
"data-structures",
"development-tools",
]
license = "AGPL-3.0-only"
repository = "https://github.com/JROChub/slbit"
[lib]
name = "slbit"
path = "src/lib.rs"
[[example]]
name = "agent_trace_v2"
path = "examples/agent_trace_v2.rs"
[[example]]
name = "ci_formal_verification_v2"
path = "examples/ci_formal_verification_v2.rs"
[[example]]
name = "drone_observation"
path = "examples/drone_observation.rs"
[[example]]
name = "drone_perception_v2"
path = "examples/drone_perception_v2.rs"
[[example]]
name = "financial_audit_v2"
path = "examples/financial_audit_v2.rs"
[[example]]
name = "human_approval_annotation_v2"
path = "examples/human_approval_annotation_v2.rs"
[[example]]
name = "medical_ai_decision_v2"
path = "examples/medical_ai_decision_v2.rs"
[[example]]
name = "multi_agent_governance_v2"
path = "examples/multi_agent_governance_v2.rs"
[[example]]
name = "smart_contract_proof_v2"
path = "examples/smart_contract_proof_v2.rs"
[[example]]
name = "supply_chain_provenance_v2"
path = "examples/supply_chain_provenance_v2.rs"
[[example]]
name = "zkml_classification_v2"
path = "examples/zkml_classification_v2.rs"
[[test]]
name = "public_api"
path = "tests/public_api.rs"
[[test]]
name = "v3_meaning"
path = "tests/v3_meaning.rs"
[dependencies]