mna_verification.h File Reference

Verification, declarative checks, evaluation results and provenance snapshot attached to every MnaNode for reproducible execution. More...

#include "mna_global.h"
#include "mna_script.h"
#include <QString>
#include <QStringList>
#include <QVariant>
#include <QVariantMap>
#include <QMap>
#include <QList>
#include <QDateTime>
#include <QJsonObject>
#include <QCborMap>

Include dependency graph for mna_verification.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	MNALIB::MnaVerificationCheck
	Verification check for a graph node. More...
struct	MNALIB::MnaVerificationResult
	Check evaluation result. More...
struct	MNALIB::MnaProvenance
	Provenance record for reproducibility. More...
struct	MNALIB::MnaVerification
	Verification, explanation, and provenance for a graph node. More...

Namespaces
namespace	MNALIB
	MNE Analysis Container Format (mna/mnx).

Detailed Description

Verification, declarative checks, evaluation results and provenance snapshot attached to every MnaNode for reproducible execution.

SPDX-License-Identifier: BSD-3-Clause Copyright (c) 2026 MNE-CPP Authors

Author

Christoph Dinh chris.nosp@m.toph.nosp@m..dinh.nosp@m.@mne.nosp@m.-cpp..nosp@m.org

Since

2.2.0

Date

April 2026

This header carries the four structs that turn an MNA graph from a black-box runner into a self-auditing pipeline. MnaVerificationCheck is a declarative pre- or post-condition (e.g. rank(covariance) > 0) authored alongside the node; MnaVerificationResult records each evaluation outcome with the actual value, severity and timestamp; and the parent MnaVerification aggregates an explanation string, the check list, both result lists and the full MnaProvenance snapshot.

MnaProvenance captures everything needed to re-run a node bit-for-bit later: SHA-256 of every input, the resolved parameter map after MnaParamTree evaluation, MNE-CPP / Qt / compiler / OS versions, external tool versions for IPC and Script nodes, wall-clock and peak-RSS measurements, and the random seed when stochastic ops are involved. Together these structs are what lets MNA projects double as audit trails for clinical and publication-grade analyses.

Definition in file mna_verification.h.