Codestin Search App

Thanks to visit codestin.com
Credit goes to spec.falsify.dev

60-second walkthrough — lock the threshold, get a SHA-256 receipt, drop a badge. Live demo at /demo.

Loading specification…

Related documents

v0.2 RFC — open for comment until 2026-05-22 23:59 UTC
Editor's contact page — how to reach the editor, latencies, refusals
For audit practices — how Big 4 audit teams use PRML inside client engagements
EU AI Act Article 12 — working pattern — the logging pattern, with code
ML reproducibility audit method — re-runnable / reproducible / auditable, defined
Pre-registration for ML — the clinical-trials discipline ported to ML
Article 12 readiness self-assessment — 10 questions, browser-only, one-page diagnostic
Registry board · Locks feed · Verify — public commit log
Positioning matrix — PRML vs in-toto, SLSA, Model Cards, HELM, ClinicalTrials.gov
Canonicalization portability findings — three cross-language gotchas from the Node.js second implementation
EU AI Act Article mapping — fields → Articles 12, 17, 18, 50, 72, 73
Compliance landing — for compliance leads and notified body assessors
arXiv preprint — 14-page LaTeX, CC BY 4.0 (cs.CR submission in flight)
v0.2 RFC roadmap — ten changes, five open questions, freeze 2026-05-22
Four reference implementations — Python, Node.js (falsify-js), Go, Rust. All pass 20/20 vectors byte-for-byte; CI verifies 4 × 20 = 80 agreements per push.
Conformance test vectors — 20 vectors total (12 v0.1 normative + 8 v0.2 candidate), all with locked SHA-256 digests.
GitHub Action: prml-verify — composite Action on the GitHub Marketplace; tags continuous-integration + code-quality; wraps the falsify CLI for one-line CI integration.
MLflow plugin: mlflow-falsify — pip install mlflow-falsify auto-tags every MLflow run with the PRML manifest hash + key fields. Zero workflow change. Source: studio-11-co/mlflow-falsify.
Cookbook: falsify-cookbook — field manual for the spec. 10 patterns + 4 anti-patterns; each one page with a runnable example. CC0.
Integrity Index — public scorecard of how 25+ well-known ML eval claims meet the 9 PRML falsifiability criteria. Source: studio-11-co/falsify-integrity-index. CC0 data, MIT tooling.
Inspect AI adapter: falsify-inspect — anchor an Inspect AI eval claim's threshold to a SHA-256 hash before the run, verify the post-run log against it. MIT.