open-research-protocol 0.3.0

package/examples/orp.sunflower-coda.pr-governance.yml

@@ -0,0 +1,253 @@
+version: "1"
+
+project:
+  name: sunflower-coda-mathlib-pr-governance
+  repo_root: .
+  canonical_paths:
+    checklist_doc: /path/to/sunflower-coda/repo/docs/MATHLIB_SUBMISSION_CHECKLIST.md
+    issue_viability_doc: /path/to/sunflower-coda/repo/docs/MATHLIB_ISSUE_VIABILITY_GATE.md
+    draft_pr_template_doc: /path/to/sunflower-coda/repo/docs/MATHLIB_DRAFT_PR_TEMPLATE.md
+    upstream_lane_doc: /path/to/sunflower-coda/repo/docs/UPSTREAM_PR_LANE.md
+    upstream_plan: /path/to/sunflower-coda/repo/analysis/UPSTREAM_PR_PLAN.yaml
+    default_pr_body_file: /path/to/sunflower-coda/repo/analysis/MATHLIB_DRAFT_PR_BODY.md
+    mathlib_repo_root: /path/to/mathlib4
+
+runtime:
+  shell: /bin/bash
+  default_timeout_sec: 1200
+  artifacts_root: orp/artifacts
+
+packet:
+  default_kind: pr
+  output_dir: orp/packets
+  write_markdown: true
+  deterministic_mode: true
+
+lifecycle:
+  claim_status_map:
+    Draft: draft
+    In review: ready
+    Verified: reviewed
+    Blocked: blocked
+    Retracted: retracted
+  atom_status_map:
+    todo: draft
+    in_progress: ready
+    blocked: blocked
+    done: reviewed
+  claim_level_values:
+    - Exact
+    - Verified
+    - Heuristic
+    - Conjecture
+
+gates:
+  - id: checklist_presence
+    description: Verify required mathlib submission and lane docs are present.
+    phase: scope_lock
+    command: >
+      test -f docs/MATHLIB_SUBMISSION_CHECKLIST.md &&
+      test -f docs/MATHLIB_DRAFT_PR_TEMPLATE.md &&
+      test -f docs/MATHLIB_ISSUE_VIABILITY_GATE.md &&
+      test -f docs/UPSTREAM_PR_LANE.md
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+    evidence:
+      include_stdout: false
+      include_stderr: true
+      paths:
+        - /path/to/sunflower-coda/repo/docs/MATHLIB_SUBMISSION_CHECKLIST.md
+        - /path/to/sunflower-coda/repo/docs/MATHLIB_DRAFT_PR_TEMPLATE.md
+        - /path/to/sunflower-coda/repo/docs/MATHLIB_ISSUE_VIABILITY_GATE.md
+        - /path/to/sunflower-coda/repo/docs/UPSTREAM_PR_LANE.md
+    on_fail: stop
+
+  - id: queue_policy_guard
+    description: Enforce anti-spam queue policy defaults before any PR creation step.
+    phase: scope_lock
+    command: python3 scripts/upstream-pr-plan.py summary
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - policy.submission_mode=hold
+        - policy.max_prs_per_session=2
+        - policy.require_explicit_approval=True
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      paths:
+        - /path/to/sunflower-coda/repo/analysis/UPSTREAM_PR_PLAN.yaml
+    on_fail: mark_blocked
+
+  - id: lane_checklist_snapshot
+    description: Print required contributor/style/queue checklist snapshot.
+    phase: scope_lock
+    command: bash scripts/upstream-pr-lane.sh checklist
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - "== Mathlib Submission Checklist =="
+        - checklist_doc=
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: continue
+
+  - id: issue_viability_decision
+    description: Require PASS from issue viability gate before implementation/drafting.
+    phase: structure_kernel
+    command: >
+      python3 scripts/mathlib-issue-viability-gate.py
+      --repo leanprover-community/mathlib4
+      --issue "${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}"
+      --author SproutSeeds
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - decision=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: naturality_snippet
+    description: Capture natural-generality check text before PR packaging work.
+    phase: structure_kernel
+    command: >
+      bash scripts/mathlib-naturality-snippet.sh
+      --issue "${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}"
+      --branch "${ORP_BRANCH_NAME:-issue-${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}}"
+      --module "${ORP_NATURALITY_MODULE:?set ORP_NATURALITY_MODULE}"
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - "Natural Generality Check"
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: local_issue_gate_core
+    description: Run local build/lint gate while keeping viability/tighten as explicit atomic steps.
+    phase: interface_lift
+    command: >
+      bash scripts/mathlib-issue-local-gate.sh
+      --repo /path/to/mathlib4
+      --issue "${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}"
+      --skip-viability
+      --skip-tighten-fine-tooth
+    working_dir: /path/to/sunflower-coda/repo
+    timeout_sec: 1200
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - gate=PASS
+        - marker_file=
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: tighten_fine_tooth
+    description: Run final tighten/fine-tooth gate for no-sorry/no-conflict/no-duplicate checks.
+    phase: verification
+    command: >
+      bash scripts/mathlib-tighten-fine-tooth-gate.sh
+      --repo /path/to/mathlib4
+      --issue "${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}"
+      --author SproutSeeds
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - tighten_fine_tooth=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: ready_to_draft_freeze
+    description: Require micro-pass confirmations and freeze marker on the current HEAD.
+    phase: verification
+    command: >
+      bash scripts/mathlib-ready-to-draft-gate.sh
+      --repo /path/to/mathlib4
+      --issue "${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}"
+      --confirm-naming
+      --confirm-docstring-tone
+      --confirm-readability
+      --note "${ORP_READY_NOTE:-micro-pass complete: naming/docstring-tone/readability}"
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - ready_to_draft=PASS
+        - next=open/update draft PR only when explicit user go-ahead is given
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: pr_body_preflight
+    description: Enforce concise portable PR body with explicit intelligent-systems disclosure.
+    phase: verification
+    command: >
+      python3 scripts/mathlib-pr-body-preflight.py
+      --file "${ORP_PR_BODY_FILE:-analysis/MATHLIB_DRAFT_PR_BODY.md}"
+      --fix &&
+      python3 scripts/mathlib-pr-body-preflight.py
+      --file "${ORP_PR_BODY_FILE:-analysis/MATHLIB_DRAFT_PR_BODY.md}"
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - gate=PASS
+        - metrics:
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      paths:
+        - /path/to/sunflower-coda/repo/analysis/MATHLIB_DRAFT_PR_BODY.md
+    on_fail: mark_blocked
+
+profiles:
+  sunflower_mathlib_pre_open:
+    description: Pre-open governance profile (policy + viability + naturality checks).
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - checklist_presence
+      - queue_policy_guard
+      - lane_checklist_snapshot
+      - issue_viability_decision
+      - naturality_snippet
+
+  sunflower_mathlib_draft_readiness:
+    description: Draft-readiness profile (local gate, tighten, freeze, PR-body hygiene).
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - local_issue_gate_core
+      - tighten_fine_tooth
+      - ready_to_draft_freeze
+      - pr_body_preflight
+
+  sunflower_mathlib_full_flow:
+    description: End-to-end profile from pre-open policy checks to draft-readiness gates.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - checklist_presence
+      - queue_policy_guard
+      - lane_checklist_snapshot
+      - issue_viability_decision
+      - naturality_snippet
+      - local_issue_gate_core
+      - tighten_fine_tooth
+      - ready_to_draft_freeze
+      - pr_body_preflight

