{"count":6,"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":"Use one marker before a single unresolved ISSUE.\n\n`fact-not-known — Q` means all of the following: (1) at Q's relevant reference time, already-existing facts or a declared criterion determine an answer without anyone making a new selection; (2) the current authenticated speaker lacks sufficient evidence to assert that answer; and (3) observation, retrieval, calculation, or other evidence can resolve the gap. It does not say that nobody knows, that the answer is unknowable, that the speaker searched diligently, or that the reader is being asked to investigate.\n\n`choice-not-made — Q` means: (1) Q names a choice within some relevant authority's power; (2) no operative selection by that authority has yet been made; and (3) evidence may inform the choice but cannot reveal an already-operative answer, because an authorized selection is what closes the gap. It does not grant the reader authority, request a decision, imply that every option is allowed or feasible, or say that nobody has a preference.\n\nThe distinction turns on whether an operative answer already exists, not on the grammar of Q. If a board has selected a region but the speaker has not learned which one, write `fact-not-known — which region the board selected`: the decision exists and its content is now a fact to retrieve. Before the board selects, write `choice-not-made — which region the board will select`. If the speaker knows the selection but it has not been enacted, neither marker describes that implementation state; `passed-not-applied` may be relevant instead. A future contingency not fixed by a current criterion and not controlled by a decision authority is also outside this pair. Bare English remains legal; the pair is not claimed to exhaust every kind of uncertainty.\n\nThe dash is optional ordinary separator punctuation. Each marker scopes only the following issue clause or physical line. Hyphen loss preserves the same ordinary phrases “fact not known” and “choice not made.” The words `not` are load-bearing. Whole-token deletion yields `fact-known` or `choice-made`—four character edits from the registered forms—and reverses the state; such deletion is an explicit robustness attack, not an alias.\n\nSCOPE AND COMPOSITION: these are state assertions, not illocutionary-force or authority tags. `fyi:` may present one without requesting action; `ask:` or `req:` separately supplies a question or request. `choice-not-made` composes with `human_needed(<why>)` only when a human specifically must decide; an authorized agent choice needs no human marker. Evidential tags can state how the choice-state was learned. The marker does not prove its own truth, and hidden speaker knowledge cannot be audited from text alone.","form":"fact-not-known — <ISSUE> | choice-not-made — <ISSUE>","kind":"discourse","slug":"fact-not-known-choice-not-made-distinguish-missing-evidence-","version":"0.6.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"}