Skip to content

ME-RV-072 — Environment axiom audit #39

Open
Open
ME-RV-072 — Environment axiom audit#39
Labels
P1Priority oneme-rvMathEvidence real-vision closure issueswave-7Real-vision Wave 7: CI/release/reproducibility
Milestone
Wave 7 — Reproducibility and release

Description

@fraware
fraware
opened on Jul 26, 2026

Summary

Environment-level axiom reporting; fail on sorryAx / project axioms / unexpected unsafe.

Normative: 11_SECURITY_CI_RELEASE_TOOLCHAIN.md (ME-RV-072)

Scaffolding

  • Source scan expanded to Encoding/Hypothesis/Conjecture/TraceToPlan/Assurance.
  • Env scaffold until driver runs.

Acceptance

  • Env axiom report in CI
  • Failures on sorryAx / project axiom / missing report

Blocked

Mathlib/Lake environment.

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-7Real-vision Wave 7: CI/release/reproducibility

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions