Dave Jarvis' Repositories
git clone https://repo.autonoma.ca/repo/delibero.git
Added manual, more chapters, and changed system name.
| Author | Dave Jarvis <email> |
|---|---|
| Date | 2014-08-06 14:06:04 GMT-0700 |
| Commit | b35b4f3784a7c33b6abc3212a7cb3aade0b580b1 |
| Parent | 3f2b24b |
xml/common.xsl
| <head> | ||
| <meta charset="utf-8" /> | ||
| - <title>World Policies: rational, moderated, transparent deliberation</title> | ||
| + <title>Liberum Consilium: moderated, transparent deliberation</title> | ||
| <link rel="stylesheet" type="text/css" |
xml/tex/.gitignore
| manual.blg | ||
| manual.log | ||
| -manual.pdf | ||
| manual.tuc | ||
| account.xml.vimout |
xml/tex/ch-00.tex
| +\startchapter[title={Introduction}] | ||
| + \WPquote{People unwilling to govern themselves will be ruled by those | ||
| + deemed unfit to govern.}{Plato}{The Republic} | ||
| + | ||
| + \startsection[title={Purpose}] | ||
| + \WPname{} is a crowd-sourced system for moderated deliberation | ||
| + to achieve group consensus on proposals. | ||
| + \stopsection | ||
| + | ||
| + \startsection[title={Reputation}] | ||
| + Site features (e.g., proposing policies, editing existing pages, | ||
| + and submitting debate points) are unlocked when a person has | ||
| + sufficient reputation. Reputation can be attained by graduating | ||
| + from an accredited University, proposing sound arguments, making | ||
| + acceptable edits, and more. | ||
| + \stopsection | ||
| + | ||
| + \startsection[title={Voting}] | ||
| + Prior to voting, voters must communicate their intent to participate | ||
| + with a Registration Authority (RA). The RA provides the voter with | ||
| + a unique token. The voter votes using the token; the token is given | ||
| + to the party in charge of vote tabulation. | ||
| + | ||
| + The goals include correctness, verifiability, and anonymity. | ||
| + | ||
| + \startsubsection[title=Correctness] | ||
| + A voting system is deemed correct if: | ||
| + | ||
| + \startitemize | ||
| + \startitem | ||
| + only voters who have registered with the RA may vote; | ||
| + \stopitem | ||
| + \startitem | ||
| + voters cannot vote multiple times on an item; | ||
| + \stopitem | ||
| + \startitem | ||
| + voters cannot replace votes; | ||
| + \stopitem | ||
| + \startitem | ||
| + voters may change how they voted on an item; and | ||
| + \stopitem | ||
| + \startitem | ||
| + third-parties cannot change the tabulation outcome. | ||
| + \stopitem | ||
| + \stopitemize | ||
| + | ||
| + \stopsubsection | ||
| + | ||
| + \startsubsection[title=Verifiability] | ||
| + Election verifiability allows voters and observers to verify that | ||
| + the election outcome corresponds to the votes legitimately cast. | ||
| + Multiple types of verifiability can be distinguished, including:\cite[kremer@verify] | ||
| + | ||
| + \startitemize | ||
| + \startitem | ||
| + \bold{Individual.} Voters can verify that their votes are | ||
| + part of the tally and are counted in the final result. | ||
| + \stopitem | ||
| + \startitem | ||
| + \bold{Universal.} Anyone can verify that all votes have been | ||
| + tallied correctly, and voters can verify that their votes are | ||
| + included. | ||
| + \stopitem | ||
| + \startitem | ||
| + \bold{Eligible.} Anyone can verify that every vote for a | ||
| + particular outcome was cast by a registered voter, at most | ||
| + one vote per voter, and voters can verify their own votes | ||
| + are legitimate. | ||
| + \stopitem | ||
| + \stopitemize | ||
| + \stopsubsection | ||
| + | ||
| + \startsubsection[title=Anonymity] | ||
| + Electronic voting systems should enable {\it{privacy}}, | ||
| + {\it{coercion-resistance}} and {\it{receipt-freeness}}.\cite[delaune@coercion] | ||
| + | ||
| + \startitemize | ||
| + \startitem | ||
| + \bold{Privacy.} Votes must remain private, even when a third-party can view | ||
| + all system data, communications, and source code. | ||
| + \stopitem | ||
| + \startitem | ||
| + \bold{Coercion-resistance.} Voters cannot cooperate with a | ||
| + coercer to prove their vote's directionality (i.e., | ||
| + {\it{for}} or {\it{against}}). | ||
| + \stopitem | ||
| + \startitem | ||
| + \bold{Receipt-freeness.} Voters must not receive any | ||
| + information (a receipt) that can prove the vote's | ||
| + directionality to a coercer. | ||
| + \stopitem | ||
| + \stopitemize | ||
| + | ||
| + \stopsubsection | ||
| + | ||
| + \stopsection | ||
| + | ||
| +\stopchapter | ||
xml/tex/ch-01.tex
| -\startchapter[title={Introduction}] | ||
| +\startchapter[title={Moderation}] | ||
| \WPquote{People unwilling to govern themselves will be ruled by those | ||
| deemed unfit to govern.}{Plato}{The Republic} | ||
| - | ||
| - \startsection[title={Purpose}] | ||
| - World Policies is a crowd-sourced system for moderated deliberation | ||
| - to achieve group consensus on proposals. | ||
| - \stopsection | ||
| - \startsection[title={Reputation}] | ||
| - Site features (e.g., proposing policies, editing existing pages, | ||
| - and submitting debate points) are unlocked when a person has | ||
| - sufficient reputation. Reputation can be attained by graduating | ||
| - from an accredited University, proposing sound arguments, making | ||
| - acceptable edits, and more. | ||
| - \stopsection | ||
| - | ||
| - \startsection[title={Moderation}] | ||
| - Irrelevant content is filtered using a moderation system. | ||
| - Moderators are selected randomly from the population of people using | ||
| - the site. People are moderators for a limited amount of time | ||
| - (e.g., from a 24-hour period up to 30 days; the duration is randomly assigned). This helps to ensure that all content is fairly and equally assessed. | ||
| - \stopsection | ||
| - | ||
| - \startsection[title={Voting}] | ||
| - Prior to voting, voters must communicate their intent to participate | ||
| - with a Registration Authority (RA). The RA provides the voter with | ||
| - a unique token. The voter votes using the token; the token is given | ||
| - to the party in charge of vote tabulation. | ||
| - | ||
| - The goals include correctness, verifiability, and anonymity. | ||
| - | ||
| - \startsubsection[title=Correctness] | ||
| - A voting system is deemed correct if: | ||
| - | ||
| - \startitemize | ||
| - \startitem | ||
| - only voters who have registered with the RA may vote; | ||
| - \stopitem | ||
| - \startitem | ||
| - voters cannot vote multiple times on an item; | ||
| - \stopitem | ||
| - \startitem | ||
| - voters cannot replace votes; | ||
| - \stopitem | ||
| - \startitem | ||
| - voters may change how they voted on an item; and | ||
| - \stopitem | ||
| - \startitem | ||
| - third-parties cannot change the tabulation outcome. | ||
| - \stopitem | ||
| - \stopitemize | ||
| - | ||
| - \stopsubsection | ||
| - | ||
| - \startsubsection[title=Verifiability] | ||
| - Election verifiability allows voters and observers to verify that | ||
| - the election outcome corresponds to the votes legitimately cast. | ||
| - Multiple types of verifiability can be distinguished, including:\cite[kremer@verify] | ||
| - | ||
| - \startitemize | ||
| - \startitem | ||
| - \bold{Individual.} Voters can verify that their votes are | ||
| - part of the tally and are counted in the final result. | ||
| - \stopitem | ||
| - \startitem | ||
| - \bold{Universal.} Anyone can verify that all votes have been | ||
| - tallied correctly, and voters can verify that their votes are | ||
| - included. | ||
| - \stopitem | ||
| - \startitem | ||
| - \bold{Eligible.} Anyone can verify that every vote for a | ||
| - particular outcome was cast by a registered voter, at most | ||
| - one vote per voter, and voters can verify their own votes | ||
| - are legitimate. | ||
| - \stopitem | ||
| - \stopitemize | ||
| - \stopsubsection | ||
| - | ||
| - \startsubsection[title=Anonymity] | ||
| - Electronic voting systems should enable {\it{privacy}}, | ||
| - {\it{coercion-resistance}} and {\it{receipt-freeness}}.\cite[delaune@coercion] | ||
| - | ||
| - \startitemize | ||
| - \startitem | ||
| - \bold{Privacy.} Votes must remain private, even when a third-party can view | ||
| - all system data, communications, and source code. | ||
| - \stopitem | ||
| - \startitem | ||
| - \bold{Coercion-resistance.} Voters cannot cooperate with a | ||
| - coercer to prove their vote's directionality (i.e., | ||
| - {\it{for}} or {\it{against}}). | ||
| - \stopitem | ||
| - \startitem | ||
| - \bold{Receipt-freeness.} Voters must not receive any | ||
| - information (a receipt) that can prove the vote's | ||
| - directionality to a coercer. | ||
| - \stopitem | ||
| - \stopitemize | ||
| - | ||
| - \stopsubsection | ||
| - | ||
| - \stopsection | ||
| - | ||
| \stopchapter | ||
xml/tex/ch-02.tex
| {Robert David Steele}{The Open-Source Everything Manifesto: | ||
| Transparency, Truth, and Trust} | ||
| + | ||
| + \startsection[title={\WPintro{}}] | ||
| + The home page is the system entry point for all users. The page | ||
| + lists links to proposals that match the users' interests. The | ||
| + proposals can include: | ||
| + \startitemize | ||
| + \startitem | ||
| + ideas to improve commercial products based on customer feedback; | ||
| + \stopitem | ||
| + \startitem | ||
| + | ||
| + \stopitem | ||
| + \stopitemize | ||
| + \stopsection | ||
| \startsection[title={\WPui{}}] |
xml/tex/constants.tex
| \define\WPui{User Interface} | ||
| +\define\WPintro{Purpose} | ||
| +\define\WPname{Līberum Cōnsilium} | ||
| + | ||
| \define[3]\WPquote{% | ||
| \quotation{#1} |
xml/tex/cover.png
Binary files differ
xml/tex/manual.pdf
Binary files differ
xml/tex/manual.tex
| \setuppapersize[letter] | ||
| -\usemodule[vim] | ||
| -\definevimtyping[XML][ | ||
| - syntax=xml, | ||
| - strip=yes, | ||
| - lines=split,] | ||
| -\definevimtyping[XSL][ | ||
| - syntax=xslt, | ||
| - strip=yes, | ||
| - lines=split,] | ||
| -\definevimtyping[CSS][ | ||
| - syntax=css, | ||
| - strip=yes, | ||
| - lines=split,] | ||
| - | ||
| +\input modules.tex | ||
| \input constants.tex | ||
| \input style.tex | ||
| \starttext | ||
| \startfrontmatter | ||
| - \startmakeup[standard] | ||
| - \stopmakeup | ||
| - | ||
| - \switchtobodyfont[ChapterFont]{Table of Contents} | ||
| + \startstandardmakeup[background=cover] | ||
| + \scale[maxwidth=\textwidth]{ | ||
| + \color[white]{\WPChapterFont{\WPname{}}} | ||
| + } | ||
| + \vfill{} | ||
| + A system design for moderated deliberation. | ||
| + \stopstandardmakeup | ||
| + | ||
| + {\WPChapterFont{Contents}} | ||
| \placecontent | ||
| % dedication, preface, contents ... | ||
| \stopfrontmatter | ||
| \startbodymatter | ||
| + \input ch-00.tex | ||
| \input ch-01.tex | ||
| \input ch-02.tex |
xml/tex/modules.tex
| +\usemodule[vim] | ||
xml/tex/style/figures.tex
| +\unprotect | ||
| +\appendtoks | ||
| + \setupbackgrounds[\v!page][\c!background=\makeupparameter\c!background] | ||
| +\to \t_page_makeup_every_setup | ||
| +\protect | ||
| + | ||
| \setupexternalfigures[ | ||
| order={svg,pdf,png}, | ||
| - location=global, | ||
| + location={local,default,global}, | ||
| directory={screens}, | ||
| frame=on, | ||
| maxwidth=\makeupwidth, | ||
| rulethickness=1pt, | ||
| width=\makeupwidth, | ||
| frameoffset=.5em, | ||
| ] | ||
| + | ||
| +\defineoverlay[cover][{ | ||
| + \externalfigure[cover][ | ||
| + scale=2000, | ||
| + maxwidth=\paperwidth, | ||
| + ] | ||
| +}] | ||
xml/tex/style/fonts.tex
| % Set up the body and heading fonts. | ||
| -\starttypescript [serif] [EventBody] | ||
| - \definefontsynonym [Serif] [name:librebaskerville] | ||
| - \definefontsynonym [SerifBold] [name:librebaskervillebold] | ||
| - \definefontsynonym [SerifItalic] [name:librebaskervilleitalic] | ||
| +\starttypescript [serif] [WPBody] | ||
| + \definefontsynonym [Serif] [name:librebaskerville] | ||
| + \definefontsynonym [SerifBold] [name:librebaskervillebold] | ||
| + \definefontsynonym [SerifItalic] [name:librebaskervilleitalic] | ||
| \stoptypescript | ||
| -\starttypescript [sans] [EventHeader] | ||
| - \definefontsynonym [Sans] [name:cabin] | ||
| - \definefontsynonym [SansBold] [name:cabinbold] | ||
| +\starttypescript [sans] [WPHeader] | ||
| + \definefontsynonym [Sans] [name:archivonarrow] | ||
| + \definefontsynonym [SansBold] [name:archivonarrowbold] | ||
| \stoptypescript | ||
| -\definetypeface[EventFont] [rm] [serif] [EventBody] [default] | ||
| -\definetypeface[EventFont] [ss] [sans] [EventHeader] [default] | ||
| +\starttypescript [mono] [WPSourceCode] | ||
| + \definefontsynonym [Mono] [name:inconsolata] | ||
| + \definefontsynonym [MonoBold] [name:inconsolatabold] | ||
| +\stoptypescript | ||
| -\usetypescript[EventFont] [ec] | ||
| -\setupbodyfont[EventFont] | ||
| +\definetypeface[WPFont] [rm] [serif] [WPBody] [default] | ||
| +\definetypeface[WPFont] [ss] [sans] [WPHeader] [default] | ||
| +\definetypeface[WPFont] [tt] [mono] [WPSourceCode] [default] | ||
| + | ||
| +\usetypescript[WPFont] [ec] | ||
| +\setupbodyfont[WPFont] | ||
| \definefont[SectionFont][SansBold sa 1.5] | ||
| \definefont[SubSectionFont][SansBold sa 1.25] | ||
| \definefont[ChapterNumberFont][SansBold sa 10] | ||
| +\definefont[SourceCodeFont][Mono sa 0.8] | ||
| \setbreakpoints[compound] | ||
| \setupalign[hz,hanging,nothyphenated] | ||
| \setuptolerance[horizontal,stretch,tolerant] | ||
| \definefontfeature[default][default][expansion=quality] | ||
| \definefontsize[e] | ||
| \setupbodyfontenvironment[default][e=6.5] | ||
| \setupbodyfontenvironment[default][d=3.5] | ||
| - | ||
xml/tex/style/headings.tex
| % Draw a thick bar along the side of each chapter page. | ||
| -\startuseMPgraphic{chapterbackground} | ||
| +\startuseMPgraphic{WPchapter} | ||
| StartPage; | ||
| n := \somenamedheadnumber{chapter}{current}; | ||
 | ||
| \definecolor[ChapterNumberColour][white] | ||
| -\defineoverlay[chapterbackground][\useMPgraphic{chapterbackground}] | ||
| -\setupbackgrounds[page][background=chapterbackground] | ||
| +\defineoverlay[WPchapter][\useMPgraphic{WPchapter}] | ||
| +\setupbackgrounds[page][background=WPchapter] | ||
| \define[1]\WPchapternumber{\inmargin{\ss{\bfd{\color[ChapterNumberColour]{#1}}}}} | ||
| + | ||
| +\define[1]\WPChapterFont{\ss{\bfe{#1}}} | ||
| \define[1]\WPchaptertitle{% | ||
| \framed[ | ||
| frame=off, | ||
| width=\makeupwidth, | ||
| height=\textheight, | ||
| align=flushright, | ||
| - ]{\ss{\bfe{#1}}\vfill{}} | ||
| + ]{\WPChapterFont{#1}\vfill{}} | ||
| } | ||
xml/tex/style/languages.tex
| +\setupvimtyping[ | ||
| + style=SourceCodeFont, | ||
| +] | ||
| + | ||
| +\definevimtyping[XML][ | ||
| + syntax=xml, | ||
| + strip=yes, | ||
| + lines=split,] | ||
| +\definevimtyping[XSL][ | ||
| + syntax=xslt, | ||
| + strip=yes, | ||
| + lines=split,] | ||
| +\definevimtyping[CSS][ | ||
| + syntax=css, | ||
| + strip=yes, | ||
| + lines=split,] | ||
xml/tex/style.tex
| \input style/pages.tex | ||
| \input style/figures.tex | ||
| +\input style/languages.tex | ||
| Delta | 184 lines added, 138 lines removed, 46-line increase |
|---|