차단 사례 · BLOCKED_CONTRACT

BLOCKED_CONTRACT · TEST_ONLYowner policy의 exact actor·session·DecisionCaseRef eligibility mapping 부재 · authorization 미발행 · SQLite event 0 · external effects 0

정책 결합이 없으면 authorization을 만들지 않습니다

서버가 발행한 가상 DecisionCaseRef 후보가 있어도 정확한 사용자·세션·정책 결합이 없으면 차단되는 전체 흐름입니다.

예제 작업대

차단 영수증을 단계별로 검증합니다

고정 요청과 결합 검사를 읽습니다. 현재 테스트 데이터는 적격성 평가 전에 중지됩니다.

BLOCKED_CONTRACT

INPUT / SERVER-ISSUED

Source: credentialless descriptor
DecisionCaseRef: opaque / present
Handle: internal / non-serializable
사용자·세션 결합: MISSING

차단 영수증을 단계별로 검증합니다

입력

INPUT / SERVER-ISSUED

Source: credentialless descriptor
DecisionCaseRef: opaque / present
Handle: internal / non-serializable
사용자·세션 결합: MISSING

검사

INTEGRITY / OWNER POLICY

Candidate pins: manifest · exports · entry · runtime closure
Policy profile: fixed / attested
Exact mapping: NOT FOUND
Evaluation: NOT STARTED

차단 영수증

RESULT / ZERO EFFECTS

Mode: LOCAL_SIMULATION
Authorization issued: false
Blocking code: RAIFFA_SANDBOX_EXECUTION_AUTHORIZATION_POLICY_ACTOR_BINDING_MISSING
외부 효과: 0consumption · SQLite · trace · 실행 전달 · 배포

서버가 만든 테스트 요청만 사용합니다

예제 facade는 caller가 임의 요청 payload를 주입하는 방식을 허용하지 않습니다. pinned candidate surface가 제공한 credentialless descriptor만 읽고, handle은 복사·직렬화·재발행할 수 없는 내부 identity로 다룹니다.

정책의 정확한 결합 지점에서 중지합니다

01
candidate integrity pin을 확인합니다
manifest, exports, entry와 runtime closure digest를 먼저 확인합니다.
02
owner policy plan을 확인합니다
policy profile과 attestation의 고정된 integrity를 검증합니다.
03
사용자·세션 결합을 찾습니다
현재 owner-held plan에는 candidate actor, session과 DCR eligibility key의 exact mapping이 없습니다.
04
평가 전에 거부합니다
`RAIFFA_SANDBOX_EXECUTION_AUTHORIZATION_POLICY_ACTOR_BINDING_MISSING`으로 중지합니다.
05
효과가 없음을 확인합니다
candidate consumption, SQLite write, trace, authorization, 실행 전달과 배포가 모두 0입니다.

차단 상태가 검증 결과입니다

현재 boundary 요약json

{
  "mode": "LOCAL_SIMULATION",
  "classification": "TEST_ONLY",
  "authority": "NONE",
  "authorizationIssued": false,
  "blockingCode": "RAIFFA_SANDBOX_EXECUTION_AUTHORIZATION_POLICY_ACTOR_BINDING_MISSING",
  "externalEffects": 0
}