Brandon Schneider cc33703637 feat(lean): wire 278-equation corpus end-to-end; emit emit278.json ... - AVMIsa/Emit §7: fix emitRrcCorpus278 JSON structure (summaryStr sub-object + classified.rowsJson instead of nested classified.json); add #eval emitRrcCorpus278 witness (line 261) - RRC/Emit §8: add rowsJson field to EmitResult (flat JSON array of rows, usable by outer envelope builders without re-serializing) - 4-Infrastructure/shim/emit278_extract.py: new extractor — runs lake build Semantics.AVMIsa.Emit, captures #eval output, strips Lean repr escaping, validates JSON, writes shared-data/data/stack_solidification/emit278.json - emit278.json: 278 rows, schema=avm_rrc_corpus278_v1, avm_canaries_passed=true, bundle_receipt_valid=true, claim_boundary=admissibility-and-routing-pass-only;not-promoted (all 278 rows missing_prediction — no PIST labels supplied yet) - Full lake build: 3570 jobs, 0 errors Generated with [Devin](https://cli.devin.ai/docs) Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>		2026-05-27 00:11:55 -05:00
..
conversions/hardware	WIP: accumulated changes	2026-05-25 16:24:21 -05:00
external/OTOM	WIP: accumulated changes	2026-05-25 16:24:21 -05:00
LeanGPT	Remove legacy Python prototypes superseded by Lean formalization	2026-05-19 15:34:17 +00:00
Semantics	feat(lean): wire 278-equation corpus end-to-end; emit emit278.json	2026-05-27 00:11:55 -05:00
CHAIN_ALL_REVIEW_REPORT.md	initial: sovereign research stack (consolidated, weightless, and lfs-optimized)	2026-05-04 18:11:36 -05:00