{"slug":"hunter-reason-universal-particular-order","identifier":"hunter-reason-universal-particular-order","title":"Reason — Universal and Particular Order","author":"Maclain Hunter","sourceSha256":"2bd0980823e07744e735437f03e5b6e8001eac3414bbfc6e7456acee4449c854","sourceKind":"authored-foundational-record","recordedAt":"2026-10-03T01:30:09.595Z","recordedAtMeaning":"Database registration time, not a claim of original handwritten authorship.","originalAuthoredAt":null,"formalizedAt":"2026-10-03T10:37:05.082Z","checkedAt":"2026-10-03T10:41:20.518Z","status":"requires_formalization","axiomFree":null,"axioms":[],"theoremNames":[],"units":[{"id":"inference_1","sourceStatement":"{R, R<->E, E<->A, A<->S, S<->O, O<->N, N<->R} |= (((R & E) & (A & S) & O) & N","sourceOffset":1567,"scope":"Exact source sequent under finite two-valued propositional semantics. Source proposition meanings and Logic/Logos/God Ground are preserved separately; this checks the inference, not unencoded prose.","variables":[],"premises":[],"conclusion":"","status":"unsupported","reason":"Unmatched formal parentheses","kernelStatus":"not_checked"},{"id":"inference_2","sourceStatement":"{1, 1<->2, 2<->3, 3<->4, 4<->5, 5<->6, 6<->1} |= (((1 & 2) & (3 & 4) & 5) & 6","sourceOffset":1652,"scope":"Exact source sequent under finite two-valued propositional semantics. Source proposition meanings and Logic/Logos/God Ground are preserved separately; this checks the inference, not unencoded prose.","variables":[],"premises":[],"conclusion":"","status":"unsupported","reason":"Unmatched formal parentheses","kernelStatus":"not_checked"},{"id":"inference_3","sourceStatement":"{P, P<->Q, Q<->R, R<->S, S<->T, T<->U, U<->P} |= (((P & Q) & (R & S) & T) & U","sourceOffset":1736,"scope":"Exact source sequent under finite two-valued propositional semantics. Source proposition meanings and Logic/Logos/God Ground are preserved separately; this checks the inference, not unencoded prose.","variables":[],"premises":[],"conclusion":"","status":"unsupported","reason":"Unmatched formal parentheses","kernelStatus":"not_checked"},{"id":"inference_4","sourceStatement":"{~R, ~R<->~E, ~E<->~A, ~A<->~S, ~S<->~O, ~O<->~N, ~N<->~R} |= (((~R & ~E) & (~A & ~S) & ~O) & ~N","sourceOffset":1848,"scope":"Exact source sequent under finite two-valued propositional semantics. Source proposition meanings and Logic/Logos/God Ground are preserved separately; this checks the inference, not unencoded prose.","variables":[],"premises":[],"conclusion":"","status":"unsupported","reason":"Unmatched formal parentheses","kernelStatus":"not_checked"},{"id":"inference_5","sourceStatement":"{R, R<->E, E<->A, A<->S, S<->O, O<->N, N<->R} |= (((R & E) & (A & S) & O) & N","sourceOffset":2255,"scope":"Exact source sequent under finite two-valued propositional semantics. Source proposition meanings and Logic/Logos/God Ground are preserved separately; this checks the inference, not unencoded prose.","variables":[],"premises":[],"conclusion":"","status":"unsupported","reason":"Unmatched formal parentheses","kernelStatus":"not_checked"},{"id":"inference_6","sourceStatement":"{1, 1<->2, 2<->3, 3<->4, 4<->5, 5<->6, 6<->1} |= (((1 & 2) & (3 & 4) & 5) & 6","sourceOffset":2340,"scope":"Exact source sequent under finite two-valued propositional semantics. Source proposition meanings and Logic/Logos/God Ground are preserved separately; this checks the inference, not unencoded prose.","variables":[],"premises":[],"conclusion":"","status":"unsupported","reason":"Unmatched formal parentheses","kernelStatus":"not_checked"},{"id":"inference_7","sourceStatement":"{~R, ~R<->~E, ~E<->~A, ~A<->~S, ~S<->~O, ~O<->~N, ~N<->~R} |= (((~R & ~E) & (~A & ~S) & ~O) & ~N","sourceOffset":2452,"scope":"Exact source sequent under finite two-valued propositional semantics. Source proposition meanings and Logic/Logos/God Ground are preserved separately; this checks the inference, not unencoded prose.","variables":[],"premises":[],"conclusion":"","status":"unsupported","reason":"Unmatched formal parentheses","kernelStatus":"not_checked"}],"files":{"source.json":{"sha256":"066271c9a4818d3908959f10136bcfb59d6f594df23892c2599c5be48f47ae22","bytes":4673},"Proof.lean":{"sha256":"e4bdc344cf15b579d3367ef7ccb533b739a57a4d0356aaebb8ef310a3a40bb28","bytes":293},"lean-check.txt":{"sha256":"ee8e375e20cedc97916ebcc5a9aed9ee99873e74e0ce3ca61dc4ef2dff4f1149","bytes":106}},"boundary":"Lean establishes the listed formal statements and dependencies. The exact authored source, Ground, known premise meanings, application validation and empirical evidence remain separately typed. No unencoded section is certified by a neighboring theorem.","currentSourceSha256":"2bd0980823e07744e735437f03e5b6e8001eac3414bbfc6e7456acee4449c854","timestamp":"2026-10-03T10:42:55.000Z","timestampAuthority":"https://www.freetsa.org","manifestSha256":"6e4e8d5c750a86f20e8f987a742b4eb2f588563a5f23a438ab84950f16eec8c4","url":"/proof-verification/hunter-reason-universal-particular-order","jsonUrl":"/proof-verification/hunter-reason-universal-particular-order.json","leanUrl":"/proof-verification/hunter-reason-universal-particular-order.lean","graph":{"@context":"https://schema.org","@type":"SoftwareSourceCode","@id":"https://4p-engine.com/proof-verification/hunter-reason-universal-particular-order#lean","name":"Lean 4 witness: Reason — Universal and Particular Order","url":"https://4p-engine.com/proof-verification/hunter-reason-universal-particular-order","dateCreated":"2026-10-03T10:37:05.082Z","dateModified":"2026-10-03T10:41:20.518Z","creator":{"@type":"Organization","name":"Replit Agent"},"programmingLanguage":{"@type":"ComputerLanguage","name":"Lean","version":"Lean (version 4.7.0, commit v4.7.0, Release)"},"author":{"@type":"Organization","name":"Replit Agent"},"description":"Lean establishes the listed formal statements and dependencies. The exact authored source, Ground, known premise meanings, application validation and empirical evidence remain separately typed. No unencoded section is certified by a neighboring theorem.","isBasedOn":{"@type":"CreativeWork","name":"Reason — Universal and Particular Order","author":{"@type":"Person","name":"Maclain Hunter"},"url":"https://4p-engine.com/proof-knowledge/hunter-reason-universal-particular-order","identifier":"hunter-reason-universal-particular-order"},"encoding":{"@type":"MediaObject","encodingFormat":"text/plain","contentUrl":"https://4p-engine.com/proof-verification/hunter-reason-universal-particular-order.lean"},"subjectOf":{"@type":"DigitalDocument","name":"Independently verified RFC 3161 existence timestamp","dateCreated":"2026-10-03T10:42:55.000Z","url":"https://4p-engine.com/proof-verification/timestamp.json"},"additionalProperty":[{"@type":"PropertyValue","name":"verificationStatus","value":"requires_formalization"},{"@type":"PropertyValue","name":"axiomFree","value":"null"},{"@type":"PropertyValue","name":"axiomDependencies","value":"[]"},{"@type":"PropertyValue","name":"theorems","value":"[]"},{"@type":"PropertyValue","name":"sourceSha256","value":"2bd0980823e07744e735437f03e5b6e8001eac3414bbfc6e7456acee4449c854"},{"@type":"PropertyValue","name":"releaseManifestSha256","value":"6e4e8d5c750a86f20e8f987a742b4eb2f588563a5f23a438ab84950f16eec8c4"},{"@type":"PropertyValue","name":"sourceRecordedAt","value":"2026-10-03T01:30:09.595Z"},{"@type":"PropertyValue","name":"sourceDateMeaning","value":"Database registration time, not a claim of original handwritten authorship."},{"@type":"PropertyValue","name":"originalAuthoredAt","value":"null"},{"@type":"PropertyValue","name":"timestampAuthority","value":"https://www.freetsa.org"},{"@type":"PropertyValue","name":"timestampScope","value":"Independent cryptographic existence timestamp for the manifest and its content-addressed artifacts. Not legal notarization, an authorship adjudication, or a retroactive timestamp for handwritten work."},{"@type":"PropertyValue","name":"governingGround","value":"Logic / Logos / God"},{"@type":"PropertyValue","name":"formalizationAttribution","value":"Machine formalization by Replit Agent of Maclain Hunter's unchanged authored source"}]}}