{
  "id": "okf_shinzui_keiki_docs_adr_index_md_9e27429a",
  "kind": "okf",
  "category": "dados",
  "name": "shinzui/keiki · docs/adr",
  "tagline": "Bundle OKF 0.2 · 7 conceitos · shinzui/keiki",
  "body": "# Files\n\n- [profile.dhall](profile.dhall)\n\n# Architecture Decision Record\n\n- [Structural re-indexing of `Term`/`OutFields` for sound replay](0001-structural-re-indexing-for-sound-replay.md) - Recover replay indices by type-level structural re-indexing of Term and OutFields schemas instead of runtime coercion, eliminating unsound unsafeCoerce-based index recovery.\n- [Event logs must reproduce forward state](0002-event-logs-must-reproduce-forward-state.md) - Require that replaying any log accepted by default validation reproduces the same forward vertex and register file, backed by structured replay APIs and default validation checks.\n- [Proof gates fail conservatively](0003-proof-gates-fail-conservatively.md) - Treat only a definite solver Unsatisfiable result as proof of predicate emptiness, keeping every proof gate, projection domain, and verification classification conservative under solver or encoding uncertainty.\n- [Composition uses snapshot updates and checked boundaries](0004-com",
  "url": "https://github.com/shinzui/keiki/blob/HEAD/docs/adr/index.md",
  "status": "live",
  "origin": "okf_github",
  "origin_id": "shinzui/keiki:docs/adr/index.md",
  "install": "https://raw.githubusercontent.com/shinzui/keiki/HEAD/docs/adr/index.md",
  "source": "https://github.com/shinzui/keiki",
  "transporte": "",
  "ns": "shinzui",
  "versao": "0.2",
  "oficial_status": "",
  "repo_host": "github.com",
  "topico": "",
  "linguagem": "",
  "licenca": "",
  "repo_topics": "",
  "repo_slug": "shinzui/keiki",
  "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 05:03:59",
  "updated_at": "2026-09-09 05:03:59",
  "mine": false,
  "api": "https://agentalog.com/api/listings/okf_shinzui_keiki_docs_adr_index_md_9e27429a",
  "go": "https://agentalog.com/api/go/okf_shinzui_keiki_docs_adr_index_md_9e27429a",
  "comments_api": "https://agentalog.com/api/listings/okf_shinzui_keiki_docs_adr_index_md_9e27429a/comments",
  "readme_sha": "",
  "readme_em": "",
  "payload": {
    "name": "shinzui/keiki:docs/adr/index.md",
    "title": "Files",
    "version": "0.2",
    "okf_bundle_dir": "docs/adr",
    "okf_index_path": "docs/adr/index.md",
    "okf_conceitos": 7,
    "okf_ref": "HEAD",
    "okf_type": ""
  },
  "volatil_em": "2026-09-13 19:01:51"
}