pi

​

pi

​

Identity

• Names: pi / io.github.badlogic.pi.
• Native format: pi-jsonl, header {type: session, version, id, cwd, parentSession?}. OMP can place a mutable title slot before the header.
• Session ID: Header id, verbatim; no namespace. Paths and T3 thread locators are not session identity.
• Entity keys: Entry id; toolCall.id and toolResult.toolCallId; assistant responseId identifies inference. Missing v1 IDs are capture-scoped. Version 2 tree/copy semantics remain unqualified; the contracts below apply to v3.
• Notes: User role alone does not prove human authorship. Custom injections are harness messages. excludeFromContext keeps direct-shell output out of model context. Usage input and caches are disjoint; cost is harness-estimated USD. The writer’s responseModel, falling back to model, supplies the served model; model also records the request. Mutable title slots belong at the snapshot tail. Evidence of a write does not establish whether it added or overwrote a file. When a write is established but its operation is unknown, use op: "unknown".

​

Position basis

​

Destinations

​

pi: native facts without a standard field

​

Links

• Lineage: At the pinned v3 forkFrom writer, parentSession identifies the source. A path-valued parent requires authorized reading of its native header or index to recover id. Readers never open arbitrary paths automatically. This fork operation copies selected entries without changing their IDs. Only within that documented operation do unique matching IDs in the resolved parent prove copiedFrom with native_id, including inference projections. A parent pointer alone or repeated IDs elsewhere do not prove copies. No root claim is qualified.
• Tree and compaction: parentId is the parent, responseId the response key. Apply the mechanical-sibling rule to native units. Only persisted active-leaf evidence supplies a head. For v3 compaction, parentId supplies replaces.throughId; firstKeptEntryId supplies keptFromId and insertAt.beforeId. Resolve both on the local active path, translating a native unit to its appropriate first/last context projection. Otherwise record the replacement as unknown. branch_summary.fromId names a leaf; without a qualified covered set, retain it and use unknown extent.

​

Usage

​

Lane and unassigned facts

​

Losses

​

Evidence

{
  "name": "io.github.badlogic.pi",
  "aliases": [
    "pi"
  ],
  "namespace": {
    "rule": "none"
  },
  "positions": [
    {
      "family": "transcript",
      "basis": "physical-line",
      "boundary": "complete-line"
    },
    {
      "family": "current-state",
      "basis": "snapshot",
      "boundary": "complete-line"
    }
  ],
  "formats": [
    {
      "id": "pi-jsonl",
      "evidence": [
        0,
        3
      ]
    }
  ],
  "evidence": [
    {
      "label": "source",
      "revision": "54d22b74b3b538836f997ad0903fd44eaac45c93",
      "scope": "format-and-explicit-mappings"
    },
    {
      "label": "authored",
      "scope": "converter-tests-only"
    },
    {
      "label": "probe",
      "version": "1.3.0",
      "scope": "persistence-only"
    },
    {
      "label": "capture",
      "version": "OMP 18.0.10",
      "scope": "sanitized fork persistence fixtures; unrelated Pi versions not qualified"
    }
  ],
  "destinations": {
    "costComponents": {
      "schema": {
        "type": "object"
      },
      "evidence": [
        0
      ]
    },
    "diff": {
      "schema": {},
      "evidence": [
        0
      ]
    },
    "request": {
      "schema": {},
      "evidence": [
        0
      ]
    },
    "textSignature": {
      "schema": {},
      "evidence": [
        0
      ]
    },
    "thinkingSignature": {
      "schema": {},
      "evidence": [
        0
      ]
    },
    "usage": {
      "schema": {
        "type": "object"
      },
      "evidence": [
        0
      ]
    }
  }
}