Systems and low-level
A from-scratch Rust operating system with capability security and deterministic replay, and an intent runtime whose formal proofs run in microseconds.
WeftScript
Intent in. Running software out.
Released Intent runtime and software fabric
WeftScript is a universal intent runtime and software fabric. Instead of writing line-by-line code, you declare goals, constraints and contracts, and a multi-objective planner compiles them into a content-addressed execution graph that runs across targets.
What it does
Built in Rust around seven typed primitives, with native telemetry, capability-based security, and a continuous optimisation loop that keeps re-planning as constraints and costs change.
The formal proofs that check a plan against its contracts run in microseconds, which is what makes re-planning on every change practical rather than theoretical.
Who it is for
Systems engineers and researchers working on declarative execution and program synthesis.
What it costs
Open source.
Terminology
Words this page uses in a specific sense.
- Intent runtime
- A system you give a desired outcome and its constraints, rather than a sequence of instructions; the runtime plans and executes the steps.
- Content-addressed execution graph
- A plan whose every node is identified by the hash of its contents, so identical work is deduplicated and any run is reproducible.
- Capability-based security
- Access is granted by holding an unforgeable token for a specific resource, rather than by an ambient identity checked against a permission list.
Facts
| Field | Value |
|---|---|
| Name | WeftScript |
| Status | Released |
| Category | Intent runtime and software fabric |
| Platforms | Windows, Linux, macOS |
| Pricing | Open source. |
| Source | Public repository |
| Publisher | Cognitive Industries |
| Published from | Brisbane, Queensland, Australia |
Capabilities behind it
Quantum and heterogeneous compute
A provider-agnostic intermediate representation that plans each piece of work onto CPU, GPU or quantum hardware with cost estimation across real QPU providers.
Sources
Where this page states a standard, an obligation or a research result, this is what it is drawn from. All external, all checkable.
- WeftScript source — every claim on this page is checkable against the repository
- Keystroke dynamics research overview — Computers & Security — the basis for HumanIO timing models
- Fitts, P. M. (1954), The information capacity of the human motor system — the motor-control law behind cursor submovements
Related
Last reviewed · Site changelog