| _version_ | 1866901652810760192 |
|---|---|
| author | Carroll, Jeremy H. |
| author_facet | Carroll, Jeremy H. |
| contents | <p class="ds-markdown-paragraph"><span class="">Finite Descent Authority (FDA) is a formal doctrine of operational authority. It states that a proposal does not become authority-bearing merely by being represented, predicted, generated, routed, explained, or embedded in a global structure. A proposal earns authority only when it enters a finite certified regime, is verified inside that regime, and terminalizes into a declared authority-bearing status.</span></p> <p class="ds-markdown-paragraph"><span class="">The central normal form is: Auth(p) = tau_s(V_s(P_s, eta_s(p))), where s = rho(p) and P_s = D(s).</span></p> <p class="ds-markdown-paragraph"><span class="">Here, rho routes a proposal to a sector, eta_s realizes it inside that sector, D constructs the finite descent packet, V verifies the packet-relative candidate fiber, and tau terminalizes the verified result into an authority-bearing or non-authority status.</span></p> <p class="ds-markdown-paragraph"><span class="">The paper develops the core FDA principles: proposal non-authority, finite descent necessity, authority factorization, descent packet soundness, and terminal authority. It also relates FDA to Finite Obstruction Calculus (FOC), where obstruction calculus supplies the local verifier and FDA supplies the global authority doctrine. The work separates operational authority from fluency, representation, fallback output, completion, and heuristic success.</span></p> <p class="ds-markdown-paragraph"><span class="">This publication-facing version keeps the main definitions and theorem statements in the publication spine. Full proofs are preserved separately in the proof archive, while implementation-specific ledgers, LLM/Kaggle material, quantum examples, and speculative extensions are kept outside the main paper.</span></p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_20195157 |
| institution | Zenodo |
| language | eng |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | General Theory of Finite Descent Authority Carroll, Jeremy H. Finite Descent Authority Finite Obstruction Calculus applied proof theory category theory finite reasoning Semantics obstruction calculus obstruction theory Mathematical logic verification theory formal methods finite certified regime proof certificates authority factorization LLM no silent mutation finite authority systems <p class="ds-markdown-paragraph"><span class="">Finite Descent Authority (FDA) is a formal doctrine of operational authority. It states that a proposal does not become authority-bearing merely by being represented, predicted, generated, routed, explained, or embedded in a global structure. A proposal earns authority only when it enters a finite certified regime, is verified inside that regime, and terminalizes into a declared authority-bearing status.</span></p> <p class="ds-markdown-paragraph"><span class="">The central normal form is: Auth(p) = tau_s(V_s(P_s, eta_s(p))), where s = rho(p) and P_s = D(s).</span></p> <p class="ds-markdown-paragraph"><span class="">Here, rho routes a proposal to a sector, eta_s realizes it inside that sector, D constructs the finite descent packet, V verifies the packet-relative candidate fiber, and tau terminalizes the verified result into an authority-bearing or non-authority status.</span></p> <p class="ds-markdown-paragraph"><span class="">The paper develops the core FDA principles: proposal non-authority, finite descent necessity, authority factorization, descent packet soundness, and terminal authority. It also relates FDA to Finite Obstruction Calculus (FOC), where obstruction calculus supplies the local verifier and FDA supplies the global authority doctrine. The work separates operational authority from fluency, representation, fallback output, completion, and heuristic success.</span></p> <p class="ds-markdown-paragraph"><span class="">This publication-facing version keeps the main definitions and theorem statements in the publication spine. Full proofs are preserved separately in the proof archive, while implementation-specific ledgers, LLM/Kaggle material, quantum examples, and speculative extensions are kept outside the main paper.</span></p> |
| title | General Theory of Finite Descent Authority |
| topic | Finite Descent Authority Finite Obstruction Calculus applied proof theory category theory finite reasoning Semantics obstruction calculus obstruction theory Mathematical logic verification theory formal methods finite certified regime proof certificates authority factorization LLM no silent mutation finite authority systems |
| url | https://doi.org/10.5281/zenodo.20195157 |