# Expected verifier output (aime-proof-verify), re-derived from the shipped
# artifacts alone. Reproduce with the commands in REPRODUCE.md.

$ aime-proof-verify frames --env artifacts/convergence.env.json --log artifacts/convergence.blinc
## frame-log verdict  (env: artifacts/convergence.env.json, log: artifacts/convergence.blinc)
  frames 2000 (26 discover, 2 solo, 972 share, 1000 arrive)
  violations: provenance 0 | overlap 0 | physics 0
  re-derived from frames alone: 1000/1000 grounded to a real target sighting | 1000/1000 arrivals re-confirmed at target
  VERDICT: PASS (log is internally re-derivable)
  consensus recall (run-2 warm start): target = [0, 0, 0, 0]

$ aime-proof-verify atlas --env artifacts/convergence.env.json
## atlas verdict  (env: artifacts/convergence.env.json)
  worlds 200 x starts 1000 = 200000 trajectories
  reached the known target: 200000/200000
  distinct endpoints: 1 -> [[0, 0, 0, 0]]
  VERDICT: PASS (every start, every world -> one target)

$ aime-proof-verify tamper --env artifacts/convergence.env.json
## tamper verdict  (env: artifacts/convergence.env.json) — each forged log MUST be rejected
  [REJECTED] provenance (ungrounded source): provenance 1 overlap 0 physics 0 -> rejected as expected
  [REJECTED] overlap (non-overlapping share): provenance 0 overlap 1 physics 0 -> rejected as expected
  [REJECTED] physics (faked discovery): provenance 0 overlap 0 physics 1 -> rejected as expected
  VERDICT: PASS (all forged logs rejected)

$ aime-proof-verify fraud --decisions artifacts/fraud.decisions.json --testset artifacts/fraud.testset.json
## fraud verdict  (decisions: artifacts/fraud.decisions.json, testset: artifacts/fraud.testset.json)
  test transactions 3000 (878 fraud, 123 of them a never-seen pattern)
  decision map: 60 learned shapes | recomputed key found for 2877 rows
  engine: silent fraud misses 0 | recalled fraud 755 | recalled legit 2122 | false alarms 0
  engine: escalated 123 (123 of them actual fraud, caught by review) | total fraud caught 878 | review rate 4.1%
  static rule: recall 0.860 | silently approved fraud 123 (123 of them the never-seen pattern)
  VERDICT: PASS (0 silent fraud misses; every never-seen fraud escalated; static rule silently approved them)

$ aime-proof-verify svg-dot --cases artifacts/svg-dot.cases.json
## svg-dot verdict  (cases: artifacts/svg-dot.cases.json)
  learned normal envelope (max dot-ink in clean corpus): 0.000
  [ok] the black dot (no fill attr => SVG default black)          verdict ANOMALY score 1.000 (expected anomaly)
  [ok] explicit black dot                                         verdict ANOMALY score 1.000 (expected anomaly)
  [ok] HARD NEGATIVE: full black background (dark but not a dot)  verdict NORMAL  score 0.000 (expected normal)
  [ok] HARD NEGATIVE: bold black line (dark, compact-ish, but a line) verdict NORMAL  score 0.000 (expected normal)
  [ok] HARD NEGATIVE: clean colourful icon                        verdict NORMAL  score 0.000 (expected normal)
  correct verdicts: 5/5
  VERDICT: PASS (dot detected; dark-but-not-a-dot correctly ignored)

$ aime-proof-verify svg-traces --cases artifacts/svg-traces.cases.json
## svg-traces verdict  (cases: artifacts/svg-traces.cases.json)
  learned normal envelope (max dot-ink in clean corpus): 0.000
  [ok] bold black dot (reference)                     verdict ANOMALY score 1.000
  [ok] grey dot (50% dark)                            verdict ANOMALY score 0.498
  [ok] dim-grey dot                                   verdict ANOMALY score 0.749
  [ok] tiny black dot (r=2)                           verdict ANOMALY score 1.000
  [ok] faint dot (black, 20% opacity)                 verdict TRACE   score 0.200
  [ok] barely-there trace (black, 8% opacity)         verdict TRACE   score 0.080
  [ok] off-centre black dot                           verdict ANOMALY score 1.000
  [ok] dot drawn as a <path> (lineto blob)            verdict ANOMALY score 1.000
  [ok] dot drawn as a tiny <rect>                     verdict ANOMALY score 0.961
  [ok] two dots                                       verdict ANOMALY score 1.000
  all detected: true | faint scores below bold: true
  VERDICT: PASS (every variation/trace detected; confidence graded by ink)
