> For the complete documentation index, see [llms.txt](https://docs.theangel.app/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.theangel.app/api-and-technical-documentation/smart-contract-specifications.md).

# Smart Contract Specifications

TheAngel smart contracts are:

* ERC-compliant
* Audited
* Non-upgradable (immutable issuance rules)
* Multi-sig protected
* Compliance-gated

***

### Token Functions (Simplified)

#### Core Functions

```solidity
mint()
burn()
transfer()
balanceOf()
ownerOf()
getISIN()
```

***

### Compliance Layer Modifiers

```solidity
onlyKYCVerified()
onlyDuringLiquidityWindow()
onlyAdmin()
onlyMultiSig()
```

These prevent:

* Unauthorised transfers
* Secondary trading outside regulatory windows
* Trading by unverified investors

***

### Token Storage Structure

```solidity
mapping(address => uint256) balances;
mapping(address => bool) KYCVerified;
mapping(address => bool) transferLocked;
uint256 totalSupply;
string public ISIN;
```