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: "RAeBGiCv6aLdcyxiiejwP2B8uhQbwdNR-OR4YJzSCCOZM" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAeBGiCv6aLdcyxiiejwP2B8uhQbwdNR-OR4YJzSCCOZM/" } } 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: "https://credit.niso.org/contributor-roles/" } } rows { namespace { name: "credit" value { prefix_id: 9 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/ns/prov#" } } rows { namespace { name: "prov" value { prefix_id: 10 name_id: 2 } } } rows { prefix { value: "http://xmlns.com/foaf/0.1/" } } rows { namespace { name: "foaf" value { prefix_id: 11 name_id: 2 } } } rows { prefix { value: "http://purl.org/nanopub/x/" } } rows { namespace { name: "npx" value { prefix_id: 12 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: 13 } o_iri { prefix_id: 3 } } } rows { name { value: "activity-bare-api-attempt" } } rows { name { value: "Activity" } } rows { quad { s_iri { prefix_id: 5 } o_iri { prefix_id: 10 } g_iri { prefix_id: 2 name_id: 4 } } } rows { name { value: "label" } } rows { quad { p_iri { prefix_id: 7 name_id: 14 } o_literal { lex: "First attempt via a bare messages.create() API call (claude_convo_.py, no tools bound)" } } } rows { name { value: "qualifiedAttribution" } } rows { name { value: "attr-bare-api-validation" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 } } } rows { name { value: "used" } } rows { name { value: "activity-request" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 } } } rows { name { value: "wasAssociatedWith" } } rows { name { value: "agent-claude-bare-api" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 } } } rows { name { value: "outcome" } } rows { quad { p_iri { } o_literal { lex: "No machine- or source-verified content was produced by this activity. Superseded by d:activity-claude-code-session below, which had actual tool access." } } } rows { name { value: "producedClaim" } } rows { quad { p_iri { } o_literal { lex: "Explicit refusal to fabricate hash/ISCC/compilation/concordance results, on the grounds that no tools were available in that call; produced only a negative-space accounting, itself truncated at max_tokens=16000 before completion." } } } rows { name { value: "activity-claude-code-session" } } rows { quad { s_iri { } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 13 } } } rows { quad { p_iri { prefix_id: 7 } o_literal { lex: "Claude Code session: retrieval, compilation, axiom audit, grounding, and nanopublication drafting" } } } rows { name { value: "generated" } } rows { name { value: "activity-ground" } } rows { quad { p_iri { prefix_id: 10 name_id: 24 } o_iri { prefix_id: 5 } } } rows { name { value: "activity-negative-space" } } rows { quad { o_iri { } } } rows { name { value: "activity-retrieve-execute" } } rows { quad { o_iri { } } } rows { name { value: "activity-separate" } } rows { quad { o_iri { } } } rows { name { value: "attr-session-investigation" } } rows { quad { p_iri { prefix_id: 10 name_id: 15 } o_iri { prefix_id: 5 name_id: 29 } } } rows { name { value: "attr-session-software" } } rows { quad { o_iri { } } } rows { name { value: "attr-session-validation" } } rows { quad { o_iri { } } } rows { name { value: "attr-session-writing" } } rows { quad { o_iri { } } } rows { name { value: "agent-claude-sonnet-5" } } rows { quad { p_iri { prefix_id: 10 name_id: 19 } o_iri { prefix_id: 5 name_id: 33 } } } rows { name { value: "wasInformedBy" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 name_id: 12 } } } rows { quad { s_iri { name_id: 18 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 13 } } } rows { quad { p_iri { prefix_id: 7 } o_literal { lex: "User specifies the five-step provenance protocol and, on request, the repo URL for Tarski.lean" } } } rows { name { value: "attr-request-conceptualization" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 name_id: 35 } } } rows { name { value: "attr-request-supervision" } } rows { quad { o_iri { } } } rows { name { value: "agent-user" } } rows { quad { p_iri { prefix_id: 10 name_id: 19 } o_iri { prefix_id: 5 name_id: 37 } } } rows { name { value: "activity-user-review" } } rows { quad { s_iri { } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 13 } } } rows { quad { p_iri { prefix_id: 7 } o_literal { lex: "User reviews NP-A through NP-E before any signing or publication" } } } rows { name { value: "attr-review-supervision" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 name_id: 39 } } } rows { quad { p_iri { prefix_id: 10 name_id: 19 } o_iri { prefix_id: 5 name_id: 37 } } } rows { name { value: "status" } } rows { quad { p_iri { name_id: 40 } o_literal { lex: "Pending at the time NP-E was drafted -- this activity node is declared in advance of its own completion, and its outcome (approved / revised / rejected) is not yet an assertable fact. See NP-D for the general rule that unsigned, unpublished status holds for this entire set." } } } rows { name { value: "SoftwareAgent" } } rows { quad { s_iri { name_id: 20 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 41 } } } rows { quad { p_iri { prefix_id: 7 name_id: 14 } o_literal { lex: "Claude Sonnet 5 (Anthropic Messages API, no tools)" } } } rows { name { value: "hasCapability" } } rows { quad { p_iri { prefix_id: 5 name_id: 42 } o_literal { lex: "text generation only -- no file access, no shell, no network fetch, no Lean toolchain" } } } rows { quad { s_iri { name_id: 33 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 41 } } } rows { quad { p_iri { prefix_id: 7 name_id: 14 } o_literal { lex: "Claude Sonnet 5 (Anthropic), running as Claude Code" } } } rows { quad { p_iri { prefix_id: 5 name_id: 42 } o_literal { lex: "Bash, file read/write, WebSearch, and an installed elan/Lean 4.32.0 toolchain" } } } rows { name { value: "Person" } } rows { quad { s_iri { name_id: 37 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 43 } } } rows { quad { p_iri { prefix_id: 7 name_id: 14 } o_literal { lex: "Myles Axton" } } } rows { name { value: "actedOnBehalfOf" } } rows { name { value: "0000-0002-8042-4131" } } rows { quad { p_iri { prefix_id: 10 name_id: 44 } o_iri { prefix_id: 8 } } } rows { name { value: "name" } } rows { quad { p_iri { prefix_id: 11 } o_literal { lex: "Myles Axton" } } } rows { name { value: "Attribution" } } rows { quad { s_iri { prefix_id: 5 name_id: 16 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 47 } } } rows { name { value: "agent" } } rows { quad { p_iri { } o_iri { prefix_id: 5 name_id: 20 } } } rows { name { value: "hadRole" } } rows { name { value: "validation" } } rows { quad { p_iri { prefix_id: 10 name_id: 49 } o_iri { prefix_id: 9 } } } rows { quad { s_iri { prefix_id: 5 name_id: 35 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 47 } } } rows { quad { p_iri { } o_iri { prefix_id: 5 name_id: 37 } } } rows { name { value: "conceptualization" } } rows { quad { p_iri { prefix_id: 10 name_id: 49 } o_iri { prefix_id: 9 name_id: 51 } } } rows { quad { s_iri { prefix_id: 5 name_id: 36 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 47 } } } rows { quad { p_iri { } o_iri { prefix_id: 5 name_id: 37 } } } rows { name { value: "supervision" } } rows { quad { p_iri { prefix_id: 10 name_id: 49 } o_iri { prefix_id: 9 name_id: 52 } } } rows { quad { s_iri { prefix_id: 5 name_id: 39 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 47 } } } rows { quad { p_iri { } o_iri { prefix_id: 5 name_id: 37 } } } rows { quad { p_iri { prefix_id: 10 name_id: 49 } o_iri { prefix_id: 9 name_id: 52 } } } rows { quad { s_iri { prefix_id: 5 name_id: 29 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 47 } } } rows { quad { p_iri { } o_iri { prefix_id: 5 name_id: 33 } } } rows { name { value: "investigation" } } rows { quad { p_iri { prefix_id: 10 name_id: 49 } o_iri { prefix_id: 9 name_id: 53 } } } rows { quad { s_iri { prefix_id: 5 name_id: 30 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 47 } } } rows { quad { p_iri { } o_iri { prefix_id: 5 name_id: 33 } } } rows { name { value: "software" } } rows { quad { p_iri { prefix_id: 10 name_id: 49 } o_iri { prefix_id: 9 name_id: 54 } } } rows { quad { s_iri { prefix_id: 5 name_id: 31 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 47 } } } rows { quad { p_iri { } o_iri { prefix_id: 5 name_id: 33 } } } rows { quad { p_iri { prefix_id: 10 name_id: 49 } o_iri { prefix_id: 9 } } } rows { quad { s_iri { prefix_id: 5 name_id: 32 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 10 name_id: 47 } } } rows { quad { p_iri { } o_iri { prefix_id: 5 name_id: 33 } } } rows { name { value: "writing-original-draft" } } rows { quad { p_iri { prefix_id: 10 name_id: 49 } o_iri { prefix_id: 9 name_id: 55 } } } rows { name { value: "claim-set-np-a" } } rows { name { value: "ClaimSet" } } rows { quad { s_iri { prefix_id: 5 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 5 name_id: 57 } } } rows { quad { p_iri { prefix_id: 7 name_id: 14 } o_literal { lex: "NP-A (machine-verified): hashing, ISCC, compilation, axiom audit" } } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 name_id: 29 } } } rows { quad { o_iri { } } } rows { name { value: "wasGeneratedBy" } } rows { quad { p_iri { prefix_id: 10 name_id: 58 } o_iri { prefix_id: 5 name_id: 27 } } } rows { name { value: "claim-set-np-b" } } rows { quad { s_iri { name_id: 59 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 5 name_id: 57 } } } rows { quad { p_iri { prefix_id: 7 name_id: 14 } o_literal { lex: "NP-B (source-verified): license, authorship, historical citations, concordance spot-check" } } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 name_id: 29 } } } rows { quad { p_iri { prefix_id: 10 name_id: 58 } o_iri { prefix_id: 5 name_id: 25 } } } rows { name { value: "claim-set-np-c" } } rows { quad { s_iri { name_id: 60 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 5 name_id: 57 } } } rows { quad { p_iri { prefix_id: 7 name_id: 14 } o_literal { lex: "NP-C (asserted): self-reported claims quoted but not independently verified" } } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 name_id: 32 } } } rows { quad { p_iri { prefix_id: 10 name_id: 58 } o_iri { prefix_id: 5 name_id: 28 } } } rows { name { value: "claim-set-np-d" } } rows { quad { s_iri { name_id: 61 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 5 name_id: 57 } } } rows { quad { p_iri { prefix_id: 7 name_id: 14 } o_literal { lex: "NP-D (negative space): explicit non-claims" } } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 name_id: 32 } } } rows { quad { p_iri { prefix_id: 10 name_id: 58 } o_iri { prefix_id: 5 name_id: 26 } } } rows { name { value: "claim-set-np-e" } } rows { quad { s_iri { name_id: 62 } p_iri { prefix_id: 13 name_id: 10 } o_iri { prefix_id: 5 name_id: 57 } } } rows { quad { p_iri { prefix_id: 7 name_id: 14 } o_literal { lex: "NP-E (this record): the drafting/review provenance graph itself" } } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 5 name_id: 32 } } } rows { quad { p_iri { prefix_id: 10 name_id: 58 } o_iri { prefix_id: 5 name_id: 23 } } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 2 name_id: 4 } p_iri { prefix_id: 4 name_id: 63 } o_literal { lex: "This graph is a first-person account of the session\'s own activities and is therefore self-attested by the same agent (d:agent-claude-sonnet-5) that performed them, checked against no external source -- it is provenance about provenance, not a claim about Tarski.lean itself." } g_iri { prefix_id: 2 name_id: 7 } } } rows { quad { p_iri { prefix_id: 10 name_id: 58 } o_iri { prefix_id: 5 name_id: 23 } } } 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: 64 } o_literal { lex: "2026-08-10T12:57:30Z" datatype: 1 } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 4 name_id: 65 } o_iri { prefix_id: 8 name_id: 45 } } } rows { name { value: "license" } } rows { prefix { value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 4 name_id: 66 } o_iri { prefix_id: 14 name_id: 2 } } } rows { quad { p_iri { prefix_id: 7 name_id: 14 } o_literal { lex: "Tarski.lean provenance record: drafting and review process (who produced which claim)" } } } rows { name { value: "verificationBucket" } } rows { name { value: "ProcessProvenance" } } rows { quad { p_iri { prefix_id: 5 name_id: 67 } o_iri { } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 2 } p_iri { prefix_id: 12 } 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: "qwab78tZhOq8DabP7Ncc3dBXVnV6kaE7Mu+SLDzXPzjst4sqUae0C1Y9r7w/en2VffcJfJDuH+jabv89hjNePgSbR6JQ9gKfzv91SpPcYYNrMbnSHIuCgplBhRUFIqtU//1CcOUENNc961wIwlRpJpN8tczSCpJHzYWTj6LfbSlZYUSyTtaXNHbMTesYlK4hrdRRtYny4oiR+y740Fj9mPxdJVJf6V4+YJWSRwJ92wSdQ0kkHkDQQ7+dqmcvRzlLzL0x80lkAOcolVmydXxu9GZqHtLrXh9JT4joI6MwU6q8Asy9ZkEpmFwEhZIvCvzWit9m+I0Tvc3LQj3sIL9avw==" } } } 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: 12 name_id: 74 } o_iri { prefix_id: 8 name_id: 45 } } }