Add keymap, syntax/local, and misc-core strict edge tests

24 tests across three modules testing keymap operations, syntax/char
utilities with buffer-local variables, and core misc functions like
char-width, string-width, compare-strings, current-column.

Author: eval-exec

neovm-oracle-tests/src/keymap-strict-edge-semantics.rs

@@ -0,0 +1,67 @@
+//! Oracle parity for keymap operations: `define-key`, `lookup-key`,
+//! `keymapp`, `make-sparse-keymap`, `make-keymap`, `keymap-parent`.
+//!
+//! GNU src/keymap.c.
+
+use super::common::return_if_neovm_enable_oracle_proptest_not_set;
+use super::common::{assert_ok_eq, eval_oracle_and_neovm};
+
+#[test]
+fn oracle_keymapp_on_keymap() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(keymapp (make-sparse-keymap))"#);
+    assert_ok_eq("t", &o, &n);
+}
+
+#[test]
+fn oracle_keymapp_on_nil() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(keymapp nil)"#);
+    assert_ok_eq("nil", &o, &n);
+}
+
+#[test]
+fn oracle_make_sparse_keymap_creates_keymap() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(keymapp (make-sparse-keymap))"#);
+    assert_ok_eq("t", &o, &n);
+}
+
+#[test]
+fn oracle_make_keymap_creates_keymap() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(keymapp (make-keymap))"#);
+    assert_ok_eq("t", &o, &n);
+}
+
+#[test]
+fn oracle_lookup_key_undefined() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(lookup-key (make-sparse-keymap) "a")"#);
+    assert_ok_eq("nil", &o, &n);
+}
+
+#[test]
+fn oracle_define_key_and_lookup() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(
+        r#"(progn (let ((km (make-sparse-keymap))) (define-key km "a" 'forward-char) (commandp (lookup-key km "a"))))"#,
+    );
+    assert_ok_eq("t", &o, &n);
+}
+
+#[test]
+fn oracle_keymap_parent_default_nil() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(keymap-parent (make-sparse-keymap))"#);
+    assert_ok_eq("nil", &o, &n);
+}
+
+#[test]
+fn oracle_set_keymap_parent_returns_parent() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(
+        r#"(progn (let ((child (make-sparse-keymap)) (parent (make-sparse-keymap))) (set-keymap-parent child parent) (eq parent (keymap-parent child))))"#,
+    );
+    assert_ok_eq("t", &o, &n);
+}

neovm-oracle-tests/src/lib.rs

@@ -928,6 +928,8 @@ mod keymap_comprehensive_patterns;
 mod keymap_operations_extended;
 #[path = "keymap-prompt-patterns.rs"]
 mod keymap_prompt_patterns;
+#[path = "keymap-strict-edge-semantics.rs"]
+mod keymap_strict_edge_semantics;
 #[path = "labeled-restriction.rs"]
 mod labeled_restriction;
 #[path = "lambda-anonymous.rs"]
@@ -1079,6 +1081,10 @@ mod merge_ordered_lists_semantics;
 mod message_format_advanced;
 mod min;
 #[path = "missing-subrs-batch-semantics.rs"]
+#[path = "misc-core-strict-edge-semantics.rs"]
+#[path = "misc-core-strict-edge-semantics.rs"]
+mod misc_core_strict_edge_semantics;
+#[path = "missing-subrs-batch-semantics.rs"]
 mod missing_subrs_batch_semantics;
 #[path = "modify-syntax-entry.rs"]
 mod modify_syntax_entry;
@@ -1558,6 +1564,8 @@ mod symbol_property_semantics;
 mod symbol_value_edge_semantics;
 #[path = "symbol-with-pos-semantics.rs"]
 mod symbol_with_pos_semantics;
+#[path = "syntax-local-strict-edge-semantics.rs"]
+mod syntax_local_strict_edge_semantics;
 #[path = "syntax-parse-state.rs"]
 mod syntax_parse_state;
 #[path = "syntax-table.rs"]

neovm-oracle-tests/src/misc-core-strict-edge-semantics.rs

