Skip to content

notes

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History

notes

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
reach
reach
 
 
APPLY_RESOLUTION_AND_RECEIPT_CONTRACT.md
APPLY_RESOLUTION_AND_RECEIPT_CONTRACT.md
 
 
ARCHITECTURE_LEAK_LEDGER.md
ARCHITECTURE_LEAK_LEDGER.md
 
 
CANONICAL_OP_SEMANTICS.md
CANONICAL_OP_SEMANTICS.md
 
 
CERTIFICATE_SCHEMA_V0.md
CERTIFICATE_SCHEMA_V0.md
 
 
CERTIFIED_TREE_TRANSITION_TRACE_V0.md
CERTIFIED_TREE_TRANSITION_TRACE_V0.md
 
 
CONFORMANCE_CORPUS.md
CONFORMANCE_CORPUS.md
 
 
CORPUS_REPLAY_EVIDENCE_CONTRACT.md
CORPUS_REPLAY_EVIDENCE_CONTRACT.md
 
 
CROSS_JURISDICTION_ARCHITECTURE.md
CROSS_JURISDICTION_ARCHITECTURE.md
 
 
DETERMINISM_FIREWALL.md
DETERMINISM_FIREWALL.md
 
 
DISCIPLINE_GATES.md
DISCIPLINE_GATES.md
 
 
EVIDENCE_INFERENCE_MODEL.md
EVIDENCE_INFERENCE_MODEL.md
 
 
FINLAND_CLAUSE_AST_SPEC.md
FINLAND_CLAUSE_AST_SPEC.md
 
 
FINLAND_ELABORATED_GROUP_SPEC.md
FINLAND_ELABORATED_GROUP_SPEC.md
 
 
FINLAND_FRONTEND_ELABORATION_ARCHITECTURE.md
FINLAND_FRONTEND_ELABORATION_ARCHITECTURE.md
 
 
FINLAND_PAYLOAD_IR_SPEC.md
FINLAND_PAYLOAD_IR_SPEC.md
 
 
FINLAND_SPARSE_SUBSECTION_SLOT_SPEC.md
FINLAND_SPARSE_SUBSECTION_SLOT_SPEC.md
 
 
FINLAND_XML_INGEST_ONLY_SOURCE_MODEL.md
FINLAND_XML_INGEST_ONLY_SOURCE_MODEL.md
 
 
FI_AMENDMENT_DRAFTING_GRAMMAR.md
FI_AMENDMENT_DRAFTING_GRAMMAR.md
 
 
FI_JOHTOLAUSE_GRAMMAR_RETIREMENT_PLAN.md
FI_JOHTOLAUSE_GRAMMAR_RETIREMENT_PLAN.md
 
 
FI_JOHTOLAUSE_SURFACE_PARSER_CONTRACT.md
FI_JOHTOLAUSE_SURFACE_PARSER_CONTRACT.md
 
 
FI_OP_PROVENANCE_CONSOLIDATION_SPEC.md
FI_OP_PROVENANCE_CONSOLIDATION_SPEC.md
 
 
JURISDICTION_CLI_TOOLING_CONTRACT.md
JURISDICTION_CLI_TOOLING_CONTRACT.md
 
 
LAWVM_ARCHITECTURE_INDEX.md
LAWVM_ARCHITECTURE_INDEX.md
 
 
LAWVM_COMPILER_DIFFICULTY.md
LAWVM_COMPILER_DIFFICULTY.md
 
 
LAWVM_CONSTITUTION.md
LAWVM_CONSTITUTION.md
 
 
LAWVM_PIPELINE_CONTRACT.md
LAWVM_PIPELINE_CONTRACT.md
 
 
LAWVM_PROOF_SURFACES.md
LAWVM_PROOF_SURFACES.md
 
 
LAWVM_STACK_MAP.md
LAWVM_STACK_MAP.md
 
 
OPEN_LAW_FRONTEND_SPEC.md
OPEN_LAW_FRONTEND_SPEC.md
 
 
PROOF_ALGEBRA.md
PROOF_ALGEBRA.md
 
 
PROOF_BOUNDARY.md
PROOF_BOUNDARY.md
 
 
PROOF_CARRIER_FINDINGS.md
PROOF_CARRIER_FINDINGS.md
 
 
PROOF_CLAIMS_ALGEBRA.md
PROOF_CLAIMS_ALGEBRA.md
 
 
README.md
README.md
 
 
REGEX_TO_GRAMMAR_MIGRATION.md
REGEX_TO_GRAMMAR_MIGRATION.md
 
 
RELATED_WORK.md
RELATED_WORK.md
 
 
REPLAY_INVARIANTS_AND_FAILURE_MODEL.md
REPLAY_INVARIANTS_AND_FAILURE_MODEL.md
 
 
SEAM_SPEC_PROVISION_STATE.md
SEAM_SPEC_PROVISION_STATE.md
 
 
SOURCE_DOCUMENT_TWO_LEVEL_PIPELINE.md
SOURCE_DOCUMENT_TWO_LEVEL_PIPELINE.md
 
 
SOURCE_PATHOLOGY_AND_ADJUDICATION_SPEC.md
SOURCE_PATHOLOGY_AND_ADJUDICATION_SPEC.md
 
 
SPEC_INDEX.md
SPEC_INDEX.md
 
 
THEORY_OF_LAWVM.md
THEORY_OF_LAWVM.md
 
 
TLA_SPEC_DRIFT_AUDIT_2026-06-30.md
TLA_SPEC_DRIFT_AUDIT_2026-06-30.md
 
 
UK_AMENDMENT_INSTRUCTION_GRAMMAR.md
UK_AMENDMENT_INSTRUCTION_GRAMMAR.md
 
 
UK_FRONTEND_ELABORATION_ARCHITECTURE.md
UK_FRONTEND_ELABORATION_ARCHITECTURE.md
 
 
UK_REPLAY_REGIME_CONTRACT.md
UK_REPLAY_REGIME_CONTRACT.md
 
 
UNIFIED_BENCH_CONTRACT.md
UNIFIED_BENCH_CONTRACT.md
 
 
VERIFICATION_PROPERTY_MAP.md
VERIFICATION_PROPERTY_MAP.md
 
 

README.md