- Polity
- Period
- Evidence basis
- UnknownBasis
- Review / agreement
- unknown / unknown
- Precision
- exact
- Support root
Recorded + reconstructed evidence / epistemic identity
Same code.
Different support history.
Three frozen Seshat Road claims all retain the exact native code P. Their public evidence dependency graphs do not collapse to one identity.
01 / Frozen result
One value; three exact support identities
The variable and polity set were frozen before any stress output was computed. Exact support identity hashes the canonical labelled dependency DAG, the claim identity, and the explicit mapping identity.
02 / Native claim inspector
The native code survives the projection
Choose a polity. The exact Polaris code, mapped API value, public narrative, and unknown metadata axes remain separate.
03 / Required support DAG
Every displayed arrow is declared, labelled, and required
Source work mappings are explicit local mappings from exact inline reference payloads. The graph does not infer source independence, hidden actors, or alternative-support thresholds.
04 / Shared dependency and cuts
Reference count is not independence
A single mapped work may feed more than one inline reference record. Group cuts operate on mapped works, not on display rows.
First categorical flip / minimum group cut
05 / Group-level ablation
Remove one declared source-work group
The source graph never changes. Under the published MVP semantics, required dependencies are removed transitively and the selected coding claim becomes unresolved.
06 / Identity comparison
P = P does not imply support(H1) = support(H2)
Composition counts are included for inspection but never substitute for canonical labelled-DAG equality.
07 / Public metadata boundary
Unavailable stays unavailable
The current public datum serializer exposes the code and narrative while excluding several per-datapoint provenance fields. A polity-level relation is never promoted into a datapoint-level coder relation.
| Capability | Status | Public boundary |
|---|
08 / Historical Load
Not evaluated is the result
null, not zero09 / Reading discipline