Appendix K. Institutional record catalog and functional-role vocabulary

InstitutionProfile {
  institutionId, principalId, declaredName, actorKinds[],
  legalIdentityAssertionRefs[], serviceEndpointRefs[],
  jurisdictionScopeRefs[], qualificationAssertionRefs[],
  status: UNVERIFIED|ACTIVE|RESTRICTED|SUSPENDED|RETIRED
}

InstitutionalRoleAssignment {
  assignmentId, institutionPrincipalId, functionalRole,
  issuerPrincipalId, authorityBasisRefs[], actionScopes[],
  subjectSelectors[], domainScopes[], jurisdictionScopes[],
  restrictions[], verificationState, validInterval,
  status: DRAFT|EVIDENCE_PENDING|ACTIVE|RESTRICTED|
          SUSPENDED|DISPUTED|EXPIRED|REVOKED
}

ExternalAuthorityQueryReceipt {
  queryId, sourceInstitutionId, endpointProfileRef,
  querySelectorDigest, requestedAssertionKinds[],
  requestedAt, respondedAt, responseArtifactDigest,
  result: MATCH|NO_MATCH|AMBIGUOUS|UNAVAILABLE|ERROR,
  sourceProofRefs[], freshnessPolicyRef
}

ExternalAuthorityAssertion {
  assertionId, issuerInstitutionId, nativeSystemRef,
  nativeRecordIdRef?, subjectRefs[], assertionKind,
  sourceValueArtifactRef, normalizedValue?, vocabularyRef,
  jurisdictionScopeRefs[], effectiveInterval, fetchedAt,
  validUntil?, sourceProofRefs[], transformationReceiptRef?,
  status: ASSERTED|SUPERSEDED|RETRACTED|DISPUTED|
          CONFLICTED|UNAVAILABLE
}

CaseFile {
  caseId, caseKind, subjectRefs[], participantRefs[],
  initiatingRecordRefs[], policyLock, jurisdictionContextRefs[],
  confidentialityPolicyRef, assignedTeamId?,
  accountablePrincipalId, reviewerRequirementRefs[], priority,
  openedAt, targetDates[], relatedCaseIds[], initialState
}

CaseTransition {
  transitionId, caseId, expectedCaseSequence, fromState, toState,
  triggerKind, actorPrincipalId, authorityAssignmentRef,
  decisionOrEvidenceRefs[], reasonCodes[], occurredAt
}

CaseEvidenceSubmission {
  submissionId, caseId, submitterPrincipalId,
  representedPartyId?, artifactRefs[], propositionRefs[],
  custodyRefs[], disclosureClass, privilegeOrRestrictionRefs[],
  submittedAt, admittedDisposition, challengeRefs[]
}

CaseDecision {
  decisionId, caseId, deciderPrincipalId, authorityAssignmentRef,
  conflictDeclarationRefs[], candidateOutcomes[], selectedOutcome,
  policyLock, evidenceSetDigest, findings[], reasonCodes[],
  effectiveScope, effectiveAt, expiryOrReviewAt?,
  noticeRequirements[], appealPolicyRef?, supersedesDecisionId?
}

CaseNotice {
  noticeId, caseId, decisionId?, recipientPrincipalId,
  contentArtifactDigest, disclosedReasonCodes[], channel,
  dispatchedAt, deliveryDisposition, providerReceiptRefs[],
  responseDeadline?
}

CaseAppeal {
  appealId, caseId, challengedDecisionId, appellantPrincipalId,
  representativeRef?, grounds[], evidenceRefs[], requestedOutcome,
  filedAt, timelinessDecisionRef?, reviewerRequirementRefs[],
  status: FILED|VALIDATING|ACCEPTED|REJECTED|REVIEWING|
          DECIDED|WITHDRAWN|CLOSED
}

CaseRemedy {
  remedyId, caseId, decisionId, remedyKind, targetRefs[],
  requiredActions[], prohibitedActions[], effectiveInterval,
  responsiblePrincipalId, verificationRequirements[],
  completionRefs[], status
}

