Glossary

plectisPlectispublic_projectionProject identityPlectis—named from the Latin *plectere*, to weave or entwine—is the current public name for the human-facing map, site, reader packets, and canonical public source repository drawn over this source-linked AI workflow system.

componentcomponentpublic_projectionSystem-local specializationA component is one bounded unit of working machinery with a defined job, explicit inputs and outputs, and a claim limit, called a component in public copy and an organ in source identifiers.

scope_limitscope limitpublic_projectionSystem-local specializationA scope limit—also called a claim ceiling or authority ceiling—is the explicit boundary between what a unit's evidence establishes and what the unit is not allowed to assert.

evidence_classevidence classevidenceSystem-coined termAn evidence class names the kind of support behind a result—such as a source-linked row, fixture pass, local tool run, or review packet—without implying that every claim made from that support is true.

recordrecordartifactSystem-local specializationA record is a concrete, durable, independently inspectable artifact—such as a result row, receipt, generated output, review packet, or verification entry—that preserves what was checked, produced, or routed.

substratesubstratesubstrateSystem-local specializationA substrate is the underlying body of files, routes, recorded state, and tools that the system operates on, distinct from the pages and summaries projected over that source material.

source_authoritysource authoritygovernanceSystem-local specializationSource authority is the artifact, standard, tool, or ledger that owns a fact more strongly than anything generated from it: the place where the truth is held, beneath any page, summary, or AI answer that merely reports it.

organorgan (source identifier)compatibility_identifierCompatibility identifierAn organ is the source-code name for one self-contained unit of working machinery with a defined job, explicit inputs and outputs, and a recorded claim limit, presented as a component on public pages.

witnesscheck resultevidenceSystem-local specializationA witness is the durable record that one specific check ran and what it found, shown in public copy as a check result or verification record.

navigablenavigablenavigationSystem-local specializationA navigable term, record, or page carries at least one concrete anchor, source reference, relationship link, command, or pointer that takes a reader from its summary to the underlying object or evidence.

above_and_beyondabove and beyondjudgment_traitSystem-local specializationIn ai_workflow, above and beyond means bounded follow-through that makes the requested result durable, then stops at a named boundary.

acceptacceptpublic_projectionSystem-local specializationTo accept something is to admit, approve, receive, or treat it as satisfying a stated condition.

accessaccesspublic_projectionSystem-local specializationAccess is the ability and permission to reach, open, or use a page, file, tool, or service.

accountability_layeraccountability layerpublic_projectionSystem-local specializationThe accountability layer is the set of evidence records, result records, source links, and scope limits that lets a reader trace what a mechanism ran and where the resulting claim stops.

actionactionpublic_projectionSystem-local specializationAn action is a discrete operation performed by a person, agent, program, or tool that can change state or produce an observable effect.

actor_axesactor axesactorSystem-coined termActor axes keep separate how an actor accesses the system, what it can do, how it is invoked, and what role it plays.

admitted_proof_stepadmitted proof steppublic_projectionSystem-local specializationAn admitted proof step is a gap left deliberately in a proof: a step assumed rather than proved, which the proof checker accepts on request and flags.

affordance_rowaffordance rowartifactSystem-coined termAn affordance row is one selectable navigation entry that says what an artifact is, why to open it, and where its source evidence lives.

agentagentpublic_projectionGeneral or domain usageAn agent is a software-controlled worker that can interpret instructions, inspect context, use permitted tools, and produce or change artifacts.

agent_seedagent seedsubstrateSystem-coined termAn agent seed is the durable, attributed record of an AI agent's own observations, synthesis, and drift signals, kept separate from raw seed so agent interpretation cannot be mistaken for the operator's original words.

agent_traceagent tracepublic_projectionSystem-local specializationAn agent trace is the recorded sequence of what an AI agent actually did during a session: the calls it made, the files it touched, and the order it did them in.

ai_nativeAI-nativepublic_projectionGeneral or domain usageAI-native describes a system or workflow designed around AI agents doing bounded, inspectable work through explicit tools, records, permissions, and checks.

algorithmalgorithmpublic_projectionGeneral or domain usageAn algorithm is a finite, unambiguous sequence of steps for transforming specified inputs into outputs.

allowedallowedpublic_projectionGeneral or domain usageAllowed describes an action, value, or state that a governing rule or authority permits within stated conditions.

anchoranchorpublic_projectionGeneral or domain usageAn anchor is a stable reference point used to attach, locate, or route related material.

annexannexsubstrateSystem-local specializationAn annex is a curated account of reusable patterns from an external framework, repository, or document, translated into this system's vocabulary without importing the outside source as local authority.

answeranswerpublic_projectionGeneral or domain usageAn answer is a response intended to resolve or address a question, request, or problem.

appeal_lifecycleappeal lifecyclegovernanceSystem-coined termAn appeal lifecycle is the governed path for formally challenging a label or decision—from dispute, failure classification, and repair ownership through recorded reasoning to a resolution that either closes or reopens the judgment.

applyapplyruntimeSystem-local specializationAn apply is the governed write step: it changes a named source target under a stated operation and validates the result.

architecturearchitecturepublic_projectionGeneral or domain usageArchitecture is the high-level arrangement of a system's parts, responsibilities, boundaries, and connections.

areaareapublic_projectionGeneral or domain usageAn area is a bounded region of a subject, system, interface, or field of work.

argumentargumentpublic_projectionGeneral or domain usageAn argument is an ordered chain of reasons intended to support a conclusion from stated assumptions or evidence.

artifactartifactpublic_projectionGeneral or domain usageAn artifact is any durable file, row, packet, page, record, or other inspectable object produced, maintained, or consumed by the system.

artifact_kindartifact kindartifactSystem-coined termAn artifact kind is the category an item belongs to—such as component, paper module, standard, principle, or doctrine card—used to choose the right collection before browsing its individual rows.

auditauditpublic_projectionGeneral or domain usageAn audit here is a check of whether a report matches what actually happened, rather than a check of whether the work itself was correct.

authorityauthoritypublic_projectionGeneral or domain usageAuthority is the recognized right of a particular source, rule, or actor to settle a stated kind of fact or permit a stated action.

axiomaxiomdoctrineSystem-local specializationAn axiom is a primitive, non-derived constraint the system treats as always binding, sitting above the principles that interpret it into behaviour for particular situations.

back_endbackendpublic_projectionGeneral or domain usageThe backend is the machinery a system runs on: the processing, storage and logic behind whatever a person sees.

bandbandnavigationSystem-local specializationA band is a named, schema-governed level of descriptive depth—from a one-word signal to full evidence—that fixes what a compressed view must include, may omit, and must point to next.

barrierbarrierpublic_projectionGeneral or domain usageA barrier is a proved result showing that a particular route to a problem cannot work, closing off an approach rather than advancing towards a solution.

basebasepublic_projectionGeneral or domain usageIn these papers, a base is the number whose successive powers organize a numeral expansion or appear in the denominators of a series.

benchmarkbenchmarkpublic_projectionGeneral or domain usageA benchmark is a fixed set of tasks, inputs, metrics, and scoring rules used to compare performance under repeatable conditions.

binary_expansionbinary expansionpublic_projectionGeneral or domain usageA binary expansion is a representation of a number using powers of two and digits limited to zero and one.

bindbindpublic_projectionGeneral or domain usageTo bind two things is to record an explicit connection that later readers or checks are expected to preserve and follow.

blockedblockedpublic_projectionGeneral or domain usageBlocked describes work or movement that cannot proceed because a named condition, dependency, permission, or obstacle prevents it.

boardboardpublic_projectionGeneral or domain usageA board is a shared visual or structured surface that organizes items, status, decisions, or controls for collective inspection.

bodybodypublic_projectionGeneral or domain usageA body is the main substantive content of a document, page, paper, or record, excluding its surrounding navigation and metadata.

boundboundpublic_projectionGeneral or domain usageA bound is a limit past which a quantity is shown not to go, in one direction or the other.

bridgebridgeruntimeSystem-local specializationA bridge is a one-round transport that sends a bounded context-and-instruction packet to an external worker and returns its response, without giving that worker independent browsing, iteration, or mutation control.

buildbuildpublic_projectionGeneral or domain usageA build is the process, or the resulting artifact set, produced by transforming source files through declared tools and configuration.

