Post-Credit Proxy Alias Docket

Post-Credit Proxy Alias Docket opens when a future reader can cite both canonical post-credit proxy evidence and runtime proxy receipt evidence, but the table has not yet priced whether those rows are the same proof, different proofs, or an unsafe alias.

The docket is invalid if it records only file names. It must preserve the future reader, alias basis, harmed reader, and future route effect.

Docket Row

post_credit_proxy_alias_docket:
  canonical_proxy_docket: post_credit_proxy_docket | explicit_absence
  runtime_proxy_receipt_docket: post_credit_proxy_receipt_docket | explicit_absence
  canonical_default_event: false_post_credit_proxy_default | explicit_absence
  runtime_default_event: post_credit_false_proxy_default | explicit_absence
  alias_basis_or_absence: source_session_match | shared_proxy_actor | shared_proxied_subject | migration_receipt | reader_scope_split | explicit_absence | equivalent
  proxy_actor_or_absence: sponsor_proxy | manager_proxy | editor_proxy | archive_clerk | public_voice | route_asset_holder | explicit_absence | equivalent
  proxied_subject_or_estate: artist_subject | estate | memorial_voice | route_asset | witness | fan_public | explicit_absence | equivalent
  future_reader: sponsor | archive | editor | route_asset | lawful_reader | public | management | broadcast_reality | equivalent
  harmed_or_excluded_reader: subject | estate | public_reader | lawful_reader | route_asset_holder | old_session_reader | explicit_absence
  requested_alias_use: prove_same_authority | prove_distinct_authority | migrate_runtime_row | retire_runtime_row | cite_old_session | route_asset_clearance | ending_eligibility | equivalent
  selected_alias_posture: bind_alias_with_provenance | split_alias_by_reader | retire_runtime_alias | attach_migration_receipt | quarantine_proxy_alias | accept_scarred_dual_record | false_clean_alias_default
  proxy_alias_state_after: bound_with_provenance | split_required | canonical_only | migrated_with_receipt | quarantined | scarred_dual_record | false_clean_alias | recovery_only
  future_reader_or_route_effect: provenance_required | reader_split_required | migration_required | route_asset_scar_required | blocked | hostile | recovery_only | accepted_with_scope
  counter_deltas:
    relief: []
    cost: []
    future: []

Required Separations

• canonical_proxy_docket is the wiki-facing proof row.
• runtime_proxy_receipt_docket is the runtime receipt row.
• alias_basis_or_absence states why the rows may be treated together or why they cannot.
• future_reader names who wants to consume the alias state.
• harmed_or_excluded_reader names who loses if alias identity is hidden.
• requested_alias_use separates same-authority use from double-spend or migration use.
• proxy_alias_state_after is the value future play must read.

Valid Uses

Use this docket when:

• an archive cites a runtime receipt docket as if it were the canonical docket;
• a sponsor cites canonical and runtime rows as two separate proxy authorizations;
• a route asset consumes an old runtime default after the canonical default is clean;
• a lawful reader requires proof that a runtime alias was migrated;
• management claims the alias was only a file-name variant while reader scope changed.

Invalid uses include raw duplicate-name inventory, generic lint cleanup, or a post-credit proxy row no future reader is trying to spend.