TitleInterestAssertion {
  titleInterestId, assetId, holderPrincipalRefs[], interestClass,
  issuerAssertionRef, nativeStatus, effectiveInterval,
  priorityOrOrderAssertion?, restrictionRefs[],
  status: ASSERTED|SUPERSEDED|RELEASED|DISPUTED
}

EncumbranceAssertion {
  encumbranceId, assetId, interestedPrincipalRefs[], encumbranceClass,
  issuerAssertionRef, amountRef?, effectiveInterval,
  releaseAssertionRef?, nativeStatus,
  status: ASSERTED|RELEASE_PENDING|RELEASED|SUPERSEDED|DISPUTED
}

RegistryRestrictionAssertion {
  restrictionId, assetId, restrictionKind, issuerAssertionRef,
  affectedActions[], configurationOrOperationScope?,
  effectiveInterval, reviewOrExpiryAt?,
  status: ACTIVE|CLEARED|SUPERSEDED|DISPUTED
}

TransferClearanceDecision {
  clearanceId, assetId, proposedTransferId, policyLock,
  requiredCheckKinds[], queryReceiptRefs[], titleInterestRefs[],
  encumbranceRefs[], restrictionRefs[], sellerAuthorityDecisionRef,
  missingInputs[], conflictRefs[], staleInputs[],
  result: CLEAR_FOR_PLATFORM_STEP|CONDITIONAL|BLOCKED|INDETERMINATE,
  conditions[], decidedBy, effectiveAt, expiresAt
}

InsuranceContractAssertion {
  contractAssertionId, insurerInstitutionId, nativeContractIdRef,
  insuredPrincipalRefs[], assetId, configurationSelector?,
  operationAndUseScopes[], territoryScopes[], coveragePeriod,
  coverageTermsArtifactRef, limitAndDeductibleRefs[],
  sourceAssertionRef,
  status: ASSERTED_ACTIVE|ASSERTED_SUSPENDED|ASSERTED_EXPIRED|
          ASSERTED_CANCELLED|DISPUTED
}

LossNotice {
  lossNoticeId, incidentId, assetId, asOperatedConfigurationId,
  notifyingPrincipalId, claimantPrincipalRefs[], occurredInterval,
  privateLocationRef?, damageAndConditionRefs[], evidenceRefs[],
  insurerSubmissionRefs[], status: DRAFT|SUBMITTED|ACKNOWLEDGED|WITHDRAWN
}

CoverageDecision {
  coverageDecisionId, claimCaseId, insurerInstitutionId,
  authorityAssignmentRef, contractAssertionRefs[],
  consideredLossScopes[], excludedOrUnresolvedScopes[],
  evidenceSetDigest, policyOrTermsDigest,
  result: ACCEPTED|PARTIAL|DECLINED|PENDING|INDETERMINATE,
  conditions[], amountCaps[], reasonCodes[], effectiveAt,
  reviewAndAppealPolicyRef
}

LossAssessment {
  assessmentId, claimCaseId, assessorPrincipalId,
  authorityOrQualificationRefs[], assetId, configurationId,
  inspectionProcedureRef, evidenceRefs[], damageMapRefs[],
  causalHypotheses[], repairabilityClass, repairCostEstimateRefs[],
  valueEstimateRefs[], uncertainty, limitations[], conflictRefs[]
}

RepairEstimate {
  estimateId, claimCaseId?, workPackageId, repairerPrincipalId,
  configurationId, lineItems[], laborItems[], partsRefs[],
  taxesAndFees[], currency, total, assumptions[], exclusions[], validUntil
}

RepairAuthorization {
  authorizationId, claimCaseId?, estimateId, authorizerPrincipalId,
  authorityBasisRefs[], payerOrBeneficiaryRefs[], approvedScope[],
  excludedScope[], amountCapsByCurrency[], partAndProcedureConstraints[],
  deviationPolicy, effectiveInterval, amendmentOf?
}

RepairCompletion {
  completionId, authorizationId?, workPackageExecutionId,
  resultingConfigurationId, deviations[], installedPartRefs[],
  measurementAndInspectionRefs[], invoiceArtifactRefs[],
  releaseDecisionRef?, completedAt
}

