Blind evaluation
Freeze before grade
Treatment identity and scoring surfaces are separated before evaluation.
BLIND MAP / FROZEN PACKET / PROVENANCE
Research / innovation / publication
Measure the behavior.
Keep the failure.
Kingan Logic studies how AI-assisted decision systems preserve evidence, state, authority and human context across long workflows. Product validation and scientific efficacy remain separate: negative, mixed, interrupted and repaired results stay in the record rather than disappearing when a later run improves.
01 / CURRENT RESEARCH PROGRAM
Beyond accuracy in governed AI decisions.
The research program asks what happens before, during and after a model answer: what evidence was available, what the evaluator actually measured, what permission existed, what state survived handoff, and what a later repair is allowed to change.
2public Zenodo research records
8mapped paper bodies
1bounded spinout
A–Hcurrent manuscript map
Current research discipline
Product validation is not scientific efficacy.
Implementation progress, test coverage, cloud receipts and product behavior remain separate from claims about human or model benefit. A system can be technically real without the research question being settled.
Failure remains part of the result.
Null, mixed, interrupted and repaired studies stay in the chronology. Parser, runtime, scorer, evaluator and protocol failures are recorded separately from target behavior rather than being silently folded into a later success.
Transfer has to be tested.
Cross-lane recurrence can generate a research question, but shared architecture is not proof that the same mechanism or benefit transfers across multifamily, physical assets, logistics, disaster response or long-horizon human–AI work.
02 / METHODS
Research infrastructure is part of the result.
A model score is only interpretable if the experiment around it survives inspection. Current work uses frozen protocols, blind treatment mapping, exact artifact custody, explicit missing/replacement handling, paired or heldout comparisons where justified, human/machine calibration and claim ceilings that remain binding after a positive-looking result.
Failure-aware evaluation
Instrument failures stay visible
Parser, runtime, scorer, evaluator and protocol failures are separated from target behavior.
INSTRUMENT / TARGET BEHAVIOR / FAILURE OWNERSHIP
Permission boundary
Evidence is not permission
A detected signal or successful repair does not automatically authorize a downstream claim or consequential action.
EVIDENCE / PERMISSION / CLAIM CEILING
Exact custody
Versioned evidence stays attached
Versioned prompts, receipts, hashes, run identities and negative results remain attached to the result they support.
PROMPTS / RECEIPTS / HASHES / RUN IDENTITY
03 / PAPER PROGRAM
Current manuscript map.
These are research work products and manuscript states, not claims of publication or peer review.
PAPER / A
Permission Is Not Obligation / Move or Hold?
When evidence permits movement, what determines whether move, hold or another state placement is appropriate?
ACTIVE / METHODS
PAPER / B
When the Evaluation Pipeline Fails Before the Model
Failure ownership, repair and claim ceilings when the evaluation apparatus itself breaks before the target is measured.
PUBLIC PREPRINT
PAPER / C
Reasoning Is Not Free
Compute, latency, reasoning cost and human correction burden.
HOLD / EVIDENCE DEMAND
PAPER / D
Does Decision Governance Transfer?
Whether recurring evidence, permission and state architecture across different domains represents architecture reuse or measurable effect transfer.
STUDY DESIGN
PAPER / E
Judging the Judge
Evaluator validity, reproducibility versus validity, human/machine calibration and independence of evidence.
WATCH / BUILD
PAPER / F
When the Human Is the Hidden Answer Key / Hold the Map
Human reconstruction burden, retained state, provenance and long-horizon human–AI collaboration.
ACTIVE PROGRAM
PAPER / G
Peripheral Capture / Useful Things Found Off the Main Road
Whether valuable adjacent evidence can materially improve the route without stealing the destination.
MECHANISM RECONSTRUCTION
PAPER / H
The Guardrail Can Be Wrong / Evidence-Bound Protective Gates
Cases where a protective HOLD or FAIL may be appropriate even though the system's diagnosis of why it stopped is wrong.
NATURALISTIC CORPUS
SPINOUT
Detection Is Not Remediation
Finding a defect does not establish the repair or grant permission to execute it.
BOUNDED SPINOUT
04 / PUBLIC LIBRARY
Papers, preprints & research notes.
Public research outputs appear here when they are actually released. Manuscript directions elsewhere on the page are not presented as publications.
Loading public research items…
05 / RESEARCH PROFILES
Research profiles.
Public scholarly identity and persistent researcher identifiers. Development accounts and private product repositories are intentionally not linked here.
OpenReview
Logan Davis
Active researcher profile and submission identity.
Open profile →ORCID
Logan Davis
Persistent scholarly identifier.
Open profile →Web of Science
ResearcherID
Researcher identifier linked to the scholarly identity stack.
Open profile →Research contact
Replication beats a flattering summary.
Kingan Logic is open to bounded research collaboration, independent replication, evaluator/instrument studies and selectively scoped product research where the protocol, evidence boundary, contribution and claim ceiling can be stated clearly.