Crate techne_sdk 

techne-sdk (working name; crates.io techne-sdk per PLAN § Repos): the TechneSDK logic that must answer the same in every language, written once here and shipped to TypeScript as WebAssembly (sdk/src/wasm, built by sdk/scripts/build-wasm.sh).

• versions: how versions rank and compare, and eventState (what a screen shows for one event or place). The rules curator composes curated records with the same functions.
• verify: what an app can check offline about a record it read.
• The pure check itself is techne_lexicon_check (validity, placement, provenance, decide, the credential chain), re-exported as check.
• put: put’s plan, the order its writes go out in (private first, public last) and their deterministic rkeys and CIDs (P13.2), and its deletes placed by the same rule (putPlan).

No platform crate: by default only the published check and serde/chrono; crypto/net/tap add crates.io ones.

call is the one boundary every other language crosses: a function name and JSON arguments in, JSON out. The WebAssembly exports it unchanged ([wasm], wasm32 only), and the shared fixtures (fixtures/cases.json) run through it in Rust and through the TypeScript package in Node.

Re-exports

pub use techne_lexicon_check as check;

Modules

put

put’s plan (techne P13.2): the records an app writes, keyed, addressed and in the order they go out. The TypeScript put (sdk/src/put) sends what this answers; nothing here does I/O.

verify

What an app can check for itself about a record it read (P13.5): the pure check from techne-lexicon-check, over records the app holds, with nothing asked of the platform.

versions

One commons event or place as its versions (§24 versions and trust): the one definition of how versions rank and compare, used by the rules curator when it composes a curated record and by every app (through the SDK’s WebAssembly) when it shows one.

Functions

call

Run one SDK function by name over JSON arguments (an object of named arguments).