monogate.dev — developer playground

Open the tool.
Inspect the packet.

This is the public workbench for Monogate artifacts: EML explorers, evidence packets, rescue traces, packet builders, proof-digestion views, and bounded simulators. The deeper research story lives on monogate.org; this site is for trying the tools.

inspect artifactsexport candidate JSON
Start With Rescue SuiteOpen Packet BuilderTry Electronics
Start here
inspect · replay
Rescue Suite
Open optimization-failure rescue packets, replay status, trace frames, and MachLib obligation routing.
build · export
Packet Builder
Draft candidate Evidence Packet v0 JSON and EML Expression Packet v0 JSON from pasted artifacts.
compare · guard
EML Advantage Lab
See where EML helps, where protected standard math wins, and which claims stay blocked.
simulate · export
Electronics Lab
Open the laptop-agent electronics surface for simulated trainer board work and physical-evidence-ready packets.
review · packets
Evidence Browser
Inspect candidate and approved evidence packets by validation, replay, semantic strength, and claim flags.
explain · reuse
Proof Digestion Lab
Turn evidence-backed artifacts into minimum examples, failure modes, reuse paths, and open questions.
new · candidate fixture
EML IR Bridge
Inspect one EML expression as a shared DAG, replay packet, and explicit non-claim boundary.
inspect · packets
EML Packet Gallery
Browse candidate EML expression packets generated from the private packet-builder flow.
review · atlas
EML Atlas Annex
Review Atlas-style identities, claim boundaries, and candidate MachLib witness targets.
new · research frontier
EML Template Search
Compare fixed EML, standard, control, and baseline templates on the prime residual fixture.
Playground contract
Inspect
Open generated EML, rescue, evidence, and proof-digestion artifacts.
Build
Draft candidate evidence packets and EML expression packets in the browser.
Export
Copy packet JSON and carry bounded claims into private review.
How it works

Use the dev site as a workbench, not a claim engine.

The useful move is always the same: try a tool, inspect the evidence, export a packet, and keep unsupported claims blocked.

01
Open a live tool
Start with a packet builder, explorer, simulator, evidence browser, or replay fixture.
02
Inspect the artifact
Read the expression, trace, replay frames, guard decisions, supporting evidence, and non-claims.
03
Export or follow the packet
Use generated JSON and reports as reviewable handoff material, not automatic approval.
04
Check the boundary
Every surface marks what is simulated, candidate-only, blocked, checked, or public-ready.
05
Go deeper on monogate.org
The public research story, Atlas, and essays live on the .org site.
Surface split: monogate.dev is the workbench, monogate.org is the research record, and 1.op/io is for games and visualization.
Packet Builder
build
Draft candidate Evidence Packet v0 JSON from AI answers, proof notes, traces, hardware packets, compiler artifacts, or EML expressions.
Evidence Browser
review
Inspect artifacts by validation, replay, semantic strength, claim flags, and reviewer decision.
Explorer
index
Browse the current Explorer surfaces: EML language, packet gallery, rescue suite, advantage lab, Atlas annex, and symbolic-regression fixtures.
Proof Digestion
lab
Turn evidence-backed artifacts into core ideas, minimum examples, reuse paths, failure modes, and open questions.
Case Study
overview
A concise public framing for the artifact-to-evidence-to-review-to-understanding pipeline.
Electronics Lab
sim lab
Laptop-agent-owned electronics surface for simulated trainer boards and physical-evidence-ready packets.
Challenge Board
challenge
Open problems: construct sin, cos, π, i from eml(x,y) = exp(x) − ln(y). Submit a construction, get credited permanently.
Math Lab
lab
Interactive experiments and experiences built on the EML grammar.
Docs
docs
Reference material and developer notes for the current Monogate surfaces.