CONJURELIB

Source Revision 0x4b24baa9…48eec3

Property	Value
Source Revision	0x4b24baa99a08d27e1f999b014cc3e40e102480d6e4a871e4cd6df51b1748eec3
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/c03f87d612164318563e478e58036050b636dc60/solidity/dysnomia/lib/conjure.sol
Source commit	c03f87d612164318563e478e58036050b636dc60
Source Status	Archived source snapshot; this does not establish deployed bytecode equivalence.
Compiler	solc 0.8.21; optimizer enabled with 200 runs
Compiler Configuration	{"evmVersion":"compiler-default","optimizer":{"enabled":true,"runs":200},"version":"0.8.21+commit.d9974bed.Linux.g++"}
Compilation Closure Hash	0x23e638dfc96e1c2ae33161b6cc0f0ce44c8fe4414f4a91e3312c91a66fac3799
Compilation Closure Files	29
Hash Generated	2026-08-22T00:06:01Z

Overview

• Kind: Contract
• License: Sharia
• Solidity: ^0.8.21
• Source: solidity/dysnomia/lib/conjure.sol

Inheritance Chain (C3 Linearized)

0. self — CONJURELIB
1. DYSNOMIA
2. MultiOwnable

Immediate Parents

• DYSNOMIA

State Variables

