code wiki / (root) / nx_ecomat_requirements_gate_t120.nx

nx_ecomat_requirements_gate_t120.nx source

↩ module page · 38 lines · 15645 B

1import "_hdl_build/nx_ecomat_lib.nx" 2import "nx_gate_verdict.nx" 3import "nx_tool_run.nx" 4func main()->i64 { 5 let ctr:*i64=gv_ctr() 6 let input:*u8="maturityrequirement|1|defined|Defined|-|Versioned scope and input-output contract; accountable owner; acceptance criteria; dated research baseline and source provenance with observation date|A reviewer can identify inputs outputs ownership and falsifiable acceptance|proven-capability\nmaturityrequirement|1|callable|Callable|defined|Authenticated API or MCP discovery; real invocation; output identity; structured refusal|Representative invocation succeeds and invalid input is refused with retained evidence|reusable-callable\nmaturityrequirement|1|composable|Composable|callable|Compatible schemas and artifact identities; dependency graph; repeatable multi-step recipe|Existing primitives compose without manual glue and retain provenance|composed-delegable-workflow\nmaturityrequirement|1|dependable|Dependable|composable|Repeated representative runs; fault recovery; regression and lifecycle checks; resource bounds|Accepted outcomes survive declared failures without lost state or silent substitution|proven-capability,reusable-callable,composed-delegable-workflow\nmaturityrequirement|1|adaptive|Adaptive|dependable|Measured workload and device selection; user activity maintenance reservations; safe recovery|Policy changes select qualified alternatives while preserving state and quality|composed-delegable-workflow\nmaturityrequirement|1|frontier-qualified|Frontier-qualified|adaptive|Dated named baseline; representative held-out workload; reproducible comparison; independent review|Measured parity or advance on declared axes at declared date; refresh required|proven-capability,composed-delegable-workflow\nmaturityinvestment|1|beach-delivery|gameengine|GE57|beach-first|gameengine.GE53|gates/beach-shared-facing-t118-served.json|Retain actual served heading check and extend shared render-contact and visual material acceptance through existing owners|Shared game runtime emitters release qualification and reusable browser checks|delivery-time=unknown;coordination-cost=unknown;regressions=retained-t112-rollback;reusable-reach=unmeasured|pending-acceptance\nmaturityinvestment|1|swarm-execution|swarm|R0|enabling-swarm|swarm.R4,swarm.R8|compare/swarm.plan;runtime/nx_swarm_pack.nx;runtime/nx_swarm_place.nx|Qualify authenticated remote worker admission and a Beach task with durable completion plus failure recovery|Common dispatch review and artifact integration reduce repeated coordination|delivery-time=unknown;coordination-cost=unknown;regression-rate=unknown;reusable-reach=unmeasured|pending-acceptance\n" as *u8 7 let n:i64=2521 8 let out:*u8=sys_mmap(32768) 9 gv_check("six requirements two pending investments",em_req_validate(input,n)==2,ctr) 10 gv_check("unterminated tail refused",em_req_validate(input,n-1)<0,ctr) 11 gv_check("missing requirement refused",em_req_validate(input+285,n-285)<0,ctr) 12 let wrong:*u8="maturityrequirement|2|defined|Defined|-|Versioned scope and input-output contract; accountable owner; acceptance criteria; dated research baseline and source provenance with observation date|A reviewer can identify inputs outputs ownership and falsifiable acceptance|proven-capability\nmaturityrequirement|1|callable|Callable|defined|Authenticated API or MCP discovery; real invocation; output identity; structured refusal|Representative invocation succeeds and invalid input is refused with retained evidence|reusable-callable\nmaturityrequirement|1|composable|Composable|callable|Compatible schemas and artifact identities; dependency graph; repeatable multi-step recipe|Existing primitives compose without manual glue and retain provenance|composed-delegable-workflow\nmaturityrequirement|1|dependable|Dependable|composable|Repeated representative runs; fault recovery; regression and lifecycle checks; resource bounds|Accepted outcomes survive declared failures without lost state or silent substitution|proven-capability,reusable-callable,composed-delegable-workflow\nmaturityrequirement|1|adaptive|Adaptive|dependable|Measured workload and device selection; user activity maintenance reservations; safe recovery|Policy changes select qualified alternatives while preserving state and quality|composed-delegable-workflow\nmaturityrequirement|1|frontier-qualified|Frontier-qualified|adaptive|Dated named baseline; representative held-out workload; reproducible comparison; independent review|Measured parity or advance on declared axes at declared date; refresh required|proven-capability,composed-delegable-workflow\nmaturityinvestment|1|beach-delivery|gameengine|GE57|beach-first|gameengine.GE53|gates/beach-shared-facing-t118-served.json|Retain actual served heading check and extend shared render-contact and visual material acceptance through existing owners|Shared game runtime emitters release qualification and reusable browser checks|delivery-time=unknown;coordination-cost=unknown;regressions=retained-t112-rollback;reusable-reach=unmeasured|pending-acceptance\nmaturityinvestment|1|swarm-execution|swarm|R0|enabling-swarm|swarm.R4,swarm.R8|compare/swarm.plan;runtime/nx_swarm_pack.nx;runtime/nx_swarm_place.nx|Qualify authenticated remote worker admission and a Beach task with durable completion plus failure recovery|Common dispatch review and artifact integration reduce repeated coordination|delivery-time=unknown;coordination-cost=unknown;regression-rate=unknown;reusable-reach=unmeasured|pending-acceptance\n" as *u8 13 out[0]=77 as u8 14 gv_check("unsupported version retains output",em_requirements_into(wrong,n,out,32768)<0&&out[0]==(77 as u8),ctr) 15 let dep:*u8="maturityrequirement|1|defined|Defined|-|Versioned scope and input-output contract; accountable owner; acceptance criteria; dated research baseline and source provenance with observation date|A reviewer can identify inputs outputs ownership and falsifiable acceptance|proven-capability\nmaturityrequirement|1|callable|Callable|adaptive|Authenticated API or MCP discovery; real invocation; output identity; structured refusal|Representative invocation succeeds and invalid input is refused with retained evidence|reusable-callable\nmaturityrequirement|1|composable|Composable|callable|Compatible schemas and artifact identities; dependency graph; repeatable multi-step recipe|Existing primitives compose without manual glue and retain provenance|composed-delegable-workflow\nmaturityrequirement|1|dependable|Dependable|composable|Repeated representative runs; fault recovery; regression and lifecycle checks; resource bounds|Accepted outcomes survive declared failures without lost state or silent substitution|proven-capability,reusable-callable,composed-delegable-workflow\nmaturityrequirement|1|adaptive|Adaptive|dependable|Measured workload and device selection; user activity maintenance reservations; safe recovery|Policy changes select qualified alternatives while preserving state and quality|composed-delegable-workflow\nmaturityrequirement|1|frontier-qualified|Frontier-qualified|adaptive|Dated named baseline; representative held-out workload; reproducible comparison; independent review|Measured parity or advance on declared axes at declared date; refresh required|proven-capability,composed-delegable-workflow\nmaturityinvestment|1|beach-delivery|gameengine|GE57|beach-first|gameengine.GE53|gates/beach-shared-facing-t118-served.json|Retain actual served heading check and extend shared render-contact and visual material acceptance through existing owners|Shared game runtime emitters release qualification and reusable browser checks|delivery-time=unknown;coordination-cost=unknown;regressions=retained-t112-rollback;reusable-reach=unmeasured|pending-acceptance\nmaturityinvestment|1|swarm-execution|swarm|R0|enabling-swarm|swarm.R4,swarm.R8|compare/swarm.plan;runtime/nx_swarm_pack.nx;runtime/nx_swarm_place.nx|Qualify authenticated remote worker admission and a Beach task with durable completion plus failure recovery|Common dispatch review and artifact integration reduce repeated coordination|delivery-time=unknown;coordination-cost=unknown;regression-rate=unknown;reusable-reach=unmeasured|pending-acceptance\n" as *u8 16 gv_check("wrong prerequisite refused",em_req_validate(dep,2522)<0,ctr) 17 let achieved:*u8="maturityrequirement|1|defined|Defined|-|Versioned scope and input-output contract; accountable owner; acceptance criteria; dated research baseline and source provenance with observation date|A reviewer can identify inputs outputs ownership and falsifiable acceptance|proven-capability\nmaturityrequirement|1|callable|Callable|defined|Authenticated API or MCP discovery; real invocation; output identity; structured refusal|Representative invocation succeeds and invalid input is refused with retained evidence|reusable-callable\nmaturityrequirement|1|composable|Composable|callable|Compatible schemas and artifact identities; dependency graph; repeatable multi-step recipe|Existing primitives compose without manual glue and retain provenance|composed-delegable-workflow\nmaturityrequirement|1|dependable|Dependable|composable|Repeated representative runs; fault recovery; regression and lifecycle checks; resource bounds|Accepted outcomes survive declared failures without lost state or silent substitution|proven-capability,reusable-callable,composed-delegable-workflow\nmaturityrequirement|1|adaptive|Adaptive|dependable|Measured workload and device selection; user activity maintenance reservations; safe recovery|Policy changes select qualified alternatives while preserving state and quality|composed-delegable-workflow\nmaturityrequirement|1|frontier-qualified|Frontier-qualified|adaptive|Dated named baseline; representative held-out workload; reproducible comparison; independent review|Measured parity or advance on declared axes at declared date; refresh required|proven-capability,composed-delegable-workflow\nmaturityinvestment|1|beach-delivery|gameengine|GE57|beach-first|gameengine.GE53|gates/beach-shared-facing-t118-served.json|Retain actual served heading check and extend shared render-contact and visual material acceptance through existing owners|Shared game runtime emitters release qualification and reusable browser checks|delivery-time=unknown;coordination-cost=unknown;regressions=retained-t112-rollback;reusable-reach=unmeasured|accepted\nmaturityinvestment|1|swarm-execution|swarm|R0|enabling-swarm|swarm.R4,swarm.R8|compare/swarm.plan;runtime/nx_swarm_pack.nx;runtime/nx_swarm_place.nx|Qualify authenticated remote worker admission and a Beach task with durable completion plus failure recovery|Common dispatch review and artifact integration reduce repeated coordination|delivery-time=unknown;coordination-cost=unknown;regression-rate=unknown;reusable-reach=unmeasured|accepted\n" as *u8 18 gv_check("authored acceptance cannot claim achieved",em_req_validate(achieved,2501)<0,ctr) 19 let dup:*u8="maturityrequirement|1|defined|Defined|-|Versioned scope and input-output contract; accountable owner; acceptance criteria; dated research baseline and source provenance with observation date|A reviewer can identify inputs outputs ownership and falsifiable acceptance|proven-capability\nmaturityrequirement|1|callable|Callable|defined|Authenticated API or MCP discovery; real invocation; output identity; structured refusal|Representative invocation succeeds and invalid input is refused with retained evidence|reusable-callable\nmaturityrequirement|1|composable|Composable|callable|Compatible schemas and artifact identities; dependency graph; repeatable multi-step recipe|Existing primitives compose without manual glue and retain provenance|composed-delegable-workflow\nmaturityrequirement|1|dependable|Dependable|composable|Repeated representative runs; fault recovery; regression and lifecycle checks; resource bounds|Accepted outcomes survive declared failures without lost state or silent substitution|proven-capability,reusable-callable,composed-delegable-workflow\nmaturityrequirement|1|adaptive|Adaptive|dependable|Measured workload and device selection; user activity maintenance reservations; safe recovery|Policy changes select qualified alternatives while preserving state and quality|composed-delegable-workflow\nmaturityrequirement|1|frontier-qualified|Frontier-qualified|adaptive|Dated named baseline; representative held-out workload; reproducible comparison; independent review|Measured parity or advance on declared axes at declared date; refresh required|proven-capability,composed-delegable-workflow\nmaturityinvestment|1|beach-delivery|gameengine|GE57|beach-first|gameengine.GE53|gates/beach-shared-facing-t118-served.json|Retain actual served heading check and extend shared render-contact and visual material acceptance through existing owners|Shared game runtime emitters release qualification and reusable browser checks|delivery-time=unknown;coordination-cost=unknown;regressions=retained-t112-rollback;reusable-reach=unmeasured|pending-acceptance\nmaturityinvestment|1|swarm-execution|swarm|R0|enabling-swarm|swarm.R4,swarm.R8|compare/swarm.plan;runtime/nx_swarm_pack.nx;runtime/nx_swarm_place.nx|Qualify authenticated remote worker admission and a Beach task with durable completion plus failure recovery|Common dispatch review and artifact integration reduce repeated coordination|delivery-time=unknown;coordination-cost=unknown;regression-rate=unknown;reusable-reach=unmeasured|pending-acceptance\nmaturityinvestment|1|beach-delivery|gameengine|GE57|beach-first|gameengine.GE53|gates/beach-shared-facing-t118-served.json|Retain actual served heading check and extend shared render-contact and visual material acceptance through existing owners|Shared game runtime emitters release qualification and reusable browser checks|delivery-time=unknown;coordination-cost=unknown;regressions=retained-t112-rollback;reusable-reach=unmeasured|pending-acceptance\n" as *u8 20 gv_check("duplicate investment refused",em_req_validate(dup,2974)<0,ctr) 21 gv_check("output capacity refuses",em_requirements_into(input,n,out,8)<0,ctr) 22 let length:i64=em_requirements_into(input,n,out,32768) 23 gv_check("native JSON emitted",length>0,ctr) 24 gv_check("legacy percentage remains noncomparative",permil_to_level(1000)==MAT_PRODUCTION,ctr) 25 gv_check("invalid capacity refused",em_req_capacity("999999999999999999999999")<0&&em_req_capacity("-1")<0,ctr) 26 gv_check("actual missing file refused",em_requirements_run("/tmp/ecomat-requirements-t120-absent",4096,32768)==3,ctr) 27 gv_check("actual truncated file read refused",em_requirements_run("/volume1/homes/elderwesto/nishihost/buildroot/knowledge/compare/maturity_requirements_v1.plan",1,32768)==3,ctr) 28 gv_check("actual configuration file callable",em_requirements_run("/volume1/homes/elderwesto/nishihost/buildroot/knowledge/compare/maturity_requirements_v1.plan",4096,32768)==0,ctr) 29 let av:*i64=sys_mmap(48) as *i64 30 av[0]="/volume1/homes/elderwesto/nishihost/buildroot/_build/nx_ecosystem_maturity_rollup.sov.elf" as *u8 as i64 31 av[1]="requirements-v1" as *u8 as i64 32 av[2]="/volume1/homes/elderwesto/nishihost/buildroot/knowledge/compare/maturity_requirements_v1.plan" as *u8 as i64 33 av[3]="4096" as *u8 as i64;av[4]="32768" as *u8 as i64;av[5]=0 34 let captured:*u8=sys_mmap(32768);let capturedn:*i64=sys_mmap(8) as *i64 35 let cli:i64=tr_run_capture(av[0] as *u8,av,captured,32768,capturedn) 36 gv_check("actual staged CLI equals native projection",cli==0&&capturedn[0]==length+1&&pb_equal(captured,0,length,out,0,length)==1,ctr) 37 return gv_verdict("ECOMAT-REQUIREMENTS-V1",ctr,"authored evidence requirements and pending investment; no achieved maturity conversion") 38}