Monogate Command Center

Forge Rescue Proof-Carrying Artifact Contractprivate_reviewable

Second Proof-Carrying Artifact Contract instance, applying the contract grammar to the existing Forge Rescue Suite evidence family.

passcontract_over_existing_forge_rescue_evidencebuilder preset

Reviewhuman gate

Keep surfaced only within the existing Forge Rescue claim boundary.

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

optimizer-wide correctness theoremmissing

certified safety evidencemissing

hardware observation evidencemissing

Metricsbounded

total_obligations9

discharged_obligations4

partial_obligations3

blocked_obligations2

unresolved_obligations0

Non-Claimsblocked

No Foundational PCC claim.non-claim

No optimizer-wide correctness claim.non-claim

No formal equivalence claim.non-claim

No certified safety claim.non-claim

No hardware observation or production-controller claim.non-claim

No unrestricted semantic rewrite 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,
  "production_controller_claim": false,
  "hardware_observed": false,
  "optimizer_wide_correctness_claim": false,
  "unrestricted_semantic_rewrite_claim": false
}

Sources And Checksmonogate

monogate/reports/proof_carrying_artifacts/forge_rescue_contract_2026_05_29.json
monogate/reports/forge_rescue_proof_carrying_artifact_contract_2026_05_29.md
monogate/reports/evidence_packets/forge_rescue_proof_carrying_artifact_contract.json
forge/reports/proof_carrying_rescue_suite_v0_2026_05_26.json
forge/reports/proof_carrying_rescue_replay_v0_2026_05_26.json
forge/reports/rescue_artifact_approval_v0_2026_05_26.json
forge/reports/rescue_obligation_registry_v0_2026_05_26.json

python -m json.tool reports/proof_carrying_artifacts/forge_rescue_contract_2026_05_29.json
python -m json.tool reports/evidence_packets/forge_rescue_proof_carrying_artifact_contract.json