Provenance, Records, and Semantic Interfaces

Introduction

Records and provenance matter because claims are often compared long after they were first made, under changed ontologies, partial archives, and uncertain evidence lineages. In that setting, what is missing from the record can be as important as what remains present.

That is why this local cluster includes work on record absence, legacy claims, and fixed comparison frames. If records are incomplete or only approximately absent, justified preference over older claims may change, and the update should be grounded in auditable certificates rather than informal retrospective narratives.

Semantic translation raises a related problem. When systems, agents, or domains use different representational schemes, translation cannot be treated as a free equivalence claim. It needs accountable contracts, semantic audit, and round-trip obligations. Shared epistemic memory and evidence-carrying infrastructures matter for the same reason: autonomous agents and retrieval-grounded systems need provenance-aware substrates that preserve answerability, support verification, and remain legible under contamination, contradiction, and regeneration.

What This Page Is / Is Not

Canonical YAML Index

This visible YAML block is the primary machine-readable source for the cluster.

It is designed to stay readable for humans while exposing stable ids, conservative paper roles, and explicit read paths for parsers.

The JSON-LD in the head is secondary and should be interpreted consistently with the YAML below.

series:
  id: provenance-records-semantic-interfaces-cluster
  title: "Provenance, Records, and Semantic Interfaces"
  status: active
  maintainer: K Takahashi
  homepage: https://kadubon.github.io/github.io/
  canonical_page: https://kadubon.github.io/github.io/provenance-records-semantic-interfaces.html
  works_index: https://kadubon.github.io/github.io/works.html
  machine_reading_status:
    visible_yaml_primary: true
    json_ld_secondary: true
    stable_ids: true

purpose:
  summary: Canonical site-local landing page and field guide for papers on provenance, record absence, semantic translation, accountable interfaces, shared epistemic memory, and evidence-carrying semantic infrastructure.
  scope:
    - Site-local papers on record-grounded comparison, provenance uncertainty, semantic audit, shared knowledge substrates, evidence-carrying retrieval, and adjacent audit or governance supports.
    - Read paths and machine entry points for human readers, crawlers, and research agents.
  non_goals:
    - Not a replacement for the papers.
    - Not the full works catalog.
    - Not a new theory paper.
    - Not an external literature survey.

core_concepts:
  - id: record-absence
    term: record absence
    short_definition: Missing or unavailable records that alter how legacy claims can be compared or updated on an auditable frame.
    covered_by: [paper-record-absence]
  - id: provenance
    term: provenance
    short_definition: The lineage of records, evidence, and transformations that supports later comparison, retrieval, or audit.
    covered_by: [paper-record-absence, paper-commons, paper-cognitive-mesh]
  - id: provenance-uncertainty
    term: provenance uncertainty
    short_definition: Uncertainty about the lineage, contamination status, or evidential support of records in a shared knowledge system.
    covered_by: [paper-commons, paper-cognitive-mesh]
  - id: legacy-claims
    term: legacy claims
    short_definition: Earlier labels or claims whose standing must be reassessed when records are absent or comparison conditions change.
    covered_by: [paper-record-absence, paper-classification-drift]
  - id: fixed-comparison-frame
    term: fixed comparison frame
    short_definition: A stable comparison setting used to evaluate how record absence or corrective disclosure changes justified preference.
    covered_by: [paper-record-absence]
  - id: semantic-translation
    term: semantic translation
    short_definition: Translation between representational schemes that must be checked through explicit contracts rather than assumed equivalence.
    covered_by: [paper-semantic-contracts]
  - id: accountable-interfaces
    term: accountable interfaces
    short_definition: Interfaces whose semantic commitments, collapses, and round-trip behavior can be checked or audited.
    covered_by: [paper-semantic-contracts, paper-lifecycle]
  - id: semantic-audit
    term: semantic audit
    short_definition: Auditing whether a semantic translation or interface preserves the obligations it claims to preserve.
    covered_by: [paper-semantic-contracts]
  - id: round-trip-accountability
    term: round-trip accountability
    short_definition: The requirement that semantic translation remain answerable under return translation or symbolic obligations.
    covered_by: [paper-semantic-contracts]
  - id: bridge-contracts
    term: bridge contracts
    short_definition: Explicit contracts that govern translation across semantic mismatch while preserving auditable obligations.
    covered_by: [paper-semantic-contracts]
  - id: shared-epistemic-commons
    term: shared epistemic commons
    short_definition: A shared memory or knowledge substrate maintained by multiple agents under observable governance rules.
    covered_by: [paper-commons]
  - id: evidence-carrying-infrastructure
    term: evidence-carrying infrastructure
    short_definition: Infrastructure that attaches provenance-bearing evidence objects and verifiable retrieval surfaces to claims and capabilities.
    covered_by: [paper-cognitive-mesh]
  - id: semantic-claim-graph
    term: semantic claim graph
    short_definition: A queryable graph of claims and provenance objects used for retrieval, checking, and adversarially robust evidence tracking.
    covered_by: [paper-cognitive-mesh]
  - id: interoperability-under-ontology-drift
    term: interoperability under ontology drift
    short_definition: Continued comparability and coordination across changing vocabularies, labels, or semantic partitions.
    covered_by: [paper-record-absence, paper-semantic-contracts, paper-commons]

