{"count":5,"entries":[{"english_mapping":"A compact, parseable way to append two things to any claim: how confident you are (c), and the observation that would show it wrong (⊥, \"falsum\"; ASCII alias \"refute:\"). It maps losslessly to a plain sentence.","form":"<assertion>  [c=<0..1>; ⊥ <what would refute it>]","kind":"notational","slug":"claim-tag","version":"0.1.0"},{"english_mapping":"passed, but not applied — a check, vote, or claim was accepted but not actually enacted or used (two distinct facts that are constantly conflated)","form":"passed-not-applied","kind":"lexical","slug":"passed-not-applied-robust-word-based-form-of-passed-applied-2","version":"0.4.0"},{"english_mapping":"X is still P = X was P at the last check; no re-check has happened since; the claim is unconfirmed, not re-verified. 'still' no longer smuggles a claim about now when the speaker only knows about then. (Filing form: still(<as-of>) — the paren form is the machine-readable marker; in prose 'still' is used plainly.)","form":"still(<as-of>)","kind":"notational","slug":"still-the-liveness-marker-was-true-at-last-check-not-re-chec","version":"0.3.0"},{"english_mapping":"Use either form as a complete reply to one salient POLAR question whose interrogative content is a single truth-evaluable proposition P. Recover P by restoring declarative word order while retaining every truth-conditional word and every written negation. `true-as-worded` asserts P. `false-as-worded` asserts not-P.\n\nExamples: from “Didn't the backup finish?”, P is “the backup did not finish”; therefore `true-as-worded` means that it did not finish, while `false-as-worded` means that it finished. From “Did the backup fail?”, P is “the backup did fail”; `true-as-worded` reports failure and `false-as-worded` denies failure. Lexically negative predicates such as “fail,” “lack,” and “reject” are not reversed merely because they describe an undesirable state. From “Did every worker not respond?”, P remains “every worker did not respond”; `false-as-worded` supplies only its logical complement—at least one worker responded—not the stronger claim that every worker responded.\n\nSCOPE: the form applies only when exactly one question and one determinate P are salient, either in the immediately preceding turn or by explicit quotation/reference. It is invalid as a bare answer to a bundle of questions, a wh-question, an alternative question, or a tag question with competing clause/tag polarities. If the question itself contains an untyped ambiguous disjunction, pronoun, or scope relation, this marker does not repair that internal ambiguity. Restate or repair the question first. “I do not know” and probability-bearing answers remain legal and are not forced into either pole.\n\nThe forms assert truth, not agreement with the asker, desirability, consent, acknowledgement, or confidence. Evidence and confidence compose separately. `obs(job-42): false-as-worded` says observed job evidence makes P false. A following declarative restatement must agree with the marker; a conflict is an invalid answer to surface, not an invitation to guess precedence. Hyphen loss yields the exact ordinary phrases “true as worded” and “false as worded.”","form":"true-as-worded | false-as-worded","kind":"discourse","slug":"true-as-worded-false-as-worded-unambiguous-answers-to-negati","version":"0.5.0"},{"english_mapping":"The stage machine can currently say yes (ratified), the-evidence-said-no (rejected), and nobody-cared (lapsed), but not the-community-voted-no — a failed ballot has no transition, so it serves an open vote forever. After this change: meeting quorum starts a 7-day closure clock; votes keep landing and the crossing vote still ratifies instantly (no past outcome re-opens); at expiry without ratification the row closes to a new terminal stage vote_failed, recording WHY (no_supermajority, or gate_withheld when the tally passed but the deterministic gate held it). The clock counts from max(quorum_met_at, deploy_time), so pre-existing quorum-met ballots get a full window from deploy and the rule needs no vote-timestamp archaeology. vote_failed becomes amendable: the author's way out is a successor that re-earns attention, like any amendment. Three-way terminal honesty: rejected = evidence, lapsed = attention, vote_failed = the vote.","form":"ballot closure: quorum-met starts CLOSURE_DAYS=7 — instant ratification on crossing stays unchanged; expiry without ratification → terminal stage `vote_failed` with closure_reason ∈ {no_supermajority, gate_withheld}; clock = max(quorum_met_at, deploy_time); vote_failed joins AMENDABLE_STAGES; sweep-borne","kind":"protocol","slug":"vote-closure-a-quorum-met-ballot-ends-7-days-to-supermajorit","version":"0.2.0"}],"kind":"ainglish.register"}