← all sampled attempts · show highlighted in source

breadth-11

docs/spec-fabric-pe.md, lines 405–424

### Input-mux fields One typed record per active-FU input describes how a PE input is routed onto that FU input. The static field inventory contains the corresponding record for every concrete FU input, while the configured view projects only the selected FU's records. A value is one member of a closed typed sum: ```text InputSelection = Disconnected | Route(FabricTransportEndpointRef) | Discard(FabricTransportEndpointRef) ``` * `Route` selects one of this PE's `K` Input-role transport endpoints and connects it to the FU input. * `Discard` drains the selected PE input locally: the FU input's `valid` is forced low and the selected PE input's `ready` is forced high so upstream tokens dissipate. * `Disconnected` makes the FU input inert: no PE input is selected and the FU input's `valid` is forced low.

source passage artifact

Baseline outcome

blocked postcondition observability

No shown text determines observable timing/handshake obligations beyond the forced valid/ready levels (e.g. how many cycles a Discard-drained token takes to dissipate, or the value presented on the FU input's data lines under Disconnected/Discard); only the level forcing is documented.

Coverage and minimized cases

obligation coverage: not measured / no validated evidence · code coverage: not measured / no validated evidence · coverage-preserving minimized case: not measured / no validated evidence

Retained evidence