P3 strict-PQ

Surface publique du verrou compact strict-PQ : elle expose le contre-exemple structurel, le budget qui échoue, et la voie de recherche admissible sans transformer cela en clôture.

p3_research_transition_board_currentfalse

p3_strict_pq_compact_target_evidence_gate_readyfalse

closure_report_status

strict_pq_compact_closedfalse

retail_sovereign_readyfalse

deployment_scope

p3_research_transition_only_no_retail_sovereign_claim_no_p3_closure

Le chemin strict-PQ actuel est exécutable, mais il reste multi-entry et dépasse le budget compact. Cette page sert à finir P3 proprement, pas à autoriser un claim retail souverain.

Mesures compact-PQ

candidate_header_entry_count0

candidate_context_label_count0

candidate_header_bits0

candidate_header_budget_bits0

candidate_envelope_bits0

candidate_envelope_target_bits0

singleton_header_bits0

singleton_header_budget_bits0

Transition recherche

program_closure_possible_if_obligations_satisfiedfalse

open_obligation_count0

candidate_families0/0 admissible

ruled_out_family_count0

growth_singleton_budget_gap_bits0

invalid_descriptors_fail_closedfalse

Build or adopt a real strict-PQ compact PQ-LBE-KEMad primitive that satisfies the 6 open obligations and the measured single-header budget, then rebind it through DLT-PQ, COBAS and audit replay.

Blocages P3

Artefacts source

p3_research_transition_boardpresent=false

sha256=

boundary=

p3_strict_pq_compact_target_evidence_gatepresent=false

sha256=

boundary=

cbdc_retail_sovereign_readiness_auditpresent=false

sha256=

boundary=

Pare-feu de claims

p3_closure_claim_allowedfalse

retail_sovereign_claim_allowedfalse

counts_as_p3_closure_count0

external_decentralization_claim_count0

finished_project_claim_allowedfalse

true_decentralization_provenfalse

public_economic_finalityfalse

public_endpoint_admits_sovereign_claimsfalse

not_external_evidencetrue

not_third_party_audittrue

not_legal_or_financial_guaranteetrue

JSON public

{
  "version": "guardlatice/public-p3-strict-pq-readiness/v1",
  "generated_at": "2026-07-09T10:15:51Z",
  "public_product_anchor": "https://ddbs.guardlatice.com/",
  "page": "https://ddbs.guardlatice.com/p3/strict-pq",
  "machine_readable": "https://ddbs.guardlatice.com/api/public/p3/strict-pq-readiness",
  "source_artifacts": [
    {
      "name": "p3_research_transition_board",
      "summary": "",
      "present": false,
      "summary_sha256": "",
      "generated_at": "",
      "claim_boundary": ""
    },
    {
      "name": "p3_strict_pq_compact_target_evidence_gate",
      "summary": "",
      "present": false,
      "summary_sha256": "",
      "generated_at": "",
      "claim_boundary": ""
    },
    {
      "name": "cbdc_retail_sovereign_readiness_audit",
      "summary": "",
      "present": false,
      "summary_sha256": "",
      "generated_at": "",
      "claim_boundary": ""
    }
  ],
  "board_json": "",
  "board_json_sha256": "",
  "gate_pack_json": "",
  "gate_pack_json_sha256": "",
  "counterexample_json": "",
  "counterexample_json_sha256": "",
  "p3_research_transition_board_current": false,
  "p3_strict_pq_compact_target_evidence_gate_ready": false,
  "latest_p3_strict_evidence_gate_current": false,
  "all_report_commands_ok": false,
  "cli_commands_current": false,
  "closure_counterexample_current": false,
  "singleton_budget_counterexample_current": false,
  "strict_pq_compact_closed": false,
  "retail_sovereign_ready": false,
  "retail_blocker_codes": "",
  "deployment_scope": "",
  "deployment_scope_local_only": false,
  "universal_deployment_scope_claimed": false,
  "closure_report_status": "",
  "target_binding_level": "",
  "candidate": {
    "binding_level": "",
    "kem_algorithm": "",
    "strict_post_quantum": false,
    "roundtrip_ok": false,
    "compact_single_header": false,
    "context_label_count": 0,
    "header_entry_count": 0,
    "header_bits": 0,
    "target_header_budget_bits": 0,
    "envelope_bits": 0,
    "target_envelope_bits": 0,
    "within_header_budget": false,
    "within_envelope_target": false
  },
  "singleton": {
    "compact_single_header": false,
    "header_entry_count": 0,
    "header_bits": 0,
    "target_header_budget_bits": 0,
    "within_header_budget": false
  },
  "research_transition": {
    "program_current": false,
    "program_current_status": "",
    "program_closure_possible_if_obligations_satisfied": false,
    "program_contract_obligation_count": 0,
    "baseline_noncompact": false,
    "baseline_status": "",
    "growth_ruled_out": false,
    "growth_singleton_budget_gap_bits": 0,
    "lower_bound_ruled_out": false,
    "candidate_family_count": 0,
    "ruled_out_family_count": 0,
    "admissible_research_family_count": 0,
    "research_candidate_open": false,
    "research_status": "",
    "research_hypothesis_count": 0,
    "research_proof_goal_count": 0,
    "open_obligation_count": 0,
    "target_header_budget_bits": 0,
    "invalid_descriptors_fail_closed": false
  },
  "blockers": [],
  "claim_firewall": {
    "p3_closure_claim_allowed": false,
    "retail_sovereign_claim_allowed": false,
    "counts_as_p3_closure_count": 0,
    "external_decentralization_claim_count": 0,
    "finished_project_claim_allowed": false,
    "true_decentralization_proven": false,
    "public_economic_finality": false,
    "public_endpoint_admits_sovereign_claims": false,
    "not_external_evidence": true,
    "not_third_party_audit": true,
    "not_legal_or_financial_guarantee": true
  },
  "next_required_internal_step": "Build or adopt a real strict-PQ compact PQ-LBE-KEMad primitive that satisfies the 6 open obligations and the measured single-header budget, then rebind it through DLT-PQ, COBAS and audit replay.",
  "claim_boundary": "p3_research_transition_only_no_retail_sovereign_claim_no_p3_closure"
}