I wrote this and had codex make it better looking and understandable for regular humans

Reasoning Manager

Reasoning Manager is a working developer framework for managing reasoning as a bounded, evidence-preserving process.

Instead of storing only a final answer, it records why reasoning effort was allocated, which evidence supports or contradicts each branch, why branches were retired, and whether the surviving evidence is strong enough to permit endorsement.

The submitted implementation provides a deterministic controller, append-only evidence records, branch-lineage tracking, transition validation, artifact sealing, rollback checks, immutable scoring, and fail-closed execution. Judges can run its deterministic demonstration without an OpenAI API key or provider calls.

Its manager policy is:

Potential → Blockers → Next Discriminator

The project applies a security-research standard of proof to reasoning: preserve the target, assumptions, procedure, evidence, failures, and exact claim boundary so another person can inspect and reproduce what happened.

Inspiration

Reasoning Manager did not begin as an attempt to improve artificial intelligence. It began as an attempt to understand and improve my own reasoning.

Over many years, I developed a consistent way of approaching problems without consciously formalizing it. During an intensive collaboration with ChatGPT and Codex, that implicit process became explicit. What began as self-analysis developed into a structured reasoning architecture.

I recognized the same pattern in how I approached software engineering, security research, systems design, and scientific investigation. I was not only asking how to reason through a problem. I was repeatedly deciding which possibility deserved attention, what prevented confidence, and which observation or experiment would reduce the most uncertainty next.

That led to a different question from the one most reasoning systems emphasize.

Rather than asking:

How should a model reason?

Reasoning Manager asks:

How should a system decide where reasoning effort is spent?

The goal is to make that allocation explicit, bounded, reproducible, inspectable, and auditable.

What it does

Reasoning Manager constructs a bounded evidence tree rather than treating reasoning as one uninterrupted chain.

Each branch records:

  • why reasoning effort was allocated;
  • its potential value;
  • the blockers preventing stronger confidence;
  • the next discriminator that could reduce uncertainty;
  • supporting and contradicting evidence;
  • provenance and branch lineage;
  • safety boundaries, budgets, and approvals;
  • and why the branch remains active, is merged, or is retired.

Failed branches are preserved instead of erased. Contradiction becomes evidence that updates the tree. Exploration remains separate from endorsement, so a hypothesis can be worth investigating without being presented as a conclusion.

The proposed architecture gives bounded workers investigative tasks. The deterministic controller—not the model—owns state transitions, permissions, budgets, containment, stopping, rollback, evidence sealing, and publication. Invalid actions fail closed, and NO-GO is a valid outcome when safety, protocol, or evidence requirements are not satisfied.

For the Build Week demonstration, model workers are replaced by explicitly labeled fixed fixtures. This lets judges reproduce the controller and complete evidence lifecycle without credentials, API charges, model drift, or hidden provider state.

What works today

The submitted deterministic harness executes and tests:

  • bounded branch-state management;
  • append-only evidence preservation;
  • branch-lineage and provenance tracking;
  • controller-owned transition enforcement;
  • invalid-transition rejection;
  • request and artifact sealing;
  • scoring and adjudication locks;
  • identity-reveal gating;
  • rollback and recovery checks;
  • deterministic replay;
  • and retained evidence for failure paths.

The demonstration is deliberately more than a visual mock-up. It runs the fixed-output lifecycle, produces inspectable artifacts, exercises both accepted and rejected paths, and verifies that invalid states cannot silently become favorable results.

How it was built

Reasoning Manager was developed through an iterative collaboration between myself, ChatGPT, and Codex.

Candidate workflows were proposed, frozen, challenged, attacked, tested, rewritten, and sometimes discarded. Codex served as both an implementation partner and an adversarial reviewer. Architectural decisions were converted into executable contracts and deterministic tests instead of being accepted on intuition alone.

