Expand description
Resilient relational identity (§27, legal_logic.md) — fabric resolution.
The strict axiom: an identifier is not an identity. A key, DID, or name is a pointer; identity is the dynamically-computed result of a fabric of anchors (identifiers, attestations, relations). So losing a primary key must NOT collapse identity — it is re-computed from the surviving fabric (the refugee / device-loss / theft resilience case), provided a quorum of anchors survives (k-of-n social/relational recovery).
See [[principle-identifiers-not-identity]]. This complements the foundational
modal_kind/resolve layer with the resilience primitive. Zero-heap.
Constants§
- SHAMIR_
PRIME - The Mersenne prime field modulus
2^61 − 1.
Functions§
- enumerated_
identity_ confidence - Identity as an enumerated state ([[principle-identifiers-not-identity]]): its confidence is
the share of its
totalcryptographic anchors (identifiers + related datasets) currentlypresent. One identifier of many → low confidence; the full enumerated fabric → high.0.0iftotal == 0(an enumeration of nothing is not an identity). - identifier_
is_ not_ identity - The axiom, made explicit: an identifier is never, by itself, the identity.
- identity_
survives_ loss - Identity survives the loss of anchors iff a quorum of the fabric remains.
quorummust be ≥1 (an identity anchored by nothing is not an identity). k-of-n recovery. - recompute_
fabric - Re-compute the active anchor set from
all_anchors, excluding any inlost, intoout. Returns the count — the surviving fabric an identity is reconstructed from. Zero-heap. - shamir_
reconstruct - Reconstruct the secret from
kshares(xs[i], ys[i])by Lagrange interpolation atx = 0. Anykof thenshares recover the secret; fewer reveal nothing. Zero-heap. - shamir_
split - Split
secret(reduced mod the prime) intonshares with thresholdk = coeffs.len()+1: share i (x-coordi+1) y-value is written toys[i].coeffsare thek−1polynomial coefficients (from a CSPRNG in production; caller-supplied here for determinism). Returnsn. - surviving_
anchors - The surviving anchor count after a loss (saturating).
- web_
of_ trust_ confidence - Recursive identity anchoring with web-of-trust decay: an identity asserted through a chain
of
depthintermediary identities has confidencebase · decay^depth— trust attenuates with each hop.decay ∈ [0,1];depth = 0is a direct anchor (fullbase). - zkp_
capability_ granted - ZKP capability derivation: a capability is granted by PROVING an identity trait (a zk proof)
WITHOUT revealing the core identifier. Granted iff
trait_provenAND the identifier was NOT revealed — the proof carries the trait, not the id (privacy-preserving derivation).