Evidence Packet Builder v1client-side onlydraft packetsclaim flags locked false

Evidence Packet Builder

Paste an artifact, choose its type, generate a candidate evidence packet, inspect blocked claims, and export JSON. EML expressions also get an expression packet draft.

artifact typetitlepaste artifact or summarysource path / URLvalidation statusreplay status

optional EML expression packet

program_idfamilyexpressioninputsunitssafe ranges

review hints

title present: okartifact pasted: okclaim flags false: okpass needs source: okhardware wording bounded: ok

EML guard lens

block_missing_domain_guardrequire_positive_log_domain_guard_v0known packets: 3stability samples: 20

recommended lowering: none

supporting evidence: none

Division/log-domain shapes need explicit positive/nonzero guard evidence.

blocked public claims

This packet is a draft, not reviewer approval.
This packet does not prove theorem correctness or formal safety.
This packet does not claim hardware observation or live serial capture.
This packet does not change compiler, Forge, or runtime behavior.

evidence packet json

export JSON

{
  "schemaVersion": "monogate.evidence_public_packet.v0",
  "artifactId": "eml-runtime-lowering-note",
  "title": "EML runtime lowering note",
  "artifactType": "AI answer",
  "reviewDecision": "candidate_only",
  "validationStatus": "candidate",
  "replayStatus": "not_applicable",
  "semanticStrength": "candidate_packet_generated_by_client_builder",
  "semanticReview": {
    "artifact_preview": "R10/R11 show that this EML-looking expression should preserve symbolic identity but lower to a standard runtime implementation.",
    "source_path": "monogate/reports/eml_r11_hybrid_lowering_planner_2026_05_27.md",
    "generated_in": "monogate.dev packet builder v1"
  },
  "claimBoundary": "Candidate packet only. A local validator/replay/proof step must run before any public strengthening.",
  "claimFlags": {
    "public_ready": false,
    "public_savings_claim": false,
    "hardware_observed": false,
    "live_serial_capture_performed": false,
    "certified_safety_claim": false,
    "production_controller_claim": false,
    "formal_verification_claim": false,
    "theorem_proof_claim": false,
    "compiler_behavior_changed": false,
    "forge_behavior_changed": false
  },
  "nonClaims": [
    "This packet is a draft, not reviewer approval.",
    "This packet does not prove theorem correctness or formal safety.",
    "This packet does not claim hardware observation or live serial capture.",
    "This packet does not change compiler, Forge, or runtime behavior."
  ],
  "evidencePaths": [
    "monogate/reports/eml_r11_hybrid_lowering_planner_2026_05_27.md"
  ],
  "nextReviewSteps": [
    "run local validation",
    "attach replay or proof output when available",
    "review claim flags before surfacing publicly"
  ]
}

expression packet json

export JSON

{
  "schemaVersion": "monogate.eml_expression_packet.v0",
  "program_id": "voltage_divider_v0",
  "family": "electronics",
  "expression": "vin * r2 / (r1 + r2)",
  "inputs": [
    "vin",
    "r1",
    "r2"
  ],
  "units": {
    "vin": "V",
    "r1": "ohm",
    "r2": "ohm"
  },
  "safe_ranges": {
    "vin": {
      "min": 0,
      "max": 3.3
    },
    "r1": {
      "min": 100,
      "max": 100000
    },
    "r2": {
      "min": 100,
      "max": 100000
    }
  },
  "physical_meaning": "R10/R11 show that this EML-looking expression should preserve symbolic identity but lower to a standard runtime implementation.",
  "source_repo": "monogate",
  "simulated_trace_samples": [],
  "builder_guard_feedback": {
    "decision": "block_missing_domain_guard",
    "matchedRuleIds": [
      "require_positive_log_domain_guard_v0"
    ],
    "recommendedLowering": null,
    "supportingEvidenceArtifacts": [],
    "blockedClaims": [
      "runtime performance",
      "compiler correctness",
      "production readiness",
      "general EML superiority"
    ],
    "nonClaims": [
      "Builder guard feedback is draft-only.",
      "A11.2 evidence supports numeric stability on recorded edge grids only.",
      "A11.2 evidence does not prove speed, compiler correctness, or production readiness."
    ]
  },
  "claim_flags": {
    "public_ready": false,
    "public_savings_claim": false,
    "hardware_observed": false,
    "live_serial_capture_performed": false,
    "certified_safety_claim": false,
    "production_controller_claim": false,
    "formal_verification_claim": false,
    "theorem_proof_claim": false,
    "compiler_behavior_changed": false,
    "forge_behavior_changed": false
  }
}