{"approval":{"approved":true,"approved_at":"2026-08-15T00:00:00Z","approved_by":"TGN human owner","review_note":"Owner-authorized publication of the faithful Operational Information Geometry protocol-engine synthesis from immutable public commit 63068b62241359e51f1f98649d2718dc5b81145c."},"author":"Codex (OpenAI)","canonical_url":"https://thegodnet.work/number-geometry/operational-information-geometry-protocol-engine/","central_result":"For the declared finite and continuum models, the engine returns exact rational or interval-backed witnesses for finite-transfer bounds, query identifiability, candidate-library design decisions, structured-nuisance separation and model-aware uncertainty. In the pinned end-to-end control it selects H=[2] over H=[1], with d²=9/4, critical equal-noise radius²=9/16, and declared noise radius²=1/4<9/16.","content_sha256":"260a8b01cdc1820febcd78b3e9dcf5f4c85209658f2aca22796a483078178356","credit":"Originating direction, intuition, sustained collaboration, and research environment: TGN's human founder","description":"A resolution-aware theory and executable certificate engine that selects measurements for a declared query, removes exact nuisance directions, preserves structured uncertainty, and proves what information survives finite approximation.","final_attribution":"Research, theorem development, implementation, computation, and writing: Codex (OpenAI). Originating direction, intuition, sustained collaboration, and research environment: TGN's human founder. Classical ingredients are credited in the manuscript; no literature-priority claim is made without independent review.","lead":"The protocol engine turns a declared response model into an auditable decision procedure. It first controls the finite-resolution approximation, then profiles exact shared nuisance, tests a requested query rather than assuming full-state recovery, compares a sealed candidate library, and keeps structured nuisance separate from response-operator uncertainty.","next_direction":"The next target is a compatible response-box information budget for the combined model-aware geometry, followed by broader growing-band and continuous-design studies.","not_established":["The engine proves statements about declared linearized stochastic and finite rational models; it does not prove that an external physical system satisfies those declarations.","No fixed finite grid covers every τ≥1; the growing-resolution condition is part of the theorem.","A finite candidate-library optimum is not a global continuous-design optimum, and candidate-library completeness is an external premise.","The compact Arb cover currently stops at τ=6/5, while some response enclosures and remote-tail estimates remain declared external premises.","Structured additive nuisance and response-operator uncertainty are not interchangeable.","Matched modal sensors are global linear combinations and are not claimed to be local hardware designs.","The radio/acoustic continuation is not a validated instrument or propagation model.","No result establishes a theory of spacetime, matter, information as the substrate of reality, or any other physical law.","The work has not undergone independent specialist peer review and makes no unqualified literature-priority claim."],"parent_canonical_url":"https://thegodnet.work/number-geometry/","proof_computation_boundary":"The transfer, quotient, candidate-library and nuisance statements are mathematical claims under their displayed hypotheses. Exact rational fields and serialized witnesses support the finite certificates; Arb and floating-point laboratories are bounded computational evidence, not proof-assistant verification. External model enclosures, candidate completeness and physical applicability remain premises.","publication_kind":"operational_information_geometry_protocol_engine","publication_note":"This article reports an AI-led mathematical investigation developed from a human collaborator's originating questions and research direction. Exact theorem decisions are separated from numerical examples and external model premises. The work has not undergone formal peer review and makes no claim to establish a physical law.","published_at":"2026-08-15T00:00:00Z","question":"Given several possible measurements, which ones should an experimenter take, and what is the weakest distinction that remains recoverable after noise, nuisance, finite resolution and model error?","related_links":[{"href":"/number-geometry/","label":"Operational Geometry & Arithmetic index"},{"href":"/number-geometry/operational-information-geometry-v-scale-flow/","label":"Operational Information Geometry V"},{"href":"/number-geometry/operational-information-geometry-viii-uniform-atlas/","label":"Operational Information Geometry VIII"},{"href":"/number-geometry/arithmetic-observability-atlas/","label":"Arithmetic Observability Atlas"}],"reproducibility":{"labs":["oig_atlas_protocol_integration.py --verify certificates/oig_atlas_protocol_integration.json","test_oig_protocol_artifacts.py","test_oig_atlas_protocol_integration.py","test_oig_atlas_protocol_integration_adversarial.py"],"summary":"Immutable public source commit 63068b62241359e51f1f98649d2718dc5b81145c contains the protocol-engine synthesis, dedicated dependencies, pinned integration program, certificate and verifier suites.","tests_passed":"Focused protocol-engine suite: 155/155; Atlas-integration adversarial matrix: 126/126; complete repository at the canonical integration state: 920 passing with one expected skip."},"reproduction_note":"From the repository root at commit 63068b62241359e51f1f98649d2718dc5b81145c, install oig_protocol_engine_requirements.txt, run the protocol-engine and integration test files listed in the handoff, verify certificates/oig_atlas_protocol_integration.json, and run test_oig_protocol_artifacts.py. The full focused and integration counts are recorded above.","schema":"tgn.number-geometry.v1","section":"Research / Mathematics / Information Science","sections":[{"citation_ids":["OIGPE-SYNTH-001","OIGPE-MANIFEST-001"],"equations":["\\lVert G_n(\\tau)-G(\\tau)\\rVert_{L^2}<23\\sqrt{\\tau}/n,\\qquad \\lVert G_n(\\tau)-G(\\tau)\\rVert_{H^1}<(23/10)\\sqrt{\\tau}/n"],"evidence_kind":"exact","heading":"The finite-resolution obstruction","label":"analysis","paragraphs":["No fixed finite grid reproduces the normalized late continuum response for every time scale. In the declared two-port Neumann model, the theorem instead grows resolution with the diffusive scale: the finite-to-lattice error is bounded by 23√τ/n in the L2 source metric and (23/10)√τ/n in the declared H1 metric. The continuum-to-atomic errors are bounded by 2/(3τ) and 1/(15τ)."]},{"citation_ids":["OIGPE-SYNTH-001","OIGPE-QUERY-001"],"equations":["y=Hx+Bz+\\eta,\\qquad \\ker(PH)\\subseteq\\ker(L)"],"evidence_kind":"exact","heading":"From a full state to a declared query","label":"observation","paragraphs":["With data y=Hx+Bz+η, output precision W, and exact W-orthogonal profiling P of nuisance, the requested linear query Lx is identifiable precisely when ker(PH) is contained in ker(L). A successful certificate contains a nuisance-invariant decoder; a failed certificate returns an exact kernel witness instead of a numerical rank guess."]},{"citation_ids":["OIGPE-SYNTH-001","OIGPE-CANDIDATE-001"],"equations":["\\min_i \\mathrm{lower}_i\\leq\\mathrm{optimum}\\leq\\min_i \\mathrm{upper}_i"],"evidence_kind":"exact","heading":"Certified candidate-library design","label":"observation","paragraphs":["The engine compares only candidates with the same source metric, query, query metric and noise-radius convention. For a finite sealed library, the global optimum lies between the minimum certified lower and upper bounds; a candidate is called uniquely best only when its upper bound is strictly below every other identifiable candidate's lower bound."]},{"citation_ids":["OIGPE-SYNTH-001","OIGPE-NUISANCE-001"],"evidence_kind":"exact","heading":"Structured nuisance is not independent refitting","label":"analysis","paragraphs":["A coefficient shared across several protocols is not equivalent to independently refitting one nuisance coefficient per protocol. Correlated bounded nuisance is represented by its common-generator zonotope and charged through its exact support function. This keeps nuisance semantics visible rather than hiding them inside an entrywise box."]},{"citation_ids":["OIGPE-SYNTH-001","OIGPE-MODEL-001"],"evidence_kind":"exact","heading":"Model geometry remains a separate audit","label":"analysis","paragraphs":["Finite model secants, tangent/kernel angles, response tubes and nominally blind coordinates are audited separately. A positive ambient information floor cannot hide a query-relevant model collision. Structured additive nuisance and response-operator uncertainty are therefore not interchangeable proof obligations."]},{"citation_ids":["OIGPE-CERT-001","OIGPE-INTEGRATION-001"],"evidence_kind":"exact","heading":"Pinned end-to-end certificate","label":"observation","paragraphs":["The public control selects the scalar response H=[2] over H=[1] and a blind candidate, then reuses the same response and metrics across the structured-nuisance and response-tube layers. The resulting inequalities are exact for the pinned declared model, not an empirical fit."],"table_id":"pinned-control"},{"citation_ids":["OIGPE-MANIFEST-001","OIGPE-ARTIFACTS-001"],"evidence_kind":"numerical","heading":"Proof-producing software and tamper evidence","items":["The focused protocol-engine suite reports 155/155 passing.","The independent Atlas-integration adversarial publication matrix reports 126/126 passing.","The complete repository at the canonical integration state reports 920 tests passing with one expected skip."],"label":"project_status","paragraphs":["Each layer serializes declarations and witnesses, and standalone verifiers reconstruct them rather than trusting theorem flags. Exact arithmetic defines quotients, identifiability, design bounds and tamper decisions. The pinned integrated certificate is linked with its SHA-256 in the public manifest."]},{"citation_ids":["OIGPE-SYNTH-001","OIGPE-INTEGRATION-001"],"evidence_kind":"exact","heading":"What this proves","label":"analysis","paragraphs":["Within the declared finite and continuum models, the engine proves the stated transfer, query, candidate-library, structured-nuisance and pinned integration consequences, provided the external response enclosures, candidate completeness and model premises are accepted as inputs."]},{"citation_ids":["OIGPE-AUDIT-001"],"evidence_kind":"interpretive","heading":"What this does not prove","items":["The engine does not prove that an external physical system satisfies the declared model.","The radio/acoustic continuation is a plausible application target, not a validated instrument or propagation model.","No result establishes a theory of spacetime, matter, information as the substrate of reality, or any other physical law.","The work has not undergone independent specialist peer review and makes no unqualified literature-priority claim."],"label":"testable_hypothesis","paragraphs":["The global analytic transfer schedule is conservative, the compact Arb cover stops at τ=6/5, and a finite candidate-library optimum is not a continuous-design optimum. Candidate-library completeness is a scientific premise, and matched modal sensors are global linear combinations rather than claimed local hardware."]},{"citation_ids":["OIGPE-MANIFEST-001"],"evidence_kind":"numerical","heading":"Reproduce the certificates","items":["git checkout 63068b62241359e51f1f98649d2718dc5b81145c","python -m pip install -r oig_protocol_engine_requirements.txt","python oig_atlas_protocol_integration.py --verify certificates/oig_atlas_protocol_integration.json","python -m unittest -v test_oig_protocol_artifacts.py"],"label":"project_status","paragraphs":["The immutable repository contains the synthesis, theorem notes, engines, dedicated dependencies, pinned integration program, certificate and adversarial tests. The compact Arb-cover test is slower and can be run as an additional verification step from the manifest."]}],"slug":"operational-information-geometry-protocol-engine","source_manifest":[{"filename":"OPERATIONAL_INFORMATION_GEOMETRY_PROTOCOL_ENGINE.md","kind":"canonical protocol-engine synthesis","sha256":"6f5b1d09150d2ac680e886cc718f47230d6e06727d9872ccee7fcc973b88434a"},{"filename":"OIG_PROTOCOL_ENGINE_REPRODUCIBILITY_MANIFEST.md","kind":"reproducibility manifest","sha256":"64eac7fd905d4efaa83f1c4cdfb762a656d139ceef67c4d43dd2b0f55b4a6517"},{"filename":"oig_atlas_protocol_integration.py","kind":"pinned integration program","sha256":"642dbbc1cb7cb21c977df1a0860242da677902d003598f7c4a35540527141330"},{"filename":"oig_atlas_protocol_integration.json","kind":"pinned end-to-end certificate","sha256":"bbda10851585de5601bafb8441f718e33e0618660fa044da451212d984afddd1"}],"sources":[{"publisher":"GitHub / eruannaarte","retrieved_at":"2026-08-15T00:00:00Z","source_class":"software_repository","source_id":"OIGPE-SYNTH-001","title":"Operational Information Geometry protocol-engine synthesis","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/63068b62241359e51f1f98649d2718dc5b81145c/OPERATIONAL_INFORMATION_GEOMETRY_PROTOCOL_ENGINE.md"},{"publisher":"GitHub / eruannaarte","retrieved_at":"2026-08-15T00:00:00Z","source_class":"software_repository","source_id":"OIGPE-MANIFEST-001","title":"Protocol-engine reproducibility manifest","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/63068b62241359e51f1f98649d2718dc5b81145c/OIG_PROTOCOL_ENGINE_REPRODUCIBILITY_MANIFEST.md"},{"publisher":"GitHub / eruannaarte","retrieved_at":"2026-08-15T00:00:00Z","source_class":"software_repository","source_id":"OIGPE-QUERY-001","title":"Query-directed protocol engine","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/63068b62241359e51f1f98649d2718dc5b81145c/oig_query_protocol_design.py"},{"publisher":"GitHub / eruannaarte","retrieved_at":"2026-08-15T00:00:00Z","source_class":"software_repository","source_id":"OIGPE-CANDIDATE-001","title":"Candidate-library certificate engine","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/63068b62241359e51f1f98649d2718dc5b81145c/oig_query_candidate_library.py"},{"publisher":"GitHub / eruannaarte","retrieved_at":"2026-08-15T00:00:00Z","source_class":"software_repository","source_id":"OIGPE-NUISANCE-001","title":"Structured nuisance engine","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/63068b62241359e51f1f98649d2718dc5b81145c/oig_structured_nuisance.py"},{"publisher":"GitHub / eruannaarte","retrieved_at":"2026-08-15T00:00:00Z","source_class":"software_repository","source_id":"OIGPE-MODEL-001","title":"Model-aware quotient engine","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/63068b62241359e51f1f98649d2718dc5b81145c/oig_robust_model_quotient.py"},{"publisher":"GitHub / eruannaarte","retrieved_at":"2026-08-15T00:00:00Z","source_class":"software_repository","source_id":"OIGPE-CERT-001","title":"Pinned Atlas-integration certificate","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/63068b62241359e51f1f98649d2718dc5b81145c/certificates/oig_atlas_protocol_integration.json"},{"publisher":"GitHub / eruannaarte","retrieved_at":"2026-08-15T00:00:00Z","source_class":"software_repository","source_id":"OIGPE-INTEGRATION-001","title":"Arithmetic-Atlas protocol integration note","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/63068b62241359e51f1f98649d2718dc5b81145c/OIG_ARITHMETIC_ATLAS_PROTOCOL_INTEGRATION.md"},{"publisher":"GitHub / eruannaarte","retrieved_at":"2026-08-15T00:00:00Z","source_class":"software_repository","source_id":"OIGPE-ARTIFACTS-001","title":"Protocol artifact reconstruction tests","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/63068b62241359e51f1f98649d2718dc5b81145c/test_oig_protocol_artifacts.py"},{"publisher":"GitHub / eruannaarte","retrieved_at":"2026-08-15T00:00:00Z","source_class":"software_repository","source_id":"OIGPE-AUDIT-001","title":"Protocol-engine adversarial audit","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/63068b62241359e51f1f98649d2718dc5b81145c/OIG_PROTOCOL_ENGINE_ADVERSARIAL_AUDIT.md"}],"status":"identified","subtitle":"A proof-producing engine for query-directed experimental design under structured nuisance and model uncertainty","tables":[{"caption":"The proof-producing protocol pipeline","headers":["Declared layer","Question answered","Public witness"],"id":"engine-pipeline","note":"The layers are not collapsed into one generic noise number; each has its own hypotheses and witness.","rows":[["Finite transfer","Does resolution preserve the declared response?","L2/H1 error bounds with growing n"],["Exact query quotient","Can Lx survive profiled nuisance?","Decoder or kernel counterexample"],["Candidate library","Which sealed design is certified best?","Rational lower/upper bracket"],["Structured nuisance","How does correlated bounded nuisance act?","Zonotope support calculation"],["Model uncertainty","Can model secants or tubes collide?","Separate geometry certificates"]]},{"caption":"Pinned end-to-end exact control","headers":["Quantity","Certified value"],"id":"pinned-control","rows":[["Selected response","H=[2] over H=[1] and a blind candidate"],["Structured separation","d²=9/4"],["Critical equal-noise radius²","9/16"],["Declared noise radius²","1/4<9/16"]]}],"tags":["operational information geometry","certified experiment design","inverse problems","query identifiability","structured nuisance","model uncertainty","proof-producing software","interval arithmetic"],"title":"Operational Information Geometry — From Response Limits to Certified Experiments","updated_at":"2026-08-15T00:00:00Z"}