Skip to content

ME-RV-080 — Reclassify Foundry Q2 #42

Description

@fraware

Summary

Q2 requires Candidate Bundle + Certification Record + theorem identity + env lock + axiom policy. Ban sourceCommit: workspace.

Normative: 10_FOUNDRY_BENCHMARKS_AND_FEDERATION.md (ME-RV-080)

Done in-repo (code/docs)

  • Schema + validators redefine Q2; add Q1_checker_preview.
  • Corpus reclassified (554 preview / 0 Q2).
  • Manifest sourceCommit is immutable SHA.
  • Family-normalized metrics hooks.

Acceptance

  • No published release with sourceCommit: workspace
  • Q2 only with Certification Record fields
  • Family-normalized stats reported

Metadata

Metadata

Assignees

No one assigned

    Labels

    P1Priority oneme-rvMathEvidence real-vision closure issueswave-8Real-vision Wave 8: Foundry/governance/adoption

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions