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: "RAswMzkp30syJjWqfaFl5wSTr7e0eS2bkl54EyrauUXqk"
  }
}
rows {
  namespace {
    name: "this"
    value {
      prefix_id: 1
    }
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/RAswMzkp30syJjWqfaFl5wSTr7e0eS2bkl54EyrauUXqk/"
  }
}
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://purl.org/dc/terms/"
  }
}
rows {
  namespace {
    name: "dct"
    value {
      prefix_id: 4
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "https://provenance.example/tarski-lean/"
  }
}
rows {
  namespace {
    name: "d"
    value {
      prefix_id: 5
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/2001/XMLSchema#"
  }
}
rows {
  namespace {
    name: "xsd"
    value {
      prefix_id: 6
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/2000/01/rdf-schema#"
  }
}
rows {
  namespace {
    name: "rdfs"
    value {
      prefix_id: 7
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "https://orcid.org/"
  }
}
rows {
  namespace {
    name: "orcid"
    value {
      prefix_id: 8
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/ns/prov#"
  }
}
rows {
  namespace {
    name: "prov"
    value {
      prefix_id: 9
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://purl.org/nanopub/x/"
  }
}
rows {
  namespace {
    name: "npx"
    value {
      prefix_id: 10
      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 {
  prefix {
    value: "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  }
}
rows {
  name {
    value: "type"
  }
}
rows {
  name {
    value: "Nanopublication"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 11
    }
    o_iri {
      prefix_id: 3
    }
  }
}
rows {
  name {
    value: "artifact-Tarski-lean"
  }
}
rows {
  name {
    value: "hasNegativeSpaceRecord"
  }
}
rows {
  name {
    value: "negspace-Tarski-lean"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 5
    }
    p_iri {
    }
    o_iri {
    }
    g_iri {
      prefix_id: 2
      name_id: 4
    }
  }
}
rows {
  name {
    value: "NegativeSpaceRecord"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 5
      name_id: 14
    }
    p_iri {
      prefix_id: 11
      name_id: 10
    }
    o_iri {
      prefix_id: 5
      name_id: 15
    }
  }
}
rows {
  name {
    value: "label"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 7
    }
    o_literal {
      lex: "Explicit record of what is NOT claimed about Tarski.lean by this nanopublication set"
    }
  }
}
rows {
  name {
    value: "noClaimOfMathematicalNovelty"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
    }
    o_literal {
      lex: "Nothing in this set claims the mathematics is novel. The artifact\'s own header credits Euclid, Pasch (1882), Hilbert (1899), Tarski (1926-27), Szmielew, Schwabhauser, Gupta, and the GeoCoq project as prior art; this session did not re-verify the Pasch (1882) or Hilbert (1899) attributions specifically (only the Tarski/Givant 1999, SST 1983, and GeoCoq citations were checked, per NP-B) -- their absence from NP-B\'s checked-citation list is itself a gap, not a confirmation."
    }
  }
}
rows {
  name {
    value: "noCodeReviewRecord"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "GitHub\'s commit API shows commit 802b1d5\'s author and committer are both attributed to the same person (Myles Axton, with GitHub as a formal API-committer identity) on the main branch directly -- no separate reviewer, no pull request, no second-party sign-off was found for this commit."
    }
  }
}
rows {
  name {
    value: "noCryptographicSignatureYet"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "As of this record\'s drafting, none of the five nanopublications in this set (NP-A through NP-E) has been cryptographically signed or published to a nanopub registry. They exist only as unsigned draft TriG files pending the artifact author\'s explicit instruction to sign and publish, per this session\'s own operating rules."
    }
  }
}
rows {
  name {
    value: "noDraftingProcessVerification"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "No session transcript, chat export, or other record of the claimed Claude-assisted drafting process was available to check. NP-C records the claim as self-reported only."
    }
  }
}
rows {
  name {
    value: "noFullChapterVerification"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "The 1983 Schwabhauser-Szmielew-Tarski book was not opened cover-to-cover to check every \'SST n.m\' tag against its actual content. Only the SST-7.13 / GeoCoq-l7_13 pairing was spot-checked (NP-B). Chapters 2, 3, and 4 attributions (Stages 1-3, and the Ch04 block) remain unverified against the primary source."
    }
  }
}
rows {
  name {
    value: "noIsccRegistryLookup"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "The ISCC codes in NP-A were computed locally with iscc-core v1.3.0 against the fetched bytes. No lookup was performed against any ISCC registry or declaration service to check whether this ISCC has been previously declared, licensed, or associated with a different claimed origin."
    }
  }
}
rows {
  name {
    value: "noLicenseForThisProvenanceRecord"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "NP-A through NP-E declare cc:by 4.0 licensing on themselves (the provenance record), which is independent of and should not be confused with the Apache-2.0 license on Tarski.lean itself (recorded in NP-B)."
    }
  }
}
rows {
  name {
    value: "noOriginalityDiffPerformed"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "No line-by-line diff of this file\'s proof terms against GeoCoq\'s Coq source was performed. \'Does not port GeoCoq code\' is the author\'s assertion (NP-C), not an independently verified fact."
    }
  }
}
rows {
  name {
    value: "noPriorDraftWithdrawn"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "This session found no earlier draft of this provenance record (by this agent or another) to withdraw or supersede. If one exists elsewhere and asserted machine- or source-verified status without the retrieval/compilation/grounding actually being performed, that hypothetical prior claim is treated as withdrawn by omission: it is not carried forward or relied upon here."
    }
  }
}
rows {
  name {
    value: "noTrustyUriYet"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "None of these records has a trusty URI yet. Cross-references between NP-A/B/C/D/E in this draft use a shared stable external namespace (https://provenance.example/tarski-lean/) rather than each other\'s nanopub-internal sub: IRIs, specifically so the references keep resolving before and after signing -- but no record here is yet independently retrievable via a resolvable trusty URI."
    }
  }
}
rows {
  name {
    value: "activity-negative-space"
  }
}
rows {
  name {
    value: "Activity"
  }
}
rows {
  quad {
    s_iri {
    }
    p_iri {
      prefix_id: 11
      name_id: 10
    }
    o_iri {
      prefix_id: 9
      name_id: 28
    }
    g_iri {
      prefix_id: 2
      name_id: 7
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 7
      name_id: 16
    }
    o_literal {
      lex: "Enumerate what was not claimed, checked, signed, or otherwise established"
    }
  }
}
rows {
  name {
    value: "wasAssociatedWith"
  }
}
rows {
  name {
    value: "agent-claude-sonnet-5"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 9
      name_id: 29
    }
    o_iri {
      prefix_id: 5
    }
  }
}
rows {
  name {
    value: "SoftwareAgent"
  }
}
rows {
  quad {
    s_iri {
      name_id: 30
    }
    p_iri {
      prefix_id: 11
      name_id: 10
    }
    o_iri {
      prefix_id: 9
      name_id: 31
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 7
      name_id: 16
    }
    o_literal {
      lex: "Claude Sonnet 5 (Anthropic), running as Claude Code"
    }
  }
}
rows {
  name {
    value: "description"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 4
    }
    p_iri {
      prefix_id: 4
      name_id: 32
    }
    o_literal {
      lex: "This graph has no external source to derive from by design -- it is a record of absence, generated by reviewing NP-A/B/C for what they did NOT establish, not by consulting any additional document."
    }
  }
}
rows {
  name {
    value: "wasGeneratedBy"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 9
    }
    o_iri {
      prefix_id: 5
      name_id: 27
    }
  }
}
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: 4
      name_id: 34
    }
    o_literal {
      lex: "2026-08-10T12:57:30Z"
      datatype: 1
    }
    g_iri {
      prefix_id: 2
      name_id: 9
    }
  }
}
rows {
  name {
    value: "creator"
  }
}
rows {
  name {
    value: "0000-0002-8042-4131"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
      name_id: 35
    }
    o_iri {
      prefix_id: 8
    }
  }
}
rows {
  name {
    value: "license"
  }
}
rows {
  prefix {
    value: "https://creativecommons.org/licenses/by/4.0/"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
    }
    o_iri {
      prefix_id: 12
      name_id: 2
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 7
      name_id: 16
    }
    o_literal {
      lex: "Tarski.lean: negative space -- what is explicitly not claimed or verified"
    }
  }
}
rows {
  name {
    value: "verificationBucket"
  }
}
rows {
  name {
    value: "NegativeSpace"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 38
    }
    o_iri {
    }
  }
}
rows {
  name {
    value: "sig"
  }
}
rows {
  name {
    value: "hasAlgorithm"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
    }
    p_iri {
      prefix_id: 10
    }
    o_literal {
      lex: "RSA"
    }
  }
}
rows {
  name {
    value: "hasPublicKey"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArujXziJVj9wv0856QcQukv3fw7UGog0oDe9ztQ79aozK0giP2f0DvLD1x87SX3o4W/NbRPI4UyMh8HF5NxKQzuo/sgXz96maOF2RyzJq6wa4PMUH7hVO5bB9KT8lmd9FVa9ZCi3aX47ScTAp3xdHwjCG8k+hNfBOMD9/8nxd70FHp55AwUurX4E/LlWKVTrJSPwtJoENaQz1uu5YPv0AdvBuMDcD7ZXMXE6CvO4yEvQamWctKDnwkb8s1L4e4jEWGurRiTSS/zi+Jff8R/c/TZA78JIxMhXJQp/HVOJRC7IJC9cujx/b3UFZbCHUqxWqvckiCxmP9GR9Z95McV780wIDAQAB"
    }
  }
}
rows {
  name {
    value: "hasSignature"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "Y3+tuBv69e8GcBP6GX5hTE/e0aJcEK67B8DMIw9fPFd+K4uHSmVBWvAFzkxd3BqiGsplhI/E2VuAgsK6mTZyE9vU0a2wSGqVsO8Vcyz5mIB2PWoVpubagalkMKJUzrOxpDFnk5o+5jBG+MQQqP9nnl6gaKWhTdJ1fpN95JylN3Lak2oOP/Y02R5fhLmM8apoJyTrsSXSUiMErsLq2Hnwgw+6MAws49z6oN7eG8C6BwWQpfeFynoBs7zkRmPNnAKVCPguBfaVBVJ7pjxvFEBdSjXABXP/UClzYCdmuf5zG+LGfArIzHz8cAvdoMtaXEyxdXleug4ORbSI3ZE/e00lRg=="
    }
  }
}
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: 10
      name_id: 45
    }
    o_iri {
      prefix_id: 8
      name_id: 36
    }
  }
}