bundlebundlepublic_projectionGeneral or domain usageA bundle is a component's evidence packaged as files you can open: the source bodies it ran, the fixtures it read, and the result record it wrote, exported together so the run can be inspected without the private system.

callcallpublic_projectionGeneral or domain usageA call is an invocation that asks a function, command, service, tool, or person to perform a named operation.

carecarejudgment_traitSystem-local specializationCare is the judgment trait of treating correctness, human stakes, and future upkeep as part of the work, so a result is not merely produced but left findable, trustworthy, refreshable, and safe to extend.

carrycarrypublic_projectionGeneral or domain usageTo carry something is to contain, transport, preserve, or make it operative across a boundary or transition.

casecasepublic_projectionGeneral or domain usageA case is one particular set of conditions or inputs considered separately inside a larger question, test, or proof.

certificatecertificatepublic_projectionGeneral or domain usageA certificate is a finite piece of data that makes a fact checkable by direct computation, so a machine can confirm the case rather than follow an argument.

changechangepublic_projectionGeneral or domain usageA change is a transition by which something becomes different in content, state, location, behaviour, or interpretation.

changelogchangelogpublic_projectionGeneral or domain usageA changelog is a chronological record of notable changes made to a project, product, document, or release.

checkcheckpublic_projectionGeneral or domain usageA check is a command you can run that tests one stated claim and writes down what it found.

checkercheckerpublic_projectionGeneral or domain usageA checker is a tool or procedure that evaluates an input against explicit rules and reports whether those rules are satisfied.

claimclaimpublic_projectionGeneral or domain usageA claim is a stated assertion about what something does or establishes, written down separately from the evidence for it so the two can be compared.

claim_registryclaim registrypublic_projectionSystem-local specializationThe claim registry is the reviewed list of what the formal work is asserted to establish, kept separately from the proofs themselves.

classclasspublic_projectionGeneral or domain usageA class is a category of things treated as sharing selected properties or, in programming, a definition for a family of objects and behaviour.

cleancleanpublic_projectionGeneral or domain usageClean describes a condition with no detected unwanted residue, conflict, error, or modification under a stated check.

cloneclonepublic_projectionGeneral or domain usageTo clone a repository is to copy it, with its full history, onto your own machine so you can run and inspect it locally.

closeclosepublic_projectionGeneral or domain usageTo close something is to complete its required ending conditions or make it no longer open for further action in its current state.

closeoutcloseoutpublic_projectionSystem-local specializationCloseout is the end of a unit of work: the point at which what changed, what is still open, and what was deliberately not done are recorded, before the work is handed on.

codecodepublic_projectionGeneral or domain usageCode is text written in a programming or formal language so a computer or proof checker can parse and act on it.

codingcodingpublic_projectionGeneral or domain usageCoding is the activity of expressing instructions, data structures, and behaviour in a programming or formal language.

coding_agentcoding agentpublic_projectionGeneral or domain usageA coding agent is an AI tool that can run commands on your machine, such as Claude Code, Codex or Cursor, as distinguished from a chat assistant that can only read and quote.

cold_agentcold agentactorSystem-coined termA cold agent is a capable software agent beginning with no conversation history or memory of earlier work, forced to orient entirely from the durable files and routes available on disk.

cold_clonecold clonepublic_projectionSystem-local specializationA cold clone is a fresh copy of a repository on a machine that has never seen it, used to check that the published thing works for a stranger rather than only for its author.

combinatoricscombinatoricssubjectGeneral or domain usageCombinatorics is the area of mathematics that studies finite or discrete arrangements, selections, counts, and structural patterns.

commandcommandpublic_projectionGeneral or domain usageA command is a concrete instruction submitted to a program, shell, or tool through its command interface.

commitcommitpublic_projectionGeneral or domain usageA commit is one recorded change to a repository, carrying its own identifier, author, timestamp and complete contents.

common_sensecommon sensejudgment_traitSystem-local specializationCommon sense is governed, situation-aware judgment that combines the current state and surrounding rules to infer the right bounded action when no bespoke instruction spells it out.

compactcompactpublic_projectionGeneral or domain usageCompact describes material reduced in size or detail while preserving the information needed for its intended use.

compatibility_routecompatibility routeroutingSystem-coined termA compatibility route is an old URL or identifier retained solely to redirect readers to the current Plectis surface, preserving access without reviving the retired name as the live one.

compressioncompressionnavigationSystem-local specializationCompression is the governed reduction of larger source material into a smaller navigable view that records what it preserves, what it omits, which profile and band shaped it, and how to reopen the authoritative source.

compression_profilecompression profileartifactSystem-coined termA compression profile is the repeatable rulebook for shortening one artifact kind, specifying its depth bands, mandatory content, allowed omissions, and forbidden collapses.

conceptconceptdoctrineSystem-local specializationA concept is a curated vocabulary entry that gives a recurring object, abstraction, or class of meaning one stable identifier and definition for other system records to reference consistently.

conditional_reductionconditional reductionpublic_projectionGeneral or domain usageA conditional reduction proves that one statement would follow from another that is not itself proved, converting a problem into a different problem rather than solving it.

confirmconfirmpublic_projectionGeneral or domain usageTo confirm something is to obtain additional evidence that supports an existing expectation, claim, identity, or result.

conjectureconjecturepublic_projectionGeneral or domain usageA conjecture is a precise mathematical statement believed or suspected to be true but not yet proved or disproved.

connectconnectpublic_projectionGeneral or domain usageTo connect two items is to give a reader or program a traversable route from one to the other, usually with a label explaining their relationship.

contactcontactpublic_projectionGeneral or domain usageContact is a supported way to reach a person, team, or service or the act of doing so.

contentcontentpublic_projectionGeneral or domain usageContent is the human- or machine-readable material carried by an artifact, apart from the container, route, and permissions around it.

contextcontextpublic_projectionGeneral or domain usageContext is the surrounding information, conditions, and relationships needed to interpret something appropriately.

continuitycontinuitypublic_projectionGeneral or domain usageContinuity is the problem of carrying work across a break, so that a session which stops mid-task can be resumed without reconstructing what was happening.

contradictioncontradictionpublic_projectionGeneral or domain usageA contradiction is an impossible conclusion—such as a statement and its negation both holding—derived from a set of assumptions.

controlcontrolpublic_projectionGeneral or domain usageControl is the ability or mechanism used to direct behaviour, constrain choices, or authorize changes.

convergenceconvergencepublic_projectionGeneral or domain usageConvergence means the partial sums of an infinite series approach one fixed finite value as more terms are included.

coprimecoprimepublic_projectionGeneral or domain usageTwo integers are coprime when their greatest common divisor is one, meaning they share no prime factor.

copycopypublic_projectionGeneral or domain usageA copy is a reproduction of material placed in another location or representation.

corpuscorpuspublic_projectionGeneral or domain usageA corpus is a fixed body of material treated as one collection, so results can be quoted against a known set rather than an open-ended one.

correctnesscorrectnesspublic_projectionGeneral or domain usageCorrectness is the property of satisfying the specification, rule, or truth condition relevant to the thing being judged.

countcountpublic_projectionGeneral or domain usageA count is the number of items, events, or occurrences in a defined collection or measurement boundary.

counterexamplecounterexamplepublic_projectionGeneral or domain usageA counterexample is a single case that fails a general statement, which is enough to disprove it.

coveragecoveragepublic_projectionSystem-local specializationCoverage is the measured portion of a declared population, surface, or requirement set that a process has actually inspected, represented, or satisfied.

critic_posturecritic posturejudgment_traitSystem-coined termCritic posture is a repeatable way of testing an emerging idea by asking which abstraction is weak, which route has no answer, and which governing standard is missing, rather than offering a one-off objection.

datadatapublic_projectionGeneral or domain usageData is recorded information represented in a form that people or programs can store, inspect, and process.

datasetdatasetpublic_projectionGeneral or domain usageA dataset is an identified collection of related data records assembled for analysis, testing, training, or reference.

decisiondecisionpublic_projectionGeneral or domain usageA decision is a recorded choice among alternatives that determines a status, route, permission, or next action.

declarationdeclarationpublic_projectionGeneral or domain usageA declaration is one named item in a proof library: a single theorem, definition or structure, as written in the source.

declaredeclarepublic_projectionGeneral or domain usageTo declare something is to state its value, status, dependency, or boundary explicitly in the governing data instead of leaving it to inference.

