wegamekinglc / calc-flow / 32773107495

93%

push

github

feat: analyze symbolic programs (DAL-135) (#191)

* feat: add symbolic programs and static analysis

Complete the frozen symbolic export list with FeatureSet, Program,
AnalysisIssue, and AnalysisResult so a full declaration program can be
validated, fingerprinted, and explained without data or a runtime job.
The analyzer infers value types, domains, row-axis lineages, state
requirements, and stream safety from the declaration graph alone,
reporting stable output-rooted paths per the SCE-00 contract (D12) and
proving only what the capability snapshot proves — identical operand
types plus the frozen rolling/cross-section output-type table, with no
competing Python promotion table. Compilation to execution plans stays
with the later lowering stages.

Co-authored-by: multica-agent <github@multica.ai>

* test: add retained symbolic acceptance vectors

Integrate the SCE-02 acceptance module (DAL-134 attachment, 32 tests)
after deduplication against the per-module symbolic suites: 9 tests kept
that pin caller-owned value detachment for parameter shapes, grouping
values, and node attribute mappings, frozen declaration values beyond
Field, literal-path rejection of non-JSON clip bounds, and projection/
entity/partition order and reflected-operator identity; 23 dropped as
duplicates of test_symbolic_expr.py, test_symbolic_types.py, and
test_symbolic_domains.py coverage.

Co-authored-by: multica-agent <github@multica.ai>

* fix: close symbolic analyzer review blockers B1-B7

Address the seven Request Changes findings from the SCE-03 final
review, each pinned by a RED test first:

- B1: cast resolves its CDType attribute so a successful row.cast
  derives its output field instead of silently vanishing.
- B2: lag/delta register their input lineage as temporal, so stream
  analysis demands event-time/entity/sequence ordering for them.
- B3: where/coalesce analyze every operand against the first resolved
  lineage and union all operand states; cross-input conditions... (continued)

838 of 887 new or added lines in 6 files covered. (94.48%)

63749 of 69925 relevant lines covered (91.17%)

3973.26 hits per line