ORDINATIVE SCIENCES EDUCATION · Repository ufficiale

LEXX — Compatibility Profile with the Ordinative Sciences

Fabio Ghioni · v2.0.0 · Copia del 2026-09-24

LEXX — Compatibility Profile with the Ordinative Sciences

Profile: TE-LEXX-CONFORMANCE-0.1
Date: 2026-09-16
Status: binding for LEXX v0.1; validation status in README.md (status line) and release.json

Executive revision 2026-09-17: 03_PRE_PILOT_PROTOCOL.md and v0_2_alpha3/compatibility.json govern the new alpha.3 runs. The latter binds the executive dependencies to file names and SHA-256 digests, including LENS, P-PRO, VERI, OBSERVER and Teleodynamics. The gaps listed in §7 describe the initial plan; their current status is in the table of the pre-pilot protocol. CONFORMANT_VERIFIED is issued per run by the external report, once technical checking, recorded semantic review and empirical effectiveness are all on record.

1. Placement

LEXX is the on-demand operational framework of the Technology of Expressions for agreements and normative systems.

Precedence hierarchy:

Ordinative Sciences → OST/TE Core → TE Protocols and Symbol Canon → invoked TE frameworks → LEXX Foundations → LEXX pipeline → application to the document.

In case of conflict the higher level prevails. The executor records the incompatibility and halts the stages involved.

2. Minimum mandatory stack

Component Canonical version Function in LEXX If absent or incompatible
TE Bootloader 7.1 operational identity, confidence, Φ-test, router INCOMPATIBLE_STOP
TE Protocols 1.0 Controfase (counter-phase), P-AI and operational discipline INCOMPATIBLE_STOP
TE Core content 5.2, historical file v5_1 ontology and modular architecture halt
OST 2.1 agreement as 𝓘 = ⟨Σ,R,Φ⟩ halt of the systemic STRIP
Symbol Canon content 1.2, historical file v1_0 authority over notation prose alone, or halt
SVP 5.1 provenance, formation and perimeter halt before stage 0

3. Dependencies by stage

LEXX stage Dependency Assumed version/status Mode admitted in v0.1
0 — INSED SVP 5.1 mandatory
1 — STRIP and field R OST + SA OST 2.1; SA/PA repository release 2.0.0 two-channel STRIP according to the canon
1.5 — consistency TE/document checks LEXX v0.1 rules explicit arithmetic and temporal checks
2 — flaw vectors local LEXX, subordinate to OST/SA v0.1 V-OM, V-AM, V-IN, V-TEMP
3 — E→I inversion TE + LENS + P-PRO + SA LENS 5.1; P-PRO 5.2 graded inference; the vector is reported as structurally enabled, at the grade LENS assigns
4 — proportion PA repository release 2.0.0 argued qualitative band
5 — trajectory OBSERVER/Teleodynamics OBSERVER 1.1; content extension 1.2 argued qualitative sign and bifurcations
6 — class and residue OCT + VERI canonised A/B/C/D taxonomy; VERI 1.0 argued classification
7 — contrary test Controfase + TE Protocols Protocols 1.0 mandatory
8 — counter-proposal SA π + trajectory test SA/PA release 2.0.0 re-strip issued; a distinct reviewer verifies it (03_PRE_PILOT_PROTOCOL.md §Counter-proposal and round-trip)
9 — verdict whole pipeline preceding dependencies inherits the weakest grade

For OCT the assumed corpus/governance is repository release 5.3.2, with the A/B/C/D taxonomy aligned to the Symbol Canon. LEXX reports the A/B/C/D class as an argued classification; formal OCT certification requires the LEXX–OCT interface listed in §7.

4. Degradation rules

  1. SVP: a run begins at stage 0 with SVP 5.1 loaded; the halt before stage 0 is in §2.
  2. Anchoring orchestrator: a run executed by the LLM alone carries LLM_ONLY_UNVERIFIED; the external report of validate_lexx_output.py closes that state (P1, 00_FOUNDATIONS.md §3).
  3. PA engine: proportion is an argued qualitative band; figures require the PA engine pinned in compatibility.json.
  4. Phase space and temporal data: λ_L is an argued sign, or empty; numerical exponents require phase-space and temporal data in the packet.
  5. External legal sources: the verdict concerns the text; legal validity is judged in the separate assisted legal pass, with current official sources. In this profile the schema fixes external_sources_verified to false and the sistema verdict to non_valutabile, and the semantic checks reject OCT class D.
  6. Independent review: the intention vector is a structural inference at the grade LENS assigns; the passage to the author's psychology requires verified external evidence (§6).
  7. Schema validator: machine validation is the external report of validate_lexx_output.py; an output read by eye is an executor's draft.
  8. Field the data leave open: it stays empty, with a nota_limite.

5. Run conformance states

State Meaning
CONFORMANT_VERIFIED compatible stack, citations and schema verified externally, dependencies recorded
CONFORMANT_QUALITATIVE compatible stack; PA/Lyapunov used qualitatively, according to v0.1
LLM_ONLY_UNVERIFIED pipeline executed by the LLM alone; attestation rests with the external report
DOCUMENT_ONLY the verdict concerns the text (§4, external legal sources)
INCOMPATIBLE_STOP version, symbol or dependency conflict; the executor halts the affected stages
INVALID_OUTPUT JSON parse error, or a mandatory field that fails a check of the external report

Compatible states coexist: a run is, for example, CONFORMANT_QUALITATIVE and DOCUMENT_ONLY at once. CONFORMANT_VERIFIED and LLM_ONLY_UNVERIFIED exclude each other.

6. Mandatory distinction on intention

LEXX can infer:

the vector made possible, favoured or stabilised by the structure of the agreement.

It cannot demonstrate from the text alone:

the mental state or subjective intention of the author.

The field vettore_intenzione keeps its historical name and is read as the structurally enabled vector. Any passage to the author's psychology requires verified external evidence and is graded according to LENS. Field identifiers and status strings are canonical and language-independent; they match the runtime schema.

7. Open gaps for v0.2

  • an orchestrator for string-match, gates and round-trip;
  • canonical JSON Schema and validator;
  • automatic register of the loaded dependencies;
  • machine-readable separation between evidence and confidence;
  • gates for jurisdiction, applicable law and date of the sources;
  • double verdict testo / sistema (text / system);
  • formal interface with OCT;
  • blind empirical cycle with sealed ground truth and decoys.