@@ -0,0 +1,67 @@
+//! Oracle parity for misc core: `char-width`, `string-width`,
+//! `compare-strings`, `current-column`, `move-to-column`.
+//!
+//! GNU src/character.c, src/fns.c, src/indent.c.
+
+use super::common::return_if_neovm_enable_oracle_proptest_not_set;
+use super::common::{assert_ok_eq, eval_oracle_and_neovm};
+
+#[test]
+fn oracle_char_width_ascii() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(char-width ?a)"#);
+    assert_ok_eq("1", &o, &n);
+}
+
+#[test]
+fn oracle_string_width_basic() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(string-width "hello")"#);
+    assert_ok_eq("5", &o, &n);
+}
+
+#[test]
+fn oracle_compare_strings_equal() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(compare-strings "abc" nil nil "abc" nil nil)"#);
+    assert_ok_eq("t", &o, &n);
+}
+
+#[test]
+fn oracle_compare_strings_different() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(eq (compare-strings "abc" nil nil "abd" nil nil) t)"#);
+    assert_ok_eq("nil", &o, &n);
+}
+
+#[test]
+fn oracle_current_column_basic() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(
+        r#"(progn (switch-to-buffer (get-buffer-create "*cc*")) (erase-buffer) (insert "abc") (goto-char 1) (current-column))"#,
+    );
+    assert_ok_eq("0", &o, &n);
+}
+
+#[test]
+fn oracle_move_to_column_sets_column() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(
+        r#"(progn (switch-to-buffer (get-buffer-create "*mc*")) (erase-buffer) (insert "xyz") (goto-char 1) (move-to-column 2))"#,
+    );
+    assert_ok_eq("2", &o, &n);
+}
+
+#[test]
+fn oracle_accessible_keymaps_returns_list() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(listp (accessible-keymaps))"#);
+    assert_ok_eq("t", &o, &n);
+}
+
+#[test]
+fn oracle_string_width_empty() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(string-width "")"#);
+    assert_ok_eq("0", &o, &n);
+}

neovm-oracle-tests/src/syntax-local-strict-edge-semantics.rs

@@ -0,0 +1,69 @@
+//! Oracle parity for char-syntax + buffer-local operations.
+//! GNU src/syntax.c, src/data.c.
+
+use super::common::return_if_neovm_enable_oracle_proptest_not_set;
+use super::common::{assert_ok_eq, eval_oracle_and_neovm};
+
+#[test]
+fn oracle_char_syntax_word() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(char-syntax ?a)"#);
+    assert_ok_eq("119", &o, &n);
+}
+
+#[test]
+fn oracle_char_syntax_whitespace() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(char-syntax ?\s)"#);
+    assert_ok_eq("32", &o, &n);
+}
+
+#[test]
+fn oracle_syntax_table_returns_current() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(syntax-table-p (syntax-table))"#);
+    assert_ok_eq("t", &o, &n);
+}
+
+#[test]
+fn oracle_make_local_variable() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(
+        r#"(progn (set (make-local-variable 'neovm--test-mlv) 42) neovm--test-mlv)"#,
+    );
+    assert_ok_eq("42", &o, &n);
+}
+
+#[test]
+fn oracle_kill_local_variable() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(
+        r#"(progn (set (make-local-variable 'neovm--test-klv) 77) (kill-local-variable 'neovm--test-klv) (not (boundp 'neovm--test-klv)))"#,
+    );
+    assert_ok_eq("t", &o, &n);
+}
+
+#[test]
+fn oracle_set_syntax_table_roundtrip() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(
+        r#"(progn (let ((orig (syntax-table))) (unwind-protect (syntax-table-p (set-syntax-table orig)) (set-syntax-table orig))))"#,
+    );
+    assert_ok_eq("t", &o, &n);
+}
+
+#[test]
+fn oracle_syntax_class_to_char() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(r#"(characterp (syntax-class-to-char 2))"#);
+    assert_ok_eq("t", &o, &n);
+}
+
+#[test]
+fn oracle_string_to_syntax_roundtrip() {
+    return_if_neovm_enable_oracle_proptest_not_set!();
+    let (o, n) = eval_oracle_and_neovm(
+        r#"(progn (modify-syntax-entry ?a (string-to-syntax "w")) (char-syntax ?a))"#,
+    );
+    assert_ok_eq("119", &o, &n);
+}