Linear A Structural Grammar V7 reproduction #

This repository reproduces the machine-testable claims in Mohamed Reda Halloub's Linear A Structural Grammar V7 against a pinned, normalized GORILA-derived corpus of 1,721 Linear A inscriptions. V4 is retained as the last version containing the removed computational examples.

The audit does not attempt a decipherment. It checks whether the signs and numbers used by the paper are present, whether the arithmetic follows, whether all 28 stated falsification conditions can be executed, and whether the proposed operators have held-out support. Disputed readings are cross-checked against an independent database and the primary GORILA plates.

The main result is in REPORT.md. Generated tables are under results/.

Reproduce #

Fetch and verify the pinned text sources:

python3 scripts/fetch_sources.py

Run the tests and audit inside a networkless, capability-dropped Docker container:

./scripts/run_sandbox.sh

The image is pinned by digest. The analysis uses only the Python standard library. The corpus and paper are downloaded for scholarly reference but are not committed here.

Provenance #

• Halloub v7: https://doi.org/10.5281/zenodo.19651805
• Halloub v4: https://doi.org/10.5281/zenodo.19606396
• GORILA: Godart and Olivier, Recueil des inscriptions en linéaire A, 1976–1985.
• Independent transcription: Argunsah, Linear A Database, https://doi.org/10.5281/zenodo.20377360.
• Corpus access layer: ryanpavlicek/pyaegean at commit 064495b737d4ec1d6a485c441fa97b01a7eaea46, sourced from mwenge/lineara.xyz at commit 568f452c7a5ec80fa292cb307ead2fc6f65d07fb.

The complete source lock and SHA-256 fingerprints are in sources/source-lock.json.

Boundary #

The normalized corpus omits some edition-level apparatus and does not settle tablet completeness. Candidate falsifications that depend on physical damage are emitted for expert epigraphic review rather than asserted automatically.