Reintegrate lexicon routes and joining

amanuensis/backend/lexicon.py

@@ -5,7 +5,8 @@ Lexicon query interface
 import re
 from typing import Sequence, Optional
 
-from sqlalchemy import select, func
+from sqlalchemy import select, func, update
+from werkzeug.security import generate_password_hash, check_password_hash
 
 from amanuensis.db import DbContext, Lexicon, Membership
 from amanuensis.errors import ArgumentError, BackendArgumentTypeError
@@ -72,6 +73,21 @@ def get_public(db: DbContext) -> Sequence[Lexicon]:
     return db(select(Lexicon).where(Lexicon.public == True)).scalars()
 
 
+def password_check(db: DbContext, lexicon_id: int, password: str) -> bool:
+    """Check if a password is correct."""
+    password_hash: str = db(
+        select(Lexicon.join_password).where(Lexicon.id == lexicon_id)
+    ).scalar_one()
+    return check_password_hash(password_hash, password)
+
+
+def password_set(db: DbContext, lexicon_id: int, new_password: Optional[str]) -> None:
+    """Set or clear a lexicon's password."""
+    password_hash = generate_password_hash(new_password) if new_password else None
+    db(update(Lexicon).where(Lexicon.id == lexicon_id).values(password=password_hash))
+    db.session.commit()
+
+
 def try_from_name(db: DbContext, name: str) -> Optional[Lexicon]:
     """Get a lexicon by its name, or None if no such lexicon was found."""
     return db(select(Lexicon).where(Lexicon.name == name)).scalar_one_or_none()

amanuensis/backend/membership.py

