Research Index

Legacy Lens: Deterministic Authority for Legacy Systems

Legacy Lens is an independent deterministic authority for regulated legacy systems. It records what can be proven from source artifacts, declares where provability terminates, and binds every decision to cryptographic evidence.

Where to start

Understand boundaries: Provability Boundaries
See a live record: Evidence Bundles
Review public runs: Validation Results

Research library

COBOL ALTER: Deterministic guarantees terminate
Dynamic CALL: Runtime dispatch boundaries
CICS without RESP: Error paths are implicit
IMS DL/I runtime semantics

Governance and doctrine

Authority vs software
Why we refuse unprovable claims
Standard of Proof v1

Validation and offline access

Change control evidence
Offline packages and evidence bundles

Authority boundary statement

Where provability terminates, authority terminates.

Verified authority record

View a recorded boundary and decision: Download authority record (PDF)