code wiki / (root) / nx_legalsem_gate.nx

nx_legalsem_gate.nx

buildroot/runtime/nx_legalsem_gate.nx

5447 B67 linesdepth 9pulls 15 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_legalsem_gate.nx -- INDEPENDENT GATE: concept-level (paraphrase) clause matching + POLARITY. INHERITS nx_gate_verdict (D001) so nx_gate_green can judge it and it records a harness.jrnl frame. The teeth: u2605PARAPHRASE WORKS: "indemnify and hold harmless" vs "defend against claims" share almost no words -- word-level matching scores them unrelated -- but they invoke the SAME legal concept and match here. u2605u2605NEGATION IS NOT SEMANTIC NOISE: "shall indemnify" and "shall NOT indemnify" invoke IDENTICAL concepts and score 1000 overlap. That is exactly where dense vector embeddings fail on contracts. The reversal detector is BITE-PROVEN: it must FIRE on the inverted clause and stay SILENT on a genuine paraphrase -- a detector that cannot distinguish those is not a detector. u2605NO VACUOUS AGREEMENT: two texts invoking no known concept are not "identical". license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

nx_legalsem_lib.nx nx_gate_verdict.nx nx_legalsem_gate.nx

imports: nx_legalsem_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gv_ctr sys_mmap gv_head gv_puts sys_write gv_check gv_puts ↻ sem_concept_of sem_has_concept cl_word_at cl_is_word cl_lower sem_concept_of ↻ cl_retained_permille cl_word_at ↻ cl_has_word cl_word_at ↻ mt_streq sem_overlap_permille sem_has_concept ↻ sem_equivalent sem_overlap_permille ↻ sem_negated cl_has_word ↻ sem_negated ↻ gv_bite gv_puts ↻ sem_reversal sem_overlap_permille ↻ sem_negated ↻ sem_verdict sem_reversal ↻ sem_equivalent ↻ sem_concept_count sem_has_concept ↻ gv_verdict gv_puts ↻ gv_num sys_mmap ↻

structs

none

consts

none

functions

17func main(argc: i64, argv: *i64) -> i64