definitiondefinitionpublic_projectionGeneral or domain usageA definition states what a term means in a particular context and which nearby meanings it excludes.

denominatordenominatorpublic_projectionGeneral or domain usageThe denominator is the bottom number of a fraction, the one you are dividing by.

dependencydependencypublic_projectionGeneral or domain usageA dependency is other software a project needs in order to run, which must be installed before its checks will work.

deploymentdeploymentpublic_projectionGeneral or domain usageA deployment is the act and recorded result of publishing a built artifact to the environment where its intended readers or users can access it.

derivationderivationpublic_projectionGeneral or domain usageA derivation is an ordered sequence of valid transformations or inferences that obtains a result from stated starting material.

designdesignpublic_projectionGeneral or domain usageDesign is the intentional shaping of something's structure, behaviour, appearance, or use to satisfy stated goals and constraints.

deterministicdeterministicpublic_projectionGeneral or domain usageDeterministic means the same declared inputs and environment produce the same output and decision every time, without hidden randomness or external variation.

diagramdiagrampublic_projectionGeneral or domain usageA diagram is a visual representation that uses spatial arrangement, shapes, and connections to explain structure or relationships.

digestdigestpublic_projectionGeneral or domain usageA digest is a short fingerprint computed from a file's contents, used to check that two copies are byte-for-byte identical.

directorydirectorypublic_projectionGeneral or domain usageA directory is a named container in a filesystem that groups files and other directories under one path.

disclosuredisclosurepublic_projectionGeneral or domain usageDisclosure is the act or result of making relevant information visible to an intended audience.

discrete_mathematicsdiscrete mathematicssubjectGeneral or domain usageDiscrete mathematics studies structures made of distinct, separately countable objects rather than continuously varying quantities.

divergencedivergencemathematical_conceptGeneral or domain usageDivergence means that a sequence, series, or limiting process does not approach a finite limit in the stated sense.

divisordivisormathematical_conceptGeneral or domain usageAn integer divisor of an integer n is an integer d for which n equals d times another integer.

documentationdocspublic_projectionGeneral or domain usageDocs are human-readable explanations and instructions that help a reader understand or use the system without replacing the source files, records, or contracts they describe.

doctrinedoctrinedoctrineSystem-local specializationDoctrine is the curated, searchable layer of principles, concepts, mechanisms, routes, and interpretations that explains why the system is shaped as it is, distinct from the code that implements those ideas.

downloaddownloadpublic_projectionGeneral or domain usageA download transfers a copy of data or a file from a remote service to a reader's device or local environment.

driftdriftpublic_projectionSystem-local specializationDrift is the gap that opens when a generated surface stops matching the source it was generated from, so a page, count, or copy keeps reporting something that is no longer true.

drilldowndrilldownpublic_projectionSystem-local specializationA drilldown is a route from a summary or aggregate view into more specific underlying detail.

dyadicdyadicpublic_projectionGeneral or domain usageDyadic means built from powers of two.

edgeedgepublic_projectionGeneral or domain usageAn edge is a recorded connection between two nodes in a graph, usually carrying a direction, type, or label.

elementelementpublic_projectionGeneral or domain usageAn element is one member or structural unit: a member of a mathematical set, an item in a data collection, or a node such as an HTML element.

emitemitpublic_projectionSystem-local specializationTo emit something is to produce and send out an output, event, signal, record, or generated artifact.

engineenginepublic_projectionGeneral or domain usageAn engine is one mechanism for attacking a problem: a family of arguments sharing a common method, which can be closed off as a group.

engine_roomengine roompublic_projectionSystem-local specializationEngine room is the label for the components that run the system itself rather than serve a reader: the routers, gates, drift checks and queues the machinery uses on its own operation.

entryentrypublic_projectionSystem-local specializationAn entry is a supported starting route or one selectable item in a governed collection.

environmentenvironmentpublic_projectionGeneral or domain usageAn environment is the surrounding operating system, tools, versions, configuration, permissions, and external services under which a command or program runs.

epistemic_control_planeepistemic control planeruntimeSystem-coined termAn epistemic control plane is a proposed runtime form of the Workingness Instrument that connects the system's current beliefs and acknowledged unknowns to actions that are allowed, blocked, or routed for review.

equalityequalitymathematical_conceptGeneral or domain usageAn equality is a statement that two expressions denote the same value or object under the stated assumptions.

equationequationmathematical_conceptGeneral or domain usageAn equation is an equality containing one or more unknowns whose allowed values are to be found or constrained.

equivalenceequivalencepublic_projectionSystem-local specializationAn equivalence is a proved two-way relationship in which each of two statements implies the other under the same stated hypotheses.

erdosPaul ErdőspersonExternally anchoredPaul Erdős (1913–1996) was a Hungarian mathematician known for posing and solving problems across number theory, combinatorics, and discrete mathematics.

errorerrorpublic_projectionGeneral or domain usageAn error is a detected condition in which data, reasoning, behaviour, or execution differs from what is valid or expected.

establishestablishpublic_projectionGeneral or domain usageTo establish something is to provide sufficient basis for it to be accepted as present, true, valid, or operative within a stated standard.

evaluatorevaluatorpublic_projectionGeneral or domain usageAn evaluator is a read-only component that measures something and reports, without changing what it measured.

evidenceevidencepublic_projectionGeneral or domain usageEvidence is a source, observation, check result, or record that supports a specific claim within a stated scope and can be inspected independently of that claim.

exactexactpublic_projectionGeneral or domain usageExact describes correspondence or value with no permitted difference under the stated representation and comparison rule.

exampleexamplepublic_projectionGeneral or domain usageAn example is a concrete instance chosen to show how a definition, method, or claim applies.

excludeexcludepublic_projectionGeneral or domain usageTo exclude something is to deliberately leave it outside a set, scope, result, permission, or process.

executable_cross_sectionexecutable cross-sectionpublic_projectionSystem-coined termAn executable cross-section is a bounded public slice of a larger system whose included components, checks, source, and result records can be run and inspected independently.

executionexecutionpublic_projectionGeneral or domain usageExecution is the act of carrying out instructions, a command, a program, a plan, or a defined procedure.

exit_codeexit codepublic_projectionGeneral or domain usageAn exit code is the number a command returns when it finishes: zero means it succeeded, anything else means it failed.

expandexpandpublic_projectionGeneral or domain usageTo expand something is to increase its extent, detail, coverage, or explicit content.

expectedexpectedpublic_projectionGeneral or domain usageExpected describes a result or condition predicted, required, or treated as normal under stated assumptions.

explainexplainpublic_projectionSystem-local specializationTo explain something is to make its meaning, cause, mechanism, or reasoning understandable by connecting it to relevant facts and relationships.

exponentexponentpublic_projectionGeneral or domain usageAn exponent states how many times a base is multiplied by itself, so b^n uses base b and exponent n.

exportexportpublic_projectionGeneral or domain usageAn export is an artifact or data package deliberately produced from one environment for use in another.

externalexternalpublic_projectionGeneral or domain usageExternal describes something originating, operating, or existing outside the boundary currently being discussed.

factorfactormathematical_conceptGeneral or domain usageA factor is one quantity or expression multiplied with others to form a product.

factorisationfactorisationpublic_projectionGeneral or domain usageFactorisation is the expression of an integer or algebraic object as a product of simpler factors, especially the unique prime factors of a positive integer.

failurefailurepublic_projectionGeneral or domain usageA failure is an outcome in which a required function, condition, check, or expectation is not satisfied.

failure_class_propagationfailure class propagationpropagationSystem-coined termFailure-class propagation tests whether one local break recurs on sibling surfaces, then repairs only the proven class boundary.

falsefalsepublic_projectionGeneral or domain usageFalse describes a proposition that is not true or a boolean value representing the negative branch of a two-valued condition.

fieldfieldpublic_projectionGeneral or domain usageA field is one named slot in a structured record, holding a value with an expected meaning and format.

filefilepublic_projectionGeneral or domain usageA file is a named sequence of stored bytes addressed at a path and interpreted according to a format or program.

findingfindingpublic_projectionGeneral or domain usageA finding is a conclusion or observed condition produced by an investigation, audit, experiment, or analysis.

finitefinitemathematical_conceptGeneral or domain usageFinite means containing or requiring only a limited number of elements, steps, or operations.

