nexa / bin /semantics.py

Commit History

depends: the two bindings, measured again on the tree facts and not taken
a8f9476

DBax127 commited on

check: dependencies are read when the depends check asks, and where named
f6ab2f2

DBax127 commited on

check: the modules a module depends on are read beside it
d904a25

DBax127 commited on

depends: storedness, merged depends and transitive triggers read from the tree
5fdf138

DBax127 commited on

constrains: a field Odoo cannot trigger on is asked for by its inputs
82013bf

DBax127 commited on

depends: a name assigned records, measured and not taken
0539253

DBax127 commited on

ondelete: a read through mapped(), measured and not taken
d0bca75

DBax127 commited on

depends: a read straight off a call that keeps the records is a read
177f1ca

DBax127 commited on

fieldtest: a file two checkers could not read is one file
53c8de6

DBax127 commited on

depends: a read through a method's own output, measured and kept exempt
b999a8e

DBax127 commited on

depends: Odoo refuses neither a self-dependency nor a path ending .id
0bc85c5

DBax127 commited on

depends: what a file says a method computes is its output; a lambda stays unread
054a97a

DBax127 commited on

depends: what a string names and what a subscript picks are reads
03128a2

DBax127 commited on

constrains: a dotted name is read, not matched
7dbbe3a

DBax127 commited on

onchange: the same check made again on the server backs it
fed0255

DBax127 commited on

onchange: backed by a constraint on its field, refused only when taken back
77aa4e0

DBax127 commited on

onchange: a dead _sql_constraints backs nothing on 19
6eb635c

DBax127 commited on

depends: a mapped() path is a read
66c7faa

DBax127 commited on

sudo: a public page reading what it publishes is re-scoped
847fcae

DBax127 commited on

sudo: a domain on records the caller already holds is re-scoped
d43fe3b

DBax127 commited on

rule: _sql_constraints is ignored from Odoo 19
e9d9bcb

DBax127 commited on

datetime: the rule sees where the value goes
ae568da

DBax127 commited on

sudo: re-scoping has to re-apply every rule everybody gets
0e2212c

DBax127 commited on

depends-unread: an override that calls super() adds triggers for the chain
575ff59

DBax127 commited on

narrow: the last three named false-positive classes, and one weakness found on the way
a9e151c

DBax127 commited on

xml: read the data files, and ask noupdate the question per record
666f897

DBax127 commited on

recursion: ask whether the ORM already refuses the cycle, and whether it can form one
c298898

DBax127 commited on

precision: read the named false positives, and the misses that named themselves
210b09e

DBax127 commited on

sudo: the rule the classification killed, and the marker it could not read
9012cfa

DBax127 Claude Opus 5 commited on

review: a pass over the tool itself, and the silence it was keeping
223d4f4

DBax127 Claude Opus 5 commited on

banner: solid NEXA in two hues, over an amber bar
f02c614

DBax127 Claude Opus 5 commited on

triggers: the two conditional rules learn to ask the tree
6faed22

DBax127 Claude Opus 5 commited on

rules: except-order ships advisory, and advisory grows a second ground
3e7a0a4

DBax127 Claude Opus 5 commited on

semantics: narrow the two worst-aimed rules, at no cost to recall
6d991e1

DBax127 Claude Opus 5 commited on

crosswalk: an outside opinion, and three rules with something behind them
405d61b

DBax127 Claude Opus 5 commited on

checkers: two more move to AST, and the OCA findings are classified
c3d4547

DBax127 Claude Opus 5 commited on

ondelete: fire where the orphaning actually bites, and record the eval
7d84af7

DBax127 Claude Opus 5 commited on

empirical: check what a snippet reaches for, not what it binds
cbaf04a

DBax127 Claude Opus 5 commited on

fieldtest: point the checkers at real code, and narrow three of them
ab8d335

DBax127 Claude Opus 5 commited on

corpus: correct two rules against Odoo 18's source, and settle the cross-hit
624fbef

DBax127 Claude Opus 5 commited on

layers: fix false passes; add prefer-sql AST check
5ac1be2

DBax127 Claude Opus 5 commited on

Add layered validation: nine layers, AST checking, adversarial probes
d3cfa77

DBax127 Claude Opus 5 commited on