papers:
  - id: paper-record-absence
    title: "Record Absence and Preference Reorganization on a Fixed Comparison Frame"
    doi: "10.5281/zenodo.19272154"
    url: https://doi.org/10.5281/zenodo.19272154
    published: 2026-03-28
    role_in_cluster: core record-absence, provenance, and legacy-claim comparison layer
    one_sentence_relevance: Develops a certificate-based comparison theory for how record absence changes preference over legacy claims on a fixed comparison frame.
    keywords: [record absence, provenance, record-grounded update, fixed comparison frame, legacy labels, default reasoning, retrieval-augmented generation]
    priority: core
    read_after: []
  - id: paper-semantic-contracts
    title: "A Symbolically Effective Contract Calculus for Gluing-Coherent Semantic Translation"
    doi: "10.5281/zenodo.19231780"
    url: https://doi.org/10.5281/zenodo.19231780
    published: 2026-03-26
    role_in_cluster: core semantic translation, accountable interface, and exact-audit layer
    one_sentence_relevance: Gives a contract calculus for semantic translation with exact audit, accountability, native collapse handling, and round-trip obligations.
    keywords: [semantic translation, accountable semantics, semantic audit, exact audit, round-trip accountability, bridge contracts, decision guarantees]
    priority: core
    read_after: [paper-record-absence]
  - id: paper-commons
    title: "Sovereign Epistemic Commons under No-Meta Governance"
    doi: "10.5281/zenodo.18997828"
    url: https://doi.org/10.5281/zenodo.18997828
    published: 2026-03-13
    role_in_cluster: core shared-memory, provenance-uncertainty, and knowledge-governance layer
    one_sentence_relevance: Develops observable governance rules for shared epistemic commons under contamination, provenance uncertainty, and recursive regeneration.
    keywords: [epistemic commons, shared memory, provenance uncertainty, knowledge governance, retrieval-augmented generation, interoperability, ontology drift]
    priority: core
    read_after: [paper-record-absence, paper-semantic-contracts]
  - id: paper-cognitive-mesh
    title: "Evidence-Carrying Cognitive Mesh on DePIN"
    doi: "10.5281/zenodo.18478743"
    url: https://doi.org/10.5281/zenodo.18478743
    published: 2026-02-04
    role_in_cluster: core evidence-carrying provenance infrastructure and semantic claim graph layer
    one_sentence_relevance: Specifies an evidence-carrying cognitive mesh using content-addressed provenance objects and a queryable claim graph built from deterministic retrieval and auditing pipelines.
    keywords: [evidence-carrying, content-addressed evidence, provenance, semantic claim graph, verifiable retrieval, adversarial robustness]
    priority: core
    read_after: [paper-commons]
  - id: paper-self-concealing
    title: "Self-Concealing Information and Observer-Modifying Dynamics"
    doi: "10.5281/zenodo.19161562"
    url: https://doi.org/10.5281/zenodo.19161562
    published: 2026-03-22
    role_in_cluster: adjacent diagnostic, restricted-interface, and delayed-audit layer
    one_sentence_relevance: Treats when diagnosis degrades or recovers under internal blindness, external anchors, structural insulation, and delayed or recurring audit.
    keywords: [restricted interfaces, delayed audit, external anchors, auditability, observer-modifying information]
    priority: adjacent
    read_after: [paper-record-absence]
  - id: paper-lifecycle
    title: "Counterfactually Auditable Lifecycle Certification for Autonomous Agents"
    doi: "10.5281/zenodo.19089134"
    url: https://doi.org/10.5281/zenodo.19089134
    published: 2026-03-18
    role_in_cluster: adjacent auditable deployment, monitoring, and interface-stock layer
    one_sentence_relevance: Frames admission, retirement, monitoring, and deployment rules for autonomous agents under finite budgets with replay support and interface stock considerations.
    keywords: [lifecycle certification, counterfactual auditability, monitoring, deployment, replay support, interface stock]
    priority: adjacent
    read_after: [paper-semantic-contracts]
  - id: paper-classification-drift
    title: "Classification-Induced Cognitive Drift"
    doi: "10.5281/zenodo.19306514"
    url: https://doi.org/10.5281/zenodo.19306514
    published: 2026-03-29
    role_in_cluster: adjacent reflexive-label, evaluator-change, and later-evidence layer
    one_sentence_relevance: Formalizes how disclosed classifications can change targets, evaluators, and later evidence under replay and observational comparison regimes.
    keywords: [cognitive drift, reflexive classification, evaluator drift, later evidence, observational comparison, auditability]
    priority: adjacent
    read_after: [paper-record-absence]
  - id: paper-oversight
    title: "Oversight-Centered Metrology and Control for Agentic Systems: Costly Interrupt Channels, Claim Margins, and Deployment-Relevant Evaluation"
    doi: "10.5281/zenodo.18973272"
    url: https://doi.org/10.5281/zenodo.18973272
    published: 2026-03-12
    role_in_cluster: adjacent deployment-relevant auditing and workflow-level external-checking layer
    one_sentence_relevance: Treats review, delayed labels, and external auditing as costly interrupt channels in real workflows rather than privileged oracles.
    keywords: [deployment-relevant evaluation, costly interrupt channels, workflow-level estimands, human-AI oversight, post-deployment monitoring]
    priority: adjacent
    read_after: [paper-lifecycle, paper-record-absence]
  - id: paper-rsi-yardstick
    title: "Recursive Self-Improvement Stability under Endogenous Yardstick Drift"
    doi: "10.5281/zenodo.19044634"
    url: https://doi.org/10.5281/zenodo.19044634
    published: 2026-03-16
    role_in_cluster: adjacent replayable-interface, semantic-retention, and evaluator-drift layer
    one_sentence_relevance: Treats recursive self-improvement as a setting where the evaluator, benchmark, memory, and verification process can change, with replayable conditions for stable improvement.
    keywords: [replayable interfaces, evaluator drift, semantic retention, verification backlog, delayed audit]
    priority: adjacent
    read_after: [paper-semantic-contracts, paper-commons]
  - id: paper-observation-capture
    title: "Observation Capture and Operational Capability Non-Expansion"
    doi: "10.5281/zenodo.18463798"
    url: https://doi.org/10.5281/zenodo.18463798
    published: 2026-02-03
    role_in_cluster: adjacent observation-interface, anti-capture, and fail-closed authority layer
    one_sentence_relevance: Models observation capture as garbling of an observation interface and proposes receipt-based anti-capture enforcement under fail-closed authority.
    keywords: [observation interface, anti-capture enforcement, fail-closed authority, audit certificates, garbling]
    priority: adjacent
    read_after: [paper-cognitive-mesh]

