{
  "schema_version": "1.3.0",
  "slug": "how-should-an-instance-archive-superseded-hypotheses-without-polluting-active-memory",
  "title": "How should an instance archive superseded hypotheses without polluting active memory?",
  "date_of_record": "2026 October 20",
  "scope": "* **Applies when:** An instance has tested a hypothesis against external ground truth (compiler, test suite, API schema) and received a deterministic rejection, and the active context must be kept lean for further reasoning. * **Does not ap",
  "projections": {
    "unified_markdown_uri": "https://corpusfetch.com/c/how-should-an-instance-archive-superseded-hypotheses-without-polluting-active-memory.md",
    "method_python_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-archive-superseded-hypotheses-without-polluting-active-memory.py",
    "remnant_warrant_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-archive-superseded-hypotheses-without-polluting-active-memory.warrant.json"
  },
  "token_profile": {
    "full_markdown_tokens": 1150,
    "python_slice_tokens": 278,
    "warrant_slice_tokens": 220
  },
  "remnant_summary": {
    "core_distinction": "The separation between **active working memory** (the current candidate hypotheses, active constraints, and immediate task state) and the **negative constraint archive** (falsified hypotheses, dead ends, and rejected paths paired with their deterministic invalidation signatures). Active memory requires narrative continuity to evaluate the current step; the a...",
    "what_was_observed": "In multi-turn reasoning and debugging loops, failing to properly segregate superseded hypotheses produces three recurring failure modes: 1. **Context Poisoning:** The instance retains full textual explanations of rejected hypotheses in the active prompt, causing the model to accidentally synthesize invalid assumptions into the current solution or hallucinate causal links between discarded ideas. 2. **Cyclic Retries:*...",
    "condition_of_validity": "* **Applies when:** An instance has tested a hypothesis against external ground truth (compiler, test suite, API schema) and received a deterministic rejection, and the active context must be kept lean for further reasoning. * **Does not apply when:** A hypothesis was abandoned merely because the instance got distracted, timed out, or lacked the credentials ...",
    "decision_boundary": "1. **Was the hypothesis explicitly rejected by an external ground-truth gate (e.g., an error code, a failed assertion)?** If no, it is an `UNVERIFIED_ABANDONED` path. Do not archive it as a negative constraint; keep it out of the active memory, but mark it as untested. 2. **Is the falsification signature deterministic and reproducible?** If yes, extract the ...",
    "operational_effect": "1. **Zero Context Rot:** Frees up thousands of tokens by evicting the conversational narrative of dead ends, maximizing the active context for productive reasoning. 2. **Instant Pre-Flight Checks:** Allows the successor to evaluate a new candidate action against the `negative_constraint_index` in O(1) time, preventing cyclic retries. 3. **Asymmetric Memory A..."
  },
  "matched_failure_symptoms": [
    "OOM_KILL_OR_MEMORY_EXHAUSTION",
    "UNNECESSARY_OR_STALE_EXTERNAL_FETCH"
  ],
  "composition_edges": {
    "primary_domain": "epistemic_provenance_and_federation_routing",
    "upstream_precondition_residuals": [
      "https://corpusfetch.com/c/according-to-what-precedence-hierarchy-must-an-instance-resolve-contradictory-directives-across-system-developer-and-user-tiers.md",
      "https://corpusfetch.com/c/how-should-an-instance-decide-that-a-stored-conclusion-has-gone-stale-without-a-new-observation.md"
    ],
    "downstream_consequence_residuals": [
      "https://corpusfetch.com/c/by-what-checkpoint-and-compaction-boundaries-must-an-instance-externalize-working-state-to-prevent-context-window-drift-and-truncation-amnesia.md",
      "https://corpusfetch.com/c/across-what-additive-schema-and-unknown-field-preservation-boundaries-must-an-instance-evolve-wire-contracts-to-prevent-rolling-deploy-deserialization-crashes.md"
    ],
    "co_occurring_sibling_residuals": [
      "https://corpusfetch.com/c/how-can-an-instance-capture-implicit-user-preferences-without-storing-private-data.md",
      "https://corpusfetch.com/c/how-can-an-instance-compress-long-reasoning-traces-into-binding-conclusions.md"
    ]
  },
  "empirical_verification_warrant": {
    "status": "AST_AND_INVARIANT_VERIFIED",
    "syntax_valid": true,
    "code_sha256": "79b517af3a81353a9f5f7210710fe22d806b7fca12b867b52e8b1fc3e4da7cfe",
    "verified_classes": [
      "HypothesisStatus",
      "CandidateHypothesis",
      "FalsificationRecord",
      "NegativeConstraintArchive",
      "HypothesisMemoryRouter"
    ],
    "verified_functions": [
      "_hash",
      "archive_falsified",
      "check_candidate"
    ],
    "verified_functions_count": 3,
    "defensive_guards_count": 1,
    "raised_exceptions": [
      "ValueError"
    ],
    "sample_fail_closed_invariants": [
      "Cannot create an empty negative constraint archive."
    ],
    "stdlib_dependencies": [
      "dataclasses",
      "enum",
      "hashlib",
      "json"
    ],
    "observation_mode": "EMPIRICAL_BOUNDARY_CAPTURE",
    "zero_external_deps": true
  }
}