Audit local P6
Surface publique des registres internes P6 courants : elle prouve la fraîcheur et la matérialisation des preuves locales, sans prétendre à l'audit tiers ni à la clôture souveraine.
p6_local_audit_freshness_only_no_p6_closure_claim
Les registres internes P6 sont frais et validés, mais 0 exigences restent ouvertes. Cette page ne remplace pas les signatures externes d'auditeur, juridiques, ops ou opérateurs indépendants.
Premier audit local
Files de fermeture
Registres internes frais
gap_remediation_matrixcurrent=false
sha256=
open_requirement_count=0; effective_verified_requirement_count=0; effective_missing_evidence_requirement_count=0; formal_model_admitted_requirement_count=0; theorem_proof_admitted_requirement_count=0; admitted_requirement_count=0; closure_queue_total_count=0
formal_model_admissioncurrent=falsevalidated=false
sha256=
requirement_ids=; requirement_count=0; counts_as_global_p6_closure=false
theorem_proof_admissioncurrent=falsevalidated=false
sha256=
requirement_ids=; requirement_count=0; failclosed_probe=; failclosed_probe_sha256=; failclosed_probe_current=false; production_implementation_equivalent=false; counts_as_global_p6_closure=false
missing_artifact_resolvercurrent=false
sha256=
resolved_occurrence_count=0; missing_reference_occurrence_count=0
primary_evidence_obligation_packcurrent=falsevalidated=false
sha256=
item_count=0; verified_count=0; toolchain_blocked_count=0
code_safety_static_evidence_packcurrent=falsevalidated=false
sha256=
materialized_count=0; theorem_proof_closed_count=0; counts_as_p6_closure_count=0
unsafe_boundary_inventory_gatecurrent=falsevalidated=false
sha256=
unsafe_boundary_count=0; unsafe_with_safety_comment_count=0; unsafe_without_nearby_safety_comment_count=0; verified_by_required_toolchain=false
scope_decision_registercurrent=falsevalidated=false
sha256=
item_count=0; profile_activation_required_count=0; hardware_target_required_count=0
scope_activation_evidence_packcurrent=falsevalidated=false
sha256=
materialized_decision_count=0; scope_activation_gap_count=0; accepted_count=0
reaudit_existing_artifacts_registercurrent=falsevalidated=false
sha256=
candidate_count=0; bounded_local_evidence_accepted_count=0; candidate_promotion_count=0
reaudit_replay_execution_gatecurrent=falsevalidated=false
sha256=
script_success_count=0; script_failure_count=0; successful_candidate_count=0
requirement_rewrite_registercurrent=falsevalidated=false
sha256=
item_count=0; active_profile_count=0; applied_to_first_audit=false
requirement_rewrite_overlaycurrent=falsevalidated=false
sha256=
item_count=0; accepted_evidence_count=0; verified_evidence_count=0
requirement_rewrite_theorem_evidence_packcurrent=falsevalidated=false
sha256=
materialized_count=0; verified_count=0; gap_count=0; grover_all_sets_meet_128bit_quantum_margin=false
requirement_rewrite_platform_evidence_packcurrent=falsevalidated=false
sha256=
materialized_count=0; verified_count=0; gap_count=0
assumption_acceptance_registercurrent=falsevalidated=false
sha256=
item_count=0; owner=; expires_at=
Blocages restants
Pare-feu de claims
JSON public
{
"version": "guardlatice/public-p6-local-audit-readiness/v1",
"generated_at": "2026-07-09T09:54:34Z",
"public_product_anchor": "https://ddbs.guardlatice.com/",
"page": "https://ddbs.guardlatice.com/p6/local-audit",
"machine_readable": "https://ddbs.guardlatice.com/api/public/p6/local-audit-readiness",
"source_audit_summary": "",
"source_audit_summary_sha256": "",
"p6_foundational_internal_audit_pack_ready": false,
"p6_external_audit_legal_ops_ready": false,
"first_local_audit_full_verified": false,
"first_local_audit_verified_count": 0,
"first_local_audit_partial_count": 0,
"first_local_audit_missing_evidence_count": 0,
"first_local_audit_rewrite_required_count": 0,
"first_local_audit_scope_pending_count": 0,
"local_audit_open_requirement_count": 0,
"effective_local_audit_verified_count": 0,
"effective_local_audit_partial_count": 0,
"effective_local_audit_missing_evidence_count": 0,
"effective_local_audit_rewrite_required_count": 0,
"effective_local_audit_scope_pending_count": 0,
"formal_model_admission_current": false,
"formal_model_admitted_requirement_ids": "",
"formal_model_admitted_requirement_count": 0,
"theorem_proof_admission_current": false,
"theorem_proof_admitted_requirement_ids": "",
"theorem_proof_admitted_requirement_count": 0,
"theorem_proof_admission_failclosed_probe_current": false,
"theorem_proof_admission_production_implementation_equivalent": false,
"theorem_proof_admission_counts_as_global_p6_closure": false,
"admitted_requirement_count": 0,
"local_audit_closure_queue_total_count": 0,
"local_audit_primary_evidence_count": 0,
"local_audit_missing_artifact_replay_count": 0,
"local_audit_rewrite_count": 0,
"local_audit_scope_count": 0,
"local_audit_reaudit_candidate_count": 0,
"fresh_internal_register_count": 0,
"validated_internal_register_count": 0,
"validation_applicable_internal_register_count": 14,
"required_internal_register_count": 16,
"all_required_internal_registers_current": false,
"all_validation_applicable_internal_registers_validated": false,
"all_required_internal_registers_validated": false,
"internal_registers": [
{
"name": "gap_remediation_matrix",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"open_requirement_count": 0,
"effective_verified_requirement_count": 0,
"effective_missing_evidence_requirement_count": 0,
"formal_model_admitted_requirement_count": 0,
"theorem_proof_admitted_requirement_count": 0,
"admitted_requirement_count": 0,
"closure_queue_total_count": 0
},
{
"name": "formal_model_admission",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"requirement_ids": "",
"requirement_count": 0,
"counts_as_global_p6_closure": false
},
{
"name": "theorem_proof_admission",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"requirement_ids": "",
"requirement_count": 0,
"failclosed_probe": "",
"failclosed_probe_sha256": "",
"failclosed_probe_current": false,
"production_implementation_equivalent": false,
"counts_as_global_p6_closure": false
},
{
"name": "missing_artifact_resolver",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"resolved_occurrence_count": 0,
"missing_reference_occurrence_count": 0
},
{
"name": "primary_evidence_obligation_pack",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"item_count": 0,
"verified_count": 0,
"toolchain_blocked_count": 0
},
{
"name": "code_safety_static_evidence_pack",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"materialized_count": 0,
"theorem_proof_closed_count": 0,
"counts_as_p6_closure_count": 0
},
{
"name": "unsafe_boundary_inventory_gate",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"unsafe_boundary_count": 0,
"unsafe_with_safety_comment_count": 0,
"unsafe_without_nearby_safety_comment_count": 0,
"verified_by_required_toolchain": false
},
{
"name": "scope_decision_register",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"item_count": 0,
"profile_activation_required_count": 0,
"hardware_target_required_count": 0
},
{
"name": "scope_activation_evidence_pack",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"materialized_decision_count": 0,
"scope_activation_gap_count": 0,
"accepted_count": 0
},
{
"name": "reaudit_existing_artifacts_register",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"candidate_count": 0,
"bounded_local_evidence_accepted_count": 0,
"candidate_promotion_count": 0
},
{
"name": "reaudit_replay_execution_gate",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"script_success_count": 0,
"script_failure_count": 0,
"successful_candidate_count": 0
},
{
"name": "requirement_rewrite_register",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"item_count": 0,
"active_profile_count": 0,
"applied_to_first_audit": false
},
{
"name": "requirement_rewrite_overlay",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"item_count": 0,
"accepted_evidence_count": 0,
"verified_evidence_count": 0
},
{
"name": "requirement_rewrite_theorem_evidence_pack",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"materialized_count": 0,
"verified_count": 0,
"gap_count": 0,
"grover_all_sets_meet_128bit_quantum_margin": false
},
{
"name": "requirement_rewrite_platform_evidence_pack",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"materialized_count": 0,
"verified_count": 0,
"gap_count": 0
},
{
"name": "assumption_acceptance_register",
"summary": "",
"present": false,
"summary_sha256": "",
"current": false,
"validated": false,
"item_count": 0,
"owner": "",
"expires_at": ""
}
],
"external_attestation_state": {
"external_operator_evidence_count": 0,
"external_operator_evidence_required": 0,
"external_operator_quorum_ready": false,
"third_party_audit_attestation_ready": false,
"legal_attestation_ready": false,
"production_ops_attestation_ready": false
},
"blocker_count": 0,
"blockers": [],
"claim_firewall": {
"p6_closure_claim_allowed": false,
"first_local_audit_superseded": false,
"p6_external_audit_legal_ops_ready": false,
"external_operator_evidence_count": 0,
"true_decentralization_proven": false,
"public_economic_finality": false,
"public_endpoint_admits_sovereign_claims": false,
"counts_as_sovereign_closure_count": 0,
"not_third_party_audit": true,
"not_legal_or_financial_guarantee": true
},
"claim_boundary": "p6_local_audit_freshness_only_no_p6_closure_claim"
}