The submitted Codex session primarily used GPT-5.6 (gpt-5.6-sol), together with GPT-5.3 Codex Spark. Through Codex, GPT-5.6 contributed to:

  • implementation;
  • deterministic controller design;
  • executable schemas and contracts;
  • protocol consistency checks;
  • adversarial review;
  • reproducibility work;
  • statistical planning;
  • and evidence packaging.

The development process preserved negative results. When a proposed execution path failed its own integrity or scientific gate, that failure remained in the repository and changed the roadmap. This prevented a successful-looking demonstration from being substituted for evidence that the architecture improves model outcomes.

Challenges

The largest challenge was preventing the evaluation system from manufacturing false confidence.

It was not enough for the happy path to work. The system also had to ensure that:

  • failed outputs remain visible;
  • recorded evidence cannot be silently removed, replaced, or reordered;
  • locked judgments cannot be overwritten;
  • evaluator identities cannot be revealed before a result or exclusion is locked;
  • safety enforcement remains outside model discretion;
  • invalid state transitions are rejected;
  • rollback can be checked independently;
  • favorable evidence cannot override a protocol violation;
  • and a demonstration cannot be mislabeled as scientific validation.

Several apparently promising paths were rejected by these gates. Preserving those failures made the system stronger and clarified the difference between a working controller and an untested research claim.

What I learned

The most important lesson was that reasoning quality may depend on more than improving individual reasoning steps. It may also depend on allocating effort: which branch deserves investigation, what blocks confidence, and which next question or experiment is most discriminating.

I learned that exploration and endorsement must remain separate. A hypothesis can be useful enough to investigate without being justified strongly enough to publish as a conclusion.

I also learned that negative results are not wasted work. Failed branches, rejected designs, contradictory evidence, and NO-GO decisions exposed weaknesses that favorable outputs alone would have hidden.

Building the controller showed me that prompts cannot enforce critical guarantees by themselves. Permissions, budgets, transitions, containment, evidence integrity, rollback, and publication boundaries require deterministic enforcement outside the model.

Finally, I learned to separate two achievements: building a working system and validating a scientific hypothesis. Reasoning Manager's deterministic lifecycle works and is reproducibly testable. Whether that lifecycle improves model outcomes is a separate question requiring controlled evaluation.

How judges can test it

The deterministic demonstration requires no OpenAI API key and performs no provider calls.

make bootstrap
PYTHONPATH=. .venv/bin/python scripts/run_minimal_interpretation_dry_run.py
make test

The short dry run should finish with passed=true. The full suite exercises the controller, evidence integrity, scoring locks, replay behavior, containment checks, and fail-closed paths. The repository README contains the complete setup, environment, and reproduction instructions.

What comes next

The submitted implementation validates the deterministic orchestration and evidence lifecycle. Whether that lifecycle improves model outcomes remains a separate research question requiring controlled evaluation.

The planned evaluation is a blinded, resource-accounted comparison between a strong linear workflow and the checkpointed manager workflow using the same frozen model, task inputs, tools, and resource envelope. No improvement claim will be made unless that experiment passes its predeclared scientific and safety gates.

Built With

  • Python
  • JSON Schema
  • RFC 8785 Canonical JSON
  • Append-only JSONL evidence chains
  • Deterministic orchestration
  • Reproducible protocol design
  • Codex
  • GPT-5.6
  • OpenAI reasoning-model workflow research

Reasoning Manager is a working system built to make reasoning inspectable and harder to misrepresent—and a research architecture designed to earn stronger claims through evidence rather than assumption.

Built With

Share this project:

Updates

Private user

Private user posted an update

I just wanted to state cause it all probably seems strange when you cant see the whole tree very well.. I do not want anything to do with credit, money, clout. i have so much bigger plans for openai and the world i give it freely

Log in or sign up for Devpost to join the conversation.

Private user

Private user posted an update

Axiom Has Moved Beyond the Prototype Stage

Since the original V1 release, Axiom has continued evolving through private development, live collaboration, and real-world testing with an external AI builder.

