0be354a920
Single-commit clean baseline after security scrub of niche-tells, project codenames, internal jargon, and contributor-email leaks. Contents: - 100 Rust crates (_primitives/_rust/) - 37 agent manifests (_manifests/) + generated specs (_generated/) - 67 user-invocable skills (skills/) - 33 hooks (hooks/) - Composition blocks (_blocks/) - Documentation (docs/, README.md) - TS adapter packages (_ts_packages/) - Assembler (_assembler/) - Roles (_roles/) - Templates (_templates/) - Forgejo CI (.forgejo/) Author: Denis Parfionovich <info@greendragon.info> License: see LICENSE.
81 lines
2.9 KiB
Rust
81 lines
2.9 KiB
Rust
//! `compose_for_block` and `compose_for_block_with_nonce` produce parseable
|
|
//! DNA via `kei_shared::parse_dna` for every block_type. Validates the
|
|
//! wire-format SSoT contract.
|
|
|
|
use kei_registry::dna_block::compose_for_block_with_nonce;
|
|
use kei_registry::{compose_for_block, BlockType};
|
|
use kei_shared::dna::parse_dna;
|
|
|
|
const NONCE: &str = "deadbeef";
|
|
|
|
fn assert_round_trip(bt: BlockType) {
|
|
// 5-arg surface: nonce generated internally, parses cleanly.
|
|
let dna = compose_for_block(bt, "myname", "/abs/path/to/thing", b"body bytes", "md");
|
|
let parsed = parse_dna(&dna).expect("DNA must parse with kei_shared::parse_dna");
|
|
assert_eq!(parsed.role, bt.as_str(), "role segment must equal block_type for {bt}");
|
|
assert_eq!(parsed.scope_sha.len(), 8, "scope_sha must be 8 hex chars");
|
|
assert_eq!(parsed.body_sha.len(), 8, "body_sha must be 8 hex chars");
|
|
assert_eq!(parsed.nonce.len(), 8, "nonce must be 8 hex chars");
|
|
}
|
|
|
|
#[test]
|
|
fn primitive_block_dna_round_trips() {
|
|
assert_round_trip(BlockType::Primitive);
|
|
}
|
|
|
|
#[test]
|
|
fn skill_block_dna_round_trips() {
|
|
assert_round_trip(BlockType::Skill);
|
|
}
|
|
|
|
#[test]
|
|
fn rule_block_dna_round_trips() {
|
|
assert_round_trip(BlockType::Rule);
|
|
}
|
|
|
|
#[test]
|
|
fn hook_block_dna_round_trips() {
|
|
assert_round_trip(BlockType::Hook);
|
|
}
|
|
|
|
#[test]
|
|
fn atom_block_dna_round_trips() {
|
|
assert_round_trip(BlockType::Atom);
|
|
}
|
|
|
|
#[test]
|
|
fn with_nonce_variant_is_deterministic() {
|
|
let a = compose_for_block_with_nonce(BlockType::Atom, "x", "/p", b"b", "md", NONCE);
|
|
let b = compose_for_block_with_nonce(BlockType::Atom, "x", "/p", b"b", "md", NONCE);
|
|
assert_eq!(a, b, "same inputs → same DNA when nonce is fixed");
|
|
let parsed = parse_dna(&a).unwrap();
|
|
assert_eq!(parsed.nonce, NONCE);
|
|
}
|
|
|
|
#[test]
|
|
fn empty_caps_renders_underscore_segment() {
|
|
// kei_shared rejects empty `caps`. dna_block must substitute "_" so the
|
|
// composed DNA still parses.
|
|
let dna = compose_for_block_with_nonce(BlockType::Atom, "x", "/p", b"b", "", NONCE);
|
|
let parsed = parse_dna(&dna).expect("empty caps must compose to parseable DNA");
|
|
assert_eq!(parsed.caps, "_");
|
|
}
|
|
|
|
#[test]
|
|
fn body_change_changes_body_sha() {
|
|
let dna_a = compose_for_block_with_nonce(BlockType::Atom, "x", "/p", b"body-a", "md", NONCE);
|
|
let dna_b = compose_for_block_with_nonce(BlockType::Atom, "x", "/p", b"body-b", "md", NONCE);
|
|
let parsed_a = parse_dna(&dna_a).unwrap();
|
|
let parsed_b = parse_dna(&dna_b).unwrap();
|
|
assert_ne!(parsed_a.body_sha, parsed_b.body_sha);
|
|
assert_eq!(parsed_a.scope_sha, parsed_b.scope_sha, "path unchanged → scope_sha stable");
|
|
}
|
|
|
|
#[test]
|
|
fn path_change_changes_scope_sha() {
|
|
let dna_a = compose_for_block_with_nonce(BlockType::Atom, "x", "/p1", b"body", "md", NONCE);
|
|
let dna_b = compose_for_block_with_nonce(BlockType::Atom, "x", "/p2", b"body", "md", NONCE);
|
|
let parsed_a = parse_dna(&dna_a).unwrap();
|
|
let parsed_b = parse_dna(&dna_b).unwrap();
|
|
assert_ne!(parsed_a.scope_sha, parsed_b.scope_sha);
|
|
}
|