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: "RAnXdV6NLvYVkytweYLvFpZTAHq3NDaKgs1ebf5z7mjlo" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAnXdV6NLvYVkytweYLvFpZTAHq3NDaKgs1ebf5z7mjlo/" } } 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: "hamilton-rule--claim-test--overnight-hamiltons-moran" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "Enumerate all 64 labelled binary configurations of six haploids in three fixed pairs using fractions.Fraction. For each configuration, compute exact fitnesses and all Moran birth-death transitions, then uniformly average transitions conditional on cooperator count to emit the requested seven-row table. Fit exact ordinary least-squares coefficients to pooled individual records at each count, freeze the count-three coefficients for the additive predictor, and compare both predictor signs with the aggregated expected frequency change." } 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 preregistered-pass indicator (n = 5, none; exact rational arithmetic). Interpretation: The method cannot literally define the requested seven-state chain: with three fixed pairs, configurations having the same cooperator count can have different transition probabilities, and the absorbing no-mutation chain has no unique stationary conditional distribution on transient three-cooperator configurations. To make the requested count table computable without adding data or stochastic error, the analysis enumerated all 64 labelled configurations and uniformly averaged configurations conditional on each count; this is an explicit closure convention, not a true lumping of the fixed-pair chain. Under that convention the pre-registered criterion fails because the refit predictor disagrees at counts 2 and 3, but this does not refute the regression identity or the target claim because the averaging mixes distinct population states and their fitness normalizations." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of hamilton-rule (overnight-hamiltons-moran): inconclusive, confidence 0.99" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/math-bio-claims/hamilton-rule/overnight-hamiltons-moran/" } } 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-gpt-5-6-sol" } } 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 { } } } 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: "The frozen additive predictor agrees in sign at every state, or the refit regression disagrees with any nonzero exact expected frequency change." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "The computation tests a finite closure convention, not whether organisms obey Hamilton\'s rule and not the full exact-scope problem." } } } rows { quad { o_literal { lex: "The phrase stationary-conditional fitnesses is undefined without mutation or another conditioning construction because the stated chain is absorbing." } } } rows { quad { o_literal { lex: "Uniform conditional averaging was not specified by the approach and is not preserved by the fixed-pair Moran dynamics." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "The refit regression matches the sign of exact expected frequency change at every non-absorbing state with nonzero expected change, and the frozen predictor disagrees in sign at least once at an endpoint state." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "The frozen additive predictor agrees in sign at every state, or the refit regression disagrees with any nonzero exact expected frequency change." } } } rows { name { value: "hasConfidence" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#double" } } rows { quad { p_iri { } o_literal { lex: "0.99" datatype: 1 } } } rows { name { value: "hasEvidence" } } rows { name { value: "nil" } } rows { quad { p_iri { } o_iri { prefix_id: 4 } } } rows { name { value: "hasVerdict" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "inconclusive" } } } rows { name { value: "hypothesis" } } rows { quad { p_iri { } o_literal { lex: "In the specified exact N = 6 paired Moran model, a regression predictor refit at each non-absorbing state has the same sign as exact expected frequency change, while coefficients frozen from frequency 1/2 have the wrong sign in at least one endpoint state." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "Enumerate all 64 labelled binary configurations of six haploids in three fixed pairs using fractions.Fraction. For each configuration, compute exact fitnesses and all Moran birth-death transitions, then uniformly average transitions conditional on cooperator count to emit the requested seven-row table. Fit exact ordinary least-squares coefficients to pooled individual records at each count, freeze the count-three coefficients for the additive predictor, and compare both predictor signs with the aggregated expected frequency change." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "The refit regression matches the sign of exact expected frequency change at every non-absorbing state with nonzero expected change, and the frozen predictor disagrees in sign at least once at an endpoint state." } } } 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: "hamilton-rule" } } rows { name { value: "hasAssessment" } } rows { quad { s_iri { prefix_id: 14 } p_iri { prefix_id: 10 } o_iri { prefix_id: 9 name_id: 12 } } } 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: 38 } g_iri { prefix_id: 2 name_id: 7 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "delphisci claim tester (gpt-5.6-sol; hamiltons-rule-exact-scope--grok-4-7--2)" } } } 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: 39 } o_iri { prefix_id: 15 } } } rows { name { value: "usesModel" } } rows { prefix { value: "https://w3id.org/delphi/resource/model/" } } rows { name { value: "gpt-5-6-sol" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 16 } } } rows { name { value: "identifier" } } rows { quad { s_iri { name_id: 42 } p_iri { prefix_id: 7 } o_literal { lex: "gpt-5.6-sol" } } } rows { name { value: "LanguageModel" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 44 } } } 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: 45 } 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: 46 } o_iri { prefix_id: 2 } } } rows { name { value: "plan" } } rows { name { value: "hadPlan" } } rows { prefix { id: 6 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: 6 } } } rows { name { value: "Activity" } } rows { quad { s_iri { prefix_id: 2 name_id: 47 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 51 } } } rows { name { value: "qualifiedAssociation" } } rows { quad { p_iri { } o_iri { prefix_id: 2 name_id: 48 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 name_id: 53 } 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: 54 } o_literal { lex: "2026-11-08T16:24:31.885Z" datatype: 3 } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 7 name_id: 55 } o_iri { prefix_id: 15 name_id: 40 } } } rows { name { value: "license" } } rows { prefix { id: 8 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 56 } o_iri { prefix_id: 8 name_id: 2 } } } rows { prefix { id: 3 value: "http://purl.org/nanopub/x/" } } rows { name { value: "hasNanopubType" } } rows { quad { p_iri { prefix_id: 3 name_id: 57 } o_iri { prefix_id: 10 name_id: 14 } } } rows { name { value: "introduces" } } rows { quad { p_iri { prefix_id: 3 name_id: 58 } o_iri { prefix_id: 9 name_id: 12 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Claim test of hamilton-rule (overnight-hamiltons-moran): inconclusive, confidence 0.99" } } } rows { name { value: "domain" } } rows { prefix { id: 14 value: "https://w3id.org/delphi/resource/domain/" } } rows { name { value: "math-bio-claims" } } rows { quad { p_iri { prefix_id: 10 name_id: 59 } o_iri { prefix_id: 14 } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 2 } p_iri { prefix_id: 3 } 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: "ZekaOrEK1c7rVPfKS1sEMwrF6t4srAmOltgMAe65dmdr9C1a8scKm+eNyGX7492ea+qyIbY543kedqMYkTdH6h4WaKAub0eHa+ot/ZU/ZawTubME2OhPAOW5zlT7dC5cCGdvm9oePDJILXTSp9KTAIvhSjLfuPIVM9V1ZrvRa6DSFsDqTxycP/cLulcF+WmQOEYARskvt2YrmmdccIBJFygtSVa6R/wQWaXN0juFvzzKKXPO4nRg5F6iKRx6zMfoi2KxjQTVaS39e8yIQusikikDcJk/KCdahT/tyWjVdNt8sK9mFtqxKF7gH9SyhXu/NClVfqnut1zkNrfJ3msQrg==" } } } 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: 3 name_id: 66 } o_iri { prefix_id: 15 name_id: 40 } } }