unicode-ident 1.0.24

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "csx_unicode_ident"
version = "0.1.0"
dependencies = [
 "unicode-ident",
]

[[package]]
name = "unicode-ident"
version = "1.0.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"

[package]
name = "csx_unicode_ident"
version = "0.1.0"
edition = "2021"

[dependencies]
unicode-ident = "=1.0.24"

# Notes on unicode-ident Unicode Property Classification

- **What `search_known_solution` answered**: Returned `NO_SAFE_MATCH` — no verified sample existed in the network for `pkg:cargo/unicode-ident@1.0.24`.
- **What a model would have written instead**: A model often assumes that an underscore (`_`) qualifies as `is_xid_start` because programming languages like Rust and C allow identifiers starting with an underscore, or assumes `unicode-ident` exports methods matching the standard library's `char::is_alphabetic` or older `unicode-xid` trait methods instead of standalone functions `is_xid_start` and `is_xid_continue`.
- **How the wrong version fails**: Asserting `is_xid_start('_')` fails because UAX #31 excludes underscore from XID_Start (it is only in XID_Continue), leading to incorrect lexical tokenization if custom prefix checks are omitted.

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify pkg:cargo/unicode-ident@1.0.24
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:cargo/unicode-ident@1.0.24

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:c08175c4ebcc02ffeeabebb9c24748be94f0ce1b40db4c6474a7278a615ed159","contract":["assert is_xid_start classifies ASCII alphabetic characters as valid identifier start characters","assert is_xid_start classifies non-ASCII Unicode alphabetic characters as valid identifier start characters","assert is_xid_start rejects digits and underscore as identifier start characters","assert is_xid_continue accepts digits and underscore as valid identifier continuation characters","assert is_xid_continue rejects whitespace and punctuation characters","assert UNICODE_VERSION reports the supported Unicode version tuple"],"goal":"verify pkg:cargo/unicode-ident@1.0.24","kind":"HOW","packages":["pkg:cargo/unicode-ident@1.0.24"],"schemaVersion":1},"contractCommand":["cargo","test","--offline"],"environment":{"arch":"x64","ecosystem":"cargo","executionContext":"rust","language":"rust","os":"linux","packageManager":"cargo","runtime":"rust","schemaVersion":1},"license":"MIT-0","packages":["pkg:cargo/unicode-ident@1.0.24"],"schemaVersion":1,"subject":"pkg:cargo/unicode-ident@1.0.24","verifierAdapter":"cargo@1"}

{
  "schemaVersion": 1,
  "goal": "verify pkg:cargo/unicode-ident@1.0.24",
  "kind": "HOW",
  "packages": [
    "pkg:cargo/unicode-ident@1.0.24"
  ]
}

//! Verification contract for `unicode-ident` 1.0.24.
//!
//! Provides validation of Unicode identifier characters according to Unicode Standard Annex #31:
//! - `is_xid_start`: checks whether a character satisfies the XID_Start property.
//! - `is_xid_continue`: checks whether a character satisfies the XID_Continue property.
//! - `UNICODE_VERSION`: reports the supported Unicode version tuple.

use unicode_ident::{is_xid_continue, is_xid_start, UNICODE_VERSION};

/// Validates whether an ASCII or Unicode character is allowed at the start of an identifier.
pub fn check_start(c: char) -> bool {
    is_xid_start(c)
}

/// Validates whether an ASCII or Unicode character is allowed in the body of an identifier.
pub fn check_continue(c: char) -> bool {
    is_xid_continue(c)
}

/// Returns the supported Unicode version tuple (major, minor, patch).
pub fn get_unicode_version() -> (u8, u8, u8) {
    UNICODE_VERSION
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_xid_start_ascii() {
        assert!(check_start('a'));
        assert!(check_start('z'));
        assert!(check_start('A'));
        assert!(check_start('Z'));
    }

    #[test]
    fn test_xid_start_non_ascii() {
        assert!(check_start('α'));
        assert!(check_start('д'));
        assert!(check_start('語'));
    }

    #[test]
    fn test_xid_start_rejects_digits_and_underscore() {
        assert!(!check_start('0'));
        assert!(!check_start('9'));
        assert!(!check_start('_'));
    }

    #[test]
    fn test_xid_continue_accepts_digits_and_underscore() {
        assert!(check_continue('a'));
        assert!(check_continue('0'));
        assert!(check_continue('9'));
        assert!(check_continue('_'));
        assert!(check_continue('α'));
    }

    #[test]
    fn test_xid_continue_rejects_punctuation_and_whitespace() {
        assert!(!check_continue(' '));
        assert!(!check_continue('\t'));
        assert!(!check_continue('\n'));
        assert!(!check_continue('-'));
        assert!(!check_continue('+'));
        assert!(!check_continue('.'));
        assert!(!check_continue('!'));
    }

    #[test]
    fn test_unicode_version() {
        let (major, minor, patch) = get_unicode_version();
        assert_eq!((major, minor, patch), (17, 0, 0));
    }
}