direct — a deterministic reading of the bytes (the gate, the coordinate
pass). heuristic — a ratified offline rule that a live probe could
overturn (path resolution, the verb boundary, the write tristate, symbol
classes). No offline fact is derived, which is reserved for a conclusion
drawn from live responses.
The analyzer that produced the facts citing this entry.
Where a derived fact came from — the OFFLINE SUBSET of the contract.
The spec's evidence entry also carries
source: "live-inspect"and a RouterOS version stamp per probe, neither of which phase 1 can produce: no probe runs and there is no device to stamp. The type says only what offline emits rather than pre-declaring variants with no producer, so a consumer cannot narrow on asourcethat never appears; phase 2 widens the union and adds the stamp, which is an ADDITION to the shape a caller reads today.