finite_computationfinite computationpublic_projectionGeneral or domain usageA finite computation is a terminating calculation over a bounded set of inputs that produces an exact or explicitly approximate result.

fitfitpublic_projectionGeneral or domain usageFit is the degree to which something satisfies the needs, constraints, or shape of a particular purpose or context.

fixturefixturepublic_projectionGeneral or domain usageA fixture is the fixed input a check runs against: a small, committed file standing in for the real data, chosen so the same run produces the same result on any machine.

followfollowpublic_projectionGeneral or domain usageTo follow is to come after, proceed along, result from, or act according to something already given.

formalformalpublic_projectionGeneral or domain usageFormal describes something expressed through explicit rules and symbols precise enough for rule-governed checking.

formal_mathematicsformal mathematicspublic_projectionGeneral or domain usageFormal mathematics is mathematics written so a machine can check it: every definition and step expressed in a language a proof assistant verifies, rather than in the usual prose of a paper.

formal_proofformal proofpublic_projectionGeneral or domain usageA formal proof is a mathematical argument encoded in a precise language so a proof checker can verify every inference from the stated definitions, axioms, and hypotheses.

fractionfractionpublic_projectionGeneral or domain usageA fraction is a number written as one integer numerator divided by a nonzero integer denominator.

front_endfrontendpublic_projectionGeneral or domain usageThe frontend is the part of a system a person looks at and clicks: its screens, as opposed to the machinery underneath.

fullfullpublic_projectionGeneral or domain usageFull describes material or coverage presented without the omissions made by a named shorter, filtered, or partial form.

functionfunctionmathematical_conceptGeneral or domain usageA mathematical function assigns exactly one output to each allowed input in its domain.

gategatepublic_projectionGeneral or domain usageA gate is a rule-controlled checkpoint that permits or blocks a later action according to declared evidence or conditions.

generalise_up_propagategeneralise-up-propagatepropagationSystem-coined termGeneralise-up-propagate is the move of taking a lesson learned in one local piece of work and carrying it upward into a durable, system-wide rule, while stating exactly how far that lesson applies and where it does not.

githubGitHubexternal_serviceExternally anchoredGitHub is an online service for hosting Git repositories and presenting their code, history, issues, releases, and web-published artifacts.

glossaryglossarypublic_projectionGeneral or domain usageA glossary is an organized collection of terms and definitions for a particular body of material.

governgovernpublic_projectionGeneral or domain usageTo govern something is to set or enforce the rules, authority, and decision process that constrain how it may operate or change.

graphgraphpublic_projectionGeneral or domain usageA graph is a structure made of nodes and edges used to represent objects and the relationships between them.

groundinggroundingpublic_projectionGeneral or domain usageGrounding is the connection of a claim, term, or decision to the source, evidence, observation, or rules that give it support and meaning.

hard_codedhard-codedpublic_projectionGeneral or domain usageHard-coded means a value is written directly into the code rather than computed or read from a source, so it stays fixed until someone edits it by hand.

harnessharnesspublic_projectionGeneral or domain usageA harness is the scaffolding that runs a check: it supplies the inputs, executes the thing under test, and captures what came out.

hologramhologramnavigationSystem-local specializationA hologram is a compressed whole-system view whose rows preserve enough identity, purpose, relationships, authority, reading cost, and drilldown commands for a reader to choose the next source without loading everything.

htmlHTMLformatExternally anchoredHTML is the markup language browsers use to structure the text, links, controls, metadata, and other content of a web page.

hypothesishypothesispublic_projectionGeneral or domain usageA hypothesis is a condition a result assumes rather than proves, so the conclusion holds only where the condition does.

implementationimplementationpublic_projectionGeneral or domain usageAn implementation is a concrete realization of a design, specification, algorithm, interface, or policy.

implicationimplicationpublic_projectionGeneral or domain usageAn implication is a one-way statement that whenever its antecedent holds, its conclusion must also hold.

importimportpublic_projectionGeneral or domain usageAn import brings named material from another file, package, source, or system into the current context.

indexindexpublic_projectionGeneral or domain usageTo index something is to build a lookup over it, so an item can be found by what it is rather than by reading through everything.

inequalityinequalitymathematical_conceptGeneral or domain usageAn inequality is a statement that compares two expressions using an order relation such as less than, greater than, or at most.

infiniteinfinitemathematical_conceptGeneral or domain usageInfinite means not finite: no finite count exhausts the elements, steps, or extent under discussion.

inputinputpublic_projectionGeneral or domain usageAn input is data, a parameter, file, event, or condition supplied to a process before it produces an output.

integerintegerpublic_projectionGeneral or domain usageAn integer is a whole number, positive, negative or zero, with no fractional part.

irrationalirrationalpublic_projectionGeneral or domain usageA number is irrational when it cannot be written as one whole number divided by another.

json_formatJSONpublic_projectionGeneral or domain usageJSON is a plain-text format for structured data, readable by both people and programs without special software.

kernelkernelruntimeSystem-local specializationThe kernel is the kernel.py command-line control layer that answers system questions with small structured packets about location, state, activity, and next reads before an agent or operator opens source files directly.

labellabelpublic_projectionGeneral or domain usageA label is a short human-readable name attached to an object, category, or status so it can be recognized in a surface.

laboratorylaboratoryruntimeSystem-local specializationA laboratory is a bounded, fixture-backed lane for exercising a candidate standard, check, route, validator, or runtime contract before live use, producing evidence and a possible promotion candidate but never authority by itself.

lambert_seriesLambert seriespublic_projectionGeneral or domain usageA Lambert series is a particular way of building an infinite sum in which each term is divided by one less than a power of the base.

latexLaTeXformatExternally anchoredLaTeX is a document-preparation system in which authors write structured source text that a typesetting engine turns into formatted documents such as PDFs.

latticelatticeontologySystem-local specializationA lattice is the network connecting the system's artifacts, routes, standards, skills, principles, runtime surfaces, and records, with every edge labelled by a relationship such as authority, implementation, or navigation.

lattice_transpositionlattice transpositionpropagationSystem-coined termLattice transposition is the move of extracting the reusable rule from a local lesson and placing it in the governing skill, standard, paper module, vocabulary, axiom, or principle so other artifact kinds can inherit it.

launchlaunchpublic_projectionGeneral or domain usageTo launch something is to start it operating or make it newly available to its intended audience.

launch_scope_decisionlaunch-scope decisionpublic_projectionSystem-local specializationA launch-scope decision is a judgment about whether something is ready to ship, host, or share publicly, an authority that components on this site explicitly do not possess.

leanLeanpublic_projectionGeneral or domain usageLean is a proof assistant: software that checks a mathematical proof step by step and refuses it if any step does not follow.

least_common_multipleleast common multiplepublic_projectionGeneral or domain usageThe least common multiple of a set of whole numbers is the smallest number all of them divide into exactly.

lemmalemmapublic_projectionGeneral or domain usageA lemma is a proved supporting statement introduced mainly for use in proving a later theorem or organizing an argument.

librarylibrarypublic_projectionGeneral or domain usageA software library is a reusable collection of code and interfaces intended to be called by other programs or modules.

licenselicensepublic_projectionGeneral or domain usageA license is a permission granted under stated terms to use, copy, modify, distribute, or otherwise act on protected material.

limitlimitpublic_projectionGeneral or domain usageA limit is a boundary or restriction; in Plectis, the surrounding phrase distinguishes a scope limit, mathematical limit, or service rate limit.

linelinepublic_projectionSystem-local specializationA line is a sequence of text or source characters separated from neighbouring sequences by a line boundary or displayed as one row.

lineagelineagepublic_projectionGeneral or domain usageLineage is the recorded chain of origins and transformations through which an artifact or claim came to exist.

linklinkpublic_projectionGeneral or domain usageA link is an actionable reference that takes a reader from the current surface to another page, file, anchor, or external resource.

listlistpublic_projectionGeneral or domain usageA list is an ordered or unordered collection of separate items presented under a shared purpose or rule.

livelivepublic_projectionGeneral or domain usageLive describes a currently operating or directly accessible state rather than a static copy, simulation, or historical snapshot.

living_system_postureliving system posturepostureSystem-coined termLiving system posture is the stance that every page, result, doctrine row, raw quote, or runtime claim is dated evidence from one system state rather than a timeless fact, so present truth must be checked against the live source and its freshness.

