Dennis Kobert
04966278d4
Build a gathered subject's copy plan on collapse and reject an empty carry
2026-09-14 12:56:54 +02:00
Dennis Kobert
aed7855002
Add a map_element primitive to Lane and teach the node macro to emit it
2026-09-14 12:53:17 +02:00
Dennis Kobert
6e22d6a412
Serve a declared name's census default on an absent read
...
An absent read of a name the census declares now serves that name's own
default rather than its value type's, which is the rule for a declared
name. The census stages it exactly as it fills any absent field, as the
declared default's bytes, so the read reuses the census's own mechanism
instead of a second one; the compiler takes them when the name folds and
`set_layout` installs them beside the offset.
A name the census does not declare keeps the value type's default, which
is that case's own rule. One name carries one value type, checked when
the name folds, so the row's value type and width agree with the read's.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com >
2026-09-09 11:13:41 +00:00
Dennis Kobert
5eb80721dd
Resolve a named read's offset when the graph compiles
...
The fold already holds the name and the read input's finished layout, so
the offset falls out there rather than at construction: `RecordLayout`
carries the resolved numbers and `set_layout` copies them into the read
slots. Constructors are untouched, and census-marker reads keep their
current installation.
A read meets the value type the name was written at, so a disagreement
between a read here and a write upstream is the same graph error as two
writes disagreeing; the one-name-one-type check now spans reads and
writes together. An absent attribute stays absent and the read serves
the forced default rather than reporting it.
`read_attribute` is the catalog's get half, typed and never `Option` at
the kernel boundary, with the name declared exactly as the write side
declares it.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com >
2026-09-09 10:50:08 +00:00
Dennis Kobert
37c0d0852d
Carry the new layout fields through the hand-built fixtures
...
The record fixtures spell their metas and resolved layouts out in full,
so the name-from-input fields reach them as empty. `named_value!`'s
example moves to `ignore`: its `for T` arm implements a core-types trait
on the value type, which only core-types itself may do.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com >
2026-09-09 09:43:52 +00:00
Dennis Kobert
f237a5ee50
Claim the carrier's frame before the lazy cursor snapshot
2026-09-08 12:22:04 +00:00
Dennis Kobert
ef8312806d
Serve the probe record the forwarding test finishes
2026-09-07 16:11:32 +00:00
Dennis Kobert
92adc524ca
Rename EdgeHandle to SourceHandle
2026-09-06 16:26:03 +00:00
Dennis Kobert
9f0e0ebc96
Clear the remaining clippy warnings on the diff surface
2026-09-06 16:25:17 +00:00
Dennis Kobert
fbdba0e545
Drop narration and internal asides from comments
2026-09-06 15:59:41 +00:00
Dennis Kobert
6cdab6b95d
Drop docs naming mechanisms that do not exist
2026-09-06 15:58:40 +00:00
Dennis Kobert
9d3abe385f
Sweep the data-flow wire and edge wording to input and source
2026-09-06 15:14:55 +00:00
Dennis Kobert
8f7d3936f8
Rename serve_edge to serve_input
2026-09-06 15:12:46 +00:00
Dennis Kobert
3e1a9a1acf
Let an async source write an owned attribute through its claim
2026-09-05 11:58:02 +00:00
Dennis Kobert
0f26893ec1
Split the memo roles between the span memo and memoize
2026-08-31 23:52:34 +00:00
Dennis Kobert
29052a58db
Let async source kernels write attributes through their frame claim
2026-08-29 23:00:17 +00:00
Dennis Kobert
84d11b9285
Serve memo hits out of the persistent region
2026-08-29 22:07:27 +00:00
Dennis Kobert
a955d6b458
Run cargo fmt
2026-08-29 18:40:02 +00:00
Dennis Kobert
97bc10e4c3
Pass frame space by argument and delete the record stack
2026-08-29 18:33:23 +00:00
Dennis Kobert
3af6834d3c
Flip the Node trait from eval onto the frame claim's serve
2026-08-29 12:26:46 +00:00
Dennis Kobert
aef750153b
Claim the node frame once and close every exit through its drop
2026-08-28 19:11:38 +00:00
Dennis Kobert
f4d37524c8
Structure record stack rewinds as scope guards and make reserve unsafe
2026-08-28 18:02:50 +00:00
Dennis Kobert
e5b910f840
Adopt serving lifetimes and the safe record surfaces in the node crates
2026-08-28 13:30:06 +00:00
Dennis Kobert
c6b669fc88
Key the element glue on static type projections
2026-08-28 13:30:05 +00:00
Dennis Kobert
d814b610da
Migrate test sources and assertions onto the safe record builders
2026-08-27 21:17:31 +00:00
Dennis Kobert
50911a6a25
Recreate introspection data from the monitor's context snapshot
2026-08-27 13:53:25 +00:00
Dennis Kobert
92ec2069ad
Carry group content across memo seams in an owned form
2026-08-27 11:27:26 +00:00
Dennis Kobert
182c2a1554
Cover the batch path that rebinds a lane-varying eager input
2026-08-25 21:15:12 +00:00
Dennis Kobert
d452ac0de1
Hoist a batch input only where the compiler proves it cannot vary per lane
2026-08-25 20:09:12 +00:00
Dennis Kobert
ff99f3605c
Drop unread index bounds from fold kernels and mark re-addressing nodes ModifyIndex
2026-08-25 11:05:38 +00:00
Dennis Kobert
9aef511891
Cargo fmt
2026-08-24 23:15:10 +02:00
Dennis Kobert
027218f16c
Declare which index levels a node reads and nullify the rest
2026-08-24 17:06:07 +00:00
Dennis Kobert
f1ccb74625
Serve the monitored lane from its own capture materialization
2026-08-24 16:42:28 +00:00
Dennis Kobert
2448157af8
Close the memoize frame on a valueless materialization and trace node exits
2026-08-24 14:11:46 +00:00
Dennis Kobert
d718cdb225
Keep the monitor's whole-extent capture off the record stack
2026-08-24 12:23:32 +00:00
Dennis Kobert
d38c767312
Gather a chosen subject lane through a Lane output and convert pack_strips
2026-08-24 08:22:25 +00:00
Dennis Kobert
511b4da9f5
Convert the raster std and adjustments families to element kernels and keep the unit primary's slot
2026-08-23 16:52:43 +00:00
Dennis Kobert
e40ee486a9
Claim the node frame on every cache serve and reclaim extracted edges
2026-08-23 08:31:39 +00:00
Dennis Kobert
6fe533a875
Cache whole levels in memoize and gate the monitor capture to lane zero
2026-08-23 00:57:37 +00:00
Dennis Kobert
feea006fc3
Skip the consuming lane in the index reader
2026-08-23 00:57:37 +00:00
Dennis Kobert
a2918887f6
Collapse the whole subject wire in materialized folds
2026-08-22 19:11:48 +00:00
Dennis Kobert
c0f50d41d7
Drop the manual extent overrides in favor of the derivation
2026-08-22 15:55:49 +00:00
Dennis Kobert
0b2aa3798a
Derive extent forwarding for level-preserving passthroughs
2026-08-22 15:34:22 +00:00
Dennis Kobert
5821816228
Add the leveled boundary helpers and the deep group element copy
2026-08-22 11:48:26 +00:00
Dennis Kobert
8eaa541c8c
Add the leveled value source and the dormant leveled edge form
2026-08-22 10:52:21 +00:00
Dennis Kobert
80db9c13c8
Signal past-end for repeat overruns so drains cross structure nodes
2026-08-21 22:17:06 +00:00
Dennis Kobert
8859e6b1a0
Add the layer-path stamp carrier
2026-08-21 22:03:31 +00:00
Dennis Kobert
ae6807f8e3
Add content hashing and equality glue to record layouts
2026-08-21 18:21:38 +00:00
Dennis Kobert
1b6513b954
Treat a free side as one lane in the extend split
2026-08-21 16:52:23 +00:00
Dennis Kobert
74fddff589
Add leveled vararg sources beside the production read nodes
2026-08-21 14:38:26 +00:00
