{"lemma":"module","gloss":"a bounded software unit","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["bounded","software","unit"],"predicates_invited":["belongs_to"],"definition_version":1}
{"lemma":"interface","gloss":"a boundary where systems exchange meaning","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["boundary","exchange","meaning"],"predicates_invited":["grounds"],"definition_version":1}
{"lemma":"contract","gloss":"an explicit promise a component must keep","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["promise","component","keep"],"predicates_invited":["requires"],"definition_version":1}
{"lemma":"invariant","gloss":"a condition preserved across transitions","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["condition","preserved","transition"],"predicates_invited":["supports"],"definition_version":1}
{"lemma":"state","gloss":"runtime information held by a system","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["runtime","information","system"],"predicates_invited":["has"],"definition_version":1}
{"lemma":"event","gloss":"a recorded fact that a transition occurred","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["recorded","fact","transition"],"predicates_invited":["precedes"],"definition_version":1}
{"lemma":"command","gloss":"a requested action against a system","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["requested","action","system"],"predicates_invited":["causes"],"definition_version":1}
{"lemma":"query","gloss":"a read that observes system state","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["read","observe","state"],"predicates_invited":["reveals"],"definition_version":1}
{"lemma":"transaction","gloss":"a consistency boundary for a set of changes","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["consistency","boundary","changes"],"predicates_invited":["grounds"],"definition_version":1}
{"lemma":"idempotence","gloss":"repeat execution with the same final effect","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["repeat","same","effect"],"predicates_invited":["supports"],"definition_version":1}
{"lemma":"determinism","gloss":"the same input produces the same result","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["same","input","result"],"predicates_invited":["supports"],"definition_version":1}
{"lemma":"replay","gloss":"reconstruction of prior execution evidence","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["reconstruction","execution","evidence"],"predicates_invited":["reveals"],"definition_version":1}
{"lemma":"trace","gloss":"an ordered record of execution evidence","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["ordered","record","evidence"],"predicates_invited":["supports"],"definition_version":1}
{"lemma":"failure","gloss":"a violation of expected behavior","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["violation","expected","behavior"],"predicates_invited":["corrects"],"definition_version":1}
{"lemma":"rollback","gloss":"a correction that restores a prior valid state","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["correction","restore","state"],"predicates_invited":["corrects"],"definition_version":1}
{"lemma":"deployment","gloss":"release of a system into operation","pos":"NOUN","provenance_ids":["adr-0090:domain_seed:2026-05-21"],"definitional_atoms":["release","system","operation"],"predicates_invited":["follows"],"definition_version":1}
