nx_legalsem_gate.nx
buildroot/runtime/nx_legalsem_gate.nx
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
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
structs
| none |
consts
| none |
functions
| 17 | func main(argc: i64, argv: *i64) -> i64 |