Upstream fact
Manifest text, order, selected reviewed lines, and pinned revision.
Pinned execution evidence / finite analysis space
Trace what happened.
Separate what is inferred.
A source-bound view of live-bootstrap events and evidence, with Onto2D counterfactual analysis kept in a visibly separate layer.
- Upstream revision
...- Trace
...- Evidence
...- Profile
- default-amd64 / QEMU inspection
Deterministic derivation
Predicate activity, state projection, and evidence graph assembly.
Onto2D analysis
Finite alternatives, regimes, costs, ablation, and Historical Load.
02 / EVIDENCE GRAPH
Provenance Graph
Upstream and deterministic-derived edges are visible.Counterfactual construction edges are never merged into this evidence graph.
No graph records match this evidence layer.
03 / EXPLICIT ROOTS
Trust Boundary
No "zero trust" claim is made.
Submodule contents, hardware, firmware, microcode, host preparation, mirrors, and runtime effects remain outside the verified source boundary of this case.
04 / ONTO2D CONSTRUCTION MODEL
Counterfactual Paths
Actual is evidence-linked.Alternatives below are Onto2D constructions, not unexecuted upstream branches.
05 / ONTO2D INTERPRETATION
Historical Load
Delta H...aF - a0
- Target
- ...
- a0 / unconstrained minimum
- ...
- aF / constrained minimum
- ...
- First path divergence
- ...
What this number says here...
...
Actual trace, unconstrained optimum, selected constrained optimum
Color and labels encode epistemic status, not performance.