← all exploratory attempts · paired baseline · show in source

breadth-11: PE input selection

Session: budget exhausted Review pending

Session: budget exhausted

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.

Execution provenance

The original pilot recorded the compiler hash and checkout revision separately; its binary build revision was not verified. Coverage follow-ups use separately identified rebuilt binaries. Original simulator binary hashes were not retained.

Original standalone-test agent report

This is exploratory evidence, not an accepted production-format PBT.

No author explanation recorded.

Reported numeric verdicts

not measured

Tested obligations

Untested obligations

Format

Reproduction

Measured subject code coverage

blocked · Authoring exhausted its budget without a completed PBT. Coverage does not rescue or reclassify that original outcome.

Coverage-preserving minimized cases: not measured

Published evidence