neograph::graph::ValidationOptions Struct Reference

Rule selection for GraphValidator. More...

#include <validator.h>

Public Attributes
bool	original_rules = false
	Apply only the rules Program bundles have sealed since bundle format v1.
bool	require_acyclic = false
	Report every cycle in the routed graph as an E16 error, for hosts that need a DAG (plans, checklists).
bool	soundness_check = false
	Opt-in soundness check (X3) of a topology without errors: explore every run the routes allow and report S1-S5 warnings with witness traces, plus a SOUNDNESS summary that is a note when every run was explored and a warning when the check was partial or stopped at the state cap.
std::size_t	soundness_state_cap = 100000
	States the soundness check visits at most before it reports "not checked".

Detailed Description

Rule selection for GraphValidator.

Defaults apply the current rules.

Definition at line 84 of file validator.h.

Member Data Documentation

original_rules

bool neograph::graph::ValidationOptions::original_rules = false

Apply only the rules Program bundles have sealed since bundle format v1.

E7/E8/E11 then reason over every declared edge and route, an effects object counts as declared even when it lists neither reads nor writes, and E13-E15 are not reported. Program compilation seals warnings from this rule set so a newer compiler never changes a bundle id; Program admission links with it so sealed bundles keep materializing.

Definition at line 93 of file validator.h.

require_acyclic

bool neograph::graph::ValidationOptions::require_acyclic = false

Report every cycle in the routed graph as an E16 error, for hosts that need a DAG (plans, checklists).

Loops are otherwise valid.

Definition at line 96 of file validator.h.

soundness_check

bool neograph::graph::ValidationOptions::soundness_check = false

Opt-in soundness check (X3) of a topology without errors: explore every run the routes allow and report S1-S5 warnings with witness traces, plus a SOUNDNESS summary that is a note when every run was explored and a warning when the check was partial or stopped at the state cap.

Ignored under original_rules.

Definition at line 104 of file validator.h.

---

The documentation for this struct was generated from the following file:

• include/neograph/graph/validator.h