Method profile 06Implemented in SPINE10-marker model

RigVedan

The SPINE EBNF-RV grammar for visible temporal, interpretive, didactic and content status

RigVedan represents a compact knowledge unit as four independent classification axes plus a description and optional metadata. The source provides typed enums, a dataclass, single- and multi-line parsing, text and context-stack formatting, dictionary round trips and a compatibility bridge into session-level hermeneutic status.

KnowledgeUnit anatomy

Drag and inspect the four semantic axes, description and metadata around the typed object.

Axis

TemporalHermeneuticDidacticContent

Temporal topology

The intended current model contains three past, three present, three future and one timeless marker.

TIMELESS is a semantic marker, not decay enforcement.The source labels it for axiomatic or non-decaying knowledge. The grammar module itself does not implement a retention or decay algorithm.

Knowledge-unit builder

Create a synthetic browser-local unit and inspect both compact text and object form.

PARSED

Compact EBNF-RV form

KnowledgeUnit object

Multi-line parser laboratory

The source parser extracts matching annotations and silently skips non-matching lines. This lab makes both counts visible.

Not evaluated

Parser result

Silent skipping is convenient and risky.Callers that require completeness should compare source-line and parsed-unit counts rather than assuming every line survived.

Object, dictionary and text round trip

Compare the lossless dictionary route with the compact text route.

BOUNDED ROUND TRIP

Route comparison

Metadata is not present in the compact text grammar.to_dict/from_dict preserves metadata. format/parse reconstructs the four axes and description but returns default empty metadata.

Context-stack formatter

Render parsed units as a header followed by four-space-indented annotation lines.

Not evaluated

Rendered context text

Hermeneutic compatibility bridge

The bridge converts only the hermeneutic axis between uppercase grammar tags and lowercase session-status values.

Bounded mapping

Bridge result

Integration and boundary map

Inspect the parser, formatters, dictionary route, session bridge, DIALECTIC consumption and context rendering.

Observable implementation lineage

Design, initial Phase 5 implementation, the intended TIMELESS extension, tests, generated reference and current source pin.

Structural and source receipts

Vocabulary cardinality and source-reported repository receipts are kept separate from efficacy claims.

Current source structure

Vocabulary cardinality

The 1,000 tuples are derived as 10 × 5 × 4 × 5 before description and metadata.

Source-reported, mixed scopes

Implementation receipts

Receipts describe larger commits with different scopes and were not rerun for publication.

Temporal markers

Past, present, future and timeless.

Hermeneutic tags

FACT through UNKNOWN.

Didactic weights

FOUNDATIONAL through ADVANCED.

Content types

DECISION through QUESTION.

Public functions

Parser, formatters and bridge.

Object methods

Dictionary serialization route.

1,000

Classification tuples

Before free text and metadata.

Independent effect studies

Identified in inspected sources.

Evidence classification

Representation behavior, integration evidence and evidence-based claims remain separate.

Claim	Evidence class	Current status
Ten temporal markers and the other three vocabularies exist	Source implementation	Supported at pinned commit
Typed object, parsing, formatting and bridges exist	Source implementation	Supported at pinned commit
DIALECTIC consumes parsed knowledge units	Integration source	Supported in the inspected implementation
Dictionary round trip preserves metadata	Program behavior and committed tests	Supported; tests not rerun here
Text format round trip preserves metadata	Program behavior	Not supported; metadata is omitted
The grammar improves reasoning quality	Outcome efficacy	Not established
A FACT or TIMELESS tag establishes truth	Epistemic claim	Not established

Evaluation interpretation and boundaries

The grammar makes status distinctions explicit and machine-readable. Whether that improves downstream decisions must be measured separately.

Problem definition

Project memory and model output can mix historical decisions, active state, hypotheses, unresolved questions and learning dependencies in undifferentiated prose.

Mechanism hypothesis

Independent temporal, hermeneutic, didactic and content axes should reduce accidental status collapse and make filtering, routing and review more precise. This remains a mechanism hypothesis.

Possible evaluation

Matched-task studies could measure status-preservation errors, incorrect promotion of hypotheses, superseded-decision reuse, unresolved-question recall, parser loss, reviewer agreement and downstream correction cost.

Failure modes

Producers can assign wrong labels, consumers can over-trust FACT, non-matching lines can disappear silently, metadata can be lost through text rendering and TIMELESS can be overused.

Explicit non-claims

EBNF-RV is not a general EBNF parser or compiler.
The name records design inspiration and does not claim philological, religious or scholarly fidelity to the Rig Veda.
Temporal, hermeneutic and didactic labels do not establish truth.
FACT is a classification supplied by the producer.
TIMELESS does not enforce a decay or retention policy in this module.
Context-stack formatting does not execute or authorize a scenario.
Committed tests and source receipts do not establish real-world outcome efficacy.
No independent academic validation or user study was identified in the inspected sources.

Sources and reproducibility

Claims are bounded to the named source artefacts and commits.

Pinned sourcefbratten/spine @ 8fa62c1ebfc0c7b65680ef2d89b9953a519e4138

Grammar implementationspine/grammar/ebnf_rv.py

Generated referencespine/grammar/README.md

Initial implementation26f13c191769a658138bd41c1fbb8b5a2f1c225b

TIMELESS extension8fb9a55fea67809795813b846dd22e580c9ad2dc

Dedicated testsscripts/tests/test_grammar.py

Historical Phase 5 testsscripts/tests/test_phase5.py

Consumer integrationspine/patterns/hermeneutic_loop.py

Publicationfbratten.github.io/methods/rigvedan/

This page performs no model call, source retrieval, repository write, memory write, context execution or SPINE runtime operation. All examples are synthetic and browser-local.