Skip to content

Program: finish the evidence-addressable run-scoped knowledge substrate #151

Description

@drewstone

Goal

Make agent-knowledge the only operational knowledge substrate for Discovery Lab and other Runtime applications, without absorbing provider execution or research policy.

The first implementation slice is on branch feat/external-lineage-qualified-citations: external lineage authority, scope-qualified page references, and explicit resolution outcomes.

Remaining owner work

Retrieval evidence

  • Canonical retrieval receipt containing run, actor, query, visible roots, algorithm/version, returned qualified references, content digests, scores, ranks, and time.
  • Downstream disposition linking a receipt to a claim, experiment, decision, rejection, contradiction, irrelevance judgment, or explicit no-use.
  • Deterministic export/import and digest.

Claim graph

  • First-class support, contradiction, supersession, and retraction relationships.
  • Preserve all sides of a dispute; no last-write-wins truth overwrite.
  • Referential-integrity and cycle checks with explicit unresolved states.
  • Freshness/validity that keeps stale history visible but prevents it satisfying readiness.

Promotion

  • Explicit run-scope → shared-scope promotion record.
  • Retain source run/reference/digest, reproductions, decision evidence, actor, reason, and later retraction/supersession.
  • Runs cannot write shared scope directly.
  • Promotion mutation tests and rollback.

Tool adapter

  • Provider-neutral search/read/record/resolve tools exported by Knowledge.
  • Runtime only transports authorized tool definitions and calls; no Knowledge execution loop.
  • Application supplies roots, lineage resolver, sensitivity policy, and effect authorization.

Migration support

  • Lossless import of Discovery Lab's retained page/frontmatter fields.
  • Frozen-corpus parity suite for visibility, search, evidence verdicts, citation resolution, concurrency, path safety, and round trips.
  • Historical bare-id compatibility reports ambiguity and never silently chooses a scope.

Acceptance

A process can restart in another checkout, load a retained run bundle, resolve every consequential citation to the same scoped page bytes, identify which retrieval influenced which decision, preserve contradictions and stale evidence, and promote nothing without an explicit record.

This issue is complete only after Discovery Lab switches new writes to this package and deletes its local page, lineage, search, citation, evidence, and promotion implementation.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions