mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-31 03:05:21 +00:00
81a61b6944
Architecture:
RRC.Corpus278 — raw features only (Python supplies, Lean owns gate)
RRC.Emit — alignment classifier; emitCorpus generic entry point
AVMIsa.Emit — sole output boundary; imports Corpus278, stamps bundle
Changes:
- RRC/Emit.lean: extend FixtureRow + RrcRow with 5 generator fields
(operatorTokens, invariantsDeclared, boundaryConds, templateKey, templateParams)
Add emitCorpus (schema, corpus) generic emitter; emitFixture is now a thin wrapper
jRrcRow JSON serializer emits all generator fields
- RRC/Corpus278.lean: auto-generated 278-row FixtureRow list
Source: archive/experimental-shim-probes/rrc_equation_classifier_receipt.json
Python extracts raw features; all gating in Lean (alignment gate fires missingPrediction
for all 278 rows currently — correct, no PIST labels present yet)
- AVMIsa/Emit.lean: import Corpus278; add §7 emitRrcCorpus278 — AVM canaries must
pass for bundle receipt to be valid; stamped by AVM authority (avm.rrc_corpus278.bundle)
§8 eval: corpus summary fires (278, 0, 278) — all held, 0 promoted, gate honest
- lakefile.toml: add Semantics.RRC.Corpus278 to Compiler blessed roots; update comment
- 4-Infrastructure/shim/build_corpus278.py: corpus builder script
Build: 3567 jobs, 0 errors (lake build)
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
|
||
|---|---|---|
| .. | ||
| conversions/hardware | ||
| external/OTOM | ||
| LeanGPT | ||
| Semantics | ||
| CHAIN_ALL_REVIEW_REPORT.md | ||