WI-3: Compaction observers → revoke + runtime_generation auto-revoke #830
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
OPUS-SECREV MANDATORY (revocation/lifecycle surface).
Deliverable 3 (BUILD-BRIEF §3.3). Compaction observers → REVOKE: Claude
PreCompact+SessionStart(matcher=compact); Pisession_before_compact/contextequivalents. Anyruntime_generationbump (reload/resume/fork, same PID included) auto-revokes the prior incarnation (D4).Amended T-A threat contract (D2-v5, supersedes v3/v4): hard fail-closure holds when ≥1 compaction observer fires OR after lease expiry; dual-hook-miss within TTL = named BOUNDED RESIDUAL STALE WINDOW (disclosed, not silent), bounded by TTL (R5: 300s max, soak-tighten only) — do NOT claim the mutator gate bounds within-window actions. Total gate-hook miss = T-C.
ACs: T12b (prior VERIFIED → both hooks miss → within-TTL mutator ALLOWED, after-TTL DENIED — report BOTH); T30 dual-hook-miss matches the amended threat table within+after TTL. Depends on WI-1/WI-2; gated on WI-0 probe 3.
Authority (build AGAINST these, do not re-derive): BUILD-BRIEF
89fdbc27, SPEC-v5a6d07ade, RATIFICATIONbac58319, sol red-team3da326a4. Coder MUST re-verify sha256 before build. Target: framework-nativepackages/mosaic/inmosaicstack/stack(NOT jarvis-brain, NOT~/.config/mosaic/directly). M1 = Claude + Pi only.Review discipline: red-first TDD; author≠reviewer; no self-merge; exact-head RoR (reviewed-SHA=merged-SHA);
closes #<this>; full 40-char head; never edit tests to pass / never force-merge red / never--no-verify. Mos merges after review + green suite + (for security surfaces) Opus-SECREV.