CoverProof
Start analysis

Methodology changelog

Public version history for CoverProof methodology surfaces: what is registered, what changed, what remains blocked, and which caveats must travel with the evidence.

Last updated: 1 July 2026

Versions

3

Promotion

Blocked

Caveats

4

Version history

coverage derivation

coverage-derivation-v1 - Coverage derivation source-role summary

Status: partial

Source of truth: src/lib/coverage-methodology.ts

Fingerprint source: fingerprintCoverageMethodology() over deterministic methodology rules and caveats

  • Documents deterministic coverage-role derivation rules and the source-role caveats used in board evidence packs.
  • Records the code path and fingerprint source used to reproduce coverage methodology provenance.
  • Promotion evidence is not yet linked to held-out calibration and drift results.
  • Legal/human claim gates still block stronger public methodology framing.
  • Coverage derivation source-role summary is recorded for provenance and reproducibility; it is not a legal opinion, customer proof, or methodology-superiority claim.

classifier llm

s250-v12 - LLM classifier methodology on claude-sonnet-4-6

Status: blocked

Source of truth: src/lib/classify-individual.ts and prompt_versions

Fingerprint source: computePromptVersionFingerprint(systemPrompt, modelId, methodologyVersion)

  • Records the current LLM classifier methodology slug used for reproducible Section 250 screening outputs.
  • Ties public version history to prompt-version fingerprints, evaluation carry-forward, drift, and claim-gate blockers.
  • Current version is recorded for reproducibility, but Day 202 does not assert a new promoted classifier version.
  • Promotion requires carried-forward benchmark/calibration evidence and H13/H6 claim-gate status.
  • LLM classifier methodology on claude-sonnet-4-6 is recorded for provenance and reproducibility; it is not a legal opinion, customer proof, or methodology-superiority claim.

classifier deterministic

s250-v10-det2 - Deterministic SM&CR lookup on deterministic-lookup

Status: partial

Source of truth: src/lib/smcr-lookup.ts, deterministic rule registry, and prompt_versions

Fingerprint source: serialised deterministic rule registry plus smcr-lookup source fingerprint

  • Records the deterministic SM&CR lookup methodology slug alongside the rule-registry fingerprint source.
  • Keeps deterministic rule changes bound to explicit slug bumps before new rows are written.
  • Rule changes require an explicit deterministic slug bump before new rows are written.
  • Promotion requirements are documented here, but the automated promotion audit trail is scheduled later in Phase 4.
  • Deterministic SM&CR lookup on deterministic-lookup is recorded for provenance and reproducibility; it is not a legal opinion, customer proof, or methodology-superiority claim.

Evidence used

  • Methodology version registry readiness
  • Methodology change audit trail
  • Audit event: methodology.promotion.recorded
  • Evidence digest: ec5052606bf6

Caveats

  • Version history is public provenance, not legal advice or a determination of criminal liability.
  • Promotion remains blocked while evaluation, drift, or claim-gate requirements are blocked.
  • Benchmark and calibration evidence must carry sample-size and no-certainty caveats before becoming public claims.
  • Courts, regulators, customers, and independent solicitors make their own determinations; CoverProof records methodology evidence and caveats.

Public methodology changelog renders version history and caveats only; it does not promote a methodology, claim legal certainty, claim production accuracy, claim customer proof, or claim methodology superiority.

Public methodology changelog uses version slugs, code paths, aggregate blockers, hashes, and caveats only; person data, contact data, source rows, raw evaluator rows, tokens, IPs, user agents, and free text are excluded.