.gitignore
LICENSE
Makefile
README.md
make.cmd
pyproject.toml
quicktest.sh
setup.cfg
setup.py
.claude/skills/damlforge-vy-lang/SKILL.md
.claude/skills/damlforge-vy-lang/reference.md
.github/workflows/build-wheel.yml
.github/workflows/license-header.yml
.github/workflows/publish-pypi.yml
damlforge.egg-info/PKG-INFO
damlforge.egg-info/SOURCES.txt
damlforge.egg-info/dependency_links.txt
damlforge.egg-info/entry_points.txt
damlforge.egg-info/requires.txt
damlforge.egg-info/top_level.txt
docs/guide/01-dev-environment.md
docs/guide/02-language-fundamentals.md
docs/guide/03-compiler-errors.md
docs/guide/04-contract-templates.md
docs/guide/05-choices.md
docs/guide/06-design-patterns.md
docs/guide/07-working-with-time.md
docs/guide/08-contract-keys.md
docs/guide/09-interfaces.md
docs/guide/10-building-packaging.md
docs/guide/11-variants.md
examples/basic/interfaces.vy
examples/basic/models.vy
examples/basic/recursion.vy
examples/basic/simple.vy
examples/crowd_loans/daml.yaml
examples/crowd_loans/funding_campaign.py
examples/crowd_loans/loan_terms.vy
examples/splice-api-token-burn-mint-v1/daml.yaml
examples/splice-api-token-burn-mint-v1/daml/Splice/Api/Token/burn_mint_v1.vy
examples/splice-util-batched-markers/daml.yaml
examples/splice-util-batched-markers-test/daml.yaml
examples/splice-util-batched-markers-test/deps/splice-token-standard-v1-test-3.4.8.dar
examples/splice-util-batched-markers/daml/Splice/Util/FeaturedApp/BatchedMarkersProxy.daml
examples/splice-util-batched-markers/daml/Splice/Util/FeaturedApp/batched_markers_proxy.vy
examples/splice-wallet/daml.yaml
examples/splice-wallet/daml/Splice/Wallet/buy_traffic_request.vy
examples/splice-wallet/daml/Splice/Wallet/install.vy
examples/splice-wallet/daml/Splice/Wallet/minting_delegation.vy
examples/splice-wallet/daml/Splice/Wallet/top_up_state.vy
examples/splice-wallet/daml/Splice/Wallet/transfer_offer.vy
examples/splice-wallet/daml/Splice/Wallet/transfer_preapproval.vy
examples/token_standard/token_standard.vy
forge/__init__.py
forge/__main__.py
forge/builtin_stubs.py
forge/daml_versions.py
forge/damlforge_git_commithash.txt
forge/exceptions.py
forge/utils.py
forge/version.py
forge/warnings.py
forge/ast/README.md
forge/ast/__init__.py
forge/ast/__init__.pyi
forge/ast/grammar.lark
forge/ast/grammar.py
forge/ast/identifiers.py
forge/ast/metadata.py
forge/ast/nodes.py
forge/ast/nodes.pyi
forge/ast/parse.py
forge/ast/pre_parser.py
forge/ast/utils.py
forge/builtins/__init__.py
forge/builtins/daml_lang.py
forge/builtins/maps.py
forge/builtins/DA/Assert.vy
forge/builtins/DA/Date.vy
forge/builtins/DA/Either.vy
forge/builtins/DA/List.vy
forge/builtins/DA/Logic.vy
forge/builtins/DA/Map.vy
forge/builtins/DA/Math.vy
forge/builtins/DA/Maybe.vy
forge/builtins/DA/NonEmpty.vy
forge/builtins/DA/Numeric.vy
forge/builtins/DA/Optional.vy
forge/builtins/DA/Random.vy
forge/builtins/DA/Set.vy
forge/builtins/DA/Stack.vy
forge/builtins/DA/Text.vy
forge/builtins/DA/TextMap.vy
forge/builtins/DA/Time.vy
forge/builtins/DA/Tuple.vy
forge/builtins/DA/Types.vy
forge/builtins/DA/Validation.vy
forge/builtins/DA/Action/State.vy
forge/builtins/DA/Action/State/Class.vy
forge/builtins/DA/Crypto/Text.vy
forge/builtins/DA/Date/Types.vy
forge/builtins/DA/Exception/ArithmeticError.vy
forge/builtins/DA/Exception/AssertionFailed.vy
forge/builtins/DA/Exception/GeneralError.vy
forge/builtins/DA/Exception/PreconditionFailed.vy
forge/builtins/DA/Internal/Assert.vy
forge/builtins/DA/Internal/Compatible.vy
forge/builtins/DA/Internal/Date.vy
forge/builtins/DA/Internal/Down.vy
forge/builtins/DA/Internal/Erased.vy
forge/builtins/DA/Internal/Exception.vy
forge/builtins/DA/Internal/Fail.vy
forge/builtins/DA/Internal/Interface.vy
forge/builtins/DA/Internal/LF.vy
forge/builtins/DA/Internal/NatSyn.vy
forge/builtins/DA/Internal/Prelude.vy
forge/builtins/DA/Internal/PromotedText.vy
forge/builtins/DA/Internal/Record.vy
forge/builtins/DA/Internal/Template.vy
forge/builtins/DA/Internal/Time.vy
forge/builtins/DA/Internal/Interface/AnyView.vy
forge/builtins/DA/Internal/Template/Functions.vy
forge/builtins/DA/List/BuiltinOrder.vy
forge/builtins/DA/List/Total.vy
forge/builtins/DA/Logic/Types.vy
forge/builtins/DA/Monoid/Types.vy
forge/builtins/DA/NonEmpty/Types.vy
forge/builtins/DA/Random/Types.vy
forge/builtins/DA/Semigroup/Types.vy
forge/builtins/DA/Set/Types.vy
forge/builtins/DA/Stack/Types.vy
forge/builtins/DA/Time/Types.vy
forge/builtins/DA/Validation/Types.vy
forge/builtins/GHC/Base.vy
forge/builtins/GHC/Classes.vy
forge/builtins/GHC/Enum.vy
forge/builtins/GHC/Err.vy
forge/builtins/GHC/Num.vy
forge/builtins/GHC/Show.vy
forge/builtins/GHC/Tuple.vy
forge/builtins/GHC/Types.vy
forge/builtins/GHC/Show/Text.vy
forge/builtins/GHC/Stack/Types.vy
forge/builtins/Splice/Amulet.vy
forge/builtins/Splice/AmuletAllocation.vy
forge/builtins/Splice/AmuletAllocationV2.vy
forge/builtins/Splice/AmuletConfig.vy
forge/builtins/Splice/AmuletEventLog.vy
forge/builtins/Splice/AmuletRules.vy
forge/builtins/Splice/AmuletTransferInstruction.vy
forge/builtins/Splice/Ans.vy
forge/builtins/Splice/CometBft.vy
forge/builtins/Splice/DecentralizedSynchronizer.vy
forge/builtins/Splice/DsoBootstrap.vy
forge/builtins/Splice/DsoRules.vy
forge/builtins/Splice/Expiry.vy
forge/builtins/Splice/ExternalPartyAmuletRules.vy
forge/builtins/Splice/ExternalPartyConfigState.vy
forge/builtins/Splice/Fees.vy
forge/builtins/Splice/Issuance.vy
forge/builtins/Splice/RelRound.vy
forge/builtins/Splice/Round.vy
forge/builtins/Splice/Schedule.vy
forge/builtins/Splice/Splitwell.vy
forge/builtins/Splice/SvOnboarding.vy
forge/builtins/Splice/Types.vy
forge/builtins/Splice/Util.vy
forge/builtins/Splice/ValidatorLicense.vy
forge/builtins/Splice/ValidatorOnboarding.vy
forge/builtins/Splice/Amulet/CryptoHash.vy
forge/builtins/Splice/Amulet/RewardAccountingV2.vy
forge/builtins/Splice/Amulet/TokenApiUtils.vy
forge/builtins/Splice/Amulet/TwoStepTransfer.vy
forge/builtins/Splice/Ans/AmuletConversionRateFeed.vy
forge/builtins/Splice/Api/FeaturedAppRightV1.vy
forge/builtins/Splice/Api/FeaturedAppRightV2.vy
forge/builtins/Splice/Api/RewardAssignmentV1.vy
forge/builtins/Splice/Api/Token/AllocationInstructionV1.vy
forge/builtins/Splice/Api/Token/AllocationInstructionV2.vy
forge/builtins/Splice/Api/Token/AllocationRequestV1.vy
forge/builtins/Splice/Api/Token/AllocationRequestV2.vy
forge/builtins/Splice/Api/Token/AllocationV1.vy
forge/builtins/Splice/Api/Token/AllocationV2.vy
forge/builtins/Splice/Api/Token/BurnMintV1.vy
forge/builtins/Splice/Api/Token/HoldingV1.vy
forge/builtins/Splice/Api/Token/HoldingV2.vy
forge/builtins/Splice/Api/Token/MetadataV1.vy
forge/builtins/Splice/Api/Token/TransferEventsV2.vy
forge/builtins/Splice/Api/Token/TransferInstructionV1.vy
forge/builtins/Splice/Api/Token/TransferInstructionV2.vy
forge/builtins/Splice/Api/Token/Test/DummyHolding.vy
forge/builtins/Splice/Api/Token/Test/DummyTwoInterfaces.vy
forge/builtins/Splice/AppManager/Store.vy
forge/builtins/Splice/DSO/AmuletPrice.vy
forge/builtins/Splice/DSO/DecentralizedSynchronizer.vy
forge/builtins/Splice/DSO/SvState.vy
forge/builtins/Splice/Testing/Apps/TradingApp.vy
forge/builtins/Splice/Testing/Apps/TradingAppV2.vy
forge/builtins/Splice/Testing/Tokens/TestTokenV1.vy
forge/builtins/Splice/Testing/Tokens/TestTokenV2.vy
forge/builtins/Splice/Testing/Tokens/TestTokenV2/AccountConfig.vy
forge/builtins/Splice/Testing/Tokens/TestTokenV2/Allocation.vy
forge/builtins/Splice/Testing/Tokens/TestTokenV2/Holding.vy
forge/builtins/Splice/Testing/Tokens/TestTokenV2/Transfer.vy
forge/builtins/Splice/Testing/Tokens/TestTokenV2/Util.vy
forge/builtins/Splice/TokenStandard/Utils.vy
forge/builtins/Splice/TokenStandard/Utils/Internal/Allocations.vy
forge/builtins/Splice/TokenStandard/Utils/Internal/Choices.vy
forge/builtins/Splice/TokenStandard/Utils/Internal/Conversions.vy
forge/builtins/Splice/TokenStandard/Utils/Internal/Events.vy
forge/builtins/Splice/TokenStandard/Utils/Internal/Transfers.vy
forge/builtins/Splice/Util/FeaturedApp/BatchedMarkersProxy.vy
forge/builtins/Splice/Util/FeaturedApp/DelegateProxy.vy
forge/builtins/Splice/Util/FeaturedApp/WalletUserProxy.vy
forge/builtins/Splice/Util/Token/Wallet/BatchingUtilityV2.vy
forge/builtins/Splice/Util/Token/Wallet/MergeDelegation.vy
forge/builtins/Splice/Wallet/BuyTrafficRequest.vy
forge/builtins/Splice/Wallet/Install.vy
forge/builtins/Splice/Wallet/MintingDelegation.vy
forge/builtins/Splice/Wallet/Payment.vy
forge/builtins/Splice/Wallet/Subscriptions.vy
forge/builtins/Splice/Wallet/TopUpState.vy
forge/builtins/Splice/Wallet/TransferOffer.vy
forge/builtins/Splice/Wallet/TransferPreapproval.vy
forge/cli/__init__.py
forge/cli/forge_daml.py
forge/cli/forge_dar.py
forge/cli/forge_json.py
forge/cli/main.py
forge/codegen/__init__.py
forge/codegen/doc.py
forge/codegen/emit.py
forge/codegen/loops.py
forge/codegen/maps.py
forge/codegen/optional.py
forge/codegen/self_mutation.py
forge/codegen/sets.py
forge/codegen/source_map.py
forge/compiler/__init__.py
forge/compiler/settings.py
forge/ir/__init__.py
forge/ir/fields.py
forge/ir/imports.py
forge/ir/lower.py
forge/ir/nodes.py
forge/ir/normalize.py
forge/models/__init__.py
forge/models/decorators.py
forge/models/error_codes.py
forge/models/types.py
forge/semantics/__init__.py
forge/semantics/primitive_specs.py
forge/semantics/analysis/__init__.py
forge/semantics/analysis/imports.py
forge/semantics/analysis/intrinsics.py
forge/semantics/analysis/module.py
forge/semantics/analysis/primitive_values.py
forge/semantics/analysis/structure.py
forge/semantics/analysis/typecheck.py
forge/semantics/analysis/types.py
forge/stubgen/__init__.py
forge/stubgen/dar.py
forge/stubgen/exports.py
forge/stubgen/lf2.py
forge/stubgen/parties.py
forge/stubgen/render.py
tests/test_utils.py
tests/ast/test_call_dict_arg.py
tests/ast/test_container_keywords.py
tests/builtins/test_daml_lang.py
tests/codegen/test_source_map.py
tests/compiler/test_codegen.py
tests/compiler/test_codegen_examples.py
tests/compiler/test_contract_keys.py
tests/compiler/test_daml_versions.py
tests/compiler/test_diagnostics.py
tests/compiler/test_fuzz_crash_regressions.py
tests/compiler/test_loop_report_regressions.py
tests/compiler/test_self_mutation.py
tests/examples/test_token_standard.py
tests/ir/test_lower.py
tests/ir/test_lower_examples.py
tests/models/test_containers.py
tests/models/test_decorators.py
tests/models/test_types.py
tests/semantics/test_primitive_policies.py
tests/semantics/test_structure.py
tests/semantics/test_type_annotations.py
tests/semantics/test_type_checking.py
tests/semantics/fixtures/structure/invalid/as_import_not_allowed.vy
tests/semantics/fixtures/structure/invalid/bytes_type_not_allowed.vy
tests/semantics/fixtures/structure/invalid/choice_all_underscore_name_not_allowed.vy
tests/semantics/fixtures/structure/invalid/choice_double_leading_underscore_name_not_allowed.vy
tests/semantics/fixtures/structure/invalid/choice_leading_underscore_name_not_allowed.vy
tests/semantics/fixtures/structure/invalid/choice_missing_consuming.vy
tests/semantics/fixtures/structure/invalid/choice_missing_controller.vy
tests/semantics/fixtures/structure/invalid/choice_name_with_no_letter_not_allowed.vy
tests/semantics/fixtures/structure/invalid/choice_non_literal_consuming.vy
tests/semantics/fixtures/structure/invalid/choice_observer_references_non_field_self_attribute_not_allowed.vy
tests/semantics/fixtures/structure/invalid/choice_observer_references_unrelated_choice_arg_not_allowed.vy
tests/semantics/fixtures/structure/invalid/choice_postconsuming_on_instance.vy
tests/semantics/fixtures/structure/invalid/choice_preconsuming_on_interface.vy
tests/semantics/fixtures/structure/invalid/complex_type_not_allowed.vy
tests/semantics/fixtures/structure/invalid/create_used_without_import_not_allowed.vy
tests/semantics/fixtures/structure/invalid/daml_name_with_no_arguments_not_allowed.vy
tests/semantics/fixtures/structure/invalid/daml_name_with_non_literal_argument_not_allowed.vy
tests/semantics/fixtures/structure/invalid/decorator_used_without_import_not_allowed.vy
tests/semantics/fixtures/structure/invalid/dict_type_not_allowed.vy
tests/semantics/fixtures/structure/invalid/double_imports_not_allowed.vy
tests/semantics/fixtures/structure/invalid/enum_member_lowercase_not_allowed.vy
tests/semantics/fixtures/structure/invalid/enum_member_mixed_case_not_allowed.vy
tests/semantics/fixtures/structure/invalid/enum_member_value_not_allowed.vy
tests/semantics/fixtures/structure/invalid/enum_value_access_unknown_member.vy
tests/semantics/fixtures/structure/invalid/exercise_by_key_without_template_not_allowed.vy
tests/semantics/fixtures/structure/invalid/function_call_with_incompatible_argument_type_not_allowed.vy
tests/semantics/fixtures/structure/invalid/function_call_with_mismatched_list_element_type_not_allowed.vy
tests/semantics/fixtures/structure/invalid/function_call_with_wrong_argument_count_not_allowed.vy
tests/semantics/fixtures/structure/invalid/hidden_ledger_effect.vy
tests/semantics/fixtures/structure/invalid/hidden_ledger_effect_top_level.vy
tests/semantics/fixtures/structure/invalid/ledger_effect_with_args.vy
tests/semantics/fixtures/structure/invalid/missing_import.vy
tests/semantics/fixtures/structure/invalid/multiple_violations.vy
tests/semantics/fixtures/structure/invalid/recursion_single_func.vy
tests/semantics/fixtures/structure/invalid/self_reference_via_template_name_not_allowed.vy
tests/semantics/fixtures/structure/invalid/template_choice_and_method_same_name.vy
tests/semantics/fixtures/structure/invalid/template_duplicate_reserved_declarations.vy
tests/semantics/fixtures/structure/invalid/template_empty_observer.vy
tests/semantics/fixtures/structure/invalid/template_empty_signatory.vy
tests/semantics/fixtures/structure/invalid/template_ensure_arithmetic_expression.vy
tests/semantics/fixtures/structure/invalid/template_ensure_non_boolean_literal.vy
tests/semantics/fixtures/structure/invalid/template_ensure_without_value.vy
tests/semantics/fixtures/structure/invalid/template_key_without_annotation_not_allowed.vy
tests/semantics/fixtures/structure/invalid/template_key_without_maintainer.vy
tests/semantics/fixtures/structure/invalid/template_maintainer_from_field_not_allowed.vy
tests/semantics/fixtures/structure/invalid/template_maintainer_without_key.vy
tests/semantics/fixtures/structure/invalid/template_method_without_choice.vy
tests/semantics/fixtures/structure/invalid/template_missing_signatory.vy
tests/semantics/fixtures/structure/invalid/template_via_decorator_missing_signatory.vy
tests/semantics/fixtures/structure/invalid/to_interface_contract_id_used_without_import_not_allowed.vy
tests/semantics/fixtures/structure/invalid/unknown_decorator_not_allowed.vy
tests/semantics/fixtures/structure/invalid/unknown_map_type_not_allowed.vy
tests/semantics/fixtures/structure/invalid/unresolvable_bare_import_not_allowed.vy
tests/semantics/fixtures/structure/invalid/unresolvable_import_not_allowed.vy
tests/semantics/fixtures/structure/invalid/unresolved_name_used_as_attribute_base_not_allowed.vy
tests/semantics/fixtures/structure/invalid/unresolved_name_used_as_call_target_not_allowed.vy
tests/semantics/fixtures/structure/invalid/view_in_template.vy
tests/semantics/fixtures/structure/invalid/view_used_without_import_not_allowed.vy
tests/semantics/fixtures/structure/invalid/view_with_args.vy
tests/semantics/fixtures/structure/invalid/visible_by_key_on_template_without_key_not_allowed.vy
tests/semantics/fixtures/structure/invalid/wildcard_missing_import_not_allowed.vy
tests/semantics/fixtures/structure/valid/choice_body_ledger_effect_is_allowed.vy
tests/semantics/fixtures/structure/valid/choice_postconsuming_on_template_is_allowed.vy
tests/semantics/fixtures/structure/valid/choice_preconsuming_on_template_is_allowed.vy
tests/semantics/fixtures/structure/valid/choice_string_consuming_on_template_is_allowed.vy
tests/semantics/fixtures/structure/valid/choice_with_observer_is_allowed.vy
tests/semantics/fixtures/structure/valid/compatible_function_call_argument_types_are_allowed.vy
tests/semantics/fixtures/structure/valid/contract_key_builtins_are_allowed.vy
tests/semantics/fixtures/structure/valid/daml_name_overrides_choice_name_is_allowed.vy
tests/semantics/fixtures/structure/valid/enum_value_access_is_allowed.vy
tests/semantics/fixtures/structure/valid/frozenset_field_is_allowed.vy
tests/semantics/fixtures/structure/valid/genmap_field_is_allowed.vy
tests/semantics/fixtures/structure/valid/imported_ledger_builtins_are_allowed.vy
tests/semantics/fixtures/structure/valid/interface_choice_controller_uses_view_is_allowed.vy
tests/semantics/fixtures/structure/valid/known_builtin_and_struct_constructor_call_targets_are_allowed.vy
tests/semantics/fixtures/structure/valid/ledger_effect_marked_is_allowed.vy
tests/semantics/fixtures/structure/valid/local_variable_used_as_attribute_base_is_allowed.vy
tests/semantics/fixtures/structure/valid/self_reference_via_another_template_name_is_allowed.vy
tests/semantics/fixtures/structure/valid/set_field_is_allowed.vy
tests/semantics/fixtures/structure/valid/template_ensure_boolop_is_allowed.vy
tests/semantics/fixtures/structure/valid/template_ensure_call_is_allowed.vy
tests/semantics/fixtures/structure/valid/template_ensure_compare_is_allowed.vy
tests/semantics/fixtures/structure/valid/template_key_with_maintainer_is_allowed.vy
tests/semantics/fixtures/structure/valid/template_with_ellipsis.vy
tests/semantics/fixtures/structure/valid/template_without_ensure_is_allowed.vy
tests/semantics/fixtures/structure/valid/template_without_key_or_maintainer_is_allowed.vy
tests/semantics/fixtures/structure/valid/textmap_field_is_allowed.vy
tests/semantics/fixtures/structure/valid/valid_template.vy
tests/semantics/fixtures/structure/valid/valid_template_via_decorator.vy
tests/semantics/fixtures/structure/valid/view_in_interface_is_allowed.vy
tests/semantics/fixtures/type_annotations/invalid/choice_arg_unknown_type.vy
tests/semantics/fixtures/type_annotations/invalid/choice_return_unknown_type.vy
tests/semantics/fixtures/type_annotations/invalid/function_arg_unknown_type.vy
tests/semantics/fixtures/type_annotations/invalid/interface_view_unknown_type.vy
tests/semantics/fixtures/type_annotations/invalid/nested_generic_unknown_type.vy
tests/semantics/fixtures/type_annotations/invalid/struct_field_unknown_type.vy
tests/semantics/fixtures/type_annotations/invalid/template_field_unknown_type.vy
tests/semantics/fixtures/type_annotations/valid/generic_field_types_are_allowed.vy
tests/semantics/fixtures/type_annotations/valid/local_struct_reference_is_allowed.vy
tests/semantics/fixtures/type_annotations/valid/primitive_field_types_are_allowed.vy
tests/stubgen/test_lf2.py