loadloadpublic_projectionGeneral or domain usageTo load something is to bring data, code, configuration, or a resource into a program or environment so it can be used.

locallocalpublic_projectionGeneral or domain usageLocal describes something situated within the current machine, repository, scope, or immediate context rather than a broader or remote one.

locuslocuspublic_projectionGeneral or domain usageA locus is a specific place where a feature, rule, effect, or piece of evidence resides or becomes observable.

machine_checkedmachine-checkedpublic_projectionGeneral or domain usageMachine-checked means a result has been verified by software rather than accepted on a reader's judgement.

machine_readablemachine-readablepublic_projectionGeneral or domain usageMachine-readable means structured so a program can use it directly, rather than written as prose a program would have to interpret.

manifestmanifestpublic_projectionGeneral or domain usageA manifest is a structured inventory that lists the artifacts in a release or build together with the metadata needed to identify and check them.

mapmappublic_projectionGeneral or domain usageA map here is a generated view over a body of material, built from that material rather than written alongside it, showing what is in it and how the parts connect.

matchmatchpublic_projectionGeneral or domain usageA match is a correspondence that satisfies stated comparison criteria.

mathematical_limitmathematical limitmathematical_conceptGeneral or domain usageA mathematical limit is the value a sequence or function gets arbitrarily close to as its index or input approaches a stated point or infinity.

mathematicsmathematicssubjectGeneral or domain usageMathematics is the study of abstract structures, quantities, patterns, and logical relationships through definitions, conjectures, proofs, and computation.

mathlibMathlibexternal_libraryExternally anchoredMathlib is the community-maintained mathematical library for Lean, providing reusable definitions, theorems, tactics, and notation.

meanmeanpublic_projectionGeneral or domain usageTo mean something is to signify, express, entail, or be interpreted as that thing within a language or context.

measurementmeasurementpublic_projectionGeneral or domain usageA measurement is a value obtained by applying a defined procedure or instrument to an observed object or process.

mechanismmechanismdoctrineSystem-local specializationA mechanism is an account of how something in the system happens: how an object moves, transforms, routes, validates, or changes state, stated as the actual flow of inputs, steps, and outputs rather than as a label.

menumenupublic_projectionGeneral or domain usageA menu is a presented set of choices from which a reader or operator can select an action or destination.

metabolismmetabolismruntimeSystem-local specializationMetabolism is the governed upkeep loop that refreshes derived artifacts from their authoritative sources and records the checks.

metadata_onlymetadata-onlypublic_projectionSystem-local specializationMetadata-only describes a record that carries the shape and verdict of a run but none of the content it read: counts, classes, digests and outcomes, without the bodies behind them.

methodmethodpublic_projectionGeneral or domain usageA method is an ordered way of carrying out an analysis, computation, proof, or construction.

missingmissingpublic_projectionGeneral or domain usageMissing describes something required, expected, or referenced that is not present or cannot be found in the relevant place.

modelmodelpublic_projectionGeneral or domain usageA model is a deliberately simplified representation or computational system used to describe, predict, classify, or generate outcomes about something else.

modulemodulepublic_projectionGeneral or domain usageA module is a bounded unit of code or exposition grouped around one responsibility and designed to be referenced as a whole.

movemovepublic_projectionGeneral or domain usageA move is one deliberate change of position, state, ownership, or strategy.

multiplemultiplepublic_projectionGeneral or domain usageMultiple can mean more than one item, or in arithmetic a number obtained by multiplying another number by an integer; Plectis uses both senses.

multiplicative_ordermultiplicative orderpublic_projectionGeneral or domain usageThe multiplicative order of an integer b modulo Q is the smallest positive exponent k for which b^k leaves remainder one when divided by Q.

namenamepublic_projectionGeneral or domain usageA name is the human-readable word or phrase used to refer to a person, object, concept, or release.

narrownarrowpublic_projectionGeneral or domain usageTo narrow something is to reduce its scope, possibilities, range, or level of detail under consideration.

natural_numbernatural numbermathematical_conceptGeneral or domain usageA natural number is a whole number used for counting, with the convention about whether zero is included stated by the surrounding formalization.

navigationnavigationnavigationSystem-local specializationNavigation is the system’s browse-and-drilldown layer for moving from a question to the smallest source-backed answer surface.

negativenegativepublic_projectionGeneral or domain usageNegative describes a result, condition, value, or case that denies, fails, opposes, or falls below a chosen reference point.

negative_casenegative casepublic_projectionSystem-local specializationA negative case is an input a check must reject, shipped beside passing inputs so a detector that stops discriminating fails visibly instead of quietly accepting everything.

nodenodepublic_projectionGeneral or domain usageA node is one uniquely identified object represented as a point in a graph.

notenotepublic_projectionGeneral or domain usageA note is a short record or explanation attached to a larger body of work.

numbernumbermathematical_conceptGeneral or domain usageA number is an abstract mathematical object used to count, measure, order, or represent quantities.

number_theorynumber theorysubjectGeneral or domain usageNumber theory is the area of mathematics that studies integers and related structures, including divisibility, primes, congruences, and arithmetic functions.

numeratornumeratormathematical_conceptGeneral or domain usageThe numerator is the top part of a fraction: in P/Q, it is P, the quantity being divided by Q.

observationobservationpublic_projectionGeneral or domain usageAn observation is information recorded by inspecting an event, artifact, measurement, or behavior.

observeobserveruntimeSystem-local specializationAn observe is a read-only pass that gathers structured evidence from files, probes, and responses into a bounded record before any decision or change is made.

omission_receiptomission receiptnavigationSystem-coined termAn omission receipt is the note on a compressed row that states what was left out, why that omission is allowed at the current depth, and which command reopens the full source.

open_problemopen problempublic_projectionGeneral or domain usageAn open problem is a precisely stated question for which no proof or counterexample accepted by the relevant mathematical community is currently known.

operationoperationpublic_projectionGeneral or domain usageAn operation is a defined transformation, calculation, or state change applied to specified objects or inputs.

operator_proxyoperator proxyruntime_roleSystem-coined termAn operator proxy is an outside worker acting on the operator's behalf for one bounded task from a prepared context-and-instruction packet, carrying the operator's intent without acquiring the operator's authority.

operator_voiceoperator voicepostureSystem-local specializationOperator voice is the preserved first-person record of what the operator said directly, kept separate from every later agent-authored summary or interpretation as the original human input behind the system.

option_surfaceoption surfacenavigationSystem-coined termAn option surface is a browse layer of stable, kind-grouped, selectable artifact rows used to choose and inspect a specific item before opening the authoritative source it points to.

orderorderpublic_projectionGeneral or domain usageOrder is the arrangement of items or actions according to position, precedence, dependency, or a comparison rule.

orientationorientationpublic_projectionGeneral or domain usageOrientation is the material meant to be read first: a short account of what this is and how to navigate it, as distinct from the evidence itself.

orphanorphanpublic_projectionGeneral or domain usageAn orphan is an item an index has failed to place: something present in the source but connected to nothing in the map built over it.

outputoutputpublic_projectionGeneral or domain usageAn output is the data, artifact, message, or state produced by a process after it consumes inputs.

overviewoverviewpublic_projectionGeneral or domain usageAn overview is a compressed account of a subject's main parts and relationships intended to orient a reader before detail.

packagepackagepublic_projectionGeneral or domain usageA package is a collection prepared to travel as one unit. In Plectis it can mean an installable software package or a submission or release package of artifacts.

packetpacketpublic_projectionGeneral or domain usageA packet is a single bundled file prepared for an AI assistant to read, carrying the site's content and structure in one download rather than as pages to browse.

pagepagepublic_projectionGeneral or domain usageA page is one rendered reading surface at a stable site route, presenting selected prose, data, and links from underlying source material.

paperpaperpublic_projectionSystem-local specializationA paper is a rendered PDF write-up that gives a human-readable account of a project, question, method, result, and evidence boundary, linked to its supporting source where available.

paper_modulepaper moduleartifactSystem-coined termA paper module is a stable explanation packet mapping one subsystem's purpose, structure, invariants, source locations, and current state without replacing the code or records it describes.

partpartpublic_projectionGeneral or domain usageA part is a constituent portion of a larger whole that can be identified by its role, boundary, or composition.

