wegamekinglc / calc-flow / 32744696383

93%

Build Type

push

github

Committed by web-flow

Commit Message

feat: add immutable symbolic expressions (#188)

* feat: add immutable symbolic expressions

Implement SCE-02 of the symbolic computation engine plan (GitHub #169):
a declaration-only calc_flow.symbolic package with immutable expression
IR, strict types/domains/windows, the versioned primitive catalog, the
row/ts/cs/window/table/linalg namespaces, and deterministic explain()
output.

Node identity follows the frozen calc_flow.symbolic.declaration.v1
encoding from the SCE-00 contract: attributes normalize with defaults
materialized, mapping insertion order is ignored while declaration
order stays semantic, and Expr.digest is the lowercase SHA-256 over the
canonical node bytes. The contract's value and node golden vectors
reproduce byte for byte.

There is no lowering, data execution, eval/push/value/transform
surface, or serialized callable; Program and static analysis land with
SCE-03.

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

* fix: reject array-like host values stably in symbolic parameters

Close the N1 gap from independent verification: parameter() used
membership tests and an ordered mutability comparison that fall into
NumPy element-wise equality for array-like host values, surfacing
numpy's broadcast error instead of the stable declaration path.
Absence checks now admit only None or a genuinely empty list/tuple,
and the mutability host-type check runs before the string comparison,
so shape, schema, and mutability all fail with their frozen
static_inputs.* diagnostics.

Also addresses the Codacy PR findings: CShape rejects negative known
dimensions at construction (contract D2 requires non-negative shape
sizes) rather than failing inside unsigned byte conversion, the
package docstring states that the program-level export names land
with SCE-03, and a test helper return annotation no longer names the
constructor function as a type.

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

* fix: guard shape dimension encoding against negative... (continued)

Coverage Stats

772 of 822 new or added lines in 8 files covered. (93.92%)

44 existing lines in 3 files now uncovered.

62883 of 69054 relevant lines covered (91.06%)

3217.61 hits per line