rows {
  options {
    physical_type: PHYSICAL_STREAM_TYPE_QUADS
    max_name_table_size: 128
    max_prefix_table_size: 16
    max_datatype_table_size: 16
    logical_type: LOGICAL_STREAM_TYPE_DATASETS
    version: 2
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/"
  }
}
rows {
  name {
    value: "RAFhrP9S3MibWqgmSl4Y2hThZ1cHVaABgcnxH_MxB4r6I"
  }
}
rows {
  namespace {
    name: "this"
    value {
      prefix_id: 1
    }
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/RAFhrP9S3MibWqgmSl4Y2hThZ1cHVaABgcnxH_MxB4r6I/"
  }
}
rows {
  name {
  }
}
rows {
  namespace {
    name: "sub"
    value {
      prefix_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.nanopub.org/nschema#"
  }
}
rows {
  namespace {
    name: "np"
    value {
      prefix_id: 3
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  }
}
rows {
  namespace {
    name: "rdf"
    value {
      prefix_id: 4
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/ns/prov#"
  }
}
rows {
  namespace {
    name: "prov"
    value {
      prefix_id: 5
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://purl.org/nanopub/x/"
  }
}
rows {
  namespace {
    name: "npx"
    value {
      prefix_id: 6
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://purl.org/dc/terms/"
  }
}
rows {
  namespace {
    name: "dc"
    value {
      prefix_id: 7
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/2001/XMLSchema#"
  }
}
rows {
  namespace {
    name: "xsd"
    value {
      prefix_id: 8
      name_id: 2
    }
  }
}
rows {
  name {
    value: "hasAssertion"
  }
}
rows {
  name {
    value: "assertion"
  }
}
rows {
  name {
    value: "Head"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 1
      name_id: 1
    }
    p_iri {
      prefix_id: 3
      name_id: 3
    }
    o_iri {
      prefix_id: 2
    }
    g_iri {
    }
  }
}
rows {
  name {
    value: "hasProvenance"
  }
}
rows {
  name {
    value: "provenance"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 3
    }
    o_iri {
      prefix_id: 2
    }
  }
}
rows {
  name {
    value: "hasPublicationInfo"
  }
}
rows {
  name {
    value: "pubinfo"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 3
    }
    o_iri {
      prefix_id: 2
    }
  }
}
rows {
  name {
    value: "type"
  }
}
rows {
  name {
    value: "Nanopublication"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
    }
    o_iri {
      prefix_id: 3
    }
  }
}
rows {
  prefix {
    value: "https://w3id.org/delphi/resource/assessment/"
  }
}
rows {
  name {
    value: "hygromorph-antisymmetric-twist--claim-test--marom-crosscheck-01"
  }
}
rows {
  name {
    value: "description"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 9
    }
    p_iri {
      prefix_id: 7
    }
    o_literal {
      lex: "Seed 20261101. Each of 8 configurations (stimulus x Nat/Art branch x beta_bend/beta_twist) got 1000 random draws, plus 500 antisymmetric draws per branch and response (10000 draws in all). For each draw the published Grasshopper components in vendor/ (commit fa8100bad) were exec\'d unmodified in the wiring of gh_scripts/README.md, and the same inputs were evaluated with shearStrain, axialStrain, timoshenkoCoefficient and bilayerCurvature parsed from ThompsonLaws/Hygromorphs.lean by lean_eval.py. Differences were divided by the pre-registered rounding bound. The equilibrium equations of bilayerCurvature_ofEquilibrium were solved as a 2x2 linear system. Nine faults were injected one at a time as controls."
    }
    g_iri {
      prefix_id: 2
      name_id: 4
    }
  }
}
rows {
  prefix {
    value: "https://w3id.org/delphi/ontology/"
  }
}
rows {
  name {
    value: "Assessment"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
      name_id: 10
    }
    o_iri {
      prefix_id: 10
      name_id: 14
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/2000/01/rdf-schema#"
  }
}
rows {
  name {
    value: "comment"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 11
    }
    o_literal {
      lex: "Measured: 0.999998000011939 max |published - Lean| / rounding bound over all draws (<= 1 passes) (n = 10000, deterministic given the seed; no sampling error is claimed). Interpretation: A computational consistency check, not a test of the claim in organisms. The Lean proofs establish the identities; this checks that the formalized definitions are the functions the authors implemented (angle in radians vs degrees, ordering of layers, sign of the shear, which layer carries eps_L). The published code is run verbatim by exec-ing the Grasshopper scripts with their input ports as globals; nothing is edited. The Lean definitions are read from the Lean source file by a small term parser, not retyped. It shows the formalization and the code agree; it does not show either matches pine cones, and the paper\'s measured-vs-predicted actuator results are not reproduced (the repository has videos and figures but no tables)."
    }
  }
}
rows {
  name {
    value: "label"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Claim test of hygromorph-antisymmetric-twist (marom-crosscheck-01): supports, confidence 0.95"
    }
  }
}
rows {
  name {
    value: "seeAlso"
  }
}
rows {
  prefix {
    value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/plant-hygromorph-mechanics/hygromorph-antisymmetric-twist/marom-crosscheck-01/"
  }
}
rows {
  name {
    value: "result.json"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 12
    }
  }
}
rows {
  name {
    value: "wasAttributedTo"
  }
}
rows {
  prefix {
    value: "https://w3id.org/delphi/resource/agent/"
  }
}
rows {
  name {
    value: "delphisci-claim-tester-claude-sonnet-5-5"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
    }
    o_iri {
      prefix_id: 13
    }
  }
}
rows {
  name {
    value: "admissibleDatasets"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 10
    }
    o_literal {
      lex: "None: the inputs are random draws from the stated grid; the reference is the published code at a pinned commit, independent of our Lean file."
    }
  }
}
rows {
  name {
    value: "assessmentType"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "claim-test/0.1.0"
    }
  }
}
rows {
  name {
    value: "dataKind"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "computational"
    }
  }
}
rows {
  name {
    value: "disconfirmingObservation"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "At least one input in an unmutated configuration where the published code and the Lean-defined function differ by more than the rounding bound."
    }
  }
}
rows {
  name {
    value: "evidenceAgainst"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Computational data only: it shows the Lean definitions and the published implementation agree, not that organisms follow the claim."
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "Output rounding is the only discrepancy permitted: the published scripts serialize bundle values with six decimals, so the comparison uses the pre-registered rounding-aware bound rather than machine precision. Agreement within that bound does not exclude differences smaller than 1e-6."
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "S_elem.py and S_print.py recompute the through-thickness and shear mismatches from the tissue-stage values themselves, so the final curvature does not depend on the beta reducer\'s output; the reducer only selects which one is active. The published pipeline is compositional in its interfaces but the mismatch is derived twice."
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "The degrees-to-radians conversion of the fibre angle is done by this harness, not by Lean: the published code takes degrees and the Lean definitions take radians. The control M2 (radians dropped from one angle) shows the harness would see a mismatch of that kind inside the published code, but a wrong conversion in the harness itself would show as a failure of every draw."
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "The inputs cover ranges (thermal strains up to 4500 %) far beyond physical ones because the identities are algebraic and domain-independent; this checks the functions, not any material."
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "The paper\'s measured-vs-predicted actuator results (its Table 4: predicted and measured opening or twist angles for four cases, n = 3 or 4 each, L = 100 mm, h1 = h2 = 0.6 mm) are not reproduced here: the repository ships only two of the four material panels (PA6-GF and PLA-CF; PA612-CF15 and PLA are missing), and the shipped G-code headers record a baseline curvature of 0.0763 1/cm, which is not the 0.0635 1/cm implied by the paper\'s predicted 36.4 degrees, with the two baseline raster angles swapped relative to the paper\'s Table 2, and 0.0000 1/cm for both thermal cases."
    }
  }
}
rows {
  name {
    value: "expectedObservation"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "For random inputs, every output the published pipeline shares with our Lean definitions agrees within the stated output-rounding bound."
    }
  }
}
rows {
  name {
    value: "failCriterion"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Pre-registered (refuted). Any draw in an unmutated configuration exceeds the bound for any of the quantities above. That is a discrepancy between the Lean definitions and the published code (a sign, angle-convention, or transcription error on one side); it is reported with the first failing inputs and is not explained away. If the controls fail to detect a relevant fault, the verdict is \'inconclusive\' with reason \'other\'."
    }
  }
}
rows {
  name {
    value: "hasConfidence"
  }
}
rows {
  datatype {
    value: "http://www.w3.org/2001/XMLSchema#double"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "0.95"
      datatype: 1
    }
  }
}
rows {
  name {
    value: "hasEvidence"
  }
}
rows {
  prefix {
    value: "https://w3id.org/delphi/resource/evidence/"
  }
}
rows {
  name {
    value: "hygromorph-antisymmetric-twist--claim-test--marom-crosscheck-01--dataset-1"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 14
    }
  }
}
rows {
  name {
    value: "hasVerdict"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 10
    }
    o_literal {
      lex: "supports"
    }
  }
}
rows {
  name {
    value: "hypothesis"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "The Lean definitions shearStrain and axialStrain (ThompsonLaws/Hygromorphs.lean) and the strain projection published with Marom et al. (2026) (T_tis.py and T_stack.py, run unmodified) compute the same functions: for every draw, the strip-axis strain and the in-plane shear strain of each layer, and the through-thickness and shear mismatches, agree within the rounding bound; and for antisymmetric fibre angles with equal layers the published pipeline gives zero axial mismatch and a shear mismatch (epsL - epsT) sin 2 phi, as shearStrain_mismatch and axialStrain_mismatch state."
    }
  }
}
rows {
  name {
    value: "inferenceMethod"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Exhaustive comparison over all draws against the rounding-aware bound; fault-injection controls must trip the same comparison."
    }
  }
}
rows {
  name {
    value: "passCriterion"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Pre-registered (supported). In every one of the 8 configurations and the antisymmetric sets, for all draws, eps_strip_1, eps_strip_2, delta_12_1, delta_12_2, delta_eps_thk and delta_eps_12 from the published scripts equal the Lean-defined values within the rounding bound; in the antisymmetric sets |delta_eps_thk| <= 1e-6 and |delta_eps_12 - (epsL - epsT) sin 2 phi| <= 1e-6; and the controls detect all faults relevant to this claim (L1, L2, L3, M1, M2, M4). Rounding-aware bound: the published scripts serialize every bundle value with {:.6f} (angles and thicknesses with {:.4f}), so the inputs above are on grids that survive serialization exactly and the only expected discrepancy is output rounding. Strain-like quantities (eps_strip_i, delta_12_i) must agree within 5e-7 + 1e-12; mismatches (delta_eps_thk, delta_eps_12) within 1e-6 + 1e-12; kappa within |C_geom| * 1e-6 + 5e-7 + 1e-12. Sampling (fixed before running; seed 20261101, numpy default_rng): per configuration N = 1000 draws. chi or alpha on a 1e-4 grid in [-0.2, 0.3] (per layer, L and T), humidity RH_ref in 0..50 % and RH in 50..100 % (integers) or T_ref in 0..50 and T_cur in 50..150 C (integers), theta_1 and theta_2 on a 0.01 degree grid in [-90, 90], h_1 and h_2 on a 1e-4 cm grid in [0.02, 0.2], E_1 and E_2 log-uniform in [100, 20000] rounded to integers, L = 8, W = 1.2, with |chi_L - chi_T| >= 0.005 in each layer. Configurations: stimulus (hygro, thermal) x branch (Nat: F_fib..S_elem; Art: F_fil..S_print) x response (beta_bend, beta_twist) = 8. Plus an antisymmetric set of 500 draws per branch with theta_2 = -theta_1, equal layer materials and beta_twist and beta_bend each. Controls (fault injection, pre-registered): five faults are injected one at a time into the Lean-side expressions (L1 sin(2 phi) -> sin(phi) in shearStrain; L2 cos^2/sin^2 swapped in axialStrain; L3 factor 1/2 dropped from shearStrain; L4 6(1+m)^2 -> 3(1+m)^2 in timoshenkoCoefficient; L5 (1+m n) -> (1+m/n) in timoshenkoCoefficient) and four into the vendored scripts (M1 sin(2.0*r1) -> sin(r1) in T_tis; M2 radians() dropped from theta_2 in T_tis; M3 (1.0+m*n) -> (1.0+m/n) in S_elem; M4 d12_1 - d12_2 -> d12_1 + d12_2 in beta_twist). Every fault relevant to a claim must trip the rounding-aware bound in at least 90 % of the draws of every configuration it affects, otherwise the harness cannot see transcription errors and the verdict is inconclusive (reason other)."
    }
  }
}
rows {
  name {
    value: "preregistered"
  }
}
rows {
  datatype {
    value: "http://www.w3.org/2001/XMLSchema#boolean"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "false"
      datatype: 2
    }
  }
}
rows {
  prefix {
    value: "https://w3id.org/delphi/resource/claim/"
  }
}
rows {
  name {
    value: "hygromorph-antisymmetric-twist"
  }
}
rows {
  name {
    value: "hasAssessment"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 15
    }
    p_iri {
      prefix_id: 10
    }
    o_iri {
      prefix_id: 9
      name_id: 12
    }
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 14
      name_id: 30
    }
    p_iri {
      prefix_id: 7
      name_id: 13
    }
    o_literal {
      lex: "independent reference implementation of the strain-projection and Timoshenko steps; file hashes recorded by analysis.py"
    }
  }
}
rows {
  name {
    value: "license"
  }
}
rows {
  quad {
    p_iri {
      name_id: 38
    }
    o_literal {
      lex: "Apache-2.0"
    }
  }
}
rows {
  name {
    value: "EvidenceItem"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
      name_id: 10
    }
    o_iri {
      prefix_id: 10
      name_id: 39
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 11
      name_id: 16
    }
    o_literal {
      lex: "Dataset: lamm-mit/CategoryTheoryDesign gh_scripts (code of Marom, Tibbits, Zardini & Buehler 2026, JMPS 106780)"
    }
  }
}
rows {
  name {
    value: "atLocation"
  }
}
rows {
  prefix {
    value: "https://raw.githubusercontent.com/lamm-mit/CategoryTheoryDesign/fa8100bad1b43525f28106da94a7f055730fb325/"
  }
}
rows {
  name {
    value: "LICENSE"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 40
    }
    o_iri {
      prefix_id: 16
    }
  }
}
rows {
  prefix {
    id: 6
    value: "https://raw.githubusercontent.com/lamm-mit/CategoryTheoryDesign/fa8100bad1b43525f28106da94a7f055730fb325/gh_scripts/"
  }
}
rows {
  name {
    value: "F_fib.py"
  }
}
rows {
  quad {
    o_iri {
      prefix_id: 6
    }
  }
}
rows {
  name {
    value: "F_fil.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "L_lam.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "L_lay.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "S_elem.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "S_print.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "T_stack.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "T_tis.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "alpha_1.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "alpha_1_prime.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "alpha_2.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "alpha_2_prime.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "alpha_geo.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "alpha_geo_prime.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "beta_bend.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "beta_bend_prime.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "beta_twist.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "beta_twist_prime.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "geo.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "stim_hygro.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "stim_hygro_prime.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "stim_thermal.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "stim_thermal_prime.py"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "wasDerivedFrom"
  }
}
rows {
  prefix {
    id: 8
    value: "https://github.com/lamm-mit/"
  }
}
rows {
  name {
    value: "CategoryTheoryDesign"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
    }
    o_iri {
      prefix_id: 8
    }
  }
}
rows {
  name {
    value: "hasChecksum"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 10
    }
    o_literal {
      lex: "sha256:08541cabdcc621379dc7a8afc41f0897b97319cdc646c893def3dd6f13c5202e"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:136f2a9238a10d0c3df159136dab160e332d8a64696d33d14c279186bcc50628"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:1c105303b875865c0f93efe325d62cc58be624c247436a34318691cd89964636"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:20c7c3bf955b9fb916d21faa1e96cad5ad52bda0f5903f78a1b5325e11861e56"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:3b51396ba0c8c0a6779635ec1b9563d17e87138ea7fac831f9b48697d76dcb56"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:4120990ab57d750197c176ce9d41b4b0792ec9f18b4dca8d0d5836c15d7e7e9e"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:42be2bbfa2a63b9948bb7a043bbcd455af9038765b983449d01a6769fa490e8e"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:459dbf850cb9f2afc2094f79b95459afc8243dfd486f221b27d22b3f2c10a675"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:557fd9d833243c996224409d309397ca481e3b5261d622a5e80099e2c17327ba"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:57cef6bce9c9a97ec273a874b69554b2eb92169e3a4385733d21106a3be025f7"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:584e1c86d19344db5d9ccfd393fc0d262fc593950b9be13100bd1b21efe17c9c"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:9a9fae59c66d777e9608f3823fe19ee07965b2fab1f64ae3e7dfcdb08f1b351c"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:b943d1b577588f0832abc2b4fe5321ce68494d13696bf6da0fe637e8fc9c7626"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:bbfa24b16c5037208284c1ff085f8bc8acf14fe247aea1f614d407cf241e3eda"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:bc88efb2ec2a784b49fd27b34d34e5544411a822db733c02bf05b782112d3291"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:bcc3ef0187379d6e1c30b7df8615e8c341836681875633f5538da62ca1766c8f"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:cc602626822305e3411def1bc16b56f481569d28943e3530d95e40108e312871"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:d075dbff4e6c622eb4db449c3d7c43b4c99f6f95a7d3b405641e8d6396fd88c6"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:d29e85a504ebefde6f78a838f05429166af4b1547ae9f928e97b63e24e9eeea8"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:db69c73e5cf5a5132dfd6b37cef78e5332148a8e2665e5456c49975a429103b9"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:dbdd8c663aac36077a9fccf08a2241acbc3c4b19415b1e03bad3ee9c2078d5e6"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:e2c5791e3ca67fcfb960ec88dbb9661a6fc2309f46063d022605f9667c780f03"
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "sha256:f551db79ead25f0b458fa5a0d3c1fd85ed21bee7624c62b89e5aa758d143b38c"
    }
  }
}
rows {
  name {
    value: "SoftwareAgent"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 13
      name_id: 20
    }
    p_iri {
      prefix_id: 4
      name_id: 10
    }
    o_iri {
      prefix_id: 5
      name_id: 68
    }
    g_iri {
      prefix_id: 2
      name_id: 7
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 11
      name_id: 16
    }
    o_literal {
      lex: "delphisci claim tester (claude-sonnet-5-5; marom-crosscheck-01)"
    }
  }
}
rows {
  name {
    value: "actedOnBehalfOf"
  }
}
rows {
  prefix {
    id: 1
    value: "https://orcid.org/"
  }
}
rows {
  name {
    value: "0009-0007-4948-9192"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 69
    }
    o_iri {
      prefix_id: 1
    }
  }
}
rows {
  name {
    value: "usesModel"
  }
}
rows {
  prefix {
    id: 3
    value: "https://w3id.org/delphi/resource/model/"
  }
}
rows {
  name {
    value: "claude-sonnet-5-5"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 10
    }
    o_iri {
      prefix_id: 3
    }
  }
}
rows {
  name {
    value: "identifier"
  }
}
rows {
  quad {
    s_iri {
      name_id: 72
    }
    p_iri {
      prefix_id: 7
    }
    o_literal {
      lex: "claude-sonnet-5-5"
    }
  }
}
rows {
  name {
    value: "LanguageModel"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
      name_id: 10
    }
    o_iri {
      prefix_id: 10
      name_id: 74
    }
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 4
    }
    p_iri {
      prefix_id: 5
      name_id: 19
    }
    o_iri {
      prefix_id: 13
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 65
    }
    o_iri {
      prefix_id: 12
      name_id: 18
    }
  }
}
rows {
  name {
    value: "wasGeneratedBy"
  }
}
rows {
  name {
    value: "test"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 75
    }
    o_iri {
      prefix_id: 2
    }
  }
}
rows {
  name {
    value: "plan"
  }
}
rows {
  name {
    value: "hadPlan"
  }
}
rows {
  prefix {
    id: 15
    value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/"
  }
}
rows {
  name {
    value: "README.md"
  }
}
rows {
  quad {
    s_iri {
    }
    p_iri {
      prefix_id: 5
    }
    o_iri {
      prefix_id: 15
    }
  }
}
rows {
  name {
    value: "Activity"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 76
    }
    p_iri {
      prefix_id: 4
      name_id: 10
    }
    o_iri {
      prefix_id: 5
      name_id: 80
    }
  }
}
rows {
  name {
    value: "qualifiedAssociation"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 2
      name_id: 77
    }
  }
}
rows {
  name {
    value: "wasAssociatedWith"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 82
    }
    o_iri {
      prefix_id: 13
      name_id: 20
    }
  }
}
rows {
  prefix {
    id: 9
    value: "https://w3id.org/np/"
  }
}
rows {
  name {
    value: "created"
  }
}
rows {
  datatype {
    value: "http://www.w3.org/2001/XMLSchema#dateTime"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 9
      name_id: 1
    }
    p_iri {
      prefix_id: 7
      name_id: 83
    }
    o_literal {
      lex: "2026-11-08T16:24:31.888Z"
      datatype: 3
    }
    g_iri {
      prefix_id: 2
      name_id: 9
    }
  }
}
rows {
  name {
    value: "creator"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 7
      name_id: 84
    }
    o_iri {
      prefix_id: 1
      name_id: 70
    }
  }
}
rows {
  prefix {
    id: 14
    value: "https://creativecommons.org/licenses/by/4.0/"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 7
      name_id: 38
    }
    o_iri {
      prefix_id: 14
      name_id: 2
    }
  }
}
rows {
  prefix {
    id: 16
    value: "http://purl.org/nanopub/x/"
  }
}
rows {
  name {
    value: "hasNanopubType"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 16
      name_id: 85
    }
    o_iri {
      prefix_id: 10
      name_id: 14
    }
  }
}
rows {
  name {
    value: "introduces"
  }
}
rows {
  prefix {
    id: 6
    value: "https://w3id.org/delphi/resource/assessment/"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 16
      name_id: 86
    }
    o_iri {
      prefix_id: 6
      name_id: 12
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 11
      name_id: 16
    }
    o_literal {
      lex: "Claim test of hygromorph-antisymmetric-twist (marom-crosscheck-01): supports, confidence 0.95"
    }
  }
}
rows {
  name {
    value: "domain"
  }
}
rows {
  prefix {
    id: 8
    value: "https://w3id.org/delphi/resource/domain/"
  }
}
rows {
  name {
    value: "plant-hygromorph-mechanics"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 10
      name_id: 87
    }
    o_iri {
      prefix_id: 8
    }
  }
}
rows {
  name {
    value: "sig"
  }
}
rows {
  name {
    value: "hasAlgorithm"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
    }
    p_iri {
      prefix_id: 16
    }
    o_literal {
      lex: "RSA"
    }
  }
}
rows {
  name {
    value: "hasPublicKey"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"
    }
  }
}
rows {
  name {
    value: "hasSignature"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "W+nUfRbi4ZMXd+3jtVXlABQvx99eYOgrJ0H1jt1L857Gr3OIzqYKmwJ+5yZJu+3KPJVo9bzJ3Xb30u5D9TiDtFHYmME+8LVElHTENvCgyOeE10bGe39coQGldH6KBUYeSCO+DuuCEHD2PND/TOGHPfDFEKBGKFGwa6my2GzhX9+PQW8sGO3oGmEWB9p2UNyaqCnTFEnGJXSFdvH2c8R2SO+ms1IYJoYHNPKGZXwKp9Uy9SJEBJg57LBV+EU0aOSiLeRj78yV6sBqz//1bhKzCTfjlKfZl1zE9Y2dG2Aztw7CENjME6+wvRlXsoyK5MwNRpplPgYAZYJaEoe9qW/ggw=="
    }
  }
}
rows {
  name {
    value: "hasSignatureTarget"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 9
      name_id: 1
    }
  }
}
rows {
  name {
    value: "signedBy"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 16
      name_id: 94
    }
    o_iri {
      prefix_id: 1
      name_id: 70
    }
  }
}