KarlNaumann / MacroStat

91%

push

github

feat(pichler): production canonical (#82)

* feat(causality): add MethodSpec foundation library

Port EIRINpy v0.11.0's MethodSpec system into MacroStat as a single
import-pure stdlib module. Two decorators (writes / requires) attach a
frozen MethodSpec to each behavior method declaring per-buffer literal
key sets plus a DYNAMIC sentinel for computed-key accesses. Zero
per-call cost: decorators set func.__method_spec__ and return the
function unwrapped.

lint_class walks the call graph from a chosen root, runs an AST
visitor over each reachable method, and emits one DriftEntry per
method classifying declared vs observed accesses (OK,
MISSING_DECORATOR, DRIFT, INDIRECT_WRITE, DYNAMIC_UNRESOLVED). The
visitor recognises self.<buffer>[K] subscripts on state / prior /
history / params / scenarios / hyper plus the scenario and params
kwarg-name magic guarded by the enclosing FunctionDef signature.
AugAssign targets are counted as both read and write via a one-pass
pre-walk. Mutator-call indirection is resolved through a public
_STATE_MUTATORS registry populated by register_mutator (idempotent,
raises on conflict).

R6d (check_non_buffer_attrs) enforces that subclasses of Behavior
only read tracked buffers, underscore-private caches, or names
already bound in their own __init__; writes outside __init__ and
initialize to non-buffer non-private attrs are banned regardless of
init binding (variant b — closes the canary-binding evasion). The
allowlist is auto-derived from each class's __init__ AST per the plan,
with a per-class cache.

First of five dispatches splitting the superseded
MethodSpecDecorators plan. No model retrofit in this dispatch;
downstream dispatches consume the stable library API.

* test(causality): cover MethodSpec foundation

Lock the public surface of writes/requires, lint_class, the mutator
registry, and the non-buffer attribute check so later edits and
model rollouts cannot break it without a red test. Fixtures sit at
module level becau... (continued)

601 of 642 branches covered (93.61%)

Branch coverage included in aggregate %.

340 of 367 new or added lines in 2 files covered. (92.64%)

3778 of 4164 relevant lines covered (90.73%)

5.44 hits per line