bill/whetstone_DSL
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Sprint 66 (Steps 889-898): Runtime Semantics Packs — framework and platform awareness

Browse Source 
Adds 8 graduation headers: RuntimeSemanticsPack, RuntimePackLoader,
RuntimeAssumptionExtractor, RuntimeAwareLowering, RuntimeRaisingPolicy,
RuntimeVerificationPlugin, RuntimeCompatibilityRiskReport, RuntimeProfileStore.
MCP tools: whetstone_get_runtime_assumptions + whetstone_set_runtime_profile.
All 10 steps pass (86 tests total across sprint 66).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
Bill
2026-02-22 19:09:26 -07:00
parent 0282e7ebb7
commit 18c9660baf
23 changed files with 970 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

57
editor/tests/step889_test.cpp Normal file
View File

@@ -0,0 +1,57 @@
// Step 889: Runtime semantics pack schema (12 tests)
#include "graduation/RuntimeSemanticsPack.h"
#include <iostream>
static int p=0,f=0;
#define T(n) { std::cout << " " << #n << "... "; }
#define P() { std::cout << "PASS\n"; ++p; }
#define F(m) { std::cout << "FAIL: " << m << "\n"; ++f; }
#define C(c,m) if(!(c)){F(m);return;}
void t1(){T(runtime_id_set);
auto pk=RuntimeSemanticsPackSchema::make("cpython3","3.11");
C(pk.runtimeId=="cpython3","id");P();}
void t2(){T(version_set);
auto pk=RuntimeSemanticsPackSchema::make("jvm11","11");
C(pk.version=="11","ver");P();}
void t3(){T(non_empty_loaded);
auto pk=RuntimeSemanticsPackSchema::make("cpython3","3.11");
C(pk.loaded,"loaded");P();}
void t4(){T(empty_id_not_loaded);
auto pk=RuntimeSemanticsPackSchema::make("","3.11");
C(!pk.loaded,"not loaded");P();}
void t5(){T(assumptions_generated);
auto pk=RuntimeSemanticsPackSchema::make("cpython3","3.11");
C(!pk.assumptions.empty(),"assumptions");P();}
void t6(){T(validate_valid);
auto pk=RuntimeSemanticsPackSchema::make("cpython3","3.11");
C(RuntimeSemanticsPackSchema::validate(pk),"valid");P();}
void t7(){T(validate_empty_id_fails);
RuntimeSemanticsPack pk; pk.version="3.11";
std::string err;
C(!RuntimeSemanticsPackSchema::validate(pk,&err)&&err=="runtime_id_missing","err");P();}
void t8(){T(validate_empty_version_fails);
RuntimeSemanticsPack pk; pk.runtimeId="jvm11";
std::string err;
C(!RuntimeSemanticsPackSchema::validate(pk,&err)&&err=="version_missing","err");P();}
void t9(){T(assumption_has_category);
auto pk=RuntimeSemanticsPackSchema::make("cpython3","3.11");
C(!pk.assumptions[0].category.empty(),"cat");P();}
void t10(){T(to_json_has_runtime_id);
auto pk=RuntimeSemanticsPackSchema::make("cpython3","3.11");
auto j=RuntimeSemanticsPackSchema::toJson(pk);
C(j.contains("runtime_id"),"json");P();}
void t11(){T(to_json_assumptions_array);
auto pk=RuntimeSemanticsPackSchema::make("cpython3","3.11");
auto j=RuntimeSemanticsPackSchema::toJson(pk);
C(j["assumptions"].is_array(),"arr");P();}
void t12(){T(to_json_loaded_field);
auto pk=RuntimeSemanticsPackSchema::make("cpython3","3.11");
auto j=RuntimeSemanticsPackSchema::toJson(pk);
C(j.contains("loaded"),"loaded");P();}
int main(){
std::cout<<"Step 889: Runtime semantics pack schema\n";
t1();t2();t3();t4();t5();t6();t7();t8();t9();t10();t11();t12();
std::cout<<"\nResults: "<<p<<"/"<<(p+f)<<" passed\n";
return f?1:0;
}