# Trivium Add-On Local System Index

Version: 1.0.0

Status: ACTIVE / STABLE ADD-ON / DUAL-MODE

Add-On ID: `ADD_ON_TRIVIUM_STACK`

Availability: OPTIONAL / GRAMMATICA + LOGICA AVAILABLE / RHETORICA DEFERRED

## Modality registry

| Mode | Status | Entry | Failure posture |
|---|---|---|---|
| Principal-stack composition | AVAILABLE / OPT-IN | current principal-stack laws → TENET/ROTAS TRIVIUM → AREPO admission | fail closed; no principal-stack mutation |
| Standalone deployment | AVAILABLE / OPTIONAL PACKAGE | embedded root-law closure → local family → AREPO admission | package or admission failure blocks execution |

Normative profile:
`13_STACK_ADD_ONS/Trivium_Stack/ADD_ON_DUAL_MODALITY_PROFILE.md`

Standalone package:
`13_STACK_ADD_ONS/JSON_STANDALONE/ADD_ON_TRIVIUM_STACK_STANDALONE.json`

Promotion record:
`13_STACK_ADD_ONS/Trivium_Stack/TRIVIUM_PROMOTION_RECORD_2026-08-29.md`

## Local artifacts

| Local ID | Class | Path | Posture |
|---|---|---|---|
| `LOCAL-TRIVIUM-TENET` | TENET | `TENET_TRIVIUM_DoctrinalInvariants.md` | STABLE ADD-ON SOURCE |
| `LOCAL-TRIVIUM-ROTAS` | ROTAS | `ROTAS_TRIVIUM_StructuralInstantiation.md` | GRAMMATICA + LOGICA AVAILABLE |
| `LOCAL-TRIVIUM-AREPO` | AREPO | `AREPO_TRIVIUM_InputAdmissibility.md` | FAIL-CLOSED |
| `LOCAL-TRIVIUM-OPERA` | OPERA | `OPERA_TRIVIUM_ExecutionMechanism.md` | RHETORICA NOT EXECUTABLE |
| `LOCAL-TRIVIUM-SATOR` | SATOR | `SATOR_TRIVIUM_OutputRequirements.md` | DEFERRED-PORT DISCLOSURE REQUIRED |
| `LOCAL-TRIVIUM-LIBER-MD` | LIBER X | `LIBER_X_TRIVIUM_MATRIX_SUBSTRATE.md` | SOURCE-BOUNDED SUPPORT |
| `LOCAL-TRIVIUM-LIBER-JSON` | LIBER X | `LIBER_X_TRIVIUM_MATRIX_RECORDS.json` | NORMALIZED SUPPORT |

## Provenance

The seven v1.0.0 successors derive from the corresponding byte-preserved
v0.1.0 family in `_01_INTEGRATION_CANDIDATES/Trivium_Stack`. The candidate lane
remains historical qualification evidence and is not a runtime dependency.

## Non-collapse

Local registration does not make the add-on mandatory, close the Rhetoric
source gap, or grant authority outside the selected composition or standalone
package.