package/examples/packet.problem_scope.example.json

@@ -0,0 +1,123 @@
+{
+  "schema_version": "1.0.0",
+  "packet_id": "pkt-problem857-T2.G3.A1-20260304T160656Z",
+  "kind": "problem_scope",
+  "created_at_utc": "2026-03-04T16:06:56Z",
+  "protocol_boundary": {
+    "process_only": true,
+    "evidence_paths": [
+      "sunflower_lean/SunflowerLean/Balance.lean",
+      "analysis/problem857_counting_gateboard.json",
+      "docs/PROBLEM857_COUNTING_OPS_BOARD.md",
+      "orchestrator/logs/run-20260304-1606/SPEC_CHECK.json"
+    ],
+    "note": "Packet is process metadata. Evidence remains in canonical artifact paths."
+  },
+  "repo": {
+    "root_path": "/path/to/repo",
+    "git": {
+      "remote": "origin",
+      "branch": "main",
+      "commit": "abc1234"
+    }
+  },
+  "run": {
+    "run_id": "run-20260304-1606",
+    "tool": {
+      "name": "orp",
+      "version": "0.1.0"
+    },
+    "deterministic_input_hash": "sha256:4f1f4f4f4f4f4f4f",
+    "started_at_utc": "2026-03-04T16:06:20Z",
+    "ended_at_utc": "2026-03-04T16:06:56Z",
+    "duration_ms": 36000
+  },
+  "lifecycle": {
+    "workflow_state": "reviewed",
+    "atom_status": "done",
+    "state_note": "Atomic closure proof step completed and board snapshot refreshed."
+  },
+  "atomic_context": {
+    "board_id": "problem857_master_atomic_ops_board",
+    "problem_id": "857",
+    "ticket_id": "T2",
+    "gate_id": "T2.G3",
+    "atom_id": "T2.G3.A1",
+    "dependencies": [
+      "T2.G2.A3"
+    ],
+    "ready_queue_size": 0,
+    "board_snapshot_path": "analysis/problem857_counting_gateboard.json",
+    "route_status": {
+      "counting_uniform": {
+        "done": 4,
+        "total": 4,
+        "strict_done": 4,
+        "strict_total": 4
+      },
+      "counting_mixed": {
+        "done": 6,
+        "total": 6,
+        "strict_done": 6,
+        "strict_total": 6
+      }
+    }
+  },
+  "gates": [
+    {
+      "gate_id": "board_refresh",
+      "phase": "scope_lock",
+      "command": "python3 scripts/problem857_ops_board.py refresh --write-md --sync-json",
+      "status": "pass",
+      "exit_code": 0,
+      "duration_ms": 510,
+      "stdout_path": "orp/artifacts/run-20260304-1606/board_refresh.stdout.log",
+      "stderr_path": "orp/artifacts/run-20260304-1606/board_refresh.stderr.log",
+      "evidence_paths": [
+        "analysis/problem857_counting_gateboard.json",
+        "docs/PROBLEM857_COUNTING_OPS_BOARD.md"
+      ]
+    },
+    {
+      "gate_id": "spec_faithfulness",
+      "phase": "quant_assembly",
+      "command": "python3 orchestrator/problem857_public_spec_check.py --run-id run-20260304-1606 --expect-starter-scaffold true",
+      "status": "pass",
+      "exit_code": 0,
+      "duration_ms": 190,
+      "stdout_path": "orp/artifacts/run-20260304-1606/spec_faithfulness.stdout.log",
+      "stderr_path": "orp/artifacts/run-20260304-1606/spec_faithfulness.stderr.log",
+      "evidence_paths": [
+        "orchestrator/logs/run-20260304-1606/SPEC_CHECK.json"
+      ]
+    },
+    {
+      "gate_id": "lean_build_balance",
+      "phase": "interface_lift",
+      "command": "lake build SunflowerLean.Balance",
+      "status": "pass",
+      "exit_code": 0,
+      "duration_ms": 27890,
+      "stdout_path": "orp/artifacts/run-20260304-1606/lean_build_balance.stdout.log",
+      "stderr_path": "orp/artifacts/run-20260304-1606/lean_build_balance.stderr.log",
+      "evidence_paths": [
+        "sunflower_lean/SunflowerLean/Balance.lean"
+      ]
+    }
+  ],
+  "summary": {
+    "overall_result": "PASS",
+    "gates_passed": 3,
+    "gates_failed": 0,
+    "gates_total": 3,
+    "note": "This packet captures one atomic proof pass, not a merge decision."
+  },
+  "artifacts": {
+    "packet_json_path": "orp/packets/pkt-problem857-T2.G3.A1-20260304T160656Z.json",
+    "packet_md_path": "orp/packets/pkt-problem857-T2.G3.A1-20260304T160656Z.md",
+    "artifact_root": "orp/artifacts/run-20260304-1606",
+    "extra_paths": [
+      "analysis/ALIGNMENT_LOG.md"
+    ]
+  }
+}