@@ -64,3 +64,12 @@ def create(
     db.session.add(new_membership)
     db.session.commit()
     return new_membership
+
+
+def try_from_ids(db: DbContext, user_id: int, lexicon_id: int) -> Membership:
+    """Get a membership by the user and lexicon ids, or None if no such membership was found."""
+    return db(
+        select(Membership)
+        .where(Membership.user_id == user_id)
+        .where(Membership.lexicon_id == lexicon_id)
+    ).scalar_one_or_none()

amanuensis/backend/user.py

@@ -76,13 +76,6 @@ def get_all(db: DbContext) -> Sequence[User]:
     return db(select(User)).scalars()
 
 
-def password_set(db: DbContext, username: str, new_password: str) -> None:
-    """Set a user's password."""
-    password_hash = generate_password_hash(new_password)
-    db(update(User).where(User.username == username).values(password=password_hash))
-    db.session.commit()
-
-
 def password_check(db: DbContext, username: str, password: str) -> bool:
     """Check if a password is correct."""
     user_password_hash: str = db(
@@ -91,6 +84,13 @@ def password_check(db: DbContext, username: str, password: str) -> bool:
     return check_password_hash(user_password_hash, password)
 
 
+def password_set(db: DbContext, username: str, new_password: str) -> None:
+    """Set a user's password."""
+    password_hash = generate_password_hash(new_password)
+    db(update(User).where(User.username == username).values(password=password_hash))
+    db.session.commit()
+
+
 def try_from_id(db: DbContext, user_id: int) -> Optional[User]:
     """Get a user by the user's id, or None is no such user was found."""
     return db(select(User).where(User.id == user_id)).scalar_one_or_none()

amanuensis/lexicon/setup.py

@@ -11,58 +11,6 @@ from amanuensis.models import LexiconModel, UserModel
 from amanuensis.resources import get_stream
 
 
-def player_can_join_lexicon(
-	player: UserModel,
-	lexicon: LexiconModel,
-	password: str = None) -> bool:
-	"""
-	Checks whether the given player can join a lexicon
-	"""
-	# Trivial failures
-	if lexicon is None:
-		return False
-	if player is None:
-		return False
-	# Can't join if already in the game
-	if player.uid in lexicon.cfg.join.joined:
-		return False
-	# Can't join if the game is closed
-	if not lexicon.cfg.join.open:
-		return False
-	# Can't join if there's no room left
-	if len(lexicon.cfg.join.joined) >= lexicon.cfg.join.max_players:
-		return False
-	# Can't join if the password doesn't check out
-	if (lexicon.cfg.join.password is not None
-		and lexicon.cfg.join.password != password):
-		return False
-	return True
-
-
-def add_player_to_lexicon(
-	player: UserModel,
-	lexicon: LexiconModel) -> None:
-	"""
-	Unconditionally adds a player to a lexicon
-	"""
-	# Verify arguments
-	if lexicon is None:
-		raise ArgumentError(f'Invalid lexicon: {lexicon}')
-	if player is None:
-		raise ArgumentError(f'Invalid player: {player}')
-
-	# Idempotently add player
-	added = False
-	with lexicon.ctx.edit_config() as cfg:
-		if player.uid not in cfg.join.joined:
-			cfg.join.joined.append(player.uid)
-			added = True
-
-	# Log to the lexicon's log
-	if added:
-		lexicon.log('Player "{0.cfg.username}" joined ({0.uid})'.format(player))
-
-
 def player_can_create_character(
 	player: UserModel,
 	lexicon: LexiconModel,

amanuensis/server/__init__.py

@@ -2,7 +2,7 @@ from datetime import datetime, timezone
 import json
 import os
 
-from flask import Flask, g, url_for
+from flask import Flask, g, url_for, redirect
 
 from amanuensis.backend import lexiq, userq, memq
 from amanuensis.config import AmanuensisConfig, CommandLineConfig
@@ -10,6 +10,7 @@ from amanuensis.db import DbContext
 from amanuensis.parser import filesafe_title
 import amanuensis.server.auth as auth
 import amanuensis.server.home as home
+import amanuensis.server.lexicon as lexicon
 
 
 def date_format(dt: datetime, formatstr="%Y-%m-%d %H:%M:%S%z") -> str:
@@ -80,11 +81,13 @@ def get_app(
     # Register blueprints
     app.register_blueprint(auth.bp)
     app.register_blueprint(home.bp)
+    app.register_blueprint(lexicon.bp)
 
-    def test():
+    # Add a root redirect
-        return "Hello, world!"
+    def root():
+        return redirect(url_for("home.home"))
 
-    app.route("/")(test)
+    app.route("/")(root)
 
     return app
 

amanuensis/server/helpers.py

@@ -1,107 +1,95 @@
-# Standard library imports
-from datetime import datetime
 from functools import wraps
+from typing import Optional
 
-# Third party imports
+from flask import g, flash, redirect, url_for
-from flask import g, flash, redirect, url_for, current_app
 from flask_login import current_user
 
-# Module imports
+from amanuensis.backend import lexiq, memq
-from amanuensis.parser import filesafe_title
+from amanuensis.db import DbContext, Lexicon, User, Membership
-from amanuensis.models import ModelFactory, UserModel, LexiconModel
-
-
-def register_custom_filters(app):
-	"""Adds custom filters to the Flask app"""
-
-	@app.template_filter("user_attr")
-	def get_user_attr(uid, attr):
-		factory: ModelFactory = current_app.config['model_factory']
-		user: UserModel = factory.user(uid)
-		val = getattr(user.cfg, attr)
-		return val
-
-	@app.template_filter("articlelink")
-	def article_link(title):
-		return url_for(
-			'lexicon.article',
-			name=g.lexicon.cfg.name,
-			title=filesafe_title(title))
-
-	@app.context_processor
-	def lexicon_status():
-		return dict(
-			PREGAME=LexiconModel.PREGAME,
-			ONGOING=LexiconModel.ONGOING,
-			COMPLETE=LexiconModel.COMPLETE)
 
 
 def lexicon_param(route):
-	"""Wrapper for loading a route's lexicon"""
+    """
-	@wraps(route)
+    Wrapper for loading a route's lexicon to `g`.
-	def with_lexicon(**kwargs):
+    This decorator should be applied above any other decorators that reference `g.lexicon`.
-		name = kwargs.get('name')
+    """
-		model_factory: ModelFactory = current_app.config['model_factory']
+    @wraps(route)
-		g.lexicon = model_factory.lexicon(name)
+    def with_lexicon(*args, **kwargs):
-		if g.lexicon is None:
+        db: DbContext = g.db
-			flash(f'Couldn\'t find a lexicon with the name "{name}"')
+        name: str = kwargs.get('name')
-			return redirect(url_for("home.home"))
+        lexicon: Optional[Lexicon] = lexiq.try_from_name(db, name)
-		return route(**kwargs)
+        if lexicon is None:
-	return with_lexicon
+            flash(f"Couldn't find a lexicon with the name \"{name}\"")
+            return redirect(url_for("home.home"))
+        g.lexicon = lexicon
+        return route(*args, **kwargs)
+    return with_lexicon
 
 
 def admin_required(route):
-	"""
+    """
-	Requires the user to be an admin to load this page
+    Restricts a route to users who are site admins.
-	"""
+    """
-	@wraps(route)
+    @wraps(route)
-	def admin_route(*args, **kwargs):
+    def admin_route(*args, **kwargs):
-		if not current_user.cfg.is_admin:
+        user: User = current_user
-			flash("You must be an admin to view this page")
+        if not user.is_site_admin:
-			return redirect(url_for('home.home'))
+            flash("You must be an admin to view this page")
-		return route(*args, **kwargs)
+            return redirect(url_for('home.home'))
-	return admin_route
+        return route(*args, **kwargs)
+    return admin_route
 
 
 def player_required(route):
-	"""
+    """
-	Requires the user to be a player in the lexicon to load this page
+    Restricts a route to users who are players in the current lexicon.
-	"""
+    """
-	@wraps(route)
+    @wraps(route)
-	def player_route(*args, **kwargs):
+    def player_route(*args, **kwargs):
-		if current_user.uid not in g.lexicon.cfg.join.joined:
+        db: DbContext = g.db
-			flash("You must be a player to view this page")
+        user: User = current_user
-			return (redirect(url_for('lexicon.contents', name=g.lexicon.cfg.name))
+        lexicon: Lexicon = g.lexicon
-				if g.lexicon.cfg.join.public
+        mem: Optional[Membership] = memq.try_from_ids(db, user.id, lexicon.id)
-				else redirect(url_for('home.home')))
+        if not mem:
-		return route(*args, **kwargs)
+            flash("You must be a player to view this page")
-	return player_route
+            if lexicon.public:
+                return redirect(url_for('lexicon.contents', name=lexicon.name))
+            else:
+                return redirect(url_for('home.home'))
+        return route(*args, **kwargs)
+    return player_route
 
 
 def player_required_if_not_public(route):
-	"""
+    """
-	Requires the user to be a player in the lexicon to load this page if the
+    Restricts a route to users who are players in the current lexicon if the lexicon is nonpublic.
-	lexicon has join.public = false
+    """
-	"""
+    @wraps(route)
-	@wraps(route)
+    def player_route(*args, **kwargs):
-	def player_route(*args, **kwargs):
+        db: DbContext = g.db
-		if ((not g.lexicon.cfg.join.public)
+        user: User = current_user
-				and current_user.uid not in g.lexicon.cfg.join.joined):
+        lexicon: Lexicon = g.lexicon
-			flash("You must be a player to view this page")
+        if not lexicon.public:
-			return redirect(url_for('home.home'))
+            mem: Optional[Membership] = memq.try_from_ids(db, user.id, lexicon.id)
-		return route(*args, **kwargs)
+            if not mem:
-	return player_route
+                flash("You must be a player to view this page")
+                return redirect(url_for('home.home'))
+        return route(*args, **kwargs)
+    return player_route
 
 
 def editor_required(route):
-	"""
+    """
-	Requires the user to be the editor of the current lexicon to load this
+    Restricts a route to users who are editors of the current lexicon.
-	page
+    """
-	"""
+    @wraps(route)
-	@wraps(route)
+    def editor_route(*args, **kwargs):
-	def editor_route(*args, **kwargs):
+        db: DbContext = g.db
-		if current_user.uid != g.lexicon.cfg.editor:
+        user: User = current_user
-			flash("You must be the editor to view this page")
+        lexicon: Lexicon = g.lexicon
-			return redirect(url_for('lexicon.contents', name=g.lexicon.cfg.name))
+        mem: Optional[Membership] = memq.try_from_ids(db, user.id, lexicon.id)
-		return route(*args, **kwargs)
+        if not mem.is_editor:
-	return editor_route
+            flash("You must be the editor to view this page")
+            return redirect(url_for('lexicon.contents', name=lexicon.name))
+        return route(*args, **kwargs)
+    return editor_route

amanuensis/server/lexicon.jinja

@@ -1,44 +1,44 @@
 {% extends "page_2col.jinja" %}
-{% set lexicon_title = g.lexicon.title %}
+{% set lexicon_title = g.lexicon.full_title %}
 
 {% block header %}
 <h2>{{ lexicon_title }}</h2>
-<p><i>{{ g.lexicon.cfg.prompt }}</i></p>
+<p><i>{{ g.lexicon.prompt }}</i></p>
 {% endblock %}
 
 {% block sb_logo %}{% endblock %}
 {% block sb_home %}<a href="{{ url_for('home.home') }}">Home</a>
 {% endblock %}
 {% block sb_contents %}<a 
-	{% if current_page == "contents" %}class="current-page"
+    {% if current_page == "contents" %}class="current-page"
-	{% else %}href="{{ url_for('lexicon.contents', name=g.lexicon.cfg.name) }}"
+    {% else %}href="{{ url_for('lexicon.contents', name=g.lexicon.name) }}"
-	{% endif %}>Contents</a>{% endblock %}
+    {% endif %}>Contents</a>{% endblock %}
 {% block sb_rules %}<a 
-	{% if current_page == "rules" %}class="current-page"
+    {% if current_page == "rules" %}class="current-page"
-	{% else %}href="{{ url_for('lexicon.rules', name=g.lexicon.cfg.name) }}"
+    {% else %}href="{{ url_for('lexicon.rules', name=g.lexicon.name) }}"
-	{% endif %}>Rules</a>{% endblock %}
+    {% endif %}>Rules</a>{% endblock %}
 {% block sb_session %}<a 
-	{% if current_page == "session" %}class="current-page"
+    {% if current_page == "session" %}class="current-page"
-	{% else %}href="{{ url_for('session.session', name=g.lexicon.cfg.name) }}"
+    {% else %}href="#{#{ url_for('session.session', name=g.lexicon.name) }#}"
-	{% endif %}>Session</a>{% endblock %}
+    {% endif %}>Session</a>{% endblock %}
 {% block sb_stats %}<a 
-	{% if current_page == "statistics" %}class="current-page"
+    {% if current_page == "statistics" %}class="current-page"
-	{% else %}href="{{ url_for('lexicon.stats', name=g.lexicon.cfg.name) }}"
+    {% else %}href="{{ url_for('lexicon.stats', name=g.lexicon.name) }}"
-	{% endif %}>Statistics</a>{% endblock %}
+    {% endif %}>Statistics</a>{% endblock %}
 
-{% if current_user.uid in g.lexicon.cfg.join.joined %}
+{% if current_user.is_authenticated and memq.try_from_ids(g.db, current_user.id, g.lexicon.id) %}
-	{# self.sb_logo(), #}
+    {# self.sb_logo(), #}
 {% set template_sidebar_rows = [
-	self.sb_home(),
+    self.sb_home(),
-	self.sb_contents(),
+    self.sb_contents(),
-	self.sb_rules(),
+    self.sb_rules(),
-	self.sb_session(),
+    self.sb_session(),
-	self.sb_stats()] %}
+    self.sb_stats()] %}
 {% else %}
-	{# self.sb_logo(), #}
+    {# self.sb_logo(), #}
 {% set template_sidebar_rows = [
-	self.sb_home(),
+    self.sb_home(),
-	self.sb_contents(),
+    self.sb_contents(),
-	self.sb_rules(),
+    self.sb_rules(),
-	self.sb_stats()] %}
+    self.sb_stats()] %}
 {% endif %}

amanuensis/server/lexicon/__init__.py

@@ -1,96 +1,82 @@
-from flask import (
+from flask import Blueprint, flash, redirect, url_for, g, render_template, Markup
-	Blueprint,
-	flash,
-	redirect,
-	url_for,
-	g,
-	render_template,
-	Markup)
 from flask_login import login_required, current_user
 
-from amanuensis.lexicon import (
+from amanuensis.backend import lexiq, memq
-	player_can_join_lexicon,
+from amanuensis.db import DbContext, Lexicon, User
-	add_player_to_lexicon,
+from amanuensis.errors import ArgumentError
-	sort_by_index_spec)
+from amanuensis.server.helpers import lexicon_param, player_required_if_not_public
-from amanuensis.models import LexiconModel
-from amanuensis.server.helpers import (
-	lexicon_param,
-	player_required_if_not_public)
 
 from .forms import LexiconJoinForm
 
 
-bp_lexicon = Blueprint('lexicon', __name__,
+bp = Blueprint("lexicon", __name__, url_prefix="/lexicon/<name>", template_folder=".")
-	url_prefix='/lexicon/<name>',
-	template_folder='.')
 
 
-@bp_lexicon.route("/join/", methods=['GET', 'POST'])
+@bp.route("/join/", methods=["GET", "POST"])
 @lexicon_param
 @login_required
 def join(name):
-	if g.lexicon.status != LexiconModel.PREGAME:
+    lexicon: Lexicon = g.lexicon
-		flash("Can't join a game already in progress")
+    if not lexicon.joinable:
-		return redirect(url_for('home.home'))
+        flash("This game isn't open for joining")
+        return redirect(url_for("home.home"))
 
-	if not g.lexicon.cfg.join.open:
+    form = LexiconJoinForm()
-		flash("This game isn't open for joining")
-		return redirect(url_for('home.home'))
 
-	form = LexiconJoinForm()
+    if not form.validate_on_submit():
+        # GET or POST with invalid form data
+        return render_template("lexicon.join.jinja", form=form)
 
-	if not form.validate_on_submit():
+    # POST with valid data
-		# GET or POST with invalid form data
+    # If the game is passworded, check password
-		return render_template('lexicon.join.jinja', form=form)
+    db: DbContext = g.db
+    if lexicon.join_password and not lexiq.password_check(
+        db, lexicon.id, form.password.data
+    ):
+        # Bad creds, try again
+        flash("Incorrect password")
+        return redirect(url_for("lexicon.join", name=name))
 
-	# POST with valid data
+    # If the password was correct, check if the user can join
-	# If the game is passworded, check password
+    user: User = current_user
-	if (g.lexicon.cfg.join.password
+    try:
-		and form.password.data != g.lexicon.cfg.join.password):
+        memq.create(db, user.id, lexicon.id, is_editor=False)
-		# Bad creds, try again
+        return redirect(url_for("session.session", name=name))
-		flash('Incorrect password')
+    except ArgumentError:
-		return redirect(url_for('lexicon.join', name=name))
+        flash("Could not join game")
-	# If the password was correct, check if the user can join
+        return redirect(url_for("home.home", name=name))
-	if player_can_join_lexicon(current_user, g.lexicon, form.password.data):
-		add_player_to_lexicon(current_user, g.lexicon)
-		return redirect(url_for('session.session', name=name))
-	else:
-		flash('Could not join game')
-		return redirect(url_for('home.home', name=name))
 
 
-@bp_lexicon.route('/contents/', methods=['GET'])
+@bp.get("/contents/")
 @lexicon_param
 @player_required_if_not_public
 def contents(name):
-	with g.lexicon.ctx.read('info') as info:
+    # indexed = sort_by_index_spec(info, g.lexicon.cfg.article.index.list)
-		indexed = sort_by_index_spec(info, g.lexicon.cfg.article.index.list)
+    # for articles in indexed.values():
-		for articles in indexed.values():
+    #     for i in range(len(articles)):
-			for i in range(len(articles)):
+    #         articles[i] = {
-				articles[i] = {
+    #             'title': articles[i],
-					'title': articles[i],
+    #             **info.get(articles[i])}
-					**info.get(articles[i])}
+    return render_template("lexicon.contents.jinja")
-		return render_template('lexicon.contents.jinja', indexed=indexed)
 
 
-@bp_lexicon.route('/article/<title>')
+@bp.get("/article/<title>")
 @lexicon_param
 @player_required_if_not_public
 def article(name, title):
-	with g.lexicon.ctx.article.read(title) as a:
+    # article = {**a, 'html': Markup(a['html'])}
-		article = {**a, 'html': Markup(a['html'])}
+    return render_template("lexicon.article.jinja")
-		return render_template('lexicon.article.jinja', article=article)
 
 
-@bp_lexicon.route('/rules/', methods=['GET'])
+@bp.get("/rules/")
 @lexicon_param
 @player_required_if_not_public
 def rules(name):
-	return render_template('lexicon.rules.jinja')
+    return render_template("lexicon.rules.jinja")
 
 
-@bp_lexicon.route('/statistics/', methods=['GET'])
+@bp.get("/statistics/")
 @lexicon_param
 @player_required_if_not_public
 def stats(name):
-	return render_template('lexicon.statistics.jinja')
+    return render_template("lexicon.statistics.jinja")

amanuensis/server/lexicon/forms.py

@@ -3,6 +3,7 @@ from wtforms import StringField, SubmitField
 
 
 class LexiconJoinForm(FlaskForm):
-	"""/lexicon/<name>/join/"""
+    """/lexicon/<name>/join/"""
-	password = StringField('Password')
+
-	submit = SubmitField('Submit')
+    password = StringField("Password")
+    submit = SubmitField("Submit")

amanuensis/server/lexicon/lexicon.article.jinja

@@ -14,14 +14,14 @@
 
 {% block citations %}
 <p>
-	{% for citation in article.cites %}
+    {% for citation in article.cites %}
-	<a href="{{ citation|articlelink }}">{{ citation }}</a>{% if not loop.last %} / {% endif %}
+    <a href="{{ citation|articlelink }}">{{ citation }}</a>{% if not loop.last %} / {% endif %}
-	{% endfor %}
+    {% endfor %}
 </p>
 <p>
-	{% for citation in article.citedby %}
+    {% for citation in article.citedby %}
-	<a href="{{ citation|articlelink }}">{{ citation }}</a>{% if not loop.last %} / {% endif %}
+    <a href="{{ citation|articlelink }}">{{ citation }}</a>{% if not loop.last %} / {% endif %}
-	{% endfor %}
+    {% endfor %}
 </p>
 {% endblock %}
 

amanuensis/server/lexicon/lexicon.contents.jinja

@@ -14,7 +14,7 @@
 <ul>
 {% for article in indexed[index] %}
 <li><a href="{{ article.title|articlelink }}" class="{{ 'phantom' if not article.character else '' }}">
-	{{ article.title }}
+    {{ article.title }}
 </a></li>
 {% endfor %}
 </ul>

amanuensis/server/lexicon/lexicon.join.jinja

@@ -1,14 +1,16 @@
 {% extends "lexicon.jinja" %}
-{% block title %}Join | {{ lexicon_title }}{% endblock %}
+{% block title %}Join | {{ g.lexicon.full_title }}{% endblock %}
 
 {% block main %}
 
 <form id="lexicon-join" action="" method="post" novalidate>
-	{{ form.hidden_tag() }}
+    {{ form.hidden_tag() }}
-	{% if g.lexicon.cfg.join.password %}
+    {% if g.lexicon.join_password %}
-	<p>{{ form.password.label }}<br>{{ form.password(size=32) }}</p>
+    <p>{{ form.password.label }}<br>{{ form.password(size=32) }}</p>
-	{% endif %}
+    {% else %}
-	<p>{{ form.submit() }}</p>
+    <p>Join {{ g.lexicon.full_title }}?</p>
+    {% endif %}
+    <p>{{ form.submit() }}</p>
 </form>
 
 {% for message in get_flashed_messages() %}

amanuensis/server/macros.jinja

@@ -3,7 +3,7 @@
 <div class="dashboard-lexicon-item dashboard-lexicon-{{ status }}">
     <p>
         <span class="dashboard-lexicon-item-title">
-            <a href="#{#{ url_for('lexicon.contents', name=lexicon.cfg.name) }#}">{{ lexicon.full_title }}</a>
+            <a href="{{ url_for('lexicon.contents', name=lexicon.name) }}">{{ lexicon.full_title }}</a>
         </span>
         [{{ status.capitalize() }}]
     </p>
@@ -29,7 +29,7 @@
         Players: {{ lexicon.memberships|count }}{% if lexicon.player_limit is not none %} / {{ lexicon.player_limit }}{% endif -%}
         {%-
             if lexicon.public and lexicon.joinable
-        %} / <a href="#{#{ url_for('lexicon.join', name=lexicon.cfg.name) }#}">Join game</a>
+        %} / <a href="{{ url_for('lexicon.join', name=lexicon.name) }}">Join game</a>
         {%- endif -%}
         {%- endif -%}
     </p>

mypy.ini

@@ -1,4 +1,4 @@
 [mypy]
 ignore_missing_imports = true
-exclude = "|amanuensis/lexicon/.*|amanuensis/server/.*|amanuensis/server/lexicon/.*|amanuensis/server/session/.*|"
+exclude = "|amanuensis/lexicon/.*|amanuensis/server/.*|amanuensis/server/session/.*|"
 ; mypy stable doesn't support pyproject.toml yet

pyproject.toml

@@ -22,11 +22,11 @@ amanuensis-cli = "amanuensis.cli:main"
 amanuensis-server = "amanuensis.server:run"
 
 [tool.black]
-extend-exclude = "^/amanuensis/lexicon/.*|^/amanuensis/server/[^/]*py|^/amanuensis/server/lexicon/.*|^/amanuensis/server/session/.*|"
+extend-exclude = "^/amanuensis/lexicon/.*|^/amanuensis/server/[^/]*py|^/amanuensis/server/session/.*|"
 
 [tool.mypy]
 ignore_missing_imports = true
-exclude = "|amanuensis/lexicon/.*|amanuensis/server/.*|amanuensis/server/lexicon/.*|amanuensis/server/session/.*|"
+exclude = "|amanuensis/lexicon/.*|amanuensis/server/.*|amanuensis/server/session/.*|"
 
 [tool.pytest.ini_options]
 addopts = "--show-capture=log"