Issues

• [EMP-J1] Gate future empirical work on licensed data and new immutable protocol

  ActiveInferenceInstitute/fep_formal#77 · Filter by author docxology opened on Oct 6, 2026
  1

• [FORM-J3] Probe general finite rate-distortion strong duality before staged proof

  ActiveInferenceInstitute/fep_formal#76 · Filter by author docxology opened on Oct 6, 2026
  1

• [FORM-D3] Review all 168 theorem proxies and rank substantive strengthening

  ActiveInferenceInstitute/fep_formal#75 · Filter by author docxology opened on Oct 6, 2026
  1

• [CORE-D3] Improve accessible offline manuscript, atlas and numerical explanations

  ActiveInferenceInstitute/fep_formal#74 · Filter by author docxology opened on Oct 6, 2026
  1

• [CORE-M3] Audit configurable defaults and thin orchestration across workflows

  ActiveInferenceInstitute/fep_formal#73 · Filter by author docxology opened on Oct 6, 2026
  1

• [FORM-J2] generator-to-path lifting with an explicit library stop gate

  ActiveInferenceInstitute/fep_formal#72 · Filter by author docxology opened on Oct 6, 2026
  1

• [FORM-J1] observation-dependent finite-horizon control on one carrier

  ActiveInferenceInstitute/fep_formal#71 · Filter by author docxology opened on Oct 6, 2026
  1

• [FORM-D2] fixed-truth consistency for the continuous static-latent model

  ActiveInferenceInstitute/fep_formal#70 · Filter by author docxology opened on Oct 6, 2026
  1

• [FORM-D1] exact fair-Boolean Hamming rate-distortion curve

  ActiveInferenceInstitute/fep_formal#69 · Filter by author docxology opened on Oct 6, 2026
  1

• [FORM-M1] align primary theorem proxies with the proved information seams

  ActiveInferenceInstitute/fep_formal#68 · Filter by author docxology opened on Oct 6, 2026
  1

• [CORE-J2] measured incremental capture and bounded resource lifecycle

  ActiveInferenceInstitute/fep_formal#67 · Filter by author docxology opened on Oct 6, 2026
  1

• [CORE-J1] equivalent Windows capture custody and process supervision

  ActiveInferenceInstitute/fep_formal#66 · Filter by author docxology opened on Oct 6, 2026
  1

• [CORE-D2] portable semantic and relation queries from one canonical join

  ActiveInferenceInstitute/fep_formal#65 · Filter by author docxology opened on Oct 6, 2026
  1

• [CORE-D1] expose one reusable typed readiness API

  ActiveInferenceInstitute/fep_formal#64 · Filter by author docxology opened on Oct 6, 2026
  1

• [CORE-M2] maintain current guidance through dependency review

  ActiveInferenceInstitute/fep_formal#63 · Filter by author docxology opened on Oct 6, 2026
  1

• [CORE-M1] precise operator contracts

  ActiveInferenceInstitute/fep_formal#62 · Filter by author docxology opened on Oct 6, 2026
  1

• [BRIDGE-D1] Prove actual generated GNN runner execution on an isolated named pair

  ActiveInferenceInstitute/fep_formal#61 · Filter by author docxology opened on Oct 6, 2026
  1

• [CUR-14] Audit all nine original criteria and final evidence boundaries

  ActiveInferenceInstitute/fep_formal#59 · Filter by author docxology opened on Oct 6, 2026
  1

• [CUR-13] Review substantive PR44 against current formal and ownership contracts

  ActiveInferenceInstitute/fep_formal#58 · Filter by author docxology opened on Oct 6, 2026
  1

• [CUR-10] Close outcome claims, study archive parity and clean installed reproduction

  ActiveInferenceInstitute/fep_formal#57 · Filter by author docxology opened on Oct 6, 2026
  1

• [CUR-09] Execute frozen H3 primary once and replay all 42 arrays

  ActiveInferenceInstitute/fep_formal#56 · Filter by author docxology opened on Oct 6, 2026
  1

• [CUR-08] Refresh H3 native export and three independent proof-role reviews

  ActiveInferenceInstitute/fep_formal#55 · Filter by author docxology opened on Oct 6, 2026
  1

• [CUR-07] Pass every declared check and exact-SHA hosted artifact gate

  ActiveInferenceInstitute/fep_formal#54 · Filter by author docxology opened on Oct 6, 2026
  1

• [CUR-05] Accept a fresh full seven-stage capture and identical package archives

  ActiveInferenceInstitute/fep_formal#53 · Filter by author docxology opened on Oct 6, 2026
  1

• [CUR-03] Seal complete approved tests membership in the successor source freeze

  ActiveInferenceInstitute/fep_formal#52 · Filter by author docxology opened on Oct 6, 2026
  1