mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-08-09 03:45:47 +00:00
389 lines
17 KiB
JSON
389 lines
17 KiB
JSON
{
|
|
"schema": "silversight_claim_manifest_v1",
|
|
"generated_at": "2026-06-22T00:00:00Z",
|
|
"version": "0.1",
|
|
"claim_states": {
|
|
"BEAUTIFUL_PROVISIONAL": "Intuition captured in spec or stub",
|
|
"CALIBRATED_ENGINEERING_DELTA": "Implementation exists with #eval witnesses or unit tests",
|
|
"REVIEWED": "Independent review confirms no logic leakage",
|
|
"VERIFIED": "Lean theorem or hardware receipt proves the claim"
|
|
},
|
|
"claims": [
|
|
{
|
|
"id": "silversight_claim_product_schema",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Extend Schema to fixed-size product types (alpha x beta) with byteSize and wellFormed theorems",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_product_wireformat",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Certified encode/decode/roundTrip row-major wire format for alpha x beta with #eval witness",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_product_layout_bridge",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Identity and rowMajor-to-columnar layout bridges for product types",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_product_view",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Zero-copy View.fst and View.snd for reading product components without copying",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_numeric_wireformat",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Schema and wire format for Q16_16, UInt64, and fixed-size arrays used by braid states",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_braid_state_encoding",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Certified row-major wire encoding for BraidState (392 bytes) with encode_size and roundTrip theorems",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_canal_regime",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Extract DynamicCanal regime classifier (coherent/stressed/throat) for Core layout selection",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_canal_layout_link",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Link DynamicCanal regime to Core CanalLayout.chooseLayout with coherent-regime cost equivalence proof",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_receipt_header",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Fixed-size 56-byte ReceiptHeader schema and wire format with fromHeader roundTrip theorem",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_bind_core",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Lawful Gate as Kleisli arrow with bind (associativity, left/right identity) and separate Invariant certificate",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_core_integrated",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 1,
|
|
"description": "Integrate Receipt and Bind modules into SilverSightCore invariant center",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_research_inventory",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 2,
|
|
"description": "Machine-readable map of Research Stack concepts and SilverSight porting candidates",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_triage_manifest",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 2,
|
|
"description": "Classify every Research Stack module as keep/delete/transform/quarantine",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_q16_unified",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 2,
|
|
"description": "Unify Q16_16 definitions on SilverSight.FixedPoint as canonical; re-export shim for legacy code",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_rrc_surface",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 2,
|
|
"description": "Reconcile RRC/Emit and AVMIsa surfaces with Research Stack sources; AVMIsa.Emit as sole JSON emitter",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_pist_surface",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 2,
|
|
"description": "PIST spectral classification surface: token-strand adjacency and matrix classification in Lean",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_shim_transform_plan",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 2,
|
|
"description": "Concrete keep/delete/transform verdicts for Research Stack Python shims",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_bind_boundary",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 2,
|
|
"description": "Document Core Gate vs CoreFormalism Bind as distinct surfaces; no forced isomorphism required",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_corpus250_source",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 3,
|
|
"description": "Extract Corpus250 raw equation records with stable IDs from Research Stack",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_pist_predictions_v1",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 3,
|
|
"description": "Build rrc_pist_predictions_250_v1.json: dedup by invariant id, deterministic representative, reproducible matrix hash",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_corpus250_labeled",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 3,
|
|
"description": "Regenerate Corpus250.lean from PIST predictions with pistProxyLabel/pistExactLabel populated when present",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_rrc_emit",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 3,
|
|
"description": "RrcEmitFixture executable that emits full fixture corpus as AVM-stamped JSON",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_rrc_validation",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 3,
|
|
"description": "Validate emitted corpus: schema check, claim-boundary consistency, alignment status",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_concept_index",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 3,
|
|
"description": "Searchable stable-ID concept map generator (concepts.json and concepts.md)",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_pist_tests",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 3,
|
|
"description": "PIST matrix builder and corpus250 build unit tests: determinism and raw-feature checks",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_eigensolid_convergence",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 4,
|
|
"description": "Verify eigensolid_convergence theorem with #eval witness and documented evaluation model",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_receipt_invertible",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 4,
|
|
"description": "Verify receipt_invertible theorem covering gaps/timing/absence via scar_absent and write_time",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_braid_receipt_wire",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 4,
|
|
"description": "Certified BraidReceipt wire encoding with encode_size, roundTrip, and wire_invertible theorems",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_compression_benchmark",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 4,
|
|
"description": "Reproducible compression benchmark harness against zlib/gzip/brotli/zstd on 1MB/10MB samples",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_canal_tests",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 4,
|
|
"description": "DynamicCanal integration tests verifying regime-to-layout mapping matches Core theorems",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_shim_audit",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 5,
|
|
"description": "Decision-logic audit script that flags forbidden patterns in Python shims",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_pist_builder_pure_io",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 5,
|
|
"description": "PIST matrix builders refactored to pure I/O: no classification or decision logic",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_corpus_builder_pure_io",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 5,
|
|
"description": "Corpus250 builder refactored to pure merge: alignment status computed only in Lean",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_review_emitter",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 5,
|
|
"description": "SilverSight-native review receipt emitter with answer_sha256 signing",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_shim_cleaned",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 5,
|
|
"description": "Remove or relocate decision-bearing Python scripts (chaos_game, spectral_profile)",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_onewire_trit_vm",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 6,
|
|
"description": "1-Wire trit VM mapping: pulse to trit and canal regime with roundTrip theorem",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_verilog_extraction",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 6,
|
|
"description": "Static Verilog transpilation harness from human-reviewed Lean-to-Verilog map",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_verilator_receipt",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 6,
|
|
"description": "Verilator simulation testbench for q16_add_sat with cycle counts and output hashes",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_fpga_build_docs",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 6,
|
|
"description": "Tang Nano 20K FPGA build instructions: bitstream build, hash, and UART beacon",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_hardware_receipt_schema",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 6,
|
|
"description": "Hardware FPGA receipt schema (v1) with bitstream_hash, source_hash, uart_beacon, and validator",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_cad_harness",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 7,
|
|
"description": "CAD geometry gate (Lean) and harness (Python): text-to-CAD through Lean validation",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_dashboard_widget",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 7,
|
|
"description": "Hermes dashboard review receipt widget: displays claim-state manifest without decision logic",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_e2e_smoke",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 7,
|
|
"description": "End-to-end smoke test: equation text to PIST features to RRC alignment to AVM receipt",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_spec_final",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 8,
|
|
"description": "Finalized SilverSight 1.0 specification with resolved open questions and verification report",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_manifest",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 8,
|
|
"description": "Machine-readable claim-state manifest v1 with evidence and promotion states",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_evidence_dag",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 8,
|
|
"description": "Evidence DAG: visual dependency graph of theorems, modules, and receipts",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
},
|
|
{
|
|
"id": "silversight_claim_final_verification",
|
|
"state": "BEAUTIFUL_PROVISIONAL",
|
|
"phase": 8,
|
|
"description": "Final verification run: full build, test, lint, and secret-check across all SilverSight targets",
|
|
"source": "6-Documentation/docs/plans/SilverSight_completion_pipeline.md",
|
|
"updated_at": "2026-06-22T00:00:00Z"
|
|
}
|
|
]
|
|
}
|