Monogate Command Center

EML Advantage Lab Contract Validatorprivate_reviewable

PCC validator result for the EML Advantage Lab proof-carrying artifact contract.

passnot_applicablebuilder preset

Reviewhuman gate

Keep private; use as validation evidence for the EML Advantage Lab contract.

Choose the next product lane for EML Advantage: Forge/eFrog, Monogate Engine, or MachLib.

No immediate missing-evidence gaps recorded.

Metricsbounded

validated_contracts1

obligation_count19

failure_count0

warning_count0

focused_tests64

Non-Claimsblocked

No general EML superiority claim.non-claim

No broad EML advantage claim.non-claim

No compiler correctness claim.non-claim

No theorem discovery claim.non-claim

No public performance claim.non-claim

Claim Flagsfalse

{
  "public_ready": false,
  "safe_to_publish_publicly": false,
  "proof_claim": false,
  "certified_safety_claim": false,
  "runtime_performance_claim": false,
  "formal_equivalence_claim": false,
  "compiler_correctness_claim": false,
  "pcc_completeness_claim": false,
  "production_toolchain_claim": false,
  "broad_eml_advantage_claim": false
}

Sources And Checksmonogate

monogate/python/scripts/proof_carrying_artifact_contract_validator.py
monogate/python/tests/test_proof_carrying_artifact_contract_validator.py
monogate/python/results/proof_carrying_artifact_contract_validator/eml_advantage_lab_contract_validator_2026_05_29.json
monogate/reports/eml_advantage_lab_contract_validator_2026_05_29.md
monogate/reports/evidence_packets/eml_advantage_lab_contract_validator.json
monogate/command_center_feeds/eml_advantage_lab_contract_validator_feed_2026_05_29.json

python python/scripts/proof_carrying_artifact_contract_validator.py --contract reports/proof_carrying_artifacts/eml_advantage_lab_contract_2026_05_29.json --result-stem eml_advantage_lab_contract_validator_2026_05_29 --feed-stem eml_advantage_lab_contract_validator_feed_2026_05_29 --evidence-id eml-advantage-lab-contract-validator --title "EML Advantage Lab Contract Validator" --next-step "EML-ADV-PCC2: choose one new holdout or negative-control experiment from the contract gaps." --strict
python -m pytest -q python/tests/test_proof_carrying_artifact_contract_validator.py