Opinionated OCaml linter with Merlin integration for code quality, naming conventions, and style checks
Fix ATP backend append-only violation: injective rkey, MST dup check
subject_to_rkey was lossy — it stripped the algorithm prefix, so
sha256:X and sha512:X mapped to the same MST key. Now hex-encodes
the full subject for injectivity.
append now also checks Atp.Mst.mem before inserting, preventing
silent overwrites even if the hashtable check passes.
size uses Hashtbl.length (consistent with lookup) instead of
counting MST leaves (which could diverge on collision).
Also: re-export Vds module from scitt.mli so backends can construct
Vds.t records, and fix Vds.lookup/root/export references.
+2
-2
+2
-2
lib/config.mli
+2
-2
lib/config.mli
···
10
10
max_underscores_in_name : int;
11
11
min_name_length_underscore : int;
12
12
allowed_words : string list;
13
-
(** Words treated as atomic by naming rules (e.g. EdDSA, ECDSA).
14
-
Parsed from [allowed_words] or [acronyms] in [.merlint]. *)
13
+
(** Words treated as atomic by naming rules (e.g. EdDSA, ECDSA). Parsed
14
+
from [allowed_words] or [acronyms] in [.merlint]. *)
15
15
(* Style rules *)
16
16
allow_obj_magic : bool;
17
17
allow_str_module : bool;