Repository navigation
feat(schema): define MathCorpus Interchange Protocol v1 for Proof Search enrichment #1
Description
Goal
Define a versioned interchange contract shared by MathCorpus and llm-driven-proof-search so rich proof-search evidence can move between repositories without MathCorpus depending on Proof Search's internal SQLite schema.
MCIP v1 records
Define JSON Schemas for:
PacketIdentityProofVariantProofProfileRestrictionProfileDependencyManifestAttemptRecordNegativeExampleRepairTrajectoryModelRunEmpiricalDifficultyAggregate
Every record must carry schema version, packet ID, formal statement hash, environment hash, artifact hashes, timestamps, trust status, and export eligibility. Model-related records must include a model-config hash and redaction-aware public metadata.
Acceptance criteria
- Schemas live under a versioned
schema/mcip/v1/path. - Canonical serialization and hashing rules are documented.
- Unknown fields fail closed unless explicitly versioned.
- The protocol distinguishes canonical packet data from child evidence records.
- A conformance fixture set includes one successful proof, one failed attempt, one repair chain, and one multi-model aggregate.
- MathCorpus validation can validate MCIP bundles independently of Proof Search.
- Cross-repository compatibility and version-negotiation rules are documented.
Activity
Mnehmos commentedon Jul 12, 2026
Implemented (local commit
7f1ac10, not yet pushed toorigin— see note below):schema/mcip/v1/:PacketIdentity,ProofVariant,ProofProfile,RestrictionProfile,DependencyManifest,AttemptRecord,NegativeExample,RepairTrajectory,ModelRun,EmpiricalDifficultyAggregate.schema_version,record_id,packet_id,environment_hash,created_at,trust_status,export_eligibility,record_hash); model-related records (AttemptRecord,ModelRun,EmpiricalDifficultyAggregate) addmodel_config_hash+ a redaction-awarepublic_metadataobject.schema/mcip/v1/README.md(reuses the corpus's existing canonical-JSON + SHA-256 convention).additionalProperties: falseeverywhere → unknown fields fail closed. Smoke-tested directly: an injected unknown field, a tamperedrecord_hash, and a violatedNegativeExample.proof_authorityconst are all correctly rejected.tools/validate_mcip.pyvalidates a bundle structurally and by hash, with zero dependency on Proof Search's SQLite schema.tools/gen_mcip_fixtures.pydeterministically generates the 4 required conformance fixtures (successful proof, failed attempt, repair chain, multi-model aggregate — 17 records total); all validate clean with--check-hashes.Tracked in this repo's dev-issue log:
agents/github_issues/DONE.md,FEATURES.md,HANDOFF.md.Note: local
mainis ~220 commits ahead oforigin/main(pre-existing, unrelated to this work) — pushing needs a separate explicit go-ahead given the size, so this closes based on local verification, not a visible diff yet.feat(schema): define MathCorpus Interchange Protocol v1 (closes #1)
feat(schema): add proof profiles, restriction profiles, proof variants (
feat(schema): standardize dependency manifests and retrieval evidence (…
feat(data): add negative-example and repair-trajectory child records (c…
feat(metrics): add multi-model empirical difficulty and native analyt…
feat(import): add MCIP importer, packet enrichment workflow, and back…
feat(schema): add literature-lineage, idea-attribution, and prior-art…
feat(policy): require contribution, citation, and novelty review for …
feat(corpus): populate proof_profile, dependency_manifest, and litera…