@prefix this: <https://w3id.org/np/RAeBGiCv6aLdcyxiiejwP2B8uhQbwdNR-OR4YJzSCCOZM> .
@prefix sub: <https://w3id.org/np/RAeBGiCv6aLdcyxiiejwP2B8uhQbwdNR-OR4YJzSCCOZM/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix d: <https://provenance.example/tarski-lean/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix orcid: <https://orcid.org/> .
@prefix credit: <https://credit.niso.org/contributor-roles/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix npx: <http://purl.org/nanopub/x/> .

sub:Head {
  this: a np:Nanopublication;
    np:hasAssertion sub:assertion;
    np:hasProvenance sub:provenance;
    np:hasPublicationInfo sub:pubinfo .
}

sub:assertion {
  d:activity-bare-api-attempt a prov:Activity;
    rdfs:label "First attempt via a bare messages.create() API call (claude_convo_.py, no tools bound)";
    prov:qualifiedAttribution d:attr-bare-api-validation;
    prov:used d:activity-request;
    prov:wasAssociatedWith d:agent-claude-bare-api;
    d:outcome "No machine- or source-verified content was produced by this activity. Superseded by d:activity-claude-code-session below, which had actual tool access.";
    d:producedClaim "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." .
  
  d:activity-claude-code-session a prov:Activity;
    rdfs:label "Claude Code session: retrieval, compilation, axiom audit, grounding, and nanopublication drafting";
    prov:generated d:activity-ground, d:activity-negative-space, d:activity-retrieve-execute,
      d:activity-separate;
    prov:qualifiedAttribution d:attr-session-investigation, d:attr-session-software, d:attr-session-validation,
      d:attr-session-writing;
    prov:wasAssociatedWith d:agent-claude-sonnet-5;
    prov:wasInformedBy d:activity-bare-api-attempt .
  
  d:activity-request a prov:Activity;
    rdfs:label "User specifies the five-step provenance protocol and, on request, the repo URL for Tarski.lean";
    prov:qualifiedAttribution d:attr-request-conceptualization, d:attr-request-supervision;
    prov:wasAssociatedWith d:agent-user .
  
  d:activity-user-review a prov:Activity;
    rdfs:label "User reviews NP-A through NP-E before any signing or publication";
    prov:qualifiedAttribution d:attr-review-supervision;
    prov:wasAssociatedWith d:agent-user;
    d:status "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." .
  
  d:agent-claude-bare-api a prov:SoftwareAgent;
    rdfs:label "Claude Sonnet 5 (Anthropic Messages API, no tools)";
    d:hasCapability "text generation only -- no file access, no shell, no network fetch, no Lean toolchain" .
  
  d:agent-claude-sonnet-5 a prov:SoftwareAgent;
    rdfs:label "Claude Sonnet 5 (Anthropic), running as Claude Code";
    d:hasCapability "Bash, file read/write, WebSearch, and an installed elan/Lean 4.32.0 toolchain" .
  
  d:agent-user a prov:Person;
    rdfs:label "Myles Axton";
    prov:actedOnBehalfOf orcid:0000-0002-8042-4131;
    foaf:name "Myles Axton" .
  
  d:attr-bare-api-validation a prov:Attribution;
    prov:agent d:agent-claude-bare-api;
    prov:hadRole credit:validation .
  
  d:attr-request-conceptualization a prov:Attribution;
    prov:agent d:agent-user;
    prov:hadRole credit:conceptualization .
  
  d:attr-request-supervision a prov:Attribution;
    prov:agent d:agent-user;
    prov:hadRole credit:supervision .
  
  d:attr-review-supervision a prov:Attribution;
    prov:agent d:agent-user;
    prov:hadRole credit:supervision .
  
  d:attr-session-investigation a prov:Attribution;
    prov:agent d:agent-claude-sonnet-5;
    prov:hadRole credit:investigation .
  
  d:attr-session-software a prov:Attribution;
    prov:agent d:agent-claude-sonnet-5;
    prov:hadRole credit:software .
  
  d:attr-session-validation a prov:Attribution;
    prov:agent d:agent-claude-sonnet-5;
    prov:hadRole credit:validation .
  
  d:attr-session-writing a prov:Attribution;
    prov:agent d:agent-claude-sonnet-5;
    prov:hadRole credit:writing-original-draft .
  
  d:claim-set-np-a a d:ClaimSet;
    rdfs:label "NP-A (machine-verified): hashing, ISCC, compilation, axiom audit";
    prov:qualifiedAttribution d:attr-session-investigation, d:attr-session-software;
    prov:wasGeneratedBy d:activity-retrieve-execute .
  
  d:claim-set-np-b a d:ClaimSet;
    rdfs:label "NP-B (source-verified): license, authorship, historical citations, concordance spot-check";
    prov:qualifiedAttribution d:attr-session-investigation;
    prov:wasGeneratedBy d:activity-ground .
  
  d:claim-set-np-c a d:ClaimSet;
    rdfs:label "NP-C (asserted): self-reported claims quoted but not independently verified";
    prov:qualifiedAttribution d:attr-session-writing;
    prov:wasGeneratedBy d:activity-separate .
  
  d:claim-set-np-d a d:ClaimSet;
    rdfs:label "NP-D (negative space): explicit non-claims";
    prov:qualifiedAttribution d:attr-session-writing;
    prov:wasGeneratedBy d:activity-negative-space .
  
  d:claim-set-np-e a d:ClaimSet;
    rdfs:label "NP-E (this record): the drafting/review provenance graph itself";
    prov:qualifiedAttribution d:attr-session-writing;
    prov:wasGeneratedBy d:activity-claude-code-session .
}

