1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
// SPDX-License-Identifier: Apache-2.0
//! Validation checks, findings, and reports.
use std::collections::BTreeMap;
use std::fmt;
#[cfg(feature = "schema")]
use schemars::JsonSchema;
use serde::{Deserialize, Serialize};
use crate::document::CensusKey;
use crate::report::{loss::LossNote, Severity};
/// Which invariant a validation finding concerns.
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Serialize, Deserialize)]
#[cfg_attr(feature = "schema", derive(JsonSchema))]
#[serde(rename_all = "snake_case")]
#[serde(deny_unknown_fields)]
pub enum Check {
/// An entity id does not match `<format>:<scope>:<kind>#<key>`, or is not
/// globally unique. A native validator reports a duplicated, unowned, or
/// uncovered source-native identity here as well.
Identity,
/// A PMI target, datum reference, datum system, or semantic-annotation
/// reference does not resolve.
Pmi,
/// A presentation-layer item does not resolve, or an appearance texture
/// mapping or bump map carries a non-finite value.
Presentation,
/// An arena is not strictly sorted by entity id.
ArenaOrder,
/// A reference between entities is defective: a typed reference or id does
/// not resolve; an entity belongs to another owner or sketch; a dependency
/// or referenced feature does not precede its consumer, or the consumer
/// omits it from its dependencies; references form a cycle; an identity,
/// ordinal, address, or range is repeated or invalid; a constraint's
/// operands are not the kinds the constraint states; a configuration state
/// disagrees with the feature states it closes over; or an entity schema
/// cannot state its typed references.
ReferentialIntegrity,
/// A coedge radial ring does not close, crosses edges, or, with two
/// members, states equal coedge senses.
CoedgePairing,
/// Wire topology ownership is violated: a coedge also references a wire
/// edge, an edge also references a free vertex, a wire edge or free vertex
/// does not belong to exactly one shell, or a wire body contains faces.
WireTopology,
/// A face-bearing shell is disconnected through shared edges or vertices.
ShellTopology,
/// A surface, curve, pcurve, or point carrier is orphan: no topology or
/// retained construction data reaches it.
CarrierReachability,
/// An annotation provenance or exactness key does not resolve to an entity,
/// an exactness field path does not resolve, or an entity cannot be
/// serialized to check its field paths.
Annotations,
/// A source-native link is defective: a `native_ref` or native-record link
/// does not resolve, or a link list is not an array of identity strings. A
/// codec's native validator also reports here a native record whose frame,
/// arena census, ordinal run, ownership, or identity disagrees with the
/// source container.
NativeLinks,
/// A parameter range is outside its carrier's canonical domain: an edge
/// range, a coedge use-curve range, or a coedge pcurve range; or a spatial
/// sketch NURBS surface states a zero degree.
ParameterDomain,
/// A document-wide or per-entity tolerance is outside a sane canonical
/// range.
Tolerances,
/// Preserved bytes do not account for their source: a ledger entry, owner,
/// or boundary is invalid, a nonempty entry is missing, ranges overlap or
/// leave a gap, a coverage report is stale or does not prove exact closure,
/// a preservation record disagrees with the authoritative bytes, or a
/// carrier census disagrees with the parsed payloads.
PayloadIntegrity,
/// A tessellation references a missing body, face, or texture asset.
Tessellation,
/// Geometry disagrees with what it supports, or a feature's geometric
/// inputs are inconsistent: an edge curve, a coedge use-curve, or a pcurve
/// mapped through its face surface misses the vertex positions it must
/// meet; a procedural curve does not evaluate at its endpoints or misses
/// its endpoint or offset-distance contract; a sketch profile is
/// disconnected, or a sketch constraint, offset pair, locus, or projected
/// copy has no consistent solution; a feature reference does not name the
/// kind of geometry it must name, or does not precede its consumer; a
/// generated vertex, edge, face, body, profile, or region selection is
/// empty, repeated, out of range, or owned by another sketch; or a
/// configuration parameter, sheet-metal height, or scale transform is not a
/// usable value.
GeometricConsistency,
/// A count or multiplicity is internally inconsistent: a parameter name or
/// ordinal repeats within its scope, a design repeats a configuration
/// ordinal, configuration source index, or feature ordinal, a design states
/// more than one active configuration, a feature states more than one input
/// or result topology state, a sketch constraint states the wrong number of
/// members, or a native record census disagrees with the source container.
Counts,
}
impl fmt::Display for Check {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
f.write_str(match self {
Self::Identity => "identity",
Self::Pmi => "pmi",
Self::Presentation => "presentation",
Self::ArenaOrder => "arena_order",
Self::ReferentialIntegrity => "referential_integrity",
Self::CoedgePairing => "coedge_pairing",
Self::WireTopology => "wire_topology",
Self::ShellTopology => "shell_topology",
Self::CarrierReachability => "carrier_reachability",
Self::Annotations => "annotations",
Self::NativeLinks => "native_links",
Self::ParameterDomain => "parameter_domain",
Self::Tolerances => "tolerances",
Self::PayloadIntegrity => "payload_integrity",
Self::Tessellation => "tessellation",
Self::GeometricConsistency => "geometric_consistency",
Self::Counts => "counts",
})
}
}
/// A single validation finding.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
#[cfg_attr(feature = "schema", derive(JsonSchema))]
#[serde(deny_unknown_fields)]
pub struct Finding {
/// Which check produced this finding.
pub check: Check,
/// Severity.
pub severity: Severity,
/// Human-readable explanation.
pub message: String,
/// The entity id the finding is about, when applicable.
#[serde(
default,
skip_serializing_if = "Option::is_none",
deserialize_with = "deserialize_entity"
)]
pub entity: Option<String>,
}
/// Entity counts, findings, and propagated decode losses for one document.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
#[cfg_attr(feature = "schema", derive(JsonSchema))]
#[serde(deny_unknown_fields)]
pub struct ValidationReport {
/// Count of entities per arena, keyed by entity kind (sorted).
#[serde(deserialize_with = "cadmpeg_core::distinct_keys::btree_map")]
pub entity_counts: BTreeMap<CensusKey, usize>,
/// Findings, in discovery order.
pub findings: Vec<Finding>,
/// Loss notes supplied to validation.
#[serde(default)]
pub losses: Vec<LossNote>,
}
impl ValidationReport {
/// Number of findings at or above [`Severity::Error`].
pub fn error_count(&self) -> usize {
self.findings
.iter()
.filter(|f| f.severity >= Severity::Error)
.count()
}
/// Number of findings at exactly [`Severity::Warning`].
pub fn warning_count(&self) -> usize {
self.findings
.iter()
.filter(|f| f.severity == Severity::Warning)
.count()
}
/// True when there are no [`Severity::Error`]/[`Severity::Blocking`] findings.
pub fn is_ok(&self) -> bool {
self.error_count() == 0
}
}
// Each optional key below names itself in whatever it refuses.
cadmpeg_core::named_optional_field!(deserialize_entity, String, "entity");