ResearchOS

Research Digest

Run: run-demo-demo-lane-4609f7964f
Status: halted_contradiction
Generated: 2026-07-02T15:48:13Z

Run Summary

Receipt Overview

Brief: demo
Lane: demo-lane
Claims: 3
Sources: 3
Unresolved: 2
Invocations: 3
Receipt Hash: 69f732b4e4168b9e2478f7eba3e3d97f24090205ba599323877315120e509a52

Source Acquisition

Request: src-demo-lane
Transport: frozen_snapshot
Sources: DEMO-SRC-A, DEMO-SRC-B, DEMO-SRC-C
Error: none

Model Invocations

Provider	Transport	Exit	Degraded	Reason
`agy`	cli_subprocess	none	yes	offline_mode_no_prompt_execution
`codex`	cli_subprocess	none	yes	offline_mode_no_prompt_execution
`mock_provider`	mock_provider	0	no	none

Evidence

Claims And Sources

Filter

Claim	Status	Evidence	Judge Note
`DEMO-CLAIM-CONTRADICTION` The operator may approve skill proposals only through an explicit approval command.	contradiction	`DEMO-SRC-A` ResearchOS local receipt contract 2026-07-02T00:00:00Z `DEMO-SRC-B` Conflicting skill automation note 2026-07-02T00:01:00Z	Contradiction across sources: DEMO-SRC-A, DEMO-SRC-B.
`DEMO-CLAIM-NOANSWER` research.useai.pro is live in production.	insufficient_evidence	`DEMO-SRC-C` Missing production deployment evidence 2026-07-02T00:02:00Z	Independent support is missing or sources form a copy chain.
`DEMO-CLAIM-VERIFIED` ResearchOS can emit a local receipt with source-backed claims and an offline digest.	verified	`DEMO-SRC-A` ResearchOS local receipt contract 2026-07-02T00:00:00Z	verified