Validators

Governs the Access Token global state. Mints a g-prefixed global-state token per registered alias (datum {alias, local_state_information}); the user's wallet holds the matching u-prefixed user access token from the index policy. Records credential-claim attestations back into a user's global state, and moves or retires that state as users enroll, claim, and update.

Creates a new global reference pair — the index linked-list marker (the 0x20 space-prefixed token in the index policy) carrying {prev_alias, next_alias} so each new alias inserts in order. This is the index/reference plumbing behind access-token minting.

Holds the governance token (course-governance policy, token name = the courseId) in a UTxO with datum {participants: [aliases]}. The same validator backs both course teachers and project managers (the instance-admin role). AddInstanceCreators/RemoveInstanceCreators edit the participant set; MoveNew rolls it forward.

Provides the mint/burn authority (ProvideMint/ProvideBurn) for instance-scoped tokens — notably the LocalStateToken, the UTxO that registers a course/project and embeds that instance's own validator as a script reference.

Mints the LocalStateNFT (LocalStateNFT), whose minting-policy ID is the course/project identifier (the courseId/projectId), and the Local State Registration token that connects the instance's local state to global V2 state. MintInstanceRefScr/RemoveInstanceRefScr manage its reference scripts; BurnInstance retires it.

Drives the assignment lifecycle on the student's Course State UTxO (it mints no token of its own). StudentAction submits or updates evidence; Accept (a teacher) records the completion that advances the Course State token; Refuse rejects the submission.

Mints the Course State token (course-state policy, parameterized per course; token name = the student's alias, so one enrollment per student per course). The datum holds the student's completed modules and any active assignment commitment. CommitAssignment records a commitment; BurnCourseState retires the token on credential claim.

Mints module tokens (module policy; token name = the 32-byte hash of the module's SLT list), held with datum {courseId, allowed_course_state_ids, prereq_slt_hashes}. UpdateModule revises a module; BurnModule removes it.

Mints the Contributor State token (contributor-state policy, parameterized per project; token name = the contributor's alias). The mint redeemer carries prerequisite proof (courseId + completed SLTs). CommitProject commits to a task, AddCompleted records finished tasks, SpendingBurnRewards distributes rewards, BurnContributor retires the token on credential claim, and AdminAdd/AdminRemove are manager overrides.

Custodies task-escrow UTxOs (datum = the list of task content hashes) plus the treasury deposits backing them. UserAction is the contributor's move; Accept (a manager) releases the reward and pairs with contributor_state: AddCompleted; Deny/Refuse reject the submission.

Custodies treasury funds keyed by the TreasuryScriptV2 token (treasury-script policy) in a UTxO with datum {projectId} and the treasury validator's embedded script reference. Manage defines and edits tasks; CommitFunds/CommitToken add ADA or native tokens; BurnTreasuryToken tears the treasury down.

Mints treasury tokens (treasury-token policy; token name = a hash tied to the contributor_state_id) that sit in the treasury/escrow to back each task's reward. MintTT issues them; BurnTT releases them on payout.