hunyi 0.6.0

渾儀 (Hunyi) — Tianheng's semantic (AST/syn) observation dimension, the complement of the static import boundary. Declare in Rust how a module's public surface must behave: what its API must not expose (types — including named public re-exports and, opt-in, a trait impl's impl-site positions — and no dyn / impl Trait or async fn seam), where a trait may be implemented, that it declares no bare pub, and which markers a type must not acquire — observed via syn, reacted in CI. The heavy syn dependency is quarantined here, never in the core.
Documentation 
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

use std::path::Path;

use hunyi::{
    BoundDecl, BoundId, Defence, Demonstrates, Extent, FactGranularity, Observer, Outcome, Owner,
    Reached, RuleKey, SemanticBoundaries, SemanticObserver, StructuredFactIdentity, Violation,
    ViolationId, check_all,
};

fn inspect(violation: &Violation) {
    let _: &RuleKey = violation.rule_key();
    let _: &StructuredFactIdentity = violation.fact();
    let id: ViolationId = violation.id();
    let _ = (id.target(), id.rule_key(), id.fact());
}

#[test]
fn standalone_semantic_surface_exposes_the_shared_reaction_model() {
    let _: fn(&SemanticBoundaries, &Path) -> Outcome = check_all;
    let _: fn(&Violation) = inspect;
    let _ = std::mem::size_of::<(
        BoundDecl,
        BoundId,
        Defence,
        Demonstrates,
        Extent,
        FactGranularity,
        Owner,
        Reached,
    )>();
    fn accepts_observer<T: Observer>() {}
    accepts_observer::<SemanticObserver>();
}

/// `observation_bounds()` is a plain library item an adopter can call without composing a run.
///
/// Named here because this file is the contract that enumerates the promise, and this member reached the
/// public surface in the same window that closed exactly this gap for the protocol's other prelude
/// members — the
/// enumeration grew and the file naming it stood still. Reading a dimension's declared bounds without
/// implementing `Observer` is what `observation-bound-model` obliges, and until this nothing outside the
/// crate compiled against it.
#[test]
fn declared_bounds_are_readable_without_composing_a_run() {
    let declared: Vec<BoundDecl> = hunyi::observation_bounds();
    for bound in &declared {
        let _: &BoundId = bound.id();
        let _: &Extent = bound.extent();
    }
}