package/examples/reports/README.md

@@ -0,0 +1,16 @@
+# Example ORP Run Summaries
+
+These files are example outputs from:
+
+`./scripts/orp report summary`
+
+They show the shape and intent of ORP run reports:
+
+- fast pass/fail headline,
+- gate-by-gate command/status/timing,
+- evidence pointers (`stdout` and `stderr` logs),
+- deterministic hash for reproducibility checks.
+
+These are examples only; real runs are generated locally under:
+
+`orp/artifacts/<run_id>/RUN_SUMMARY.md`

package/examples/reports/sunflower_live_compare_20.RUN_SUMMARY.md

@@ -0,0 +1,37 @@
+# ORP Run Summary `run-20260305-160246`
+
+## Headline
+
+- overall_result: `PASS`
+- profile: `sunflower_live_compare_20`
+- gates: `3 passed / 0 failed / 3 total`
+- duration_ms: `5817`
+- started_at_utc: `2026-03-05T16:02:46Z`
+- ended_at_utc: `2026-03-05T16:02:52Z`
+- config_path: `/path/to/orp.sunflower-coda.live-compare.yml`
+
+## What This Report Shows
+
+- Which gates ran, in what order, and with what command.
+- Whether each gate passed or failed, with exit code and timing.
+- Where to inspect raw evidence (`stdout` / `stderr`) for each gate.
+- A deterministic input hash so teams can compare runs reliably.
+
+## Gate Results
+
+| Gate | Status | Exit | Duration ms | Command |
+|---|---:|---:|---:|---|
+| `p20_board_show` | `pass` | 0 | 2108 | `python3 scripts/problem20_ops_board.py show` |
+| `p20_board_ready` | `pass` | 0 | 65 | `python3 scripts/problem20_ops_board.py ready` |
+| `p20_frontier` | `pass` | 0 | 3644 | `python3 scripts/frontier_status.py --problem 20` |
+
+## Evidence Pointers
+
+- `p20_board_show`: stdout=`orp/artifacts/run-20260305-160246/p20_board_show.stdout.log` stderr=`orp/artifacts/run-20260305-160246/p20_board_show.stderr.log`
+- `p20_board_ready`: stdout=`orp/artifacts/run-20260305-160246/p20_board_ready.stdout.log` stderr=`orp/artifacts/run-20260305-160246/p20_board_ready.stderr.log`
+- `p20_frontier`: stdout=`orp/artifacts/run-20260305-160246/p20_frontier.stdout.log` stderr=`orp/artifacts/run-20260305-160246/p20_frontier.stderr.log`
+
+## Reproducibility
+
+- deterministic_input_hash: `sha256:a05bdc913b54a402d49456d3285b36a9afcaecc96241de63bfa3042efc3d04b2`
+- rerun with the same profile/config and compare this hash + gate outputs.

