Documentation

monogate — EML operator library · arXiv:2603.21852

npm install monogate      # JavaScript / TypeScript
pip install monogate     # Python

import { eml, evalTree, countNodes } from "monogate";

// Build an EML tree
const tree = eml(1, eml(1, 1));  // eml(1, eml(1,1))

// Evaluate at a point
const result = evalTree(tree, { x: 1.0 });

// Count nodes
const n = countNodes(tree);  // integer

from monogate import eml, eval_tree, count_nodes

# Build a tree
tree = eml(1, eml(1, 1))

# Evaluate
result = eval_tree(tree, x=1.0)

# Count nodes
n = count_nodes(tree)

Evidence Packet v0 wraps computational and agent outputs in validation, replay, semantic strength, claim flags, reviewer decisions, and explicit non-claims.

python -m monogate_evidence validate packet.json
python -m monogate_evidence review packet.json
python -m monogate_evidence export fixture.json --fixture --artifact-id agent-output-demo
python -m monogate_evidence intake packet.json --out reports/intake

python -m monogate_evidence agent-adapter \
  --artifact-id local-agent-demo \
  --title "Local Agent Demo" \
  --task "Summarize Evidence Packet v0." \
  --output-text "Evidence Packet v0 wraps claims in validation, replay, flags, and non-claims." \
  --source docs/evidence_packet_v0.md \
  --validation-check required_fields_present \
  --output local-agent-demo.packet.json

Local intake accepts a packet, validates reviewer rules, writes a normalized packet, emits a review result, and blocks unsafe packets. There is no public upload form in v0.

python -m monogate_evidence intake packet.json --out reports/intake
python tools/build_intake_gallery.py

Expected blocked examples include approved packets without replay, safety claims set true, hardware observation without live capture, and candidate packets without non-claims.