Define the intent
Describe the workflow, its entities and the conditions that must hold.
Products
Three connected systems. One coherent platform.
Vinculum / Workflow
How it works
Workflow overview
Make the rules explicit
Use an Allium contract to expose assumptions and bounded obligations.
Bind the evidence
Connect the candidate, checks and approval to the exact version under consideration.
INTERACTIVE LAB / SYNTHETIC DATA
Explore the workflow, step by step.
Inspect the generated artifacts, introduce a defect, and follow its repair through a verified replay.
Ready
Explore the full diagram
Choose Play or Step to start.
Enable JavaScript to explore this interactive model.
Run ledger
Last 12 completed runs, saved separately for each product in this browser tab—not a user account. Reloads retain them. Reset all workflow demos clears every product’s saved runs and configuration.
No completed runs yet.
Browser simulation only: no live services, production changes or formal proof execution. “Passed” means the workflow checks held for this seed and configuration. Downloaded traces are demo evidence, separate from Allium/Bend proofs and Holodeck runtime verification.