EXPcalibur guide
Open the executor: each lane has a small explicit state. One inner CPU lane: values, routing, and saved positions One inner CPU lane: values, routing, and saved positions Register file Eight 32-bit words carry numeric values. A number is not an access permission. Condition + thread cursor The comparison result and current threaded position travel with the continuation. Dispatch stack Selects threaded work. 64 e n t r i e s ; e a c h e n t r y i s u 16 . Return stack Saves call continuations. 64 e n t r i e s ; e a c h e n t r y i s u 16 . Cursor stack Saves traversal positions. 64 e n t r i e s ; e a c h e n t r y i s u 16 . Peer fields inside one CpuLane · no permission flows from a register into a stack All fields belong to a bounded lane. The executor maintains the live lane plus six comparison lanes. The scheduler separately owns capabilities, sessions, queued work, and persistent acceptance. Registers hold values; three stacks preserve different kinds of positions; condition and cursor control progress. Capability permission belongs to the scheduler outside this lane.