{"schemaVersion":1,"publication":{"title":"Bounded Agency and Reflective Freedom","subtitle":"Evaluative Revision, Information Limits, and Faithful Realization","fullTitle":"Bounded Agency and Reflective Freedom: Evaluative Revision, Information Limits, and Faithful Realization","description":"How an agent can revise the rules it uses to choose. Complete finite constructions, information bounds, the exact adaptive inquiry threshold and faithful realization, with an expanded philosophy of bounded freedom.","author":"Jeremy Rodgers","authorRole":"Independent Researcher","date":"2026-10-06","version":"2.0","doi":"10.5281/zenodo.23202999","doiUrl":"https://doi.org/10.5281/zenodo.23202999","url":"/consciousness/agency","paperSlug":"bounded-agency-and-reflective-freedom","articleUrl":"/articles/agency-and-the-constructed-self","pdfUrl":"/publications/consciousness/agency/bounded-agency-and-reflective-freedom.pdf","markdownUrl":"/publications/consciousness/agency/agency.md","manifestUrl":"/consciousness/agency/manifest.json"},"documents":[{"slug":"agency-as-a-physical-capacity","title":"Agency as a physical capacity","label":"Section 1","kind":"published","order":1,"url":"/consciousness/agency/agency-as-a-physical-capacity","description":"Physically caused decisions, evaluative mediation and the three constructive contributions.","sections":[{"anchor":"what-an-internal-decision-must-demonstrate","title":"What an internal decision must demonstrate","level":2,"number":""},{"anchor":"three-contributions-three-distinct-constructions","title":"Three contributions, three distinct constructions","level":2,"number":""},{"anchor":"physical-causation-and-reflective-freedom","title":"Physical causation and reflective freedom","level":2,"number":""},{"anchor":"how-consciousness-enters","title":"How consciousness enters","level":2,"number":""},{"anchor":"where-the-contribution-sits","title":"Where the contribution sits","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/agency-as-a-physical-capacity.md","stats":{"equations":0,"displayEquations":0},"source":{"section":"1","pdfStart":3,"pdfEnd":4}},{"slug":"operational-contract","title":"What self-governance requires","label":"Section 2","kind":"published","order":2,"url":"/consciousness/agency/operational-contract","description":"Executable options, retained evaluation, information access and implementation invariance.","sections":[{"anchor":"state-information-and-executive-targets","title":"2.1 State, information and executive targets","level":2,"number":""},{"anchor":"executable-options-and-actual-decisions","title":"2.2 Executable options and actual decisions","level":2,"number":""},{"anchor":"definition-2.1-evaluative-mediation","title":"Definition 2.1: evaluative mediation","level":3,"number":""},{"anchor":"definition-2.2-bounded-represented-rule-self-revision","title":"Definition 2.2: bounded represented-rule self-revision","level":3,"number":""},{"anchor":"the-evaluative-role","title":"2.3 The evaluative role","level":2,"number":""},{"anchor":"assessment-has-no-need-for-an-infinite-sequence-of-selectors","title":"Assessment has no need for an infinite sequence of selectors","level":3,"number":""},{"anchor":"inward-acts-inhibition-and-tools","title":"Inward acts, inhibition and tools","level":3,"number":""},{"anchor":"freedom-has-a-profile","title":"2.4 Freedom has a profile","level":2,"number":""},{"anchor":"testing-the-actual-causal-pathways","title":"2.5 Testing the actual causal pathways","level":2,"number":""},{"anchor":"proposition-2.3-transport-of-a-finite-certificate","title":"Proposition 2.3: transport of a finite certificate","level":3,"number":""},{"anchor":"finite-implementation-error","title":"Finite implementation error","level":3,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/operational-contract.md","stats":{"equations":13,"displayEquations":3},"source":{"section":"2","pdfStart":5,"pdfEnd":8}},{"slug":"revising-an-evaluative-rule","title":"A rule can become an object of assessment","label":"Section 3","kind":"published","order":3,"url":"/consciousness/agency/revising-an-evaluative-rule","description":"An editable charter, fresh-case tests and the sharp information–mediation–endorsement inequality.","sections":[{"anchor":"the-charter","title":"3.1 The charter","level":2,"number":""},{"anchor":"the-retained-commitments","title":"The retained commitments","level":2,"number":""},{"anchor":"proposition-3.1-selective-represented-rule-revision","title":"Proposition 3.1: selective represented-rule revision","level":3,"number":""},{"anchor":"a-changed-disposition-demonstrated-on-a-new-case","title":"A changed disposition, demonstrated on a new case","level":2,"number":""},{"anchor":"every-stage-has-a-cost","title":"Every stage has a cost","level":3,"number":""},{"anchor":"testing-reading-installation-and-endorsement","title":"3.2 Testing reading, installation and endorsement","level":2,"number":""},{"anchor":"proposition-3.2-information-installed-contrast-and-endorsement","title":"Proposition 3.2: information, installed contrast and endorsement","level":3,"number":""},{"anchor":"a-causally-responsive-evaluator-can-still-be-wrong","title":"A causally responsive evaluator can still be wrong","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/revising-an-evaluative-rule.md","stats":{"equations":64,"displayEquations":10},"source":{"section":"3","pdfStart":9,"pdfEnd":11}},{"slug":"preserving-revision","title":"Keeping revision available","label":"Section 4","kind":"published","order":4,"url":"/consciousness/agency/preserving-revision","description":"Exactly when bounded inquiry can preserve endorsed amendment and future auditability.","sections":[{"anchor":"the-information-available-at-an-audit","title":"The information available at an audit","level":2,"number":""},{"anchor":"lemma-4.1-a-common-amendment","title":"Lemma 4.1: a common amendment","level":3,"number":""},{"anchor":"the-preservation-set","title":"4.1 The preservation set","level":2,"number":""},{"anchor":"theorem-4.2-budgeted-revision-preservation","title":"Theorem 4.2: budgeted revision preservation","level":3,"number":""},{"anchor":"one-tick-changes-the-answer","title":"One tick changes the answer","level":2,"number":""},{"anchor":"preservation-is-a-chosen-objective","title":"Preservation is a chosen objective","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/preserving-revision.md","stats":{"equations":35,"displayEquations":3},"source":{"section":"4","pdfStart":11,"pdfEnd":12}},{"slug":"fallible-internal-inquiry","title":"When inquiry is fallible","label":"Section 5","kind":"published","order":5,"url":"/consciousness/agency/fallible-internal-inquiry","description":"Finite zero-error limits, exact noisy-read frontiers and repeated-audit risk.","sections":[{"anchor":"why-finite-noisy-inquiry-cannot-guarantee-certainty","title":"5.1 Why finite noisy inquiry cannot guarantee certainty","level":2,"number":""},{"anchor":"proposition-5.1-the-finite-full-support-obstruction","title":"Proposition 5.1: the finite full-support obstruction","level":3,"number":""},{"anchor":"a-noisy-charter-audit","title":"5.2 A noisy charter audit","level":2,"number":""},{"anchor":"theorem-5.2-the-exact-bounded-noisy-revision-frontier","title":"Theorem 5.2: the exact bounded noisy-revision frontier","level":3,"number":""},{"anchor":"the-cost-of-a-warranted-tolerance","title":"The cost of a warranted tolerance","level":2,"number":""},{"anchor":"what-the-intervention-test-measures","title":"What the intervention test measures","level":2,"number":""},{"anchor":"repeated-audits-and-their-joint-risk","title":"Repeated audits and their joint risk","level":2,"number":""},{"anchor":"two-ways-to-misread-an-improvement","title":"Two ways to misread an improvement","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/fallible-internal-inquiry.md","stats":{"equations":46,"displayEquations":11},"source":{"section":"5","pdfStart":12,"pdfEnd":14}},{"slug":"evidence-and-adaptive-inquiry","title":"Evidence and adaptive inquiry","label":"Section 6","kind":"published","order":6,"url":"/consciousness/agency/evidence-and-adaptive-inquiry","description":"The complete sensor family and proof of the first adaptive advantage at B = L + 2.","sections":[{"anchor":"the-source-and-the-clock","title":"The source and the clock","level":2,"number":""},{"anchor":"information-can-improve-before-decisions-do","title":"Information can improve before decisions do","level":2,"number":""},{"anchor":"proposition-6.1-the-sharp-calibration-threshold","title":"Proposition 6.1: the sharp calibration threshold","level":3,"number":""},{"anchor":"the-first-budget-where-adaptation-wins","title":"The first budget where adaptation wins","level":2,"number":""},{"anchor":"theorem-6.2-exact-optimum-through-the-first-advantageous-budget","title":"Theorem 6.2: exact optimum through the first advantageous budget","level":3,"number":""},{"anchor":"two-exact-benchmarks","title":"Two exact benchmarks","level":2,"number":""},{"anchor":"why-short-sighted-inquiry-misses-the-gain","title":"Why short-sighted inquiry misses the gain","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/evidence-and-adaptive-inquiry.md","stats":{"equations":153,"displayEquations":17},"source":{"section":"6","pdfStart":14,"pdfEnd":19}},{"slug":"faithful-native-realization","title":"Faithful native realization","label":"Section 7","kind":"published","order":7,"url":"/consciousness/agency/faithful-native-realization","description":"Protected returns, actual interventions, paid access and explicit physical schedules.","sections":[{"anchor":"the-physical-contract-comes-first","title":"7.1 The physical contract comes first","level":2,"number":""},{"anchor":"carriers-operations-and-the-apparatus-boundary","title":"Carriers, operations and the apparatus boundary","level":3,"number":""},{"anchor":"native-records-must-determine-the-right-successor-classes","title":"Native records must determine the right successor classes","level":3,"number":""},{"anchor":"a-protected-source-carries-the-return","title":"7.2 A protected source carries the return","level":2,"number":""},{"anchor":"theorem-7.1-protected-source-compilation","title":"Theorem 7.1: protected-source compilation","level":3,"number":""},{"anchor":"corollary-7.2-return-organization-does-not-entail-evaluation","title":"Corollary 7.2: return organization does not entail evaluation","level":3,"number":""},{"anchor":"an-eighteen-cell-machine-that-changes-its-charter","title":"7.3 An eighteen-cell machine that changes its charter","level":2,"number":""},{"anchor":"test-the-paths-that-do-the-work","title":"Test the paths that do the work","level":3,"number":""},{"anchor":"stochastic-closure-and-paid-executive-information","title":"7.4 Stochastic closure and paid executive information","level":2,"number":""},{"anchor":"theorem-7.3-a-successor-revealing-continuation","title":"Theorem 7.3: a successor-revealing continuation","level":3,"number":""},{"anchor":"a-native-record-is-not-automatically-an-executive-read-port","title":"A native record is not automatically an executive read port","level":3,"number":""},{"anchor":"lemma-7.4-preservation-of-executive-information","title":"Lemma 7.4: preservation of executive information","level":3,"number":""},{"anchor":"a-physical-realization-of-the-exact-inquiry-advantage","title":"7.5 A physical realization of the exact inquiry advantage","level":2,"number":""},{"anchor":"two-flags-are-enough-at-the-first-useful-threshold","title":"Two flags are enough at the first useful threshold","level":3,"number":""},{"anchor":"why-the-statistical-result-survives-implementation","title":"Why the statistical result survives implementation","level":3,"number":""},{"anchor":"keep-the-source-and-the-boundary-complete","title":"Keep the source and the boundary complete","level":3,"number":""},{"anchor":"how-much-implementation-error-can-the-advantage-tolerate","title":"How much implementation error can the advantage tolerate?","level":3,"number":""},{"anchor":"three-witnesses-three-established-capacities","title":"Three witnesses, three established capacities","level":3,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/faithful-native-realization.md","stats":{"equations":81,"displayEquations":17},"source":{"section":"7","pdfStart":19,"pdfEnd":24}},{"slug":"ownership-history-and-freedom","title":"Ownership, history and freedom","label":"Sections 8–9","kind":"published","order":8,"url":"/consciousness/agency/ownership-history-and-freedom","description":"What the results establish about local freedom, developmental history and consciousness.","sections":[{"anchor":"a-decision-can-belong-to-a-caused-process","title":"A decision can belong to a caused process","level":2,"number":""},{"anchor":"present-control-and-historical-ownership","title":"Present control and historical ownership","level":2,"number":""},{"anchor":"proposition-8.1-the-limit-of-present-state-provenance-tests","title":"Proposition 8.1: the limit of present-state provenance tests","level":3,"number":""},{"anchor":"follow-commitment-formation-as-it-happens","title":"Follow commitment formation as it happens","level":2,"number":""},{"anchor":"plasticity-does-not-exclude-manipulation","title":"Plasticity does not exclude manipulation","level":2,"number":""},{"anchor":"conflict-steadfastness-and-the-time-of-a-choice","title":"Conflict, steadfastness and the time of a choice","level":2,"number":""},{"anchor":"consciousness-requires-its-own-physical-account","title":"Consciousness requires its own physical account","level":2,"number":""},{"anchor":"experiments-that-distinguish-the-claims","title":"Experiments that distinguish the claims","level":2,"number":""},{"anchor":"what-has-been-established","title":"What has been established","level":2,"number":""},{"anchor":"publication-funding-and-reproducibility","title":"Publication, funding and reproducibility","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/ownership-history-and-freedom.md","stats":{"equations":0,"displayEquations":0},"source":{"section":"8–9","pdfStart":24,"pdfEnd":28}},{"slug":"revision-kernels-and-risk","title":"Revision kernels and finite-horizon risk","label":"Appendix A","kind":"published","order":9,"url":"/consciousness/agency/revision-kernels-and-risk","description":"Complete query recurrences, writable-validator kernels and finite-horizon risk calculations.","sections":[{"anchor":"a.1-charge-the-internal-query-tree","title":"A.1: charge the internal query tree","level":2,"number":""},{"anchor":"a.2-universal-closure-with-writable-validators","title":"A.2: universal closure with writable validators","level":2,"number":""},{"anchor":"a-mutable-validator-can-preserve-a-fixed-property","title":"A mutable validator can preserve a fixed property","level":3,"number":""},{"anchor":"a.3-preserve-the-risk-vector-before-taking-its-maximum","title":"A.3: preserve the risk vector before taking its maximum","level":2,"number":""},{"anchor":"exact-finite-horizon-failure","title":"Exact finite-horizon failure","level":3,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/revision-kernels-and-risk.md","stats":{"equations":45,"displayEquations":7},"source":{"section":"A","pdfStart":28,"pdfEnd":30}},{"slug":"physical-carriers-and-costs","title":"Physical carriers and costs","label":"Appendix B","kind":"published","order":10,"url":"/consciousness/agency/physical-carriers-and-costs","description":"Smooth bit dynamics, Gaussian refinement and detailed time, gate and work bounds.","sections":[{"anchor":"b.1-why-a-covering-identity-tour-needs-twice-the-path-length","title":"B.1 Why a covering identity tour needs twice the path length","level":2,"number":""},{"anchor":"b.2-explicit-continuous-bit-dynamics","title":"B.2 Explicit continuous bit dynamics","level":2,"number":""},{"anchor":"a-paid-clock-gives-each-gate-its-place","title":"A paid clock gives each gate its place","level":3,"number":""},{"anchor":"decode-the-well-sign-without-disturbing-the-source","title":"Decode the well sign without disturbing the source","level":3,"number":""},{"anchor":"a-boolean-swap-with-no-additional-sampling-cell","title":"A Boolean SWAP with no additional sampling cell","level":3,"number":""},{"anchor":"restoration-closes-the-induction","title":"Restoration closes the induction","level":3,"number":""},{"anchor":"b.3-gaussian-noise-gives-a-finite-error-refinement","title":"B.3 Gaussian noise gives a finite-error refinement","level":2,"number":""},{"anchor":"writes-and-restoration-tolerate-bounded-forcing-paths","title":"Writes and restoration tolerate bounded forcing paths","level":3,"number":""},{"anchor":"the-rotating-swap-has-a-separate-martingale-bound","title":"The rotating SWAP has a separate martingale bound","level":3,"number":""},{"anchor":"couple-the-complete-finite-episode","title":"Couple the complete finite episode","level":3,"number":""},{"anchor":"b.4-the-inquiry-machines-full-cost-ledger","title":"B.4 The inquiry machine's full cost ledger","level":2,"number":""},{"anchor":"conditional-time-and-energy-bounds","title":"Conditional time and energy bounds","level":3,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/physical-carriers-and-costs.md","stats":{"equations":96,"displayEquations":38},"source":{"section":"B","pdfStart":30,"pdfEnd":33}},{"slug":"references","title":"References and publication record","label":"References","kind":"published","order":11,"url":"/consciousness/agency/references","description":"The complete 24-entry bibliography and publication record.","sections":[{"anchor":"ref-1","title":"1. Abstracting causal models","level":2,"number":""},{"anchor":"ref-2","title":"2. Certified self-modifying code","level":2,"number":""},{"anchor":"ref-3","title":"3. Games with imperfect information","level":2,"number":""},{"anchor":"ref-4","title":"4. Self-modification of policy and utility","level":2,"number":""},{"anchor":"ref-5","title":"5. Responsibility and manipulation","level":2,"number":""},{"anchor":"ref-6","title":"6. Responsibility and control","level":2,"number":""},{"anchor":"ref-7","title":"7. Sequential testing under deadlines","level":2,"number":""},{"anchor":"ref-8","title":"8. Adaptive submodularity","level":2,"number":""},{"anchor":"ref-9","title":"9. Transitive factorisations","level":2,"number":""},{"anchor":"ref-10","title":"10. Smooth simulation of computation","level":2,"number":""},{"anchor":"ref-11","title":"11. Selecting computations","level":2,"number":""},{"anchor":"ref-12","title":"12. Adaptivity gaps in Boolean evaluation","level":2,"number":""},{"anchor":"ref-13","title":"13. Discovering agents","level":2,"number":""},{"anchor":"ref-14","title":"14. Can AI systems have free will?","level":2,"number":""},{"anchor":"ref-15","title":"15. Unsupervised reliability calibration","level":2,"number":""},{"anchor":"ref-16","title":"16. Chance, choice and control","level":2,"number":""},{"anchor":"ref-17","title":"17. General agents need world models","level":2,"number":""},{"anchor":"ref-18","title":"18. Relational boundaries and awareness localization","level":2,"number":""},{"anchor":"ref-19","title":"19. Shadow Theory and Consciousness","level":2,"number":""},{"anchor":"ref-20","title":"20. Learning effective interfaces","level":2,"number":""},{"anchor":"ref-21","title":"21. Identifying binary realizations","level":2,"number":""},{"anchor":"ref-22","title":"22. Causal consistency","level":2,"number":""},{"anchor":"ref-23","title":"23. Risk-aware partially observed planning","level":2,"number":""},{"anchor":"ref-24","title":"24. Gödel machines","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/references.md","stats":{"equations":0,"displayEquations":0},"source":{"section":"References","pdfStart":34,"pdfEnd":36}},{"slug":"bounded-perspective","title":"Bounded perspective, real control","label":"Extended inquiry 1","kind":"supplement","order":12,"url":"/consciousness/agency/bounded-perspective","description":"Why incomplete knowledge can coexist with exact action, and the precise point at which an aperture obstructs control.","sections":[{"anchor":"what-a-perspective-preserves","title":"What a perspective preserves","level":2,"number":""},{"anchor":"the-exact-decision-obstruction","title":"The exact decision obstruction","level":2,"number":""},{"anchor":"how-indistinguishability-becomes-a-quantitative-limit","title":"How indistinguishability becomes a quantitative limit","level":2,"number":""},{"anchor":"capability-is-a-set-of-achievable-consequences","title":"Capability is a set of achievable consequences","level":2,"number":""},{"anchor":"a-world-model-can-be-partial-and-adequate","title":"A world model can be partial and adequate","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/bounded-perspective.md","stats":{"equations":62,"displayEquations":12},"source":{"section":null,"pdfStart":null,"pdfEnd":null}},{"slug":"reversible-storage-and-calibration","title":"Where uncertainty goes","label":"Extended inquiry 2","kind":"supplement","order":13,"url":"/consciousness/agency/reversible-storage-and-calibration","description":"Exact receiver capacity, calibration and causal deadlines reveal the physical resources behind successful control.","sections":[{"anchor":"the-receiver-capacity-theorem","title":"The receiver capacity theorem","level":2,"number":""},{"anchor":"the-quantum-capacity-counterpart","title":"The quantum capacity counterpart","level":2,"number":""},{"anchor":"learning-an-unknown-sensor","title":"Learning an unknown sensor","level":2,"number":""},{"anchor":"shared-calibration-creates-correlated-uncertainty","title":"Shared calibration creates correlated uncertainty","level":2,"number":""},{"anchor":"a-deadline-changes-the-task","title":"A deadline changes the task","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/reversible-storage-and-calibration.md","stats":{"equations":126,"displayEquations":17},"source":{"section":null,"pdfStart":null,"pdfEnd":null}},{"slug":"transformations-and-control","title":"The operations that make control possible","label":"Extended inquiry 3","kind":"supplement","order":14,"url":"/consciousness/agency/transformations-and-control","description":"Equal knowledge and equal memory can support unequal control. Exact affine and nonlinear frontiers show why.","sections":[{"anchor":"the-geometry-of-a-successful-set","title":"The geometry of a successful set","level":2,"number":""},{"anchor":"the-restricted-clifford-counterpart","title":"The restricted Clifford counterpart","level":2,"number":""},{"anchor":"a-six-point-separation","title":"A six-point separation","level":2,"number":""},{"anchor":"an-exact-family-of-storagecomputation-tradeoffs","title":"An exact family of storage–computation tradeoffs","level":2,"number":""},{"anchor":"a-reusable-envelope-bound","title":"A reusable envelope bound","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/transformations-and-control.md","stats":{"equations":90,"displayEquations":15},"source":{"section":null,"pdfStart":null,"pdfEnd":null}},{"slug":"constructed-interfaces","title":"Building a new way to act","label":"Extended inquiry 4","kind":"supplement","order":15,"url":"/consciousness/agency/constructed-interfaces","description":"A controller can acquire an unknown interface, compress its retained structure and gain a lasting capability under fixed laws.","sections":[{"anchor":"acquiring-a-source-preimage-basis","title":"Acquiring a source-preimage basis","level":2,"number":""},{"anchor":"the-exact-price-of-one-saved-receiver-bit","title":"The exact price of one saved receiver bit","level":2,"number":""},{"anchor":"a-clean-compact-code","title":"A clean compact code","level":2,"number":""},{"anchor":"installation-and-use-are-different-problems","title":"Installation and use are different problems","level":2,"number":""},{"anchor":"why-even-one-bit-compression-has-a-quadratic-nonlinear-cost","title":"Why even one-bit compression has a quadratic nonlinear cost","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/constructed-interfaces.md","stats":{"equations":117,"displayEquations":19},"source":{"section":null,"pdfStart":null,"pdfEnd":null}},{"slug":"perspective-history-and-sourcehood","title":"A chooser with a history","label":"Extended inquiry 5","kind":"supplement","order":16,"url":"/consciousness/agency/perspective-history-and-sourcehood","description":"How self-revision can be real without erasing its causes, and what bounded agency does and does not settle about authorship.","sections":[{"anchor":"the-chooser-as-the-operating-perspective","title":"The chooser as the operating perspective","level":2,"number":""},{"anchor":"conditioning-can-remain-as-content-without-ruling-every-act","title":"Conditioning can remain as content without ruling every act","level":2,"number":""},{"anchor":"what-the-present-can-reveal-about-the-past","title":"What the present can reveal about the past","level":2,"number":""},{"anchor":"a-new-capability-need-not-break-a-law","title":"A new capability need not break a law","level":2,"number":""},{"anchor":"lawful-does-not-mean-predictably-exhaustible","title":"Lawful does not mean predictably exhaustible","level":2,"number":""},{"anchor":"ultimate-authorship-is-a-further-demand","title":"Ultimate authorship is a further demand","level":2,"number":""},{"anchor":"freedom-across-occasions","title":"Freedom across occasions","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/perspective-history-and-sourcehood.md","stats":{"equations":28,"displayEquations":4},"source":{"section":null,"pdfStart":null,"pdfEnd":null}},{"slug":"paid-search-and-physical-realization","title":"The work behind an available option","label":"Extended inquiry 6","kind":"supplement","order":17,"url":"/consciousness/agency/paid-search-and-physical-realization","description":"A compact result can require substantial inquiry and computation. Search guarantees and physical transfer make that cost explicit.","sections":[{"anchor":"one-changed-bit-can-hide-a-difficult-decision","title":"One changed bit can hide a difficult decision","level":2,"number":""},{"anchor":"a-supported-coordinate-supplies-a-control-instruction","title":"A supported coordinate supplies a control instruction","level":2,"number":""},{"anchor":"identification-action-and-positive-verification-have-different-costs","title":"Identification, action and positive verification have different costs","level":2,"number":""},{"anchor":"a-sound-certificate-is-not-a-completed-search","title":"A sound certificate is not a completed search","level":2,"number":""},{"anchor":"progress-must-be-measured-at-the-level-a-proof-needs","title":"Progress must be measured at the level a proof needs","level":2,"number":""},{"anchor":"from-a-logical-controller-to-a-physical-experiment","title":"From a logical controller to a physical experiment","level":2,"number":""},{"anchor":"transfer-the-whole-experiment","title":"Transfer the whole experiment","level":2,"number":""}],"markdownUrl":"/publications/consciousness/agency/chapters/paid-search-and-physical-realization.md","stats":{"equations":148,"displayEquations":20},"source":{"section":null,"pdfStart":null,"pdfEnd":null}}],"coverageUrl":"/publications/consciousness/agency/source-coverage.json","sourceNote":"The final published Bounded Agency and Reflective Freedom supplies the complete primary treatment. Extended inquiry sections draw on Bounded Agency and Reversible Control, an unpublished manuscript, and are identified separately. Supplementary results are not attributed to the published paper.","scope":"Finite evaluative constructions and exact inquiry results under specified contracts; faithful physical realization and the SPC-2 coexistence statement retain their assumptions. The RCO hypothesis and ultimate authorship are not established by these constructions.","article":{"title":"Agency and the constructed self","url":"/articles/agency-and-the-constructed-self"}}