Dennis Kobert
|
f7360688f2
|
Point the construction docs at the registry that exists
|
2026-09-06 17:08:03 +00:00 |
|
Dennis Kobert
|
33f7257e47
|
Rename record_edge_type to record_source_type
|
2026-09-06 16:27:11 +00:00 |
|
Dennis Kobert
|
2921f44e5c
|
Rename leveled_record_value_edge to leveled_record_value_source
|
2026-09-06 16:27:01 +00:00 |
|
Dennis Kobert
|
1e91511f93
|
Rename record_value_edge to record_value_source
|
2026-09-06 16:26:49 +00:00 |
|
Dennis Kobert
|
92adc524ca
|
Rename EdgeHandle to SourceHandle
|
2026-09-06 16:26:03 +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
|
21dfe04bf8
|
Insert the boundary memo at context nullification
|
2026-08-31 23:52:34 +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
|
277641d27e
|
Delete the plain edge kind
|
2026-08-29 10:07:10 +00:00 |
|
Dennis Kobert
|
f34ec257e7
|
Normalize lifetime arguments out of registry type names
|
2026-08-28 13:30:05 +00:00 |
|
Dennis Kobert
|
913d7093ea
|
Restore the index declaration on single-lane leveled values
|
2026-08-25 21:07:52 +00:00 |
|
Dennis Kobert
|
938fc1783a
|
Treat a single-lane leveled value as invariant under the addressed lane
|
2026-08-25 20:27:39 +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
|
5176bfd331
|
Query per-copy extents with the same chain shape the value path builds
|
2026-08-25 16:36:49 +00:00 |
|
Dennis Kobert
|
bb3643541d
|
Resolve context features from the registry at compile instead of persisting them
|
2026-08-25 11:16:56 +00:00 |
|
Dennis Kobert
|
9aef511891
|
Cargo fmt
|
2026-08-24 23:15:10 +02:00 |
|
Dennis Kobert
|
a6c56c8655
|
Resolve index levels from the registry instead of persisting them
|
2026-08-24 20:40:51 +00:00 |
|
Dennis Kobert
|
2c84bb478f
|
Derive pushed index levels per input and pop them when lifting requirements
|
2026-08-24 17:06:07 +00: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
|
7b609ea781
|
Parse primitive defaults through record wire types
|
2026-08-23 08:39:35 +00:00 |
|
Dennis Kobert
|
cdc6f11d92
|
Add an env-gated inferred type dump
|
2026-08-22 20:59:37 +00:00 |
|
Dennis Kobert
|
040bd71f82
|
Add an env-gated resolved layout depth dump
|
2026-08-22 19:11:48 +00:00 |
|
Dennis Kobert
|
7569bdb9cb
|
Convert path modify to a flip kernel over one default lane
|
2026-08-22 17:29:51 +00:00 |
|
Dennis Kobert
|
217f32eb88
|
Type the list-typed value defaults by their element
|
2026-08-22 12:59:37 +00:00 |
|
Dennis Kobert
|
46220ac268
|
Switch the tagged list values and layer internals onto leveled wires
|
2026-08-22 12:47:31 +00:00 |
|
Dennis Kobert
|
887dbaca2c
|
Re-home the layer-path stamp and switch the node path to its plain value form
|
2026-08-22 12:35:48 +00:00 |
|
Dennis Kobert
|
4b130b4319
|
Map element-typed wires to their list forms' defaults and widgets
|
2026-08-22 11:48:27 +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
|
99ce2ea565
|
Require a node registry to compile so the layout pass always runs
|
2026-08-15 14:49:25 +00:00 |
|
Dennis Kobert
|
64fb4eda61
|
Fold the record-stack peak in the layout pass, not the executor
|
2026-08-15 12:20:52 +00:00 |
|
Dennis Kobert
|
f9e30c4c77
|
Install record layouts from the pass via set_layout
|
2026-08-15 11:20:01 +00:00 |
|
Dennis Kobert
|
bfa48439c8
|
Resolve coercion nodes and dynamic values in the layout pass
|
2026-08-15 08:48:29 +00:00 |
|
Dennis Kobert
|
d7da2ba9e7
|
Add the resolve_types and compute_layouts compiler passes
|
2026-08-13 10:24:59 +00:00 |
|
Dennis Kobert
|
9c7a633d5b
|
Adopt tuple attribute io and the carrier lowering, deleting the bridge adapters for record-only wires
|
2026-08-06 18:48:16 +00:00 |
|
Dennis Kobert
|
ea49f3c2fc
|
Delete the Ref wire type and its lend edge surface
|
2026-08-06 12:24:50 +00:00 |
|
Dennis Kobert
|
100f81c307
|
Retire the lend machinery and flip the clone node onto record wires
|
2026-08-06 11:57:18 +00:00 |
|
Dennis Kobert
|
886ff03ef2
|
Construct value nodes as native record sources
|
2026-08-06 10:24:44 +00:00 |
|
Dennis Kobert
|
7eeb7d84cd
|
Flip poll kernels and derived-context lazy nodes onto record wires and land record roots at the host rim
|
2026-08-05 23:42:24 +00:00 |
|
Dennis Kobert
|
7099f056dc
|
Flip concrete value nodes onto record wires with bridge rows for every value type
|
2026-08-05 22:18:50 +00:00 |
|
Dennis Kobert
|
60f80682c5
|
Collapse duplicate proto nodes when assigning stable ids
|
2026-08-05 19:25:17 +00:00 |
|
Dennis Kobert
|
c91be74a55
|
Add the Record wire type, record registry rows, lift and extract adapters, and executor stack reservation
|
2026-08-05 12:24:20 +00:00 |
|
Dennis Kobert
|
62b7ccf40c
|
Support bare reference parameters and lending outputs in the node macro and make the clone node the clone-out adapter
|
2026-08-03 18:29:16 +00:00 |
|
Dennis Kobert
|
9b45af854a
|
Emit Ref wire types for lending rows and splice lend/clone_out adapters in the type checker
|
2026-08-03 16:33:27 +00:00 |
|
Dennis Kobert
|
c30054579f
|
Adapt the cutover to the reviewed core-types API
|
2026-07-31 23:39:39 +02:00 |
|
Dennis Kobert
|
81a319430b
|
Cut over to the graphene execution model
|
2026-07-31 23:19:42 +02:00 |
|
Dennis Kobert
|
5541769dc5
|
Fix frame table key aliasing and arena handle offset truncation
|
2026-07-31 16:46:20 +02:00 |
|
Dennis Kobert
|
1fccb112cb
|
Add the core execution types, the borrowed context, and the seeded u64 fx hasher
|
2026-07-31 13:11:36 +00:00 |
|