Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
128 commits
Select commit Hold shift + click to select a range
b01e3e7
feat(formula-plane): seed bridge primitives and plan
PSU3D0 Apr 30, 2026
78d14c7
feat(formula-plane): add fp1 baseline stats hooks
PSU3D0 Apr 30, 2026
6322615
docs(formula-plane): record fp1 baseline
PSU3D0 Apr 30, 2026
f867cad
feat(formula-plane): add fp1b runner observability
PSU3D0 Apr 30, 2026
2fa9b3e
docs(formula-plane): record fp1b baseline
PSU3D0 Apr 30, 2026
75caa35
feat(formula-plane): add passive span partition counters
PSU3D0 Apr 30, 2026
3891d8e
docs(formula-plane): record fp2 span counter baseline
PSU3D0 Apr 30, 2026
0d0af17
docs(formula-plane): plan fp2b passive span store
PSU3D0 Apr 30, 2026
8d903be
docs(formula-plane): review fp2b passive span store plan
PSU3D0 Apr 30, 2026
f34498a
docs(formula-plane): fold fp2b review nits
PSU3D0 Apr 30, 2026
7bee662
feat(formula-plane): add passive span store builder
PSU3D0 May 1, 2026
1e4b01d
feat(formula-plane): report passive span store materialization
PSU3D0 May 1, 2026
4e9a025
docs(formula-plane): record fp3 materialization baseline
PSU3D0 May 1, 2026
6fe71c9
docs(formula-plane): draft runtime contract
PSU3D0 May 1, 2026
8aa3745
docs(formula-plane): review runtime contract
PSU3D0 May 1, 2026
7a1e09b
docs(formula-plane): fold runtime contract review feedback
PSU3D0 May 1, 2026
7eaa02b
docs(formula-plane): rereview runtime contract
PSU3D0 May 1, 2026
a649bff
docs(formula-plane): plan fp4a dependency summaries
PSU3D0 May 1, 2026
cb81989
docs(formula-plane): align phase map
PSU3D0 May 1, 2026
6354fe8
feat(formula-plane): add authority template canonicalizer
PSU3D0 May 1, 2026
02bdff0
fix(formula-plane): reject spill and implicit intersection templates
PSU3D0 May 1, 2026
b53849e
feat(formula-plane): join runs to authority templates
PSU3D0 May 1, 2026
10af8b3
feat(formula-plane): add passive dependency summaries
PSU3D0 May 1, 2026
049bed3
fix(formula-plane): tighten dependency summary rejects
PSU3D0 May 1, 2026
e19a3eb
feat(formula-plane): instantiate run dependency summaries
PSU3D0 May 1, 2026
4ff9ae7
test(formula-plane): compare dependency summaries to planner
PSU3D0 May 1, 2026
6b527c9
feat(formula-plane): report dependency summaries in scanner
PSU3D0 May 1, 2026
31c6ccf
docs(formula-plane): record fp4a dependency summary report
PSU3D0 May 1, 2026
14309a5
docs(formula-plane): clarify fp4a report artifacts
PSU3D0 May 1, 2026
51d2146
docs(formula-plane): plan fp4b function dependency taxonomy
PSU3D0 May 2, 2026
aead1bc
docs(formula-plane): review fp4b function taxonomy plan architecture
PSU3D0 May 2, 2026
4ee523b
docs(formula-plane): review fp4b function taxonomy plan implementation
PSU3D0 May 2, 2026
f3a097e
docs(formula-plane): fold fp4b plan review nits
PSU3D0 May 2, 2026
9ecb977
feat(formula-plane): add function dependency contracts
PSU3D0 May 2, 2026
0712798
test(formula-plane): cover xll function prefix taxonomy
PSU3D0 May 2, 2026
1394732
refactor(formula-plane): move dependency contracts onto functions
PSU3D0 May 2, 2026
96619f6
docs(formula-plane): plan fpx bridge allocation spike
PSU3D0 May 2, 2026
e219dbb
docs(eval-flush): program overview for unified overlay + per-layer flush
PSU3D0 May 2, 2026
073c88c
docs(formula-plane): define fp6 runtime plan
PSU3D0 May 3, 2026
3aad1ba
merge(eval-flush): integrate phase5 substrate for fp6
PSU3D0 May 3, 2026
e33e92f
feat(formula-plane): add fp6 runtime stores
PSU3D0 May 3, 2026
761dc91
feat(formula-plane): add sidecar region indexes
PSU3D0 May 3, 2026
ce39310
feat(formula-plane): promote exact span placements
PSU3D0 May 3, 2026
e409564
feat(formula-plane): add scalar span evaluator
PSU3D0 May 3, 2026
d1593f2
fix(formula-plane): satisfy strict clippy
PSU3D0 May 3, 2026
f357208
fix(formula-plane): scope span eval write counts
PSU3D0 May 3, 2026
24a3f1b
test(formula-plane): harden span placement gates
PSU3D0 May 3, 2026
a14ecc3
test(formula-plane): harden span eval writeback
PSU3D0 May 3, 2026
6550edc
test(formula-plane): harden overlay and region invariants
PSU3D0 May 3, 2026
f3dbe91
feat(formula-plane): add producer planning substrate
PSU3D0 May 4, 2026
03f118f
docs(formula-plane): plan producer ingest and dirty closure
PSU3D0 May 4, 2026
1baf5af
feat(formula-plane): centralize formula ingest reports
PSU3D0 May 4, 2026
c20a917
feat(formula-plane): add ingest shadow analysis seam
PSU3D0 May 4, 2026
0618b98
feat(formula-plane): add producer dirty closure
PSU3D0 May 4, 2026
9a6ea99
fix(formula-plane): tighten shadow and dirty projection semantics
PSU3D0 May 4, 2026
5b7dca2
test(formula-plane): harden producer dirty closure
PSU3D0 May 4, 2026
4362e99
feat(formula-plane): rebuild authority indexes
PSU3D0 May 4, 2026
0fccc08
feat(formula-plane): add mixed producer scheduler
PSU3D0 May 4, 2026
47fa81f
feat(formula-plane): add authoritative ingest split
PSU3D0 May 4, 2026
0dad9a0
feat(formula-plane): evaluate authoritative spans
PSU3D0 May 4, 2026
0cd3bf8
feat(formula-plane): route eval through mixed runtime
PSU3D0 May 4, 2026
bb42f32
feat(formula-plane): default EvalConfig to AuthoritativeExperimental
PSU3D0 May 4, 2026
851d971
docs(formula-plane): plan fp7 universal runtime cutover
PSU3D0 May 4, 2026
8c767a1
refactor(formula-plane): centralize evaluate_all behind coordinator
PSU3D0 May 4, 2026
ca64f20
feat(formula-plane): dirty-filter legacy producers in mixed runtime
PSU3D0 May 4, 2026
2f4b608
docs(formula-plane): record fp7 phase 2 investigation
PSU3D0 May 4, 2026
930b666
feat(formula-plane): make FP coordinator the universal evaluate_all r…
PSU3D0 May 4, 2026
b7a2293
docs(formula-plane): record fp7 phase 2 outcome and gate taxonomy
PSU3D0 May 4, 2026
71d30de
feat(bench): add FormulaPlane radical-cutover probe
PSU3D0 May 4, 2026
fe9a223
feat(formula-plane): bound span dirty work via consumer-read closure
PSU3D0 May 4, 2026
56c650b
feat(formula-plane): reject internal-dependency families at placement
PSU3D0 May 4, 2026
12442a0
docs(formula-plane): record FP7 perf findings from probe runs
PSU3D0 May 4, 2026
2fe6fd1
feat(formula-plane): relocation-aware AST visitor for SpanEvaluator
PSU3D0 May 4, 2026
81bb850
docs(formula-plane): record Issue A landing and post-fix probe numbers
PSU3D0 May 4, 2026
8107df1
docs(formula-plane): record FP7 architectural and perf audit
PSU3D0 May 4, 2026
8919312
refactor(formula-plane): canonicalize ingest candidates exactly once
PSU3D0 May 4, 2026
ea6658d
docs(formula-plane): record Issue B outcome and revised action queue
PSU3D0 May 4, 2026
f4f67d4
feat(formula-plane): arena-intern formula ASTs across ingest and runtime
PSU3D0 May 4, 2026
dd95662
docs(formula-plane): record Issue C landing
PSU3D0 May 4, 2026
8df5095
feat(formula-plane): wire span invalidation into structural workbook ops
PSU3D0 May 4, 2026
7606cd0
docs(formula-plane): record structural-op invalidation landing
PSU3D0 May 4, 2026
c675295
feat(graph): arena-native dependency planning for bulk ingest
PSU3D0 May 4, 2026
c5635ef
docs(formula-plane): record store_and_plan landing and remaining resi…
PSU3D0 May 4, 2026
99fe548
docs(formula-plane): plan FP8 IngestPipeline / arena-native canonical…
PSU3D0 May 4, 2026
4e51067
feat(formula-plane): FP8 phase 1 substrate for arena-native canonical…
PSU3D0 May 4, 2026
cb33637
feat(formula-plane): FP8 phase 2 IngestPipeline + parity harness
PSU3D0 May 5, 2026
cc0b2ee
feat(formula-plane): FP8 phase 3 hot ingest paths use IngestPipeline
PSU3D0 May 5, 2026
2e70440
fix(formula-plane): record dirty regions for changelog-path edits
PSU3D0 May 5, 2026
607b215
feat(bench-core): scenario corpus scaffold + first 5 scenarios
PSU3D0 May 5, 2026
4bddef9
feat(bench-core): scenario corpus dispatch 2 (s006-s017)
PSU3D0 May 5, 2026
2a4a8ee
feat(bench-core): scenario corpus dispatch 3 (s018-s029) + surfaced s…
PSU3D0 May 5, 2026
2109fcc
feat(bench-core): scenario corpus dispatch 4 (s030-s042) + edit-patte…
PSU3D0 May 5, 2026
fea0321
fix(bench-core): probe-corpus tolerates fixture-time errors via expec…
PSU3D0 May 5, 2026
e627548
fix(formula-plane): bind row/col delta to template anchor, not span d…
PSU3D0 May 5, 2026
13fa172
fix(formula-plane): demote spans before row/column structural ops
PSU3D0 May 5, 2026
f891f43
fix(graph): preserve named-range dependents across update_name calls
PSU3D0 May 6, 2026
822856f
feat(formula-plane): trust canonical known-static functions in dep su…
PSU3D0 May 6, 2026
88254af
feat(formula-plane): cross-sheet read projection + structural-op demo…
PSU3D0 May 6, 2026
98f8e06
feat(formula-plane): range-arg precedent support + constant-result br…
PSU3D0 May 6, 2026
3a18a4f
feat(bench-core): per-phase timeout for probe-corpus eval
PSU3D0 May 6, 2026
ac8ffd3
perf(graph): O(1) edge-coord update + change-aware AST adjustment in …
PSU3D0 May 6, 2026
4413b17
perf(formula-plane): demote non-constant span families with <100 cells
PSU3D0 May 6, 2026
8e9ee86
perf(formula-plane): sheet rename is metadata-only, no dirty span work
PSU3D0 May 6, 2026
0d287ce
perf(formula-plane): whole-column precedent support unlocks broadcast
PSU3D0 May 6, 2026
51c791f
perf(engine): cache used-axis bounds at wrapper level for whole-axis …
PSU3D0 May 6, 2026
e55993d
perf(formula-plane): literal parameterization + parameter-key memoiza…
PSU3D0 May 7, 2026
cbbcbad
perf(formula-plane): per-span loop overhead reduction + IF short-circ…
PSU3D0 May 7, 2026
4abf4db
feat(bench-core): Off\u2194Auth full-cell parity harness + 15 edge-ca…
PSU3D0 May 7, 2026
3203753
fix(formula-plane): demote spans on per-cell writes inside spans + sh…
PSU3D0 May 7, 2026
b4e003d
feat(formula-plane): INDEX promotion via allowlist + per-arg context …
PSU3D0 May 8, 2026
e69c8e6
feat(formula-plane): VLOOKUP/HLOOKUP/MATCH/XLOOKUP promotion + fix la…
PSU3D0 May 8, 2026
fa71f25
feat(formula-plane): lookup-index cache (Phase 2a + 2b) with build-co…
PSU3D0 May 8, 2026
aa71667
feat(engine): unified post-structural-op cell visibility contract
PSU3D0 May 8, 2026
c3572df
fix(graph): repopulate named-range dependents on sheet duplication + …
PSU3D0 May 9, 2026
c8753b4
perf(formula-plane): native parallel span eval + probe-corpus paralle…
PSU3D0 May 9, 2026
e2ba6c0
perf(engine): scope structural-op span demotion to affected region
PSU3D0 May 10, 2026
f9cffa0
perf(formula-plane): lower parallel placement threshold to 64 + expos…
PSU3D0 May 10, 2026
b36e8cc
fix(engine): scope demote-clear to affected region for structural ops
PSU3D0 May 10, 2026
f96655b
perf(engine): preserve bounded dirty domains across action/undo/redo …
PSU3D0 May 10, 2026
2df504b
feat(formula-plane): half-open RowsFrom/ColsFrom region variants for …
PSU3D0 May 10, 2026
c1cdcf6
refactor(formula-plane): introduce AxisRange internal type for axis a…
PSU3D0 May 11, 2026
4762541
refactor(formula-plane): SheetRegionIndex axis-range kind dispatch
PSU3D0 May 11, 2026
642c43b
refactor(formula-plane): dirty-closure projection through AxisRange d…
PSU3D0 May 11, 2026
a9f45a8
refactor(formula-plane): collapse RegionPattern variants into Region …
PSU3D0 May 11, 2026
9538888
feat(formula-plane): finalize opt-in span readiness
PSU3D0 May 13, 2026
36e5f0d
Merge remote-tracking branch 'origin/main' into formula-plane/span-sh…
PSU3D0 May 13, 2026
6060125
fix(formula-plane): repair ci span and wasm checks
PSU3D0 May 13, 2026
8867be8
chore(release): prepare 0.6 span branch
PSU3D0 May 21, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 27 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,33 @@ All notable changes to Formualizer will be documented in this file.