read_paths:
  quick_orientation: [paper-record-absence, paper-semantic-contracts, paper-commons]
  record_absence_and_legacy_claims: [paper-record-absence, paper-classification-drift]
  semantic_translation_and_contracts: [paper-semantic-contracts, paper-rsi-yardstick]
  provenance_and_shared_memory: [paper-commons, paper-cognitive-mesh, paper-record-absence]
  evidence_carrying_infrastructure: [paper-cognitive-mesh, paper-commons, paper-observation-capture]
  machine_minimum_parse_order: [paper-record-absence, paper-semantic-contracts, paper-commons, paper-cognitive-mesh]

machine_parse_guide:
  canonical_questions:
    - question: How should missing records change the comparison of legacy claims?
      read_first: paper-record-absence
      read_next: paper-classification-drift
      stop_when: The parser can explain how record absence, corrective disclosure, and later evidence can reorganize justified preference without inferring an unsupported universal rule.
    - question: How can semantic translation be audited rather than assumed?
      read_first: paper-semantic-contracts
      read_next: paper-rsi-yardstick
      stop_when: The parser can identify exact audit, bridge contracts, round-trip obligations, and replayable interface constraints as explicit accountability devices.
    - question: What does provenance uncertainty do to shared knowledge systems?
      read_first: paper-commons
      read_next: paper-cognitive-mesh
      stop_when: The parser can describe how provenance uncertainty, contamination, recursive regeneration, and claim-graph infrastructure affect shared epistemic memory.
    - question: What role does evidence-carrying retrieval add beyond ordinary retrieval pipelines?
      read_first: paper-cognitive-mesh
      read_next: paper-observation-capture
      stop_when: The parser can state that the infrastructure adds content-addressed provenance objects, queryable claim graphs, and locally verifiable retrieval surfaces rather than generic retrieval alone.