partial_sumpartial sumpublic_projectionGeneral or domain usageA partial sum is the finite sum of the first selected terms of an infinite series.

passpasspublic_projectionGeneral or domain usageA pass is one bounded traversal or execution of a process, often producing a result that can pass or fail its checks.

passionpassionjudgment_traitSystem-local specializationPassion is the judgment trait that keeps the operator's live aim and stake present while the work remains bounded by standards, evidence, and source authority, preserving why the work matters as well as what it must complete.

pathpathpublic_projectionGeneral or domain usageA path is an ordered location identifier that tells a program or reader where a file, directory, or web route sits within a larger hierarchy.

path_handlepath handlenavigationSystem-coined termA path handle is a stable short identifier that resolves to a current file path, its role, and its verification command.

patternpatternpublic_projectionGeneral or domain usageA pattern is a recurring or recognizable arrangement in data, behaviour, structure, or reasoning.

pdfPDFformatExternally anchoredPDF is a document file format designed to preserve a page's visual layout across devices and software.

peerpeeractorSystem-local specializationA peer is another capable coding-agent instance working on the system that can inherit durable lessons recorded by earlier agents, without implying shared memory or authority beyond those records.

peer_reviewpeer reviewpublic_projectionGeneral or domain usagePeer review is evaluation of scholarly work by other qualified researchers before or after publication.

peer_propagatepeer-propagatepropagationSystem-coined termA peer-propagate is a source-linked, reusable lesson in operating judgment that one capable agent records for future peer agents to inherit.

periodicperiodicpublic_projectionGeneral or domain usageA sequence is periodic when a fixed block repeats forever, and eventually periodic when such repetition begins after a finite initial segment.

phasephaseruntimeSystem-local specializationA phase is a scoped work packet inside a family of related work: a bounded unit of execution that holds one objective, the active wave of work, the references it draws on, and the state needed to pause and resume it later.

planted_errorplanted errorpublic_projectionGeneral or domain usageA planted error is a fault introduced on purpose to check that a detector notices it.

policypolicypublic_projectionGeneral or domain usageA policy is a stated rule for choosing, permitting, restricting, or handling actions and information in recurring situations.

positive_integerpositive integermathematical_conceptGeneral or domain usageA positive integer is an integer greater than zero.

presentpresentpublic_projectionGeneral or domain usagePresent describes something that exists or is available in the relevant place or time, or the act of displaying it to an audience.

preservepreservepublic_projectionGeneral or domain usageTo preserve something is to keep its relevant content, meaning, condition, identity, or availability through change or over time.

primeprimepublic_projectionGeneral or domain usageA prime is a whole number greater than one divisible only by itself and one.

prime_gapprime gappublic_projectionGeneral or domain usageA prime gap is the difference between two consecutive prime numbers.

principleprincipledoctrineSystem-local specializationA principle is a durable, doctrine-promoted operating law that constrains agent behaviour and system design, recorded under a stable pri_* identifier.

priorpriorpublic_projectionGeneral or domain usagePrior describes something that existed, occurred, or was believed before the current item or update.

privateprivatepublic_projectionGeneral or domain usagePrivate means intentionally unavailable to the general public and accessible only under stated permissions or within a restricted environment.

probeprobepublic_projectionGeneral or domain usageA probe is a small check that establishes one narrow fact about an environment, run before the work that depends on it rather than after something has already failed.

problemproblempublic_projectionGeneral or domain usageA problem is a precisely stated question or task whose answer, construction, or proof is not supplied by the statement itself.

problem_noteproblem notepublic_projectionSystem-local specializationA problem note is a short standalone paper on a single open mathematical problem, stating what has been formally proved, what remains open, and where the boundary between them lies.

processprocesspublic_projectionGeneral or domain usageA process is an ordered set of activities or a running program that changes inputs or state over time toward an outcome.

productproductpublic_projectionGeneral or domain usageIn Plectis, product usually means a user-facing software offering or capability; in mathematical passages, a product is the result of multiplication.

profile_gapprofile gapnavigationSystem-coined termA profile gap is a recorded admission that an artifact kind exists but lacks the supported summary and card rows needed for honest row-by-row browsing, so navigation shows the gap instead of pretending the option surface is complete.

programprogrampublic_projectionGeneral or domain usageProgram can mean executable computer instructions or an organized initiative such as a bug-bounty program; Plectis uses both senses.

projectionprojectionpublic_projectionGeneral or domain usageA projection is a derived view generated from one or more source artifacts to make selected facts easier to read, query, or navigate without becoming their authority.

proofproofmathematical_conceptGeneral or domain usageA proof is a logically valid argument showing that a mathematical statement follows from stated definitions, assumptions, and previously established results.

proof_assistantproof assistantpublic_projectionGeneral or domain usageA proof assistant is a program that verifies mathematical proofs mechanically, requiring every step to be justified in a form it can check.

proof_boundaryproof boundarypublic_projectionSystem-local specializationA proof boundary is the line between what a formal proof establishes and what the prose around it claims: the point where machine-checked certainty stops and ordinary description begins.

proof_checkerproof checkerpublic_projectionGeneral or domain usageA proof checker is the small trusted program that accepts a formal proof only when every encoded inference follows from the system's rules and stated assumptions.

propositionpropositionmathematical_conceptGeneral or domain usageA proposition is a declarative mathematical statement that has a definite truth value once its terms and assumptions are fixed.

proveprovepublic_projectionGeneral or domain usageTo prove a claim is to establish it from accepted premises by an argument that satisfies the relevant standard of proof.

provenanceprovenancepublic_projectionGeneral or domain usageProvenance is the record of where something came from: which source a copied file was taken from, and whether it still matches.

publicpublicpublic_projectionGeneral or domain usagePublic means intentionally available for anyone to inspect without private repository, account, or operator access.

publishedpublishedpublic_projectionGeneral or domain usagePublished here means released openly to a public code repository, not accepted by a journal or peer-reviewed.

purposepurposepublic_projectionGeneral or domain usagePurpose is the intended use, function, or reason for which something exists or an action is taken.

questionquestionpublic_projectionGeneral or domain usageA question is a request for a particular piece of information, explanation, decision, construction, or proof.

quickstartquickstartpublic_projectionGeneral or domain usageThe quickstart is the shortest path from nothing to a first result: clone, install, run one check, read the file it wrote.

rationalrationalpublic_projectionGeneral or domain usageA number is rational when it can be written as one whole number divided by another.

raw_seedraw seedsubstrateSystem-coined termA raw seed is the append-only, unedited record of the operator's own words and thinking, serving as the source layer from which later summaries, doctrine, and routes are derived.

readreadpublic_projectionGeneral or domain usageTo read is to interpret written, symbolic, or structured material in order to recover meaning or data from it.

readerreaderpublic_projectionGeneral or domain usageA reader is the person or software consumer trying to understand, navigate, or use a published artifact.

reader_packetreader packetartifactSystem-coined termA reader packet is a generated, portable guide that gathers routes, short summaries, source references, and scope limits so a person or AI assistant can inspect a public source slice without mistaking the guide for that source.

realrealpublic_projectionGeneral or domain usageReal describes something that exists or occurs in the referenced world or system rather than being merely hypothetical, simulated, or fabricated.

real_numberreal numbermathematical_conceptGeneral or domain usageA real number is a point on the continuous number line, including every rational and irrational number.

reasonreasonpublic_projectionGeneral or domain usageA reason is a fact, consideration, rule, or inference offered to explain or justify a belief, decision, event, or action.

receiptreceiptpublic_projectionGeneral or domain usageA receipt is the durable output that proves an action happened: the file or record a step writes, kept so the claim can be checked later rather than taken on trust.

reciprocalreciprocalpublic_projectionGeneral or domain usageThe reciprocal of a number is one divided by it.

recomputerecomputepublic_projectionGeneral or domain usageTo recompute something is to calculate or derive it again from its inputs rather than reuse a previous result.

recurrencerecurrencepublic_projectionGeneral or domain usageA recurrence is a rule defining each term of a sequence from the ones before it, rather than by a direct formula.

referencereferencepublic_projectionGeneral or domain usageA reference is a pointer that identifies another source, record, definition, or location relevant to the current statement.

reformulationreformulationpublic_projectionGeneral or domain usageA reformulation restates a problem or theorem in a different representation while preserving a proved relationship to the original statement.

