metta.lint

Source: extensions/python/metta/lint.py.

Expose diagnostics for declarations, equations, and calls.

The entries below reproduce the source signatures and docstrings.

lint

def lint(space) -> list[Finding]:

Diagnose a space and return an empty list when no check fires.

One of nine observability methods, the one for the silently-wrong class; rows.why() explains one empty answer, and the guide's observability page maps the family.

lint_file

def lint_file(path: str | os.PathLike[str], *, m=None) -> list[Finding]:

Diagnose one source file, each finding anchored to its line.

The file loads into a scratch space and lint() runs there; every finding whose atom alpha-matches a top-level form then carries {"file", "line", "column"} in its payload, recovered exactly from the reader's own verbatim form texts, so a tool prints path:line without the engine ever tracking positions on its hot path. A finding about an atom no single form wrote, or one a form computed, stays unanchored rather than guessed.