Skip to content

Empirical Guard Evidence

Plain language: Empirical guard evidence is the portable manifest layer that points readers to real model/checkpoint runs for spectral, RMT, and variance behavior.

Overview

Aspect Details
Purpose Track non-synthetic guard evidence for spectral, RMT, and variance behavior on real model/checkpoint workflows.
Audience Maintainers, release approvers, and calibration owners.
Contract scope Portable evidence manifests that point to real-run artifacts; strict report acceptance remains governed by the verifier report contract.
Source of truth scripts/release/evidence_contracts.py empirical, scripts/model_evidence/model_evidence_sweep.py, calibration commands, and evidence-pack scripts.

Maintainer Command

make empirical-guard-evidence-check

By default, the checker reads:

artifacts/guard-validation/empirical/manifest.json

Use EMPIRICAL_GUARD_EVIDENCE_ROOT=<path> when reviewing a bundle staged in a different location.

Real Evidence Producers

The empirical bundle is meant to reference artifacts produced by existing non-synthetic workflows:

  • make model-evidence-sweep or scripts/model_evidence/model_evidence_sweep.py for maintained shipped-model lanes.
  • scripts/model_evidence/run_model_evidence_remote.py for remote GPU execution of the same model-evidence sweep.
  • invarlock advanced calibrate null-sweep for empirical spectral null behavior.
  • invarlock advanced calibrate ve-sweep for variance-effect sweep behavior.
  • scripts/evidence_packs/run_pack.sh and run_suite.sh for packaged maintainer evidence from real model/checkpoint runs.

The synthetic guard-validation smoke remains the minimum deterministic release floor. Empirical evidence is required when a release claims new or expanded guard calibration, model-family calibration, or published-basis expansion beyond the currently published basis.

The included empirical manifest may also index published-basis no-op model-evidence reports under families/*.json. Those summaries are real null-behavior evidence for spectral, RMT, and variance observations, but they are marked as observed evidence rather than tier-constant derivations. A family-specific FPR claim still requires a null-sweep calibration artifact that recommends or validates κ for that family.

Manifest Contract

An empirical bundle uses this shape:

{
  "schema": "invarlock/empirical-guard-evidence-v1",
  "source_commands": [
    "make model-evidence-sweep MODEL_EVIDENCE_ARGS='--slug tiny_gpt2_canary'",
    "invarlock advanced calibrate null-sweep --config configs/calibration/null_sweep_ci.yaml",
    "invarlock advanced calibrate ve-sweep --config configs/calibration/rmt_ve_sweep_ci.yaml"
  ],
  "guard_rows": [
    {
      "guard": "spectral",
      "evidence_kind": "calibration_null_sweep",
      "status": "empirical",
      "model_family": "gpt2",
      "artifact": "calibration/null_sweep_report.json"
    },
    {
      "guard": "rmt",
      "evidence_kind": "model_evidence_sweep",
      "status": "empirical",
      "model_family": "gpt2",
      "artifact": "model-evidence/summary.json"
    },
    {
      "guard": "variance",
      "evidence_kind": "calibration_ve_sweep",
      "status": "empirical",
      "model_family": "gpt2",
      "artifact": "calibration/ve_sweep_report.json"
    }
  ],
  "model_family_rows": [
    {
      "model_family": "gpt2",
      "status": "observed",
      "artifact": "families/gpt2.json"
    }
  ],
  "calibration_corpus": {
    "schema": "invarlock/empirical-published-basis-null-corpus-v1",
    "status": "observed_not_rederived",
    "model_count": 12
  }
}

The optional calibration_corpus block summarizes published-family no-op published-basis reports that are present in-tree and hash-linked from the family summaries. It is a calibration input surface, not proof that the packaged tier constants were re-derived for those families.

{
  "model_family_rows": [
    {
      "model_family": "mistral_7b",
      "status": "observed",
      "artifact": "families/mistral_7b.json"
    }
  ]
}

Artifacts are relative to the manifest root and must be present in the bundle. The checker rejects synthetic-only rows, missing required guards, missing model family coverage, absolute artifact paths, and paths that escape the evidence root.

Interpretation

Passing the empirical checker means the release bundle contains portable manifest references that self-declare non-synthetic evidence with the required guard coverage. The checker validates manifest shape, required guard/model rows, declared evidence kinds/statuses, command markers, and relative nonempty artifact paths. Artifact content review, producer authentication, statistical finality, strict report acceptance, and whether an observed no-op corpus re-derives any tier constant are handled by their dedicated evidence and verifier gates.