omena-abstract-value 0.1.2

Abstract class value domain for Omena CSS semantic analysis
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

# `omena-abstract-value`

Internal Rust crate for the Omena abstract class-value domain.

This crate owns the generic domain contract used to reason about dynamic class
values before they are projected into a selector universe.

Current public product:

- `omena-abstract-value.domain` — domain boundary summary for the abstract
  class-value lattice and selector projection certainty contract.
- `intersect_abstract_class_values` — reduced-product intersection over finite,
  prefix, suffix, character-inclusion, and composite class-value domains.
- `join_abstract_class_values` — least-upper-bound merge for branch-sensitive
  class-value flow.
- `analyze_class_value_flow` — V0 1-CFA flow analysis over explicit
  class-value flow graphs with assign/refine/join transfers.
- `reduced_abstract_class_value_from_facts` /
  `reduced_value_domain_kind_from_facts` — source fact reduction before
  evaluator-facing domain-kind reporting.

Primary check:

```sh
cargo test
```

Publish readiness:

```sh
cargo fmt --all --check
cargo test
cargo clippy --all-targets --all-features -- -D warnings
cargo publish --dry-run
```