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.
Files changed (123) hide show
  1. interlock_escrow-0.3.0/.github/workflows/ci.yml +221 -0
  2. interlock_escrow-0.3.0/.gitignore +38 -0
  3. interlock_escrow-0.3.0/.hypothesis/.gitignore +9 -0
  4. interlock_escrow-0.3.0/.hypothesis/constants/089fa9ba82c78837 +4 -0
  5. interlock_escrow-0.3.0/.hypothesis/constants/095b1b24d6cc9bfa +4 -0
  6. interlock_escrow-0.3.0/.hypothesis/constants/0b54177b9ae1a9b0 +4 -0
  7. interlock_escrow-0.3.0/.hypothesis/constants/0e2346e899bf84b5 +4 -0
  8. interlock_escrow-0.3.0/.hypothesis/constants/126bc8e20fcf6605 +4 -0
  9. interlock_escrow-0.3.0/.hypothesis/constants/159ce78f76d85c4f +4 -0
  10. interlock_escrow-0.3.0/.hypothesis/constants/16314ff29e5baa7d +4 -0
  11. interlock_escrow-0.3.0/.hypothesis/constants/16d0769b31d5f7da +4 -0
  12. interlock_escrow-0.3.0/.hypothesis/constants/1f78c0fa7d095650 +4 -0
  13. interlock_escrow-0.3.0/.hypothesis/constants/1fac0e820c385c53 +4 -0
  14. interlock_escrow-0.3.0/.hypothesis/constants/206200a5da5c0a42 +4 -0
  15. interlock_escrow-0.3.0/.hypothesis/constants/24cdf67192e9e6bf +4 -0
  16. interlock_escrow-0.3.0/.hypothesis/constants/26525fa764f071a4 +4 -0
  17. interlock_escrow-0.3.0/.hypothesis/constants/294385f9aa485ce8 +4 -0
  18. interlock_escrow-0.3.0/.hypothesis/constants/2ba64b499c5c9de4 +4 -0
  19. interlock_escrow-0.3.0/.hypothesis/constants/2d9ff35bdb3a32e0 +4 -0
  20. interlock_escrow-0.3.0/.hypothesis/constants/31358b5ce803f940 +4 -0
  21. interlock_escrow-0.3.0/.hypothesis/constants/320452fab346e6fc +4 -0
  22. interlock_escrow-0.3.0/.hypothesis/constants/33684486190028c4 +4 -0
  23. interlock_escrow-0.3.0/.hypothesis/constants/3631b0a27e9109bc +4 -0
  24. interlock_escrow-0.3.0/.hypothesis/constants/3731cb8664b96490 +4 -0
  25. interlock_escrow-0.3.0/.hypothesis/constants/383081ff5644aed7 +4 -0
  26. interlock_escrow-0.3.0/.hypothesis/constants/390d27dd42795b13 +4 -0
  27. interlock_escrow-0.3.0/.hypothesis/constants/3c4d6f28f8fe1511 +4 -0
  28. interlock_escrow-0.3.0/.hypothesis/constants/412305d4280503fb +4 -0
  29. interlock_escrow-0.3.0/.hypothesis/constants/426178be55d78a0e +4 -0
  30. interlock_escrow-0.3.0/.hypothesis/constants/4f16dcb3b0b202f3 +4 -0
  31. interlock_escrow-0.3.0/.hypothesis/constants/56941ab572e58bc2 +4 -0
  32. interlock_escrow-0.3.0/.hypothesis/constants/5e06777e626883fb +4 -0
  33. interlock_escrow-0.3.0/.hypothesis/constants/5fc28dfdffa38894 +4 -0
  34. interlock_escrow-0.3.0/.hypothesis/constants/603919b718e2453c +4 -0
  35. interlock_escrow-0.3.0/.hypothesis/constants/66d6a1ed68811f0e +4 -0
  36. interlock_escrow-0.3.0/.hypothesis/constants/6832f5bfce016410 +4 -0
  37. interlock_escrow-0.3.0/.hypothesis/constants/6bdd6131a67acf0f +4 -0
  38. interlock_escrow-0.3.0/.hypothesis/constants/6d6295d7023ef48e +4 -0
  39. interlock_escrow-0.3.0/.hypothesis/constants/7ada514f173d0584 +4 -0
  40. interlock_escrow-0.3.0/.hypothesis/constants/7ddf5415955299b5 +4 -0
  41. interlock_escrow-0.3.0/.hypothesis/constants/7ef86d112f7c7008 +4 -0
  42. interlock_escrow-0.3.0/.hypothesis/constants/81197df9875435c6 +4 -0
  43. interlock_escrow-0.3.0/.hypothesis/constants/8244b81bde6635bd +4 -0
  44. interlock_escrow-0.3.0/.hypothesis/constants/8253c2231d5de03f +4 -0
  45. interlock_escrow-0.3.0/.hypothesis/constants/837015f9b2507d89 +4 -0
  46. interlock_escrow-0.3.0/.hypothesis/constants/8f699a0f65d3819b +4 -0
  47. interlock_escrow-0.3.0/.hypothesis/constants/8fe371f3d3bee252 +4 -0
  48. interlock_escrow-0.3.0/.hypothesis/constants/933b8db0199e0ea2 +4 -0
  49. interlock_escrow-0.3.0/.hypothesis/constants/9d8843aa59c4247f +4 -0
  50. interlock_escrow-0.3.0/.hypothesis/constants/9fb0e88faa1f120e +4 -0
  51. interlock_escrow-0.3.0/.hypothesis/constants/a0b081ab97f4b58b +4 -0
  52. interlock_escrow-0.3.0/.hypothesis/constants/a2404f225cbb228d +4 -0
  53. interlock_escrow-0.3.0/.hypothesis/constants/a6513a898602f096 +4 -0
  54. interlock_escrow-0.3.0/.hypothesis/constants/b04e89a2b489bef0 +4 -0
  55. interlock_escrow-0.3.0/.hypothesis/constants/b50bd4986c03de7e +4 -0
  56. interlock_escrow-0.3.0/.hypothesis/constants/b863eb0f231005df +4 -0
  57. interlock_escrow-0.3.0/.hypothesis/constants/b93565731e3ab117 +4 -0
  58. interlock_escrow-0.3.0/.hypothesis/constants/c21a5fd1e882468c +4 -0
  59. interlock_escrow-0.3.0/.hypothesis/constants/c6068fd6a23a4e79 +4 -0
  60. interlock_escrow-0.3.0/.hypothesis/constants/c6f849f10b0a873e +4 -0
  61. interlock_escrow-0.3.0/.hypothesis/constants/c8622add4a43e918 +4 -0
  62. interlock_escrow-0.3.0/.hypothesis/constants/c8d001147cc765a1 +4 -0
  63. interlock_escrow-0.3.0/.hypothesis/constants/d7f0ce6adcc7cc90 +4 -0
  64. interlock_escrow-0.3.0/.hypothesis/constants/ec12c1f58af644e9 +4 -0
  65. interlock_escrow-0.3.0/.hypothesis/constants/ec88843cb7b4ccb8 +4 -0
  66. interlock_escrow-0.3.0/.hypothesis/constants/f909b5214426d1f3 +4 -0
  67. interlock_escrow-0.3.0/.hypothesis/constants/f94f61575f0c5c2c +4 -0
  68. interlock_escrow-0.3.0/.hypothesis/constants/faa661c98a49c88c +4 -0
  69. interlock_escrow-0.3.0/.hypothesis/unicode_data/14.0.0/charmap.json.gz +0 -0
  70. interlock_escrow-0.3.0/.python-version +1 -0
  71. interlock_escrow-0.3.0/CHANGELOG.md +387 -0
  72. interlock_escrow-0.3.0/PKG-INFO +1127 -0
  73. interlock_escrow-0.3.0/README.md +1108 -0
  74. interlock_escrow-0.3.0/demo.py +549 -0
  75. interlock_escrow-0.3.0/docs/ESCROW_SPEC.md +1075 -0
  76. interlock_escrow-0.3.0/pyproject.toml +104 -0
  77. interlock_escrow-0.3.0/scripts/live_stress_test.py +1842 -0
  78. interlock_escrow-0.3.0/src/interlock/__init__.py +224 -0
  79. interlock_escrow-0.3.0/src/interlock/adjudication.py +109 -0
  80. interlock_escrow-0.3.0/src/interlock/anchor.py +663 -0
  81. interlock_escrow-0.3.0/src/interlock/builder.py +246 -0
  82. interlock_escrow-0.3.0/src/interlock/cascade.py +545 -0
  83. interlock_escrow-0.3.0/src/interlock/chain.py +640 -0
  84. interlock_escrow-0.3.0/src/interlock/cli.py +206 -0
  85. interlock_escrow-0.3.0/src/interlock/config.py +134 -0
  86. interlock_escrow-0.3.0/src/interlock/engine.py +1234 -0
  87. interlock_escrow-0.3.0/src/interlock/exceptions.py +280 -0
  88. interlock_escrow-0.3.0/src/interlock/extension.py +674 -0
  89. interlock_escrow-0.3.0/src/interlock/feedback.py +574 -0
  90. interlock_escrow-0.3.0/src/interlock/invariants.py +569 -0
  91. interlock_escrow-0.3.0/src/interlock/postgres.py +1173 -0
  92. interlock_escrow-0.3.0/src/interlock/py.typed +0 -0
  93. interlock_escrow-0.3.0/src/interlock/receipts.py +270 -0
  94. interlock_escrow-0.3.0/src/interlock/reconcile.py +392 -0
  95. interlock_escrow-0.3.0/src/interlock/records.py +544 -0
  96. interlock_escrow-0.3.0/src/interlock/recovery.py +1350 -0
  97. interlock_escrow-0.3.0/src/interlock/repair.py +441 -0
  98. interlock_escrow-0.3.0/src/interlock/runtime.py +284 -0
  99. interlock_escrow-0.3.0/src/interlock/substrate.py +1042 -0
  100. interlock_escrow-0.3.0/src/interlock/types.py +573 -0
  101. interlock_escrow-0.3.0/tests/__init__.py +0 -0
  102. interlock_escrow-0.3.0/tests/conftest.py +155 -0
  103. interlock_escrow-0.3.0/tests/crash_child.py +395 -0
  104. interlock_escrow-0.3.0/tests/plans.py +158 -0
  105. interlock_escrow-0.3.0/tests/schemas.py +204 -0
  106. interlock_escrow-0.3.0/tests/test_anchor.py +544 -0
  107. interlock_escrow-0.3.0/tests/test_cascades.py +764 -0
  108. interlock_escrow-0.3.0/tests/test_config.py +113 -0
  109. interlock_escrow-0.3.0/tests/test_core_guarantees.py +818 -0
  110. interlock_escrow-0.3.0/tests/test_crash_consistency.py +1291 -0
  111. interlock_escrow-0.3.0/tests/test_engine.py +1178 -0
  112. interlock_escrow-0.3.0/tests/test_ergonomics.py +492 -0
  113. interlock_escrow-0.3.0/tests/test_extension.py +476 -0
  114. interlock_escrow-0.3.0/tests/test_feedback.py +923 -0
  115. interlock_escrow-0.3.0/tests/test_postgres.py +853 -0
  116. interlock_escrow-0.3.0/tests/test_readme_snippets.py +240 -0
  117. interlock_escrow-0.3.0/tests/test_reconcile.py +496 -0
  118. interlock_escrow-0.3.0/tests/test_records.py +214 -0
  119. interlock_escrow-0.3.0/tests/test_recovery.py +1019 -0
  120. interlock_escrow-0.3.0/tests/test_repair.py +801 -0
  121. interlock_escrow-0.3.0/tests/test_shared_transaction.py +381 -0
  122. interlock_escrow-0.3.0/tests/test_tamper_evidence.py +971 -0
  123. 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/agentgov/src/agentgov/receipts/_ed25519.py
2
+ # hypothesis_version: 6.168.1
3
+
4
+ [-121665, 252, 255, 121666, 27742317777372353535851937790883648493, 'little', 'verify']
@@ -0,0 +1,4 @@
1
+ # file: /Users/EGu/Downloads/interlock/src/interlock/runtime.py
2
+ # hypothesis_version: 6.168.1
3
+
4
+ [10.0, 50000, '0', 'EscrowRuntime', '_anchor', '_chain', '_engine', '_recovered', '_scope_id', '_settle_cost', '_substrate']
@@ -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/adjudication.py
2
+ # hypothesis_version: 6.168.1
3
+
4
+ ['Adjudication', 'adjudicate', 'hint', 'interlock.engine', 'invariant %s raised']
@@ -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/interlock/.venv/bin/pytest
2
+ # hypothesis_version: 6.168.1
3
+
4
+ ['-script.pyw', '.exe', '__main__']
@@ -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']