package/examples/reports/sunflower_live_compare_367.RUN_SUMMARY.md

@@ -0,0 +1,37 @@
+# ORP Run Summary `run-20260305-160246`
+
+## Headline
+
+- overall_result: `PASS`
+- profile: `sunflower_live_compare_367`
+- gates: `3 passed / 0 failed / 3 total`
+- duration_ms: `6250`
+- started_at_utc: `2026-03-05T16:02:46Z`
+- ended_at_utc: `2026-03-05T16:02:52Z`
+- config_path: `/path/to/orp.sunflower-coda.live-compare.yml`
+
+## What This Report Shows
+
+- Which gates ran, in what order, and with what command.
+- Whether each gate passed or failed, with exit code and timing.
+- Where to inspect raw evidence (`stdout` / `stderr`) for each gate.
+- A deterministic input hash so teams can compare runs reliably.
+
+## Gate Results
+
+| Gate | Status | Exit | Duration ms | Command |
+|---|---:|---:|---:|---|
+| `p367_board_show` | `pass` | 0 | 2682 | `python3 scripts/problem367_ops_board.py show` |
+| `p367_board_ready` | `pass` | 0 | 649 | `python3 scripts/problem367_ops_board.py ready --allow-no-go` |
+| `p367_frontier` | `pass` | 0 | 2919 | `python3 scripts/frontier_status.py --problem 367` |
+
+## Evidence Pointers
+
+- `p367_board_show`: stdout=`orp/artifacts/run-20260305-160246/p367_board_show.stdout.log` stderr=`orp/artifacts/run-20260305-160246/p367_board_show.stderr.log`
+- `p367_board_ready`: stdout=`orp/artifacts/run-20260305-160246/p367_board_ready.stdout.log` stderr=`orp/artifacts/run-20260305-160246/p367_board_ready.stderr.log`
+- `p367_frontier`: stdout=`orp/artifacts/run-20260305-160246/p367_frontier.stdout.log` stderr=`orp/artifacts/run-20260305-160246/p367_frontier.stderr.log`
+
+## Reproducibility
+
+- deterministic_input_hash: `sha256:f769bde4b052f7d401c866fd28abfb9d3c9626850d96830594418d45bf2b569a`
+- rerun with the same profile/config and compare this hash + gate outputs.

