{"id":"metrics-write-read-separation-is-structurally-complete","text":"Metrics achieves complete write-read structural separation: the write path uses frozen tag sets as immutable hash-safe keys with bisect insertion maintaining sorted temporal order, while the read path provides flexible subset matching for partial-tag queries and two-tier downsampling for bounded historical access — neither path compromises the other's invariants.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["metrics-indexing-separates-write-key-from-read-matching","metrics-sorted-invariant-survives-downsampling"],"outlist":[],"label":"write-path immutability and read-path flexibility are independently maintained"}],"dependents":["metrics-is-complete-write-read-exemplar"],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"metrics-write-read-separation-is-structurally-complete","truth_value":"IN","reason":"SL justification valid","antecedents":["metrics-indexing-separates-write-key-from-read-matching","metrics-sorted-invariant-survives-downsampling"],"label":"write-path immutability and read-path flexibility are independently maintained"},{"node":"metrics-indexing-separates-write-key-from-read-matching","truth_value":"IN","reason":"SL justification valid","antecedents":["metrics-series-keyed-by-frozen-tags","metrics-tag-matching-is-subset"],"label":"Frozen keys guarantee stable identity for storage while subset matching decouples query expressiveness from key structure"},{"node":"metrics-series-keyed-by-frozen-tags","truth_value":"IN","reason":"premise"},{"node":"metrics-tag-matching-is-subset","truth_value":"IN","reason":"premise"},{"node":"metrics-sorted-invariant-survives-downsampling","truth_value":"IN","reason":"SL justification valid","antecedents":["metrics-series-sorted-invariant","metrics-downsample-two-tier"],"label":"Sorted order is re-established after downsampling, not merely assumed to survive aggregation"},{"node":"metrics-series-sorted-invariant","truth_value":"IN","reason":"premise"},{"node":"metrics-downsample-two-tier","truth_value":"IN","reason":"premise"}]}}