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: "RAtL3_CCo1O84EZj3Vzq12smRJ0jmBk185vnUOCZeaN7o"
  }
}
rows {
  namespace {
    name: "this"
    value {
      prefix_id: 1
    }
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/RAtL3_CCo1O84EZj3Vzq12smRJ0jmBk185vnUOCZeaN7o/"
  }
}
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: "wolfram2002-ch02-08--claim-test"
  }
}
rows {
  name {
    value: "description"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 9
    }
    p_iri {
      prefix_id: 7
    }
    o_literal {
      lex: "analysis.py evolves rule 110 from one black cell for 8000 steps (boundary never reached; rows 0-4 checked against the standard 1, 11, 111, 1101, 11111). Part A (pre-registered): for P = 1..2000 it tests exact fixed-frame recurrence a(t+P,x) = a(t,x) over the light cone [-t,0] and over the right-edge windows [-500,0], [-1000,0], [-2000,0] across the last 2000 steps; no P qualifies (the leading edge and the drifting structure break every fixed-frame recurrence). Part B (diagnostic, after A): the P = 240 mismatch is recounted excluding the 300 leading-edge cells, which isolates a single cluster of 9-24 cells that drifts left at -0.0846 cells/step; an exhaustive (P, shift) search in windows of +-40 and +-150 cells around that cluster finds its exact space-time period to be (213 steps, -18 cells), with (240, 0) and (240, -20) never matching; the fixed-frame recurrence of the right-edge windows [-50,0] and [-100,0] and of the stripe region is measured for P in {7, 71, 80, 213, 240, 480}, and the onset times of each regime are determined."
    }
    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: 213 steps (exact minimal space-time period of the surviving localized structure, with a shift of -18 cells per period) (n = 8000, exact (deterministic simulation)). Interpretation: Rule 110 is the Wolfram rule number 110 (rule bit k = new colour for neighbourhood 4*left + 2*centre + right). From a single black cell at x = 0 the pattern occupies only x in [-t, 0] at step t (cells right of the origin stay white), so the natural fixed frame is the one in which the right edge is at rest; Wolfram\'s figures on pp. 32-39 are drawn in that frame. \'Behavior that repeats every 240 steps\' is read as exact time-periodicity of the whole pattern inside the light cone of time t (the cells to the left of -t at time t+P are newly created stripes and are not compared). \'The outcome is finally clear after about 2780 steps\' is read as the onset of this exact periodicity, with a 10% tolerance because the text says \'about\'. \'One structure survives\' is not quantified separately; it is covered by the periodicity of the whole interior."
    }
  }
}
rows {
  name {
    value: "label"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Claim test of wolfram2002-ch02-08: mixed, confidence 0.85"
    }
  }
}
rows {
  name {
    value: "seeAlso"
  }
}
rows {
  prefix {
    value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch02-08/"
  }
}
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-fable-5-1"
  }
}
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: "Planned datasets: eca-rule110-single-cell-8000-steps"
    }
  }
}
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: "Pre-registered: no P <= 2000 makes the pattern periodic on the light cone for the last 2000 steps of an 8000-step run and 240 is not a period even on the fixed right-edge windows [-500, 0], [-1000, 0] and [-2000, 0]; or the minimal period is not a divisor of 240; or 240 is a period but the onset lies outside [2000, 3500]. Intermediate outcomes (minimal period a proper divisor of 240; periodicity holds only on a restricted window; onset in [2000, 2500) or (3060, 3500]) are pre-registered as \'mixed\'."
    }
  }
}
rows {
  name {
    value: "evidenceAgainst"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Results are for the single evolution the claim describes; 8000 steps were simulated, so the regimes were verified over roughly 5000 steps (about 24 structure periods, 21 periods of 240)."
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "The onset part of the claim is confirmed: the last transient collision ends at step 2819-2852 (structure regime from 2819, right-edge 240-periodicity from 2852, P = 240 mismatch count at its final level from 2831), within 3% of \'about 2780\'."
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "The period part is only partly confirmed. In the fixed frame the whole pattern except the surviving structure\'s 9-24-cell neighbourhood (and the leading edge) repeats exactly every 240 steps: the right-edge region [-50,0] has exact period 240 (not 7, 71, 80 or 213), and the stripe train coming from the left has fixed-frame period 80 and lattice vector (3 steps, +2 cells), i.e. a train of speed-2/3 gliders. But the surviving structure itself drifts left at 18 cells per 213 steps and its exact space-time period is (213, -18); it is not 240-periodic in any frame, and no frame makes the whole pattern periodic. \'Behavior that repeats every 240 steps\' is therefore accurate for the stripes and the right-edge interaction but not for the surviving structure."
    }
  }
}
rows {
  quad {
    o_literal {
      lex: "The pre-registered primary criterion (exact recurrence on the full light cone) cannot be met by any growing pattern because the leading edge moves; this was a flaw in the pre-registration, and the diagnostic recount excluding 300 leading-edge cells was added after seeing that result. The pre-registered \'mixed\' category (periodicity only on restricted windows) is what the data show."
    }
  }
}
rows {
  name {
    value: "expectedObservation"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Pre-registered: the smallest P in 1..2000 for which a(t+P, x) = a(t, x) for every cell x in the light cone [-t, 0] and every t from some onset t0 to the end of the run equals 240, and that onset t0 (the smallest t from which the relation holds for all later t up to T - P) lies in [2500, 3060], i.e. within 10% of 2780."
    }
  }
}
rows {
  name {
    value: "failCriterion"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Pre-registered: no P <= 2000 makes the pattern periodic on the light cone for the last 2000 steps of an 8000-step run and 240 is not a period even on the fixed right-edge windows [-500, 0], [-1000, 0] and [-2000, 0]; or the minimal period is not a divisor of 240; or 240 is a period but the onset lies outside [2000, 3500]. Intermediate outcomes (minimal period a proper divisor of 240; periodicity holds only on a restricted window; onset in [2000, 2500) or (3060, 3500]) are pre-registered as \'mixed\'."
    }
  }
}
rows {
  name {
    value: "hasConfidence"
  }
}
rows {
  datatype {
    value: "http://www.w3.org/2001/XMLSchema#double"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "0.85"
      datatype: 1
    }
  }
}
rows {
  name {
    value: "hasEvidence"
  }
}
rows {
  prefix {
    value: "https://w3id.org/delphi/resource/evidence/"
  }
}
rows {
  name {
    value: "wolfram2002-ch02-08--claim-test--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: "mixed"
    }
  }
}
rows {
  name {
    value: "hypothesis"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Rule 110 evolved from a single black cell becomes exactly time-periodic (in the fixed frame in which the right edge of the pattern stays at x = 0) with minimal period 240 steps, and the periodic regime begins about 2780 steps after the start."
    }
  }
}
rows {
  name {
    value: "inferenceMethod"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "analysis.py evolves rule 110 from one black cell for 8000 steps (boundary never reached; rows 0-4 checked against the standard 1, 11, 111, 1101, 11111). Part A (pre-registered): for P = 1..2000 it tests exact fixed-frame recurrence a(t+P,x) = a(t,x) over the light cone [-t,0] and over the right-edge windows [-500,0], [-1000,0], [-2000,0] across the last 2000 steps; no P qualifies (the leading edge and the drifting structure break every fixed-frame recurrence). Part B (diagnostic, after A): the P = 240 mismatch is recounted excluding the 300 leading-edge cells, which isolates a single cluster of 9-24 cells that drifts left at -0.0846 cells/step; an exhaustive (P, shift) search in windows of +-40 and +-150 cells around that cluster finds its exact space-time period to be (213 steps, -18 cells), with (240, 0) and (240, -20) never matching; the fixed-frame recurrence of the right-edge windows [-50,0] and [-100,0] and of the stripe region is measured for P in {7, 71, 80, 213, 240, 480}, and the onset times of each regime are determined."
    }
  }
}
rows {
  name {
    value: "passCriterion"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Pre-registered: the smallest P in 1..2000 for which a(t+P, x) = a(t, x) for every cell x in the light cone [-t, 0] and every t from some onset t0 to the end of the run equals 240, and that onset t0 (the smallest t from which the relation holds for all later t up to T - P) lies in [2500, 3060], i.e. within 10% of 2780."
    }
  }
}
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: "wolfram2002-ch02-08"
  }
}
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: "the evolution whose transient length and period are measured"
    }
  }
}
rows {
  name {
    value: "license"
  }
}
rows {
  quad {
    p_iri {
      name_id: 38
    }
    o_literal {
    }
  }
}
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: Elementary cellular automaton rule 110 from a single black cell, 8000 steps (generated by analysis.py)"
    }
  }
}
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: 40
    }
    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-fable-5.1; cursor/claim-tests-wolfram-nks-0123)"
    }
  }
}
rows {
  name {
    value: "actedOnBehalfOf"
  }
}
rows {
  prefix {
    value: "https://orcid.org/"
  }
}
rows {
  name {
    value: "0009-0007-4948-9192"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 41
    }
    o_iri {
      prefix_id: 16
    }
  }
}
rows {
  name {
    value: "usesModel"
  }
}
rows {
  prefix {
    id: 6
    value: "https://w3id.org/delphi/resource/model/"
  }
}
rows {
  name {
    value: "claude-fable-5-1"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 10
    }
    o_iri {
      prefix_id: 6
    }
  }
}
rows {
  name {
    value: "identifier"
  }
}
rows {
  quad {
    s_iri {
      name_id: 44
    }
    p_iri {
      prefix_id: 7
    }
    o_literal {
      lex: "claude-fable-5.1"
    }
  }
}
rows {
  name {
    value: "LanguageModel"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
      name_id: 10
    }
    o_iri {
      prefix_id: 10
      name_id: 46
    }
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 4
    }
    p_iri {
      prefix_id: 5
      name_id: 19
    }
    o_iri {
      prefix_id: 13
    }
  }
}
rows {
  name {
    value: "wasDerivedFrom"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 47
    }
    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: 48
    }
    o_iri {
      prefix_id: 2
    }
  }
}
rows {
  name {
    value: "plan"
  }
}
rows {
  name {
    value: "hadPlan"
  }
}
rows {
  prefix {
    id: 8
    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: 8
    }
  }
}
rows {
  name {
    value: "Activity"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 49
    }
    p_iri {
      prefix_id: 4
      name_id: 10
    }
    o_iri {
      prefix_id: 5
      name_id: 53
    }
  }
}
rows {
  name {
    value: "qualifiedAssociation"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 2
      name_id: 50
    }
  }
}
rows {
  name {
    value: "wasAssociatedWith"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 55
    }
    o_iri {
      prefix_id: 13
      name_id: 20
    }
  }
}
rows {
  name {
    value: "created"
  }
}
rows {
  datatype {
    value: "http://www.w3.org/2001/XMLSchema#dateTime"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 1
      name_id: 1
    }
    p_iri {
      prefix_id: 7
      name_id: 56
    }
    o_literal {
      lex: "2026-11-08T16:24:31.915Z"
      datatype: 3
    }
    g_iri {
      prefix_id: 2
      name_id: 9
    }
  }
}
rows {
  name {
    value: "creator"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 7
      name_id: 57
    }
    o_iri {
      prefix_id: 16
      name_id: 42
    }
  }
}
rows {
  prefix {
    id: 3
    value: "https://creativecommons.org/licenses/by/4.0/"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 7
      name_id: 38
    }
    o_iri {
      prefix_id: 3
      name_id: 2
    }
  }
}
rows {
  prefix {
    id: 15
    value: "http://purl.org/nanopub/x/"
  }
}
rows {
  name {
    value: "hasNanopubType"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 15
      name_id: 58
    }
    o_iri {
      prefix_id: 10
      name_id: 14
    }
  }
}
rows {
  name {
    value: "introduces"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 15
      name_id: 59
    }
    o_iri {
      prefix_id: 9
      name_id: 12
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 11
      name_id: 16
    }
    o_literal {
      lex: "Claim test of wolfram2002-ch02-08: mixed, confidence 0.85"
    }
  }
}
rows {
  name {
    value: "domain"
  }
}
rows {
  prefix {
    id: 14
    value: "https://w3id.org/delphi/resource/domain/"
  }
}
rows {
  name {
    value: "wolfram-nks-2002"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 10
      name_id: 60
    }
    o_iri {
      prefix_id: 14
    }
  }
}
rows {
  name {
    value: "sig"
  }
}
rows {
  name {
    value: "hasAlgorithm"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
    }
    p_iri {
      prefix_id: 15
    }
    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: "tbcdjxwZC2xLyXrfG0sW0q1MO3N87+JkoEwdn24vTC64oPl5n7fyf9yiC2D9cYYDXPKuepX0oGVix7K4sARf6ida8UDrt9uTBcEEUUgshzqEd0EJye5BRYDYCnJi/ZCRnORGIEr3B8moPQKthwTNvQiYaqiKmqUpcaz2GB+sXoF3NIBh/+0rmDwgYHMmRXPAuWevVr9L44STt9ZBZqdAoulol241nm2SAvxZoe41gQOlqdhVGOqyH/hx0xACCNPK8XLafS5D/6pL6ZDxuovY3A4BZx9JQyJr0R75tEBYYvZ2Od+vKMY07edqd/QYcX6IGCMsou2MKadHQ9IVqA2DVw=="
    }
  }
}
rows {
  name {
    value: "hasSignatureTarget"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 1
      name_id: 1
    }
  }
}
rows {
  name {
    value: "signedBy"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 15
      name_id: 67
    }
    o_iri {
      prefix_id: 16
      name_id: 42
    }
  }
}