Ash

A reference implementation of the Sharo Core Language (SHC)

Ash is an executable semantics and runtime for the Sharo Core workflow language, designed for governed AI systems with formal verification capabilities.

Overview

Ash provides:

• Parser: Surface language → IR
• Type Checker: Effect tracking and obligation verification
• Interpreter: Big-step operational semantics
• Provenance Tracker: Complete audit trails
• Policy Engine: Deontic logic evaluation

Project Structure

ash/
├── crates/
│   ├── ash-core/       # IR and semantics definitions
│   ├── ash-parser/     # Surface language parser
│   ├── ash-typeck/     # Type checker and effect analysis
│   ├── ash-interp/     # Interpreter and runtime
│   ├── ash-provenance/ # Audit trail and provenance
│   └── ash-cli/        # Command-line interface
├── examples/           # Example workflows
├── tests/              # Test suite
└── docs/               # Documentation

Quick Start

# Build
cargo build --release

# Run a workflow
ash run examples/entrypoint_minimal.ash

# Pass runtime args to a canonical entry workflow
ash run examples/entrypoint_args.ash -- hello world

# Run with provenance tracking
ash run --trace examples/entrypoint_minimal.ash

The larger files in examples/support_ticket.ash and examples/multi_agent_research.ash are reference-oriented workflow samples, not canonical Phase 57 entry files. They are not expected to run or type-check unchanged in this worktree's current Phase 57 CLI path. Adapt them to the main(...) -> Result<(), RuntimeError> entry contract shown below before running them with ash run.

Phase 57 canonical entry workflows use the main contract shown below:

use result::Result
use runtime::RuntimeError
use runtime::Args

workflow main(args: cap Args) -> Result<(), RuntimeError> {
  observe Args 0 as _;
  done;
}

Language Example

workflow support_ticket {
  observe search_kb with query: ticket.subject as docs;
  orient analyze(docs, ticket) as analysis;
  
  decide { analysis.confidence > 0.8 } under external_comm then {
    -- Symbolic capability call (new sugar)
    send_email(to: ticket.customer, body: analysis.reply)
      when approved;
    
    -- Explicit provider:action call (new sugar)
    email:send(to: ticket.customer, body: analysis.reply)
      when approved;
  } else {
    -- Legacy act form (still supported, lowers to same contract)
    act escalate(to: senior_agent);
  }
}

Status

🚧 Work in progress - implementing core semantics from Sharo Core Language specification.

License

MIT OR Apache-2.0