sub:provenance {
  sub:assertion dct:description "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.";
    prov:wasGeneratedBy d:activity-claude-code-session .
}

sub:pubinfo {
  this: dct:created "2026-08-10T12:57:30Z"^^xsd:dateTime;
    dct:creator orcid:0000-0002-8042-4131;
    dct:license <https://creativecommons.org/licenses/by/4.0/>;
    rdfs:label "Tarski.lean provenance record: drafting and review process (who produced which claim)";
    d:verificationBucket d:ProcessProvenance .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArujXziJVj9wv0856QcQukv3fw7UGog0oDe9ztQ79aozK0giP2f0DvLD1x87SX3o4W/NbRPI4UyMh8HF5NxKQzuo/sgXz96maOF2RyzJq6wa4PMUH7hVO5bB9KT8lmd9FVa9ZCi3aX47ScTAp3xdHwjCG8k+hNfBOMD9/8nxd70FHp55AwUurX4E/LlWKVTrJSPwtJoENaQz1uu5YPv0AdvBuMDcD7ZXMXE6CvO4yEvQamWctKDnwkb8s1L4e4jEWGurRiTSS/zi+Jff8R/c/TZA78JIxMhXJQp/HVOJRC7IJC9cujx/b3UFZbCHUqxWqvckiCxmP9GR9Z95McV780wIDAQAB";
    npx:hasSignature "qwab78tZhOq8DabP7Ncc3dBXVnV6kaE7Mu+SLDzXPzjst4sqUae0C1Y9r7w/en2VffcJfJDuH+jabv89hjNePgSbR6JQ9gKfzv91SpPcYYNrMbnSHIuCgplBhRUFIqtU//1CcOUENNc961wIwlRpJpN8tczSCpJHzYWTj6LfbSlZYUSyTtaXNHbMTesYlK4hrdRRtYny4oiR+y740Fj9mPxdJVJf6V4+YJWSRwJ92wSdQ0kkHkDQQ7+dqmcvRzlLzL0x80lkAOcolVmydXxu9GZqHtLrXh9JT4joI6MwU6q8Asy9ZkEpmFwEhZIvCvzWit9m+I0Tvc3LQj3sIL9avw==";
    npx:hasSignatureTarget this:;
    npx:signedBy orcid:0000-0002-8042-4131 .
}