Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
38 changes: 38 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,44 @@ All notable changes to wirelog are documented in this file.

### Added

- **Flat INLINE cold field consumers** (#1372): bounded projection/JOIN paths
consume declared scalar children, including STRING keys and payloads, through
either cold input, self JOINs and resident intermediate chains. Source layout
and original-use provenance are checked before retirement; copied semantic
metadata and intern pins preserve functors even for numeric-only INLINE.
Public typed/failure/memory tests retain explicit resident metadata/output
floors. Whole compounds, SIDE and nested handles remain unsupported.

- **Declared INLINE source layout** (#1372): plans own logical declarations,
and ordinary sessions initialize governed flat INLINE metadata before facts
or raw inserts, including empty numeric inputs. Original unsupported body
patterns retain separate provenance for subsequent cold eligibility checks.

- **STRING cold JOIN consumers** (#1372): matching STRING or INT64 keys,
STRING payloads, both cold directions, self JOIN and resident intermediate
chains preserve originating intern identity and independently pinned output.
Fixed-intern scratch and retained-source controls keep memory floors explicit.

- **STRING cold projections** (#1372): standalone direct/filtered projections
consume sealed STRING lanes with actual types, originating-intern checks and
pinned storage. Multiple bindings, failure/retry and fixed-budget tests retain
explicit resident intern/output floors.

- **Sealed JOIN inputs in either position** (#1372): bounded readers now consume
cold left, both-cold and self-JOIN inputs. Audited chains continue through
admitted resident intermediates, preserving single-INT64-key semantics,
numeric lane types, transactional failure cleanup and explicit output floors.

- **Multiple sealed inputs** (#1372): independently seal already-loaded numeric
sources in either order, retaining earlier bindings on a later failure.
Per-source lookup, destruction and narrow projection schema auditing preserve
exact results across resident/sealed mixtures and multiple JOIN consumers.

- **Standalone sealed-input reads** (#1372): `wirelog_session_seal_input`
permits supported direct/filtered projections without a JOIN consumer.
The existing `wirelog_session_seal_join_input` spelling remains compatible;
mutation freeze, evaluation closure and resident output floors are unchanged.

- **Filtered sealed-input projections** (#1372): bounded column projections can
apply one signed integer column/literal comparison while preserving resident
output floors, exact results, failure recovery and fixed-budget reclamation.
Expand Down
1 change: 1 addition & 0 deletions abi/libwirelog-1.0.abi.json
Original file line number Diff line number Diff line change
Expand Up @@ -91,6 +91,7 @@
<elf-symbol name='wirelog_session_make_compound_typed' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
<elf-symbol name='wirelog_session_remove' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
<elf-symbol name='wirelog_session_remove_typed' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
<elf-symbol name='wirelog_session_seal_input' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
<elf-symbol name='wirelog_session_seal_join_input' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
<elf-symbol name='wirelog_session_set_delta_cb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
<elf-symbol name='wirelog_session_set_typed_delta_cb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
Expand Down
1 change: 1 addition & 0 deletions abi/libwirelog-1.0.macos.symbols
Original file line number Diff line number Diff line change
Expand Up @@ -66,6 +66,7 @@ wirelog_session_make_compound
wirelog_session_make_compound_typed
wirelog_session_remove
wirelog_session_remove_typed
wirelog_session_seal_input
wirelog_session_seal_join_input
wirelog_session_set_delta_cb
wirelog_session_set_typed_delta_cb
Expand Down
1 change: 1 addition & 0 deletions abi/libwirelog-1.0.symbols
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,7 @@ wirelog_session_make_compound
wirelog_session_make_compound_typed
wirelog_session_remove
wirelog_session_remove_typed
wirelog_session_seal_input
wirelog_session_seal_join_input
wirelog_session_set_delta_cb
wirelog_session_set_typed_delta_cb
Expand Down
1 change: 1 addition & 0 deletions abi/libwirelog-1.0.windows.symbols
Original file line number Diff line number Diff line change
Expand Up @@ -66,6 +66,7 @@ wirelog_session_make_compound
wirelog_session_make_compound_typed
wirelog_session_remove
wirelog_session_remove_typed
wirelog_session_seal_input
wirelog_session_seal_join_input
wirelog_session_set_delta_cb
wirelog_session_set_typed_delta_cb
Expand Down
Loading
Loading