@trioforge/crucible 0.1.0 → 0.2.0

package/out/internal/data/lease.luau

@@ -0,0 +1,304 @@
+-- Compiled with roblox-ts v3.0.0
+local TS = _G[script]
+local _envelope = TS.import(script, script.Parent, "envelope")
+local emptyEnvelope = _envelope.emptyEnvelope
+local envelopeBytes = _envelope.envelopeBytes
+local parseEnvelope = _envelope.parseEnvelope
+local _inbox_transforms = TS.import(script, script.Parent, "inbox-transforms")
+local applyAcks = _inbox_transforms.applyAcks
+local applyMarks = _inbox_transforms.applyMarks
+local _limits = TS.import(script, script.Parent, "limits")
+local LEASE_SECONDS = _limits.LEASE_SECONDS
+local MAX_ENVELOPE_BYTES = _limits.MAX_ENVELOPE_BYTES
+local TAKEOVER_GRACE_SECONDS = _limits.TAKEOVER_GRACE_SECONDS
+--* @internal What an owned write or a carrying acquisition stores for a session: its newest state (rules 27 to 29). 
+--* @internal A sealed session of this server whose release settled, keyed by its token in `supersedes` (rule 29). 
+--* @internal 
+--* @internal 
+--* @internal 
+--* @internal 
+local function union(stored, staged)
+	local _set = {}
+	for _, _v in stored do
+		_set[_v] = true
+	end
+	local seen = _set
+	local _array = {}
+	local _length = #_array
+	table.move(stored, 1, #stored, _length + 1, _array)
+	local result = _array
+	for _, id in staged do
+		if not (seen[id] ~= nil) then
+			seen[id] = true
+			table.insert(result, id)
+		end
+	end
+	return result
+end
+--* @internal 
+local function stored(current, userId, envelope)
+	local _array = {}
+	local _length = #_array
+	local _result = current
+	if _result ~= nil then
+		_result = _result.userIds
+	end
+	local _condition = _result
+	if _condition == nil then
+		_condition = {}
+	end
+	table.move(_condition, 1, #_condition, _length + 1, _array)
+	local userIds = _array
+	local _userId = userId
+	if not (table.find(userIds, _userId) ~= nil) then
+		local _userId_1 = userId
+		table.insert(userIds, _userId_1)
+	end
+	local _object = {
+		value = envelope,
+		userIds = userIds,
+	}
+	local _left = "metadata"
+	local _result_1 = current
+	if _result_1 ~= nil then
+		_result_1 = _result_1.metadata
+	end
+	local _condition_1 = _result_1
+	if _condition_1 == nil then
+		_condition_1 = {}
+	end
+	_object[_left] = _condition_1
+	return _object
+end
+local function withSnapshot(envelope, snapshot, commit)
+	local _object = table.clone(envelope)
+	setmetatable(_object, nil)
+	_object.payload = snapshot.payload
+	_object.schemaVersion = snapshot.schemaVersion
+	_object.receipts = union(envelope.receipts, snapshot.receipts)
+	_object.commit = commit
+	return applyMarks(applyAcks(_object, snapshot.acks), snapshot.marks)
+end
+--* @internal Takes the lease only when absent, our own settled sealed token's, or past expiry plus grace (rule 24). 
+local function acquire(current, input, record)
+	local _result = current
+	if _result ~= nil then
+		_result = _result.value
+	end
+	local parsed = parseEnvelope(_result, "profiles")
+	if parsed.kind == "unreadable" then
+		record(parsed)
+		return nil
+	end
+	local envelope = if parsed.kind == "ok" then parsed.envelope else emptyEnvelope("profiles")
+	if envelope.payload ~= nil and envelope.schemaVersion > input.schemaVersion then
+		record({
+			kind = "newer",
+			version = envelope.schemaVersion,
+		})
+		return nil
+	end
+	local lease = envelope.lease
+	local _result_1 = lease
+	if _result_1 ~= nil then
+		_result_1 = _result_1.token
+	end
+	if _result_1 == input.token then
+		record({
+			kind = "already",
+			envelope = envelope,
+		})
+		return nil
+	end
+	local _result_2
+	if lease == nil then
+		_result_2 = nil
+	else
+		local _supersedes = input.supersedes
+		local _token = lease.token
+		_result_2 = _supersedes[_token]
+	end
+	local sealed = _result_2
+	local wall = input.wall()
+	if lease ~= nil and sealed == nil and wall <= lease.expiresAt + TAKEOVER_GRACE_SECONDS then
+		record({
+			kind = "held",
+			lease = lease,
+		})
+		return nil
+	end
+	local _object = table.clone(envelope)
+	setmetatable(_object, nil)
+	_object.epoch = envelope.epoch + 1
+	_object.lease = {
+		token = input.token,
+		serverId = input.serverId,
+		jobId = input.jobId,
+		expiresAt = wall + LEASE_SECONDS,
+	}
+	local written = _object
+	local commit = envelope.commit
+	local _condition = sealed ~= nil and envelope.epoch == sealed.epoch
+	if _condition then
+		local _result_3 = commit
+		if _result_3 ~= nil then
+			_result_3 = _result_3.token
+		end
+		local _condition_1 = _result_3 ~= lease.token
+		if not _condition_1 then
+			_condition_1 = commit.revision < sealed.snapshot.revision
+		end
+		_condition = _condition_1
+	end
+	local carried = _condition
+	if carried then
+		local _exp = written
+		local _exp_1 = sealed.snapshot
+		local _object_1 = {
+			token = lease.token,
+			revision = sealed.snapshot.revision,
+		}
+		local _left = "op"
+		local _result_3 = commit
+		if _result_3 ~= nil then
+			_result_3 = _result_3.token
+		end
+		_object_1[_left] = if _result_3 == lease.token then commit.op else 0
+		written = withSnapshot(_exp, _exp_1, _object_1)
+	end
+	local bytes = envelopeBytes(written)
+	if bytes > MAX_ENVELOPE_BYTES then
+		record({
+			kind = "unreadable",
+			reason = `envelope {bytes} bytes`,
+		})
+		return nil
+	end
+	record({
+		kind = "taken",
+		envelope = written,
+		carried = carried,
+	})
+	return stored(current, input.userId, written)
+end
+--* @internal A renewal, save, handoff or release: fenced on token and epoch, identified by `op` (rules 27, 28). 
+local function ownedWrite(current, input, record)
+	local _result = current
+	if _result ~= nil then
+		_result = _result.value
+	end
+	local parsed = parseEnvelope(_result, "profiles")
+	if parsed.kind == "unreadable" then
+		record(parsed)
+		return nil
+	end
+	if parsed.kind == "absent" then
+		record({
+			kind = "fenced",
+		})
+		return nil
+	end
+	local envelope = parsed.envelope
+	local commit = envelope.commit
+	local _result_1 = commit
+	if _result_1 ~= nil then
+		_result_1 = _result_1.token
+	end
+	local _condition = _result_1 == input.token
+	if _condition then
+		_condition = commit.op >= input.op
+	end
+	if _condition then
+		record({
+			kind = "already",
+			envelope = envelope,
+		})
+		return nil
+	end
+	local lease = envelope.lease
+	if lease == nil or lease.token ~= input.token or envelope.epoch ~= input.epoch or (envelope.payload ~= nil and envelope.schemaVersion > input.snapshot.schemaVersion) then
+		record({
+			kind = "fenced",
+			lease = lease,
+		})
+		return nil
+	end
+	local wall = input.wall()
+	if wall >= lease.expiresAt then
+		record({
+			kind = "expired",
+		})
+		return nil
+	end
+	local _result_2 = commit
+	if _result_2 ~= nil then
+		_result_2 = _result_2.token
+	end
+	local revision = if _result_2 == input.token then commit.revision else -1
+	local marker = {
+		token = input.token,
+		revision = math.max(input.snapshot.revision, revision),
+		op = input.op,
+	}
+	local _object = table.clone((if input.snapshot.revision > revision then withSnapshot(envelope, input.snapshot, marker) else applyMarks(envelope, input.snapshot.marks)))
+	setmetatable(_object, nil)
+	local _left = "lease"
+	local _result_3
+	if input.release then
+		_result_3 = nil
+	else
+		local _object_1 = table.clone(lease)
+		setmetatable(_object_1, nil)
+		_object_1.expiresAt = wall + LEASE_SECONDS
+		_result_3 = _object_1
+	end
+	_object[_left] = _result_3
+	_object.commit = marker
+	local written = _object
+	local bytes = envelopeBytes(written)
+	if bytes > MAX_ENVELOPE_BYTES then
+		record({
+			kind = "too-large",
+			bytes = bytes,
+		})
+		return nil
+	end
+	record({
+		kind = "written",
+		envelope = written,
+	})
+	return stored(current, input.userId, written)
+end
+--* @internal Removes exactly the abandoned load's own lease and writes nothing else (rule 20). 
+local function abandonAcquisition(current, userId, token, record)
+	local _result = current
+	if _result ~= nil then
+		_result = _result.value
+	end
+	local parsed = parseEnvelope(_result, "profiles")
+	if parsed.kind ~= "ok" then
+		record("absent")
+		return nil
+	end
+	local _result_1 = parsed.envelope.lease
+	if _result_1 ~= nil then
+		_result_1 = _result_1.token
+	end
+	if _result_1 ~= token then
+		record("foreign")
+		return nil
+	end
+	record("released")
+	local _exp = current
+	local _exp_1 = userId
+	local _object = table.clone(parsed.envelope)
+	setmetatable(_object, nil)
+	_object.lease = nil
+	return stored(_exp, _exp_1, _object)
+end
+return {
+	stored = stored,
+	acquire = acquire,
+	ownedWrite = ownedWrite,
+	abandonAcquisition = abandonAcquisition,
+}

package/out/internal/data/limits.d.ts

@@ -0,0 +1 @@
+export {};

package/out/internal/data/limits.luau

@@ -0,0 +1,234 @@
+-- Compiled with roblox-ts v3.0.0
+--* @internal Lease and load (rules 19 to 24). 
+local LEASE_SECONDS = 90
+--* @internal 
+local LOCAL_AUTHORITY_SECONDS = 70
+--* @internal 
+local RENEW_INTERVAL_SECONDS = 20
+--* @internal 
+local RENEW_JITTER_SECONDS = 2
+--* @internal 
+local TAKEOVER_GRACE_SECONDS = 10
+--* @internal Assumed, not measured (rule 25). 
+local CLOCK_ERROR_ASSUMED_SECONDS = 5
+--* @internal Expiry 90 + grace 10 + clock error 5 = 105, plus one 5 s poll and request time. 
+local LOAD_DEADLINE_SECONDS = 120
+--* @internal The last entry repeats. 
+local LOAD_POLL_SCHEDULE_SECONDS = { 1, 1, 2, 2, 3, 5 }
+--* @internal Each poll is multiplied by uniform [1 - this, 1 + this]. 
+local LOAD_POLL_JITTER = 0.25
+--* @internal 
+local LOAD_POLL_MIN_SECONDS = 0.25
+--* @internal A renewal whose safe bound is nearer than this dispatches as LeaseCritical (rule 34). 
+local LEASE_CRITICAL_SECONDS = 30
+--* @internal Saves and barriers (rules 37, 45). 
+local SAVE_TIMEOUT_DEFAULT_SECONDS = 10
+--* @internal 
+local SAVE_TIMEOUT_MAX_SECONDS = 30
+--* @internal 
+local HANDOFF_TIMEOUT_SECONDS = 10
+--* @internal How long a granting callback waits for its id to be durable (rule 63). 
+local RECEIPT_SAVE_TIMEOUT_SECONDS = 30
+--* @internal 
+local CALL_DEADLINE_SECONDS = 30
+--* @internal Scheduler (rules 32 to 36). 
+local MAX_IN_FLIGHT = 8
+--* @internal 
+local RESERVED_SESSION_SLOTS = 4
+--* @internal 
+local ORDINARY_MAX_IN_FLIGHT = 3
+--* @internal 
+local MAX_PENDING_OPERATIONS = 512
+--* @internal 
+local MAX_PENDING_PER_KEY = 32
+--* @internal 
+local BUDGET_RESERVE_FRACTION = 0.2
+--* @internal 
+local BUDGET_RESERVE_MIN = 12
+--* @internal 
+local ORDINARY_AGING_SECONDS = 5
+--* @internal 
+local RETRY_BASE_SECONDS = 0.5
+--* @internal 
+local RETRY_CAP_SECONDS = 8
+--* @internal 
+local KEY_WRITE_BYTES_PER_MINUTE = 3_145_728
+--* @internal 
+local KEY_READ_BYTES_PER_MINUTE = 20_971_520
+--* @internal The engine publishes no budget-change event, so blocked work rechecks at this period. 
+local BUDGET_RECHECK_SECONDS = 0.5
+--* @internal Sizes in encoded JSON bytes (rule 39). 
+local MAX_ENVELOPE_BYTES = 1_048_576
+--* @internal 
+local ENVELOPE_HEADER_MAX_BYTES = 4_096
+--* @internal 
+local PAYLOAD_MAX_BYTES = 262_144
+--* @internal 
+local RECORD_PAYLOAD_MAX_BYTES = 1_000_000
+--* @internal 
+local OPERATIONS_MAX_BYTES = 18_432
+--* @internal 
+local MAX_PURCHASE_IDS = 8_192
+--* @internal 
+local RECEIPTS_MAX_BYTES = 393_216
+--* @internal 
+local PURCHASE_ID_MAX_BYTES = 64
+--* @internal 
+local INBOX_MAX_MESSAGES = 128
+--* @internal 
+local INBOX_MAX_BYTES = 131_072
+--* @internal 
+local QUARANTINE_MAX_MESSAGES = 8
+--* @internal 
+local QUARANTINE_MAX_BYTES = 69_632
+--* @internal 
+local MESSAGE_PAYLOAD_MAX_BYTES = 8_192
+--* @internal Seven days (rule 69). 
+local MESSAGE_ID_MAX_AGE_SECONDS = 604_800
+--* @internal 
+local ID_FUTURE_SKEW_SECONDS = 5
+--* @internal The 30 s call deadline plus 5 s of clock error, with margin (rule 69). 
+local ID_EVICT_MIN_AGE_SECONDS = 60
+--* @internal 
+local OPERATION_ID_MAX_BYTES = 64
+--* @internal 
+local SEEN_MAX_MESSAGES = 1_024
+--* @internal 
+local SEEN_MAX_BYTES = 69_632
+--* @internal The wait after attempt n is entry n - 1; the last repeats (rule 73). 
+local INBOX_RETRY_SECONDS = { 5, 15, 60, 60 }
+--* @internal Attempts before an item is quarantined with reason "attempts" (rule 73). 
+local INBOX_MAX_ATTEMPTS = 5
+--* @internal 
+local OPERATION_MARKERS_PER_KEY = 256
+--* @internal An operation id older than this is refused as expired (rule 88). 
+local OPERATION_ID_MAX_AGE_SECONDS = 3_600
+--* @internal Roblox's DataStore name limit; a store name is its DataStore name (rule 2). 
+local STORE_NAME_MAX_BYTES = 50
+--* @internal Data declarations per realm (rule 3). 
+local MAX_DATA_DECLARATIONS = 256
+--* @internal A generic store's key is 1 to this many bytes (rule 86). 
+local KEY_MAX_BYTES = 50
+--* @internal Profile stores per realm (rule 3). 
+local MAX_PROFILE_STORES = 4
+--* @internal Networking's name limit, for profile message names (rule 2). 
+local MESSAGE_NAME_MAX_BYTES = 64
+--* @internal A field view's name is this, the store name, ".", and the field (rules 2, 125, 134). 
+local VIEW_NAME_PREFIX = "Crucible.Data."
+--* @internal The lifecycle view's name is this and the store name: at most 14 + 50 = 64 bytes (rules 2, 125, 134). 
+local LIVE_NAME_PREFIX = "Crucible.Live."
+--* @internal Networking's MESSAGE_NAME_MAX_BYTES (rules 2, 134). 
+local VIEW_NAME_MAX_BYTES = 64
+--* @internal Every profile store's views together: a third of each frame limit, divided per store at the seal (127). 
+local OWNER_VIEWS_MAX_BYTES = 65_536
+--* @internal 
+local OWNER_VIEWS_MAX_ENTRIES = 4_000
+--* @internal 
+local OWNER_VIEWS_MAX_VISITS = 16_000
+--* @internal The handle members, reserved as template keys (rules 116, 130). 
+local RESERVED_HANDLE_NAMES = { "set", "update", "insert", "remove" }
+--* @internal Persist admission (rules 14, 76). 
+local PERSIST_DEPTH = 28
+--* @internal 
+local PERSIST_STRING_BYTES = 65_536
+--* @internal 
+local PERSIST_ADMISSION_VISITS = 100_000
+--* @internal Shutdown against core's sweep (rules 50 to 56). 
+local FINAL_PHASE_SECONDS = 10
+--* @internal 
+local DISPATCH_CUTOFF_SECONDS = 1.5
+--* @internal 
+local SETTLE_MARGIN_SECONDS = 0.5
+--* @internal 
+local SHUTDOWN_FALLBACK_SECONDS = 2
+--* @internal Kick messages (rules 20, 26, 47, 77). 
+local LOAD_BUSY_MESSAGE = "Your save is still open in another server. Please rejoin in a minute."
+--* @internal 
+local LOAD_FAILED_MESSAGE = "Your data could not load. Please rejoin."
+--* @internal 
+local SESSION_ENDED_MESSAGE = "Your data session ended. Please rejoin."
+--* @internal 
+local SERVER_UPDATING_MESSAGE = "This server is updating to a newer version of the game. Please rejoin."
+--* @internal Rule 39: both sums stay below MAX_ENVELOPE_BYTES. 
+local PROFILE_SECTIONS_BYTES = ENVELOPE_HEADER_MAX_BYTES + PAYLOAD_MAX_BYTES + RECEIPTS_MAX_BYTES + INBOX_MAX_BYTES + QUARANTINE_MAX_BYTES + SEEN_MAX_BYTES
+--* @internal 
+local RECORD_SECTIONS_BYTES = ENVELOPE_HEADER_MAX_BYTES + RECORD_PAYLOAD_MAX_BYTES + OPERATIONS_MAX_BYTES
+return {
+	LEASE_SECONDS = LEASE_SECONDS,
+	LOCAL_AUTHORITY_SECONDS = LOCAL_AUTHORITY_SECONDS,
+	RENEW_INTERVAL_SECONDS = RENEW_INTERVAL_SECONDS,
+	RENEW_JITTER_SECONDS = RENEW_JITTER_SECONDS,
+	TAKEOVER_GRACE_SECONDS = TAKEOVER_GRACE_SECONDS,
+	CLOCK_ERROR_ASSUMED_SECONDS = CLOCK_ERROR_ASSUMED_SECONDS,
+	LOAD_DEADLINE_SECONDS = LOAD_DEADLINE_SECONDS,
+	LOAD_POLL_SCHEDULE_SECONDS = LOAD_POLL_SCHEDULE_SECONDS,
+	LOAD_POLL_JITTER = LOAD_POLL_JITTER,
+	LOAD_POLL_MIN_SECONDS = LOAD_POLL_MIN_SECONDS,
+	LEASE_CRITICAL_SECONDS = LEASE_CRITICAL_SECONDS,
+	SAVE_TIMEOUT_DEFAULT_SECONDS = SAVE_TIMEOUT_DEFAULT_SECONDS,
+	SAVE_TIMEOUT_MAX_SECONDS = SAVE_TIMEOUT_MAX_SECONDS,
+	HANDOFF_TIMEOUT_SECONDS = HANDOFF_TIMEOUT_SECONDS,
+	RECEIPT_SAVE_TIMEOUT_SECONDS = RECEIPT_SAVE_TIMEOUT_SECONDS,
+	CALL_DEADLINE_SECONDS = CALL_DEADLINE_SECONDS,
+	MAX_IN_FLIGHT = MAX_IN_FLIGHT,
+	RESERVED_SESSION_SLOTS = RESERVED_SESSION_SLOTS,
+	ORDINARY_MAX_IN_FLIGHT = ORDINARY_MAX_IN_FLIGHT,
+	MAX_PENDING_OPERATIONS = MAX_PENDING_OPERATIONS,
+	MAX_PENDING_PER_KEY = MAX_PENDING_PER_KEY,
+	BUDGET_RESERVE_FRACTION = BUDGET_RESERVE_FRACTION,
+	BUDGET_RESERVE_MIN = BUDGET_RESERVE_MIN,
+	ORDINARY_AGING_SECONDS = ORDINARY_AGING_SECONDS,
+	RETRY_BASE_SECONDS = RETRY_BASE_SECONDS,
+	RETRY_CAP_SECONDS = RETRY_CAP_SECONDS,
+	KEY_WRITE_BYTES_PER_MINUTE = KEY_WRITE_BYTES_PER_MINUTE,
+	KEY_READ_BYTES_PER_MINUTE = KEY_READ_BYTES_PER_MINUTE,
+	BUDGET_RECHECK_SECONDS = BUDGET_RECHECK_SECONDS,
+	MAX_ENVELOPE_BYTES = MAX_ENVELOPE_BYTES,
+	ENVELOPE_HEADER_MAX_BYTES = ENVELOPE_HEADER_MAX_BYTES,
+	PAYLOAD_MAX_BYTES = PAYLOAD_MAX_BYTES,
+	RECORD_PAYLOAD_MAX_BYTES = RECORD_PAYLOAD_MAX_BYTES,
+	OPERATIONS_MAX_BYTES = OPERATIONS_MAX_BYTES,
+	MAX_PURCHASE_IDS = MAX_PURCHASE_IDS,
+	RECEIPTS_MAX_BYTES = RECEIPTS_MAX_BYTES,
+	PURCHASE_ID_MAX_BYTES = PURCHASE_ID_MAX_BYTES,
+	INBOX_MAX_MESSAGES = INBOX_MAX_MESSAGES,
+	INBOX_MAX_BYTES = INBOX_MAX_BYTES,
+	QUARANTINE_MAX_MESSAGES = QUARANTINE_MAX_MESSAGES,
+	QUARANTINE_MAX_BYTES = QUARANTINE_MAX_BYTES,
+	MESSAGE_PAYLOAD_MAX_BYTES = MESSAGE_PAYLOAD_MAX_BYTES,
+	MESSAGE_ID_MAX_AGE_SECONDS = MESSAGE_ID_MAX_AGE_SECONDS,
+	ID_FUTURE_SKEW_SECONDS = ID_FUTURE_SKEW_SECONDS,
+	ID_EVICT_MIN_AGE_SECONDS = ID_EVICT_MIN_AGE_SECONDS,
+	OPERATION_ID_MAX_BYTES = OPERATION_ID_MAX_BYTES,
+	SEEN_MAX_MESSAGES = SEEN_MAX_MESSAGES,
+	SEEN_MAX_BYTES = SEEN_MAX_BYTES,
+	INBOX_RETRY_SECONDS = INBOX_RETRY_SECONDS,
+	INBOX_MAX_ATTEMPTS = INBOX_MAX_ATTEMPTS,
+	OPERATION_MARKERS_PER_KEY = OPERATION_MARKERS_PER_KEY,
+	OPERATION_ID_MAX_AGE_SECONDS = OPERATION_ID_MAX_AGE_SECONDS,
+	STORE_NAME_MAX_BYTES = STORE_NAME_MAX_BYTES,
+	MAX_DATA_DECLARATIONS = MAX_DATA_DECLARATIONS,
+	KEY_MAX_BYTES = KEY_MAX_BYTES,
+	MAX_PROFILE_STORES = MAX_PROFILE_STORES,
+	MESSAGE_NAME_MAX_BYTES = MESSAGE_NAME_MAX_BYTES,
+	VIEW_NAME_PREFIX = VIEW_NAME_PREFIX,
+	LIVE_NAME_PREFIX = LIVE_NAME_PREFIX,
+	VIEW_NAME_MAX_BYTES = VIEW_NAME_MAX_BYTES,
+	OWNER_VIEWS_MAX_BYTES = OWNER_VIEWS_MAX_BYTES,
+	OWNER_VIEWS_MAX_ENTRIES = OWNER_VIEWS_MAX_ENTRIES,
+	OWNER_VIEWS_MAX_VISITS = OWNER_VIEWS_MAX_VISITS,
+	RESERVED_HANDLE_NAMES = RESERVED_HANDLE_NAMES,
+	PERSIST_DEPTH = PERSIST_DEPTH,
+	PERSIST_STRING_BYTES = PERSIST_STRING_BYTES,
+	PERSIST_ADMISSION_VISITS = PERSIST_ADMISSION_VISITS,
+	FINAL_PHASE_SECONDS = FINAL_PHASE_SECONDS,
+	DISPATCH_CUTOFF_SECONDS = DISPATCH_CUTOFF_SECONDS,
+	SETTLE_MARGIN_SECONDS = SETTLE_MARGIN_SECONDS,
+	SHUTDOWN_FALLBACK_SECONDS = SHUTDOWN_FALLBACK_SECONDS,
+	LOAD_BUSY_MESSAGE = LOAD_BUSY_MESSAGE,
+	LOAD_FAILED_MESSAGE = LOAD_FAILED_MESSAGE,
+	SESSION_ENDED_MESSAGE = SESSION_ENDED_MESSAGE,
+	SERVER_UPDATING_MESSAGE = SERVER_UPDATING_MESSAGE,
+	PROFILE_SECTIONS_BYTES = PROFILE_SECTIONS_BYTES,
+	RECORD_SECTIONS_BYTES = RECORD_SECTIONS_BYTES,
+}

package/out/internal/data/messages.d.ts

@@ -0,0 +1 @@
+export {};

package/out/internal/data/messages.luau

@@ -0,0 +1,69 @@
+-- Compiled with roblox-ts v3.0.0
+local TS = _G[script]
+local admit = TS.import(script, script.Parent, "admission").admit
+local MESSAGE_NAME_MAX_BYTES = TS.import(script, script.Parent, "limits").MESSAGE_NAME_MAX_BYTES
+local dataRegistrySealed = TS.import(script, script.Parent, "record-declarations").dataRegistrySealed
+local byName = {}
+local byToken = setmetatable({}, {
+	__mode = "k",
+})
+--[[
+	*
+	 * @internal The emitted `profileMessage` (rules 2, 3, 65): the name re-checked, the payload admitted by rule 76 against
+	 * its descriptor, so a newer sender's added optional field stays in place unread. Shared-safe.
+	 
+]]
+local function declareProfileMessage(name, payload)
+	if #name == 0 or #name > MESSAGE_NAME_MAX_BYTES then
+		error(`{name}: a profile message name is 1 to {MESSAGE_NAME_MAX_BYTES} bytes`, 3)
+	end
+	local segments = string.split(name, ".")
+	for _, segment in segments do
+		if (string.match(segment, "^[A-Za-z][A-Za-z0-9_]*$")) == nil then
+			error(`{name}: a profile message name is dot-separated segments of letters, digits and underscores`, 3)
+		end
+	end
+	if segments[1] == "Crucible" then
+		error(`{name}: the name Crucible is reserved`, 3)
+	end
+	if dataRegistrySealed() then
+		error(`{name} was declared after the data registry sealed; declare messages in modules that boot loads`, 3)
+	end
+	local _name = name
+	if byName[_name] ~= nil then
+		error(`{name} is already declared`, 3)
+	end
+	local declaration = {
+		name = name,
+		admit = function(value)
+			local result = admit(payload, value)
+			return if result.ok then {
+				ok = true,
+				value = result.value,
+			} else {
+				ok = false,
+			}
+		end,
+	}
+	local token = table.freeze({})
+	local _name_1 = name
+	byName[_name_1] = declaration
+	byToken[token] = declaration
+	return token
+end
+--* @internal The declaration behind a `ProfileMessage` value, or undefined for anything else. 
+local function messageOf(token)
+	local _token = token
+	local _result
+	if type(_token) == "table" then
+		local _token_1 = token
+		_result = byToken[_token_1]
+	else
+		_result = nil
+	end
+	return _result
+end
+return {
+	declareProfileMessage = declareProfileMessage,
+	messageOf = messageOf,
+}

package/out/internal/data/operation-id.d.ts

@@ -0,0 +1 @@
+export {};

package/out/internal/data/operation-id.luau

@@ -0,0 +1,61 @@
+-- Compiled with roblox-ts v3.0.0
+local TS = _G[script]
+local _limits = TS.import(script, script.Parent, "limits")
+local ID_EVICT_MIN_AGE_SECONDS = _limits.ID_EVICT_MIN_AGE_SECONDS
+local ID_FUTURE_SKEW_SECONDS = _limits.ID_FUTURE_SKEW_SECONDS
+local DIGITS = "0123456789abcdefghijklmnopqrstuvwxyz"
+local function base36(value)
+	local rest = math.floor(value)
+	local text = ""
+	repeat
+		do
+			local digit = rest % 36
+			local _arg0 = digit + 1
+			local _arg1 = digit + 1
+			text = string.sub(DIGITS, _arg0, _arg1) .. text
+			rest = math.floor(rest / 36)
+		end
+	until not (rest > 0)
+	return text
+end
+--[[
+	*
+	 * @internal An operation id (rules 69, 88): "o1-", the creation second in base 36, "-", and the platform's GUID without
+	 * its dashes. It carries its own creation time, so the age and floor checks need no stored record.
+	 
+]]
+local function newOperationId(port)
+	local guid = string.gsub(string.lower(port.guid()), "[^%w]", "")
+	return `o1-{base36(port.wall())}-{guid}`
+end
+--* @internal The creation second of an id of this format, and undefined for any other text. 
+local function createdAt(id)
+	local seconds = string.match(id, "^o1%-([0-9a-z]+)%-[0-9a-z]+$")
+	return if seconds == nil then nil else tonumber(seconds, 36)
+end
+--* @internal 
+--* @internal Rule 69's horizon: at most `maxAgeSeconds` old and at most ID_FUTURE_SKEW_SECONDS ahead of `now`. 
+local function ageOf(id, now, maxAgeSeconds)
+	local created = createdAt(id)
+	if created == nil then
+		return "malformed"
+	end
+	if created > now + ID_FUTURE_SKEW_SECONDS then
+		return "future"
+	end
+	if now - created > maxAgeSeconds then
+		return "expired"
+	end
+	return "fresh"
+end
+--* @internal Whether a ring may evict this id at `now`: only once it is older than ID_EVICT_MIN_AGE_SECONDS (rule 69). 
+local function evictable(id, now)
+	local created = createdAt(id)
+	return created == nil or now - created > ID_EVICT_MIN_AGE_SECONDS
+end
+return {
+	newOperationId = newOperationId,
+	createdAt = createdAt,
+	ageOf = ageOf,
+	evictable = evictable,
+}

package/out/internal/data/paths.d.ts

@@ -0,0 +1,2 @@
+/** `{ "career", "a.b" }`, as rule 131's messages print a path. */
+export declare function showPath(path: readonly string[]): string;