behavior-contracts (Python)
The COMMON "thin core" runtime primitives from
runtime-boundary.md, ported to Python from the
TypeScript reference implementation (ts/src/*) with identical semantics.
This package contains only the DSL-agnostic primitives that WS1 classified as COMMON. It has zero backend (DynamoDB / graphddb) dependencies — no boto3, no key marshalling, no retry tuning, no hydrate, no bundle format. Those stay in the consumer (graphddb).
Public API
from behavior_contracts import (
validate_envelope, # spec-version fail-closed check
evaluate_expression, # expression-ir.md evaluator (i64-checked, truncated %, code-point cmp)
render_template, # {param} rendering (strict, Python str() parity)
run_plan, final_tree, # execution-plan skeleton (stage / Skip propagation / Policy Kind)
canonical_value, # key identity (top-level key sort)
canonical_json, # fingerprint (recursive key sort)
py_float_repr, # CPython repr(float) canonical decimal
assert_portable, # Portability Guard
decode_value, deep_equals, # conformance runner adapter (int/float type distinction)
encode_value, resolve_partial, cmp_code_points,
SPEC_VERSIONS, ENVELOPE_SPEC_VERSION,
)
Each COMMON primitive raises a typed *Failure exception carrying a .code
string matching the conformance protocol's failure-code set.
§8 cross-language traps this port handles
%sign: normative mod is truncated (dividend sign). Python's native%returns the divisor sign, soevaluate_expression({"mod":[-7,2]}) == -1(native-7 % 2 == 1). Implemented via truncated-quotient correction; float mod viamath.fmod.- int is checked i64: Python
intis arbitrary-precision, so i64 bounds are enforced manually; overflow →INT_OVERFLOW. - string comparison: code-point order. Python
strcompares by code point already (no UTF-16 surrogate hazard) — verified in tests. - NaN/Inf → Failure;
divalways float with|int| > 2^53widening →PRECISION_LOSS;py_float_reprmatches CPythonrepr(float)byte-for-byte (parametrized parity tests). - bool is not int:
isinstance(x, bool)is checked beforeinteverywhere (Python'sbool <: int).
Conformance
Runs the 8 shared suites (173 vectors) from ../conformance/vectors/*.json
through this package per ../conformance/PROTOCOL.md,
including the pre-flight version fail-closed sweep.
python -m behavior_contracts.conformance # → "173 passed, 0 failed / 173 vectors across 8 suites"
# or the console script:
behavior-contracts-conformance
Override the vectors location with DSL_CONTRACTS_VECTORS=/path/to/vectors.
Tests
pip install -e ".[test]"
python -m pytest # unit tests over the public API + the conformance runner as a test
Docker integration: N/A
This package has no external service dependency (no database, no network) — it is pure in-process logic over JSON-shaped values. There is therefore nothing for a docker-compose integration harness to stand up; the conformance runner and pytest exercise the full surface in-process. (The graphddb adapter PoC in WS4 Part B is where docker-backed integration applies, because graphddb talks to DynamoDB Local.)
1 maintainer
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file behavior_contracts-0.8.7.tar.gz.
File metadata
- Download URL: behavior_contracts-0.8.7.tar.gz
- Upload date:
- Size: 57.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/6.2.0 CPython/3.12.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
31e0da88a19b59332fcb128f791e419a4bf26f766f046c1b9354f8749190f47d
|
|
| MD5 |
eef508954b3c8155da002c303a351b93
|
|
| BLAKE2b-256 |
d1bf16cca75f2e674831e7e18a8ebbd0bb1fed5d61bf288e277e423e98f9dc92
|
File details
Details for the file behavior_contracts-0.8.7-py3-none-any.whl.
File metadata
- Download URL: behavior_contracts-0.8.7-py3-none-any.whl
- Upload date:
- Size: 51.7 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/6.2.0 CPython/3.12.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
020a10ad581843584593a21ff2615c832ab28dfb8443e755e512f69c08b2d4d5
|
|
| MD5 |
1717f385be1f29b5d0f98feb54c92f1e
|
|
| BLAKE2b-256 |
f129772111dfe36e74a844805305aa950ecd49292e1249376813f984618f148e
|