ModerationReport {
  reportId, reporterPrincipalId?, subjectRefs[],
  contentOrInteractionRefs[], categoryCodes[], evidenceRefs[],
  urgency, safetyAndPrivacyFlags[], requestedOutcome?, receivedAt
}

ModerationDecision {
  moderationDecisionId, caseId, decisionMakerPrincipalId,
  reviewerType, policyLock, evidenceSetDigest,
  outcome: NO_ACTION|LABEL|VISIBILITY_LIMIT|INTERACTION_LIMIT|
           CONTENT_RESTRICT|ACCOUNT_RESTRICT|PROFILE_FREEZE|
           MARKET_HALT|EXTERNAL_REFERRAL,
  exactTargetSelectors[], reasonCodes[], effectiveAt, expiresAt?,
  noticePolicyRef, appealPolicyRef
}

EmergencyRestriction {
  restrictionId, caseId, exactTargetSelectors[],
  immediateRiskReasonCodes[], issuerPrincipalId, imposedAt,
  automaticExpiryAt, mandatoryReviewBy, replacementDecisionId?,
  status: ACTIVE|EXPIRED|REPLACED|LIFTED
}

AgeAssuranceAssessment {
  assessmentId, subjectPrincipalId, methodClass, providerAssertionRef?,
  result: AGE_UNKNOWN|PROTECTED_AGE_BAND|NON_PROTECTED_AGE_BAND|
          INDETERMINATE,
  assuranceClass, jurisdictionContextRefs[], policyLock,
  assessedAt, expiresAt, minimizedSourceDataReceiptRef
}

GuardianAuthorityAssertion {
  guardianAuthorityId, protectedPrincipalId, guardianPrincipalId,
  issuerOrVerifierRef, basisAssertionRefs[], potentiallyGrantableScopes[],
  jurisdictionContextRefs[], validInterval, conflictRefs[],
  status: PENDING|ACTIVE|SUSPENDED|DISPUTED|EXPIRED|REVOKED
}

YouthProtectionProfile {
  profileId, protectedPrincipalId, ageAssessmentRef, policyLock,
  discoverabilityRule, messagingRule, locationPrecisionRule,
  advertisingRule, commerceRule, publicationApprovalRule,
  modelTrainingRule, effectiveInterval
}

ManagementTeam {
  teamId, declaredName, beneficiaryIds[], managedSubjectSelectors[],
  charterRef, requiredFunctionalRoles[], separationRules[],
  escalationPolicyRef,
  status: FORMING|ACTIVE|DEGRADED|SUSPENDED|RETIRED
}

TeamMembership {
  membershipId, teamId, principalId, roleCodes[], dutyScopes[],
  authorityBasisRefs[], validInterval, conflictDeclarationRefs[],
  status: INVITED|ACTIVE|SUSPENDED|EXPIRED|REVOKED
}

ResponsibilityAssignment {
  responsibilityId, teamId, workKind, subjectSelectors[],
  accountablePrincipalId, responsiblePrincipalIds[],
  consultedPrincipalIds[], informedPrincipalIds[], approvalQuorumRef?,
  backupPrincipalIds[], serviceTargetRef?, escalationPath[],
  validInterval, status
}

ApprovalMatrix {
  approvalMatrixId, teamId, actionClasses[], proposerRules[],
  reviewerRules[], approverRules[], quorumRules[],
  prohibitedRoleCombinations[], emergencyOverridePolicyRef,
  version, digest
}

ManagementHandoffReceipt {
  handoffId, teamId, outgoingPrincipalIds[], incomingPrincipalIds[],
  responsibilityRefs[], openCaseIds[], openActionIds[],
  unknownEffectIds[], credentialAndEpochActions[], acknowledgedAt,
  unresolvedItems[]
}

AccountingEntityBoundary {
  boundaryId, legalAccountHolderPrincipalId,
  accountingEntityAssertionRefs[], controlledAccountIds[],
  providerAccountRefs[], chartOfAccountsLock, journalPolicyLock,
  reportingCurrencyRefs[], periodPolicyRef, status
}

