polyplug 0.1.1

Universal high-performance zero-overhead cross-language plugin runtime
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

#![allow(clippy::expect_used)]

//! FNV-1a cross-language compatibility test.
//!
//! Verifies that the Rust `guest_contract_id` function produces the expected values
//! that were independently computed and are hard-coded in the C++ header
//! (`polyplug::fnv1a_contract_id`).
//!
//! These constants are the ABI freeze verification: if anyone changes the
//! FNV-1a algorithm or the canonical format, these assertions will catch it.

use polyplug_utils::guest_contract_id;

/// Known-good `fnv1a_64(b"guest_contract:test.add@1")` — matches C++ constexpr.
const EXPECTED_TEST_ADD: u64 = 0x40244DF59FCBECB6;

/// Known-good `fnv1a_64(b"guest_contract:image.decode@1")` — secondary cross-check.
const EXPECTED_IMAGE_DECODE: u64 = 0xFBF31BF02E2AB1DC;

#[test]
fn fnv1a_contract_id_test_add() {
    let id: u64 = guest_contract_id("test.add", 1);
    assert_eq!(
        id, EXPECTED_TEST_ADD,
        "guest_contract_id(\"test.add\", 1) must equal 0x{:016X} (FNV-1a of \"guest_contract:test.add@1\")",
        EXPECTED_TEST_ADD,
    );
}

#[test]
fn fnv1a_contract_id_image_decode() {
    let id: u64 = guest_contract_id("image.decode", 1);
    assert_eq!(
        id, EXPECTED_IMAGE_DECODE,
        "guest_contract_id(\"image.decode\", 1) must equal 0x{:016X} (FNV-1a of \"guest_contract:image.decode@1\")",
        EXPECTED_IMAGE_DECODE,
    );
}

#[test]
fn fnv1a_algorithm_stability() {
    // Verify major version changes produce different IDs (algorithm soundness)
    let v1: u64 = guest_contract_id("test.add", 1);
    let v2: u64 = guest_contract_id("test.add", 2);
    assert_ne!(
        v1, v2,
        "different major versions must produce different contract IDs"
    );

    // Verify name changes produce different IDs
    let id_a: u64 = guest_contract_id("test.add", 1);
    let id_b: u64 = guest_contract_id("test.sub", 1);
    assert_ne!(
        id_a, id_b,
        "different names must produce different contract IDs"
    );
}