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

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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