README_Alysis_Checker.txt

Supplementary diagnostic implementation archive:
script_alysis_checker.zip

Supplementary diagnostic implementation for:

Structural Irreversibility and Alysis:
A Diagnostic Complement to Entropy in Macrostate Physics

This archive contains a small illustrative implementation of the alysis
diagnostic interface described in the manuscript.

Recommended archive structure:

  script_alysis_checker/
    alysis_checker.py
    alysis_spec_test.json
    witness_test.json
    README_Alysis_Checker.txt

Files included:

  alysis_checker.py
      Reference Python implementation of the diagnostic checker.

  alysis_spec_test.json
      Minimal JSON test specification.

  witness_test.json
      Example witness output generated from the minimal test specification.

  README_Alysis_Checker.txt
      This explanatory README file.

Purpose:

The script evaluates whether a declared macrostate description remains
structurally admissible under a declared set of admissible transformations.

It checks whether distinctions required by a description are present,
inferable, or irreversibly lost. If at least one required distinction is
irreversibly lost and cannot be restored under the declared admissible
transformations, the corresponding description is diagnosed as structurally
inadmissible.

The script does not simulate physical dynamics, generate trajectories, or
calculate entropy. It is an illustrative diagnostic audit framework.

Minimal test:

  python alysis_checker.py --spec alysis_spec_test.json --pretty

To write the witness output to a file:

  python alysis_checker.py --spec alysis_spec_test.json --out witness_test.json --pretty

Expected result of the minimal test:

  "alysis": true
  "structural_admissibility": false

Interpretation of the minimal test:

The test description D_test contains the predicate P_structure.
This predicate requires the distinction d_relation.

In the test specification, d_relation is neither present nor inferable.
It is also not restorable under the declared admissible transformation
t_standard. Therefore, d_relation is diagnosed as irreversibly lost.

As a result, P_structure fails, D_test is structurally inadmissible, and
alysis is diagnosed as true.

This implementation is illustrative. Domain-specific applications require
the user to declare the relevant macrostate description, predicates,
distinctions, admissible transformations, and restorability assumptions.