Typed receipts

Receipts first. The pages render this object. Public code ≠ published table unless a checkpoint edge closes.

[
  {
    "claim_id": "flore-group",
    "title": "D(σ) ∈ O(1, n) on (−1, 1)",
    "claim_type": "group",
    "level": "A",
    "verdict": "fails",
    "because": [],
    "source_paper": "FlorE, Dᵣ = diag(1,…,1,σᵣ), σᵣ ∈ (−1, 1)",
    "source_code": "FLG.forward · ww[:,:,-1] *= flip_sign",
    "symbolic": "ε_group(D) = |σ² − 1|;  (−1, 1) ∩ {±1} = ∅",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "σ",
        "value": "0.5"
      },
      {
        "label": "ε_group closed form",
        "value": "0.7500"
      },
      {
        "label": "ε_group numeric",
        "value": "0.7500"
      },
      {
        "label": "det D",
        "value": "0.50"
      }
    ],
    "dependencies": [],
    "receipt_hash": "3f317f1d"
  },
  {
    "claim_id": "flore-code-flip",
    "title": "Public flip is relation-specific σᵣ",
    "claim_type": "parity",
    "level": "B",
    "verdict": "fails",
    "because": [],
    "source_paper": "relation-specific σᵣ",
    "source_code": "self.flip_sign = Parameter(0.0)",
    "symbolic": "det D(0) = 0 ⇒ D ∉ GL",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "flip_sign",
        "value": "0"
      },
      {
        "label": "det",
        "value": "0.0"
      },
      {
        "label": "ε_det",
        "value": "1.0"
      }
    ],
    "dependencies": [],
    "receipt_hash": "72154059"
  },
  {
    "claim_id": "flore-o1n",
    "title": "FLG operator is Lorentz-valued",
    "claim_type": "parent",
    "level": "A",
    "verdict": "fails",
    "because": [
      "flore-group: fails"
    ],
    "source_paper": "",
    "source_code": "",
    "symbolic": "parent of flore-group",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [],
    "dependencies": [
      "flore-group"
    ],
    "receipt_hash": "89ae9ac1"
  },
  {
    "claim_id": "flore-center",
    "title": "rel_center ∈ Lⁿ",
    "claim_type": "manifold",
    "level": "B",
    "verdict": "fails",
    "because": [],
    "source_paper": "cᵣ ∈ ℍⁿ",
    "source_code": "nn.Embedding + normal_(std=0.01)",
    "symbolic": "Gaussian init in ℝ^{n+1} is not the unit sheet. expmap(c,·) is then not exp_{c∈ℍ}",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "⟨c,c⟩_L",
        "value": "-6.40e-5"
      },
      {
        "label": "|q + 1|",
        "value": "1.000"
      }
    ],
    "dependencies": [],
    "receipt_hash": "9bdcda2d"
  },
  {
    "claim_id": "flore-tangent",
    "title": "ξ is Lorentz-tangent at a sheet point",
    "claim_type": "tangent",
    "level": "B",
    "verdict": "fails",
    "because": [],
    "source_paper": "ξ ∝ d + ⟨d, c⟩_L c at c ∈ ℍⁿ",
    "source_code": "Euclidean proto-dir; Lorentz.expmap.proju; Gaussian rel_center",
    "symbolic": "⟨c, u'⟩_L = ⟨c,v⟩_L (1 + q/k); zero iff q = −k. No ManifoldParameter on rel_center. proju does not rescue an off-sheet base.",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "c",
        "value": "1.255, 0.699, 0.295"
      },
      {
        "label": "d",
        "value": "0.550, 0.300, -0.250"
      },
      {
        "label": "ε_tan Euclidean",
        "value": "1.38e+0"
      },
      {
        "label": "ε_tan Lorentz",
        "value": "1.39e-16"
      },
      {
        "label": "−2 c₀ d₀",
        "value": "1.38e+0"
      }
    ],
    "dependencies": [],
    "receipt_hash": "b702fe13"
  },
  {
    "claim_id": "flore-log10",
    "title": "Printed log map defined on the sheet",
    "claim_type": "metric",
    "level": "A",
    "verdict": "fails",
    "because": [],
    "source_paper": "FlorE Eq. 10, √(⟨q,q⟩_L + 1)",
    "source_code": "—",
    "symbolic": "⟨q,q⟩_L = −1 ⇒ denominator 0",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "√(−1+1)",
        "value": "0"
      }
    ],
    "dependencies": [],
    "receipt_hash": "d4280a91"
  },
  {
    "claim_id": "flore-eq13-bases",
    "title": "Eq. 13 is an intrinsic tangent inner product",
    "claim_type": "tangent",
    "level": "A",
    "verdict": "blocked",
    "because": [],
    "source_paper": "ξ̂ᵣ ∈ T_{cᵣ}, log_{Λh}(t) ∈ T_{Λh}",
    "source_code": "term absent",
    "symbolic": "Ambient Minkowski pairing exists. Intrinsic Riemannian comparison is not established without transport.",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "precondition c = Λh",
        "value": "not stated"
      }
    ],
    "dependencies": [],
    "receipt_hash": "1dedc53a"
  },
  {
    "claim_id": "flore-direction",
    "title": "Directional geometry matches the paper",
    "claim_type": "parent",
    "level": "B",
    "verdict": "fails",
    "because": [
      "flore-center: fails",
      "flore-tangent: fails",
      "flore-log10: fails",
      "flore-eq13-bases: blocked"
    ],
    "source_paper": "",
    "source_code": "",
    "symbolic": "parent of flore-center, flore-tangent, flore-log10, flore-eq13-bases",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [],
    "dependencies": [
      "flore-center",
      "flore-tangent",
      "flore-log10",
      "flore-eq13-bases"
    ],
    "receipt_hash": "e40edb30"
  },
  {
    "claim_id": "flore-eq13",
    "title": "Code executes Eq. 13",
    "claim_type": "parity",
    "level": "B",
    "verdict": "fails",
    "because": [],
    "source_paper": "Eq. 13",
    "source_code": "HyperNet._forward · margin − cinner2(t′−h′)",
    "symbolic": "⟨ξ, log⟩ term absent from the executed score",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "directional term in _forward",
        "value": "absent"
      }
    ],
    "dependencies": [],
    "receipt_hash": "89b7471f"
  },
  {
    "claim_id": "flore-parity",
    "title": "Paper/code parity for FlorE",
    "claim_type": "parity",
    "level": "B",
    "verdict": "fails",
    "because": [
      "flore-code-flip: fails",
      "flore-center: fails",
      "flore-tangent: fails",
      "flore-eq13: fails"
    ],
    "source_paper": "",
    "source_code": "",
    "symbolic": "parent of flore-code-flip, flore-center, flore-tangent, flore-eq13",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [],
    "dependencies": [
      "flore-code-flip",
      "flore-center",
      "flore-tangent",
      "flore-eq13"
    ],
    "receipt_hash": "a4366f9d"
  },
  {
    "claim_id": "flore-mechanism",
    "title": "FlorE implements the advertised geometry",
    "claim_type": "parent",
    "level": "B",
    "verdict": "fails",
    "because": [
      "flore-o1n: fails",
      "flore-direction: fails",
      "flore-eq13: fails"
    ],
    "source_paper": "",
    "source_code": "",
    "symbolic": "parent of flore-o1n, flore-direction, flore-eq13",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [],
    "dependencies": [
      "flore-o1n",
      "flore-direction",
      "flore-eq13"
    ],
    "receipt_hash": "cfa8cc4e"
  },
  {
    "claim_id": "flore-example-sheet",
    "title": "Worked-example points lie on the sheet",
    "claim_type": "example",
    "level": "A",
    "verdict": "fails",
    "because": [],
    "source_paper": "h=(3,0), t₁=(4,1), t₂=(5,3)",
    "source_code": "—",
    "symbolic": "⟨h,h⟩_L = −9, ⟨t₁,t₁⟩_L = −15, ⟨t₂,t₂⟩_L = −16",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "⟨h,h⟩_L",
        "value": "-9.0"
      },
      {
        "label": "⟨t₁,t₁⟩_L",
        "value": "-15.0"
      },
      {
        "label": "⟨t₂,t₂⟩_L",
        "value": "-16.0"
      }
    ],
    "dependencies": [],
    "receipt_hash": "c6dd250f"
  },
  {
    "claim_id": "flore-example-distance",
    "title": "Worked-example uses the Lorentz interval",
    "claim_type": "example",
    "level": "A",
    "verdict": "blocked",
    "because": [
      "ManifoldMembership(h) fails",
      "ManifoldMembership(t₁) fails",
      "ManifoldMembership(t₂) fails"
    ],
    "source_paper": "simplified Lorentz distance on those points",
    "source_code": "—",
    "symbolic": "identity not evaluated: ManifoldMembership failed",
    "assumptions": [
      "ManifoldMembership(h)",
      "ManifoldMembership(t₁)",
      "ManifoldMembership(t₂)"
    ],
    "preconditions": [
      {
        "id": "ManifoldMembership(h)",
        "holds": false,
        "residual": "-9.0"
      },
      {
        "id": "ManifoldMembership(t₁)",
        "holds": false,
        "residual": "-15.0"
      },
      {
        "id": "ManifoldMembership(t₂)",
        "holds": false,
        "residual": "-16.0"
      }
    ],
    "numerical_witness": [
      {
        "label": "distance identity",
        "value": "not evaluated"
      }
    ],
    "dependencies": [],
    "receipt_hash": "ab257cd8"
  },
  {
    "claim_id": "flore-checkpoint",
    "title": "FlorE table bound to a checkpoint",
    "claim_type": "checkpoint",
    "level": "C",
    "verdict": "blocked",
    "because": [],
    "source_paper": "FlorE Table 2, FB15k-237 MRR 0.402",
    "source_code": "github.com/dzh597/FlorE · no pinned commit in the paper",
    "symbolic": "C = M is untested",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "commit",
        "value": "unbound"
      },
      {
        "label": "checkpoint hash",
        "value": "unbound"
      },
      {
        "label": "seed",
        "value": "unbound"
      }
    ],
    "dependencies": [],
    "receipt_hash": "008390a0"
  },
  {
    "claim_id": "flore-benchmark",
    "title": "FlorE MRR is a reproduced result",
    "claim_type": "benchmark",
    "level": "C",
    "verdict": "blocked",
    "because": [
      "flore-checkpoint: blocked"
    ],
    "source_paper": "",
    "source_code": "",
    "symbolic": "parent of flore-checkpoint",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [],
    "dependencies": [
      "flore-checkpoint"
    ],
    "receipt_hash": "301a2d7e"
  },
  {
    "claim_id": "fhre-metric",
    "title": "FHRE printed d² vanishes at coincidence",
    "claim_type": "metric",
    "level": "A",
    "verdict": "fails",
    "because": [],
    "source_paper": "FHRE Eq. 6, c = 1",
    "source_code": "—",
    "symbolic": "2 − 2⟨x, x⟩_L = 4",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "printed d²(x,x)",
        "value": "4.0"
      },
      {
        "label": "interval d²(x,x)",
        "value": "0.0"
      }
    ],
    "dependencies": [],
    "receipt_hash": "7b76682d"
  },
  {
    "claim_id": "fhre-curvature",
    "title": "FHRE c-convention is consistent",
    "claim_type": "curvature",
    "level": "A",
    "verdict": "fails",
    "because": [],
    "source_paper": "FHRE: c = 1, x₀ = √(‖x_s‖² − 1/c), α = √(−c)‖z‖",
    "source_code": "—",
    "symbolic": "c = 1 ⇒ ⟨x,x⟩_L = +1 and √(−c) ∉ ℝ;  c = −1 repairs all three",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "q(c=1)",
        "value": "1.0"
      },
      {
        "label": "q(c=−1)",
        "value": "-1.0"
      },
      {
        "label": "√(−1)",
        "value": "imaginary"
      }
    ],
    "dependencies": [],
    "receipt_hash": "6f0dc107"
  },
  {
    "claim_id": "fhre-rotation",
    "title": "FHRE Givens is an isometry",
    "claim_type": "group",
    "level": "A",
    "verdict": "holds",
    "because": [],
    "source_paper": "block-diagonal spatial rotations",
    "source_code": "—",
    "symbolic": "Rᵀ R = I, R₀₀ = 1",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [],
    "dependencies": [],
    "receipt_hash": "9dfde430"
  },
  {
    "claim_id": "lkg-group",
    "title": "LorentzKG RB ∈ O⁺(1, n)",
    "claim_type": "group",
    "level": "A",
    "verdict": "holds",
    "because": [],
    "source_paper": "ACL 2024, Lorentz rotation/reflection ⊕ boost",
    "source_code": "—",
    "symbolic": "Householder ∈ O(n), boost ∈ SO⁺ ⇒ product ∈ O⁺",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "ε_group",
        "value": "5.10e-16"
      },
      {
        "label": "ε_manifold",
        "value": "6.66e-16"
      }
    ],
    "dependencies": [],
    "receipt_hash": "49b5735c"
  },
  {
    "claim_id": "repaired-Q",
    "title": "Householder Q ∈ O(n)",
    "claim_type": "group",
    "level": "A",
    "verdict": "holds",
    "because": [],
    "source_paper": "repaired FlorE / hybrid",
    "source_code": "constructed here",
    "symbolic": "each Hᵥᵀ Hᵥ = I, det Hᵥ = −1",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "m",
        "value": "1"
      },
      {
        "label": "det Q",
        "value": "-1"
      },
      {
        "label": "ε_group",
        "value": "3.51e-16"
      }
    ],
    "dependencies": [],
    "receipt_hash": "43565ec0"
  },
  {
    "claim_id": "hybrid-Op",
    "title": "Hybrid QB ∈ O⁺(1, n)",
    "claim_type": "group",
    "level": "A",
    "verdict": "holds",
    "because": [],
    "source_paper": "proposed construction",
    "source_code": "operators.ts hybrid",
    "symbolic": "spatial Householders preserve x₀-sign; boosts are orthochronous",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "ε_group",
        "value": "8.78e-17"
      },
      {
        "label": "Λ₀₀",
        "value": "1.0700"
      },
      {
        "label": "orthochronous",
        "value": "yes"
      }
    ],
    "dependencies": [],
    "receipt_hash": "7b736b08"
  },
  {
    "claim_id": "lie-S",
    "title": "S ∈ so(1, 2)",
    "claim_type": "lie",
    "level": "A",
    "verdict": "fails",
    "because": [],
    "source_paper": "FlorE continuous σ = e^λ",
    "source_code": "—",
    "symbolic": "SᵀJ + JS = 2 diag(0,0,1), ‖·‖_F = 2",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "ε_lie(S)",
        "value": "2.0"
      },
      {
        "label": "ε_lie(J)",
        "value": "0"
      },
      {
        "label": "ε_lie(K₁)",
        "value": "0"
      },
      {
        "label": "ε_lie(K₂)",
        "value": "0"
      }
    ],
    "dependencies": [],
    "receipt_hash": "d9f499f5"
  },
  {
    "claim_id": "flore-tables",
    "title": "FlorE Table 4 matches Table 6",
    "claim_type": "benchmark",
    "level": "B",
    "verdict": "fails",
    "because": [],
    "source_paper": "Table 4 FB 52.3 / WN 45.8 vs Table 6 FB 42.3 / WN 52.8",
    "source_code": "—",
    "symbolic": "Reporting inconsistency. Does not imply 0.402 is false.",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "FB Z-Par T4 − T6",
        "value": "10.0"
      },
      {
        "label": "WN Z-Par T6 − T4",
        "value": "7.0"
      }
    ],
    "dependencies": [],
    "receipt_hash": "61045e61"
  },
  {
    "claim_id": "flore-margin",
    "title": "Public best margins match the paper",
    "claim_type": "parity",
    "level": "B",
    "verdict": "fails",
    "because": [],
    "source_paper": "FB15k-237 margin 1.07, WN18RR 1.01",
    "source_code": "best scripts: FB 1.00, WN 1.08",
    "symbolic": "paper config ≠ public best-script config",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "paper",
        "value": "1.07 / 1.01"
      },
      {
        "label": "scripts",
        "value": "1.00 / 1.08"
      }
    ],
    "dependencies": [],
    "receipt_hash": "c0e5e027"
  },
  {
    "claim_id": "flore-eval-trunc",
    "title": "Public evaluate() covers the full test set",
    "claim_type": "benchmark",
    "level": "B",
    "verdict": "fails",
    "because": [],
    "source_paper": "FlorE §experiments, filtered ranking, Table 1 sizes",
    "source_code": "Experiment.evaluate · max_queries=20, batch=100, break",
    "symbolic": "20 × 100 = 2,000 ≤ paper test cardinality",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "max examples",
        "value": "2000"
      },
      {
        "label": "FB fraction",
        "value": "2000/20446"
      },
      {
        "label": "WN fraction",
        "value": "2000/3134"
      }
    ],
    "dependencies": [],
    "receipt_hash": "1770e9ed"
  },
  {
    "claim_id": "flore-eval-relmap",
    "title": "Public evaluate() can emit Tables 4/6",
    "claim_type": "benchmark",
    "level": "B",
    "verdict": "fails",
    "because": [],
    "source_paper": "FlorE Tables 4 and 6",
    "source_code": "relation_map = {}; hits_level used before assignment",
    "symbolic": "∅.values() contains no rela_id",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "relation_map",
        "value": "{}"
      }
    ],
    "dependencies": [],
    "receipt_hash": "d7963ad7"
  },
  {
    "claim_id": "flore-nocheckpoint",
    "title": "Public training writes a hashable checkpoint",
    "claim_type": "checkpoint",
    "level": "B",
    "verdict": "fails",
    "because": [],
    "source_paper": "—",
    "source_code": "best_model = deepcopy(state_dict); no torch.save",
    "symbolic": "in-memory only ⇒ no Level-C artifact",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "torch.save",
        "value": "absent"
      }
    ],
    "dependencies": [],
    "receipt_hash": "68664575"
  },
  {
    "claim_id": "atlas-kg",
    "title": "atlas-kg-v1 factorial cells are bound",
    "claim_type": "benchmark",
    "level": "C",
    "verdict": "holds",
    "because": [],
    "source_paper": "Atlas factorial design (synthetic)",
    "source_code": "src/lib/train.ts · receipts/atlas-kg-v1.json",
    "symbolic": "Level C for atlas-kg-v1 only. FlorE 0.402 remains unbound.",
    "assumptions": [],
    "preconditions": [],
    "numerical_witness": [
      {
        "label": "family",
        "value": "atlas-kg-v1"
      },
      {
        "label": "cells",
        "value": "12"
      },
      {
        "label": "FB15k-237",
        "value": "unbound"
      }
    ],
    "dependencies": [],
    "receipt_hash": "9e3c2bd4"
  }
]