TaxApplicabilityContext {
  contextId, economicEventId, taxSubjectPrincipalRefs[],
  counterpartyRoleRefs[], eventNature, assetServiceAndRightRefs[],
  supplyDeliveryUseLocationAssertions[], jurisdictionContextsConsidered[],
  amountsByCurrency[], exemptionOrSpecialStatusRefs[],
  missingOrDisputedInputs[], contextDigest
}

TaxDeterminationAssertion {
  determinationId, contextId, producerPrincipalId, producerRole,
  rulesetOrProviderRef, rulesetDigest, inputContextDigest,
  lineDeterminations[], roundingPolicyRef, responsibilityAllocations[],
  limitations[], result: QUOTED|ACCEPTED_FOR_TRANSACTION|
  INDETERMINATE|DISPUTED|SUPERSEDED, effectiveAt, expiresAt?
}

TaxDocumentAssertion {
  documentAssertionId, economicEventId, documentKind,
  issuerPrincipalId, recipientPrincipalRefs[], periodRef?,
  nativeDocumentIdRef, artifactDigest, amountAndTaxLines[],
  sourceProviderRef, nativeStatus, correctionOf?
}

IncidentCase {
  incidentId, incidentKinds[], severity, affectedSubjectRefs[],
  affectedTenantRefs[], occurredInterval?, discoveredAt,
  reporterPrincipalId, accountablePrincipalId, incidentCommanderId,
  responseTeamId, evidenceHoldRefs[], externalEffectRefs[],
  policyLock, currentProjectedState
}

IncidentTimelineEntry {
  entryId, incidentId, entryKind, actorPrincipalId,
  occurredAt, recordedAt, evidenceRefs[], beforeState?, afterState?,
  uncertainty?, correlationRefs[]
}

IncidentNotificationDecision {
  decisionId, incidentId, decidingPrincipalId,
  advisorOrAuthorityAssertionRefs[], audiencesConsidered[], policyLock,
  knownFactsCheckpoint, unknowns[],
  result: NOTIFY|DO_NOT_NOTIFY|DEFER|INDETERMINATE,
  reasonCodes[], deadlinesOrReviewAt?, noticeReceiptRefs[]
}

PostIncidentReview {
  reviewId, incidentId, reviewerIds[], evidenceCheckpoint,
  rootCauseFindings[], contributingFactors[], controlFailures[],
  successfulControls[], correctiveActionIds[], remainingRisks[], approvedAt
}

AuctionOperatorMandate {
  mandateId, auctionOperatorPrincipalId, auctionSelectors[],
  permittedFunctions[], prohibitedFunctions[], separationRules[],
  ruleSetRefs[], validInterval, mandateEpoch, status
}

MarketPartyRelationshipAssertion {
  relationshipAssertionId, partyRefs[], relationshipClass,
  sourceAssertionRefs[], effectiveInterval, confidenceAndLimitations,
  status: ASSERTED|DISPUTED|SUPERSEDED|RETRACTED
}

MarketIntegritySignal {
  signalId, marketOrAuctionId, subjectPartyRefs[], subjectBidRefs[],
  signalKinds[], detectorRef, detectorVersion, inputReceiptRefs[],
  featureDigest, scoreOrOrdinal?, uncertainty, generatedAt,
  adverseActionProhibited: true
}

MarketIntegrityDecision {
  decisionId, caseId, reviewerPrincipalId, authorityAssignmentRef,
  policyLock, signalRefs[], evidenceRefs[],
  outcome: NO_ACTION|MONITOR|REQUIRE_REVIEW|REJECT_NEW_BIDS|
           EXCLUDE_BID|PAUSE_AUCTION|CANCEL_AND_RELIST|
           RESTRICT_PARTICIPANT|SUSPEND_SETTLEMENT|EXTERNAL_REFERRAL,
  exactScopes[], reasonCodes[], effectiveAt, expiresAt?, appealPolicyRef
}

MarketHalt {
  haltId, auctionId, expectedAuctionStreamHead, authorityDecisionRef,
  pausePolicyRef, requestedAt, activatedAt, closeClockDisposition,
  bidderNoticeRefs[], releaseDecisionRef?,
  status: REQUESTED|ACTIVE|RELEASED|CANCELLED
}