LANSKRIT
Graft Lab

Test how language changes the code.

Two complementary ways to explore the same graft. The conceptual lab shows what changes in meaning. The executable chamber proves it can run.

Five-stage demonstrator

Conceptual Lab

Inspect a value, expose the information it loses, apply an evidential graft, run trials, and generate a v1 receipt. No code required.

Inspect · Expose · Graft · Test · Receipt
Enter the Conceptual Lab
Runtime playground

Executable Chamber

Write real Lanskrit programs against the Evidentiality runtime. Pin an evaluation date, execute, and stamp a v0.2 receipt.

Compose · Compile · Execute · Fingerprint · Receipt
Open the Executable Chamber
Executable starters

Each program demonstrates a different facet of the Evidentiality runtime. Choose one to open in the executable chamber.

observed-vs-reported

Observed vs. reported

Compare a directly observed reading against a reported one, and let the policy decide.

A single claim branches into four verifiability classes: observed, reported, inferred, disputed.
Open in chamber →
derive-chain

Derive a downstream value

A model output derived from two observations; confidence propagates by the demonstration rule.

A single claim branches into four verifiability classes: observed, reported, inferred, disputed.
Open in chamber →
freshness

Freshness & staleness

Ask whether a piece of evidence has aged past its usefulness for a given decision.

A single claim branches into four verifiability classes: observed, reported, inferred, disputed.
Open in chamber →
polyphonic-conflictFlagship · V5

Polyphonic conflict

Two witnesses disagree. Compare, resolve under an explicit policy, and record the dispute as a relation between claims.

A single claim branches into four verifiability classes: observed, reported, inferred, disputed.
Open in chamber →