Variable	Type	Visibility	Mutability	Initial Value	NatSpec
Type	string	public	constant	ConjureLib
Zao	ZAOINTERFACE	public	mutable	``
_conjures	mapping(uint64 => Enchantment)	private	mutable	``
_enchantments	mapping(string => uint64)	private	mutable	``
KnownEnchantments	string[]	public	mutable	``
Levels	uint64[10]	public	mutable	[5040, 40320, 362880, 3628800, 399168...

Errors

Error	Parameters	NatSpec
NotTokenOwner	address Token, address originRequestor
ApproveAndPay	address TOKEN, address THIS, uint256 AMOUNT

Constructor

constructor

constructorconstructor

constructor(address ZaoAddress) DYSNOMIA(unicode"DYSNOMIA ConjureLib", unicode"ConjureLib", address(DYSNOMIA(ZaoAddress).Xiao()))

• Modifiers: DYSNOMIA(unicode"DYSNOMIA ConjureLib", unicode"ConjureLib", address(DYSNOMIA(ZaoAddress).Xiao()))
• Parameters: address ZaoAddress

Functions

External & Public

Withdraw

Withdrawfunction

function Withdraw(address what, uint256 amount) public onlyOwners

• Visibility: public
• Modifiers: onlyOwners
• Parameters: address what, uint256 amount

EnchantmentCount

EnchantmentCountfunction

function EnchantmentCount() public view returns (uint256)

• Visibility: public
• State Mutability: view
• Returns: uint256

Level

Levelfunction

function Level(uint64 Saat) public view returns (uint8)

• Visibility: public
• State Mutability: view
• Parameters: uint64 Saat
• Returns: uint8

Enchant

Enchantfunction

function Enchant(address QiAddress, uint64 Rho, uint64 Upsilon, uint64 Ohm, string memory IntendedNoun) public onlyOwners returns (uint64)

• Visibility: public
• Modifiers: onlyOwners
• Parameters: address QiAddress, uint64 Rho, uint64 Upsilon, uint64 Ohm, string memory IntendedNoun
• Returns: uint64

Imbue

Imbuefunction

function Imbue(address QiAddress, uint64 Rho, uint64 Upsilon, uint64 Ohm, string memory IntendedAdjective) public onlyOwners returns (uint64)

• Visibility: public
• Modifiers: onlyOwners
• Parameters: address QiAddress, uint64 Rho, uint64 Upsilon, uint64 Ohm, string memory IntendedAdjective
• Returns: uint64

RenameLesserQi

RenameLesserQifunction

function RenameLesserQi(address SuperiorQi, uint64 Saat1, string memory Adverb, string memory Noun, string memory Adjective) public

• Visibility: public
• Parameters: address SuperiorQi, uint64 Saat1, string memory Adverb, string memory Noun, string memory Adjective

ForceRename

ForceRenamefunction

function ForceRename(uint64 Saat1, string memory Adverb, string memory Noun, string memory Adjective) public onlyOwners

• Visibility: public
• Modifiers: onlyOwners
• Parameters: uint64 Saat1, string memory Adverb, string memory Noun, string memory Adjective

RenameQi

RenameQifunction

function RenameQi(string memory Adverb, string memory Noun, string memory Adjective) public onlyOwners

• Visibility: public
• Modifiers: onlyOwners
• Parameters: string memory Adverb, string memory Noun, string memory Adjective

qName

qNamefunction

function qName() public view returns (string memory)

• Visibility: public
• State Mutability: view
• Returns: string memory

qSymbol

qSymbolfunction

function qSymbol() public view returns (string memory)

• Visibility: public
• State Mutability: view
• Returns: string memory

Internal

UpdateSaat

UpdateSaatfunction

function UpdateSaat(QIINTERFACE Qi, uint64 Rho, uint64 Upsilon, uint64 Ohm) internal

• Visibility: internal
• Parameters: QIINTERFACE Qi, uint64 Rho, uint64 Upsilon, uint64 Ohm

_payToRename

_payToRenamefunction

function _payToRename(uint64 Saat) internal

• Visibility: internal
• Parameters: uint64 Saat

Inherited Members

This contract inherits the members below from its parents. See each parent’s dedicated MD for full signatures, NatSpec, and semantics.

From DYSNOMIA

External & Public Functions

Function	Signature	State Mutability
Rename	function Rename(string memory newName, string memory newSymbol) public virtual onlyOwners	nonpayable
mintToCap	function mintToCap() public onlyOwners	nonpayable
GetMarketRate	function GetMarketRate(address _a) public view returns (uint256)	view
Purchase	function Purchase(address _t, uint256 _a) public	nonpayable
Redeem	function Redeem(address _t, uint256 _a) public	nonpayable
name	function name() public view virtual returns (string memory)	view
symbol	function symbol() public view virtual returns (string memory)	view
decimals	function decimals() public view virtual returns (uint8)	view
totalSupply	function totalSupply() public view virtual returns (uint256)	view
balanceOf	function balanceOf(address account) public view virtual returns (uint256)	view
transfer	function transfer(address to, uint256 value) public virtual returns (bool)	nonpayable
allowance	function allowance(address owner, address spender) public view virtual returns (uint256)	view
approve	function approve(address spender, uint256 value) public virtual returns (bool)	nonpayable
transferFrom	function transferFrom(address from, address to, uint256 value) public virtual returns (bool)	nonpayable

Internal Functions

Function	Signature
_addLibraryOwner	function _addLibraryOwner(VOID Void, string memory what) internal
_mintToCap	function _mintToCap() internal
_addMarketRate	function _addMarketRate(address _a, uint256 _r) internal
_transfer	function _transfer(address from, address to, uint256 value) internal
_update	function _update(address from, address to, uint256 value) internal virtual
_mint	function _mint(address account, uint256 value) internal
_approve	function _approve(address owner, address spender, uint256 value) internal
_spendAllowance	function _spendAllowance(address owner, address spender, uint256 value) internal virtual

Events

Event	Parameters
Transfer	address indexed from, address indexed to, uint256 value
Approval	address indexed owner, address indexed spender, uint256 value

Errors

Error	Parameters
MarketRateNotFound	address asset
DysnomiaInsufficientBalance	address origin, address sender, address from, address to, address what, uint256 balance, uint256 needed
DysnomiaInsufficientAllowance	address origin, address sender, address owner, address spender, address what, uint256 allowance, uint256 needed

State Variables (private parent storage is not reachable and is omitted)

Variable	Type	Visibility	Mutability
__name	string	internal	mutable
__symbol	string	internal	mutable
MotzkinPrime	uint64	public	constant
Xiao	atropaMath	public	mutable
maxSupply	uint256	public	mutable

From MultiOwnable

External & Public Functions

Function	Signature	State Mutability
owner	function owner() external view virtual returns (address)	view
renounceOwnership	function renounceOwnership(address toRemove) public virtual onlyOwners	nonpayable
addOwner	function addOwner(address newOwner) public virtual onlyOwners	nonpayable

Internal Functions

Function	Signature
_checkOwner	function _checkOwner() internal view virtual
_changeOwnership	function _changeOwnership(address cOwner, bool cState) internal virtual

Events

Event	Parameters
OwnershipUpdate	address indexed newOwner, bool indexed state

Errors

Error	Parameters
OwnableUnauthorizedAccount	address origin, address account, address what
OwnableInvalidOwner	address origin, address owner, address what

Modifiers

Modifier	Parameters
onlyOwners	(none)

Compiled ABI

The compiled ABI below is produced by solc 0.8.21 from the exact source bytes recorded in Source details. Consumers can paste it directly into ethers/web3/viem.

Click to expand JSON ABI

[
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "ZaoAddress",
        "type": "address"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "constructor"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "TOKEN",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "THIS",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "AMOUNT",
        "type": "uint256"
      }
    ],
    "name": "ApproveAndPay",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "sender",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "allowance",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "needed",
        "type": "uint256"
      }
    ],
    "name": "DysnomiaInsufficientAllowance",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "sender",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "from",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "balance",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "needed",
        "type": "uint256"
      }
    ],
    "name": "DysnomiaInsufficientBalance",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "asset",
        "type": "address"
      }
    ],
    "name": "MarketRateNotFound",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "Token",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "originRequestor",
        "type": "address"
      }
    ],
    "name": "NotTokenOwner",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      }
    ],
    "name": "OwnableInvalidOwner",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "account",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      }
    ],
    "name": "OwnableUnauthorizedAccount",
    "type": "error"
  },
  {
    "anonymous": false,
    "inputs": [
      {
        "indexed": true,
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "indexed": false,
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "Approval",
    "type": "event"
  },
  {
    "anonymous": false,
    "inputs": [
      {
        "indexed": true,
        "internalType": "address",
        "name": "newOwner",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "bool",
        "name": "state",
        "type": "bool"
      }
    ],
    "name": "OwnershipUpdate",
    "type": "event"
  },
  {
    "anonymous": false,
    "inputs": [
      {
        "indexed": true,
        "internalType": "address",
        "name": "from",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "indexed": false,
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "Transfer",
    "type": "event"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "QiAddress",
        "type": "address"
      },
      {
        "internalType": "uint64",
        "name": "Rho",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Upsilon",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Ohm",
        "type": "uint64"
      },
      {
        "internalType": "string",
        "name": "IntendedNoun",
        "type": "string"
      }
    ],
    "name": "Enchant",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "EnchantmentCount",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Saat1",
        "type": "uint64"
      },
      {
        "internalType": "string",
        "name": "Adverb",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "Noun",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "Adjective",
        "type": "string"
      }
    ],
    "name": "ForceRename",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "_a",
        "type": "address"
      }
    ],
    "name": "GetMarketRate",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "QiAddress",
        "type": "address"
      },
      {
        "internalType": "uint64",
        "name": "Rho",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Upsilon",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Ohm",
        "type": "uint64"
      },
      {
        "internalType": "string",
        "name": "IntendedAdjective",
        "type": "string"
      }
    ],
    "name": "Imbue",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "name": "KnownEnchantments",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Saat",
        "type": "uint64"
      }
    ],
    "name": "Level",
    "outputs": [
      {
        "internalType": "uint8",
        "name": "",
        "type": "uint8"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "name": "Levels",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "MotzkinPrime",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "_t",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "_a",
        "type": "uint256"
      }
    ],
    "name": "Purchase",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "_t",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "_a",
        "type": "uint256"
      }
    ],
    "name": "Redeem",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "newName",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "newSymbol",
        "type": "string"
      }
    ],
    "name": "Rename",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "SuperiorQi",
        "type": "address"
      },
      {
        "internalType": "uint64",
        "name": "Saat1",
        "type": "uint64"
      },
      {
        "internalType": "string",
        "name": "Adverb",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "Noun",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "Adjective",
        "type": "string"
      }
    ],
    "name": "RenameLesserQi",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "Adverb",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "Noun",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "Adjective",
        "type": "string"
      }
    ],
    "name": "RenameQi",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Type",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "amount",
        "type": "uint256"
      }
    ],
    "name": "Withdraw",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Xiao",
    "outputs": [
      {
        "internalType": "contract atropaMath",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Zao",
    "outputs": [
      {
        "internalType": "contract ZAOINTERFACE",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "newOwner",
        "type": "address"
      }
    ],
    "name": "addOwner",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      }
    ],
    "name": "allowance",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "approve",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "account",
        "type": "address"
      }
    ],
    "name": "balanceOf",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "decimals",
    "outputs": [
      {
        "internalType": "uint8",
        "name": "",
        "type": "uint8"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "maxSupply",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "mintToCap",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "name",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "cOwner",
        "type": "address"
      }
    ],
    "name": "owner",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "owner",
    "outputs": [
      {
        "internalType": "address",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "qName",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "qSymbol",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "toRemove",
        "type": "address"
      }
    ],
    "name": "renounceOwnership",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "symbol",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "totalSupply",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "transfer",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "from",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "transferFrom",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  }
]