termverify 0.1.0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- termverify/__init__.py +137 -0
- termverify/_conpty.py +586 -0
- termverify/_enforcement_tier_v1.py +30 -0
- termverify/_json.py +7 -0
- termverify/_key_encoding_v1.py +158 -0
- termverify/_key_v1.py +109 -0
- termverify/_language_tag.py +108 -0
- termverify/_negotiation.py +175 -0
- termverify/_protocol_v1.py +26 -0
- termverify/_timezone_v1.py +374 -0
- termverify/adapter.py +1124 -0
- termverify/comparator.py +290 -0
- termverify/conpty.py +968 -0
- termverify/cooperation.py +233 -0
- termverify/direct.py +414 -0
- termverify/evidence.py +426 -0
- termverify/py.typed +0 -0
- termverify/recorder.py +512 -0
- termverify/replay.py +262 -0
- termverify/schema.py +39 -0
- termverify/schemas/termverify.transcript/v1.schema.json +205 -0
- termverify/transcript.py +1115 -0
- termverify/vt.py +508 -0
- termverify-0.1.0.dist-info/METADATA +125 -0
- termverify-0.1.0.dist-info/RECORD +26 -0
- termverify-0.1.0.dist-info/WHEEL +4 -0
termverify/__init__.py
ADDED
|
@@ -0,0 +1,137 @@
|
|
|
1
|
+
"""Protocol-driven verification for autonomous terminal applications.
|
|
2
|
+
|
|
3
|
+
The names re-exported here are the curated public surface. Adapter authors
|
|
4
|
+
implement the contract defined in :mod:`termverify.adapter` and, for
|
|
5
|
+
in-process subjects, :mod:`termverify.direct`; every contract name is
|
|
6
|
+
importable from ``termverify`` directly and is identical to its module-path
|
|
7
|
+
definition, so both import styles stay interchangeable. The surface is
|
|
8
|
+
pre-1.0: compatibility intent and changes are recorded in ``CHANGELOG.md``.
|
|
9
|
+
"""
|
|
10
|
+
|
|
11
|
+
from importlib.metadata import version
|
|
12
|
+
|
|
13
|
+
from termverify.adapter import (
|
|
14
|
+
ENFORCEMENT_TIERS,
|
|
15
|
+
Adapter,
|
|
16
|
+
AdapterFailure,
|
|
17
|
+
ClockAdvance,
|
|
18
|
+
ClockConfiguration,
|
|
19
|
+
ClockReceipt,
|
|
20
|
+
ConstraintName,
|
|
21
|
+
ConstraintPorts,
|
|
22
|
+
ConstraintUnsupported,
|
|
23
|
+
Cursor,
|
|
24
|
+
DeliveryRecord,
|
|
25
|
+
Diagnostic,
|
|
26
|
+
DispatchInput,
|
|
27
|
+
EnforcedConstraints,
|
|
28
|
+
EnforcementReceipt,
|
|
29
|
+
EnforcementTier,
|
|
30
|
+
EpochCompleted,
|
|
31
|
+
EpochResult,
|
|
32
|
+
Event,
|
|
33
|
+
ExitStatus,
|
|
34
|
+
FilesystemConfiguration,
|
|
35
|
+
FilesystemReceipt,
|
|
36
|
+
Frame,
|
|
37
|
+
FrozenJsonValue,
|
|
38
|
+
JsonInput,
|
|
39
|
+
KeyInput,
|
|
40
|
+
LocaleReceipt,
|
|
41
|
+
ManualTime,
|
|
42
|
+
NetworkConfiguration,
|
|
43
|
+
NetworkEndpoint,
|
|
44
|
+
NetworkReceipt,
|
|
45
|
+
Observation,
|
|
46
|
+
ProcessObservation,
|
|
47
|
+
Region,
|
|
48
|
+
Resize,
|
|
49
|
+
RunConfiguration,
|
|
50
|
+
RunFailed,
|
|
51
|
+
RunFinished,
|
|
52
|
+
SeedReceipt,
|
|
53
|
+
Started,
|
|
54
|
+
StartFailed,
|
|
55
|
+
StartResult,
|
|
56
|
+
StartTerminated,
|
|
57
|
+
StartUnsupported,
|
|
58
|
+
Stop,
|
|
59
|
+
TerminalConfiguration,
|
|
60
|
+
TerminalReceipt,
|
|
61
|
+
TerminalResult,
|
|
62
|
+
TextInput,
|
|
63
|
+
TimezoneReceipt,
|
|
64
|
+
UiObservation,
|
|
65
|
+
freeze_json,
|
|
66
|
+
)
|
|
67
|
+
from termverify.direct import DirectAdapter, DirectApplication
|
|
68
|
+
from termverify.evidence import persist_transcript_evidence
|
|
69
|
+
from termverify.schema import (
|
|
70
|
+
TRANSCRIPT_SCHEMA_V1_ID,
|
|
71
|
+
transcript_schema_v1_bytes,
|
|
72
|
+
transcript_schema_v1_json,
|
|
73
|
+
)
|
|
74
|
+
|
|
75
|
+
__all__ = [
|
|
76
|
+
"Adapter",
|
|
77
|
+
"AdapterFailure",
|
|
78
|
+
"ClockAdvance",
|
|
79
|
+
"ClockConfiguration",
|
|
80
|
+
"ClockReceipt",
|
|
81
|
+
"ConstraintName",
|
|
82
|
+
"ConstraintPorts",
|
|
83
|
+
"ConstraintUnsupported",
|
|
84
|
+
"Cursor",
|
|
85
|
+
"DeliveryRecord",
|
|
86
|
+
"Diagnostic",
|
|
87
|
+
"DirectAdapter",
|
|
88
|
+
"DirectApplication",
|
|
89
|
+
"DispatchInput",
|
|
90
|
+
"ENFORCEMENT_TIERS",
|
|
91
|
+
"EnforcedConstraints",
|
|
92
|
+
"EnforcementReceipt",
|
|
93
|
+
"EnforcementTier",
|
|
94
|
+
"EpochCompleted",
|
|
95
|
+
"EpochResult",
|
|
96
|
+
"Event",
|
|
97
|
+
"ExitStatus",
|
|
98
|
+
"FilesystemConfiguration",
|
|
99
|
+
"FilesystemReceipt",
|
|
100
|
+
"Frame",
|
|
101
|
+
"FrozenJsonValue",
|
|
102
|
+
"JsonInput",
|
|
103
|
+
"KeyInput",
|
|
104
|
+
"LocaleReceipt",
|
|
105
|
+
"ManualTime",
|
|
106
|
+
"NetworkConfiguration",
|
|
107
|
+
"NetworkEndpoint",
|
|
108
|
+
"NetworkReceipt",
|
|
109
|
+
"Observation",
|
|
110
|
+
"ProcessObservation",
|
|
111
|
+
"Region",
|
|
112
|
+
"Resize",
|
|
113
|
+
"RunConfiguration",
|
|
114
|
+
"RunFailed",
|
|
115
|
+
"RunFinished",
|
|
116
|
+
"SeedReceipt",
|
|
117
|
+
"StartFailed",
|
|
118
|
+
"StartResult",
|
|
119
|
+
"StartTerminated",
|
|
120
|
+
"StartUnsupported",
|
|
121
|
+
"Started",
|
|
122
|
+
"Stop",
|
|
123
|
+
"TRANSCRIPT_SCHEMA_V1_ID",
|
|
124
|
+
"TerminalConfiguration",
|
|
125
|
+
"TerminalReceipt",
|
|
126
|
+
"TerminalResult",
|
|
127
|
+
"TextInput",
|
|
128
|
+
"TimezoneReceipt",
|
|
129
|
+
"UiObservation",
|
|
130
|
+
"__version__",
|
|
131
|
+
"freeze_json",
|
|
132
|
+
"persist_transcript_evidence",
|
|
133
|
+
"transcript_schema_v1_bytes",
|
|
134
|
+
"transcript_schema_v1_json",
|
|
135
|
+
]
|
|
136
|
+
|
|
137
|
+
__version__ = version("termverify")
|