Invariant Computing/ RESEARCH Explore the work
AFC / Source code / INVENTORY 003

G19 Afc Finite Recoverability Bounded

Source-code package concerned with state recovery under explicitly finite assumptions.

Inspect the publicly available research package.

Source-code package concerned with state recovery under explicitly finite assumptions. Repository visibility was verified during the 2026-10-27 release; execution, model weights, independent replication and license terms are separate questions.

Open GitHub ↗
Research programme
AFC
Artifact class
Source code
Source status
Public repository · anonymous access confirmed in release report (2026-10-27)
Technical status (inventory)
Local test documented
Repository revision
Public release; verify current revision in repository
License
Read repository LICENSE / card; no license is inferred

Purpose & experimental boundary

Source-code package concerned with state recovery under explicitly finite assumptions.. This classification follows the verified package inventory name and publication map; it is not a claim that its individual code was rerun in this website build.

Intended input

bounded states and transformation rules

Expected output

recovery success, ambiguity or failure

Evidence and availability

Local technical PASS in the October inventory is not independent scientific acceptance.

The referenced package archive was not included in this website-source ZIP; this record explains the documented inventory category, not a newly audited execution.

The research repository is publicly accessible. Scientific acceptance, reuse rights and runtime behavior require their own evidence and must not be inferred from visibility.

← Back to AFC outputs