{ "action_contract_count": 3, "action_contracts": [ { "commit_template": { "decision": { "action": "RESIZE_BATCH", "kind": "collapse", "reason": "native_runtime_commit" }, "event_type": "cuda_slot_scan", "field": { "state_after": "committed" }, "min_authority": "H2", "proof": { "native": true, "projection": false, "proof_hash": "sha256:", "proof_ref": "runtime::commit", "valid": true }, "required_components": [ "tension.components.original_event_id", "tension.components.r3_runtime_slot_id" ], "required_risk_flags": [ "RESIZE_BATCH_PRESSURE" ], "required_rules": [ "native_event_emitter", "adaptive_threshold", "field_scheduler" ], "schema_version": "pnva.event.v1", "source": { "file_name": "", "format": "native_pnva_event_v1", "line": "", "sanitized": true } }, "contract_id": "r3-runtime-instrument-entity_4c3ade60ea78-resize_batch", "decision_action": "RESIZE_BATCH", "decision_reason_policy": { "commit_reason_required": "native_runtime_commit", "precheck_reason_required": "native_authority_precheck_no_tick" }, "entity_id": "entity_4c3ade60ea78", "entity_type": "event_source", "event_type_mix": [ [ "cuda_slot_scan", 32 ] ], "event_type_policy": { "commit_event_type_must_equal_slot_event_type": true, "precheck_event_type_must_equal_slot_event_type_plus_authority_precheck": true }, "field_state_policy": { "commit_state_after_required": "committed", "precheck_state_after_required": "suppressed", "state_transition_required": true }, "heuristic_policy": { "commit_target_risk_flags_required": true, "duplicate_risk_flags_forbidden": true, "duplicate_rules_forbidden": true, "known_risk_flags_only": true, "known_rules_only": true, "legacy_observer_forbidden": true, "precheck_target_risk_flags_required": true, "precheck_target_rules_required": true, "risk_flags_list_required": true }, "original_event_ids": [ "evt_276e496e_000001_5f5d2586", "evt_276e496e_000003_392d3b13", "evt_276e496e_000008_597a2713", "evt_276e496e_000010_54e369e9", "evt_276e496e_000015_ddd7919f", "evt_276e496e_000017_b19df11f", "evt_276e496e_000022_460f742b", "evt_276e496e_000024_b9380e24", "evt_276e496e_000029_e115771c", "evt_276e496e_000031_f7f54e57", "evt_276e496e_000038_704394c1", "evt_276e496e_000040_456190e1", "evt_276e496e_000045_044db479", "evt_276e496e_000047_2f09ade1", "evt_276e496e_000052_18bf554d", "evt_276e496e_000054_3898d4c2", "evt_276e496e_000059_01f7a41e", "evt_276e496e_000061_1a9c106c", "evt_276e496e_000080_7f5c085d", "evt_276e496e_000085_2950be7a", "evt_276e496e_000087_2b862356", "evt_276e496e_000092_7c509ec7", "evt_276e496e_000094_7cdd1632", "evt_276e496e_000099_a59ef6d5", "evt_276e496e_000101_8ad59514", "evt_276e496e_000106_d4230bdb", "evt_276e496e_000108_25063b2d", "evt_276e496e_000113_4a44cb7a", "evt_276e496e_000115_cba9a5dc", "evt_276e496e_000120_ef36629d", "evt_276e496e_000122_197aa047", "evt_276e496e_000127_2ae25618" ], "pairing_policy": { "causal_chain_unique_per_slot_required": true, "commit_log_line_after_precheck_required": true, "commit_source_line_after_precheck_required": true, "commit_state_before_equals_precheck_state_after_required": true, "commit_timestamp_after_precheck_required": true, "commit_timestamp_strictly_after_precheck_required": true, "duplicate_event_id_forbidden": true, "exactly_one_commit_per_slot_required": true, "exactly_one_precheck_per_slot_required": true, "runtime_event_count_must_equal_required": true, "same_causal_chain_id_required": true, "same_source_file_name_required": true, "source_file_name_public_basename_required": true, "source_line_monotonic_per_file_required": true, "source_location_unique_required": true, "timestamp_iso8601_required": true }, "precheck_template": { "decision": { "action": "NO_ACTION", "kind": "observe", "reason": "native_authority_precheck_no_tick" }, "event_type": "cuda_slot_scan_authority_precheck", "field": { "state_after": "suppressed" }, "proof": { "native": true, "projection": false, "proof_hash": "sha256:", "proof_ref": "runtime::precheck", "valid": true }, "required_components": [ "tension.components.original_event_id", "tension.components.r3_runtime_slot_id" ], "required_risk_flags": [ "RESIZE_BATCH_PRESSURE" ], "required_rules": [ "adaptive_threshold", "field_scheduler", "native_event_emitter" ], "schema_version": "pnva.event.v1", "source": { "file_name": "", "format": "native_pnva_event_v1", "line": "", "sanitized": true } }, "proof_policy": { "proof_hash_binds_event_identity": true, "proof_hash_binds_source_location": true, "proof_hash_sha256_format_required": true, "proof_hash_unique_required": true, "proof_ref_runtime_slot_role_required": true, "proof_ref_unique_required": true }, "required_commit_count": 32, "required_precheck_count": 32, "required_runtime_event_count": 64, "risk_flags": [ [ "RESIZE_BATCH_PRESSURE", 32 ] ], "slot_count": 32, "slot_ids": [ "r3-runtime-slot-001", "r3-runtime-slot-002", "r3-runtime-slot-003", "r3-runtime-slot-004", "r3-runtime-slot-005", "r3-runtime-slot-006", "r3-runtime-slot-007", "r3-runtime-slot-008", "r3-runtime-slot-009", "r3-runtime-slot-010", "r3-runtime-slot-011", "r3-runtime-slot-012", "r3-runtime-slot-013", "r3-runtime-slot-014", "r3-runtime-slot-015", "r3-runtime-slot-016", "r3-runtime-slot-017", "r3-runtime-slot-018", "r3-runtime-slot-022", "r3-runtime-slot-023", "r3-runtime-slot-024", "r3-runtime-slot-025", "r3-runtime-slot-026", "r3-runtime-slot-027", "r3-runtime-slot-028", "r3-runtime-slot-029", "r3-runtime-slot-030", "r3-runtime-slot-031", "r3-runtime-slot-032", "r3-runtime-slot-033", "r3-runtime-slot-034", "r3-runtime-slot-035" ], "target_rules": [ "native_event_emitter", "adaptive_threshold", "field_scheduler" ], "tension_policy": { "commit_gate_delta_nonnegative_required": true, "gate_delta_must_equal_score_minus_threshold": true, "precheck_gate_delta_nonpositive_required": true } }, { "commit_template": { "decision": { "action": "COOLDOWN_GPU", "kind": "collapse", "reason": "native_runtime_commit" }, "event_type": "cuda_slot_scan", "field": { "state_after": "committed" }, "min_authority": "H2", "proof": { "native": true, "projection": false, "proof_hash": "sha256:", "proof_ref": "runtime::commit", "valid": true }, "required_components": [ "tension.components.original_event_id", "tension.components.r3_runtime_slot_id" ], "required_risk_flags": [], "required_rules": [ "native_event_emitter", "power_orchestrator", "field_scheduler", "adaptive_threshold" ], "schema_version": "pnva.event.v1", "source": { "file_name": "", "format": "native_pnva_event_v1", "line": "", "sanitized": true } }, "contract_id": "r3-runtime-instrument-entity_4c3ade60ea78-cooldown_gpu", "decision_action": "COOLDOWN_GPU", "decision_reason_policy": { "commit_reason_required": "native_runtime_commit", "precheck_reason_required": "native_authority_precheck_no_tick" }, "entity_id": "entity_4c3ade60ea78", "entity_type": "event_source", "event_type_mix": [ [ "cuda_slot_scan", 2 ] ], "event_type_policy": { "commit_event_type_must_equal_slot_event_type": true, "precheck_event_type_must_equal_slot_event_type_plus_authority_precheck": true }, "field_state_policy": { "commit_state_after_required": "committed", "precheck_state_after_required": "suppressed", "state_transition_required": true }, "heuristic_policy": { "commit_target_risk_flags_required": true, "duplicate_risk_flags_forbidden": true, "duplicate_rules_forbidden": true, "known_risk_flags_only": true, "known_rules_only": true, "legacy_observer_forbidden": true, "precheck_target_risk_flags_required": true, "precheck_target_rules_required": true, "risk_flags_list_required": true }, "original_event_ids": [ "evt_276e496e_000071_4bf4fe50", "evt_276e496e_000078_933bffc6" ], "pairing_policy": { "causal_chain_unique_per_slot_required": true, "commit_log_line_after_precheck_required": true, "commit_source_line_after_precheck_required": true, "commit_state_before_equals_precheck_state_after_required": true, "commit_timestamp_after_precheck_required": true, "commit_timestamp_strictly_after_precheck_required": true, "duplicate_event_id_forbidden": true, "exactly_one_commit_per_slot_required": true, "exactly_one_precheck_per_slot_required": true, "runtime_event_count_must_equal_required": true, "same_causal_chain_id_required": true, "same_source_file_name_required": true, "source_file_name_public_basename_required": true, "source_line_monotonic_per_file_required": true, "source_location_unique_required": true, "timestamp_iso8601_required": true }, "precheck_template": { "decision": { "action": "NO_ACTION", "kind": "observe", "reason": "native_authority_precheck_no_tick" }, "event_type": "cuda_slot_scan_authority_precheck", "field": { "state_after": "suppressed" }, "proof": { "native": true, "projection": false, "proof_hash": "sha256:", "proof_ref": "runtime::precheck", "valid": true }, "required_components": [ "tension.components.original_event_id", "tension.components.r3_runtime_slot_id" ], "required_risk_flags": [], "required_rules": [ "adaptive_threshold", "field_scheduler", "native_event_emitter", "power_orchestrator" ], "schema_version": "pnva.event.v1", "source": { "file_name": "", "format": "native_pnva_event_v1", "line": "", "sanitized": true } }, "proof_policy": { "proof_hash_binds_event_identity": true, "proof_hash_binds_source_location": true, "proof_hash_sha256_format_required": true, "proof_hash_unique_required": true, "proof_ref_runtime_slot_role_required": true, "proof_ref_unique_required": true }, "required_commit_count": 2, "required_precheck_count": 2, "required_runtime_event_count": 4, "risk_flags": [], "slot_count": 2, "slot_ids": [ "r3-runtime-slot-019", "r3-runtime-slot-021" ], "target_rules": [ "native_event_emitter", "power_orchestrator", "field_scheduler", "adaptive_threshold" ], "tension_policy": { "commit_gate_delta_nonnegative_required": true, "gate_delta_must_equal_score_minus_threshold": true, "precheck_gate_delta_nonpositive_required": true } }, { "commit_template": { "decision": { "action": "EXECUTE", "kind": "collapse", "reason": "native_runtime_commit" }, "event_type": "cuda_slot_scan", "field": { "state_after": "committed" }, "min_authority": "H2", "proof": { "native": true, "projection": false, "proof_hash": "sha256:", "proof_ref": "runtime::commit", "valid": true }, "required_components": [ "tension.components.original_event_id", "tension.components.r3_runtime_slot_id" ], "required_risk_flags": [], "required_rules": [ "native_event_emitter", "adaptive_threshold", "field_scheduler" ], "schema_version": "pnva.event.v1", "source": { "file_name": "", "format": "native_pnva_event_v1", "line": "", "sanitized": true } }, "contract_id": "r3-runtime-instrument-entity_4c3ade60ea78-execute", "decision_action": "EXECUTE", "decision_reason_policy": { "commit_reason_required": "native_runtime_commit", "precheck_reason_required": "native_authority_precheck_no_tick" }, "entity_id": "entity_4c3ade60ea78", "entity_type": "event_source", "event_type_mix": [ [ "cuda_slot_scan", 1 ] ], "event_type_policy": { "commit_event_type_must_equal_slot_event_type": true, "precheck_event_type_must_equal_slot_event_type_plus_authority_precheck": true }, "field_state_policy": { "commit_state_after_required": "committed", "precheck_state_after_required": "suppressed", "state_transition_required": true }, "heuristic_policy": { "commit_target_risk_flags_required": true, "duplicate_risk_flags_forbidden": true, "duplicate_rules_forbidden": true, "known_risk_flags_only": true, "known_rules_only": true, "legacy_observer_forbidden": true, "precheck_target_risk_flags_required": true, "precheck_target_rules_required": true, "risk_flags_list_required": true }, "original_event_ids": [ "evt_276e496e_000073_bc920d9e" ], "pairing_policy": { "causal_chain_unique_per_slot_required": true, "commit_log_line_after_precheck_required": true, "commit_source_line_after_precheck_required": true, "commit_state_before_equals_precheck_state_after_required": true, "commit_timestamp_after_precheck_required": true, "commit_timestamp_strictly_after_precheck_required": true, "duplicate_event_id_forbidden": true, "exactly_one_commit_per_slot_required": true, "exactly_one_precheck_per_slot_required": true, "runtime_event_count_must_equal_required": true, "same_causal_chain_id_required": true, "same_source_file_name_required": true, "source_file_name_public_basename_required": true, "source_line_monotonic_per_file_required": true, "source_location_unique_required": true, "timestamp_iso8601_required": true }, "precheck_template": { "decision": { "action": "NO_ACTION", "kind": "observe", "reason": "native_authority_precheck_no_tick" }, "event_type": "cuda_slot_scan_authority_precheck", "field": { "state_after": "suppressed" }, "proof": { "native": true, "projection": false, "proof_hash": "sha256:", "proof_ref": "runtime::precheck", "valid": true }, "required_components": [ "tension.components.original_event_id", "tension.components.r3_runtime_slot_id" ], "required_risk_flags": [], "required_rules": [ "adaptive_threshold", "field_scheduler", "native_event_emitter" ], "schema_version": "pnva.event.v1", "source": { "file_name": "", "format": "native_pnva_event_v1", "line": "", "sanitized": true } }, "proof_policy": { "proof_hash_binds_event_identity": true, "proof_hash_binds_source_location": true, "proof_hash_sha256_format_required": true, "proof_hash_unique_required": true, "proof_ref_runtime_slot_role_required": true, "proof_ref_unique_required": true }, "required_commit_count": 1, "required_precheck_count": 1, "required_runtime_event_count": 2, "risk_flags": [], "slot_count": 1, "slot_ids": [ "r3-runtime-slot-020" ], "target_rules": [ "native_event_emitter", "adaptive_threshold", "field_scheduler" ], "tension_policy": { "commit_gate_delta_nonnegative_required": true, "gate_delta_must_equal_score_minus_threshold": true, "precheck_gate_delta_nonpositive_required": true } } ], "author": "Gustavo de Aguiar Martins", "capture_slot_count": 35, "classification": "R3_RUNTIME_INSTRUMENTATION_PLAN_READY", "entity_target_count": 1, "event_template_count": 6, "generated_at": "2026-05-05T16:16:40Z", "instrumentation_plan_ready": true, "interpretation": { "boundary": "This plan remains the instrumentation contract. When runtime evidence is present, it records the accepted state without weakening the field, proof or no-tick requirements.", "purpose": "Convert R3 runtime capture slots into concrete emitter contracts, required fields and validation commands.", "sovereignty": "PNVA becomes easier to execute safely when the next runtime step is an explicit instrumentation plan instead of an informal instruction." }, "mandatory_event_fields": [ "schema_version", "event_id", "timestamp", "entity_id", "entity_type", "causal_chain_id", "event_type", "field.state_before", "field.state_after", "decision.kind", "decision.action", "decision.reason", "heuristics.rules", "heuristics.risk_flags", "tension.score", "tension.threshold", "tension.gate_delta", "tension.components.original_event_id", "tension.components.r3_runtime_slot_id", "proof.valid", "proof.projection", "proof.native", "proof.proof_hash", "proof.proof_ref", "source.file_name", "source.format", "source.line", "source.sanitized" ], "mandatory_field_count": 28, "negative_control_count": 63, "negative_control_detected_count": 63, "pass": true, "positive_control_count": 6, "positive_control_passed_count": 6, "project": "PNVA-Core", "recommendations": [ "Implement one emitter path per action contract before collecting final R3 runtime evidence.", "Keep proof.projection=false on all final runtime prechecks and commits.", "Emit original_event_id in tension.components so each runtime event maps back to a capture slot.", "Emit fixed decision.reason values so no-tick prechecks and runtime commits remain semantically distinct.", "Emit fixed field.state_after values so prechecks prove suppression and commits prove completion.", "Emit different field.state_before and field.state_after values so every runtime event proves a real state transition.", "Emit each commit field.state_before equal to its precheck field.state_after so state continuity is explicit.", "Never reuse a causal_chain_id across different original_event_id or r3_runtime_slot_id values.", "Emit source.file_name as a public basename only, never as a local path.", "Emit commit.timestamp strictly after the no-tick precheck timestamp; equal timestamps are rejected.", "Do not emit legacy_observer in final R3 runtime heuristics.", "Emit all target heuristic rules on no-tick prechecks as well as commits.", "Write the fresh runtime JSONL in causal pair order so each commit record appears after its precheck record.", "Emit each no-tick precheck and commit pair from the same source.file_name so source.line order proves one emitter stream.", "Emit source.line as a monotonic runtime sequence so each commit follows its no-tick precheck physically in the log.", "Keep each source.file_name plus source.line pair unique across the final runtime JSONL.", "Never let source.line regress inside the same source.file_name stream.", "Run the runtime evidence guard before replay, policy, no-tick and proof-chain validators." ], "reports_checked": { "r3_runtime_capture_matrix": "reports/pnva-r3-runtime-capture-matrix-2026-05-05.json", "r3_runtime_evidence_guard": "reports/pnva-r3-runtime-evidence-guard-2026-05-05.json" }, "required_collapse_commit_count": 35, "required_no_tick_precheck_count": 35, "required_runtime_event_count": 70, "runtime_capture_phases": [ { "exit_criteria": "Every target action can emit pnva.event.v1 precheck and commit events with original_event_id.", "name": "instrument_native_emitters", "phase": 1 }, { "exit_criteria": "Collect exactly 70 fresh events covering 35 slots with source.file_name, source.line and without proof.projection=true.", "name": "capture_fresh_runtime_jsonl", "phase": 2 }, { "exit_criteria": "R3_RUNTIME_EVIDENCE_ACCEPTED with 35 accepted slots and 0 rejected events.", "name": "run_runtime_evidence_guard", "phase": 3 }, { "exit_criteria": "Replay, policy, no-tick and proof-chain validation pass over the fresh runtime sample.", "name": "run_runtime_validators", "phase": 4 }, { "exit_criteria": "Only after fresh runtime evidence replaces projection evidence.", "name": "request_cutover", "phase": 5 } ], "runtime_evidence_approved": true, "runtime_evidence_present": true, "schema_version": "pnva.r3_runtime_instrumentation_plan.v1", "source_guard_classification": "R3_RUNTIME_EVIDENCE_ACCEPTED", "source_matrix_classification": "R3_RUNTIME_CAPTURE_MATRIX_COMPLETE", "summary": { "action_contract_count": 3, "capture_slot_count": 35, "entity_target_count": 1, "event_template_count": 6, "instrumentation_plan_ready": true, "mandatory_field_count": 28, "negative_control_detected_count": 63, "positive_control_passed_count": 6, "required_runtime_event_count": 70 }, "target_rule_count": 4, "target_rules": [ "adaptive_threshold", "field_scheduler", "native_event_emitter", "power_orchestrator" ], "validation_commands": [ "python3 tools/pnva_r3_runtime_evidence_guard.py --runtime-events --write /tmp/pnva-r3-runtime-evidence-guard.json", "python3 tools/pnva_replay_validator.py --events --entity-catalog --write /tmp/pnva-r3-runtime-replay.json", "python3 tools/pnva_sovereign_policy_validator.py --events --entity-catalog --write /tmp/pnva-r3-runtime-policy.json", "python3 tools/pnva_no_tick_invariant_analyzer.py --events --entity-catalog --replay-report /tmp/pnva-r3-runtime-replay.json --write /tmp/pnva-r3-runtime-no-tick.json", "python3 tools/pnva_proof_chain_sealer.py --events --write /tmp/pnva-r3-runtime-proof-chain.json" ] }