package/examples/reports/sunflower_live_compare_857.RUN_SUMMARY.md

@@ -0,0 +1,37 @@
+# ORP Run Summary `run-20260305-160605`
+
+## Headline
+
+- overall_result: `PASS`
+- profile: `sunflower_live_compare_857`
+- gates: `3 passed / 0 failed / 3 total`
+- duration_ms: `4678`
+- started_at_utc: `2026-03-05T16:06:05Z`
+- ended_at_utc: `2026-03-05T16:06:09Z`
+- config_path: `/path/to/orp.sunflower-coda.live-compare.yml`
+
+## What This Report Shows
+
+- Which gates ran, in what order, and with what command.
+- Whether each gate passed or failed, with exit code and timing.
+- Where to inspect raw evidence (`stdout` / `stderr`) for each gate.
+- A deterministic input hash so teams can compare runs reliably.
+
+## Gate Results
+
+| Gate | Status | Exit | Duration ms | Command |
+|---|---:|---:|---:|---|
+| `p857_board_show` | `pass` | 0 | 1617 | `python3 scripts/problem857_ops_board.py show` |
+| `p857_board_ready` | `pass` | 0 | 57 | `python3 scripts/problem857_ops_board.py ready` |
+| `p857_frontier` | `pass` | 0 | 3004 | `python3 scripts/frontier_status.py --problem 857` |
+
+## Evidence Pointers
+
+- `p857_board_show`: stdout=`orp/artifacts/run-20260305-160605/p857_board_show.stdout.log` stderr=`orp/artifacts/run-20260305-160605/p857_board_show.stderr.log`
+- `p857_board_ready`: stdout=`orp/artifacts/run-20260305-160605/p857_board_ready.stdout.log` stderr=`orp/artifacts/run-20260305-160605/p857_board_ready.stderr.log`
+- `p857_frontier`: stdout=`orp/artifacts/run-20260305-160605/p857_frontier.stdout.log` stderr=`orp/artifacts/run-20260305-160605/p857_frontier.stderr.log`
+
+## Reproducibility
+
+- deterministic_input_hash: `sha256:d7ff4ca92c3abc93612c6cff9f080cef8b336f5f81aab0ca6125551e777a0c10`
+- rerun with the same profile/config and compare this hash + gate outputs.

package/llms.txt

