https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/Head https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/assertion https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/provenance https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/pubinfo https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/assertion https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test http://purl.org/dc/terms/description analysis.py enumerates all 764 involutions of the 8 binary strings of length 3 against all 256 subsets, and for length 4 the complement, reversal and identity maps plus 300 seeded random involutions against all 65536 subsets, recording for each (involution, set) whether the set is complete, consistent and of size exactly half. It then enumerates all 1485 multiway systems with one or two length-non-decreasing rules (|lhs| 1-2, |rhs| = |lhs| or |lhs|+1) over {A,B}, computes the exact closure of 'A' restricted to strings of length <= 6, and evaluates the same quantities at each length 2-6 under complement and reversal negation. Runtime 2 s. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/Assessment https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test http://www.w3.org/2000/01/rdf-schema#comment Measured: 80 stabilised (multiway system, length, negation) cases that generate exactly half of the strings but are not complete and consistent (n = 14850, exact enumeration). Interpretation: The book (pp. 796-797) states the criterion as an equivalence ('the criterion for whether a system is complete and consistent is simply that exactly half ... are eventually generated') but argues only the two contrapositive directions. 'Negation' is taken as the book says: any operation that preserves length and gives back the original when applied twice (a length-preserving involution), including ones with fixed points (strings equal to their own negation), for which the test records separately what happens. 'Complete' = for every string, it or its negation is generated; 'consistent' = for no string are both generated (a fixed point that is generated counts as both). 'Eventually generated' is made exact by restricting to length-non-decreasing rules so that the generated set at each length is a finite closure. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test http://www.w3.org/2000/01/rdf-schema#label Claim test of wolfram2002-ch12-39: mixed, confidence 0.9 https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test http://www.w3.org/2000/01/rdf-schema#seeAlso https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch12-39/result.json https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/admissibleDatasets Planned datasets: multiway-half-criterion-generator https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/assessmentType claim-test/0.1.0 https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/dataKind computational https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/disconfirmingObservation Pre-registered. REFUTES if the biconditional fails in both directions, or if either of the book's two directional arguments (more than half => inconsistent; less than half => incomplete) has a counterexample. MIXED if the three implications the book argues for (more than half => inconsistent; less than half => incomplete; hence complete and consistent => exactly half) hold without exception but the converse (exactly half => complete and consistent) has counterexamples both among arbitrary sets and among stabilised generated sets of actual multiway systems. The number of counterexamples and the role of involution fixed points are reported. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/evidenceAgainst For any negation with fixed points (e.g. reversal, where palindromes are their own negation) no set is complete and consistent at all (0 of 65536 sets at length 4; 0 of the 659 fixed-point involutions at length 3 admit one), so the 'exactly half' count carries no information about completeness and consistency in that case. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The converse that makes 'exactly half' a criterion (exactly half => complete and consistent) is false: it fails for 3.94 million of the enumerated (involution, set) pairs and for 80 stabilised cases among the 1485 small multiway systems, e.g. {A -> BB, BB -> AA} from A generates exactly half of the length-6 strings while being both inconsistent and incomplete. The criterion is therefore necessary but not sufficient; it becomes sufficient only if consistency (or completeness) is known independently. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The multiway enumeration is restricted to length-non-decreasing rules so that 'eventually generated' is exactly computable; this restriction excludes systems whose generated sets at a given length never stabilise, but the counterexamples found are exact. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The three implications the book actually argues (more than half => inconsistent; less than half => incomplete; hence complete and consistent => exactly half) hold without exception in every enumerated case, for every length-preserving involution including those with fixed points. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/expectedObservation Pre-registered. Part 1 (sets): for length n = 3, enumerate all 764 involutions of the 8 strings and all 256 subsets S; for n = 4, take 300 pseudo-random involutions of the 16 strings (numpy seed 20261031, including the complement map, reversal and the identity-on-some-strings cases) and all 65536 subsets. For each (involution, S) record complete, consistent, |S| versus half. Part 2 (multiway systems): enumerate all multiway systems over {A,B} with one or two rules lhs -> rhs, |lhs| in {1,2}, |rhs| in {|lhs|, |lhs|+1} (length-non-decreasing so that the set of generated strings of each length <= 6 stabilises and can be computed exactly), started from the string 'A' taken to represent true; for each system and each length n = 2..6 record the exactly generated set, under negation = complement and under negation = reversal. PASS (supports) if in Part 1 and Part 2 there is no counterexample to either direction of the biconditional (complete and consistent <=> exactly half) for any involution. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/failCriterion Pre-registered. REFUTES if the biconditional fails in both directions, or if either of the book's two directional arguments (more than half => inconsistent; less than half => incomplete) has a counterexample. MIXED if the three implications the book argues for (more than half => inconsistent; less than half => incomplete; hence complete and consistent => exactly half) hold without exception but the converse (exactly half => complete and consistent) has counterexamples both among arbitrary sets and among stabilised generated sets of actual multiway systems. The number of counterexamples and the role of involution fixed points are reported. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/hasConfidence 0.9 https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/wolfram2002-ch12-39--claim-test--dataset-1 https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/hasVerdict mixed https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/hypothesis If the claim holds, then for every length-preserving involution 'negation' on binary strings and every set S of strings of a given length that a multiway system could eventually generate, S is complete (every string or its negation is in S) and consistent (no string together with its negation is in S) if and only if |S| is exactly half of all strings of that length; in particular more than half implies inconsistent and less than half implies incomplete. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/inferenceMethod analysis.py enumerates all 764 involutions of the 8 binary strings of length 3 against all 256 subsets, and for length 4 the complement, reversal and identity maps plus 300 seeded random involutions against all 65536 subsets, recording for each (involution, set) whether the set is complete, consistent and of size exactly half. It then enumerates all 1485 multiway systems with one or two length-non-decreasing rules (|lhs| 1-2, |rhs| = |lhs| or |lhs|+1) over {A,B}, computes the exact closure of 'A' restricted to strings of length <= 6, and evaluates the same quantities at each length 2-6 under complement and reversal negation. Runtime 2 s. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/passCriterion Pre-registered. Part 1 (sets): for length n = 3, enumerate all 764 involutions of the 8 strings and all 256 subsets S; for n = 4, take 300 pseudo-random involutions of the 16 strings (numpy seed 20261031, including the complement map, reversal and the identity-on-some-strings cases) and all 65536 subsets. For each (involution, S) record complete, consistent, |S| versus half. Part 2 (multiway systems): enumerate all multiway systems over {A,B} with one or two rules lhs -> rhs, |lhs| in {1,2}, |rhs| in {|lhs|, |lhs|+1} (length-non-decreasing so that the set of generated strings of each length <= 6 stabilises and can be computed exactly), started from the string 'A' taken to represent true; for each system and each length n = 2..6 record the exactly generated set, under negation = complement and under negation = reversal. PASS (supports) if in Part 1 and Part 2 there is no counterexample to either direction of the biconditional (complete and consistent <=> exactly half) for any involution. https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/ontology/preregistered false https://w3id.org/delphi/resource/claim/wolfram2002-ch12-39 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/delphi/resource/evidence/wolfram2002-ch12-39--claim-test--dataset-1 http://purl.org/dc/terms/description the finite combinatorial objects the criterion is about https://w3id.org/delphi/resource/evidence/wolfram2002-ch12-39--claim-test--dataset-1 http://purl.org/dc/terms/license generated by this test https://w3id.org/delphi/resource/evidence/wolfram2002-ch12-39--claim-test--dataset-1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/EvidenceItem https://w3id.org/delphi/resource/evidence/wolfram2002-ch12-39--claim-test--dataset-1 http://www.w3.org/2000/01/rdf-schema#label Dataset: Exhaustive sets and involutions on binary strings of length 3-4, and all length-non-decreasing one- and two-rule multiway systems over {A,B} with short rules, generated by analysis.py https://w3id.org/delphi/resource/evidence/wolfram2002-ch12-39--claim-test--dataset-1 http://www.w3.org/ns/prov#wasDerivedFrom https://www.wolframscience.com/nks/p796--implications-for-mathematics-and-its-foundations/ https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/provenance https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#SoftwareAgent https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 http://www.w3.org/2000/01/rdf-schema#label delphisci claim tester (claude-fable-5.1; cursor/claim-tests-wolfram-nks-9241) https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 http://www.w3.org/ns/prov#actedOnBehalfOf https://orcid.org/0009-0007-4948-9192 https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 https://w3id.org/delphi/ontology/usesModel https://w3id.org/delphi/resource/model/claude-fable-5-1 https://w3id.org/delphi/resource/model/claude-fable-5-1 http://purl.org/dc/terms/identifier claude-fable-5.1 https://w3id.org/delphi/resource/model/claude-fable-5-1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LanguageModel https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/assertion http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch12-39/result.json https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/assertion http://www.w3.org/ns/prov#wasGeneratedBy https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/test https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/plan http://www.w3.org/ns/prov#hadPlan https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/test http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Activity https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/test http://www.w3.org/ns/prov#qualifiedAssociation https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/plan https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/test http://www.w3.org/ns/prov#wasAssociatedWith https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/pubinfo https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY http://purl.org/dc/terms/created 2026-11-08T16:24:31.944Z https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY http://purl.org/dc/terms/creator https://orcid.org/0009-0007-4948-9192 https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY http://purl.org/nanopub/x/hasNanopubType https://w3id.org/delphi/ontology/Assessment https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY http://purl.org/nanopub/x/introduces https://w3id.org/delphi/resource/assessment/wolfram2002-ch12-39--claim-test https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY http://www.w3.org/2000/01/rdf-schema#label Claim test of wolfram2002-ch12-39: mixed, confidence 0.9 https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY https://w3id.org/delphi/ontology/domain https://w3id.org/delphi/resource/domain/wolfram-nks-2002 https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/sig http://purl.org/nanopub/x/hasSignature Zi7axxWf55b2PSAUkvcgNDBhs94MXEylFddOhpYtwrsDujEqucffNNDpLCBFBgebfpfn3Z2kmxgzotX0MU6ZJ/+5qMbZGnQzBdNPLHEQczSmE6bCTDHjotEDli24hvcMijNf4bil6er5yy9Y0hDTGDBxKO7HGVCQa5ZE7pHbuf7ZIZf1HCIrnYkvgoeHonmI/zc2uSEze5iLn6ABDIqqTYcAO8pecUXtNcU+7G8+VKnOGUgEmOB+AU4IP88KWJzr6cHKk/GIJzhCmSLzhCBmupL7LelalF0R2i6SxrMfKIkQne9vDm+X7S9LuNkqasqouyaXfYTSvVN9b3qLg5w+FQ== https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY https://w3id.org/np/RAIvd4Uaf1higykHv7yA0kYnkhAIhTWArRKI4MjbT3OXY/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0009-0007-4948-9192