Graft 01 · Executable chamber
Evidentiality, made runnable.
A deterministic runtime for provenance-aware values. Pin an evaluation date, execute, and stamp the result into a reproducible receipt.
Runtime
v0.1
Evaluation date
2026-07-15
Status
Idle
Fingerprint
—
Starter program
Compare a directly observed reading against a reported one, and let the policy decide.
Evaluation date
Deterministic clock — freshness is read against this date, not the wall clock.
DSL editor · lanskrit-v0.1
Mod-Enter to execute// Two witnesses to the same fact.
let meter = observed(42.1, {
id: "meter-A",
source: { system: "sensor", actor: "line-3" },
createdAt: "2026-07-14",
confidence: 0.95,
observer: "line-3",
method: "flowmeter-v2",
observedAt: "2026-07-14",
directness: "direct"
});
let clerk = reported(42.9, {
id: "clerk-note",
source: { system: "manual", actor: "shift-clerk" },
createdAt: "2026-07-14",
confidence: 0.6,
reporter: "shift-clerk",
reportedAt: "2026-07-14",
reportChain: ["shift-clerk"],
corroborated: false
});
let agreement = compare(meter, clerk, { numericTolerance: 1.5 });
let call = decide(meter, {
id: "line-release",
impact: "medium",
allowedKinds: ["observed"],
minimumConfidence: 0.8,
maximumAgeDays: 7,
allowDisputed: false,
policyVersion: "1.0.0"
});
Result
No run yet. Press Execute to run against the Evidentiality runtime.