## [Unreleased]

### Added

- Added experimental opt-in FormulaPlane span evaluation for large copied-formula families. The default workbook path remains the stable dependency graph; span evaluation must be enabled explicitly through Rust, Python, WASM/JS, or C FFI configuration.
- Added sparse initial ingest paths for JSON, Umya, and Calamine loaders to avoid materializing formatting-only worksheet extent as populated cells.
- Added publishable Calamine-backed XLSX loading improvements that preserve sparse-friendly engine ingest while remaining compatible with the crates.io Calamine API.
- Added benchmark corpus tooling and structural invariants for Off/Auth parity, backend comparison, and FormulaPlane promotion metrics.

### Improved

- Improved FormulaPlane promotion and evaluation for arithmetic, lookup, criteria aggregate, whole-axis, cross-sheet, and affine literal formula families.
- Improved structural edit handling for promoted spans, including row/column insert/delete shifting, bounded dirty projection, and conservative demotion when required.
- Reduced FormulaPlane memory usage for integer-like affine literal families by encoding literal bindings compactly instead of retaining one dictionary entry per placement.
- Aligned direct XLSX helper dependencies with the newer Calamine/`zip` stack where possible.

### Fixed

- Preserved default stable semantics by keeping FormulaPlane/span evaluation disabled unless explicitly requested.
- Preserved Off/Auth parity across the validated benchmark corpus while falling back to the legacy graph for unsupported span shapes.

### Known limitations

- FormulaPlane span evaluation remains experimental and opt-in in this release.
- Internal dependency chains such as running balances and cumulative schedules remain on the legacy dependency graph.
- Array-literal formula families are not span-promoted.
- Calamine-backed structured table metadata is still incomplete for some table-reference workloads; Umya remains the fuller XLSX compatibility path for those cases.
- Calamine formula-record streaming is deferred until the upstream API is available in a crates.io release.

## [0.5.9] - 2026-05-18

### Fixed
Expand Down
Loading
Loading