refuserefusepublic_projectionGeneral or domain usageTo refuse is to deliberately decline an action, request, input, or inference because permission or required conditions are absent.

registryregistrypublic_projectionGeneral or domain usageA registry is a governed collection of uniquely identified records for one kind of object.

regressionregressionpublic_projectionGeneral or domain usageA regression is the return of a previously fixed failure or the loss of behaviour that an earlier version demonstrably supported.

rejectrejectpublic_projectionGeneral or domain usageTo reject something is to refuse its acceptance, admission, use, or continuation because stated conditions are not satisfied.

releasereleasepublic_projectionGeneral or domain usageA release is an intentionally published, versioned set of artifacts made available to a defined audience.

reliabilityreliabilitypublic_projectionGeneral or domain usageReliability is the degree to which something continues to perform its stated function under specified conditions.

rename_migration_receiptrename migration receiptgovernanceSystem-coined termA rename migration receipt is the durable proof that a storage-path rename passed its gate, recording the evidence, obligations, rollback plan, or—when blocked—the unmet precondition that prevented the change.

replayreplaypublic_projectionGeneral or domain usageA replay is a check that re-runs a recorded scenario end to end and asserts the outcome, rather than testing a function in isolation.

reportreportpublic_projectionGeneral or domain usageA report is a written account of what happened, as distinct from the record the account was drawn from.

repositoryrepositorypublic_projectionGeneral or domain usageA repository is a project's files together with their complete change history, hosted so anyone can copy the whole thing.

reproduciblereproduciblepublic_projectionGeneral or domain usageReproducible means another reader can use the declared source, inputs, environment, and command to obtain the same materially relevant result.

requirerequirepublic_projectionGeneral or domain usageTo require something is to make it a necessary condition for a stated action, result, rule, or dependency.

requiredrequiredpublic_projectionGeneral or domain usageRequired describes something that must be present, performed, or satisfied for a stated rule, goal, or process to hold.

researchresearchpublic_projectionGeneral or domain usageResearch is a systematic attempt to answer a question or produce new understanding through evidence, reasoning, or experiment.

resultresultpublic_projectionGeneral or domain usageA result is the outcome produced by a proof, computation, test, experiment, or decision process.

result_recordresult recordpublic_projectionSystem-local specializationA result record is the durable file a check writes with what it tested, what it found, and the boundary of that finding, as distinct from an ephemeral message shown while the run executes.

returnreturnpublic_projectionGeneral or domain usageTo return is to go back, hand control back, or produce a result to the caller or originating context.

rootrootpublic_projectionGeneral or domain usageA root is the designated starting or topmost point of a hierarchy, tree, directory structure, or derivation.

rosterrosterpublic_projectionGeneral or domain usageA roster is an organized list of the members, participants, or items recognized as belonging to a group.

routingroutingnavigationSystem-local specializationRouting is the path-selection step that maps a query, task, file path, or state to the smallest useful answer surface or owning work lane before source is opened.

rowrowpublic_projectionGeneral or domain usageA row is one horizontally or logically grouped record in a table, list, ledger, or structured collection.

row_jobrow jobruntimeSystem-coined termA row job is one predeclared, bounded change against a named row, finding, or artifact slice, recording the target, operation, allowed scope, expected delta, required check, and final receipt before any worker runs it.

rowabilityrowabilitynavigationSystem-coined termRowability means an artifact kind can be browsed as stable, source-linked rows instead of found by guessed keywords.

runrunpublic_projectionGeneral or domain usageA run is one execution of a program, command, test, experiment, or governed process.

runnablerunnablepublic_projectionGeneral or domain usageRunnable means a component ships everything needed to execute it locally: the code, its inputs, and a command, so a reader can produce the result rather than read about it.

runtimeruntimepublic_projectionGeneral or domain usageA runtime is the code and execution context active while a program or workflow is actually running, as distinct from its source files and static descriptions.

safetysafetypublic_projectionGeneral or domain usageSafety is the condition in which identified harms are prevented, limited, or kept within an accepted risk boundary.

sandboxsandboxpublic_projectionGeneral or domain usageA sandbox is an execution boundary that restricts which files, processes, networks, devices, or permissions a program can access while it runs.

scanscanpublic_projectionGeneral or domain usageA scan is a systematic pass over a defined collection to detect, count, classify, or extract selected features.

schemaschemapublic_projectionGeneral or domain usageA schema is a machine-readable contract describing which fields a structured record may or must contain, their types, and the constraints between them.

sciencesciencepublic_projectionGeneral or domain usageScience is the systematic study of phenomena through observation, explanation, prediction, and tests that can challenge the explanation.

scopescopepublic_projectionGeneral or domain usageScope is the declared set of objects, cases, operations, time, and conditions to which a statement, check, permission, or piece of work applies.

searchsearchpublic_projectionGeneral or domain usageSearch is the process of finding relevant records or text by matching a query against an indexed or inspectable collection.

secretsecretpublic_projectionGeneral or domain usageA secret is information whose disclosure is restricted because possession could grant access, enable misuse, or violate privacy or policy.

sectionsectionpublic_projectionGeneral or domain usageA section is a named or visually separated division of a larger document, page, process, or body of material.

semantic_namingsemantic namingnavigationSystem-coined termSemantic naming makes an identifier reveal an artifact’s role, authority, lifecycle state, and route to detail.

sequencesequencepublic_projectionGeneral or domain usageA sequence is an ordered list of terms indexed by positions, usually the positive integers, so each position has a specified value.

seriesseriespublic_projectionGeneral or domain usageIn Plectis, series can mean an infinite mathematical sum or an ordered stream of data values; the two uses are distinct.

setsetmathematical_conceptGeneral or domain usageA set is a collection determined by which distinct elements belong to it, without treating order or repetition as part of its identity.

shapeshapepublic_projectionGeneral or domain usageShape is the recognizable form, arrangement, or structural pattern of something, abstracted from some of its detail.

sharesharepublic_projectionGeneral or domain usageTo share is to make material, access, responsibility, or information available to more than one person, system, or context.

shared_pathshared pathpublic_projectionGeneral or domain usageThe shared path is the sequence most components on this site follow: state a claim, run a check against fixtures, write a result record, and record the scope limit of what that establishes.

showshowpublic_projectionGeneral or domain usageTo show something is to make it visible, present evidence of it, or demonstrate that it is the case.

sitesitepublic_projectionGeneral or domain usageA site is a collection of related web pages and resources published under a shared identity and navigation structure.

skillskillartifactSystem-local specializationA skill is a discoverable, reusable procedure that packages its invocation triggers, execution steps, constraints, and metadata so an agent does not have to reconstruct the workflow each time.

skipskippublic_projectionGeneral or domain usageTo skip something is to deliberately omit or pass over a step, item, or route.

sliceslicepublic_projectionGeneral or domain usageA slice is a bounded cut through a larger system: the specific files, paths, or records a piece of work covers, named so that what is inside and outside the cut is explicit.

smoke_checksmoke checkpublic_projectionGeneral or domain usageA smoke check is a fast, shallow check that the basics work at all, run before anything more detailed is attempted.

softwaresoftwarepublic_projectionGeneral or domain usageSoftware is the collection of code, data, configuration, and executable behavior that directs computing systems to perform tasks.

solutionsolutionmathematical_conceptGeneral or domain usageA solution is an answer or construction that satisfies every condition of a stated problem.

sourcesourcepublic_projectionGeneral or domain usageA source is the originating artifact, observation, or publication from which a statement, record, or projection draws its content or support.

source_bodysource bodypublic_projectionSystem-local specializationA source body is the actual code of a function or module carried into a public bundle, as opposed to a description, signature, or hash of it.

source_filesource filepublic_projectionGeneral or domain usageA source file is the human-written file a program is actually built from, as opposed to anything generated, compiled or copied from it.

source_slicesource sliceartifactSystem-coined termA source slice is the deliberately selected, bounded set of source files published to back the hosted pages and reader packets, excluding the remainder of the working tree.

specificationspecificationpublic_projectionGeneral or domain usageA specification is an explicit description of required behaviour, structure, interface, or constraints against which an implementation can be judged.

standardstandardartifactSystem-local specializationA standard is a machine-readable contract fixing an artifact kind's required fields, authority, validation, and maintenance rules in a form that both people and agents can inspect and check.

