Primary technical disclosure
Secondary technical
Content-Blind Encounter Commitment and the Paired Encounter Receipt How a content-blind encounter commitment and paired encounter receipt let a semantic agent import verifiable evidence for origin-equivalence class derivation without importing any portable evaluation of conduct.Cross-Receipt Equivocation Detection: Catching an Agent That Tells Two Stories Cross-receipt equivocation detection lets a verifying semantic agent identify two encounter attestations that record one encounter yet name different determination classes, withdrawing both from origin-equivalence class derivation without any registry, directory, or coordination with a further execution node.The Untested-Origin Saturation Bound: Pricing a Flood of Freshly Minted Identities How the untested-origin saturation bound multiplies a scope partition's cross-partition propagation-suspension bound by one less the proportion of conduct evaluation artifacts arriving from untested origin-equivalence classes, making saturation by freshly minted identities cheaper to contain than saturation by counterparties with recorded histories.Counterparty-Side Fork Detection: Recognizing a Split Identity From Outside How a receiving agent detects a forked or cloned counterparty identity from the outside using the inherited governance record, epoch identifiers, the successor-continuity test, and an appended lineage-discontinuity record, without a registry, a quorum, or a revocation authority.The Attestation Origin-Equivalence Gate: An Anti-Collusion Bound How an attestation origin-equivalence gate bounds concerted non-execution attestations per locally derived origin-equivalence class, without scoring any party, incrementing any counter, or consulting a registry.
Applications · general
Terminology
asserting party the party from which a conduct evaluation artifact originates, being a party other than the principal..origin-equivalence class a set of asserting parties between which the semantic agent's own records evidence a derivable relation of a relation type declared in the signed policy object..