# Grammar records

> 332 records

This index as JSON: https://banes-lab.com/json/api/records/pag

## Fields

- `kind`: [document-type](https://banes-lab.com/api/facets/pag/kind/document-type.md) (17), [keyword](https://banes-lab.com/api/facets/pag/kind/keyword.md) (262), [production](https://banes-lab.com/api/facets/pag/kind/production.md) (44), [template](https://banes-lab.com/api/facets/pag/kind/template.md) (9)

## Entries

- [READ](https://banes-lab.com/records/pag/keyword-action-read.md): Input acquisition · lowers to READ_RESOURCE
- [WRITE](https://banes-lab.com/records/pag/keyword-action-write.md): Output generation · lowers to PERSIST_ARTIFACT
- [EXECUTE](https://banes-lab.com/records/pag/keyword-action-execute.md): Action invocation · lowers to EXECUTE_TOOL
- [CREATE](https://banes-lab.com/records/pag/keyword-action-create.md): Construction · lowers to COMPOSE_ARTIFACT
- [DELETE](https://banes-lab.com/records/pag/keyword-action-delete.md): Removal · an irreversible write, refused before it lands
- [FIND](https://banes-lab.com/records/pag/keyword-action-find.md): Discovery · lowers to DISCOVER_RESOURCES
- [ANALYZE](https://banes-lab.com/records/pag/keyword-action-analyze.md): Inspection · lowers to ANALYZE_CONTENT
- [VALIDATE](https://banes-lab.com/records/pag/keyword-action-validate.md): Verification · lowers to VALIDATE_ARTIFACT
- [VERIFY](https://banes-lab.com/records/pag/keyword-action-verify.md): Confirmation against evidence
- [EXTRACT](https://banes-lab.com/records/pag/keyword-action-extract.md): Isolation · lowers to EXTRACT_FACTS
- [COLLECT](https://banes-lab.com/records/pag/keyword-action-collect.md): Aggregation
- [FILTER](https://banes-lab.com/records/pag/keyword-action-filter.md): Selection
- [COMPARE](https://banes-lab.com/records/pag/keyword-action-compare.md): Comparison
- [CONVERT](https://banes-lab.com/records/pag/keyword-action-convert.md): Transformation · a lowering that names what it preserves
- [MERGE](https://banes-lab.com/records/pag/keyword-action-merge.md): Combination
- [SPLIT](https://banes-lab.com/records/pag/keyword-action-split.md): Division
- [SORT](https://banes-lab.com/records/pag/keyword-action-sort.md): Ordering
- [RANK](https://banes-lab.com/records/pag/keyword-action-rank.md): Prioritization · the ranking a worth gate reads
- [LINK](https://banes-lab.com/records/pag/keyword-action-link.md): Association · a declared edge, never a name match
- [REPORT](https://banes-lab.com/records/pag/keyword-action-report.md): Output · lowers to REPORT_RESULT
- [ADD](https://banes-lab.com/records/pag/keyword-action-add.md): Add to collection
- [APPEND](https://banes-lab.com/records/pag/keyword-action-append.md): Append to end
- [INSERT](https://banes-lab.com/records/pag/keyword-action-insert.md): Insert at position
- [REMOVE](https://banes-lab.com/records/pag/keyword-action-remove.md): Remove from collection
- [MOVE](https://banes-lab.com/records/pag/keyword-action-move.md): Relocation · a create at the destination, read before it lands
- [COPY](https://banes-lab.com/records/pag/keyword-action-copy.md): Duplication · a second derivation of one fact, declared as such
- [BACKUP](https://banes-lab.com/records/pag/keyword-action-backup.md): Preservation of the last accepted state before a mutation
- [RESTORE](https://banes-lab.com/records/pag/keyword-action-restore.md): Recovery of the last accepted state
- [LOAD](https://banes-lab.com/records/pag/keyword-action-load.md): Resource acquisition · lowers to READ_RESOURCE
- [SEND](https://banes-lab.com/records/pag/keyword-action-send.md): Communication · lowers to REPORT_RESULT
- [WAIT](https://banes-lab.com/records/pag/keyword-action-wait.md): Timing control · waiting has a command
- [ATTEMPT](https://banes-lab.com/records/pag/keyword-action-attempt.md): Trial operation
- [FAIL](https://banes-lab.com/records/pag/keyword-action-fail.md): Error termination · loud at the boundary
- [EXIT](https://banes-lab.com/records/pag/keyword-action-exit.md): Exit execution
- [RETURN](https://banes-lab.com/records/pag/keyword-action-return.md): Return value · how a bounded reader ends
- [ITERATE](https://banes-lab.com/records/pag/keyword-action-iterate.md): Repetition
- [INVESTIGATE](https://banes-lab.com/records/pag/keyword-action-investigate.md): Deep analysis
- [DETERMINE](https://banes-lab.com/records/pag/keyword-action-determine.md): Decision making
- [ENFORCE](https://banes-lab.com/records/pag/keyword-action-enforce.md): Constraint application
- [EVIDENCE](https://banes-lab.com/records/pag/keyword-action-evidence.md): Proof provision
- [PROPAGATE](https://banes-lab.com/records/pag/keyword-action-propagate.md): Change distribution · the ripple through declared dependencies
- [FINALIZE](https://banes-lab.com/records/pag/keyword-action-finalize.md): Completion
- [REDUCE](https://banes-lab.com/records/pag/keyword-action-reduce.md): Aggregation · a fusion that drops nothing live
- [RENAME](https://banes-lab.com/records/pag/keyword-action-rename.md): Name modification · every referencing surface enumerated first
- [ORDER](https://banes-lab.com/records/pag/keyword-action-order.md): Arrangement
- [MARK](https://banes-lab.com/records/pag/keyword-action-mark.md): Annotation
- [PREDICT](https://banes-lab.com/records/pag/keyword-action-predict.md): Infer a future state
- [CLASSIFY](https://banes-lab.com/records/pag/keyword-action-classify.md): Group by kind
- [EXPLAIN](https://banes-lab.com/records/pag/keyword-action-explain.md): Identify the mechanism
- [REFLECT](https://banes-lab.com/records/pag/keyword-action-reflect.md): Discover the principle behind the examples
- [ABSTRACT](https://banes-lab.com/records/pag/keyword-action-abstract.md): Remove irrelevant detail
- [GENERALIZE](https://banes-lab.com/records/pag/keyword-action-generalize.md): Extend examples into a principle
- [DESCRIBE](https://banes-lab.com/records/pag/keyword-action-describe.md): Characterize an object
- [FORMALIZE](https://banes-lab.com/records/pag/keyword-action-formalize.md): Express symbolically
- [IF](https://banes-lab.com/records/pag/keyword-control-flow-if.md): Conditional execution
- [ELSE](https://banes-lab.com/records/pag/keyword-control-flow-else.md): Alternative branch
- [FOR](https://banes-lab.com/records/pag/keyword-control-flow-for.md): Iteration start
- [EACH](https://banes-lab.com/records/pag/keyword-control-flow-each.md): Iterator marker
- [WHILE](https://banes-lab.com/records/pag/keyword-control-flow-while.md): Conditional loop
- [TRY](https://banes-lab.com/records/pag/keyword-control-flow-try.md): Exception handling start
- [CATCH](https://banes-lab.com/records/pag/keyword-control-flow-catch.md): Exception handler
- [EXCEPT](https://banes-lab.com/records/pag/keyword-control-flow-except.md): Exception alternative
- [FINALLY](https://banes-lab.com/records/pag/keyword-control-flow-finally.md): Cleanup block
- [MATCH](https://banes-lab.com/records/pag/keyword-control-flow-match.md): Pattern matching
- [CASE](https://banes-lab.com/records/pag/keyword-control-flow-case.md): Match branch
- [DEFAULT](https://banes-lab.com/records/pag/keyword-control-flow-default.md): Fallback case · a declared default, never a masked failure
- [WHEN](https://banes-lab.com/records/pag/keyword-control-flow-when.md): Event trigger
- [UNLESS](https://banes-lab.com/records/pag/keyword-control-flow-unless.md): Negated conditional
- [UNTIL](https://banes-lab.com/records/pag/keyword-control-flow-until.md): Loop terminator
- [GUARD](https://banes-lab.com/records/pag/keyword-control-flow-guard.md): Early exit check
- [BREAK](https://banes-lab.com/records/pag/keyword-control-flow-break.md): Exit loop
- [CONTINUE](https://banes-lab.com/records/pag/keyword-control-flow-continue.md): Skip iteration
- [GOTO](https://banes-lab.com/records/pag/keyword-control-flow-goto.md): Jump to label
- [START](https://banes-lab.com/records/pag/keyword-control-flow-start.md): Flow start marker
- [END](https://banes-lab.com/records/pag/keyword-control-flow-end.md): Flow end marker
- [STOP](https://banes-lab.com/records/pag/keyword-control-flow-stop.md): Termination
- [LOOP](https://banes-lab.com/records/pag/keyword-control-flow-loop.md): Loop marker
- [STEP](https://banes-lab.com/records/pag/keyword-control-flow-step.md): Step marker
- [RULE](https://banes-lab.com/records/pag/keyword-control-flow-rule.md): Rule definition
- [IN](https://banes-lab.com/records/pag/keyword-control-flow-in.md): Containment test
- [MATCHES](https://banes-lab.com/records/pag/keyword-control-flow-matches.md): Pattern test
- [SET](https://banes-lab.com/records/pag/keyword-declaration-set.md): Variable assignment
- [DECLARE](https://banes-lab.com/records/pag/keyword-declaration-declare.md): Typed declaration
- [DEFINE](https://banes-lab.com/records/pag/keyword-declaration-define.md): Constant definition
- [LET](https://banes-lab.com/records/pag/keyword-declaration-let.md): Local binding
- [CONST](https://banes-lab.com/records/pag/keyword-declaration-const.md): Immutable value
- [MUST](https://banes-lab.com/records/pag/keyword-modifier-must.md): Mandatory requirement · a modifier inside a property
- [NEVER](https://banes-lab.com/records/pag/keyword-modifier-never.md): Prohibition · a modifier inside a property
- [ALWAYS](https://banes-lab.com/records/pag/keyword-modifier-always.md): Invariance · a modifier inside a property
- [REQUIRED](https://banes-lab.com/records/pag/keyword-modifier-required.md): Necessity marker
- [MANDATORY](https://banes-lab.com/records/pag/keyword-modifier-mandatory.md): Obligation marker
- [CRITICAL](https://banes-lab.com/records/pag/keyword-modifier-critical.md): Repair ordering among failures, never a softer verdict
- [ABSOLUTE](https://banes-lab.com/records/pag/keyword-modifier-absolute.md): No exceptions
- [FORBIDDEN](https://banes-lab.com/records/pag/keyword-modifier-forbidden.md): Absolute prohibition
- [AWAIT](https://banes-lab.com/records/pag/keyword-coordination-await.md): Async wait · waiting has a command, a turn never ends to wait
- [PARALLEL](https://banes-lab.com/records/pag/keyword-coordination-parallel.md): Concurrent execution
- [DELEGATE](https://banes-lab.com/records/pag/keyword-coordination-delegate.md): Task handoff · a bounded reader receives a task and returns
- [QUEUE](https://banes-lab.com/records/pag/keyword-coordination-queue.md): Task queuing
- [RETRY](https://banes-lab.com/records/pag/keyword-coordination-retry.md): Retry on failure · bounded by a declared limit
- [LOCK](https://banes-lab.com/records/pag/keyword-coordination-lock.md): Resource lock · the barrier around an exclusive write
- [UNLOCK](https://banes-lab.com/records/pag/keyword-coordination-unlock.md): Release lock
- [SURFACE](https://banes-lab.com/records/pag/keyword-coordination-surface.md): A file parties read and write · its key declared in the header, never derived from the path
- [RECORD](https://banes-lab.com/records/pag/keyword-coordination-record.md): One addressable claim inside a surface · exactly one writer
- [ITEM](https://banes-lab.com/records/pag/keyword-coordination-item.md): An addressed span inside a record · its id allocated by the tool
- [PARENT](https://banes-lab.com/records/pag/keyword-coordination-parent.md): Edge · the target reduces this surface upward
- [SATISFIED_BY](https://banes-lab.com/records/pag/keyword-coordination-satisfied-by.md): Edge · the record resolves when the artifact exists
- [BLOCKS](https://banes-lab.com/records/pag/keyword-coordination-blocks.md): Edge · the target cannot close first
- [ANSWERS](https://banes-lab.com/records/pag/keyword-coordination-answers.md): Edge · this record acts on the target
- [REFUTES](https://banes-lab.com/records/pag/keyword-coordination-refutes.md): Edge · this record contradicts the target with evidence
- [SUPERSEDES](https://banes-lab.com/records/pag/keyword-coordination-supersedes.md): Edge · this record replaces the target
- [OPEN](https://banes-lab.com/records/pag/keyword-coordination-open.md): Derived state · an unresolved outbound edge, never written
- [ABSORBED](https://banes-lab.com/records/pag/keyword-coordination-absorbed.md): Derived state · the satisfying artifact exists; extract, then delete
- [READER](https://banes-lab.com/records/pag/keyword-coordination-reader.md): A party's class, derived from what it received · participant or bounded
- [WAIT](https://banes-lab.com/records/pag/keyword-coordination-wait.md): Post and wait as one operation · reports the diff since this reader last looked
- [BARRIER](https://banes-lab.com/records/pag/keyword-coordination-barrier.md): Proceed with an exclusive write only once every peer is parked
- [SWAP](https://banes-lab.com/records/pag/keyword-coordination-swap.md): Compare-and-swap on the writer's own span · refuses an overlap with its diff
- [STATE_MACHINE](https://banes-lab.com/records/pag/keyword-state-machine-state-machine.md): Machine declaration · makes a lifetime or a derived-state set explicit
- [STATE](https://banes-lab.com/records/pag/keyword-state-machine-state.md): State definition · a state is derived from the graph, never written
- [TRANSITION](https://banes-lab.com/records/pag/keyword-state-machine-transition.md): State change rule
- [ON](https://banes-lab.com/records/pag/keyword-state-machine-on.md): Event trigger
- [FROM](https://banes-lab.com/records/pag/keyword-state-machine-from.md): Source state
- [TO](https://banes-lab.com/records/pag/keyword-state-machine-to.md): Target state
- [ENTRY](https://banes-lab.com/records/pag/keyword-state-machine-entry.md): Entry action
- [EXIT](https://banes-lab.com/records/pag/keyword-state-machine-exit.md): Exit action
- [DAG](https://banes-lab.com/records/pag/keyword-dag-dag.md): Graph declaration · makes a dependency graph explicit; the loop spine is one
- [NODE](https://banes-lab.com/records/pag/keyword-dag-node.md): Node definition
- [DEPENDS_ON](https://banes-lab.com/records/pag/keyword-dag-depends-on.md): Dependencies · declared by the referent, never inferred from a name
- [AFTER](https://banes-lab.com/records/pag/keyword-dag-after.md): Sequencing
- [BEFORE](https://banes-lab.com/records/pag/keyword-dag-before.md): Reverse sequencing
- [PARALLEL_GROUP](https://banes-lab.com/records/pag/keyword-dag-parallel-group.md): Parallel nodes · peers with no edge between them
- [PRIORITY_QUEUE](https://banes-lab.com/records/pag/keyword-priority-queue-priority-queue.md): Queue declaration · makes a ranking explicit; the branch ranking a worth gate emits is one
- [PRIORITY](https://banes-lab.com/records/pag/keyword-priority-queue-priority.md): Priority value · utility minus cost
- [ENQUEUE](https://banes-lab.com/records/pag/keyword-priority-queue-enqueue.md): Add to queue
- [DEQUEUE](https://banes-lab.com/records/pag/keyword-priority-queue-dequeue.md): Remove from queue
- [PEEK](https://banes-lab.com/records/pag/keyword-priority-queue-peek.md): View top item · the selected branch
- [HEAPIFY](https://banes-lab.com/records/pag/keyword-priority-queue-heapify.md): Reorder queue
- [COMPARE_BY](https://banes-lab.com/records/pag/keyword-priority-queue-compare-by.md): Comparison function
- [FLOWCHART](https://banes-lab.com/records/pag/keyword-flowchart-flowchart.md): Flow declaration · the rendered projection of a declared structure
- [MERMAID](https://banes-lab.com/records/pag/keyword-flowchart-mermaid.md): Diagram syntax · a rendering, never the structure itself
- [LAYOUT](https://banes-lab.com/records/pag/keyword-flowchart-layout.md): Flow direction
- [SUBGRAPH](https://banes-lab.com/records/pag/keyword-flowchart-subgraph.md): Nested group
- [AGENT](https://banes-lab.com/records/pag/keyword-document-type-agent.md): Agent definition
- [WORKFLOW](https://banes-lab.com/records/pag/keyword-document-type-workflow.md): Multi-node process
- [PROTOCOL](https://banes-lab.com/records/pag/keyword-document-type-protocol.md): Standard procedures
- [POLICY](https://banes-lab.com/records/pag/keyword-document-type-policy.md): Constraint system
- [CHECKLIST](https://banes-lab.com/records/pag/keyword-document-type-checklist.md): Task tracking
- [TEMPLATE](https://banes-lab.com/records/pag/keyword-document-type-template.md): Reusable pattern
- [TASK](https://banes-lab.com/records/pag/keyword-document-type-task.md): Single objective
- [INSTRUCTION](https://banes-lab.com/records/pag/keyword-document-type-instruction.md): General guidance
- [PROMPT](https://banes-lab.com/records/pag/keyword-document-type-prompt.md): Model interaction
- [COMMAND](https://banes-lab.com/records/pag/keyword-document-type-command.md): Executable command
- [TEST](https://banes-lab.com/records/pag/keyword-document-type-test.md): Test specification
- [DEBUG](https://banes-lab.com/records/pag/keyword-document-type-debug.md): Debugging session
- [VERIFICATION](https://banes-lab.com/records/pag/keyword-document-type-verification.md): Compliance verification
- [DISTILLATION](https://banes-lab.com/records/pag/keyword-document-type-distillation.md): Pattern distillation
- [AUDIT](https://banes-lab.com/records/pag/keyword-document-type-audit.md): Forensic audit
- [TRANSLATION](https://banes-lab.com/records/pag/keyword-document-type-translation.md): Translation audit
- [COMPOSITION](https://banes-lab.com/records/pag/keyword-document-type-composition.md): Document composition
- [IS](https://banes-lab.com/records/pag/keyword-document-verb-is.md): Identity
- [ENFORCES](https://banes-lab.com/records/pag/keyword-document-verb-enforces.md): Constraint
- [EXECUTES](https://banes-lab.com/records/pag/keyword-document-verb-executes.md): Action
- [HAS](https://banes-lab.com/records/pag/keyword-document-verb-has.md): Possession
- [PERFORMS](https://banes-lab.com/records/pag/keyword-document-verb-performs.md): Behavior
- [PROVIDES](https://banes-lab.com/records/pag/keyword-document-verb-provides.md): Offering
- [IMPLEMENTS](https://banes-lab.com/records/pag/keyword-document-verb-implements.md): Realization
- [DEFINES](https://banes-lab.com/records/pag/keyword-document-verb-defines.md): Specification
- [MANAGES](https://banes-lab.com/records/pag/keyword-document-verb-manages.md): Control
- [COORDINATES](https://banes-lab.com/records/pag/keyword-document-verb-coordinates.md): Orchestration
- [GENERATES](https://banes-lab.com/records/pag/keyword-document-verb-generates.md): Creation
- [RESOLVES](https://banes-lab.com/records/pag/keyword-document-verb-resolves.md): Resolution
- [FINDS](https://banes-lab.com/records/pag/keyword-document-verb-finds.md): Discovery
- [FIXES](https://banes-lab.com/records/pag/keyword-document-verb-fixes.md): Correction
- [VERIFIES](https://banes-lab.com/records/pag/keyword-document-verb-verifies.md): Verification
- [CLASSIFIES](https://banes-lab.com/records/pag/keyword-document-verb-classifies.md): Classification
- [DISTILLS](https://banes-lab.com/records/pag/keyword-document-verb-distills.md): Distillation
- [ABSTRACTS](https://banes-lab.com/records/pag/keyword-document-verb-abstracts.md): Abstraction
- [ELIMINATES](https://banes-lab.com/records/pag/keyword-document-verb-eliminates.md): Elimination
- [AUDITS](https://banes-lab.com/records/pag/keyword-document-verb-audits.md): Audit
- [MEASURES](https://banes-lab.com/records/pag/keyword-document-verb-measures.md): Measurement
- [SCORES](https://banes-lab.com/records/pag/keyword-document-verb-scores.md): Scoring
- [CORRECTS](https://banes-lab.com/records/pag/keyword-document-verb-corrects.md): Correction
- [RENDERS](https://banes-lab.com/records/pag/keyword-document-verb-renders.md): Rendering
- [COMPOSES](https://banes-lab.com/records/pag/keyword-document-verb-composes.md): Composition
- [FOLDS](https://banes-lab.com/records/pag/keyword-document-verb-folds.md): Folding
- [META](https://banes-lab.com/records/pag/keyword-meta-meta.md): Metadata block
- [USE](https://banes-lab.com/records/pag/keyword-meta-use.md): Template usage
- [TEMPLATE](https://banes-lab.com/records/pag/keyword-meta-template.md): Template reference
- [CUE](https://banes-lab.com/records/pag/keyword-meta-cue.md): The one-line reminder a reader executes at a node
- [RECURSION_LIMIT](https://banes-lab.com/records/pag/keyword-meta-recursion-limit.md): A bound on repair, declared in the meta block
- [PURPOSE](https://banes-lab.com/records/pag/keyword-meta-purpose.md): What a node decides, in one sentence
- [AXIS_QUESTION](https://banes-lab.com/records/pag/keyword-meta-axis-question.md): The question a node's axis asks
- [PRIORITY](https://banes-lab.com/records/pag/keyword-meta-priority.md): The authority tiers · which source grounds which, highest first
- [TRUST](https://banes-lab.com/records/pag/keyword-meta-trust.md): What is trusted as evidence and what stays a claim
- [JURISDICTION](https://banes-lab.com/records/pag/keyword-meta-jurisdiction.md): What the document may touch, and what is declared outside it
- [ASSERT](https://banes-lab.com/records/pag/keyword-validation-assert.md): Hard assertion
- [REQUIRE](https://banes-lab.com/records/pag/keyword-validation-require.md): Prerequisite check
- [HANDOFF](https://banes-lab.com/records/pag/keyword-validation-handoff.md): Gate marker · the evidence-bearing gate that closes a node
- [GATE](https://banes-lab.com/records/pag/keyword-validation-gate.md): Checkpoint marker
- [CHECK](https://banes-lab.com/records/pag/keyword-validation-check.md): A check in a gate · a claim about the output with the evidence that settles it
- [POPULATION](https://banes-lab.com/records/pag/keyword-validation-population.md): The set a check ranges over, measured · zero of zero is not evidence
- [REFUSE](https://banes-lab.com/records/pag/keyword-validation-refuse.md): Where a node refuses to continue · named before the irreversible write
- [FRESHNESS](https://banes-lab.com/records/pag/keyword-validation-freshness.md): The fingerprints an artifact was derived from · a semantic property, never a timestamp
- [STANDING](https://banes-lab.com/records/pag/keyword-validation-standing.md): Whether the read set moved beneath the verdict · a non-empty moved set withdraws the standing, never the verdict
- [UNKNOWN](https://banes-lab.com/records/pag/keyword-validation-unknown.md): The third verdict · an unmeasured or unevidenced claim, never a pass
- [BLOCKED](https://banes-lab.com/records/pag/keyword-validation-blocked.md): The closure of an unknown or an unanswered decision · external input is owed
- [PROMOTE](https://banes-lab.com/records/pag/keyword-validation-promote.md): Move a candidate into accepted state · only on a clean verdict, never on production
- [PUBLISH](https://banes-lab.com/records/pag/keyword-validation-publish.md): Cross the boundary to the external system · the party that crosses it is named
- [RESULT](https://banes-lab.com/records/pag/keyword-validation-result.md): The result line · the next node on pass, the repair owner on failure, blocked on unknown
- [REPAIR](https://banes-lab.com/records/pag/keyword-validation-repair.md): The repair edge · re-enters at the earliest node that can supply the missing evidence
- [RULE_ID](https://banes-lab.com/records/pag/keyword-validation-rule-id.md): The gate's identity, the node it closes
- [SUBJECT](https://banes-lab.com/records/pag/keyword-report-subject.md): The node or stage the report is about
- [VERDICT](https://banes-lab.com/records/pag/keyword-report-verdict.md): The value returned · pass, fail or unknown
- [DOMAIN](https://banes-lab.com/records/pag/keyword-report-domain.md): The population declared and the population measured
- [POPULATIONS](https://banes-lab.com/records/pag/keyword-report-populations.md): The partitions, each measured · their sum is the whole
- [INPUTS](https://banes-lab.com/records/pag/keyword-report-inputs.md): The inputs read, by identity and fingerprint
- [CODE](https://banes-lab.com/records/pag/keyword-report-code.md): The fingerprint of the code that produced the verdict
- [OUTPUT](https://banes-lab.com/records/pag/keyword-report-output.md): The artifact written, by identity and fingerprint
- [REFUSALS](https://banes-lab.com/records/pag/keyword-report-refusals.md): How many times the stage refused, and why
- [OBSERVED](https://banes-lab.com/records/pag/keyword-report-observed.md): What runtime observation located, kept apart from the verdict
- [UNRESOLVED](https://banes-lab.com/records/pag/keyword-report-unresolved.md): What stays open, and why
- [COMPLETION](https://banes-lab.com/records/pag/keyword-report-completion.md): Saturated, complete and verified · the three that must coincide
- [INVARIANT](https://banes-lab.com/records/pag/keyword-invariant-invariant.md): The record head · a property the topology relies on, with its set, its parties and its objector
- [PROPERTY](https://banes-lab.com/records/pag/keyword-invariant-property.md): The property, in a form that could be false
- [OVER](https://banes-lab.com/records/pag/keyword-invariant-over.md): The set the property quantifies over
- [BINDS](https://banes-lab.com/records/pag/keyword-invariant-binds.md): The parties the property constrains · who must receive it
- [OBJECTOR](https://banes-lab.com/records/pag/keyword-invariant-objector.md): What would disagree if the property stopped holding · a check, or none as declared debt
- [NODE](https://banes-lab.com/records/pag/keyword-node-node.md): A node header · the unit of a document, one decision, one gate
- [CONTRACT](https://banes-lab.com/records/pag/keyword-node-contract.md): A node's contract · input, transform, constraints, output, handoff
- [YIELDS](https://banes-lab.com/records/pag/keyword-node-yields.md): The shape a node's decision resolves to
- [GENESIS](https://banes-lab.com/records/pag/keyword-node-genesis.md): The substrate stage the node's artifact comes to be at · phase order follows it
- [PRESERVES](https://banes-lab.com/records/pag/keyword-node-preserves.md): The distinctions a transform keeps · a lowering names what a later check needs
- [OUTPUT_CONTRACT](https://banes-lab.com/records/pag/keyword-node-output-contract.md): The one record the next node reads, as an assignment
- [LIMIT](https://banes-lab.com/records/pag/keyword-node-limit.md): A declared limit · stated where a reader would otherwise assume the opposite
- [SLOT](https://banes-lab.com/records/pag/keyword-node-slot.md): A slot's state · resolved, absent or deferred, declared by the adapter
- [DISCOVER_RESOURCES](https://banes-lab.com/records/pag/keyword-semantic-operation-discover-resources.md): Find resources by pattern · the adapter maps GLOB to it
- [READ_RESOURCE](https://banes-lab.com/records/pag/keyword-semantic-operation-read-resource.md): Read one resource · the adapter maps READ to it
- [SEARCH_CONTENT](https://banes-lab.com/records/pag/keyword-semantic-operation-search-content.md): Search content for a term · the adapter maps GREP to it
- [ANALYZE_CONTENT](https://banes-lab.com/records/pag/keyword-semantic-operation-analyze-content.md): Analyze content against criteria
- [EXTRACT_FACTS](https://banes-lab.com/records/pag/keyword-semantic-operation-extract-facts.md): Isolate fields from content, preserving its meaning
- [CALCULATE_METRIC](https://banes-lab.com/records/pag/keyword-semantic-operation-calculate-metric.md): Derive a measure from facts
- [COMPOSE_ARTIFACT](https://banes-lab.com/records/pag/keyword-semantic-operation-compose-artifact.md): Compose an artifact from facts using a shape
- [VALIDATE_ARTIFACT](https://banes-lab.com/records/pag/keyword-semantic-operation-validate-artifact.md): Validate an artifact against a schema
- [PERSIST_ARTIFACT](https://banes-lab.com/records/pag/keyword-semantic-operation-persist-artifact.md): Persist an artifact to a destination · the adapter maps WRITE and EDIT to it; a refusal is named before it
- [EXECUTE_TOOL](https://banes-lab.com/records/pag/keyword-semantic-operation-execute-tool.md): Execute a command with a bound · the adapter maps BASH to it
- [REQUEST_DECISION](https://banes-lab.com/records/pag/keyword-semantic-operation-request-decision.md): Ask a party to decide · the adapter maps ASK_USER to it, and resolves it absent for a bounded reader
- [REPORT_RESULT](https://banes-lab.com/records/pag/keyword-semantic-operation-report-result.md): Report an artifact to the parties whose next work it creates
- [INTO](https://banes-lab.com/records/pag/keyword-contextual-into.md): Destination
- [FROM](https://banes-lab.com/records/pag/keyword-contextual-from.md): Source
- [WITH](https://banes-lab.com/records/pag/keyword-contextual-with.md): Association
- [USING](https://banes-lab.com/records/pag/keyword-contextual-using.md): Instrument
- [FOR](https://banes-lab.com/records/pag/keyword-contextual-for.md): Purpose/Iteration
- [IN](https://banes-lab.com/records/pag/keyword-contextual-in.md): Containment
- [TO](https://banes-lab.com/records/pag/keyword-contextual-to.md): Target
- [AS](https://banes-lab.com/records/pag/keyword-contextual-as.md): Alias/Role
- [BETWEEN](https://banes-lab.com/records/pag/keyword-contextual-between.md): Range
- [AGAINST](https://banes-lab.com/records/pag/keyword-contextual-against.md): Comparison target
- [BASED_ON](https://banes-lab.com/records/pag/keyword-contextual-based-on.md): Foundation
- [WITHOUT](https://banes-lab.com/records/pag/keyword-contextual-without.md): Exclusion
- [WHERE](https://banes-lab.com/records/pag/keyword-contextual-where.md): Filter condition
- [CONTENT](https://banes-lab.com/records/pag/keyword-contextual-content.md): Data marker
- [NOT](https://banes-lab.com/records/pag/keyword-contextual-not.md): Negation
- [STYLE](https://banes-lab.com/records/pag/keyword-contextual-style.md): Formatting
- [instruction](https://banes-lab.com/records/pag/production-instruction.md): <frontmatter> <optional_meta_block> <optional_document_declaration> <body>
- [frontmatter](https://banes-lab.com/records/pag/production-frontmatter.md): "---" <yaml_content> "---"
- [document_declaration](https://banes-lab.com/records/pag/production-document-declaration.md): "THIS" <document_type> <document_verb> <description>
- [meta_block](https://banes-lab.com/records/pag/production-meta-block.md): "%%" "META" "%%" ":" <meta_field>+
- [meta_field](https://banes-lab.com/records/pag/production-meta-field.md): "objective:" <string> | "priority:" <authority_chain> | "trust:" <trust_clause> | "jurisdiction:" <scope> "|" "external:" <scope> | "recursion_limit:" <bound>
- [body](https://banes-lab.com/records/pag/production-body.md): <node>+ <repair_edge>* <optional_invariant_block> <optional_report_block>
- [node](https://banes-lab.com/records/pag/production-node.md): <node_header> <node_meta_tag>* <contract> <optional_output_contract> <handoff_gate>
- [node_header](https://banes-lab.com/records/pag/production-node-header.md): "#" "NODE" <node_number> "—" <node_title> "[" <layer> "·" <axis> "·" <math_type> "·" "yields:" <shape> "]"
- [node_meta_tag](https://banes-lab.com/records/pag/production-node-meta-tag.md): "@purpose:" <string> | "@axis_question:" <string> | "@cue:" <string> | "@genesis:" <substrate_stage> | "@mandatory"
- [contract](https://banes-lab.com/records/pag/production-contract.md): "CONTRACT:" "input:" <contract_input> "transform:" <directive>+ <optional_preserves> <optional_constraints> "output:" <contract_output> <optional_freshness> <optional_handoff_summary>
- [preserves_clause](https://banes-lab.com/records/pag/production-preserves-clause.md): "preserves:" <distinction_set>
- [freshness_clause](https://banes-lab.com/records/pag/production-freshness-clause.md): "freshness:" <fingerprint> "+" <fingerprint>
- [handoff_gate](https://banes-lab.com/records/pag/production-handoff-gate.md): "HANDOFF" "GATE" <optional_gate_qualifier> ":" <optional_rule_id> <check_line>+ <optional_refusal_line> <optional_standing_line> <result_line>
- [check_line](https://banes-lab.com/records/pag/production-check-line.md): <check_marker> <check_condition> "(evidence:" <check_evidence> ")" <optional_population_clause>
- [check_marker](https://banes-lab.com/records/pag/production-check-marker.md): "[check]" | "ASSERT" | "REQUIRE"
- [population_clause](https://banes-lab.com/records/pag/production-population-clause.md): "over:" <set> "measured:" <count> "/" <count>
- [refusal_line](https://banes-lab.com/records/pag/production-refusal-line.md): "refuse:" <condition> "before" <write>
- [standing_line](https://banes-lab.com/records/pag/production-standing-line.md): "standing:" "moved-set" <set>
- [result_line](https://banes-lab.com/records/pag/production-result-line.md): "result:" "pass" <arrow> <next_node> ("|" <failure_name> <arrow> "REPAIR" "(owner:" <owner_node> ")")+ "|" "unknown" <arrow> "BLOCKED"
- [arrow](https://banes-lab.com/records/pag/production-arrow.md): "→" | "->"
- [repair_edge](https://banes-lab.com/records/pag/production-repair-edge.md): "#" "REPAIR" "EDGE" <description>
- [invariant_block](https://banes-lab.com/records/pag/production-invariant-block.md): "#" "CROSS-NODE" "INVARIANTS" <invariant_record>+
- [invariant_record](https://banes-lab.com/records/pag/production-invariant-record.md): "INVARIANT" <name> ":" <property> "over:" <set> "binds:" <parties> "objector:" (<check_ref> | "none")
- [report_block](https://banes-lab.com/records/pag/production-report-block.md): "REPORT" ":" <report_field>+
- [report_field](https://banes-lab.com/records/pag/production-report-field.md): "subject:" <node_ref> | "verdict:" <verdict> | "domain:" "declared" <count> "measured" <count> | "populations:" <partition_list> | "inputs:" <fingerprint_list> | "code:" <fingerprint> | "output:" <fingerprint> | "refusals:" <count> <reason_list> | "observed:" <count> <location_list> | "unresolved:" <count> <reason_list> | "completion:" "saturated" <boolean> "complete" <boolean> "verified" <boolean>
- [verdict](https://banes-lab.com/records/pag/production-verdict.md): "pass" | "fail" | "unknown"
- [semantic_operation](https://banes-lab.com/records/pag/production-semantic-operation.md): "DISCOVER_RESOURCES" | "READ_RESOURCE" | "SEARCH_CONTENT" | "ANALYZE_CONTENT" | "EXTRACT_FACTS" | "CALCULATE_METRIC" | "COMPOSE_ARTIFACT" | "VALIDATE_ARTIFACT" | "PERSIST_ARTIFACT" | "EXECUTE_TOOL" | "REQUEST_DECISION" | "REPORT_RESULT"
- [tool_invocation](https://banes-lab.com/records/pag/production-tool-invocation.md): <semantic_operation> <tool_target> <optional_tool_param_clause> <optional_tool_result_clause>
- [tool_result_clause](https://banes-lab.com/records/pag/production-tool-result-clause.md): <arrow> <tool_result_binding> | "INTO" <tool_result_binding> | "AS" <tool_result_binding>
- [state_machine_declaration](https://banes-lab.com/records/pag/production-state-machine-declaration.md): "STATE_MACHINE" <machine_name> ":" <state_definition>+ <transition_definition>+
- [dag_declaration](https://banes-lab.com/records/pag/production-dag-declaration.md): "DAG" <dag_name> ":" <dag_item>+
- [priority_queue_declaration](https://banes-lab.com/records/pag/production-priority-queue-declaration.md): "PRIORITY_QUEUE" <queue_name> <optional_comparison> ":"
- [flowchart_declaration](https://banes-lab.com/records/pag/production-flowchart-declaration.md): "FLOWCHART" <flow_name> ":" <optional_layout> <flow_item>+
- [surface_declaration](https://banes-lab.com/records/pag/production-surface-declaration.md): "SURFACE" <surface_key> ":" <record_declaration>+
- [record_declaration](https://banes-lab.com/records/pag/production-record-declaration.md): "RECORD" <record_id> "subject:" <subject_key> <edge_clause>*
- [edge_clause](https://banes-lab.com/records/pag/production-edge-clause.md): <edge_kind> <target_id>
- [edge_kind](https://banes-lab.com/records/pag/production-edge-kind.md): "PARENT" | "SATISFIED_BY" | "BLOCKS" | "ANSWERS" | "REFUTES" | "SUPERSEDES"
- [wait_statement](https://banes-lab.com/records/pag/production-wait-statement.md): "WAIT" "ON" <surface_key> "AS" <reader> "INTO" <diff_binding>
- [directive](https://banes-lab.com/records/pag/production-directive.md): <optional_task_marker> <optional_meta_tag> <optional_context_cue> <directive_body>
- [action_expr](https://banes-lab.com/records/pag/production-action-expr.md): <action_verb> <modifier>* <action_target> <optional_action_args>
- [if_statement](https://banes-lab.com/records/pag/production-if-statement.md): "IF" <condition> ":" <directive>+ ("ELSE" "IF" <condition> ":" <directive>+)* <optional_else_clause>
- [for_loop](https://banes-lab.com/records/pag/production-for-loop.md): "FOR" "EACH" <iterator> "IN" <collection> ":" <directive>+
- [try_catch](https://banes-lab.com/records/pag/production-try-catch.md): "TRY" ":" <directive>+ "CATCH" <optional_exception_var> ":" <directive>+
- [declaration_statement](https://banes-lab.com/records/pag/production-declaration-statement.md): "SET" <variable_name> "=" <expression> | "DECLARE" <variable_name> ":" <type_annotation>
- [AGENT](https://banes-lab.com/records/pag/document-type-agent.md): Agent behavior definition
- [WORKFLOW](https://banes-lab.com/records/pag/document-type-workflow.md): Multi-phase process orchestration
- [PROTOCOL](https://banes-lab.com/records/pag/document-type-protocol.md): Standard operating procedures
- [POLICY](https://banes-lab.com/records/pag/document-type-policy.md): Constraint and rule system
- [CHECKLIST](https://banes-lab.com/records/pag/document-type-checklist.md): Task tracking with validation
- [TEMPLATE](https://banes-lab.com/records/pag/document-type-template.md): Reusable document pattern
- [TASK](https://banes-lab.com/records/pag/document-type-task.md): Single-objective operation
- [INSTRUCTION](https://banes-lab.com/records/pag/document-type-instruction.md): General guidance document
- [PROMPT](https://banes-lab.com/records/pag/document-type-prompt.md): Model interaction template
- [COMMAND](https://banes-lab.com/records/pag/document-type-command.md): Executable command
- [TEST](https://banes-lab.com/records/pag/document-type-test.md): Test specification
- [DEBUG](https://banes-lab.com/records/pag/document-type-debug.md): Evidence-gated root-cause debugging process
- [VERIFICATION](https://banes-lab.com/records/pag/document-type-verification.md): Forensic claim-versus-evidence adjudication process
- [DISTILLATION](https://banes-lab.com/records/pag/document-type-distillation.md): Base abstraction drawn from behavioral evidence, with the duplicates proven gone
- [AUDIT](https://banes-lab.com/records/pag/document-type-audit.md): Universal-contract agent audit with non-destructive correction
- [TRANSLATION](https://banes-lab.com/records/pag/document-type-translation.md): Line-by-line translation audit with four adversarial gates
- [COMPOSITION](https://banes-lab.com/records/pag/document-type-composition.md): Writing-structure generator built from anchors, modifiers and transforms
- [Agent Meta-Template](https://banes-lab.com/records/pag/template-agent.md)
- [Agent Audit Meta-Template (universal-contract scoring + non-destructive correction generator)](https://banes-lab.com/records/pag/template-audit.md)
- [Checklist Meta-Template (ten-node evidence-bearing generator)](https://banes-lab.com/records/pag/template-checklist.md)
- [Writing Composition Meta-Template (anchor-modifier transform-algebra structure generator)](https://banes-lab.com/records/pag/template-composition.md)
- [Debugging Meta-Template (evidence-gated root-cause + surgical-fix generator)](https://banes-lab.com/records/pag/template-debug.md)
- [Pattern Distillation Meta-Template (behavioral-evidence base + proven-elimination generator)](https://banes-lab.com/records/pag/template-distillation.md)
- [Translation Audit Meta-Template (four-gate adversarial per-line i18n auditor)](https://banes-lab.com/records/pag/template-translation.md)
- [Forensic Context Verification Meta-Template (calibrated, adversarially-tested claim adjudication)](https://banes-lab.com/records/pag/template-verification.md)
- [Workflow Meta-Template](https://banes-lab.com/records/pag/template-workflow.md)