@@ -0,0 +1,58 @@
+# ORP
+
+ORP (Open Research Protocol) is a docs-first, local-first, agent-friendly protocol and CLI for research workflows.
+
+## Start Here
+
+- `README.md` — high-level overview, install path, pack flow, and validated examples.
+- `PROTOCOL.md` — process boundary and operating rules.
+- `AGENT_INTEGRATION.md` — how to make ORP the default mode for an AI agent.
+- `INSTALL.md` — adopt ORP in an existing repo or start fresh.
+- `docs/AGENT_LOOP.md` — canonical ORP loop for agent-led workflows.
+
+## Fast Machine Discovery
+
+- Run `orp about --json` for machine-readable tool metadata, artifact paths, schemas, supported commands, and bundled packs.
+- Run `orp erdos sync --json` for machine-readable Erdos catalog sync results.
+- Run `orp pack list --json` for machine-readable bundled pack inventory.
+- Core runtime commands also support `--json`:
+  - `orp init --json`
+  - `orp gate run --profile <profile> --json`
+  - `orp packet emit --profile <profile> --json`
+  - `orp report summary --json`
+  - `orp pack install --pack-id <pack-id> --json`
+  - `orp pack fetch --source <git-url> --pack-id <pack-id> --install-target . --json`
+
+## Stable Artifact Paths
+
+- `orp/state.json`
+- `orp/artifacts/<run_id>/RUN.json`
+- `orp/artifacts/<run_id>/RUN_SUMMARY.md`
+- `orp/packets/<packet_id>.json`
+- `orp/packets/<packet_id>.md`
+- `RUN.json.epistemic_status` and packet `evidence_status` explicitly mark starter/stub/evidence boundaries.
+
+## Schemas
+
+- `spec/v1/orp.config.schema.json`
+- `spec/v1/packet.schema.json`
+- `spec/v1/profile-pack.schema.json`
+
+## Key Commands
+
+- `orp init`
+- `orp gate run --profile <profile>`
+- `orp packet emit --profile <profile>`
+- `orp report summary`
+- `orp erdos sync`
+- `orp pack list`
+- `orp pack install --pack-id erdos-open-problems`
+- `orp pack fetch --source <git-url> --pack-id <pack-id> --install-target .`
+
+## Included Pack
+
+- `packs/erdos-open-problems/` — public Erdos catalog sync plus starter flows for Problem 857, live compare, and governance.
+
+## Important Boundary
+
+ORP files are process-only. They are not evidence. Evidence belongs in canonical artifact paths such as code, data, proofs, logs, and papers.

package/modules/instruments/ADVERSARIAL/README.md

@@ -0,0 +1,109 @@
+# Adversarial Lens
+
+> *What survives its strongest attack deserves belief.*
+
+The Adversarial Lens reframes inquiry by assuming **the system will be stressed**, misused, or pushed to its limits. Instead of asking whether something works in ideal conditions, it asks **where and how it breaks**.
+
+This instrument is not cynical. It is protective.
+
+---
+
+## Purpose
+
+Use the Adversarial Lens when:
+- claims feel robust but untested at the edges,
+- you want confidence rather than optimism,
+- counterexamples may exist but are hidden,
+- or failure modes matter more than average behavior.
+
+---
+
+## Forces
+
+- **Inward force:** confidence, coherence, internal consistency.
+- **Outward force:** attack, perturbation, worst-case pressure.
+
+Too little adversity creates fragile belief.
+Too much adversarial pressure destroys exploratory progress.
+
+---
+
+## Distance / Control Parameters
+
+- strength of adversary
+- size or scope of perturbation
+- number of attack rounds
+- allowed adaptivity of the adversary
+
+This lens tunes *how hostile* the environment is.
+
+---
+
+## Stability Invariants
+
+Quantities that should persist under healthy stress:
+
+- correctness of core claims
+- bounded error or damage
+- graceful degradation
+- recovery after failure
+
+If these fail immediately, confidence was misplaced.
+
+---
+
+## Failure Signals
+
+- existence of a single, simple counterexample
+- cascading failures from small perturbations
+- reliance on hidden assumptions
+- collapse under adversarial sequencing
+
+These are not embarrassments; they are information.
+
+---
+
+## Reframing Moves
+
+- actively search for counterexamples
+- assume the worst-case input
+- flip quantifiers ("for all" vs "there exists")
+- reverse assumptions one at a time
+
+Change the question from:
+> “Why does this work?”
+
+to:
+> “How could this fail?”
+
+---
+
+## Observation Test
+
+A new observation under the Adversarial Lens:
+
+- identifies a minimal counterexample
+- proves robustness up to a quantified bound
+- shows failure is localized, not systemic
+
+If stress clarifies the boundary of truth, the lens is valid.
+
+---
+
+## Relation to Other Instruments
+
+- **Orbit** asks whether a system can persist.
+- **Compression** asks what is essential.
+- **Adversarial** asks where belief must stop.
+
+Together, they define a safe perimeter for truth.
+
+---
+
+## Closing
+
+Adversarial thinking is not opposition.
+It is care expressed through rigor.
+
+*If a claim survives attack, it earns trust.*
+