← all sampled attempts · show highlighted in source
docs/spec-fabric-pe.md, lines 257–264
### Implicit (derived from the FU set) `max_fu_inputs` -- the maximum, across the concrete FU occurrence set, of each FU's input-port count. If FU `f0` has 2 inputs and FU `f1` has 3 inputs, `max_fu_inputs = 3`. `max_fu_outputs` -- the maximum, across the concrete FU occurrence set, of each FU's output-port count. Same shape.
blocked postcondition observability
Serializer corrected using retained response with zero calls. Postcondition gap remains; current pinned tool has no demonstrated derived-value output. Both candidate stages unrun.
| input generator | unrun |
|---|---|
| output condition | unrun |
| native evaluation | unrun |
obligation coverage: not measured / no validated evidence · code coverage: not measured / no validated evidence · coverage-preserving minimized case: not measured / no validated evidence
adapter-setup-note.json · command.json · stderr.txt · stdout.txt · command.json · stderr.txt · stdout.txt · anchor-command.json · anchor-exit.json · anchor-outcome.json · command.json · stderr.txt · stdout.txt · command.json · stderr.txt · stdout.txt · command.json · stderr.txt · stdout.txt · anchor.stderr.txt · anchor.stdout.txt · native-observability-audit.md · claim.json · context.json · outline-response.request.json · pre-model-reconciliation.json · STOP.json · fresh-usage-terminal.log · fresh-usage.json · claim.json · context.json · outline-response.request.json · reconciliation.json · corrected-bundle.toml · original-bundle.toml · receipt.json · syntax-hashproof.json · STOP.json · claim.json · context.json