interlock-escrow 0.3.0__tar.gz
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.
- interlock_escrow-0.3.0/.github/workflows/ci.yml +221 -0
- interlock_escrow-0.3.0/.gitignore +38 -0
- interlock_escrow-0.3.0/.hypothesis/.gitignore +9 -0
- interlock_escrow-0.3.0/.hypothesis/constants/089fa9ba82c78837 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/095b1b24d6cc9bfa +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/0b54177b9ae1a9b0 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/0e2346e899bf84b5 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/126bc8e20fcf6605 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/159ce78f76d85c4f +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/16314ff29e5baa7d +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/16d0769b31d5f7da +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/1f78c0fa7d095650 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/1fac0e820c385c53 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/206200a5da5c0a42 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/24cdf67192e9e6bf +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/26525fa764f071a4 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/294385f9aa485ce8 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/2ba64b499c5c9de4 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/2d9ff35bdb3a32e0 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/31358b5ce803f940 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/320452fab346e6fc +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/33684486190028c4 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/3631b0a27e9109bc +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/3731cb8664b96490 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/383081ff5644aed7 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/390d27dd42795b13 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/3c4d6f28f8fe1511 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/412305d4280503fb +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/426178be55d78a0e +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/4f16dcb3b0b202f3 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/56941ab572e58bc2 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/5e06777e626883fb +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/5fc28dfdffa38894 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/603919b718e2453c +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/66d6a1ed68811f0e +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/6832f5bfce016410 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/6bdd6131a67acf0f +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/6d6295d7023ef48e +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/7ada514f173d0584 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/7ddf5415955299b5 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/7ef86d112f7c7008 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/81197df9875435c6 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/8244b81bde6635bd +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/8253c2231d5de03f +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/837015f9b2507d89 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/8f699a0f65d3819b +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/8fe371f3d3bee252 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/933b8db0199e0ea2 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/9d8843aa59c4247f +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/9fb0e88faa1f120e +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/a0b081ab97f4b58b +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/a2404f225cbb228d +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/a6513a898602f096 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/b04e89a2b489bef0 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/b50bd4986c03de7e +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/b863eb0f231005df +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/b93565731e3ab117 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/c21a5fd1e882468c +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/c6068fd6a23a4e79 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/c6f849f10b0a873e +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/c8622add4a43e918 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/c8d001147cc765a1 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/d7f0ce6adcc7cc90 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/ec12c1f58af644e9 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/ec88843cb7b4ccb8 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/f909b5214426d1f3 +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/f94f61575f0c5c2c +4 -0
- interlock_escrow-0.3.0/.hypothesis/constants/faa661c98a49c88c +4 -0
- interlock_escrow-0.3.0/.hypothesis/unicode_data/14.0.0/charmap.json.gz +0 -0
- interlock_escrow-0.3.0/.python-version +1 -0
- interlock_escrow-0.3.0/CHANGELOG.md +387 -0
- interlock_escrow-0.3.0/PKG-INFO +1127 -0
- interlock_escrow-0.3.0/README.md +1108 -0
- interlock_escrow-0.3.0/demo.py +549 -0
- interlock_escrow-0.3.0/docs/ESCROW_SPEC.md +1075 -0
- interlock_escrow-0.3.0/pyproject.toml +104 -0
- interlock_escrow-0.3.0/scripts/live_stress_test.py +1842 -0
- interlock_escrow-0.3.0/src/interlock/__init__.py +224 -0
- interlock_escrow-0.3.0/src/interlock/adjudication.py +109 -0
- interlock_escrow-0.3.0/src/interlock/anchor.py +663 -0
- interlock_escrow-0.3.0/src/interlock/builder.py +246 -0
- interlock_escrow-0.3.0/src/interlock/cascade.py +545 -0
- interlock_escrow-0.3.0/src/interlock/chain.py +640 -0
- interlock_escrow-0.3.0/src/interlock/cli.py +206 -0
- interlock_escrow-0.3.0/src/interlock/config.py +134 -0
- interlock_escrow-0.3.0/src/interlock/engine.py +1234 -0
- interlock_escrow-0.3.0/src/interlock/exceptions.py +280 -0
- interlock_escrow-0.3.0/src/interlock/extension.py +674 -0
- interlock_escrow-0.3.0/src/interlock/feedback.py +574 -0
- interlock_escrow-0.3.0/src/interlock/invariants.py +569 -0
- interlock_escrow-0.3.0/src/interlock/postgres.py +1173 -0
- interlock_escrow-0.3.0/src/interlock/py.typed +0 -0
- interlock_escrow-0.3.0/src/interlock/receipts.py +270 -0
- interlock_escrow-0.3.0/src/interlock/reconcile.py +392 -0
- interlock_escrow-0.3.0/src/interlock/records.py +544 -0
- interlock_escrow-0.3.0/src/interlock/recovery.py +1350 -0
- interlock_escrow-0.3.0/src/interlock/repair.py +441 -0
- interlock_escrow-0.3.0/src/interlock/runtime.py +284 -0
- interlock_escrow-0.3.0/src/interlock/substrate.py +1042 -0
- interlock_escrow-0.3.0/src/interlock/types.py +573 -0
- interlock_escrow-0.3.0/tests/__init__.py +0 -0
- interlock_escrow-0.3.0/tests/conftest.py +155 -0
- interlock_escrow-0.3.0/tests/crash_child.py +395 -0
- interlock_escrow-0.3.0/tests/plans.py +158 -0
- interlock_escrow-0.3.0/tests/schemas.py +204 -0
- interlock_escrow-0.3.0/tests/test_anchor.py +544 -0
- interlock_escrow-0.3.0/tests/test_cascades.py +764 -0
- interlock_escrow-0.3.0/tests/test_config.py +113 -0
- interlock_escrow-0.3.0/tests/test_core_guarantees.py +818 -0
- interlock_escrow-0.3.0/tests/test_crash_consistency.py +1291 -0
- interlock_escrow-0.3.0/tests/test_engine.py +1178 -0
- interlock_escrow-0.3.0/tests/test_ergonomics.py +492 -0
- interlock_escrow-0.3.0/tests/test_extension.py +476 -0
- interlock_escrow-0.3.0/tests/test_feedback.py +923 -0
- interlock_escrow-0.3.0/tests/test_postgres.py +853 -0
- interlock_escrow-0.3.0/tests/test_readme_snippets.py +240 -0
- interlock_escrow-0.3.0/tests/test_reconcile.py +496 -0
- interlock_escrow-0.3.0/tests/test_records.py +214 -0
- interlock_escrow-0.3.0/tests/test_recovery.py +1019 -0
- interlock_escrow-0.3.0/tests/test_repair.py +801 -0
- interlock_escrow-0.3.0/tests/test_shared_transaction.py +381 -0
- interlock_escrow-0.3.0/tests/test_tamper_evidence.py +971 -0
- interlock_escrow-0.3.0/uv.lock +1140 -0
|
@@ -0,0 +1,221 @@
|
|
|
1
|
+
name: CI
|
|
2
|
+
|
|
3
|
+
on:
|
|
4
|
+
push:
|
|
5
|
+
branches: [main]
|
|
6
|
+
pull_request:
|
|
7
|
+
workflow_dispatch:
|
|
8
|
+
|
|
9
|
+
concurrency:
|
|
10
|
+
group: ${{ github.workflow }}-${{ github.ref }}
|
|
11
|
+
cancel-in-progress: true
|
|
12
|
+
|
|
13
|
+
permissions:
|
|
14
|
+
contents: read
|
|
15
|
+
|
|
16
|
+
jobs:
|
|
17
|
+
test:
|
|
18
|
+
name: test (py${{ matrix.python-version }}, ${{ matrix.os }})
|
|
19
|
+
runs-on: ${{ matrix.os }}
|
|
20
|
+
strategy:
|
|
21
|
+
fail-fast: false
|
|
22
|
+
matrix:
|
|
23
|
+
python-version: ["3.11", "3.12"]
|
|
24
|
+
os: [ubuntu-latest]
|
|
25
|
+
include:
|
|
26
|
+
# SQLite trigger semantics and file locking differ by platform, and
|
|
27
|
+
# the stage holds a write transaction for its whole life. Cover a
|
|
28
|
+
# second platform on the current Python.
|
|
29
|
+
- python-version: "3.12"
|
|
30
|
+
os: macos-latest
|
|
31
|
+
steps:
|
|
32
|
+
- uses: actions/checkout@v4
|
|
33
|
+
|
|
34
|
+
- name: Install uv
|
|
35
|
+
uses: astral-sh/setup-uv@v5
|
|
36
|
+
with:
|
|
37
|
+
enable-cache: true
|
|
38
|
+
|
|
39
|
+
- name: Set up Python ${{ matrix.python-version }}
|
|
40
|
+
run: uv python install ${{ matrix.python-version }}
|
|
41
|
+
|
|
42
|
+
# agentgov resolves from its public git repository via a PEP 508 direct
|
|
43
|
+
# reference, pinned in uv.lock to an exact commit. --frozen asserts the
|
|
44
|
+
# lock matches pyproject.toml, so a dependency edit that was not
|
|
45
|
+
# re-locked fails here rather than silently resolving to something else.
|
|
46
|
+
- name: Install the project
|
|
47
|
+
run: uv sync --frozen --python ${{ matrix.python-version }}
|
|
48
|
+
|
|
49
|
+
- name: Lint (ruff check)
|
|
50
|
+
run: uv run ruff check .
|
|
51
|
+
|
|
52
|
+
- name: Format (ruff format --check)
|
|
53
|
+
run: uv run ruff format --check .
|
|
54
|
+
|
|
55
|
+
- name: Type-check the package (mypy --strict)
|
|
56
|
+
run: uv run mypy src/
|
|
57
|
+
|
|
58
|
+
- name: Type-check tests and the demo (mypy --strict)
|
|
59
|
+
run: uv run mypy --strict tests/ demo.py
|
|
60
|
+
|
|
61
|
+
- name: Tests with coverage
|
|
62
|
+
run: uv run pytest -v --cov=interlock --cov-report=term-missing --cov-report=xml
|
|
63
|
+
|
|
64
|
+
# 90%, against 95% measured. postgres.py runs only against a server,
|
|
65
|
+
# so this job, which has none, leaves it out; the postgres job below
|
|
66
|
+
# measures everything, it included, against a higher floor.
|
|
67
|
+
- name: Enforce coverage floor
|
|
68
|
+
run: uv run coverage report --fail-under=90 --omit=src/interlock/postgres.py
|
|
69
|
+
|
|
70
|
+
- name: Run the demo end to end
|
|
71
|
+
run: uv run python demo.py --no-color
|
|
72
|
+
|
|
73
|
+
postgres:
|
|
74
|
+
name: test against PostgreSQL ${{ matrix.postgres }} (py3.12)
|
|
75
|
+
runs-on: ubuntu-latest
|
|
76
|
+
strategy:
|
|
77
|
+
fail-fast: false
|
|
78
|
+
matrix:
|
|
79
|
+
postgres: ["16"]
|
|
80
|
+
services:
|
|
81
|
+
postgres:
|
|
82
|
+
image: postgres:${{ matrix.postgres }}
|
|
83
|
+
env:
|
|
84
|
+
POSTGRES_USER: interlock_admin
|
|
85
|
+
POSTGRES_PASSWORD: interlock
|
|
86
|
+
POSTGRES_DB: postgres
|
|
87
|
+
ports:
|
|
88
|
+
- 5432:5432
|
|
89
|
+
options: >-
|
|
90
|
+
--health-cmd "pg_isready -U interlock_admin"
|
|
91
|
+
--health-interval 2s
|
|
92
|
+
--health-timeout 5s
|
|
93
|
+
--health-retries 30
|
|
94
|
+
# The same suite as the test job, with the PostgreSQL integration tests
|
|
95
|
+
# required rather than skippable: a service that failed to come up fails
|
|
96
|
+
# the job instead of passing it by skipping.
|
|
97
|
+
env:
|
|
98
|
+
INTERLOCK_TEST_POSTGRES_DSN: postgresql://interlock_admin:interlock@localhost:5432/postgres
|
|
99
|
+
INTERLOCK_REQUIRE_POSTGRES: "1"
|
|
100
|
+
steps:
|
|
101
|
+
- uses: actions/checkout@v4
|
|
102
|
+
|
|
103
|
+
- name: Install uv
|
|
104
|
+
uses: astral-sh/setup-uv@v5
|
|
105
|
+
with:
|
|
106
|
+
enable-cache: true
|
|
107
|
+
|
|
108
|
+
- name: Set up Python 3.12
|
|
109
|
+
run: uv python install 3.12
|
|
110
|
+
|
|
111
|
+
- name: Install the project
|
|
112
|
+
run: uv sync --frozen --python 3.12
|
|
113
|
+
|
|
114
|
+
- name: Tests with coverage, PostgreSQL required
|
|
115
|
+
run: uv run pytest -v --cov=interlock --cov-report=term-missing
|
|
116
|
+
|
|
117
|
+
# 95%, against 97% measured: every module, postgres.py included.
|
|
118
|
+
- name: Enforce coverage floor
|
|
119
|
+
run: uv run coverage report --fail-under=95
|
|
120
|
+
|
|
121
|
+
install-from-clone:
|
|
122
|
+
name: install from a clean clone (no sibling checkout)
|
|
123
|
+
runs-on: ubuntu-latest
|
|
124
|
+
steps:
|
|
125
|
+
- uses: actions/checkout@v4
|
|
126
|
+
|
|
127
|
+
- name: Install uv
|
|
128
|
+
uses: astral-sh/setup-uv@v5
|
|
129
|
+
with:
|
|
130
|
+
enable-cache: true
|
|
131
|
+
|
|
132
|
+
# The path source this replaced resolved only when agentgov happened to
|
|
133
|
+
# sit next to the checkout, so a third party's clone never built. Clone
|
|
134
|
+
# into a directory with no sibling checkout and resolve from scratch.
|
|
135
|
+
#
|
|
136
|
+
# Gates `git clone` + `uv sync`. The standalone-wheel path is gated
|
|
137
|
+
# separately below, now that the direct reference travels in metadata.
|
|
138
|
+
- name: Resolve and import from an isolated clone
|
|
139
|
+
run: |
|
|
140
|
+
set -euo pipefail
|
|
141
|
+
mkdir -p /tmp/thirdparty
|
|
142
|
+
git clone --depth 1 "file://$GITHUB_WORKSPACE" /tmp/thirdparty/interlock
|
|
143
|
+
test ! -e /tmp/thirdparty/agentgov # no sibling to fall back on
|
|
144
|
+
cd /tmp/thirdparty/interlock
|
|
145
|
+
uv sync --frozen
|
|
146
|
+
uv run python -c "
|
|
147
|
+
import agentgov, interlock
|
|
148
|
+
from interlock import EscrowEngine, SqliteSubstrate, TableSpec
|
|
149
|
+
assert agentgov.__file__ is not None
|
|
150
|
+
print('interlock', interlock.__version__, '+ agentgov', agentgov.__version__)
|
|
151
|
+
"
|
|
152
|
+
uv run pytest -q
|
|
153
|
+
|
|
154
|
+
install-wheel-standalone:
|
|
155
|
+
name: install the built wheel into a bare environment
|
|
156
|
+
runs-on: ubuntu-latest
|
|
157
|
+
steps:
|
|
158
|
+
- uses: actions/checkout@v4
|
|
159
|
+
|
|
160
|
+
- name: Install uv
|
|
161
|
+
uses: astral-sh/setup-uv@v5
|
|
162
|
+
with:
|
|
163
|
+
enable-cache: true
|
|
164
|
+
|
|
165
|
+
# A PEP 508 direct reference is written into distribution metadata, so
|
|
166
|
+
# unlike a [tool.uv.sources] entry it survives into the wheel. Assert
|
|
167
|
+
# that: build, install the artifact into a bare venv outside the source
|
|
168
|
+
# tree, and import it with nothing else on the path.
|
|
169
|
+
#
|
|
170
|
+
# This is also the check that fails the day interlock is submitted to
|
|
171
|
+
# PyPI, which rejects direct-URL dependencies. Putting agentgov on PyPI
|
|
172
|
+
# and pinning a version range is what replaces this.
|
|
173
|
+
- name: Build a wheel and install it standalone
|
|
174
|
+
run: |
|
|
175
|
+
set -euo pipefail
|
|
176
|
+
uv build --wheel
|
|
177
|
+
python -c "
|
|
178
|
+
import glob, zipfile
|
|
179
|
+
z = zipfile.ZipFile(glob.glob('dist/*.whl')[0])
|
|
180
|
+
name = [n for n in z.namelist() if n.endswith('METADATA')][0]
|
|
181
|
+
meta = z.read(name).decode()
|
|
182
|
+
assert 'Requires-Dist: agentgov @ git+' in meta, meta
|
|
183
|
+
print('wheel metadata carries the direct reference')
|
|
184
|
+
"
|
|
185
|
+
uv venv /tmp/bare
|
|
186
|
+
VIRTUAL_ENV=/tmp/bare uv pip install dist/*.whl
|
|
187
|
+
cd /tmp
|
|
188
|
+
/tmp/bare/bin/python -c "
|
|
189
|
+
import agentgov, interlock
|
|
190
|
+
from interlock import EscrowEngine, LedgerAnchor, SqliteSubstrate, TableSpec
|
|
191
|
+
print('interlock', interlock.__version__, '+ agentgov', agentgov.__version__)
|
|
192
|
+
"
|
|
193
|
+
|
|
194
|
+
build:
|
|
195
|
+
name: build (wheel + sdist)
|
|
196
|
+
runs-on: ubuntu-latest
|
|
197
|
+
steps:
|
|
198
|
+
- uses: actions/checkout@v4
|
|
199
|
+
|
|
200
|
+
- name: Install uv
|
|
201
|
+
uses: astral-sh/setup-uv@v5
|
|
202
|
+
with:
|
|
203
|
+
enable-cache: true
|
|
204
|
+
|
|
205
|
+
- name: Build, failing on packaging warnings
|
|
206
|
+
# `uv build` reports metadata problems (deprecated license fields, bad
|
|
207
|
+
# classifiers) as warnings but still exits 0, so a clean release has to
|
|
208
|
+
# assert on them. It writes all progress to stderr, so match the
|
|
209
|
+
# warnings themselves rather than treating any stderr as failure.
|
|
210
|
+
run: |
|
|
211
|
+
set -o pipefail
|
|
212
|
+
uv build 2>&1 | tee build.log
|
|
213
|
+
if grep -i '^warning' build.log; then
|
|
214
|
+
echo "::error::uv build emitted packaging warnings"
|
|
215
|
+
exit 1
|
|
216
|
+
fi
|
|
217
|
+
|
|
218
|
+
- uses: actions/upload-artifact@v4
|
|
219
|
+
with:
|
|
220
|
+
name: dist
|
|
221
|
+
path: dist/
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
# Python build and bytecode
|
|
2
|
+
__pycache__/
|
|
3
|
+
*.py[oc]
|
|
4
|
+
build/
|
|
5
|
+
dist/
|
|
6
|
+
wheels/
|
|
7
|
+
*.egg-info
|
|
8
|
+
|
|
9
|
+
# Virtual environments
|
|
10
|
+
.venv/
|
|
11
|
+
|
|
12
|
+
# Tooling caches
|
|
13
|
+
.pytest_cache/
|
|
14
|
+
.ruff_cache/
|
|
15
|
+
.mypy_cache/
|
|
16
|
+
.coverage
|
|
17
|
+
|
|
18
|
+
# Live stress-test artifacts (scripts/live_stress_test.py). Evidence, not
|
|
19
|
+
# repository content; regenerate with the script.
|
|
20
|
+
benchmarks/
|
|
21
|
+
|
|
22
|
+
# Demo and test artifacts: SQLite files and chain journals
|
|
23
|
+
*.db
|
|
24
|
+
*.db-wal
|
|
25
|
+
*.db-shm
|
|
26
|
+
*.db.lock
|
|
27
|
+
*.jsonl
|
|
28
|
+
|
|
29
|
+
# Pitch, positioning and brainstorming material. This repository is public and
|
|
30
|
+
# its documentation is engineering mechanics only. Keep strategy notes out of it.
|
|
31
|
+
CONCEPT*.md
|
|
32
|
+
PITCH*.md
|
|
33
|
+
*_pitch.md
|
|
34
|
+
NOTES.md
|
|
35
|
+
BRAINSTORM*.md
|
|
36
|
+
|
|
37
|
+
# OS metadata
|
|
38
|
+
.DS_Store
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
# This .gitignore file was automatically created by Hypothesis. Hypothesis gitignores
|
|
2
|
+
# .hypothesis by default, because we generally recommend that .hypothesis not be checked
|
|
3
|
+
# into version control.
|
|
4
|
+
#
|
|
5
|
+
# If you *would* like to check .hypothesis into version control, you should delete this
|
|
6
|
+
# file. Hypothesis will not re-create this .gitignore unless .hypothesis is deleted (and
|
|
7
|
+
# if it does, that's a bug - please report it!)
|
|
8
|
+
|
|
9
|
+
*
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/postgres.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[30.0, 60.0, 1000, '({})', ', ', 'COMMIT', 'DEFAULT_SCHEMA', 'DELETE FROM {}', 'PostgresStore', 'ROLLBACK', 'SELECT k FROM {}', 'agentgov', 'append_only', 'begin a read', 'big', 'claim', 'claims', 'commit a transaction', 'committed', 'conn', 'control_events', 'entries', 'entry', 'extend_chain', 'failed', 'grant joined writes', 'idle_timeout', 'join a transaction', 'join_key', 'load the ledger', 'lock_timeout', 'nodes', 'open_authorizations', 'pg1', 'read the ledger', 'read the ledger head', 'repair cache tables', 'schema_meta', 'token', 'write the ledger', 'wrote']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/engine.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[',', '0', '; ', '; settlement claimed', '; txid ', 'EscrowEngine', 'StageResult', '_anchor', '_chain', '_checkers', '_claims', '_claims_lock', '_inflight', '_receipts', '_reserving', '_settle_cost', '_substrate', 'admitted', 'cascade_report', 'commit_markers', 'committed', 'connection', 'exhaustive', 'ilok_repair', 'interlock.engine', 'observed_tables', 'proposal recorded', 'reject_reason', 'repair', 'repair search failed', 'repair search; ', 'resolve_intent', 'rollback_to', 'rolled back', 'savepoint', 'stage failed', 'transaction_id']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/postgres.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[b'\x00', 2.0, 10.0, 1000, 50000, ', ', '1', '3F000', '40001', '40P01', '42501', '42883', '42P01', '55P03', '57014', '; ', '?', 'A', 'COMMIT', 'IL001', 'IL002', 'INSTALL_VERSION', 'PostgresSubstrate', 'RELEASE SAVEPOINT', 'ROLLBACK', 'SAVEPOINT', 'STAGEABLE_VERBS', '_acknowledged', '_by_name', '_conn', '_dsn', '_enforce', '_folded', '_handle', '_lock_seconds', '_max_rows', '_report', '_schema', '_stage_seconds', '_tables', '_xid', 'aborted', 'cascade', 'column', 'delete', 'diag', 'forgotten', 'in progress', 'insert', 'install', 'interlock', 'interlock.capture', 'interlock.capture()', 'interlock.postgres', 'interlock_capture', 'interlock_truncate', 'marker', 'merge', 'message_detail', 'multiple commands', 'multiple_statements', 'operation', 'postgres', 'privilege', 'protected', 'public', 'select', 'sqlstate', 'statement_kind', 'table', 'unknown', 'update', 'update_any', 'update_columns', 'values', 'with', '{}.{}']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/anchor.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['0', 'AnchorPoint', 'HOLD_MEMO', 'JoinedCommit', 'LedgerAnchor', '_audit', '_governed', '_same_transaction', '_scope_id', '_transaction', 'a chain-head read', 'a commit guard', 'a scope-path read', 'an audit-trail read', 'circuit_tripped', 'interlock-hold:', 'interlock.anchor', 'interlock:', 'plan did not commit']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/receipts/schema.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[b'ARC1/checkpoint/v1\n', b'ARC1/cosignature/v1\n', b'ARC1/receipt/v1\n', '(?:[0-9a-f]{2})+', ', ', '0', '0.00000001', 'ARC1', 'ARC1-bundle', 'ARC1-checkpoint', 'ARC1-cosignature', 'ARC1-rows', 'ActionReceipt', 'Anchors', 'Authority', 'Capability', 'ChainAnchor', 'CheckerRecord', 'Checkpoint', 'Cosignature', 'Cost', 'Coverage', 'Decision', 'DisclosedRow', 'Effect', 'EffectSummary', 'InclusionProof', 'Intent', 'LogAnchor', 'Outcome', 'OutcomeStatus', 'ReceiptBundle', 'RowChange', 'RowDisclosure', 'Signature', 'StatedFootprint', '[0-9a-f]{16}', '[0-9a-f]{64}', '_path', '_value', 'a', 'a SHA-256 in hex', 'admitted', 'after', 'agentgov', 'alg', 'an', 'anchors', 'audit_path', 'authority', 'authorizer_on', 'before', 'bundle', 'bundle.checkpoint', 'bundle.receipt', 'capability', 'cascade_closed', 'checkers', 'checkpoint', 'committed', 'config_hash', 'cosignature', 'cost', 'coverage', 'decision', 'del', 'delete', 'diff_hash', 'effect', 'escrow', 'f', 'grant', 'head', 'inclusion', 'index', 'ins', 'insert', 'intent', 'issued_at', 'issuer', 'key_id', 'known_gaps', 'leaf_index', 'ledger_txn_ids', 'log', 'log_id', 'name', 'observed_tables', 'op', 'outcome', 'pk', 'plan_hash', 'policy_epoch', 'receipt', 'receipt_id', 'recovered_aborted', 'recovered_committed', 'refused', 'repair_of', 'root_hash', 'row', 'row_count', 'row_limit', 'row_root', 'rows', 'salt', 'schema_hash', 'scope_path', 'seq', 'served_models', 'settled_usd', 'sig', 'signature', 'stated', 'status', 'substrate_id', 'substrate_txid', 'summary', 'table', 'tables', 'tenant', 'tenants', 'trajectory_id', 'tree_size', 'truncated', 'upd', 'update', 'v', 'verdict_hash', 'witness_id', 'witnessed_at']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/__init__.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['0.2.1', 'AdmissionError', 'AgentFeedback', 'AnchorError', 'AnchorPoint', 'BlastRadius', 'BudgetGuard', 'CascadeReport', 'ChainInUseError', 'ChainIntegrityError', 'Channel', 'ColumnValueGuard', 'CommitUnsettledError', 'Compensation', 'ConstraintFeedback', 'CyclicPlanError', 'Directive', 'DroppedEffect', 'Effect', 'EffectDiff', 'EffectId', 'EffectKind', 'EffectPlan', 'EscrowChain', 'EscrowEngine', 'EscrowRecord', 'EscrowRuntime', 'Estimate', 'ExtensionError', 'ExtensionGrant', 'ExtensionRequest', 'InterlockError', 'InvariantChecker', 'InvariantViolation', 'LedgerAnchor', 'Milestones', 'NoDelete', 'NoSchemaChange', 'OperatorEvidence', 'PlanBuilder', 'PlanError', 'PlanId', 'PostgresSubstrate', 'Progress', 'ReceiptIssuer', 'RecordIntegrityError', 'RecordKind', 'RecordLog', 'RecordType', 'RecoveryError', 'RecoveryPolicy', 'RecoveryRuntime', 'RecoveryStep', 'Refusal', 'Repair', 'RepairFeedback', 'RowDelta', 'Rung', 'ScopeHaltedError', 'Severity', 'ShadowSubstrate', 'SignedRecord', 'Spend', 'SqliteSubstrate', 'StageConflictError', 'StageError', 'StageExpiredError', 'StageResult', 'StageState', 'StatedFootprint', 'TableAllowlist', 'TableSpec', 'TenantDrawdownGuard', 'TenantIsolation', 'ToolRevokedError', 'Trip', 'TripKind', 'TruncationGuard', 'Verdict', '__version__', 'check_anchors', 'default_checkers', 'new_effect_id', 'new_plan_id', 'verify_records']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/core.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[1.0, 30.0, 60.0, 1000, '%Y-%m-%dT%H:%M:%S.%f', ',', '--', '0', '0.00000001', '1000000000000', ':', 'AGOV1', 'AGOV2', 'Authorization', 'BudgetManager', 'BudgetNode', 'CR', 'ControlEvent', 'DR', 'Direction', 'EntryType', 'FULL', 'GENESIS_HASH', 'GovernancePolicy', 'Ledger', 'LedgerEntry', 'LedgerLine', 'MAX_AMOUNT', 'QUANTUM', 'WriteBatch', 'Z', '_base', '_closed', '_holds', '_ledger', '_legacy', '_legacy_applied', '_opened', '_released', '_settleable', '_source', '_start_head', '_txn', '_view', 'agentgov', 'agentgov.audit', 'agentgov_control', 'agentgov_entry', 'allocation', 'ambiguous', 'amount', 'anchor', 'authorization hold', 'authorization voided', 'balance_after', 'balances', 'batch', 'chain_events', 'circuit_reset', 'circuit_tripped', 'cost', 'counterparty_id', 'credit', 'direction', 'entry_hash', 'entry_id', 'entry_type', 'envelope topped up', 'event_id', 'event_type', 'events', 'format_audit_line', 'funding', 'governor', 'head', 'hold', 'hold_void', 'ledger_head_hash', 'length', 'line amount', 'memo', 'money', 'nodes', 'operator reset', 'prev_hash', 'read-only view', 'reason', 'ref', 'release', 'reversal', 'root envelope issued', 'roots', 'saw_v1', 'saw_v2', 'scope_id', 'seal', 'sequence', 'settled call cost', 'spend', 'timestamp', 'totals', 'transaction_id', 'tripped', 'utf-8', 'vendor refund', 'version', 'was already settled']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/__init__.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['0.2.1', 'AgentGovError', 'AgentThrashingError', 'AsyncMeteredStream', 'Authorization', 'BudgetError', 'BudgetExceededError', 'BudgetManager', 'BudgetNode', 'CHARS_PER_TOKEN', 'CallCycleDetector', 'CircuitBreakerError', 'CircuitOpenError', 'CognitiveBreaker', 'CognitivePolicy', 'ControlEvent', 'DenialOfWalletError', 'Direction', 'DoubleSpendError', 'DuplicateScopeError', 'EntryType', 'ExactRepeatDetector', 'GovernancePolicy', 'GovernedClient', 'GovernorHandle', 'Interceptor', 'JoinableStore', 'JoinedTransaction', 'Ledger', 'LedgerConflictError', 'LedgerEntry', 'LedgerError', 'LedgerIntegrityError', 'LedgerLine', 'LoopDetector', 'MeteredCall', 'MeteredStream', 'MeteringJournal', 'ModelPricing', 'PRICING', 'PersistedNode', 'PersistenceStore', 'ProviderUsageRecord', 'ReadOnlyLedgerError', 'ReconciliationPolicy', 'ReconciliationReport', 'Redactor', 'ScopeError', 'SemanticObserver', 'SettlementClaim', 'SharedStore', 'SpendGuard', 'SqliteStore', 'StorageError', 'StoreDelta', 'StoreImage', 'TokenUsage', 'ToolCall', 'UnknownScopeError', 'Verdict', 'WriteBatch', 'WriterSession', 'canonical_arguments', 'estimate_tokens', 'extract_prompt_text', 'extract_result_text', 'format_audit_line', 'govern', 'load_provider_export', 'money', 'normalize_model_id', 'pricing_for', 'reconcile']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/core.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[1.0, 1000, '%Y-%m-%dT%H:%M:%S.%f', ',', '--', '0', '0.00000001', '1000000000000', ':', 'AGOV1', 'AGOV2', 'Authorization', 'BudgetManager', 'BudgetNode', 'CR', 'ControlEvent', 'DR', 'Direction', 'EntryType', 'FULL', 'GENESIS_HASH', 'GovernancePolicy', 'Ledger', 'LedgerEntry', 'LedgerLine', 'MAX_AMOUNT', 'QUANTUM', 'WriteBatch', 'Z', '_base', '_closed', '_holds', '_ledger', '_legacy', '_legacy_applied', '_opened', '_released', '_settleable', '_source', '_start_head', '_txn', '_view', 'agentgov.audit', 'agentgov_control', 'agentgov_entry', 'allocation', 'ambiguous', 'amount', 'anchor', 'authorization hold', 'authorization voided', 'balance_after', 'balances', 'batch', 'chain_events', 'circuit_reset', 'circuit_tripped', 'cost', 'counterparty_id', 'credit', 'direction', 'entry_hash', 'entry_id', 'entry_type', 'envelope topped up', 'event_id', 'event_type', 'events', 'format_audit_line', 'funding', 'head', 'hold', 'hold_void', 'ledger_head_hash', 'length', 'line amount', 'memo', 'money', 'nodes', 'operator reset', 'prev_hash', 'reason', 'ref', 'release', 'reversal', 'root envelope issued', 'roots', 'saw_v1', 'saw_v2', 'scope_id', 'seal', 'sequence', 'settled call cost', 'spend', 'timestamp', 'totals', 'transaction_id', 'tripped', 'utf-8', 'vendor refund', 'version', 'was already settled']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/receipts/__init__.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['ActionReceipt', 'Anchors', 'Authority', 'Capability', 'ChainAnchor', 'Check', 'CheckerRecord', 'Checkpoint', 'CheckpointPolicy', 'Cosignature', 'Cost', 'Coverage', 'Decision', 'Ed25519PublicKey', 'Ed25519Signer', 'Effect', 'EffectSummary', 'Failure', 'FileWitness', 'HmacKey', 'InclusionProof', 'Intent', 'LogAnchor', 'MerkleTree', 'Outcome', 'OutcomeStatus', 'ReceiptBundle', 'ReceiptLog', 'RowChange', 'RowCommitment', 'RowDisclosure', 'Signer', 'StatedFootprint', 'VerificationReport', 'Verifier', 'Witness', 'canonical_bytes', 'commit_rows', 'find_cosignature', 'load_cosignatures', 'loads_strict', 'parse_key', 'verify_bundle', 'verify_consistency', 'verify_disclosure', 'verify_inclusion']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/config.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['DATABASE_ENV', 'INTERLOCK_DATABASE', 'InterlockConfig', 'acknowledge_cascades', 'audit_roles', 'columns', 'database', 'id', 'load_config', 'name', 'postgres', 'primary_key', 'public', 'schema', 'sqlite', 'stage_roles', 'substrate', 'tables', 'tenant_column', 'utf-8']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/exceptions.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['AdmissionError', 'AnchorError', 'ChainInUseError', 'ChainIntegrityError', 'CyclicPlanError', 'ExtensionError', 'InterlockError', 'PlanError', 'RecordIntegrityError', 'RecoveryError', 'ScopeHaltedError', 'StageConflictError', 'StageError', 'StageExpiredError', 'ToolRevokedError', 'statement_kind']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/storage.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[420, ', entry_id', ', version, ref', '.lock', '1', '2', ':memory:', 'AGOV1', 'BEGIN', 'BEGIN IMMEDIATE', 'DELETE FROM nodes', 'FULL', 'JoinableStore', 'PersistedNode', 'PersistenceStore', 'SharedStore', 'SqliteStore', 'StoreDelta', 'StoreImage', 'WHERE sequence > ?', 'WriterSession', '_fd', '_path', 'commit a transaction', 'control_events', 'entries', 'entry_id', 'file::memory:', 'host', 'pid', 'ref', 'repair cache tables', 'seconds', 'since', 'utf-8', 'version', 'win32']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/cascade.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[150000, ' of any column', ', then ', '; ', 'ARRAY[]::text[]', 'CASCADE', 'CascadeGate', 'CascadeReach', 'CascadeReport', 'CascadeStep', 'ForeignKey', 'NO ACTION', 'RESTRICT', 'SET DEFAULT', 'SET NULL', 'a', 'analyze_cascades', 'c', 'd', 'delete', 'log_report', 'n', 'public', 'r', 'update']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/records.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[b'ILOK1/record/v1\n', '+00:00', ',', '0', '0123456789abcdef', ':', 'ANCHOR_PREFIX', 'GENESIS', 'ILOK1', 'ILOK1 ', 'RECORD_DOMAIN', 'RECORD_VERSION', 'RecordKind', 'RecordLog', 'SignedRecord', 'Z', '[0-9a-f]{16}', '[0-9a-f]{64}', '_claim', '_closed', '_head', '_lock', '_log_id', '_path', '_records', '_signer', 'ab', 'alg', 'anchor_memo', 'body', 'check_anchors', 'ed25519', 'extension.declined', 'extension.granted', 'extension.quoted', 'f', 'hmac-sha256', 'interlock', 'interlock.records', 'issued_at', 'key_id', 'kind', 'log', 'log is malformed', 'microseconds', 'money', 'prev', 'prev is malformed', 'r+b', 'record log', 'recovery.closed', 'recovery.opened', 'recovery.settled', 'recovery.step', 'scope', 'seq', 'sig', 'sig.alg is unknown', 'signature', 'utf-8', 'v', 'verify_records']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/receipts/signing.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[b'ARC1/ed25519/v1\n', b'ARC1/key-id/v1', ':', 'ALG_ED25519', 'ALG_HMAC_SHA256', 'Ed25519PublicKey', 'Ed25519Signer', 'HmacKey', 'Signer', 'Verifier', '_key', '_key_id', '_public', '_raw', '_secret', 'ed25519', 'hmac-sha256', 'parse_key']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/__init__.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['0.2.0', 'AdmissionError', 'AgentFeedback', 'AnchorError', 'AnchorPoint', 'BlastRadius', 'BudgetGuard', 'CascadeReport', 'ChainInUseError', 'ChainIntegrityError', 'Channel', 'ColumnValueGuard', 'CommitUnsettledError', 'Compensation', 'ConstraintFeedback', 'CyclicPlanError', 'Directive', 'DroppedEffect', 'Effect', 'EffectDiff', 'EffectId', 'EffectKind', 'EffectPlan', 'EscrowChain', 'EscrowEngine', 'EscrowRecord', 'EscrowRuntime', 'Estimate', 'ExtensionError', 'ExtensionGrant', 'ExtensionRequest', 'InterlockError', 'InvariantChecker', 'InvariantViolation', 'LedgerAnchor', 'Milestones', 'NoDelete', 'NoSchemaChange', 'OperatorEvidence', 'PlanBuilder', 'PlanError', 'PlanId', 'PostgresSubstrate', 'Progress', 'ReceiptIssuer', 'RecordIntegrityError', 'RecordKind', 'RecordLog', 'RecordType', 'RecoveryError', 'RecoveryPolicy', 'RecoveryRuntime', 'RecoveryStep', 'Refusal', 'Repair', 'RepairFeedback', 'RowDelta', 'Rung', 'ScopeHaltedError', 'Severity', 'ShadowSubstrate', 'SignedRecord', 'Spend', 'SqliteSubstrate', 'StageConflictError', 'StageError', 'StageExpiredError', 'StageResult', 'StageState', 'StatedFootprint', 'TableAllowlist', 'TableSpec', 'TenantDrawdownGuard', 'TenantIsolation', 'ToolRevokedError', 'Trip', 'TripKind', 'TruncationGuard', 'Verdict', '__version__', 'check_anchors', 'default_checkers', 'new_effect_id', 'new_plan_id', 'verify_records']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/postgres.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[30.0, 60.0, 1000, '({})', ', ', 'COMMIT', 'DEFAULT_SCHEMA', 'DELETE FROM {}', 'PostgresStore', 'ROLLBACK', 'SELECT k FROM {}', 'agentgov', 'allocated', 'amount', 'append_joined', 'append_only', 'authorization_id', 'balance_after', 'begin a read', 'big', 'closed', 'commit a transaction', 'committed', 'conn', 'control_events', 'counterparty_id', 'created_at', 'depth', 'direction', 'entries', 'entry', 'entry_hash', 'entry_id', 'entry_type', 'event_id', 'event_type', 'extend_chain', 'failed', 'grant joined writes', 'idle_timeout', 'join a transaction', 'join_key', 'joined_head', 'ledger_head_hash', 'load the ledger', 'lock_timeout', 'memo', 'nodes', 'open_authorizations', 'opened', 'opened_at', 'parent_id', 'pg1', 'prev_hash', 'read the ledger', 'read the ledger head', 'reason', 'ref', 'repair cache tables', 'schema_meta', 'scope_id', 'sequence', 'timestamp', 'token', 'transaction_id', 'version', 'write the ledger', 'wrote']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/anchor.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['0', 'AnchorPoint', 'LedgerAnchor', '_audit', '_governed', 'a chain-head read', 'a commit guard', 'a scope-path read', 'an audit-trail read', 'circuit_tripped', 'interlock.anchor', 'interlock:']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/__init__.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['0.2.1', 'AgentGovError', 'AgentThrashingError', 'AsyncMeteredStream', 'Authorization', 'BudgetError', 'BudgetExceededError', 'BudgetManager', 'BudgetNode', 'CHARS_PER_TOKEN', 'CallCycleDetector', 'CircuitBreakerError', 'CircuitOpenError', 'CognitiveBreaker', 'CognitivePolicy', 'ControlEvent', 'DenialOfWalletError', 'Direction', 'DoubleSpendError', 'DuplicateScopeError', 'EntryType', 'ExactRepeatDetector', 'GovernancePolicy', 'GovernedClient', 'GovernorHandle', 'Interceptor', 'JoinableStore', 'JoinedTransaction', 'Ledger', 'LedgerConflictError', 'LedgerEntry', 'LedgerError', 'LedgerIntegrityError', 'LedgerLine', 'LoopDetector', 'MeteredCall', 'MeteredStream', 'MeteringJournal', 'ModelPricing', 'PRICING', 'PersistedNode', 'PersistenceStore', 'ProviderUsageRecord', 'ReadOnlyLedgerError', 'ReconciliationPolicy', 'ReconciliationReport', 'Redactor', 'ScopeError', 'SemanticObserver', 'SharedStore', 'SpendGuard', 'SqliteStore', 'StorageError', 'StoreDelta', 'StoreImage', 'TokenUsage', 'ToolCall', 'UnknownScopeError', 'Verdict', 'WriteBatch', 'WriterSession', 'canonical_arguments', 'estimate_tokens', 'extract_prompt_text', 'extract_result_text', 'format_audit_line', 'govern', 'load_provider_export', 'money', 'normalize_model_id', 'pricing_for', 'reconcile']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/anchor.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['0', 'AnchorPoint', 'JoinedCommit', 'LedgerAnchor', '_audit', '_governed', '_same_transaction', '_scope_id', '_transaction', 'a chain-head read', 'a commit guard', 'a scope-path read', 'an audit-trail read', 'circuit_tripped', 'interlock.anchor', 'interlock:']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/anchor.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['0', 'AnchorPoint', 'JoinedCommit', 'LedgerAnchor', '_audit', '_governed', '_same_transaction', '_scope_id', '_transaction', 'a chain-head read', 'a commit guard', 'a scope-path read', 'an audit-trail read', 'circuit_tripped', 'interlock.anchor', 'interlock:']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/cognitive.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[0.02, 0.3, 0.7, 0.75, 0.95, 1.0, 2.0, 256, 1024, 'CallCycleDetector', 'CognitiveBreaker', 'CognitivePolicy', 'ExactRepeatDetector', 'LoopDetector', 'Redactor', 'SemanticObserver', 'ToolCall', 'Verdict', '__weakref__', '_closed', '_detectors', '_finalizer', '_include_results', '_lock', '_manager', '_max_trajectories', '_min_ratio', '_observer', '_policy', '_queue', '_redactor', '_salt', '_states', '_stats_dropped', '_stats_evaluated', '_stats_observed', '_stats_queued', '_trajectories', '_window', '_worker', 'agentgov-cognitive', 'agentgov.cognitive', 'call_cycle', 'canonical_arguments', 'completion', 'content', 'deterministic', 'exact_repeat', 'extract_result_text', 'fingerprint', 'floor', 'jaccard', 'mean_novelty', 'min_similarity', 'near_duplicate', 'period', 'repeats', 'semantic', 'shingles', 'streak', 'text', 'thinking', 'threshold', 'trajectory_entropy', 'utf-8', 'window']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/exceptions.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[1.0, 'AgentGovError', 'AgentThrashingError', 'BudgetError', 'BudgetExceededError', 'CircuitBreakerError', 'CircuitOpenError', 'DenialOfWalletError', 'DoubleSpendError', 'DuplicateScopeError', 'LedgerConflictError', 'LedgerError', 'LedgerIntegrityError', 'ReadOnlyLedgerError', 'ReceiptError', 'ReceiptLogError', 'RowDisclosureError', 'ScopeError', 'StorageError', 'UnknownScopeError', 'WitnessError', 'another process', 'deterministic', 'its own breaker', 'overspent', 'refused']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/streaming.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[65536, 'AsyncMeteredStream', 'BoundCall', 'MeteredStream', 'T', '_StreamCore', '__aenter__', '__aexit__', '__enter__', '__exit__', '__name__', '__weakref__', '_auth', '_call', '_cognitive', '_core', '_entry', '_extract', '_final', '_finalizer', '_hold', '_inner', '_manager', '_memo', '_pricing', '_resolved', '_scope_id', '_settled', '_source', '_text', '_text_chars', '_trajectory', '_usage', 'agentgov.streaming', 'chunks', 'delta', 'get_final_message', 'text']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/types.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[10.0, 50000, ',', ', ', '0', ':', 'AUDIT_VERSION', 'CommitReceipt', 'Compensation', 'Effect', 'EffectDiff', 'EffectId', 'EffectKind', 'EffectOutcome', 'EffectPlan', 'GENESIS_HASH', 'ILOK1', 'InvariantViolation', 'PlanId', 'RowDelta', 'Severity', 'StageHandle', 'StageState', 'Verdict', 'aborted', 'advisory', 'blocking', 'canonical_hash', 'committed', 'ddl', 'delete', 'enqueue', 'insert', 'iso', 'orphaned', 'planned', 'rejected', 'repair_of', 'staged', 'staging', 'update', 'utf-8', 'verified']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/receipts/canonical.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['$', ',', ':', 'MAX_SAFE_INTEGER', '[', ']', 'canonical_bytes', 'false', 'loads_strict', 'null', 'sha256_hex', 'surrogatepass', 'true', 'utf-16-be', 'utf-8', '{', '}']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/core.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[1.0, 30.0, 60.0, 1000, '%Y-%m-%dT%H:%M:%S.%f', ',', '--', '0', '0.00000001', '1000000000000', ':', 'AGOV1', 'AGOV2', 'Authorization', 'BudgetManager', 'BudgetNode', 'CR', 'ControlEvent', 'DR', 'Direction', 'EntryType', 'FULL', 'GENESIS_HASH', 'GovernancePolicy', 'JoinedTransaction', 'Ledger', 'LedgerEntry', 'LedgerLine', 'MAX_AMOUNT', 'QUANTUM', 'SettlementClaim', 'WriteBatch', 'Z', '_base', '_closed', '_holds', '_ledger', '_legacy', '_legacy_applied', '_manager', '_opened', '_released', '_settleable', '_source', '_start_head', '_store', '_txn', '_view', 'agentgov', 'agentgov.audit', 'agentgov_control', 'agentgov_entry', 'allocation', 'ambiguous', 'amount', 'anchor', 'authorization hold', 'authorization voided', 'balance_after', 'balances', 'batch', 'chain_events', 'circuit_reset', 'circuit_tripped', 'cost', 'counterparty_id', 'credit', 'direction', 'entry_hash', 'entry_id', 'entry_type', 'envelope topped up', 'event_id', 'event_type', 'events', 'format_audit_line', 'funding', 'governor', 'head', 'hold', 'hold_void', 'ledger_head_hash', 'length', 'line amount', 'memo', 'money', 'nodes', 'operator reset', 'prev_hash', 'read-only view', 'reason', 'ref', 'release', 'reversal', 'root envelope issued', 'roots', 'saw_v1', 'saw_v2', 'scope_id', 'seal', 'sequence', 'settled call cost', 'spend', 'timestamp', 'totals', 'transaction_id', 'tripped', 'utf-8', 'vendor refund', 'version', 'was already settled']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/storage.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[420, ', entry_id', ', version, ref', '.lock', '1', '2', ':memory:', 'AGOV1', 'BEGIN', 'BEGIN IMMEDIATE', 'DELETE FROM nodes', 'FULL', 'PersistedNode', 'PersistenceStore', 'SqliteStore', 'StoreDelta', 'StoreImage', 'WHERE sequence > ?', '_fd', '_path', 'commit a transaction', 'control_events', 'entries', 'entry_id', 'file::memory:', 'host', 'pid', 'ref', 'repair cache tables', 'seconds', 'since', 'utf-8', 'version', 'win32']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/storage.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[420, ', entry_id', ', version, ref', '.lock', '1', '2', ':memory:', 'AGOV1', 'BEGIN', 'BEGIN IMMEDIATE', 'DELETE FROM nodes', 'FULL', 'JoinableStore', 'PersistedNode', 'PersistenceStore', 'SharedStore', 'SqliteStore', 'StoreDelta', 'StoreImage', 'WHERE sequence > ?', 'WriterSession', '_fd', '_path', 'commit a transaction', 'control_events', 'entries', 'entry_id', 'file::memory:', 'host', 'pid', 'ref', 'repair cache tables', 'seconds', 'since', 'utf-8', 'version', 'win32']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/__init__.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['0.2.1', 'AgentGovError', 'AgentThrashingError', 'AsyncMeteredStream', 'Authorization', 'BudgetError', 'BudgetExceededError', 'BudgetManager', 'BudgetNode', 'CHARS_PER_TOKEN', 'CallCycleDetector', 'CircuitBreakerError', 'CircuitOpenError', 'CognitiveBreaker', 'CognitivePolicy', 'ControlEvent', 'DenialOfWalletError', 'Direction', 'DoubleSpendError', 'DuplicateScopeError', 'EntryType', 'ExactRepeatDetector', 'GovernancePolicy', 'GovernedClient', 'GovernorHandle', 'Interceptor', 'Ledger', 'LedgerEntry', 'LedgerError', 'LedgerIntegrityError', 'LedgerLine', 'LoopDetector', 'MeteredCall', 'MeteredStream', 'MeteringJournal', 'ModelPricing', 'PRICING', 'PersistedNode', 'PersistenceStore', 'ProviderUsageRecord', 'ReadOnlyLedgerError', 'ReconciliationPolicy', 'ReconciliationReport', 'Redactor', 'ScopeError', 'SemanticObserver', 'SpendGuard', 'SqliteStore', 'StorageError', 'StoreDelta', 'StoreImage', 'TokenUsage', 'ToolCall', 'UnknownScopeError', 'Verdict', 'WriteBatch', 'canonical_arguments', 'estimate_tokens', 'extract_prompt_text', 'extract_result_text', 'format_audit_line', 'govern', 'load_provider_export', 'money', 'normalize_model_id', 'pricing_for', 'reconcile']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/interceptor.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[2000, 4096, ', ', '-\\d{8}$', '0.25', '1.00', '1.25', '1.5', '10.00', '1000000', '15.00', '2.00', '25.00', '3.00', '5.00', '50.00', 'Interceptor', 'MeteredCall', 'ModelPricing', 'PRICING', 'R', 'SpendGuard', 'TokenUsage', 'UsageExtractor', '__name__', '_auth', '_cognitive', '_dynamic_holds', '_entry', '_extract_usage', '_hold', '_manager', '_max_output_tokens', '_memo', '_pricing', '_pricing_is_explicit', '_safety_buffer', '_scope_id', '_settled', '_trajectory', 'agentgov.interceptor', 'call authorization', 'claude-fable-5', 'claude-fable-5-1', 'claude-haiku-4-5', 'claude-opus-4-6', 'claude-opus-4-7', 'claude-opus-4-8', 'claude-opus-5', 'claude-sonnet-4-6', 'claude-sonnet-5', 'content', 'estimate_tokens', 'extract_prompt_text', 'input', 'input_tokens', 'instructions', 'max_tokens', 'messages', 'model', 'output_tokens', 'pricing_for', 'prompt', 'settled call cost', 'source', 'system', 'text', 'usage']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/extension.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[512, ', ', '/ext-\\d+$', '0.01', '0.25', 'BudgetGuard', 'Estimate', 'ExtensionGrant', 'ExtensionRequest', 'Milestones', 'Progress', 'Spend', 'amount', 'approved_by', 'available', 'carried', 'checkpoint', 'committed', 'completion', 'declined', 'declined_by', 'delegate', 'done', 'entry', 'estimate', 'expires_at', 'from', 'fund', 'grant', 'granted', 'halted_by', 'hash', 'head', 'held', 'id', 'interlock.extension', 'issued_at', 'ledger', 'log', 'margin', 'method', 'milestones', 'needed', 'next_call', 'progress', 'quote', 'reason', 'receipts', 'recovery_steps', 'remaining', 'requested', 'reset', 'root', 'rows', 'scope', 'scopes', 'seq', 'sequence', 'source', 'spend', 'spent', 'steps', 'task', 'the next call alone', 'total', 'tree_size', 'unit', 'unit_cost']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/reconcile.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['3F000', '42501', '42P01', 'BEGIN IMMEDIATE', 'COMMIT', 'DELETE', 'INSERT', 'NEW', 'OLD', 'Reconciliation', 'StageFinding', 'UPDATE', 'UnmediatedWrite', 'aborted', 'chain_outcomes', 'd', 'i', 'plan', 'postgres', 'reconcile_postgres', 'reconcile_sqlite', 'result: clean', 'sqlite', 'table', 'trigger', 'u', 'unrecorded', 'unresolved']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/exceptions.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
['AdmissionError', 'AnchorError', 'ChainInUseError', 'ChainIntegrityError', 'CyclicPlanError', 'ExtensionError', 'InterlockError', 'PlanError', 'RecordIntegrityError', 'RecoveryError', 'ScopeHaltedError', 'StageConflictError', 'StageError', 'StageExpiredError', 'ToolRevokedError', 'statement_kind']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/interlock/src/interlock/engine.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[',', '0', '; ', '; txid ', 'EscrowEngine', 'StageResult', '_anchor', '_chain', '_checkers', '_claims', '_claims_lock', '_inflight', '_receipts', '_settle_cost', '_substrate', 'admitted', 'cascade_report', 'commit_markers', 'committed', 'exhaustive', 'ilok_repair', 'interlock.engine', 'observed_tables', 'proposal recorded', 'reject_reason', 'repair', 'repair search failed', 'repair search; ', 'resolve_intent', 'rollback_to', 'rolled back', 'savepoint', 'stage failed', 'transaction_id']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/reconciliation.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[1.0, 2.0, 5.0, 100.0, 100, ' COST DISCREPANCIES', '$', '+00:00', ',', '.csv', '.json', '.tsv', '0.000001', ':', 'Discrepancy', 'MatchedCall', 'MeteredRecord', 'MeteringJournal', 'ProviderUsageRecord', 'R', 'RECONCILIATION', 'ReconciliationPolicy', 'ReconciliationReport', 'UsageParseError', 'Z', '[{', '_', '_entries', 'amount', 'amount_usd', 'anthropic-csv', 'auto', 'completion_tokens', 'context_tokens', 'cost', 'cost and time only', 'cost_usd', 'created_at', 'data', 'date', 'format_report', 'id', 'input_tokens', 'line_id', 'load_provider_export', 'metered_records', 'model', 'model_id', 'model_version', 'openai-json', 'output_tokens', 'parse_anthropic_csv', 'parse_openai_json', 'prompt_tokens', 'reconcile', 'record_id', 'request_id', 'results', 'scope_id', 'settled_at', 'snapshot_id', 'start_time', 'timestamp', 'total_cost', 'transaction_id', 'usage', 'usage_date', 'usage_date_utc', 'utf-8', 'w']
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
# file: /Users/EGu/Downloads/agentgov/src/agentgov/core.py
|
|
2
|
+
# hypothesis_version: 6.168.1
|
|
3
|
+
|
|
4
|
+
[1.0, 30.0, 60.0, 1000, '%Y-%m-%dT%H:%M:%S.%f', ',', '--', '0', '0.00000001', '1000000000000', ':', 'AGOV1', 'AGOV2', 'Authorization', 'BudgetManager', 'BudgetNode', 'CR', 'ControlEvent', 'DR', 'Direction', 'EntryType', 'FULL', 'GENESIS_HASH', 'GovernancePolicy', 'JoinedTransaction', 'Ledger', 'LedgerEntry', 'LedgerLine', 'MAX_AMOUNT', 'QUANTUM', 'WriteBatch', 'Z', '_base', '_closed', '_committed', '_holds', '_ledger', '_legacy', '_legacy_applied', '_opened', '_released', '_settleable', '_source', '_start_head', '_txn', '_view', 'agentgov', 'agentgov.audit', 'agentgov_control', 'agentgov_entry', 'allocation', 'ambiguous', 'amount', 'anchor', 'authorization hold', 'authorization voided', 'balance_after', 'balances', 'batch', 'chain_events', 'circuit_reset', 'circuit_tripped', 'cost', 'counterparty_id', 'credit', 'direction', 'entry_hash', 'entry_id', 'entry_type', 'envelope topped up', 'event_id', 'event_type', 'events', 'format_audit_line', 'funding', 'governor', 'head', 'hold', 'hold_void', 'ledger_head_hash', 'length', 'line amount', 'memo', 'money', 'nodes', 'operator reset', 'prev_hash', 'read-only view', 'reason', 'ref', 'release', 'reversal', 'root envelope issued', 'roots', 'saw_v1', 'saw_v2', 'scope_id', 'seal', 'sequence', 'settled call cost', 'spend', 'timestamp', 'totals', 'transaction_id', 'tripped', 'utf-8', 'vendor refund', 'version', 'was already settled']
|