Agent-facing knowledgebases compute confidence and provenance at answer time, as properties of the re- sponse. This paper argues that is too late, and that the argument is not a matter of engineering quality: information about whether a claim is true enters through the primary record, and every later stage is a rendering of that record, so no downstream scoring can add a bit that the record did not already carry. Confidence computed from the exhibit has an evidential ceiling fixed before it runs.We describe the store that follows from taking that seriously. The substrate is an uncertainty-typed property hypergraph: every unit carries the same five fields, a knowledge type, provenance graded on a four-valued lattice and carrying a validity horizon, the condition under which the entry held, a version with its conflict history, and a confidence separated into write-time and serving-time quantities, and relations are hyperedges because the relations that matter in agent memory are irreducibly n-ary and reifying them into binary edges destroys exactly the structure later stages need. On that substrate we specify three mechanisms. Consolidation is gated on whether a merged region still decomposes into the inferences it was meant to support, a structural and label-free test that needs no paired QA data and no per-environment training. Conflict is preserved through four lifecycle primitives, demotion, supersession, revocation and invalidation, of which three share a single inverse transition and revocation deliberately has none. Retrieval returns a coverage-guaranteed evidence subgraph with the guarantee conditional on the type of edge retrieved rather than marginal over a query distribution, and it answers with three outcomes rather than one score: supported, insufficient, refuted.The paper’s most portable result is a criterion for when two memory mechanisms can affect each other at all: only where one writes a property of the store that the other reads, at a granularity they share. The criterion is checkable from the specifications before anything is built, it discriminates rather than merely predicting failure, and it carries a stated falsifier.