LICENSE
LICENSE-content
MANIFEST.in
NOTICE
README.md
pyproject.toml
setup.py
conformance/cases/runtime/aggregate/aggregate-among-false.yml
conformance/cases/runtime/aggregate/aggregate-before-due.yml
conformance/cases/runtime/aggregate/aggregate-conflicting-duplicate.yml
conformance/cases/runtime/aggregate/aggregate-empty.yml
conformance/cases/runtime/aggregate/aggregate-failed-unit.yml
conformance/cases/runtime/aggregate/aggregate-late-replay.yml
conformance/cases/runtime/aggregate/aggregate-late-unit.yml
conformance/cases/runtime/aggregate/aggregate-late-value-after-incomplete.yml
conformance/cases/runtime/aggregate/aggregate-late-value.yml
conformance/cases/runtime/aggregate/aggregate-mean-score.yml
conformance/cases/runtime/aggregate/aggregate-mean-third.yml
conformance/cases/runtime/aggregate/aggregate-membership-one.yml
conformance/cases/runtime/aggregate/aggregate-membership-unknown.yml
conformance/cases/runtime/aggregate/aggregate-missing-coverage.yml
conformance/cases/runtime/aggregate/aggregate-missing-value.yml
conformance/cases/runtime/aggregate/aggregate-nan-source.yml
conformance/cases/runtime/aggregate/aggregate-null-coverage.yml
conformance/cases/runtime/aggregate/aggregate-overlong-numeric.yml
conformance/cases/runtime/aggregate/aggregate-partial-over-budget.yml
conformance/cases/runtime/aggregate/aggregate-precision-limit.yml
conformance/cases/runtime/aggregate/aggregate-replay-decimal-forms.yml
conformance/cases/runtime/aggregate/aggregate-replay.yml
conformance/cases/runtime/aggregate/aggregate-sampled-evidence.yml
conformance/cases/runtime/aggregate/aggregate-sum-breach.yml
conformance/cases/runtime/aggregate/aggregate-sum-equality.yml
conformance/cases/runtime/aggregate/aggregate-value-trailing-newline.yml
conformance/cases/runtime/aggregate_report/aggregate-keyed-commitment-mixed-order.yml
conformance/cases/runtime/aggregate_report/aggregate-keyed-commitment.yml
conformance/cases/runtime/aggregate_report/aggregate-report-binding.yml
conformance/cases/runtime/aggregate_report/aggregate-report-counts.yml
conformance/cases/runtime/aggregate_report/aggregate-report-empty-population-sum.yml
conformance/cases/runtime/aggregate_report/aggregate-report-missing-sum.yml
conformance/cases/runtime/aggregate_report/aggregate-report-nan.yml
conformance/cases/runtime/aggregate_report/aggregate-report-negative-sum.yml
conformance/cases/runtime/aggregate_report/aggregate-report-noncanonical-sum.yml
conformance/cases/runtime/aggregate_report/aggregate-report-precision-limit-with-sum.yml
conformance/cases/runtime/aggregate_report/aggregate-report-precision-limit.yml
conformance/cases/runtime/aggregate_report/aggregate-report-sum-trailing-newline.yml
conformance/cases/runtime/aggregate_report/aggregate-report-valid.yml
conformance/cases/runtime/aggregate_report/legacy-report1-commitment.yml
conformance/cases/runtime/compatibility/aggregate-extra-key.yml
conformance/cases/runtime/compatibility/aggregate-wrong-primitive.yml
conformance/cases/runtime/compatibility/check-operational-refuses-pack.yml
conformance/cases/runtime/compatibility/check-structural-refuses-pack.yml
conformance/cases/runtime/compatibility/ci-gate-refuses-monitors.yml
conformance/cases/runtime/compatibility/ci-gate-refuses-pack.yml
conformance/cases/runtime/compatibility/ci-gate-refuses-requirements.yml
conformance/cases/runtime/compatibility/ci-gate-refuses-responses.yml
conformance/cases/runtime/compatibility/config-validate-refuses-pack.yml
conformance/cases/runtime/compatibility/empty-runtime-block-needs-version.yml
conformance/cases/runtime/compatibility/legacy-14-meaning.yml
conformance/cases/runtime/compatibility/legacy-erasure-unchanged.yml
conformance/cases/runtime/compatibility/lint-dispatches-pack.yml
conformance/cases/runtime/compatibility/measure-validate-refuses-pack.yml
conformance/cases/runtime/compatibility/measure-validate-refuses-runtime-report.yml
conformance/cases/runtime/compatibility/microsim-bridge-refuses-monitors.yml
conformance/cases/runtime/compatibility/microsim-bridge-refuses-pack.yml
conformance/cases/runtime/compatibility/microsim-bridge-refuses-requirements.yml
conformance/cases/runtime/compatibility/microsim-bridge-refuses-responses.yml
conformance/cases/runtime/compatibility/old-reader-new-construct-unsupported.yml
conformance/cases/runtime/compatibility/old-reader-new-construct.yml
conformance/cases/runtime/compatibility/old-reader-rejects-monitors.yml
conformance/cases/runtime/compatibility/old-reader-rejects-requirements.yml
conformance/cases/runtime/compatibility/old-reader-rejects-responses.yml
conformance/cases/runtime/compatibility/omitted-version-keeps-legacy-diagnostic-rule.yml
conformance/cases/runtime/compatibility/pack-version-required.yml
conformance/cases/runtime/compatibility/parse-dispatches-pack.yml
conformance/cases/runtime/compatibility/persist-extra-key.yml
conformance/cases/runtime/compatibility/persist-string-n.yml
conformance/cases/runtime/compatibility/policy-refuses-candidate-monitor-counts.yml
conformance/cases/runtime/compatibility/policy-refuses-incumbent-monitor-counts.yml
conformance/cases/runtime/compatibility/rule-on-key-quoted.yml
conformance/cases/runtime/compatibility/rule-on-key-unquoted.yml
conformance/cases/runtime/compatibility/runtime-version-required.yml
conformance/cases/runtime/compatibility/transition-on-key-quoted.yml
conformance/cases/runtime/compatibility/transition-on-key-unquoted.yml
conformance/cases/runtime/compatibility/validate-dispatches-pack.yml
conformance/cases/runtime/composition/agent-cannot-weaken-pack-floor.yml
conformance/cases/runtime/composition/aggregate-direction-change.yml
conformance/cases/runtime/composition/aggregate-meet-gte-tightening.yml
conformance/cases/runtime/composition/aggregate-pack-tightening.yml
conformance/cases/runtime/composition/aggregate-pack-weakening-refused.yml
conformance/cases/runtime/composition/aggregate-source-replacement.yml
conformance/cases/runtime/composition/all-paired-preview-validates-without-provenance.yml
conformance/cases/runtime/composition/budget-change.yml
conformance/cases/runtime/composition/change-target.yml
conformance/cases/runtime/composition/compile-keeps-deploy-gate.yml
conformance/cases/runtime/composition/compile-pack-keeps-composed-responses.yml
conformance/cases/runtime/composition/compose-pack-output-validates-as-authored.yml
conformance/cases/runtime/composition/composed-module-without-provenance-fails.yml
conformance/cases/runtime/composition/deploy-cannot-widen.yml
conformance/cases/runtime/composition/deploy-may-tighten.yml
conformance/cases/runtime/composition/deploy-meet-takes-never-reversed.yml
conformance/cases/runtime/composition/deploy-meet-takes-never.yml
conformance/cases/runtime/composition/deploy-omitted-base-cannot-widen.yml
conformance/cases/runtime/composition/drop-required-rule.yml
conformance/cases/runtime/composition/flip-on-check-error.yml
conformance/cases/runtime/composition/floor-only-carriage-and-reference-rewrite.yml
conformance/cases/runtime/composition/grace-change.yml
conformance/cases/runtime/composition/guard-immutable-under-overlay.yml
conformance/cases/runtime/composition/guard-set-order-insensitive.yml
conformance/cases/runtime/composition/individually-reachable-meet-unreachable.yml
conformance/cases/runtime/composition/meet-recovery-deadline-impossible.yml
conformance/cases/runtime/composition/method-change.yml
conformance/cases/runtime/composition/outcome-trigger-immutable.yml
conformance/cases/runtime/composition/pack-deploy-cannot-borrow-module-gate.yml
conformance/cases/runtime/composition/pack-deploy-rejected-in-meet.yml
conformance/cases/runtime/composition/pack-guard-absorbed-monitor-rewritten.yml
conformance/cases/runtime/composition/pack-severity-cannot-decrease.yml
conformance/cases/runtime/composition/persist-immutable-under-meet.yml
conformance/cases/runtime/composition/persist-immutable-under-overlay.yml
conformance/cases/runtime/composition/persist-pack-ref-rewrite.yml
conformance/cases/runtime/composition/persist-removal-refused.yml
conformance/cases/runtime/composition/population-change.yml
conformance/cases/runtime/composition/predicate-change.yml
conformance/cases/runtime/composition/severity-absent-base-cannot-lower.yml
conformance/cases/runtime/composition/severity-absent-meet-default.yml
conformance/cases/runtime/composition/severity-cannot-decrease.yml
conformance/cases/runtime/composition/severity-meet-maximum-reversed.yml
conformance/cases/runtime/composition/severity-meet-maximum.yml
conformance/cases/runtime/composition/severity-omitted-overlay-keeps-critical.yml
conformance/cases/runtime/composition/tightening-preserves-base.yml
conformance/cases/runtime/composition/weaken-approval.yml
conformance/cases/runtime/composition/widen-repeat-bound.yml
conformance/cases/runtime/composition/window-change.yml
conformance/cases/runtime/latency_roundtrip/latency-boundary-domain.yml
conformance/cases/runtime/latency_roundtrip/latency-defaults.yml
conformance/cases/runtime/lints/active-obligations-domain.yml
conformance/cases/runtime/lints/aggregate-both-bounds.yml
conformance/cases/runtime/lints/aggregate-deploy-if-promoted.yml
conformance/cases/runtime/lints/aggregate-mean-score-bound-two.yml
conformance/cases/runtime/lints/aggregate-method-unknown.yml
conformance/cases/runtime/lints/aggregate-metric-unknown.yml
conformance/cases/runtime/lints/aggregate-negative-bound.yml
conformance/cases/runtime/lints/aggregate-op-unknown.yml
conformance/cases/runtime/lints/aggregate-promotion.yml
conformance/cases/runtime/lints/aggregate-sampled-declaration.yml
conformance/cases/runtime/lints/aggregate-source-missing.yml
conformance/cases/runtime/lints/aggregate-sum-mean-valid.yml
conformance/cases/runtime/lints/among-not-checker.yml
conformance/cases/runtime/lints/backend-met-unreachable-warning.yml
conformance/cases/runtime/lints/budget-domain.yml
conformance/cases/runtime/lints/burn-threshold-out-of-range.yml
conformance/cases/runtime/lints/closed-catalogue-label.yml
conformance/cases/runtime/lints/closed-checker-id.yml
conformance/cases/runtime/lints/closed-kind-enum.yml
conformance/cases/runtime/lints/closed-selector-status.yml
conformance/cases/runtime/lints/closed-severity.yml
conformance/cases/runtime/lints/closure-age-domain.yml
conformance/cases/runtime/lints/closure-count-domain.yml
conformance/cases/runtime/lints/confidence-domain.yml
conformance/cases/runtime/lints/content-checker-on-backend.yml
conformance/cases/runtime/lints/correlation-limit-domain.yml
conformance/cases/runtime/lints/decimal-literal-recoverable-equivalent.yml
conformance/cases/runtime/lints/decimal-literal-unrecoverable-rejected.yml
conformance/cases/runtime/lints/deploy-closed-enum.yml
conformance/cases/runtime/lints/deploy-if-promoted-with-promotion-monitor.yml
conformance/cases/runtime/lints/deploy-needs-episode-trigger.yml
conformance/cases/runtime/lints/deploy-needs-promotion-monitor.yml
conformance/cases/runtime/lints/deploy-never-needs-no-promotion-monitor.yml
conformance/cases/runtime/lints/deploy-only-on-optimize.yml
conformance/cases/runtime/lints/deploy-promotion-monitor-on-other-requirement.yml
conformance/cases/runtime/lints/effective-key-duplicate.yml
conformance/cases/runtime/lints/explicit-version-too-low.yml
conformance/cases/runtime/lints/grace-domain.yml
conformance/cases/runtime/lints/guard-cycle-through-outcome-rule.yml
conformance/cases/runtime/lints/guard-metric-not-enforceable.yml
conformance/cases/runtime/lints/guard-on-optimize-rejected.yml
conformance/cases/runtime/lints/guard-only-while-notify.yml
conformance/cases/runtime/lints/guard-redundant-warning.yml
conformance/cases/runtime/lints/guard-ref-missing.yml
conformance/cases/runtime/lints/guard-unless-cycle.yml
conformance/cases/runtime/lints/guard-unless-own-attempt-valid.yml
conformance/cases/runtime/lints/guard-unless-self-loop.yml
conformance/cases/runtime/lints/horizon-domain.yml
conformance/cases/runtime/lints/impossible-recovery-deadline.yml
conformance/cases/runtime/lints/invalid-ladder-parameters.yml
conformance/cases/runtime/lints/legacy-method-frozen.yml
conformance/cases/runtime/lints/local-guard-error-policy-required.yml
conformance/cases/runtime/lints/met-reachable-299.yml
conformance/cases/runtime/lints/met-unreachable-298.yml
conformance/cases/runtime/lints/metric-threshold-domain.yml
conformance/cases/runtime/lints/occurrence-bound-domain.yml
conformance/cases/runtime/lints/outcome-deploy-needs-if-promoted.yml
conformance/cases/runtime/lints/outcome-ref-not-optimize.yml
conformance/cases/runtime/lints/outcome-ref-self.yml
conformance/cases/runtime/lints/outcome-repeat-forbidden.yml
conformance/cases/runtime/lints/outcome-trigger-in-pack.yml
conformance/cases/runtime/lints/outcome-trigger-not-notify.yml
conformance/cases/runtime/lints/outcome-trigger-notify.yml
conformance/cases/runtime/lints/own-closure-unreachable.yml
conformance/cases/runtime/lints/pack-cannot-declare-deploy.yml
conformance/cases/runtime/lints/persist-aggregate-source-valid.yml
conformance/cases/runtime/lints/persist-burn.yml
conformance/cases/runtime/lints/persist-consecutive-valid.yml
conformance/cases/runtime/lints/persist-k-above-n.yml
conformance/cases/runtime/lints/persist-k1-n1-valid.yml
conformance/cases/runtime/lints/persist-n169.yml
conformance/cases/runtime/lints/persist-optimize.yml
conformance/cases/runtime/lints/persist-range-zero.yml
conformance/cases/runtime/lints/persist-ref-missing.yml
conformance/cases/runtime/lints/persist-repeat.yml
conformance/cases/runtime/lints/persist-timer.yml
conformance/cases/runtime/lints/primary-breach-unreachable-warning.yml
conformance/cases/runtime/lints/primary-liveness-missing-warning.yml
conformance/cases/runtime/lints/protocol-overlap.yml
conformance/cases/runtime/lints/rate-domain.yml
conformance/cases/runtime/lints/recovery-deadline-equality-feasible.yml
conformance/cases/runtime/lints/recovery-hours-domain.yml
conformance/cases/runtime/lints/repair-needs-approval.yml
conformance/cases/runtime/lints/repeat-bound-domain.yml
conformance/cases/runtime/lints/repeat-hours-domain.yml
conformance/cases/runtime/lints/repeat-must-be-bounded.yml
conformance/cases/runtime/lints/response-deadline-domain.yml
conformance/cases/runtime/lints/rule-id-must-be-unique.yml
conformance/cases/runtime/lints/runtime-dependency-cycle.yml
conformance/cases/runtime/lints/runtime-name-collision.yml
conformance/cases/runtime/lints/runtime-reference-missing.yml
conformance/cases/runtime/lints/runtime-reference-wrong-role.yml
conformance/cases/runtime/lints/sample-count-domain.yml
conformance/cases/runtime/lints/sampling-rate-domain.yml
conformance/cases/runtime/lints/stale-windows-domain.yml
conformance/cases/runtime/lints/stateful-pattern-needs-limits.yml
conformance/cases/runtime/lints/suspend-human-required.yml
conformance/cases/runtime/lints/suspend-needs-escalation.yml
conformance/cases/runtime/lints/tenant-floor-outside-pack.yml
conformance/cases/runtime/lints/throttle-rate-domain.yml
conformance/cases/runtime/lints/tool-identifier-lexical.yml
conformance/cases/runtime/lints/trigger-hours-domain.yml
conformance/cases/runtime/lints/unknown-for-burn-rejected.yml
conformance/cases/runtime/lints/unknown-for-hours-below-window.yml
conformance/cases/runtime/lints/unknown-for-not-notify.yml
conformance/cases/runtime/lints/unknown-for-primary.yml
conformance/cases/runtime/lints/unknown-response-action.yml
conformance/cases/runtime/lints/unresolved-fraction-domain.yml
conformance/cases/runtime/lints/version-1-4-required.yml
conformance/cases/runtime/lints/version-14-new-construct.yml
conformance/cases/runtime/lints/version-14-persist-construct.yml
conformance/cases/runtime/lints/version-15-missing.yml
conformance/cases/runtime/lints/version-omitted.yml
conformance/cases/runtime/lints/window-domain.yml
conformance/cases/runtime/lints/zero-tolerance-metric-inexact.yml
conformance/cases/runtime/lints/zero-tolerance-sampling-forbidden.yml
conformance/cases/runtime/persistence/aggregate-bound-history-reset.yml
conformance/cases/runtime/persistence/persist-bbm-no-event.yml
conformance/cases/runtime/persistence/persist-bbu.yml
conformance/cases/runtime/persistence/persist-bmu.yml
conformance/cases/runtime/persistence/persist-delivered-continued.yml
conformance/cases/runtime/persistence/persist-gap-agent-mismatch.yml
conformance/cases/runtime/persistence/persist-gap-environment-mismatch.yml
conformance/cases/runtime/persistence/persist-gap-missing-agent.yml
conformance/cases/runtime/persistence/persist-gap-missing-available.yml
conformance/cases/runtime/persistence/persist-gap-missing-digest.yml
conformance/cases/runtime/persistence/persist-gap-missing-monitor-revision.yml
conformance/cases/runtime/persistence/persist-gap-missing-schedule.yml
conformance/cases/runtime/persistence/persist-gap-not-skipped.yml
conformance/cases/runtime/persistence/persist-gap-schedule-mismatch.yml
conformance/cases/runtime/persistence/persist-guards-undecided.yml
conformance/cases/runtime/persistence/persist-horizon-crossing.yml
conformance/cases/runtime/persistence/persist-mmu.yml
conformance/cases/runtime/persistence/persist-opened-not-redelivered-on-continued.yml
conformance/cases/runtime/persistence/persist-replay.yml
conformance/cases/runtime/persistence/persist-revision-reset.yml
conformance/cases/runtime/persistence/persist-startup-definite.yml
conformance/cases/runtime/persistence/persist-startup-undecided.yml
conformance/cases/runtime/persistence/persist-suppressed-opened.yml
conformance/cases/runtime/persistence/persist-unavailable-slot.yml
conformance/cases/runtime/persistence/persist-withheld-continued.yml
conformance/cases/runtime/projection/aggregate-projection-closed-numeric.yml
conformance/cases/runtime/projection/catalogue-checker-enums-retained.yml
conformance/cases/runtime/projection/checker-id-and-label-indices.yml
conformance/cases/runtime/projection/code-identifiers-retained.yml
conformance/cases/runtime/projection/deploy-mode-closed.yml
conformance/cases/runtime/projection/environment-tokenized.yml
conformance/cases/runtime/projection/fallbacks-and-targets-closed.yml
conformance/cases/runtime/projection/format-v1-refuses-reactive-fields.yml
conformance/cases/runtime/projection/format-v1-version-14-without-reactive-construct.yml
conformance/cases/runtime/projection/format-v2-refuses-13-without-reactive-construct.yml
conformance/cases/runtime/projection/format-v3-without-new-construct.yml
conformance/cases/runtime/projection/identity-aliases-and-joins.yml
conformance/cases/runtime/projection/legacy-artifact-bytes.yml
conformance/cases/runtime/projection/numbers-enums-and-methods.yml
conformance/cases/runtime/projection/outcome-and-guard-closed-enums.yml
conformance/cases/runtime/projection/pack-module-tokenized.yml
conformance/cases/runtime/projection/persist-local-projection.yml
conformance/cases/runtime/projection/protocol-states-tokenized.yml
conformance/cases/runtime/projection/selector-ref-tokenized.yml
conformance/cases/runtime/projection/token-map-unavailable.yml
conformance/cases/runtime/projection/unlisted-content-is-local.yml
conformance/cases/runtime/projection/unlisted-field-egress-refused.yml
conformance/cases/runtime/projection/unresolved-alias.yml
conformance/cases/runtime/projection/version-15-alone.yml
conformance/cases/runtime/promotion/chance-constraint-shadow-warning.yml
conformance/cases/runtime/promotion/count-defaults.yml
conformance/cases/runtime/promotion/incumbent-counts-not-required.yml
conformance/cases/runtime/promotion/invalid-monitor-counts.yml
conformance/cases/runtime/promotion/join-all-met.yml
conformance/cases/runtime/promotion/join-breach-dominates-unknown.yml
conformance/cases/runtime/promotion/join-invalid-legacy-decision.yml
conformance/cases/runtime/promotion/join-invalid-verdict.yml
conformance/cases/runtime/promotion/join-legacy-reject.yml
conformance/cases/runtime/promotion/join-no-monitors.yml
conformance/cases/runtime/promotion/join-unknown-reason.yml
conformance/cases/runtime/promotion/join-unknown.yml
conformance/cases/runtime/promotion/missing-monitor-counts.yml
conformance/cases/runtime/report_schema/closed-shape.yml
conformance/cases/runtime/report_schema/missing-coverage.yml
conformance/cases/runtime/report_schema/negative-count.yml
conformance/cases/runtime/report_schema/unknown-field.yml
conformance/cases/runtime/semantic_traces/attempt-closed-by-episode-closure-records-no-outcome.yml
conformance/cases/runtime/semantic_traces/attempt-closed-by-response-revision-awaiting-deploy-approval.yml
conformance/cases/runtime/semantic_traces/attempt-open-visible-to-rule-fired-by-same-evaluation.yml
conformance/cases/runtime/semantic_traces/deploy-approval-declined-before-start-closes-without-outcome.yml
conformance/cases/runtime/semantic_traces/deploy-write-fails-then-succeeds-on-same-occurrence-retry.yml
conformance/cases/runtime/semantic_traces/initial-counted-window-followed-by-met-fires-unknown-for.yml
conformance/cases/runtime/semantic_traces/invalid-promotion-evidence-gives-optimize-failed.yml
conformance/cases/runtime/semantic_traces/one-promoted-and-one-invalid-candidate-give-no-failure.yml
conformance/cases/runtime/semantic_traces/optimization-approval-expires-after-start-still-records-outcome.yml
conformance/cases/runtime/semantic_traces/undecided-guard-does-not-suppress.yml
conformance/cases/runtime/semantic_traces/undecided-run-continues-across-window-without-usable-evidence.yml
conformance/cases/runtime/semantic_traces/unknown-for-and-stale-both-fire-on-intermittent-evidence.yml
conformance/cases/runtime/semantic_traces/unreachable-authority-gives-no-outcome.yml
python/tvl/__init__.py
python/tvl/backend_profile_codec.py
python/tvl/binomial.py
python/tvl/canonical.py
python/tvl/configuration.py
python/tvl/conformance_helpers.py
python/tvl/constraints.py
python/tvl/diagnostics.py
python/tvl/errors.py
python/tvl/lints.py
python/tvl/loader.py
python/tvl/measurement.py
python/tvl/model.py
python/tvl/objectives.py
python/tvl/operational.py
python/tvl/promotion.py
python/tvl/promotion_join.py
python/tvl/promotion_monitor.py
python/tvl/py.typed
python/tvl/runtime.py
python/tvl/runtime_aggregate.py
python/tvl/runtime_compiler.py
python/tvl/runtime_compose.py
python/tvl/runtime_conformance.py
python/tvl/runtime_projection.py
python/tvl/runtime_trace.py
python/tvl/schema.py
python/tvl/structural_parser.py
python/tvl/structural_sat.py
python/tvl/yaml_safe.py
python/tvl_book_plugins/__init__.py
python/tvl_book_plugins/social_override.py
spec/grammar/tvl-configuration.schema.json
spec/grammar/tvl-measurement.schema.json
spec/grammar/tvl-pack.schema.json
spec/grammar/tvl-runtime-contract-v2.schema.json
spec/grammar/tvl-runtime-contract-v3.schema.json
spec/grammar/tvl-runtime-contract.schema.json
spec/grammar/tvl-runtime-local-v2.schema.json
spec/grammar/tvl-runtime-local-v3.schema.json
spec/grammar/tvl-runtime-local.schema.json
spec/grammar/tvl-runtime-report-v2.schema.json
spec/grammar/tvl-runtime-report.schema.json
spec/grammar/tvl.ebnf
spec/grammar/tvl.schema.json
tests/test_book_examples.py
tests/test_book_media.py
tests/test_book_support_bot.py
tests/test_characterization_atom_literal.py
tests/test_characterization_check_structural_cli.py
tests/test_characterization_compose_narrowing.py
tests/test_characterization_compose_safety.py
tests/test_characterization_constraints_eval.py
tests/test_characterization_measurement.py
tests/test_characterization_operational.py
tests/test_characterization_promotion.py
tests/test_characterization_structural_sat.py
tests/test_characterization_structural_sat_helpers.py
tests/test_ci_gate_text_compatibility.py
tests/test_cli_coverage_gap.py
tests/test_cli_error_paths.py
tests/test_codeql_quality_suite.py
tests/test_composites.py
tests/test_conformance_suite.py
tests/test_constraint_shape_validation.py
tests/test_constraints_fail_open_regression.py
tests/test_constraints_float_domain.py
tests/test_constraints_numeric_enum_order.py
tests/test_constraints_parser_fixes.py
tests/test_cvars_policies.py
tests/test_domain_encode_characterization.py
tests/test_domain_encode_differential.py
tests/test_editor_schema_sync.py
tests/test_issue_text_location.py
tests/test_language_boundary.py
tests/test_lint_non_mapping.py
tests/test_lints.py
tests/test_measurement_bundle.py
tests/test_operational.py
tests/test_parser_dos_guards.py
tests/test_promotion_evidence_semantics.py
tests/test_promotion_join.py
tests/test_promotion_objective_validation.py
tests/test_promotion_policy.py
tests/test_promotion_single_sample.py
tests/test_runtime_cli_harness.py
tests/test_runtime_compiler.py
tests/test_runtime_compose.py
tests/test_runtime_deploy.py
tests/test_runtime_diagnostics.py
tests/test_runtime_doc_snippets.py
tests/test_runtime_formats.py
tests/test_runtime_rfc0004.py
tests/test_runtime_rfc0005.py
tests/test_runtime_semantics.py
tests/test_runtime_trace.py
tests/test_strict_calibration_triggers.py
tests/test_structural_sat.py
tests/test_structural_tokenizer_subclass_characterization.py
tests/test_tvl_compose.py
tests/test_type_system.py
tests/test_validator_silent_accepts.py
tests/test_workflow_action_pins.py
tests/data/domain_encode_before.py.txt
tests/data/structural_tokenizer_subclass_before.json
tvl_spec.egg-info/PKG-INFO
tvl_spec.egg-info/SOURCES.txt
tvl_spec.egg-info/dependency_links.txt
tvl_spec.egg-info/entry_points.txt
tvl_spec.egg-info/requires.txt
tvl_spec.egg-info/top_level.txt
tvl_spec.egg-info/zip-safe
tvl_tools/__init__.py
tvl_tools/cli_utils.py
tvl_tools/runtime_cli_harness.py
tvl_tools/microsim_bridge/__init__.py
tvl_tools/microsim_bridge/__main__.py
tvl_tools/microsim_bridge/bridge.py
tvl_tools/microsim_bridge/cli.py
tvl_tools/tvl_check_operational/__init__.py
tvl_tools/tvl_check_operational/cli.py
tvl_tools/tvl_check_structural/__init__.py
tvl_tools/tvl_check_structural/cli.py
tvl_tools/tvl_ci_gate/__init__.py
tvl_tools/tvl_ci_gate/cli.py
tvl_tools/tvl_compile_runtime/__init__.py
tvl_tools/tvl_compile_runtime/cli.py
tvl_tools/tvl_compose/__init__.py
tvl_tools/tvl_compose/cli.py
tvl_tools/tvl_config_validate/__init__.py
tvl_tools/tvl_config_validate/cli.py
tvl_tools/tvl_lint/__init__.py
tvl_tools/tvl_lint/cli.py
tvl_tools/tvl_measure_validate/__init__.py
tvl_tools/tvl_measure_validate/cli.py
tvl_tools/tvl_parse/__init__.py
tvl_tools/tvl_parse/cli.py
tvl_tools/tvl_validate/__init__.py
tvl_tools/tvl_validate/cli.py