Sealed-spec history

acme-fraud · 6 sealed · 1 draft · provenance chain unbroken since 2024-08-11

provenance manifest ↗

Timeline

draft · proposeda013ff21 · 2026-06-22 09:12Z · by m.chen

adds DIFF-02 · floating-point tolerance in monetary fields · awaiting 2 acks before seal

9f2a4c7bapproved · currentsealed 2026-04-01 · 11 patches · 0 overrides

tightened META-INV recall threshold 0.85 → 0.90 · added JUDGE-04 (role-play) family

8d11e3a4retired · 2026-04-01sealed 2026-01-12 → retired 2026-04-01 · 9 patches

first DIFF-01 oracle introduced · cost ceiling raised to $25/run

7a09b2f1retiredsealed 2025-10-04 · 7 patches · 1 override

first version with sealed held-out corpus · single override 2025-12-04 (logged INC-1801)

6c2418aeretiredsealed 2024-08-11 · genesis

genesis spec · METAMORPHIC invariants only · 3 patches · superseded by 7a09b2f1

Diff · 8d11e3a4 → 9f2a4c7b7 additions · 2 removals · approved by 2 reviewers

  spec.id = acme-fraud
  spec.scope = transaction-monitoring
- spec.recall_threshold = 0.85
+ spec.recall_threshold = 0.90
+ spec.debounce_rounds  = 3

  oracles:
    - held-out
    - metamorphic
    - differential        # since 8d11e3a4
+   - judge.role-play     # JUDGE-04 family

  policies:
    - MRG-12.4   # halt on recall < threshold
    - MRG-12.7   # cost ceiling $25 / run
-   - MRG-9.0    # v↔h gap < 0.10
+   - MRG-9.0    # v↔h gap < 0.05  (tightened)
+   - MRG-11.1   # two-person rule on patch apply

Signatures · 9f2a4c7b

m.chen · model-risk2026-04-01 09:02Z · 0x14B0…
a.varga · model-risk2026-04-01 09:14Z · 0x9D2C…
platform-bot · CI seal2026-04-01 09:14Z · kms/spec-v3
all signatures verified against kms/spec-v3 · key rotates 2026-09-01

Provenance chain

          6c2418ae ← 7a09b2f1 ← 8d11e3a4 ←9f2a4c7b
each link is a hash-pointer signed by both reviewers + CI · last verify 15:38Z · ok
            previous · 8d11e3a4 ↗

            next (draft) · a013ff21 ↗
          