{
  "id": "okf_tyson_swetnam_fractal_notebooks_okf_proo_b6888653",
  "kind": "okf",
  "category": "dados",
  "name": "Fractal Notebooks — Proof Knowledge Bundle",
  "tagline": "Bundle OKF 0.1 · 12 conceitos · tyson-swetnam/fractal-notebooks",
  "body": "# Fractal Notebooks — Proof Knowledge Bundle\n\nAppendix-level proofs for the quantitative results stated in the Fractal\nNotebooks documentation, primarily [Chapter 1: History of Fractal\nMathematics](https://tyson-swetnam.github.io/fractal-notebooks/foundations/history/)\n(`docs/foundations/history.md`). Each document is a `type: Fractal Proof`\nrecord that states the theorem, its assumptions, numbered proof steps, an\nexplicit **verification status** distinguishing machine-checked steps from\nsteps asserted on the authority of a named theorem, the historical source, and\na cross-link to the matching concept in [`../concepts/`](../concepts/).\n\n## Verification conventions\n\nEach proof step is tagged:\n\n* **`[verified]`** — checked by symbolic or numerical computation (SymPy /\nNumPy) in the `fractal-proof` environment. The check is described in the\nstep and reproducible.\n* **`[asserted]`** — relied upon as the conclusion of a named, published\ntheorem that is cited but **not** re-derived here (e.g",
  "url": "https://github.com/tyson-swetnam/fractal-notebooks/blob/HEAD/okf/proofs/index.md",
  "status": "live",
  "origin": "okf_github",
  "origin_id": "tyson-swetnam/fractal-notebooks:okf/proofs/index.md",
  "install": "https://raw.githubusercontent.com/tyson-swetnam/fractal-notebooks/HEAD/okf/proofs/index.md",
  "source": "https://github.com/tyson-swetnam/fractal-notebooks",
  "transporte": "",
  "ns": "tyson-swetnam",
  "versao": "0.1",
  "oficial_status": "",
  "repo_host": "github.com",
  "topico": "vcs",
  "linguagem": "",
  "licenca": "",
  "repo_topics": "",
  "repo_slug": "tyson-swetnam/fractal-notebooks",
  "stars": 0,
  "forks": 0,
  "prs_abertos": 0,
  "pushed_at": "",
  "repo_estado": "",
  "likes": 0,
  "comments": 0,
  "visits": 0,
  "readme_bytes": 0,
  "created_at": "2026-09-09 12:02:17",
  "updated_at": "2026-09-09 12:02:17",
  "mine": false,
  "api": "https://agentalog.com/api/listings/okf_tyson_swetnam_fractal_notebooks_okf_proo_b6888653",
  "go": "https://agentalog.com/api/go/okf_tyson_swetnam_fractal_notebooks_okf_proo_b6888653",
  "comments_api": "https://agentalog.com/api/listings/okf_tyson_swetnam_fractal_notebooks_okf_proo_b6888653/comments",
  "readme_sha": "",
  "readme_em": "",
  "payload": {
    "name": "tyson-swetnam/fractal-notebooks:okf/proofs/index.md",
    "title": "Fractal Notebooks — Proof Knowledge Bundle",
    "version": "0.1",
    "okf_bundle_dir": "okf/proofs",
    "okf_index_path": "okf/proofs/index.md",
    "okf_conceitos": 12,
    "okf_ref": "HEAD",
    "okf_type": ""
  },
  "volatil_em": "2026-09-13 18:07:16"
}