behavior-contracts 0.5.0

Language-neutral IR runtime core (expression evaluation, template rendering, execution plan, canonical serialization) shared across DSL implementations. Passes the dsl-contracts conformance vectors byte-for-byte.
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
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

//! behavior-contracts — language-neutral IR runtime COMMON core (Rust).
//!
//! Ports the same thin COMMON primitives as the TS/Python references. No backend,
//! key-resolution, retry-tuning, or DSL-specific concepts — those live in consumers.
//!
//! Public COMMON primitives (runtime-boundary.md §2.1):
//!   - [`validate_envelope`] — spec-version fail-closed check
//!   - [`evaluate_expression`] — expression-ir.md normative evaluation
//!   - [`render_template`] — `{param}` strict rendering
//!   - [`run_plan`] — execution-plan skeleton (stage / Skip propagation / Policy Kind)
//!   - [`canonical_value`] / [`canonical_json`] / [`py_float_repr`] — canonical serialization
//!   - [`assert_portable`] — Portability Guard
//!   - [`decode_value`] / [`deep_equals`] — conformance runner adapter COMMON part

pub mod behavior;
pub mod canonical;
#[cfg(feature = "ir")]
pub mod codec;
#[cfg(feature = "ir")]
pub mod envelope;
pub mod expr;
#[cfg(feature = "ir")]
pub mod fingerprint;
#[cfg(feature = "ir")]
pub mod guard;
pub mod plan;
pub mod primitives;
pub mod rawabi;
pub mod template;
pub mod value;

/// Supported spec versions (IR/vector versions; distinct from the crate semver).
pub struct SpecVersions;
impl SpecVersions {
    pub const EXPRESSION: i64 = 2; // v2: obj __proto__ own key -> FORBIDDEN_KEY (fail-closed)
    pub const TEMPLATE: i64 = 1;
    pub const PLAN: i64 = 1;
    pub const CANONICAL: i64 = 2; // v2: obj value __proto__ own key -> FORBIDDEN_KEY (fail-closed)
    pub const BEHAVIOR: i64 = 2; // v2: map.when / map.into / map.batched / handler ctx (bc#22; v1 IR semantics unchanged)
    pub const GUARD: i64 = 1; // v1 (bc#25: vector-pin assert_portable_component_graph accept/reject)
    pub const C2: i64 = 1; // v1 (bc#28: c2-catalog-swap — catalog-swap execution + IR structural identity)
}

/// Default graphddb-shaped supported envelope version (`"<major>.<minor>"`).
pub const ENVELOPE_SPEC_VERSION: &str = "1.1";

// ── re-exports (public surface) ──────────────────────────────────────────────
pub use value::{deep_equals, Value};

#[cfg(feature = "ir")]
pub use expr::evaluate as evaluate_expression;
pub use expr::{cmp_code_points, ExprFailure, ExprFailureCode};

pub use template::{render_template, resolve_partial, TemplateFailure, TemplateFailureCode};

pub use plan::{
    run_plan, run_plan_parallel, ExecOutcome, ExecutionPlanSpec, OpSpec, PlanFailure,
    PlanFailureCode, PolicyKind, RelationKind, RunResult,
};

pub use canonical::{
    canonical_json, canonical_value, py_float_repr, CanonicalFailure, CanonicalFailureCode,
};

#[cfg(feature = "ir")]
pub use envelope::{validate_envelope, EnvelopeFailure, EnvelopeFailureCode};

#[cfg(feature = "ir")]
pub use guard::{
    assert_portable, assert_portable_component_graph, PortabilityError, PORTABLE_EXPR_OPERATORS,
};

#[cfg(feature = "ir")]
pub use behavior::run_behavior;
pub use behavior::{BehaviorError, BehaviorFailureCode, ComponentExec};

// bc#76: RAW handler ABI — the de-boxed handler boundary (RawValue/RawRow, NOT Value).
pub use rawabi::{
    raw_from_value, raw_missing_prop, raw_type_mismatch, RawComponentExec, RawOutcome, RawRow,
    RawValue,
};

// bc 0.5.0: native PORTS ABI — the de-plumbed port container (native struct behind PortReader,
// NOT a Vec<(String, Value)>).
pub use rawabi::{NativeComponentExec, PortReader};

// bc#77: combined native-ports-in + raw-result-out ABI — the 1.0 read de-box (zero boxed Value
// on both the port AND row plane; inline sequential exec, no run_plan skip-gate).
// bc#94: the seam is nativized — the concrete ports struct flows to the handler by monomorphized
// generic instantiation (`PortReaderT`, no `&dyn`/`as_any`/`downcast`; `&self` so a `Sync` handler
// parallelizes without a forced `Mutex`).
pub use rawabi::{NativeRawComponentExec, PortReaderT};

#[cfg(feature = "ir")]
pub use fingerprint::{fingerprint_component_graph, FingerprintFailure, FingerprintFailureCode};

#[cfg(feature = "ir")]
pub use codec::{decode_value, encode_value, DecodeError};

// ── codegen primitive surface (bc#36 / typed-codegen.md §3.4) ─────────────────
// 生成コードが直呼びできる安定 primitive 公開面。式演算子は `primitives` モジュールで
// 個別関数として公開する（意味論は SSoT `evaluate_expression` へ委譲する薄いラッパ）。
// bounded 並行 / skip・unproduced / hydration helper も同モジュールに含める。
pub use primitives::{
    concat_native, hydrate_into, map_with_concurrency, ref_native, ref_opt_native, skip_connection,
    skip_single, unproduced_value,
};