PV / Paulo VillalobosRead the engine ↗

FOAAP ENGINE / READ-ONLY WALKTHROUGH

One decision.
A visible history.

Synthetic project data. Three snapshots produced by the public engine.
No sign-in, model calls or connection to a production account.

PROJECT STATE / Northstar / pilot release

A contradiction changes the next action

Both commitments remain visible. An explicit fixture verdict records why they conflict; the engine prioritizes resolution.
SNAPSHOT 02

CLAIMS / 2 RETAINED

commitmentclaim-october

Launch the pilot on 1 October.

product / Pilot release

commitmentclaim-december

Launch the same pilot on 1 December instead.

product / Pilot release

CONTRADICTION LEDGER

Open / high severityconflict-launch

Launch the pilot on 1 October.

versus

Launch the same pilot on 1 December instead.

The same pilot has two incompatible exclusive launch dates.

The relationship is supplied by the fixture, not inferred by this demo.

ONE NEXT ACTION

Resolve contradiction: Launch the same pilot on 1 December instead.

Unresolved high contradiction — the model holds two incompatible claims.

Inspect the stored model JSON ↓
{
  "version": 3,
  "ontology": "venture",
  "profile": {
    "name": "Northstar / pilot release",
    "one_liner": null,
    "phase": null,
    "lens": null
  },
  "claims": [
    {
      "id": "claim-october",
      "axis": "product",
      "node": "Pilot release",
      "statement": "Launch the pilot on 1 October.",
      "interpretation": "",
      "kind": "commitment",
      "ts": 1789214400000
    },
    {
      "id": "claim-december",
      "axis": "product",
      "node": "Pilot release",
      "statement": "Launch the same pilot on 1 December instead.",
      "interpretation": "",
      "kind": "commitment",
      "ts": 1789214400001
    }
  ],
  "decisions": [],
  "contradictions": [
    {
      "id": "conflict-launch",
      "ts": 1789214400002,
      "kind": "claim_conflict",
      "axes": "product",
      "claim_a": "Launch the pilot on 1 October.",
      "claim_b": "Launch the same pilot on 1 December instead.",
      "text": "Launch the pilot on 1 October. ⇄ Launch the same pilot on 1 December instead.",
      "severity": "high",
      "confidence": 0.98,
      "why": "The same pilot has two incompatible exclusive launch dates.",
      "source": "external_verdict",
      "source_ids": {
        "a": {
          "type": "claim",
          "id": "claim-october",
          "axis": "product"
        },
        "b": {
          "type": "claim",
          "id": "claim-december",
          "axis": "product"
        }
      },
      "trail": [
        {
          "ts": 1789214400000,
          "kind": "claim",
          "axis": "product",
          "text": "Launch the pilot on 1 October."
        },
        {
          "ts": 1789214400001,
          "kind": "claim",
          "axis": "product",
          "text": "Launch the same pilot on 1 December instead."
        }
      ]
    }
  ],
  "bonds": [],
  "nodes": {
    "foundations": [],
    "product": [],
    "go-to-market": [],
    "capital": []
  },
  "events": [],
  "journal": []
}