[package] name = "wai-quantum-writer" version = "0.1.0" edition = "2024" license = "Apache-2.0" description = "WAI Quantum writes a program for a task: a model on WAI's own pure-Rust inference runtime writes it, the engine checks it against what the task asks exactly as it checks a lesson's answer, and what went wrong goes back for another attempt. Decoding is greedy, so the same model files, task, options and engine give the same programs in the same arithmetic, which the transcript names (architecture, operating system, matmul kernel), and every attempt is in a transcript named by digests." repository = "https://git.transaction.science/Transaction-Science/open-standards" publish = false [dependencies] # quantum_engine: the course's check of a program against an exercise # (engine::course::check_exercise, task_of); quantum_receipt: the canonical # bytes the transcript's digests are taken over. wai-quantum = { path = "../wai-quantum", default-features = false, features = ["quantum_engine", "quantum_receipt"] } serde_json = { version = "1", features = ["preserve_order"] } blake3 = "1" # The model the loop runs: North Mini Code 1.0 (Apache-2.0) on the pure-Rust # inference substrate (jouleclaw-loader-gguf), greedy decode from the checkpoint mmap. jouleclaw-loader-gguf = { path = "../../jouleclaw/jouleclaw-rs/crates/jouleclaw-loader-gguf", features = ["rayon"], optional = true } # The model's shards mapped from one handle each, so open_verified hashes the bytes it maps. memmap2 = { version = "0.9", optional = true } [features] default = ["coder"] coder = ["dep:jouleclaw-loader-gguf", "dep:memmap2"] [[bin]] name = "wai-quantum-writer" required-features = ["coder"]