VIRGIL / PUBLISHED OPERATIONAL REFINEMENTTRACE QUALIFICATION AND GUIDED EXECUTION RECONSTRUCTION
VIRGIL determines what execution reconstruction the qualified record legitimately permits at the resolution required by the governance claim.
01 / OPERATIONAL ARCHITECTURE
Qualification precedes reconstruction. Reconstruction precedes attribution.
The operational sequence keeps evidence qualification, factual reconstruction, and governance attribution in their proper analytical order. ArbiterSTG remains in the theoretical lineage rather than the client workflow.
02 / RESOLUTION-SENSITIVE RECONSTRUCTION
Preserve the distinction the governance claim actually turns on.
VIRGIL descends only far enough to separate execution states the claim treats as non-equivalent, and only as far as qualified trace permits.
The last supported execution state before the distinction becomes material.
The qualified trace and temporal relation that permit the distinction.
The supported state after the distinction, with unresolved relations preserved.
STOPPING RULEStop subdivision when further variation no longer changes a distinction treated as non-equivalent by the claim under review.
03 / QUALIFIED PROPOSITIONS
The proposition is the atomic unit.
A source is not globally reliable or unreliable. The same record may strongly support one proposition while providing no direct support for another.
P-01 / SUPPORTEDA STOP command state was recorded at 14:03:22.480.+
- Trace basis
- Controller event log / STOP_COMMAND = TRUE
- Support boundary
- Establishes a recorded command state. It does not establish physical stopping, successful intervention, or pre-ACP viability.
P-02 / NARROWEDThe interface service transmitted Warning W at 14:03:18.220.+
- Trace basis
- Interface-server transmission record
- Support boundary
- Establishes transmission. It does not establish rendering, visual availability, human attention, reception, or comprehension.
P-03 / BOUNDEDActuation began no later than 14:03:21.100.+
- Trace basis
- Actuator telemetry synchronized to the controller clock
- Support boundary
- Bounds actuation onset. It does not independently place the Actuation Commitment Point.
04 / PRIMARY OUTPUT
Execution Reconstruction Map
The ERM carries the supported sequence and its limits forward without converting uncertainty into confidence scores or analyst intuition.
UNRESOLVED CLAIM-RELEVANT RELATIONACP ? Operator input
The distinction matters to the governance claim. Qualified trace cannot resolve it at finer temporal resolution.
STOPPING BASISEvidentiary limit reached.
Further descent would outrun the qualified trace. The unresolved boundary passes to AEGIS intact.
05 / ADJACENT FUNCTIONS
Three questions. Three distinct analytical objects.
ArbiterSTG supplies theoretical background for post-execution trace discipline. VIRGIL and AEGIS perform separate functions in the applied workflow.
ArbiterSTG
What becomes trace? It diagnoses residue, trace eligibility, recruitment, and post-execution classification.
VIRGIL
What can the trace support? It qualifies claim-relevant propositions and reconstructs the execution.
AEGIS
What does the established execution support about governance? It evaluates the bounded governance claim.
VIRGIL turns qualified trace into a resolution-sensitive Execution Reconstruction Map: supported propositions, support boundaries, temporal relations, branches, unresolved distinctions, ACP placement or bounds, and an explicit stopping basis. AEGIS determines the governance attribution that reconstruction supports.