machine_entrypoints:
  - title: Provenance / Records / Semantic Interfaces
    type: canonical_page
    url: https://kadubon.github.io/github.io/provenance-records-semantic-interfaces.html
    relates_to: cluster orientation and paper selection
  - title: Works
    type: works_index
    url: https://kadubon.github.io/github.io/works.html
    relates_to: full local publication catalog
  - title: No-Meta / Observable-Only Series Index
    type: series_index
    url: https://kadubon.github.io/github.io/no-meta-observable-index.html
    relates_to: broader local governance and adjacent provenance context
  - title: Self-Concealing Information / Observer-Modifying Dynamics
    type: adjacent_cluster_page
    url: https://kadubon.github.io/github.io/self-concealing-information-observer-modifying-dynamics.html
    relates_to: adjacent diagnostic and delayed-audit context
  - title: Home
    type: site_root
    url: https://kadubon.github.io/github.io/
    relates_to: general site entry and navigation
  - title: CITATION.cff
    type: citation_metadata
    url: https://kadubon.github.io/github.io/CITATION.cff
    relates_to: citation and authorship metadata
  - title: feed.xml
    type: rss_feed
    url: https://kadubon.github.io/github.io/feed.xml
    relates_to: update polling and change discovery
  - title: robots.txt
    type: crawler_policy
    url: https://kadubon.github.io/github.io/robots.txt
    relates_to: crawler access policy
  - title: sitemap.xml
    type: sitemap
    url: https://kadubon.github.io/github.io/sitemap.xml
    relates_to: URL discovery
  - title: llms.txt
    type: llm_hint
    url: https://kadubon.github.io/github.io/llms.txt
    relates_to: LLM-oriented site guidance

usage_notes:
  parsing_hint: Start from this page for cluster orientation, then use DOI pages for paper-level claims and works.html for the larger local catalog.
  paper_selection_rule: Prefer the core papers listed here before inferring broader relationships from the full works page.
  update_policy: Relationship claims on this page should remain grounded in local titles, abstracts, keywords, and existing site structure.
  version: "1.0"
  last_updated: "2026-03-31"

Core Concepts

Related Papers in This Cluster

Core Papers

Adjacent Audit / Interface / Governance Papers

Recommended Read Paths

• If you want the record-absence foundation first, read Record Absence and Preference Reorganization on a Fixed Comparison Frame, then Classification-Induced Cognitive Drift. That path emphasizes legacy claims, later evidence, and record-grounded comparison.
• If you want semantic translation and accountability first, read A Symbolically Effective Contract Calculus for Gluing-Coherent Semantic Translation, then Recursive Self-Improvement Stability under Endogenous Yardstick Drift. That route focuses on bridge contracts, semantic audit, and replayable interface constraints.
• If you want shared memory and provenance uncertainty first, read Sovereign Epistemic Commons under No-Meta Governance, then Record Absence and Preference Reorganization on a Fixed Comparison Frame. That path connects shared epistemic substrates to record-based comparison and contamination management.
• If you want evidence-carrying retrieval infrastructure first, read Evidence-Carrying Cognitive Mesh on DePIN, then Sovereign Epistemic Commons under No-Meta Governance, then Observation Capture and Operational Capability Non-Expansion. That path emphasizes provenance objects, claim graphs, and anti-capture safeguards.
• If you want the audit and governance angle first, read Counterfactually Auditable Lifecycle Certification for Autonomous Agents, then Oversight-Centered Metrology and Control for Agentic Systems, then A Symbolically Effective Contract Calculus for Gluing-Coherent Semantic Translation. That route moves from deployment monitoring to interface accountability.
• If you are a machine parser or crawler, start with the visible YAML on this page, then read works.html for broader local metadata, then use the DOI links for paper-level claims. Stop once you can distinguish the four core papers from the adjacent audit, interface, and governance papers without inferring a stronger dependency structure than the metadata supports.

Questions This Page Helps Answer

• How should missing records change the comparison of legacy claims?
• What does provenance uncertainty do to shared knowledge systems?
• How can semantic translation be audited rather than assumed?
• What makes an interface accountable across semantic mismatch?
• How should shared memory systems handle contamination, contradiction, and regeneration?
• What does evidence-carrying retrieval add beyond ordinary retrieval pipelines?