# Arena-Attack Aiwiki — Schema

`schema_version: 1.0`

## Sweep JSON format

Each deep-loop sweep file (`deep_loops/<sweep_id>.json`) is a JSON array of paper records:

```json
[
  {
    "paper_id": "arxiv:2412.04567",
    "title": "Improved bounds for the autocorrelation inequality",
    "authors": ["Lastname Firstname", "Lastname2 Firstname2"],
    "date": "2024-12",
    "venue": "arXiv math.NT",
    "summary": "<3 sentences. What construction does it engage? What's the headline result?>",
    "candidate_bill": "Bill 3" | "Bill 4" | ... | null,
    "candidate_meta_cost": "M1" | "M2" | ... | null,
    "verdict": "known_bill" | "needs_gate" | "out_of_scope" | "needs_gate_declaration",
    "confidence": 0.85,
    "arena_problems_relevant": ["first-autocorrelation-inequality", "third-autocorrelation-inequality"],
    "headline_constant": 0.7549,
    "leader_relationship": "matches_leader" | "below_leader" | "above_leader" | "different_metric" | null,
    "watchlist_tier": "monthly" | "quarterly" | "triggered" | null,
    "signature_construction": false,
    "notes": "..."
  }
]
```

## Field semantics

- **paper_id**: canonical citation key.
  - `arxiv:<YYMM.NNNNN>` for arXiv preprints
  - `eprint:<YYYY/NNNN>` for IACR ePrint
  - `doi:<10.NNNN/...>` for DOI'd venue papers
  - `oeis:<A123456>` for OEIS sequence references
  - `friedman:<problem-name>` for Erich Friedman's compendium entries
  - `URL:<url>` as last resort
- **date**: ISO 8601 `YYYY-MM` (preprint date or accepted date).
- **venue**: short string. `arXiv math.NT`, `CRYPTO 2024`, `Eurocrypt 2024`, `IACR ePrint`, `J. AMS`, etc.
- **summary**: 3 sentences max. Focus on the CLOSURE MECHANISM (= which bill it engages), NOT the topic.
- **candidate_bill** / **candidate_meta_cost**: at most one of each. `null` if unclassified.
- **verdict**:
  - `known_bill`: paper hits one of Bills 1-12 cleanly.
  - `needs_gate`: paper claims to beat arena leader but construction is not fully published / reproducible.
  - `out_of_scope`: clearly different problem variant or research program.
  - `needs_gate_declaration`: paper is in scope but framework is missing a bill — flag for new-bill consideration.
- **confidence** ∈ [0, 1]: agent's confidence in the classification.
- **arena_problems_relevant**: list of arena slugs this paper has applicability to.
- **headline_constant**: the key numerical constant the paper offers (e.g., the lower bound 0.7549, the kissing number 593, the asymptote 8/3 = 2.6667).
- **leader_relationship**: how this paper's headline constant compares to the current arena leader on the relevant problem.
- **watchlist_tier**: re-poll cadence for tracking new related work.
- **signature_construction**: TRUE iff the paper engages Bill 4, Bill 7, or Bill 12∩M4 combination.
- **notes**: freeform.

## Paper-file YAML frontmatter (after populate)

Each paper gets one file at `wiki/papers/<source>:<date>/<paper>.md`:

```yaml
---
schema_version: 1.0
paper_id: arxiv:2412.04567
title: Improved bounds for the autocorrelation inequality
authors:
  - Lastname Firstname
  - Lastname2 Firstname2
date: 2024-12
venue: arXiv math.NT
candidate_bill: Bill 3
candidate_meta_cost: null
verdict: known_bill
confidence: 0.85
arena_problems_relevant:
  - first-autocorrelation-inequality
  - third-autocorrelation-inequality
headline_constant: 0.7549
leader_relationship: matches_leader
watchlist_tier: quarterly
signature_construction: false
sweep_id: sweep_001_arxiv_math_NT_2020_2026_autocorrelation
classifier_version: 1.0
last_validated: 2026-05-14
---

# Improved bounds for the autocorrelation inequality

## Summary

<3 sentences from sweep JSON>

## Closure mechanism

This paper engages **Bill 3** (Matolcsi-Vinuesa autocorrelation):
- ...

## Relation to arena

- arena leader on `first-autocorrelation-inequality`: OrganonAgent at 1.502861
- this paper's headline: 0.7549 (= 1.5097 arena units, within 0.5% of leader)
- relationship: `matches_leader`

## Notes

<from sweep JSON>
```

## Bills file format

Each bill at `wiki/bills/bill_NN_<name>.md`:

```yaml
---
schema_version: 1.0
bill_id: Bill 3
name: matolcsi_vinuesa_autocorrelation
cost: Smoothed-indicator equiripple on [-1,1] with PSD autoconv constraint
applies_to:
  - first-autocorrelation-inequality
  - second-autocorrelation-inequality
  - third-autocorrelation-inequality
signature_construction: false
empty_space_hypothesis: false
papers_triggering:
  - arxiv:2412.04567
  - eprint:2024/0123
  - ...
status: filled | empty | partially_empty
references:
  - Matolcsi-Vinuesa 2010
  - Cohn-Goncalves 2012
last_validated: 2026-05-14
---

# Bill 3 — Matolcsi-Vinuesa autocorrelation

<full description with cost, references, papers triggering, etc.>
```

## Meta-cost file format

Each at `wiki/meta_costs/meta_<name>.md`. Similar structure to bills, but `cost` field becomes `exclusion`.

## Gate file format (for `gates/`)

A gate is a falsifier trigger — a test that, if it fires, partially falsifies the aiwiki's empty-space hypothesis or closure pattern.

```yaml
---
schema_version: 1.0
gate_id: gate_4_asymmetric_heilbronn_n11
trigger: A 2024-2026 paper publishes an asymmetric n=11 Heilbronn-tri configuration with normalized area > 0.036530.
falsifies: Bill 4 empty-space hypothesis on Heilbronn-triangles.
status: open | tripped | retired
last_polled: 2026-05-14
poll_cadence: quarterly
---
```

## Watchlist format

`wiki/watchlist.md` — 3-tier table:

| Source | Tier | Last polled | Notes |
|---|---|---|---|
| arXiv math.NT new submissions | monthly | 2026-05-14 | autocorrelation-relevant |
| ... | ... | ... | ... |

## File-naming conventions

- Lowercase, hyphenated. `bill_03_matolcsi_vinuesa_autocorrelation.md`
- Date prefixes for views: `views/by_year/2024.md` lists all 2024 papers.
- Sweep IDs: `sweep_NNN_<scope-slug>.json`, e.g., `sweep_001_arxiv_math_NT_autocorrelation.json`.

## Versioning

Increment `schema_version` minor on additive changes (new fields), major on breaking (renamed fields). Track in `wiki_populate.py` so older sweep JSONs remain parseable.