Monogate Command Center

PCC-M4 Forge Rescue Contract Validatorprivate_reviewable

PCC-M3 validator applied to a second artifact family, proving the contract checker is not only A13-shaped.

passnot_applicablebuilder preset

Reviewhuman gate

Keep private; use as second-family validation evidence for the contract checker.

PCC-M5: validate all proof-carrying artifact contracts as a batch.

batch validator for all contract instancesmissing

Metricsbounded

validated_contracts1

obligation_count9

failure_count0

warning_count0

focused_tests9

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_m4_forge_rescue_contract_validator_2026_05_29.json
monogate/reports/pcc_m4_forge_rescue_contract_validator_2026_05_29.md
monogate/reports/evidence_packets/pcc_m4_forge_rescue_contract_validator.json
monogate/command_center_feeds/pcc_m4_forge_rescue_contract_validator_feed_2026_05_29.json

python python/scripts/proof_carrying_artifact_contract_validator.py --contract reports/proof_carrying_artifacts/forge_rescue_contract_2026_05_29.json --result-stem pcc_m4_forge_rescue_contract_validator_2026_05_29 --feed-stem pcc_m4_forge_rescue_contract_validator_feed_2026_05_29 --evidence-id pcc-m4-forge-rescue-contract-validator --title "PCC-M4 Forge Rescue Contract Validator" --next-step "PCC-M5: validate all proof-carrying artifact contracts as a batch." --strict
python -m pytest -q python/tests/test_proof_carrying_artifact_contract_validator.py