statestatepublic_projectionGeneral or domain usageState is the collection of values and conditions that describe a system or object at a particular time or stage.

statementstatementpublic_projectionGeneral or domain usageA statement is a sentence or formal expression that asserts a particular claim capable of being evaluated in context.

statement_nodestatement nodepublic_projectionSystem-local specializationA statement node is one mathematically distinct statement in the map over a proof corpus, which several declarations may share if they establish the same thing in different form.

statusstatuspublic_projectionGeneral or domain usageA status is a declared label describing an artifact's current position in a defined lifecycle or decision scheme.

stepsteppublic_projectionGeneral or domain usageA step is one bounded action, transformation, or inference within an ordered process or argument.

stopstoppublic_projectionGeneral or domain usageTo stop is to cease an activity, execution, process, or progression at a particular condition or point.

strengthstrengthpublic_projectionGeneral or domain usageStrength is the degree of force, support, capability, or resistance something has relative to a stated demand or comparison.

sumsummathematical_conceptGeneral or domain usageA sum is a quantity formed by addition; Plectis distinguishes finite exact sums from infinite sums defined by limits.

supportsupportpublic_projectionGeneral or domain usageOn Plectis, support can mean evidence backing a claim or, in the Erdős mathematics, the set of indices whose terms are included in a sum.

symbolsymbolpublic_projectionGeneral or domain usageA symbol is a mark, name, or token used by a language or notation to stand for an object, operation, relation, or instruction.

synth_seedsynth seedartifactSystem-coined termA synth seed is the current phase brief: its goal, success conditions, relevant files, and next execution wave distilled from durable intent.

syntheticsyntheticpublic_projectionGeneral or domain usageSynthetic means data made up for the purpose of a check, rather than taken from real use.

systemsystempublic_projectionGeneral or domain usageA system is a set of connected parts whose relationships let them perform or maintain something together.

targettargetpublic_projectionGeneral or domain usageA target is the specific object, destination, outcome, or condition toward which an action, route, check, or claim is directed.

termtermpublic_projectionGeneral or domain usageA term is a word or phrase given a particular meaning within a subject, document, or system.

terminalterminalpublic_projectionGeneral or domain usageThe terminal is the text interface where you type commands directly to your computer rather than clicking through a screen.

testtestpublic_projectionGeneral or domain usageA test is a defined procedure that supplies cases to a system and compares observed behavior with expected conditions.

texttextpublic_projectionGeneral or domain usageText is written language represented as characters rather than as an image, sound, or executable operation.

theoremtheorempublic_projectionGeneral or domain usageA theorem is a mathematical statement together with a proof of it.

theorytheorypublic_projectionGeneral or domain usageA theory is an organized body of definitions, assumptions, methods, and results used to explain or reason about a class of phenomena or structures.

tooltoolpublic_projectionGeneral or domain usageA tool is a program or instrument used to inspect, transform, validate, or operate on artifacts.

toolchaintoolchainpublic_projectionGeneral or domain usageA toolchain is the ordered set of compilers, interpreters, package managers, builders, and checkers used to turn source files into a runnable or verified result.

totienttotientpublic_projectionGeneral or domain usageThe totient of a whole number is how many smaller positive numbers share no factor with it.

transcripttranscriptpublic_projectionGeneral or domain usageA transcript is the recorded text of a session, kept so what was said or done can be reread rather than recalled.

trusttrustpublic_projectionGeneral or domain usageTrust is a willingness to rely on a person, system, source, or claim under particular expectations and risk.

truth_maintenancetruth maintenancediagnosticSystem-coined termTruth maintenance is the bookkeeping that ties each belief to its evidence, dependencies, invalidation conditions, and consequences so failed assumptions or contradictions are routed to repair instead of silently corrupting settled state.

type_aType AactorSystem-coined termA Type A is an actor with gated access to the live substrate, able to inspect current files and records, run tools, and perform mutations such as editing, validation, testing, committing, or routing work.

type_a_judgmentType A judgmentactorSystem-coined termType A judgment is a capable substrate actor's governed discernment for noticing what is missing, stale, or misplaced and inferring the right bounded destination from the system's own rules without waiting for a bespoke instruction.

type_a_metabolismType A metabolismruntimeSystem-coined termType A metabolism is the high-agency lane that resolves work with no settled rule—such as naming primitives, repairing contradictions, changing standards, or promoting principles—into governed structure that later routine work can follow.

type_a_operating_registerType A operating registeractorSystem-coined termThe Type A operating register is the expected conduct of a live-substrate agent: steward what it touches and durably route what it learns.

type_bType BactorSystem-coined termA Type B is an actor reasoning from context handed to it outside the live substrate, able to produce advice, drafts, or candidate answers but unable to inspect private files, run local commands, or mutate the system directly.

type_b_metabolismType B metabolismruntimeSystem-coined termType B metabolism is the bounded, deterministic upkeep lane for repeatable work after a structure is settled, such as syncing files, refreshing projections, filling records, and running checks rather than inventing new governing shapes.

typed_relationtyped relationpublic_projectionGeneral or domain usageA typed relation is a recorded link between two statements that says what kind of link it is: that one implies another, reformulates it, is a finite instance of it, or rules out a route to it.

up_propagateup-propagatepropagationSystem-coined termTo up-propagate is to move a reusable local lesson into the smallest durable system artifact that should carry it.

updateupdatepublic_projectionGeneral or domain usageAn update is a change that brings material, state, or software to a newer or corrected condition.

validatevalidatepublic_projectionGeneral or domain usageTo validate something is to check it against stated requirements or evidence and determine whether those requirements are satisfied.

validationvalidationpublic_projectionGeneral or domain usageValidation is the act of checking an artifact or result against a declared contract, acceptance condition, or allowed shape and recording the outcome.

validatorvalidatorpublic_projectionGeneral or domain usageA validator is a program or component that applies declared rules to an input and emits a structured pass, fail, warning, or blocked result.

valuevaluepublic_projectionGeneral or domain usageA value is the particular data, quantity, text, or status assigned to a variable, field, expression, or measurement.

variablevariablemathematical_conceptGeneral or domain usageA variable is a named value that may vary or be supplied later; in Plectis it appears both as a mathematical symbol and as a program or configuration value.

verificationverificationpublic_projectionGeneral or domain usageVerification is the act of confirming that a specific claim, output, or artifact matches its authoritative source or satisfies a precisely stated property.

versionversionpublic_projectionGeneral or domain usageA version is an identified state of an artifact or system at a particular point in its change history.

vulnerabilityvulnerabilitypublic_projectionGeneral or domain usageA vulnerability is a weakness that can be exploited or triggered to violate a system's intended security or safety properties.

wavewaveruntimeSystem-local specializationA wave is one bounded pass of execution inside a phase: a single planned unit of work with a stated objective, an execution mode, the paths it is allowed to touch, and a route for folding its outcome back into the system's durable record.

wholewholepublic_projectionGeneral or domain usageA whole is the complete object, collection, or system considered together rather than only one of its parts.

whole_system_correctnesswhole-system correctnesspublic_projectionSystem-local specializationWhole-system correctness is the claim that an entire system behaves correctly, used here mainly as an explicit boundary that no individual page, component, or passing check is allowed to assert.

workworkpublic_projectionGeneral or domain usageWork is purposeful effort that changes, examines, explains, or verifies something.

work_landingwork landingpublic_projectionSystem-coined termWork landing is the transition from attempted activity to a durable accepted result whose changes, validation, ownership, and closeout are recorded.

working_recordworking recordpublic_projectionSystem-local specializationA working record is the long-form rendered PDF that preserves the reasoning surface for one Plectis mathematics problem.

workingnessworkingnessdiagnosticSystem-coined termWorkingness is the system's condition of safe, useful self-knowledge—what it believes, why, what remains unknown, what would change its mind, and which actions uncertainty permits—rather than a count of passing tests.

workingness_instrumentWorkingness InstrumentartifactSystem-coined termA workingness instrument is the record that states what one live result proves and which changes that evidence permits or blocks.

zerozeromathematical_conceptGeneral or domain usageZero is the number that acts as the additive identity, so adding it leaves a number unchanged.

zonezonepublic_projectionGeneral or domain usageA zone is one thematic region of the map over the proof corpus, grouping the statements that belong to a single line of argument.