Monogate Command Center

PCC-M6 Contract CI Guardprivate_reviewable

Adds the proof-carrying artifact contract batch validator to the EML Guard Contract GitHub workflow.

passnot_applicablebuilder preset

Reviewhuman gate

Keep private; treat as infrastructure hardening for the proof-carrying artifact registry.

PCC-M7: decide whether the next contract target should be EML Advantage Lab or Prediction Market forecast packets.

No immediate missing-evidence gaps recorded.

Metricsbounded

contract_count3

failed_contract_count0

obligation_count36

ci_guarded1

Non-Claimsblocked

No Foundational PCC claim.non-claim

No compiler correctness claim.non-claim

No formal equivalence claim.non-claim

No proof-strength claim.non-claim

No public-readiness or production-readiness 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
}

Sources And Checksmonogate

monogate/.github/workflows/eml-guard-contract.yml
monogate/reports/pcc_m6_contract_ci_guard_2026_05_29.md
monogate/reports/evidence_packets/pcc_m6_contract_ci_guard.json
monogate/command_center_feeds/pcc_m6_contract_ci_guard_feed_2026_05_29.json

python python/scripts/proof_carrying_artifact_contract_validator.py --contracts-dir reports/proof_carrying_artifacts --strict
python -m pytest -q python/tests/test_proof_carrying_artifact_contract_validator.py