core-labs/core
core-labs/core
1
0
Fork 0
Code Issues 9 Pull requests Projects Releases Packages Wiki Activity Actions 2

feat(l10): add finite grounding lexicon

Browse source
This commit is contained in:
Shay 2026-06-05 09:07:13 -07:00
parent cd45103da8
commit 21aa8b765f
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
language_packs/data/l10_grounding_v1/lexicon.jsonl Normal file
View file

@ -0,0 +1,10 @@
{"arity":1,"entry_id":"l10-ground-001","epistemic_status":"coherent","l10_stateless":true,"language":"en","lemma":"l10_finite_entity","morphology_tags":["l10_grounding","finite_entity"],"operator_class":"entity_ground","pos":"NOUN","provenance_ids":["brief-c:l10-grounding:2026-06-05"],"requires_explicit_witness":true,"semantic_domains":["l10.grounding.entity","logic.range_restriction"],"surface":"l10 finite entity"}
{"arity":2,"entry_id":"l10-ground-002","epistemic_status":"coherent","l10_stateless":true,"language":"en","lemma":"l10_witness_binding","morphology_tags":["l10_grounding","witness"],"operator_class":"witness_bind","pos":"NOUN","provenance_ids":["brief-c:l10-grounding:2026-06-05"],"requires_explicit_witness":true,"semantic_domains":["l10.grounding.witness","logic.existential"],"surface":"l10 witness binding"}
{"arity":2,"entry_id":"l10-ground-003","epistemic_status":"coherent","l10_stateless":true,"language":"en","lemma":"l10_range_restriction","morphology_tags":["l10_grounding","range_restriction"],"operator_class":"range_guard","pos":"NOUN","provenance_ids":["brief-c:l10-grounding:2026-06-05"],"requires_explicit_witness":true,"semantic_domains":["l10.grounding.range","logic.quantifier.guard"],"surface":"l10 range restriction"}
{"arity":3,"entry_id":"l10-ground-004","epistemic_status":"coherent","l10_stateless":true,"language":"en","lemma":"l10_grounded_universal","morphology_tags":["l10_grounding","universal","finite_guarded"],"operator_class":"forall_guarded_finite","pos":"NOUN","provenance_ids":["brief-c:l10-grounding:2026-06-05"],"requires_explicit_witness":true,"semantic_domains":["l10.grounding.quantifier","logic.universal"],"surface":"l10 grounded universal"}
{"arity":2,"entry_id":"l10-ground-005","epistemic_status":"coherent","l10_stateless":true,"language":"en","lemma":"l10_grounded_existential","morphology_tags":["l10_grounding","existential","finite_guarded"],"operator_class":"exists_grounded","pos":"NOUN","provenance_ids":["brief-c:l10-grounding:2026-06-05"],"requires_explicit_witness":true,"semantic_domains":["l10.grounding.quantifier","logic.existential"],"surface":"l10 grounded existential"}
{"arity":2,"entry_id":"l10-ground-006","epistemic_status":"coherent","l10_stateless":true,"language":"en","lemma":"l10_vacuous_truth_block","morphology_tags":["l10_grounding","vacuous_truth_guard"],"operator_class":"vacuity_refusal_guard","pos":"NOUN","provenance_ids":["brief-c:l10-grounding:2026-06-05"],"requires_explicit_witness":true,"semantic_domains":["l10.grounding.vacuity","logic.universal"],"surface":"l10 vacuous truth block"}
{"arity":2,"entry_id":"l10-ground-007","epistemic_status":"coherent","l10_stateless":true,"language":"en","lemma":"l10_contradiction_barrier","morphology_tags":["l10_grounding","contradiction_barrier"],"operator_class":"inconsistency_refusal_guard","pos":"NOUN","provenance_ids":["brief-c:l10-grounding:2026-06-05"],"requires_explicit_witness":false,"semantic_domains":["l10.grounding.consistency","logic.contradiction"],"surface":"l10 contradiction barrier"}
{"arity":1,"entry_id":"l10-ground-008","epistemic_status":"coherent","l10_stateless":true,"language":"en","lemma":"l10_no_explosion","morphology_tags":["l10_grounding","explosion_block"],"operator_class":"ex_falso_block","pos":"NOUN","provenance_ids":["brief-c:l10-grounding:2026-06-05"],"requires_explicit_witness":false,"semantic_domains":["l10.grounding.consistency","logic.paraconsistent_boundary"],"surface":"l10 no explosion"}
{"arity":1,"entry_id":"l10-ground-009","epistemic_status":"coherent","l10_stateless":true,"language":"en","lemma":"l10_finite_domain_closure","morphology_tags":["l10_grounding","finite_domain"],"operator_class":"domain_close_finite","pos":"NOUN","provenance_ids":["brief-c:l10-grounding:2026-06-05"],"requires_explicit_witness":true,"semantic_domains":["l10.grounding.finite_domain","logic.domain"],"surface":"l10 finite domain closure"}
{"arity":1,"entry_id":"l10-ground-010","epistemic_status":"coherent","l10_stateless":true,"language":"en","lemma":"l10_undecidable_refusal","morphology_tags":["l10_grounding","wrong_zero_refusal"],"operator_class":"undecidable_to_refuse","pos":"NOUN","provenance_ids":["brief-c:l10-grounding:2026-06-05"],"requires_explicit_witness":false,"semantic_domains":["l10.grounding.refusal","logic.epistemic_state"],"surface":"l10 undecidable refusal"}