{"children":[{"children":[],"kind":"view-node","props":{"html":"<nav aria-label=\"Compute pages\"><a href=\"/view/app/Compute/compute.home\">About Compute</a> · <a href=\"/view/app/Compute/compute.atlas\">Compute Atlas</a> · <a href=\"/view/app/Compute/compute.script\" aria-current=\"page\">Script workbench</a> · <a href=\"/view/app/Compute/compute.guide\">Compute guide</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/crystals\" target=\"_blank\" rel=\"noopener\">Crystals</a> · <a href=\"/view/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"},{"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"},{"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"},{"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":"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":["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":"6592973b999d3ffe43daaabcfa2eaa1b634353f48fb1124680d2ff3c57bddc4c","requested_ir_hash":"6592973b999d3ffe43daaabcfa2eaa1b634353f48fb1124680d2ff3c57bddc4c","unavailable_reason":"crystal_scope_not_materialized"},"counts":{"entries":0,"reusable":0,"settlement_authorized":0},"entries":[],"history_frame_id":"crystal_atlas_history:34d037eaf2ca1ab91b12f06961f7797b49e281a06060fe222b56fd4359fd5f91","schema":"crystal_atlas_history_v1"},"edges":[],"frameId":"crystal_atlas_history:34d037eaf2ca1ab91b12f06961f7797b49e281a06060fe222b56fd4359fd5f91","height":420,"id":"causal-crystal-atlas","nodes":[],"readonly":true,"relations":[],"schema":"crystal_atlas_history_v1","title":"Recorded checksum runs"},"tag":"NodeHypergraph"},{"children":[{"children":[{"children":["Compute.compute.script SSR payload is live-ready."],"kind":"view-node","props":{},"tag":"Text"}],"kind":"view-node","props":{"id":"payload-live-content-compute-compute-script","title":"Live Payload"},"tag":"Card"}],"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":true},"tag":"LiveSlot"}],"data":{"children":[{"children":[],"kind":"view-node","props":{"html":"<nav aria-label=\"Compute pages\"><a href=\"/view/app/Compute/compute.home\">About Compute</a> · <a href=\"/view/app/Compute/compute.atlas\">Compute Atlas</a> · <a href=\"/view/app/Compute/compute.script\" aria-current=\"page\">Script workbench</a> · <a href=\"/view/app/Compute/compute.guide\">Compute guide</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/crystals\" target=\"_blank\" rel=\"noopener\">Crystals</a> · <a href=\"/view/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"},{"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"},{"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"},{"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":"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":["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":"6592973b999d3ffe43daaabcfa2eaa1b634353f48fb1124680d2ff3c57bddc4c","requested_ir_hash":"6592973b999d3ffe43daaabcfa2eaa1b634353f48fb1124680d2ff3c57bddc4c","unavailable_reason":"crystal_scope_not_materialized"},"counts":{"entries":0,"reusable":0,"settlement_authorized":0},"entries":[],"history_frame_id":"crystal_atlas_history:34d037eaf2ca1ab91b12f06961f7797b49e281a06060fe222b56fd4359fd5f91","schema":"crystal_atlas_history_v1"},"edges":[],"frameId":"crystal_atlas_history:34d037eaf2ca1ab91b12f06961f7797b49e281a06060fe222b56fd4359fd5f91","height":420,"id":"causal-crystal-atlas","nodes":[],"readonly":true,"relations":[],"schema":"crystal_atlas_history_v1","title":"Recorded checksum runs"},"tag":"NodeHypergraph"},{"children":[{"children":[{"children":["Compute.compute.script SSR payload is live-ready."],"kind":"view-node","props":{},"tag":"Text"}],"kind":"view-node","props":{"id":"payload-live-content-compute-compute-script","title":"Live Payload"},"tag":"Card"}],"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":true},"tag":"LiveSlot"}],"kind":"view-node","ok":true,"props":{"subtitle":"Edit source and run it through CRE8VM.","title":"Script workbench"},"tag":"Page"},"kind":"view-node","ok":true,"props":{"subtitle":"Edit source and run it through CRE8VM.","title":"Script workbench"},"tag":"Page"}