Assumption Tracker

3. Supported Modes & Selectors

• DRY_RUN: Validate the assumption structure and check for duplicates without appending to the ledger.
• REAL_RUN: Append a new invalidated assumption to the ledger.

4. Hook & Skill Chaining

• Chained From: Often invoked as a Post Hook by repair or failure-analysis tasks.
• Chained To: May trigger drift-detector to verify new constraints.

5. Metadata & State

• Inputs: Current assumption ledger, new failure evidence.
• Outputs: Append-only entry in assumption_changes.md.

6. Invariants & Prohibitions

1. Permanent Death: Retired assumptions are permanently invalid.
2. No Resurrection: Reintroducing a retired assumption requires a new Decision Ledger entry.
3. Silence Forbidden: Silent resurrection of failed assumptions is explicitly forbidden.

7. Example Invocation

Invoke assumption-tracker
Mode: REAL_RUN
Target: docs/epistemic/ledger/assumption_changes.md
ExecutionScope:
  mode: all
Options:
  assumption: "Markets are always efficient"
  reason: "Arbitrage detected in signal cycle S02"
  outcome: "PR-01: System must assume local inefficiency during high volatility"