{"children":[{"children":[{"children":[],"kind":"view-node","props":{"label":"Compute"},"tag":"SectionEyebrow"},{"children":[],"kind":"view-node","props":{"help":"Edit source and run it through CRE8VM.","text":"Script workbench","variant":"h1"},"tag":"Text"}],"kind":"view-node","props":{"variant":"app-hero"},"tag":"Section"},{"children":[],"kind":"view-node","props":{"html":"<nav aria-label=\"Compute pages\"><a href=\"/view/app/compute/home\">Overview</a> · <a href=\"/view/app/compute/atlas\">Atlas</a> · <a href=\"/view/app/compute/decompiler\">Decompiler</a> · <a href=\"/view/app/compute/script\" aria-current=\"page\">Script workbench</a> · <a href=\"/view/app/compute/packages\">Packages</a> · <a href=\"/view/app/compute/guide\">Guide</a> · <a href=\"/view/compute/compiler\">Compiler</a> · <a href=\"/view/compute/compiler/builds\">Retained builds</a> · <a href=\"/view/compute/compiler/tools\">Tool roster</a></nav>"},"tag":"RawHtml"},{"children":[],"kind":"view-node","props":{"html":"<nav aria-label=\"Source workspace and graph\"><a href=\"/view/editor\" target=\"_blank\" rel=\"noopener\">Multi-file editor</a> · <a href=\"/view/protocol/crystals\" target=\"_blank\" rel=\"noopener\">Crystals</a> · <a href=\"/view/protocol/atlas\" target=\"_blank\" rel=\"noopener\">Graph Atlas</a></nav><p>Open, save and ingest source files in the workspace editor to create their Protocol and Crystal records.</p>"},"tag":"RawHtml"},{"children":[{"children":[{"children":[],"kind":"view-node","props":{"connection":"Compute.Execute","fields":[{"default":"execute","kind":"hidden","name":"action"},{"default":"named","hint":"Named mode requires the declared function below. Automatic mode retains the language runtime's entry selection, including supported top-level scripts.","kind":"select","label":"Entry selection","name":"entry_policy","options":[{"label":"Require named function","value":"named"},{"label":"Automatic entry","value":"auto"}]},{"default":"javascript","hint":"Choose the language of your source. CRE8VM runs supported language subsets.","kind":"select","label":"Language","name":"language","options":[{"label":"JavaScript","value":"javascript"},{"label":"Python","value":"python"},{"label":"Rust-like subset","value":"rust"}],"required":true},{"default":"function remaining(capacity, used, requested) {\n    if (requested < 0) { return -1; }\n    let available = capacity - used;\n    if (requested > available) { return -1; }\n    return available - requested;\n}\n\nfunction main() {\n    return remaining(100, 52, 24);\n}\n","hint":"The example returns 24. Change requested from 24 to 30 and run again to get 18. Put this run's input values in your source.","kind":"textarea","label":"Source","name":"source","required":true},{"default":"main","kind":"text","label":"Entry function","name":"entry","required":true},{"default":10000,"hint":"Bounds VM execution. A browser request timeout does not cancel a server-side run.","kind":"number","label":"Step limit","name":"max_steps","required":true},{"default":true,"kind":"checkbox","label":"Include execution diagnostics","name":"debug"}],"id":"compute-script-run","maxResultChars":64000,"resultReport":{"requestFields":[{"label":"Source","path":"source"},{"label":"Language","path":"language"},{"label":"Entry selection","path":"entry_policy"},{"label":"Entry function","path":"entry"},{"label":"Step limit","path":"max_steps"},{"label":"Diagnostics requested","path":"debug"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Runtime outcome","path":"ok"},{"label":"Result","path":"result"},{"label":"Error","path":"error"},{"label":"Executed steps","path":"steps"}],"title":"Execution result"},{"fields":[{"label":"Cached","path":"cached"},{"label":"Cache source","path":"cache_source"},{"label":"Store hit","path":"store_hit"},{"label":"Durable artifact hit","path":"durable_artifact_hit"},{"label":"Stronger-policy reuse","path":"proof_policy_reuse"},{"label":"Requested IR","path":"requested_ir_hash"},{"label":"Returned execution IR","path":"ir_hash"},{"label":"Work identity","path":"execution_work_key"},{"label":"Artifact cache identity","path":"execution_cache_key"},{"label":"Requested cache identity","path":"requested_execution_cache_key"}],"title":"Reuse and identity"},{"fields":[{"label":"Receipt digest","path":"receipt_hash"},{"label":"Receipt bytes","path":"receipt_json"},{"label":"Stored execution timestamp","path":"stored_at"},{"label":"Returned proof metadata","path":"proof"}],"title":"Receipt and proof reported by Runtime"},{"fields":[{"label":"Emission metadata","path":"emission"},{"label":"Ledger outcome and deltas","path":"emission_ledger"}],"title":"Emissions reported by Runtime"}],"title":"Submitted execution"},"submitLabel":"Run script","timeoutMs":120000,"title":"Run a script"},"tag":"Form"},{"children":["Each response stays paired with the submitted source and settings, even while you edit the next run. Open the evidence groups for identities, receipts and emissions returned by Runtime; the raw response remains below."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"run","label":"Run script"},"tag":"Tab"},{"children":[{"children":["Compile a declared build, inspect its artifact, explore recovered code, or synthesize a circuit. These controls use the same owning Runtime connections as MCP."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":[],"kind":"view-node","props":{"connection":"Compute.Build","fields":[{"default":"inspect","hint":"Compilation publishes the host-configured artifact and receipt using its pinned compiler. The host must provision the manifest, compiler and existing lock.","kind":"select","label":"Build operation","name":"operation","options":[{"label":"Verify receipt and inspect ELF","value":"inspect"},{"label":"Compile locked build","value":"compile"}]}],"id":"compute-build","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Succeeded","path":"ok"},{"label":"Error","path":"error"},{"label":"Build identity","path":"build_id"},{"format":"link","label":"Open this build","path":"build_url"},{"label":"Verified bindings","path":"verification"},{"label":"ELF inspection","path":"artifact"},{"label":"Compiler result","path":"compilation"},{"label":"Declared build","path":"manifest"},{"label":"Build receipt","path":"build_receipt"}],"title":"Build result"}],"title":"Inspect or compile build"},"submitLabel":"Inspect or compile build","timeoutMs":120000,"title":"Inspect or compile build"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.CompareArtifact","fields":[{"hint":"Use the identity returned by build inspection. A changed build is rejected.","kind":"text","label":"Build identity","name":"build_id","required":true},{"default":"riscv64","kind":"select","label":"Re-emit as","name":"target","options":[{"label":"RV64","value":"riscv64"},{"label":"AArch64 (empty stdin)","value":"arm64"}]},{"default":"","hint":"UTF-8, up to 4096 bytes. Both runs receive the same captured bytes.","kind":"textarea","label":"Captured stdin","name":"stdin"},{"default":true,"kind":"checkbox","label":"Retain artifacts and record both runs","name":"record_occurrences"}],"id":"compute-compare-artifact","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Comparison completed","path":"ok"},{"label":"Error","path":"error"},{"label":"Build identity","path":"build_id"},{"label":"Captured source","path":"source"},{"label":"Original artifact","path":"original_artifact_sha256"},{"label":"Emitted artifact","path":"emitted_artifact_sha256"},{"label":"Captured execution input","path":"input"},{"label":"Outputs equal for this input","path":"observed_outputs_equal"},{"label":"Original and emitted observables","path":"comparison"},{"label":"Recovered IR","path":"lifted_ir"},{"label":"Receipt for saved replay","path":"lineage.receipt_atom"},{"format":"link","label":"Continue with this saved receipt","path":"workbench_url"},{"label":"Artifacts, Crystals and execution occurrences","path":"lineage"},{"label":"Evidence scope","path":"scope"}],"title":"Captured program and comparison"}],"title":"Compare captured build"},"submitLabel":"Compare captured build","timeoutMs":120000,"title":"Compare captured build"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.ReplayArtifact","fields":[{"hint":"Paste the receipt identity from a recorded comparison or replay. Both saved images and the saved input are reused, even if the build directory has changed.","kind":"text","label":"Saved comparison receipt","name":"receipt_atom","required":true},{"default":true,"kind":"checkbox","label":"Record two new runs linked to this receipt","name":"record_occurrences"}],"id":"compute-replay-artifact","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Replay completed","path":"ok"},{"label":"Error","path":"error"},{"label":"Replayed receipt","path":"replay_of_receipt_atom"},{"label":"Original build identity","path":"build_id"},{"label":"Saved content bindings verified","path":"saved_artifact_bindings_verified"},{"label":"Captured source","path":"source"},{"label":"Retained input","path":"input"},{"label":"Original image","path":"original_artifact_sha256"},{"label":"Emitted image","path":"emitted_artifact_sha256"},{"label":"Outputs equal for this input","path":"observed_outputs_equal"},{"label":"Fresh observables","path":"comparison"},{"label":"Receipt for another replay","path":"lineage.receipt_atom"},{"format":"link","label":"Continue with this saved receipt","path":"workbench_url"},{"label":"Fresh occurrences and retained artifacts","path":"lineage"},{"label":"Evidence scope","path":"scope"}],"title":"Saved artifacts, fresh execution"}],"title":"Replay saved comparison"},"submitLabel":"Replay saved comparison","timeoutMs":120000,"title":"Replay saved comparison"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.InspectArtifact","fields":[{"hint":"Use the same saved receipt as replay. Inspection does not run the program.","kind":"text","label":"Saved comparison receipt","name":"receipt_atom","required":true},{"default":"original","kind":"select","label":"Artifact","name":"side","options":[{"label":"Original image","value":"original"},{"label":"Emitted image","value":"emitted"}]},{"default":"ir","kind":"select","label":"Representation","name":"representation","options":[{"label":"Retained IR","value":"ir"},{"label":"Recovered Python","value":"python"},{"label":"Recovered JavaScript","value":"javascript"},{"label":"RTL and circuit projection","value":"verilog"}]}],"id":"compute-inspect-artifact","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Inspection completed","path":"ok"},{"label":"Error","path":"error"},{"label":"Selected receipt","path":"receipt_atom"},{"label":"Selected image","path":"side"},{"label":"Artifact identity","path":"artifact_atom"},{"label":"Architecture","path":"arch"},{"label":"Retained IR Atom","path":"ir_atom"},{"label":"Crystal identity","path":"crystal_hash"},{"label":"Captured build source","path":"captured_source"},{"label":"IR nodes","path":"node_count"},{"label":"Representation status","path":"representation.status"},{"label":"Representation limitation","path":"representation.error"},{"label":"Generated code","path":"representation.source"},{"label":"Circuit projection","path":"representation.circuit"},{"label":"Retained IR","path":"retained_ir"},{"label":"Evidence scope","path":"scope"}],"title":"Selected artifact and representation"}],"title":"Inspect saved artifact"},"submitLabel":"Inspect saved artifact","timeoutMs":120000,"title":"Inspect saved artifact"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Decompiler.Inspect","fields":[{"default":"targets","kind":"select","label":"Inspection","name":"operation","options":[{"label":"Discover lift and output targets","value":"targets"},{"label":"Decompile assembly","value":"text"},{"label":"Decompile binary","value":"binary"},{"label":"Analyze ROM candidates","value":"analyze"}]},{"default":"","hint":"For assembly decompilation. Maximum 65536 source bytes.","kind":"textarea","label":"Assembly source","name":"source"},{"default":"riscv64","kind":"text","label":"Assembly architecture","name":"arch"},{"default":"","hint":"For binary decompilation or ROM analysis. Maximum 1 MiB decoded.","kind":"textarea","label":"Binary as base64","name":"binary_base64"},{"default":"python","kind":"text","label":"Recovered source language","name":"target"},{"default":"","kind":"text","label":"ROM device hint","name":"device_id"}],"id":"compute-inspect","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Succeeded","path":"ok"},{"label":"Error","path":"error"},{"label":"Native VM enabled in this host","path":"native_vm_enabled"},{"label":"Available input targets","path":"lift_targets"},{"label":"Available output targets","path":"emit_targets"},{"label":"Recovered IR identity","path":"ir_hash"},{"label":"Recovered source","path":"source"},{"label":"Functions","path":"function_count"},{"label":"IR nodes","path":"node_count"},{"label":"Analysis candidates","path":"candidates"},{"label":"Analysis statistics","path":"stats"}],"title":"Artifact intelligence"}],"title":"Inspect code or binary"},"submitLabel":"Inspect code or binary","timeoutMs":120000,"title":"Inspect code or binary"},"tag":"Form"},{"children":["Recovered code and analysis candidates do not prove equivalence to the original program. Compilation, execution, decompilation and circuit synthesis each report their own evidence."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":[],"kind":"view-node","props":{"connection":"Circuit.Synthesize","fields":[{"default":"function main() { return 6 * 7; }","kind":"textarea","label":"Circuit source","name":"source","required":true},{"default":"javascript","kind":"select","label":"Language","name":"lang","options":[{"label":"JavaScript","value":"javascript"},{"label":"Python","value":"python"},{"label":"Rust-like subset","value":"rust"}]},{"default":"main","kind":"text","label":"Entry function","name":"entry"},{"default":"VM circuit experiment","kind":"text","label":"Design title","name":"title"}],"id":"compute-circuit","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Succeeded","path":"ok"},{"label":"Error","path":"error"},{"label":"Circuit design and artifacts","path":"design"},{"label":"Circuit view","path":"view_url"}],"title":"Circuit representation"}],"title":"Synthesize circuit"},"submitLabel":"Synthesize circuit","timeoutMs":120000,"title":"Synthesize circuit"},"tag":"Form"},{"children":["Circuit owns Verilog, scene and design persistence. Synthesis here does not request a device bitstream or establish ASIC readiness. Open the returned Circuit view for its simulation and hardware workflow."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"development","label":"Build and inspect"},"tag":"Tab"},{"children":[{"children":["Describe examples or constraints for the goal's language. Runtime owns the synthesis session; use Refresh status to inspect progress."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamRun","fields":[{"default":"dream_run","kind":"hidden","name":"action"},{"default":"{\n  \"language\": \"javascript\",\n  \"constraints\": [\n    { \"type\": \"example\", \"input\": {}, \"expected\": { \"Number\": 24 } }\n  ],\n  \"evolution\": { \"population_size\": 12, \"generations\": 20 }\n}","hint":"A language, a non-empty constraints array and optional evolution settings. Constraint types: example, type_signature, invariant, property, bound. Example inputs and expected results use tagged VM values, such as {\"Number\": 24}.","kind":"textarea","label":"Goal (JSON)","name":"goal","required":true}],"id":"compute-dream-run","maxResultChars":16000,"resultReport":{"requestFields":[{"label":"Submitted goal","path":"goal"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Accepted","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"State","path":"state"}],"title":"Started session"}],"title":"Synthesis session"},"submitLabel":"Start synthesis","timeoutMs":60000,"title":"Start synthesis","typedInputs":[{"name":"goal","required":true,"type":"object"}]},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamStatus","fields":[{"default":"dream_status","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true}],"id":"compute-dream-status","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Status returned","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"status.session_id"},{"label":"State","path":"status.state"},{"label":"Synthesis failed","path":"status.error"},{"label":"Evidence persisted","path":"status.evidence_persisted"},{"label":"Observation","path":"status.evidence_observation_id"}],"title":"Synthesis session"},{"fields":[{"label":"IR identity","path":"status.result.synthesized.ir_hash"},{"label":"Synthesis origin","path":"status.result.synthesized.source"},{"label":"Candidate IR graph","path":"status.result.synthesized.graph"}],"title":"Returned IR candidate"},{"fields":[{"label":"Returned status","path":"status"}],"title":"Returned status"}],"title":"Refresh status"},"submitLabel":"Refresh status","timeoutMs":60000,"title":"Refresh status"},"tag":"Form"},{"children":["The candidate is an IR graph. Its synthesis origin describes how it was found; it is not executable source text or an execution proof."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamEvents","fields":[{"default":"dream_events","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true},{"default":false,"hint":"Cleared events are not returned again.","kind":"checkbox","label":"Clear the events after reading","name":"clear"}],"id":"compute-dream-events","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Events returned","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"State","path":"state"},{"label":"Events","path":"event_count"},{"label":"Events in order","path":"events"}],"title":"Progress events"}],"title":"Read progress events"},"submitLabel":"Read progress events","timeoutMs":60000,"title":"Read progress events"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamPause","fields":[{"default":"dream_pause","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true}],"id":"compute-dream-pause","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Accepted","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"State","path":"state"}],"title":"Paused session"}],"title":"Pause synthesis"},"submitLabel":"Pause synthesis","timeoutMs":60000,"title":"Pause synthesis"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamResume","fields":[{"default":"dream_resume","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true}],"id":"compute-dream-resume","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Accepted","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"State","path":"state"}],"title":"Resumed session"}],"title":"Resume synthesis"},"submitLabel":"Resume synthesis","timeoutMs":60000,"title":"Resume synthesis"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamCancel","fields":[{"default":"dream_cancel","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true}],"id":"compute-dream-cancel","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Accepted","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"State","path":"state"}],"title":"Cancelled session"}],"title":"Cancel synthesis"},"submitLabel":"Cancel synthesis","timeoutMs":60000,"title":"Cancel synthesis"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamEnd","fields":[{"default":"dream_end","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true}],"id":"compute-dream-end","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Accepted","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"Removed from Runtime memory","path":"removed"}],"title":"Ended session"}],"title":"End session"},"submitLabel":"End session","timeoutMs":60000,"title":"End session"},"tag":"Form"},{"children":["A session lives in this Runtime's memory. Ending it removes its status and events; a restart drops every session."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"synthesis","label":"Dream synthesis"},"tag":"Tab"},{"children":[{"children":["Run the same byte-checksum script through interpretation and its compiled RV64 image. The build receipt binds the configured source and artifact; agreement applies to this input."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":[],"kind":"view-node","props":{"connection":"Compute.ByteChecksum","fields":[{"default":"Wikipedia","hint":"Empty input is valid. Maximum 4096 bytes.","kind":"textarea","label":"Input","name":"data"},{"default":"utf8","kind":"select","label":"Encoding","name":"encoding","options":[{"label":"UTF-8 text","value":"utf8"},{"label":"Hex bytes","value":"hex"}]},{"default":false,"hint":"Stores the exact input, source, build files and result in Atom storage and records a distinct run in Crystal/Atlas history.","kind":"checkbox","label":"Record this comparison","name":"record_occurrence"}],"id":"compute-byte-checksum","maxResultChars":64000,"resultReport":{"requestFields":[{"label":"Submitted input","path":"data"},{"label":"Encoding","path":"encoding"},{"label":"Recording requested","path":"record_occurrence"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Completed comparison","path":"ok"},{"label":"Adler-32","path":"checksum"},{"label":"Outputs agree for this input","path":"equivalent"},{"label":"Error","path":"error"},{"label":"Status","path":"error_code"},{"label":"Input SHA-256","path":"input_sha256"},{"label":"Input bytes","path":"input_bytes"}],"title":"Observed result"},{"fields":[{"label":"Interpreted execution","path":"interpreted"},{"label":"RV64 execution","path":"native"},{"label":"Fresh executions","path":"fresh_execution"},{"label":"Proof verified","path":"proof_verified"}],"title":"Execution modes"},{"fields":[{"label":"Build identity","path":"build_id"},{"label":"Content checks","path":"build_verification"},{"label":"Build receipt","path":"build_receipt"}],"title":"Existing build evidence"},{"fields":[{"label":"Durably recorded","path":"recording.recorded"},{"label":"Occurrence identity","path":"recording.occurrence_id"},{"label":"Crystal identity","path":"recording.crystal_hash"},{"label":"Retained input and build Atoms","path":"recording.atoms"},{"label":"Comparison receipt Atom","path":"recording.receipt_atom"},{"label":"Protocol occurrence","path":"recording.occurrence"},{"label":"Completed execution if recording failed","path":"execution_result"}],"title":"Recorded occurrence"}],"title":"Captured-input comparison"},"submitLabel":"Compare executions","timeoutMs":120000,"title":"Compare byte checksums"},"tag":"Form"},{"children":["The host must configure a verified compiler-image build. Matching checksums are an observation, not a proof. Recording is optional; a persistence failure does not claim a recorded occurrence or request an automatic rerun."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"checksum","label":"Compiled Runtime leaf"},"tag":"Tab"},{"children":[{"children":["Copy an example into Source and choose its matching language. Each returns 24."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["JavaScript: function main() { return 100 - 52 - 24; }"],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["Python: write def main(): on the first line, then an indented return 100 - 52 - 24 on the next line."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["Rust-like subset: fn main() { return 100 - 52 - 24; }"],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["This workbench executes source through Runtime. It does not install a scripted app or replace the host build. A returned hash or diagnostic is not, by itself, a verified proof."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"examples","label":"Language examples"},"tag":"Tab"},{"children":[{"children":["Compute owns the execution identities below. The response is shown unchanged so omitted evidence stays visible."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["requested_ir_hash identifies the requested source IR when returned; ir_hash identifies the execution supplying the result. They can differ when a crystal-equivalent execution is reused."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["execution_work_key identifies deterministic work. execution_cache_key identifies the admitted artifact under its proof policy; requested_execution_cache_key distinguishes a different requested policy when a stronger artifact is reused."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["cached, store_hit, durable_artifact_hit and proof_policy_reuse describe reuse. Missing fields mean not reported. A cached result is not a fresh execution."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["receipt_json and receipt_hash describe returned receipt bytes. On reuse they belong to the stored execution. A receipt digest is not an occurrence identity or a proof verdict. Full causal history belongs to the existing HyperDB/Atlas provenance path."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"lineage","label":"Execution lineage"},"tag":"Tab"}],"kind":"view-node","props":{"defaultTab":"run"},"tag":"Tabs"},{"children":[],"kind":"view-node","props":{"data":{"binding":{"binding_schema":"crystal_atlas_graph_binding_v1","nucleus_ir_hash":"3f4eced66deb1ba637b8df83e2c3145f6b9fff638dab3be3133ded91b16cf2ff","requested_ir_hash":"3f4eced66deb1ba637b8df83e2c3145f6b9fff638dab3be3133ded91b16cf2ff","unavailable_reason":"crystal_scope_not_materialized"},"counts":{"entries":0,"reusable":0,"settlement_authorized":0},"entries":[],"history_frame_id":"crystal_atlas_history:cb195f9ce034ffad874c5629b3ca8641c449031156e5ad681f87a5a3b990798b","schema":"crystal_atlas_history_v1"},"edges":[],"frameId":"crystal_atlas_history:cb195f9ce034ffad874c5629b3ca8641c449031156e5ad681f87a5a3b990798b","height":420,"id":"causal-crystal-atlas","nodes":[],"readonly":true,"relations":[],"schema":"crystal_atlas_history_v1","title":"Recorded checksum runs"},"tag":"NodeHypergraph"},{"children":[{"children":[{"children":["Checking view availability…"],"kind":"view-node","props":{},"tag":"Text"}],"kind":"view-node","props":{"aria-label":"View availability","class":"primitive-live-payload","id":"payload-live-content-compute-compute-script"},"tag":"Section"}],"kind":"view-node","props":{"id":"payload-live-compute-compute-script","patchTarget":"#payload-live-content-compute-compute-script","pollIntervalMs":8000,"refreshHref":"/view/payload/patch?app=Compute&view=compute.script","streamUrl":"/view/payload/patch?app=Compute&view=compute.script","transport":"http","transportStatus":false},"tag":"LiveSlot"}],"data":{"children":[{"children":[{"children":[],"kind":"view-node","props":{"label":"Compute"},"tag":"SectionEyebrow"},{"children":[],"kind":"view-node","props":{"help":"Edit source and run it through CRE8VM.","text":"Script workbench","variant":"h1"},"tag":"Text"}],"kind":"view-node","props":{"variant":"app-hero"},"tag":"Section"},{"children":[],"kind":"view-node","props":{"html":"<nav aria-label=\"Compute pages\"><a href=\"/view/app/compute/home\">Overview</a> · <a href=\"/view/app/compute/atlas\">Atlas</a> · <a href=\"/view/app/compute/decompiler\">Decompiler</a> · <a href=\"/view/app/compute/script\" aria-current=\"page\">Script workbench</a> · <a href=\"/view/app/compute/packages\">Packages</a> · <a href=\"/view/app/compute/guide\">Guide</a> · <a href=\"/view/compute/compiler\">Compiler</a> · <a href=\"/view/compute/compiler/builds\">Retained builds</a> · <a href=\"/view/compute/compiler/tools\">Tool roster</a></nav>"},"tag":"RawHtml"},{"children":[],"kind":"view-node","props":{"html":"<nav aria-label=\"Source workspace and graph\"><a href=\"/view/editor\" target=\"_blank\" rel=\"noopener\">Multi-file editor</a> · <a href=\"/view/protocol/crystals\" target=\"_blank\" rel=\"noopener\">Crystals</a> · <a href=\"/view/protocol/atlas\" target=\"_blank\" rel=\"noopener\">Graph Atlas</a></nav><p>Open, save and ingest source files in the workspace editor to create their Protocol and Crystal records.</p>"},"tag":"RawHtml"},{"children":[{"children":[{"children":[],"kind":"view-node","props":{"connection":"Compute.Execute","fields":[{"default":"execute","kind":"hidden","name":"action"},{"default":"named","hint":"Named mode requires the declared function below. Automatic mode retains the language runtime's entry selection, including supported top-level scripts.","kind":"select","label":"Entry selection","name":"entry_policy","options":[{"label":"Require named function","value":"named"},{"label":"Automatic entry","value":"auto"}]},{"default":"javascript","hint":"Choose the language of your source. CRE8VM runs supported language subsets.","kind":"select","label":"Language","name":"language","options":[{"label":"JavaScript","value":"javascript"},{"label":"Python","value":"python"},{"label":"Rust-like subset","value":"rust"}],"required":true},{"default":"function remaining(capacity, used, requested) {\n    if (requested < 0) { return -1; }\n    let available = capacity - used;\n    if (requested > available) { return -1; }\n    return available - requested;\n}\n\nfunction main() {\n    return remaining(100, 52, 24);\n}\n","hint":"The example returns 24. Change requested from 24 to 30 and run again to get 18. Put this run's input values in your source.","kind":"textarea","label":"Source","name":"source","required":true},{"default":"main","kind":"text","label":"Entry function","name":"entry","required":true},{"default":10000,"hint":"Bounds VM execution. A browser request timeout does not cancel a server-side run.","kind":"number","label":"Step limit","name":"max_steps","required":true},{"default":true,"kind":"checkbox","label":"Include execution diagnostics","name":"debug"}],"id":"compute-script-run","maxResultChars":64000,"resultReport":{"requestFields":[{"label":"Source","path":"source"},{"label":"Language","path":"language"},{"label":"Entry selection","path":"entry_policy"},{"label":"Entry function","path":"entry"},{"label":"Step limit","path":"max_steps"},{"label":"Diagnostics requested","path":"debug"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Runtime outcome","path":"ok"},{"label":"Result","path":"result"},{"label":"Error","path":"error"},{"label":"Executed steps","path":"steps"}],"title":"Execution result"},{"fields":[{"label":"Cached","path":"cached"},{"label":"Cache source","path":"cache_source"},{"label":"Store hit","path":"store_hit"},{"label":"Durable artifact hit","path":"durable_artifact_hit"},{"label":"Stronger-policy reuse","path":"proof_policy_reuse"},{"label":"Requested IR","path":"requested_ir_hash"},{"label":"Returned execution IR","path":"ir_hash"},{"label":"Work identity","path":"execution_work_key"},{"label":"Artifact cache identity","path":"execution_cache_key"},{"label":"Requested cache identity","path":"requested_execution_cache_key"}],"title":"Reuse and identity"},{"fields":[{"label":"Receipt digest","path":"receipt_hash"},{"label":"Receipt bytes","path":"receipt_json"},{"label":"Stored execution timestamp","path":"stored_at"},{"label":"Returned proof metadata","path":"proof"}],"title":"Receipt and proof reported by Runtime"},{"fields":[{"label":"Emission metadata","path":"emission"},{"label":"Ledger outcome and deltas","path":"emission_ledger"}],"title":"Emissions reported by Runtime"}],"title":"Submitted execution"},"submitLabel":"Run script","timeoutMs":120000,"title":"Run a script"},"tag":"Form"},{"children":["Each response stays paired with the submitted source and settings, even while you edit the next run. Open the evidence groups for identities, receipts and emissions returned by Runtime; the raw response remains below."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"run","label":"Run script"},"tag":"Tab"},{"children":[{"children":["Compile a declared build, inspect its artifact, explore recovered code, or synthesize a circuit. These controls use the same owning Runtime connections as MCP."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":[],"kind":"view-node","props":{"connection":"Compute.Build","fields":[{"default":"inspect","hint":"Compilation publishes the host-configured artifact and receipt using its pinned compiler. The host must provision the manifest, compiler and existing lock.","kind":"select","label":"Build operation","name":"operation","options":[{"label":"Verify receipt and inspect ELF","value":"inspect"},{"label":"Compile locked build","value":"compile"}]}],"id":"compute-build","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Succeeded","path":"ok"},{"label":"Error","path":"error"},{"label":"Build identity","path":"build_id"},{"format":"link","label":"Open this build","path":"build_url"},{"label":"Verified bindings","path":"verification"},{"label":"ELF inspection","path":"artifact"},{"label":"Compiler result","path":"compilation"},{"label":"Declared build","path":"manifest"},{"label":"Build receipt","path":"build_receipt"}],"title":"Build result"}],"title":"Inspect or compile build"},"submitLabel":"Inspect or compile build","timeoutMs":120000,"title":"Inspect or compile build"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.CompareArtifact","fields":[{"hint":"Use the identity returned by build inspection. A changed build is rejected.","kind":"text","label":"Build identity","name":"build_id","required":true},{"default":"riscv64","kind":"select","label":"Re-emit as","name":"target","options":[{"label":"RV64","value":"riscv64"},{"label":"AArch64 (empty stdin)","value":"arm64"}]},{"default":"","hint":"UTF-8, up to 4096 bytes. Both runs receive the same captured bytes.","kind":"textarea","label":"Captured stdin","name":"stdin"},{"default":true,"kind":"checkbox","label":"Retain artifacts and record both runs","name":"record_occurrences"}],"id":"compute-compare-artifact","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Comparison completed","path":"ok"},{"label":"Error","path":"error"},{"label":"Build identity","path":"build_id"},{"label":"Captured source","path":"source"},{"label":"Original artifact","path":"original_artifact_sha256"},{"label":"Emitted artifact","path":"emitted_artifact_sha256"},{"label":"Captured execution input","path":"input"},{"label":"Outputs equal for this input","path":"observed_outputs_equal"},{"label":"Original and emitted observables","path":"comparison"},{"label":"Recovered IR","path":"lifted_ir"},{"label":"Receipt for saved replay","path":"lineage.receipt_atom"},{"format":"link","label":"Continue with this saved receipt","path":"workbench_url"},{"label":"Artifacts, Crystals and execution occurrences","path":"lineage"},{"label":"Evidence scope","path":"scope"}],"title":"Captured program and comparison"}],"title":"Compare captured build"},"submitLabel":"Compare captured build","timeoutMs":120000,"title":"Compare captured build"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.ReplayArtifact","fields":[{"hint":"Paste the receipt identity from a recorded comparison or replay. Both saved images and the saved input are reused, even if the build directory has changed.","kind":"text","label":"Saved comparison receipt","name":"receipt_atom","required":true},{"default":true,"kind":"checkbox","label":"Record two new runs linked to this receipt","name":"record_occurrences"}],"id":"compute-replay-artifact","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Replay completed","path":"ok"},{"label":"Error","path":"error"},{"label":"Replayed receipt","path":"replay_of_receipt_atom"},{"label":"Original build identity","path":"build_id"},{"label":"Saved content bindings verified","path":"saved_artifact_bindings_verified"},{"label":"Captured source","path":"source"},{"label":"Retained input","path":"input"},{"label":"Original image","path":"original_artifact_sha256"},{"label":"Emitted image","path":"emitted_artifact_sha256"},{"label":"Outputs equal for this input","path":"observed_outputs_equal"},{"label":"Fresh observables","path":"comparison"},{"label":"Receipt for another replay","path":"lineage.receipt_atom"},{"format":"link","label":"Continue with this saved receipt","path":"workbench_url"},{"label":"Fresh occurrences and retained artifacts","path":"lineage"},{"label":"Evidence scope","path":"scope"}],"title":"Saved artifacts, fresh execution"}],"title":"Replay saved comparison"},"submitLabel":"Replay saved comparison","timeoutMs":120000,"title":"Replay saved comparison"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.InspectArtifact","fields":[{"hint":"Use the same saved receipt as replay. Inspection does not run the program.","kind":"text","label":"Saved comparison receipt","name":"receipt_atom","required":true},{"default":"original","kind":"select","label":"Artifact","name":"side","options":[{"label":"Original image","value":"original"},{"label":"Emitted image","value":"emitted"}]},{"default":"ir","kind":"select","label":"Representation","name":"representation","options":[{"label":"Retained IR","value":"ir"},{"label":"Recovered Python","value":"python"},{"label":"Recovered JavaScript","value":"javascript"},{"label":"RTL and circuit projection","value":"verilog"}]}],"id":"compute-inspect-artifact","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Inspection completed","path":"ok"},{"label":"Error","path":"error"},{"label":"Selected receipt","path":"receipt_atom"},{"label":"Selected image","path":"side"},{"label":"Artifact identity","path":"artifact_atom"},{"label":"Architecture","path":"arch"},{"label":"Retained IR Atom","path":"ir_atom"},{"label":"Crystal identity","path":"crystal_hash"},{"label":"Captured build source","path":"captured_source"},{"label":"IR nodes","path":"node_count"},{"label":"Representation status","path":"representation.status"},{"label":"Representation limitation","path":"representation.error"},{"label":"Generated code","path":"representation.source"},{"label":"Circuit projection","path":"representation.circuit"},{"label":"Retained IR","path":"retained_ir"},{"label":"Evidence scope","path":"scope"}],"title":"Selected artifact and representation"}],"title":"Inspect saved artifact"},"submitLabel":"Inspect saved artifact","timeoutMs":120000,"title":"Inspect saved artifact"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Decompiler.Inspect","fields":[{"default":"targets","kind":"select","label":"Inspection","name":"operation","options":[{"label":"Discover lift and output targets","value":"targets"},{"label":"Decompile assembly","value":"text"},{"label":"Decompile binary","value":"binary"},{"label":"Analyze ROM candidates","value":"analyze"}]},{"default":"","hint":"For assembly decompilation. Maximum 65536 source bytes.","kind":"textarea","label":"Assembly source","name":"source"},{"default":"riscv64","kind":"text","label":"Assembly architecture","name":"arch"},{"default":"","hint":"For binary decompilation or ROM analysis. Maximum 1 MiB decoded.","kind":"textarea","label":"Binary as base64","name":"binary_base64"},{"default":"python","kind":"text","label":"Recovered source language","name":"target"},{"default":"","kind":"text","label":"ROM device hint","name":"device_id"}],"id":"compute-inspect","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Succeeded","path":"ok"},{"label":"Error","path":"error"},{"label":"Native VM enabled in this host","path":"native_vm_enabled"},{"label":"Available input targets","path":"lift_targets"},{"label":"Available output targets","path":"emit_targets"},{"label":"Recovered IR identity","path":"ir_hash"},{"label":"Recovered source","path":"source"},{"label":"Functions","path":"function_count"},{"label":"IR nodes","path":"node_count"},{"label":"Analysis candidates","path":"candidates"},{"label":"Analysis statistics","path":"stats"}],"title":"Artifact intelligence"}],"title":"Inspect code or binary"},"submitLabel":"Inspect code or binary","timeoutMs":120000,"title":"Inspect code or binary"},"tag":"Form"},{"children":["Recovered code and analysis candidates do not prove equivalence to the original program. Compilation, execution, decompilation and circuit synthesis each report their own evidence."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":[],"kind":"view-node","props":{"connection":"Circuit.Synthesize","fields":[{"default":"function main() { return 6 * 7; }","kind":"textarea","label":"Circuit source","name":"source","required":true},{"default":"javascript","kind":"select","label":"Language","name":"lang","options":[{"label":"JavaScript","value":"javascript"},{"label":"Python","value":"python"},{"label":"Rust-like subset","value":"rust"}]},{"default":"main","kind":"text","label":"Entry function","name":"entry"},{"default":"VM circuit experiment","kind":"text","label":"Design title","name":"title"}],"id":"compute-circuit","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Operation","path":"operation"},{"label":"Submitted source","path":"source"},{"label":"Selected build","path":"build_id"},{"label":"Selected saved receipt","path":"receipt_atom"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Succeeded","path":"ok"},{"label":"Error","path":"error"},{"label":"Circuit design and artifacts","path":"design"},{"label":"Circuit view","path":"view_url"}],"title":"Circuit representation"}],"title":"Synthesize circuit"},"submitLabel":"Synthesize circuit","timeoutMs":120000,"title":"Synthesize circuit"},"tag":"Form"},{"children":["Circuit owns Verilog, scene and design persistence. Synthesis here does not request a device bitstream or establish ASIC readiness. Open the returned Circuit view for its simulation and hardware workflow."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"development","label":"Build and inspect"},"tag":"Tab"},{"children":[{"children":["Describe examples or constraints for the goal's language. Runtime owns the synthesis session; use Refresh status to inspect progress."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamRun","fields":[{"default":"dream_run","kind":"hidden","name":"action"},{"default":"{\n  \"language\": \"javascript\",\n  \"constraints\": [\n    { \"type\": \"example\", \"input\": {}, \"expected\": { \"Number\": 24 } }\n  ],\n  \"evolution\": { \"population_size\": 12, \"generations\": 20 }\n}","hint":"A language, a non-empty constraints array and optional evolution settings. Constraint types: example, type_signature, invariant, property, bound. Example inputs and expected results use tagged VM values, such as {\"Number\": 24}.","kind":"textarea","label":"Goal (JSON)","name":"goal","required":true}],"id":"compute-dream-run","maxResultChars":16000,"resultReport":{"requestFields":[{"label":"Submitted goal","path":"goal"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Accepted","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"State","path":"state"}],"title":"Started session"}],"title":"Synthesis session"},"submitLabel":"Start synthesis","timeoutMs":60000,"title":"Start synthesis","typedInputs":[{"name":"goal","required":true,"type":"object"}]},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamStatus","fields":[{"default":"dream_status","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true}],"id":"compute-dream-status","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Status returned","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"status.session_id"},{"label":"State","path":"status.state"},{"label":"Synthesis failed","path":"status.error"},{"label":"Evidence persisted","path":"status.evidence_persisted"},{"label":"Observation","path":"status.evidence_observation_id"}],"title":"Synthesis session"},{"fields":[{"label":"IR identity","path":"status.result.synthesized.ir_hash"},{"label":"Synthesis origin","path":"status.result.synthesized.source"},{"label":"Candidate IR graph","path":"status.result.synthesized.graph"}],"title":"Returned IR candidate"},{"fields":[{"label":"Returned status","path":"status"}],"title":"Returned status"}],"title":"Refresh status"},"submitLabel":"Refresh status","timeoutMs":60000,"title":"Refresh status"},"tag":"Form"},{"children":["The candidate is an IR graph. Its synthesis origin describes how it was found; it is not executable source text or an execution proof."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamEvents","fields":[{"default":"dream_events","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true},{"default":false,"hint":"Cleared events are not returned again.","kind":"checkbox","label":"Clear the events after reading","name":"clear"}],"id":"compute-dream-events","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Events returned","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"State","path":"state"},{"label":"Events","path":"event_count"},{"label":"Events in order","path":"events"}],"title":"Progress events"}],"title":"Read progress events"},"submitLabel":"Read progress events","timeoutMs":60000,"title":"Read progress events"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamPause","fields":[{"default":"dream_pause","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true}],"id":"compute-dream-pause","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Accepted","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"State","path":"state"}],"title":"Paused session"}],"title":"Pause synthesis"},"submitLabel":"Pause synthesis","timeoutMs":60000,"title":"Pause synthesis"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamResume","fields":[{"default":"dream_resume","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true}],"id":"compute-dream-resume","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Accepted","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"State","path":"state"}],"title":"Resumed session"}],"title":"Resume synthesis"},"submitLabel":"Resume synthesis","timeoutMs":60000,"title":"Resume synthesis"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamCancel","fields":[{"default":"dream_cancel","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true}],"id":"compute-dream-cancel","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Accepted","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"State","path":"state"}],"title":"Cancelled session"}],"title":"Cancel synthesis"},"submitLabel":"Cancel synthesis","timeoutMs":60000,"title":"Cancel synthesis"},"tag":"Form"},{"children":[],"kind":"view-node","props":{"connection":"Compute.DreamEnd","fields":[{"default":"dream_end","kind":"hidden","name":"action"},{"hint":"The session identity Start synthesis returned.","kind":"text","label":"Synthesis session","name":"session_id","required":true}],"id":"compute-dream-end","maxResultChars":96000,"resultReport":{"requestFields":[{"label":"Session","path":"session_id"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Accepted","path":"ok"},{"label":"Error","path":"error"},{"label":"Session","path":"session_id"},{"label":"Removed from Runtime memory","path":"removed"}],"title":"Ended session"}],"title":"End session"},"submitLabel":"End session","timeoutMs":60000,"title":"End session"},"tag":"Form"},{"children":["A session lives in this Runtime's memory. Ending it removes its status and events; a restart drops every session."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"synthesis","label":"Dream synthesis"},"tag":"Tab"},{"children":[{"children":["Run the same byte-checksum script through interpretation and its compiled RV64 image. The build receipt binds the configured source and artifact; agreement applies to this input."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":[],"kind":"view-node","props":{"connection":"Compute.ByteChecksum","fields":[{"default":"Wikipedia","hint":"Empty input is valid. Maximum 4096 bytes.","kind":"textarea","label":"Input","name":"data"},{"default":"utf8","kind":"select","label":"Encoding","name":"encoding","options":[{"label":"UTF-8 text","value":"utf8"},{"label":"Hex bytes","value":"hex"}]},{"default":false,"hint":"Stores the exact input, source, build files and result in Atom storage and records a distinct run in Crystal/Atlas history.","kind":"checkbox","label":"Record this comparison","name":"record_occurrence"}],"id":"compute-byte-checksum","maxResultChars":64000,"resultReport":{"requestFields":[{"label":"Submitted input","path":"data"},{"label":"Encoding","path":"encoding"},{"label":"Recording requested","path":"record_occurrence"}],"rootPaths":["result.connection","result","connection",""],"sections":[{"fields":[{"label":"Completed comparison","path":"ok"},{"label":"Adler-32","path":"checksum"},{"label":"Outputs agree for this input","path":"equivalent"},{"label":"Error","path":"error"},{"label":"Status","path":"error_code"},{"label":"Input SHA-256","path":"input_sha256"},{"label":"Input bytes","path":"input_bytes"}],"title":"Observed result"},{"fields":[{"label":"Interpreted execution","path":"interpreted"},{"label":"RV64 execution","path":"native"},{"label":"Fresh executions","path":"fresh_execution"},{"label":"Proof verified","path":"proof_verified"}],"title":"Execution modes"},{"fields":[{"label":"Build identity","path":"build_id"},{"label":"Content checks","path":"build_verification"},{"label":"Build receipt","path":"build_receipt"}],"title":"Existing build evidence"},{"fields":[{"label":"Durably recorded","path":"recording.recorded"},{"label":"Occurrence identity","path":"recording.occurrence_id"},{"label":"Crystal identity","path":"recording.crystal_hash"},{"label":"Retained input and build Atoms","path":"recording.atoms"},{"label":"Comparison receipt Atom","path":"recording.receipt_atom"},{"label":"Protocol occurrence","path":"recording.occurrence"},{"label":"Completed execution if recording failed","path":"execution_result"}],"title":"Recorded occurrence"}],"title":"Captured-input comparison"},"submitLabel":"Compare executions","timeoutMs":120000,"title":"Compare byte checksums"},"tag":"Form"},{"children":["The host must configure a verified compiler-image build. Matching checksums are an observation, not a proof. Recording is optional; a persistence failure does not claim a recorded occurrence or request an automatic rerun."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"checksum","label":"Compiled Runtime leaf"},"tag":"Tab"},{"children":[{"children":["Copy an example into Source and choose its matching language. Each returns 24."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["JavaScript: function main() { return 100 - 52 - 24; }"],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["Python: write def main(): on the first line, then an indented return 100 - 52 - 24 on the next line."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["Rust-like subset: fn main() { return 100 - 52 - 24; }"],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["This workbench executes source through Runtime. It does not install a scripted app or replace the host build. A returned hash or diagnostic is not, by itself, a verified proof."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"examples","label":"Language examples"},"tag":"Tab"},{"children":[{"children":["Compute owns the execution identities below. The response is shown unchanged so omitted evidence stays visible."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["requested_ir_hash identifies the requested source IR when returned; ir_hash identifies the execution supplying the result. They can differ when a crystal-equivalent execution is reused."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["execution_work_key identifies deterministic work. execution_cache_key identifies the admitted artifact under its proof policy; requested_execution_cache_key distinguishes a different requested policy when a stronger artifact is reused."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["cached, store_hit, durable_artifact_hit and proof_policy_reuse describe reuse. Missing fields mean not reported. A cached result is not a fresh execution."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"},{"children":["receipt_json and receipt_hash describe returned receipt bytes. On reuse they belong to the stored execution. A receipt digest is not an occurrence identity or a proof verdict. Full causal history belongs to the existing HyperDB/Atlas provenance path."],"kind":"view-node","props":{"variant":"paragraph"},"tag":"Text"}],"kind":"view-node","props":{"id":"lineage","label":"Execution lineage"},"tag":"Tab"}],"kind":"view-node","props":{"defaultTab":"run"},"tag":"Tabs"},{"children":[],"kind":"view-node","props":{"data":{"binding":{"binding_schema":"crystal_atlas_graph_binding_v1","nucleus_ir_hash":"3f4eced66deb1ba637b8df83e2c3145f6b9fff638dab3be3133ded91b16cf2ff","requested_ir_hash":"3f4eced66deb1ba637b8df83e2c3145f6b9fff638dab3be3133ded91b16cf2ff","unavailable_reason":"crystal_scope_not_materialized"},"counts":{"entries":0,"reusable":0,"settlement_authorized":0},"entries":[],"history_frame_id":"crystal_atlas_history:cb195f9ce034ffad874c5629b3ca8641c449031156e5ad681f87a5a3b990798b","schema":"crystal_atlas_history_v1"},"edges":[],"frameId":"crystal_atlas_history:cb195f9ce034ffad874c5629b3ca8641c449031156e5ad681f87a5a3b990798b","height":420,"id":"causal-crystal-atlas","nodes":[],"readonly":true,"relations":[],"schema":"crystal_atlas_history_v1","title":"Recorded checksum runs"},"tag":"NodeHypergraph"},{"children":[{"children":[{"children":["Checking view availability…"],"kind":"view-node","props":{},"tag":"Text"}],"kind":"view-node","props":{"aria-label":"View availability","class":"primitive-live-payload","id":"payload-live-content-compute-compute-script"},"tag":"Section"}],"kind":"view-node","props":{"id":"payload-live-compute-compute-script","patchTarget":"#payload-live-content-compute-compute-script","pollIntervalMs":8000,"refreshHref":"/view/payload/patch?app=Compute&view=compute.script","streamUrl":"/view/payload/patch?app=Compute&view=compute.script","transport":"http","transportStatus":false},"tag":"LiveSlot"}],"kind":"view-node","ok":true,"props":{},"tag":"Page"},"kind":"view-node","ok":true,"props":{},"tag":"Page"}