Monogate Command Center

PCC-M3 Contract Validatorprivate_reviewable

Dependency-light validator for proof-carrying artifact contract instances, first applied to the A13 contract.

passnot_applicablebuilder preset

Reviewhuman gate

Keep private; use as the first validator for proof-carrying artifact contracts.

PCC-M4: validate a second artifact family, preferably Forge Rescue or EML Advantage Lab.

second artifact-family contract validationmissing

CI workflow guard for contract validatormissing

Metricsbounded

validated_contracts1

obligation_count8

failure_count0

warning_count0

focused_tests8

Non-Claimsblocked

No Foundational PCC claim.non-claim

No compiler correctness claim.non-claim

No formal equivalence claim.non-claim

No production toolchain claim.non-claim

No runtime performance claim.non-claim

No public-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,
  "broad_eml_advantage_claim": false,
  "compiler_correctness_claim": false,
  "pcc_completeness_claim": false,
  "production_toolchain_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/pcc_m3_contract_validator_2026_05_29.json
monogate/reports/pcc_m3_contract_validator_2026_05_29.md
monogate/reports/evidence_packets/pcc_m3_contract_validator.json
monogate/command_center_feeds/pcc_m3_contract_validator_feed_2026_05_29.json

python python/scripts/proof_carrying_artifact_contract_validator.py --strict
python -m pytest -q python/tests/test_proof_carrying_artifact_contract_validator.py