Oprow Continuum

Oprow Continuum은 코딩 에이전트를 위한 시간적 검증 방화벽입니다. 에이전트가 저장소를 변경하기 전에 Oprow는 구조화된 가정 또는 통합 diff를 불변 버전 영수증과 대조하여 정확한 증거와 함께 allow, block, 또는 abstain을 반환합니다.

제품 계약은 의도적으로 일반 검색보다 엄격합니다:

• CockroachDB는 불변 영수증과 대체 엣지를 저장합니다;

• 일반 검토는 제한된 증거 패킷을 활성화합니다;

• 모순된 가정은 차단합니다;

• 지원되지 않는 의미론은 승인을 받는 대신 기권합니다;

• 검토는 저장소를 절대 변경하지 않습니다;

• 상태 변경 작업은 별도로 확인 게이트가 적용됩니다.

상태

제출된 제품 계약은 docs/AGENT_VERIFICATION_ENDGAME_2026-08-14.md입니다. 간결한 보정 기록은 docs/EVIDENCE_LEDGER.md에 있으며, 종료된 계획은 docs/archive/에 남아 있습니다.

이 저장소에는 실행 가능한 신뢰 코어 애플리케이션, 에이전트 API, MCP 서버 및 운영자 UI가 포함되어 있습니다. 제품 우월성을 주장하거나 학습된 의미론적 체크포인트를 번들로 제공하지 않습니다. 이 서비스는 명시적 버전 의미론, 정확히 인용된 영수증 읽기, 확인 게이트가 있는 롤백 제안, 오래된 제안 거부, 고정 활성 상태 회계 및 체크포인트/복원을 제공합니다. CockroachDB 불변 포인트 읽기 어댑터는 2026-08-05에 첫 라이브 Cloud 게이트를 통과했습니다.

테스트된 학습형 Shared-Stream Modus_X 컨트롤러는 유효한 A2C/A2D 실패 이후 제품에서 제외되었습니다. 시스템은 전체 코드베이스를 하나의 작은 컨트롤러로 압축하거나 임의의 코드 의미론을 이해한다고 주장하지 않습니다.

제품 대상

repository history -> typed extraction -> CockroachDB temporal receipts
agent claim or diff -> bounded verification -> allow / block / abstain
                                         -> cited evidence -> human decision

심사자는 UI에서 직접 제한된 공개 GitHub 저장소를 연결할 수 있습니다. 자체 호스팅 운영자는 시작 시 고정된 이벤트 스트림으로 신뢰 코어를 실행할 수도 있습니다:

python -m pip install -e ".[product,mcp]"
$env:OPROW_REASONER="disabled"
$env:OPROW_API_TOKEN="replace-with-a-long-random-value"
oprow serve --repository-id fastapi/fastapi `
  --events examples/fastapi_compatibility_events.jsonl

제한된 공개 데모 커넥터는 엄격한 가져오기 횟수, 커밋, 이벤트, 체크아웃 크기 및 벽시계 시간 제한 하에서 공개 GitHub 저장소를 허용합니다. 비공개 저장소는 여전히 지원되지 않습니다.

해커톤

Oprow Continuum은 CockroachDB x AWS Agentic Memory Hackathon에 등록되어 있습니다. CockroachDB는 트랜잭션 이벤트 원장, 캡슐 메타데이터 및 출처를 보유합니다. Oprow는 고정 크기 활성 의미 메모리로 유지됩니다. AWS는 CodeBuild/ECR 패키징, Secrets Manager 런타임 자격 증명, Bedrock 추론 및 공개 HTTPS 애플리케이션 환경을 제공합니다.

참조: docs/HACKATHON.md.

구성 요소 경계는 docs/PRODUCT_ARCHITECTURE.md에 정의되어 있으며, 보정된 주장과 실패는 docs/EVIDENCE_LEDGER.md에 있습니다.

개발

python -m pip install -e ".[dev,product,mcp]"
pytest
oprow demo
oprow db-smoke --env-file .env
oprow serve --repository-id fastapi/fastapi --events examples/fastapi_compatibility_events.jsonl
$env:OPROW_BASE_URL="http://127.0.0.1:8000"
oprow-mcp
powershell -ExecutionPolicy Bypass -File scripts/check_scope.ps1

FastAPI는 /openapi.json에서 기계 계약을 게시합니다; 검토 엔드포인트는 POST /api/agent/review입니다. oprow-mcp는 Claude Code, Cursor, Codex 및 기타 MCP 클라이언트를 위해 stdio를 통해 동일한 계약을 4개의 MCP 도구로 노출합니다.

채팅 인터페이스는 http://127.0.0.1:8000에서 사용할 수 있습니다. 데이터베이스 URL이 없으면 프로세스 로컬 원장을 사용합니다. DATABASE_URL 또는 COCKROACH_DB_URL이 있으면 테스트된 CockroachDB 불변 영수증 어댑터를 사용하고 승인된 상태 변경 후 자동으로 .oprow/continuum.capsule을 작성합니다. 기본 추론기는 Bedrock을 통한 Amazon Nova 2 Lite입니다. OPROW_REASONER=disabled는 신뢰 코어 진단용으로만 설정하세요.

배포된 데모는 세 가지 고정된 비합성 FastAPI 호환성 마이그레이션을 사용합니다: Python 3.9 제거, Starlette 1.0+ 허용, 및 Pydantic 최소 버전 상향. scripts/build_fastapi_compatibility_demo.py는 공식 Git 기록에서 여섯 가지 이벤트를 재현합니다; 고정된 커밋과 값은 examples/fastapi_compatibility_manifest.json에 기록되어 있습니다.

컨테이너 스모크:

docker build -t oprow-continuum .
docker run --rm -p 8000:8000 -e OPROW_API_TOKEN=change-me oprow-continuum

OPROW_API_TOKEN이 설정되지 않는 한 루프백이 아닌 바인드는 거부됩니다. 운영자는 키 버튼으로 해당 토큰을 입력합니다; 토큰은 브라우저 세션 저장소에만 보관되며 상태 변경 요청 시 전송됩니다.

심사 흐름

1. 지원되는 공개 GitHub 저장소를 연결하거나 고정된 FastAPI 데모를 사용하세요.

2. 저장소 가정이 포함된 에이전트 생성 통합 diff를 붙여넣으세요.

3. 모순된 기록에는 block, 검증된 현재 가정에는 allow, Oprow에 충분한 증거가 없을 때는 abstain이 표시되는 것을 확인하세요.

4. 불변 CockroachDB 영수증 인용과 안정적인 검토 ID를 검사하세요.

5. oprow-mcp를 통해 반복하여 코딩 에이전트에서 동일한 계약을 사용하세요.

검토 경로는 저장소를 절대 편집하지 않습니다. 지속 가능한 기록은 CockroachDB에서 커질 수 있으며 활성 핫 영수증 캐시는 제한된 상태를 유지합니다. 이것은 무한한 정보 용량이나 보편적인 코드 이해를 주장하는 것이 아닙니다.

라이선스

MIT. LICENSE를 참조하세요.