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
//! The independent semantic-truth, profile, and falsification harness.
//!
//! This module grades a semantic analyzer against reviewed, versioned
//! expectations rather than the analyzer's own output: an empty or
//! partial result can never pass, a fault-control battery proves every
//! registered wrong-system mutation is actually caught, a profile
//! registry and capability matrix report every requested target and every
//! unexecuted combination, and a committed red baseline records today's
//! known misses as explicit, attributed rows rather than repairing them
//! in place. `fixtures/csharp-truth/` is the checked-in case manifest and
//! fixture pack this module's tests grade against; `tests/semantic_truth_
//! *.rs` map one file to each area of acceptance evidence.
/// The machine-readable capability matrix: state per (profile, axis).
/// The registered fault-control battery and its exhaustiveness check.
/// Freshness and transformation controls, run in both directions.
/// Symbol and occurrence identity, plus the legacy compatibility join key.
/// The case-manifest schema, its validator, and its parser.
/// The pinned foundation-candidate digest and its offline verification.
/// Readers that turn committed producer bytes into observations.
///
/// Used instead of hand-building an observation from a manifest's own
/// expectations.
/// The compatibility-profile registry.
/// The committed truthful red baseline.
/// Case evaluation and the two-lane `TruthReport` artifact.
/// The uncertainty and context-health vocabulary.