Authority should be part of the backend program.

WHY RBE EXISTS

A runtime contract, not just another web framework.

REL keeps the programming model coherent while RELC and the Rust host decide what each source role may actually control. That makes authority visible before code reaches the live runtime.

SOURCE AUTHORITY

Same language. Deliberately different jobs.

The source extension is part of the security and runtime model. RELC uses it to decide what can be imported, how the program is linked, and which execution boundary owns it.

REAL REL EXAMPLES

See the boundary in code.

This is the normal application shape: an HTTP Route stays thin, a Module owns reusable application logic, and the Module calls a managed Service through the authenticated Service Fabric.

:import[module&users]

class Route {
	async get(req) {
		return users.findById(req.params.uid);
	}
}

:import[service:directory as directory]

export async function findById(uid) {
	return directory.find(uid);
}

:service[
	name = directory,
	mode = hybrid,
	restart = on-failure,
	memoryLimitMb = 256
]

export async function find(uid) {
	return { id: uid, source: "directory" };
}

server Main {
	status online;

	listener {
		host "0.0.0.0";
		port 7044;
	}

	env {
		APP_NAME "Kastrick API";
		REGION local;
	}

	middleware {
		correlationId;
		json { limit 2mb; strict true; }
		compression { algorithms [br, gzip]; threshold 1kb; }
		errorHandler;
	}
}

:import[quickDB]

class Usernames {
	const <= set => "bloom";
	const <= capacity => 100000000;
	const <= falsePositiveRate => 0.001;

	function available(name) {
		return Usernames.missing(name);
	}
}

export function usernameAvailable(name) {
	return Usernames.available(name);
}

RUNTIME SYSTEMS

The language sits on top of real runtime ownership.

RBE is not only a syntax layer. The Rust host owns immutable activation, managed processes, container boundaries, media jobs, recovery and Cloud Node storage behavior underneath REL.

CURRENT BOUNDARY

Document the runtime that exists, not the one we wish existed.