Monogate Command Center

PCC-M5 Contract Batch Validatorprivate_reviewable

Batch validator over every proof-carrying artifact contract instance currently in reports/proof_carrying_artifacts.

passnot_applicablebuilder preset

Reviewhuman gate

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

PCC-M6: add this batch validator to CI once the contract registry stabilizes.

CI workflow guard for batch contract validationmissing

Metricsbounded

contract_count3

valid_contract_count3

failed_contract_count0

obligation_count36

discharged_obligations19

partial_obligations9

blocked_obligations6

unresolved_obligations2

focused_tests64

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,
  "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_m5_contract_batch_validator_2026_05_29.json
monogate/reports/pcc_m5_contract_batch_validator_2026_05_29.md
monogate/reports/evidence_packets/pcc_m5_contract_batch_validator.json
monogate/command_center_feeds/pcc_m5_contract_batch_validator_feed_2026_05_29.json
monogate/reports/proof_carrying_artifacts/a13_forge_efrog_contract_2026_05_29.json
monogate/reports/proof_carrying_artifacts/forge_rescue_contract_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