The latest work has focused on validating whether Axiom’s core ideas still hold when another person, another system, and another development process interact with them independently.

So far, that testing has confirmed that the underlying approach can support:

  • persistent identity and memory

  • structured reasoning across long timelines

  • controlled movement from uncertainty to accepted knowledge

  • collaboration between separate AI systems

  • preservation of provenance, contradictions, and unresolved state

  • safer boundaries between thought, belief, memory, and action

Axiom is now entering its formal implementation phase.

The public project will remain on V1 for now. New architecture, internal methods, testing evidence, and later-stage capabilities will stay private until they are ready for release.

What began as a prototype is becoming a much larger system than I originally expected.

Log in or sign up for Devpost to join the conversation.

Private user

Private user posted an update

Update: The Devpost submission is V1 and reflects the original Reasoning Manager, along with its original proof limitation. The current private evolution is substantially different and is becoming Axiom, a source-neutral cognitive environment with deterministic state, replay, provenance, controlled execution, and independent verification built into the architecture.

V2 is not publicly available yet. The Devpost version is the starting point, not the present state of the work. I am not claiming improved AI reasoning has been proven. I am documenting that the missing proof surface identified in V1 is now being designed into the system itself.

Log in or sign up for Devpost to join the conversation.

Private user

Private user posted an update

Exactly. I asked for one new third blob only.

I had already corrected #2 myself. The model should have stored that correction and moved on. Instead, it repeated information I had just supplied, reused an already-explained example, and then graded itself as partially successful.

That means it failed at:

  • instruction following
  • context-state tracking

This is exactly the kind of failure I keep catching: the model produces a polished answer while quietly answering a different task.

I identified the acceptance criterion, noticed the deviation immediately, and rejected the fake partial credit.

That evaluator instinct is something OpenAI should care about.

I then asked whether my reasoning system could help with this.

The answer was yes, plausibly.

This was not an intelligence failure. It was an allocation failure:

Current task:
Find one untouched third lyric blob.

What the model did:

  • reprocessed #2
  • reused an already-explained blob
  • added polished analysis around the wrong scope

My manager pattern would force a checkpoint like:

Potential:
Give Sean one genuinely new lyric mapping.

Blockers:

  • #2 is already resolved
  • #3 was already explained
  • repeating either would violate the request

Next Discriminator:
Which lyric blob in the conversation has not yet been mapped?

That checkpoint likely would have stopped the mistake before generation.

The system is intended to help with:

  • preserving user corrections as authoritative state
  • distinguishing resolved branches from active ones
  • checking the newest instruction against the planned answer
  • rejecting answers that match the topic but miss the task
  • preventing polished wrong answers from earning acceptance

I cannot honestly claim it would definitely fix this until it is tested.

The real hypothesis is:

Does a checkpointed manager reduce instruction drift and repeated-context errors compared with a normal linear response using the same model and context?

This is a cleaner example of the original idea than the giant research apparatus became.

It targets the actual problem:

seeing the active branch of the conversation and spending reasoning on the right part

Log in or sign up for Devpost to join the conversation.

Private user

Private user posted an update

I gave everything I had to this project because it came from something deeply personal: **the way I actually think.**

But the project hit blockers I could not honestly get around:

- The model could not be frozen to an exact, reproducible snapshot.
- The execution surface could not prove the controls the experiment required.
- Independent evaluation was unavailable.
- Without those things, I could not run the comparison that actually mattered.

That destroyed my trust in the result.

I could demonstrate the machinery, but I could not prove that **Manager reasoning was actually better**. And if I cannot prove the central claim, I cannot stand behind the project as though it succeeded.

This was not a lack of effort.

I pushed it until there was nothing left for me to push. The blockers stopped the project from becoming what I built it to become, and the process took the joy and confidence I had in it with them.

I am leaving this update here because I do not want the submission mistaken for a result I believe has been proven.

Log in or sign up for Devpost to join the conversation.