{
  "surface": "DKE source",
  "base": "https://dke.langsyn.org",
  "url_shape": "/{project}/{version}/{path}",
  "projects": [
    {
      "id": "code",
      "title": "code — a reasoning module",
      "summary": "Reasoning about a codebase, as a DKE Python module you compile into your own store. It supplies the kind schema, the standing rules and the queries; you supply the facts — your functions, classes, calls and imports. Pairs with dkepy, which is how the facts get written.",
      "licence": "MIT",
      "latest": "1.12.1",
      "versions": [
        {
          "version": "1.12.1",
          "index": "/code/1.12.1/",
          "tarball": "/code/1.12.1/code-1.12.1.tar.gz",
          "files": [
            {
              "path": "code.dpy",
              "url": "/code/1.12.1/code.dpy"
            }
          ]
        }
      ]
    },
    {
      "id": "identity",
      "title": "identity — a reasoning module",
      "summary": "Which of your records name the same thing, as a DKE Python module you compile into your own store. You record what your sources say — that two records are the same, might be, or are not — and it keeps the conclusions standing: every record each one is the same as, and every statement another contradicts. Nothing is merged.",
      "licence": "MIT",
      "latest": "1.0.1",
      "versions": [
        {
          "version": "1.0.1",
          "index": "/identity/1.0.1/",
          "tarball": "/identity/1.0.1/identity-1.0.1.tar.gz",
          "files": [
            {
              "path": "identity.dpy",
              "url": "/identity/1.0.1/identity.dpy"
            }
          ]
        }
      ]
    },
    {
      "id": "argument",
      "title": "argument — a reasoning module",
      "summary": "Which of your claims stand, as a DKE Python module you compile into your own store. You record the claims and what your sources say about them — that one supports, attacks or weakens another — and it keeps the conclusions standing: the claims nothing attacks, the claims that fall to them, the claims whose every attacker has fallen, and the supports that rest on disputed ground. It decides nothing it cannot settle from what you recorded.",
      "licence": "MIT",
      "latest": "1.0.1",
      "versions": [
        {
          "version": "1.0.1",
          "index": "/argument/1.0.1/",
          "tarball": "/argument/1.0.1/argument-1.0.1.tar.gz",
          "files": [
            {
              "path": "argument.dpy",
              "url": "/argument/1.0.1/argument.dpy"
            }
          ]
        }
      ]
    },
    {
      "id": "agenda",
      "title": "agenda — a reasoning module",
      "summary": "What is overdue, coming up, late or forbidden among your commitments and obligations, as a DKE Python module you compile into your own store. You record what you have undertaken, what you owe and to whom, the goals your commitments serve and the actions you may not take, and you ask about a moment you name: the store keeps no clock, so the same question about the same moment gets the same answer. It acts on nothing and decides nothing for you.",
      "licence": "MIT",
      "latest": "1.0.0",
      "versions": [
        {
          "version": "1.0.0",
          "index": "/agenda/1.0.0/",
          "tarball": "/agenda/1.0.0/agenda-1.0.0.tar.gz",
          "files": [
            {
              "path": "agenda.dpy",
              "url": "/agenda/1.0.0/agenda.dpy"
            }
          ]
        }
      ]
    },
    {
      "id": "dkepy",
      "title": "dkepy",
      "summary": "Write facts into a DKE store, from Python, for kinds you define yourself. A DKE reasoning module supplies the reasoning; this supplies the facts.",
      "licence": "MIT",
      "latest": "0.5.6",
      "versions": [
        {
          "version": "0.5.6",
          "index": "/dkepy/0.5.6/",
          "tarball": "/dkepy/0.5.6/dkepy-0.5.6.tar.gz",
          "files": [
            {
              "path": "LICENSE",
              "url": "/dkepy/0.5.6/LICENSE"
            },
            {
              "path": "README.md",
              "url": "/dkepy/0.5.6/README.md"
            },
            {
              "path": "pyproject.toml",
              "url": "/dkepy/0.5.6/pyproject.toml"
            },
            {
              "path": "src/dke/__init__.py",
              "url": "/dkepy/0.5.6/src/dke/__init__.py"
            },
            {
              "path": "src/dke/client.py",
              "url": "/dkepy/0.5.6/src/dke/client.py"
            },
            {
              "path": "src/dke/factwriter.py",
              "url": "/dkepy/0.5.6/src/dke/factwriter.py"
            },
            {
              "path": "src/dke/ingest/__init__.py",
              "url": "/dkepy/0.5.6/src/dke/ingest/__init__.py"
            },
            {
              "path": "src/dke/ingest/core.py",
              "url": "/dkepy/0.5.6/src/dke/ingest/core.py"
            },
            {
              "path": "src/dke/ingest/cpp.py",
              "url": "/dkepy/0.5.6/src/dke/ingest/cpp.py"
            },
            {
              "path": "src/dke/ingest/python.py",
              "url": "/dkepy/0.5.6/src/dke/ingest/python.py"
            },
            {
              "path": "src/dke/py.typed",
              "url": "/dkepy/0.5.6/src/dke/py.typed"
            },
            {
              "path": "stubs/dke/__init__.pyi",
              "url": "/dkepy/0.5.6/stubs/dke/__init__.pyi"
            },
            {
              "path": "stubs/dke/client.pyi",
              "url": "/dkepy/0.5.6/stubs/dke/client.pyi"
            },
            {
              "path": "stubs/dke/factwriter.pyi",
              "url": "/dkepy/0.5.6/stubs/dke/factwriter.pyi"
            },
            {
              "path": "stubs/dke/ingest/__init__.pyi",
              "url": "/dkepy/0.5.6/stubs/dke/ingest/__init__.pyi"
            },
            {
              "path": "stubs/dke/ingest/core.pyi",
              "url": "/dkepy/0.5.6/stubs/dke/ingest/core.pyi"
            },
            {
              "path": "stubs/dke/ingest/cpp.pyi",
              "url": "/dkepy/0.5.6/stubs/dke/ingest/cpp.pyi"
            },
            {
              "path": "stubs/dke/ingest/python.pyi",
              "url": "/dkepy/0.5.6/stubs/dke/ingest/python.pyi"
            }
          ]
        }
      ]
    }
  ]
}