progmune-runtime 2.1.5 → 3.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +108 -468
- package/dist/ablation-study.js +144 -0
- package/dist/ablation-study.test.js +18 -0
- package/dist/action-runtime.js +3 -1
- package/dist/active-learning.js +211 -0
- package/dist/analytics.js +139 -0
- package/dist/asset-factory.js +309 -0
- package/dist/asset-growth.js +244 -0
- package/dist/asset-promotion.js +382 -0
- package/dist/asset-quality.js +550 -0
- package/dist/audit/business-translator.js +285 -0
- package/dist/audit/cli.js +66 -0
- package/dist/audit/formatters/html.js +379 -0
- package/dist/audit/formatters/json.js +11 -0
- package/dist/audit/formatters/markdown.js +192 -0
- package/dist/audit/formatters/terminal.js +189 -0
- package/dist/audit/index.js +25 -0
- package/dist/audit/report-builder.js +318 -0
- package/dist/audit/types.js +8 -0
- package/dist/audit.js +3 -3
- package/dist/auto-benchmark-generator.js +137 -0
- package/dist/auto-benchmark-generator.test.js +45 -0
- package/dist/auto-protocol-synthesizer.js +362 -0
- package/dist/auto-protocol-synthesizer.test.js +82 -0
- package/dist/autonomous-patch.js +175 -0
- package/dist/autonomous-patch.test.js +128 -0
- package/dist/badge/badge-server.js +98 -0
- package/dist/behavior-miner.js +442 -0
- package/dist/belief-layer.js +475 -0
- package/dist/benchmark-count.js +5 -0
- package/dist/benchmark-generator.js +211 -0
- package/dist/benchmark-harness.js +201 -0
- package/dist/benchmark-pass-rate.js +7 -0
- package/dist/benchmark-report.js +8 -3
- package/dist/benchmark-save.js +14 -1
- package/dist/bootstrap-validation.js +197 -0
- package/dist/bootstrap-validation.test.js +51 -0
- package/dist/branch-ledger.js +1 -1
- package/dist/capability-gap.js +130 -0
- package/dist/certify-html.js +351 -0
- package/dist/certify.js +326 -0
- package/dist/check.js +4 -4
- package/dist/compliance-miner.js +447 -0
- package/dist/continuous-benchmark.js +194 -0
- package/dist/continuous-benchmark.test.js +116 -0
- package/dist/corpus-stats.js +173 -0
- package/dist/counterfactual-engine.js +288 -0
- package/dist/coverage-dashboard.js +109 -0
- package/dist/coverage-system.test.js +205 -0
- package/dist/cross-repo-precision.js +352 -0
- package/dist/cve-benchmark.js +180 -0
- package/dist/cve-benchmark.test.js +28 -0
- package/dist/cve-collector.js +73 -0
- package/dist/data-quality.js +141 -0
- package/dist/decision-engine.js +388 -0
- package/dist/derive-metadata.js +250 -0
- package/dist/difficulty-active.test.js +198 -0
- package/dist/difficulty-map.js +244 -0
- package/dist/discovery-analytics.js +125 -0
- package/dist/discovery-model.js +149 -0
- package/dist/discovery-optimize.test.js +199 -0
- package/dist/discovery-trace.js +276 -0
- package/dist/discovery-trace.test.js +97 -0
- package/dist/emitter.js +83 -1
- package/dist/enterprise-dashboard.js +405 -0
- package/dist/eval-hardening.js +297 -0
- package/dist/eval-hardening.test.js +85 -0
- package/dist/evaluation-campaign.js +359 -0
- package/dist/evaluation-campaign.test.js +181 -0
- package/dist/evidence-growth.js +143 -0
- package/dist/evidence-repository.js +209 -0
- package/dist/evidence-system.js +441 -0
- package/dist/execute.js +15 -7
- package/dist/experimental/software-physics.js +291 -0
- package/dist/experimental/state-inference.js +516 -0
- package/dist/experimental/unsupervised-physics.js +230 -0
- package/dist/extract-ir-python.js +54 -7
- package/dist/extract-ir.js +376 -12
- package/dist/failure-collector.js +2 -2
- package/dist/failure-corpus.js +322 -9
- package/dist/feedback.js +16 -5
- package/dist/feedback.test.js +49 -0
- package/dist/file-lock.js +1 -1
- package/dist/flywheel-batch.js +292 -0
- package/dist/frameworks/express-cli.js +237 -0
- package/dist/frameworks/express-detector.js +445 -0
- package/dist/frameworks/express-detector.test.js +206 -0
- package/dist/frameworks/index.js +30 -0
- package/dist/frameworks/nestjs-detector.js +302 -0
- package/dist/frameworks/trpc-detector.js +161 -0
- package/dist/frameworks/version-awareness.js +179 -0
- package/dist/function-synonyms.js +164 -0
- package/dist/function-synonyms.test.js +68 -0
- package/dist/generalization.test.js +352 -0
- package/dist/goal-annotator.js +113 -0
- package/dist/goal-planner.js +563 -0
- package/dist/gold-cve.js +164 -0
- package/dist/gold-cve.test.js +104 -0
- package/dist/gold-quality.js +206 -0
- package/dist/gold-tiers.js +241 -0
- package/dist/governance-dashboard.js +327 -0
- package/dist/graph-viz.js +240 -0
- package/dist/guided-frontier.js +195 -0
- package/dist/hierarchical-planner.js +148 -0
- package/dist/identifier-parser.js +260 -0
- package/dist/immune-metrics.js +93 -0
- package/dist/immune-receiver.js +158 -0
- package/dist/immune-reporter.js +1 -1
- package/dist/improvement-orchestrator.js +206 -0
- package/dist/inject-p0-vocabulary.js +300 -0
- package/dist/intent-parser.js +218 -0
- package/dist/invariant-algebra.js +476 -0
- package/dist/invariant-calculus.js +533 -0
- package/dist/ir-utils.js +70 -0
- package/dist/ir-utils.test.js +50 -0
- package/dist/knowledge-api.js +312 -0
- package/dist/knowledge-evolution.js +452 -0
- package/dist/knowledge-explorer.js +506 -0
- package/dist/knowledge-flywheel.js +274 -0
- package/dist/knowledge-governance.js +338 -0
- package/dist/knowledge-governance.test.js +150 -0
- package/dist/knowledge-graph.js +181 -0
- package/dist/knowledge-guided-synth.js +246 -0
- package/dist/knowledge-loop.test.js +77 -0
- package/dist/knowledge-object.js +316 -0
- package/dist/knowledge-package.js +98 -0
- package/dist/kpi-dashboard.js +561 -0
- package/dist/l3-cross-function.js +280 -0
- package/dist/learning-ranker.js +148 -0
- package/dist/learning-ranker.test.js +291 -0
- package/dist/ledger/accountability.js +322 -0
- package/dist/ledger/chain-builder.js +185 -0
- package/dist/ledger/cli.js +222 -0
- package/dist/ledger/index.js +13 -0
- package/dist/ledger/signatures.js +193 -0
- package/dist/ledger/types.js +9 -0
- package/dist/llm.js +74 -3
- package/dist/load-benchmarks.js +8 -3
- package/dist/logger.js +66 -0
- package/dist/logger.test.js +37 -0
- package/dist/logistic-reward.js +339 -0
- package/dist/logistic-reward.test.js +180 -0
- package/dist/macro-graph.js +193 -0
- package/dist/macro-repair.js +183 -0
- package/dist/mcp-server.mjs +1202 -483
- package/dist/memory-layer.js +42 -5
- package/dist/multi-repo-precision.js +422 -0
- package/dist/name-free-protocol.js +425 -0
- package/dist/name-free-protocol.test.js +170 -0
- package/dist/name-scrambling.js +138 -0
- package/dist/name-scrambling.test.js +16 -0
- package/dist/p3-observability.test.js +281 -0
- package/dist/p5-orchestrator.test.js +225 -0
- package/dist/pairwise-preference.js +294 -0
- package/dist/pairwise-preference.test.js +140 -0
- package/dist/planner-constraints.js +104 -0
- package/dist/planner-prompts.js +155 -0
- package/dist/planner-telemetry.js +415 -0
- package/dist/planner-trace.js +214 -0
- package/dist/planner.js +162 -167
- package/dist/plsb/artifact.js +116 -0
- package/dist/plsb/cli.js +71 -0
- package/dist/plsb/index.js +19 -0
- package/dist/plsb/leaderboard.js +249 -0
- package/dist/plsb/report-md.js +156 -0
- package/dist/plsb/schema.js +179 -0
- package/dist/plsb-benchmark.js +284 -0
- package/dist/plsb-benchmark.test.js +119 -0
- package/dist/policy/cli.js +134 -0
- package/dist/policy/engine.js +333 -0
- package/dist/policy/index.js +12 -0
- package/dist/policy/types.js +59 -0
- package/dist/policy-miner.js +505 -0
- package/dist/precision-analyze.js +229 -0
- package/dist/precision-benchmark.js +147 -0
- package/dist/precision-label-c.js +134 -0
- package/dist/precision-label.js +193 -0
- package/dist/precision-report-c.js +149 -0
- package/dist/precision-report.js +246 -0
- package/dist/progmune-status.js +108 -0
- package/dist/proof-engine.js +479 -0
- package/dist/proof-provenance.js +315 -0
- package/dist/protocol-coverage.js +294 -0
- package/dist/protocol-detector.js +1189 -0
- package/dist/protocol-embedding-expanded.js +297 -0
- package/dist/protocol-embedding-expanded.test.js +97 -0
- package/dist/protocol-embedding.js +195 -0
- package/dist/protocol-embedding.test.js +82 -0
- package/dist/protocol-extractor-v2.js +354 -0
- package/dist/protocol-extractor-v2.test.js +140 -0
- package/dist/protocol-extractor.js +310 -0
- package/dist/protocol-extractor.test.js +113 -0
- package/dist/protocol-foundation.js +322 -0
- package/dist/protocol-foundation.test.js +163 -0
- package/dist/protocol-frontier.js +243 -0
- package/dist/protocol-frontier.test.js +92 -0
- package/dist/protocol-gap-analyzer.js +228 -0
- package/dist/protocol-gap-analyzer.test.js +49 -0
- package/dist/protocol-invariants.js +276 -0
- package/dist/protocol-invariants.test.js +111 -0
- package/dist/protocol-knowledge.js +464 -0
- package/dist/protocol-miner.js +343 -0
- package/dist/protocol-mining.js +207 -0
- package/dist/protocol-mining.test.js +37 -0
- package/dist/protocol-registry.js +1 -1
- package/dist/protocol-security-benchmark.js +222 -0
- package/dist/protocol-vulnerability.js +257 -0
- package/dist/protocol-vulnerability.test.js +60 -0
- package/dist/python-benchmark.js +120 -0
- package/dist/python-emitter.js +163 -45
- package/dist/python-protocol-extractor.js +187 -0
- package/dist/python-protocol-extractor.test.js +116 -0
- package/dist/realworld-benchmark.js +646 -0
- package/dist/realworld-benchmark.test.js +36 -0
- package/dist/repair-arch.test.js +411 -0
- package/dist/repair-evolution.test.js +454 -0
- package/dist/repair-executor.js +719 -0
- package/dist/repair-proposal.js +4 -4
- package/dist/repair-ranker.js +141 -0
- package/dist/repair-strategies.js +419 -0
- package/dist/repair-taxonomy.js +234 -0
- package/dist/repair-types.js +12 -0
- package/dist/repo-evaluator.js +250 -0
- package/dist/repo-evaluator.test.js +128 -0
- package/dist/resource-abstraction.js +242 -0
- package/dist/resource-detector.js +211 -0
- package/dist/result.test.js +43 -0
- package/dist/reward-system.js +411 -0
- package/dist/reward-system.test.js +175 -0
- package/dist/risk-model.js +215 -0
- package/dist/rule-miner.js +234 -7
- package/dist/rule-specificity.js +254 -0
- package/dist/runtime-types.js +27 -0
- package/dist/scaffold.js +208 -0
- package/dist/scale-collector.test.js +101 -0
- package/dist/scale-trajectory-collector.js +128 -0
- package/dist/sdk.js +250 -0
- package/dist/search-planner.js +4 -41
- package/dist/semantic-snapshot.js +1 -1
- package/dist/semantic-topology.js +121 -0
- package/dist/semantic-trace.js +310 -317
- package/dist/sequence-extractor.js +343 -0
- package/dist/skill-library.js +245 -0
- package/dist/skill-planner.test.js +189 -0
- package/dist/software-physics.js +291 -0
- package/dist/software-physics.test.js +81 -0
- package/dist/ssg-precision.js +478 -0
- package/dist/ssg-validator.js +71 -21
- package/dist/state-inference-doubleblind.test.js +160 -0
- package/dist/state-inference.js +516 -0
- package/dist/state-inference.test.js +115 -0
- package/dist/state-machine-fingerprint.js +345 -0
- package/dist/state-machine-fingerprint.test.js +120 -0
- package/dist/state-miner.js +386 -0
- package/dist/state-name-inference.js +213 -0
- package/dist/state-name-inference.test.js +69 -0
- package/dist/strategy-planner.js +326 -59
- package/dist/strategy-planner.test.js +135 -0
- package/dist/telemetry-analytics.test.js +402 -0
- package/dist/terminal-format.js +68 -0
- package/dist/terminal-format.test.js +83 -0
- package/dist/topology-factory.js +196 -0
- package/dist/topology-representation.js +242 -0
- package/dist/topology-representation.test.js +27 -0
- package/dist/trajectory-augmentation.js +254 -0
- package/dist/trajectory-augmentation.test.js +63 -0
- package/dist/trajectory-corpus.js +440 -0
- package/dist/trajectory-corpus.test.js +32 -0
- package/dist/trajectory-feedback.test.js +116 -0
- package/dist/transition-synthesizer.js +286 -0
- package/dist/transition-synthesizer.test.js +123 -0
- package/dist/trust/api-semantic-mapper.js +809 -0
- package/dist/trust/call-graph-propagator.js +225 -0
- package/dist/trust/cli.js +122 -0
- package/dist/trust/compliance-scorer.js +283 -0
- package/dist/trust/confidence-calculator.js +261 -0
- package/dist/trust/engine.js +1145 -0
- package/dist/trust/explainability.js +85 -0
- package/dist/trust/formatters/ci.js +42 -0
- package/dist/trust/formatters/json.js +11 -0
- package/dist/trust/formatters/terminal.js +152 -0
- package/dist/trust/index.js +39 -0
- package/dist/trust/phase1-verify.js +171 -0
- package/dist/trust/protocol-domain-validator.js +697 -0
- package/dist/trust/score-calculator.js +282 -0
- package/dist/trust/ssg-bridge.js +641 -0
- package/dist/trust/ssg-bridge.test.js +269 -0
- package/dist/trust/types.js +67 -0
- package/dist/trust/violation-trace.js +335 -0
- package/dist/trust-api.js +179 -0
- package/dist/trust-calibration.js +279 -0
- package/dist/unknown-protocol-discovery.js +339 -0
- package/dist/unknown-protocol-discovery.test.js +102 -0
- package/dist/unsupervised-physics.js +230 -0
- package/dist/unsupervised-physics.test.js +95 -0
- package/dist/utils.test.js +37 -0
- package/dist/validator.js +187 -10
- package/dist/verification-intelligence.js +475 -0
- package/dist/verify-api.js +432 -0
- package/dist/vi-impact-report.js +293 -0
- package/dist/wl-fingerprint.js +162 -0
- package/dist/wl-fingerprint.test.js +130 -0
- package/dist/zeroshot-strategy.js +139 -0
- package/docs/Progmune_/346/212/225/350/265/204/344/272/272/347/231/275/347/232/256/344/271/246_v2.0.html +576 -0
- package/docs/Progmune_/351/241/271/347/233/256/345/205/250/350/247/243.html +710 -0
- package/package.json +74 -7
- package/protocols.json +1956 -50
- package/.dockerignore +0 -14
- package/.mcp.json +0 -11
- package/.progmune_allowlist +0 -50
- package/.test_report/test_report.md +0 -87
- package/Dockerfile +0 -9
- package/FAQ.md +0 -167
- package/WHITEPAPER.md +0 -540
- package/demo-project/auth.ts +0 -55
- package/demo-project/tsconfig.json +0 -8
- package/dist/acl-breakdown.js +0 -13
- package/dist/all-sessions.js +0 -11
- package/dist/antibody-stats.js +0 -11
- package/dist/branch-tree-count.js +0 -14
- package/dist/common-fixpath.js +0 -12
- package/dist/constraint-types.js +0 -12
- package/dist/exec-metrics.js +0 -11
- package/dist/failure-report.js +0 -11
- package/dist/fast-path-hits.js +0 -13
- package/dist/fingerprint-list.js +0 -15
- package/dist/gen-history-log.js +0 -13
- package/dist/heatmap-data.js +0 -11
- package/dist/recent-session.js +0 -12
- package/dist/svl-distribution.js +0 -11
- package/dist/terminal-status.js +0 -11
- package/dist/token-savings.js +0 -11
- package/dist/total-repairs.js +0 -12
- package/dist/unresolved-count.js +0 -12
- package/dist/valid-fingerprints.js +0 -13
- package/dist/verify-ledgers.js +0 -11
- package/docs/whitepaper-style.css +0 -77
- package/docs/whitepaper-v2.1.md +0 -609
- package/docs/whitepaper-v2.2.md +0 -1064
- package/docs/whitepaper-v2.2.pdf +0 -0
- package/fly.toml +0 -31
- package/public/dashboard.html +0 -119
- package/server/hub.js +0 -116
- package/test/replay-golden/sess_1780063202050_mgeld.json +0 -9
- package/test/replay-golden/sess_1780064032560_gocld.json +0 -354
- package/test/replay-golden/sess_1780064413331_s2709.json +0 -606
- package/test/replay-golden/sess_1780064792710_y3avo.json +0 -614
- package/test/replay-golden.ts +0 -84
- package/test_benchmark.js +0 -165
- package/test_comprehensive.mjs +0 -638
- package/test_concurrency.js +0 -129
- package/test_ir_robustness.js +0 -85
- package/test_semantic_contracts.js +0 -269
- package/test_ssg_stress.js +0 -156
- package/test_svl3.js +0 -58
- package/tsconfig.json +0 -17
|
@@ -1,14 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343627181_k5xw4 timestamp=2026-06-01T19:53:48.655Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 389 functions, 17 protocol rules
|
|
6
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
7
|
-
const branch_ledger_1 = require("./branch-ledger");
|
|
8
|
-
function main() {
|
|
9
|
-
const sessions = (0, failure_corpus_1.getAllSessions)();
|
|
10
|
-
const root = (0, branch_ledger_1.findRootBranch)(sessions);
|
|
11
|
-
const children = (0, branch_ledger_1.findChildBranches)(root, {});
|
|
12
|
-
return children;
|
|
13
|
-
}
|
|
14
|
-
main();
|
package/dist/common-fixpath.js
DELETED
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343958169_8r1tt timestamp=2026-06-01T19:59:20.198Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 399 functions, 17 protocol rules
|
|
6
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
7
|
-
function main() {
|
|
8
|
-
const genome = (0, failure_corpus_1.getFailureGenome)();
|
|
9
|
-
const patterns = (0, failure_corpus_1.getTopFailurePatterns)(0);
|
|
10
|
-
return genome;
|
|
11
|
-
}
|
|
12
|
-
main();
|
package/dist/constraint-types.js
DELETED
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343606682_645o6 timestamp=2026-06-01T19:53:28.291Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 388 functions, 17 protocol rules
|
|
6
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
7
|
-
const planner_1 = require("./planner");
|
|
8
|
-
function main() {
|
|
9
|
-
const genome = (0, failure_corpus_1.getFailureGenome)();
|
|
10
|
-
const type = (0, planner_1.determineConstraintType)({});
|
|
11
|
-
}
|
|
12
|
-
main();
|
package/dist/exec-metrics.js
DELETED
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343438004_ux6bt timestamp=2026-06-01T19:50:39.415Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 385 functions, 17 protocol rules
|
|
6
|
-
const execute_1 = require("./execute");
|
|
7
|
-
function main() {
|
|
8
|
-
const metrics = (0, execute_1.getExecutionMetrics)();
|
|
9
|
-
return metrics;
|
|
10
|
-
}
|
|
11
|
-
main();
|
package/dist/failure-report.js
DELETED
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343206982_0y8gk timestamp=2026-06-01T19:46:48.561Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 382 functions, 17 protocol rules
|
|
6
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
7
|
-
function main() {
|
|
8
|
-
const genome = (0, failure_corpus_1.getFailureGenome)();
|
|
9
|
-
return genome;
|
|
10
|
-
}
|
|
11
|
-
main();
|
package/dist/fast-path-hits.js
DELETED
|
@@ -1,13 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343852770_0srir timestamp=2026-06-01T19:57:34.249Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 395 functions, 17 protocol rules
|
|
6
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
7
|
-
function main() {
|
|
8
|
-
const stats = (0, failure_corpus_1.getAntibodyStats)();
|
|
9
|
-
const body = getBody();
|
|
10
|
-
const methods = getMethods();
|
|
11
|
-
return stats;
|
|
12
|
-
}
|
|
13
|
-
main();
|
package/dist/fingerprint-list.js
DELETED
|
@@ -1,15 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343673382_7ucqe timestamp=2026-06-01T19:54:34.915Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 391 functions, 17 protocol rules
|
|
6
|
-
const ledger_registry_1 = require("./ledger-registry");
|
|
7
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
8
|
-
const ssg_validator_1 = require("./ssg-validator");
|
|
9
|
-
function main() {
|
|
10
|
-
const summary = (0, ledger_registry_1.verifyAllFingerprints)("defaultStr");
|
|
11
|
-
const sessions = (0, failure_corpus_1.getAllSessions)();
|
|
12
|
-
const states = (0, ssg_validator_1.listAllStates)(sessions);
|
|
13
|
-
return sessions;
|
|
14
|
-
}
|
|
15
|
-
main();
|
package/dist/gen-history-log.js
DELETED
|
@@ -1,13 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343705506_4rpek timestamp=2026-06-01T19:55:07.332Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 392 functions, 17 protocol rules
|
|
6
|
-
const execute_1 = require("./execute");
|
|
7
|
-
const memory_layer_1 = require("./memory-layer");
|
|
8
|
-
function main() {
|
|
9
|
-
const metrics = (0, execute_1.getExecutionMetrics)();
|
|
10
|
-
const episodes = (0, memory_layer_1.getRecentEpisodes)(0);
|
|
11
|
-
return episodes;
|
|
12
|
-
}
|
|
13
|
-
main();
|
package/dist/heatmap-data.js
DELETED
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343480174_btx1s timestamp=2026-06-01T19:51:21.674Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 387 functions, 17 protocol rules
|
|
6
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
7
|
-
function main() {
|
|
8
|
-
const heatmap = (0, failure_corpus_1.getSemanticHeatmap)();
|
|
9
|
-
return heatmap;
|
|
10
|
-
}
|
|
11
|
-
main();
|
package/dist/recent-session.js
DELETED
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343925827_zga2j timestamp=2026-06-01T19:58:47.097Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 398 functions, 17 protocol rules
|
|
6
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
7
|
-
function main() {
|
|
8
|
-
const sessions = (0, failure_corpus_1.getAllSessions)();
|
|
9
|
-
const idx = findIndex();
|
|
10
|
-
return sessions;
|
|
11
|
-
}
|
|
12
|
-
main();
|
package/dist/svl-distribution.js
DELETED
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343822181_r90g9 timestamp=2026-06-01T19:57:03.488Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 394 functions, 17 protocol rules
|
|
6
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
7
|
-
function main() {
|
|
8
|
-
const genome = (0, failure_corpus_1.getFailureGenome)();
|
|
9
|
-
return genome;
|
|
10
|
-
}
|
|
11
|
-
main();
|
package/dist/terminal-status.js
DELETED
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780207842282_uihp3 timestamp=2026-05-31T06:10:44.349Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 306 functions, 17 protocol rules
|
|
6
|
-
const semantic_trace_1 = require("./src/semantic-trace");
|
|
7
|
-
function main() {
|
|
8
|
-
const summary = (0, semantic_trace_1.formatImmuneResponse)({});
|
|
9
|
-
return summary;
|
|
10
|
-
}
|
|
11
|
-
main();
|
package/dist/token-savings.js
DELETED
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343649325_e8j9k timestamp=2026-06-01T19:54:10.484Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 390 functions, 17 protocol rules
|
|
6
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
7
|
-
function main() {
|
|
8
|
-
const stats = (0, failure_corpus_1.getAntibodyStats)();
|
|
9
|
-
return stats;
|
|
10
|
-
}
|
|
11
|
-
main();
|
package/dist/total-repairs.js
DELETED
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343904555_v2jom timestamp=2026-06-01T19:58:26.164Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 397 functions, 17 protocol rules
|
|
6
|
-
const execute_1 = require("./execute");
|
|
7
|
-
function main() {
|
|
8
|
-
const metrics = (0, execute_1.getExecutionMetrics)();
|
|
9
|
-
const totalRepairCount = findIndex();
|
|
10
|
-
return totalRepairCount;
|
|
11
|
-
}
|
|
12
|
-
main();
|
package/dist/unresolved-count.js
DELETED
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343799715_z6pcw timestamp=2026-06-01T19:56:41.675Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 393 functions, 17 protocol rules
|
|
6
|
-
const failure_corpus_1 = require("./failure-corpus");
|
|
7
|
-
function main() {
|
|
8
|
-
const sessions = (0, failure_corpus_1.getAllSessions)();
|
|
9
|
-
const failures = (0, failure_corpus_1.getAllFailures)();
|
|
10
|
-
return failures;
|
|
11
|
-
}
|
|
12
|
-
main();
|
|
@@ -1,13 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343878763_2tpv3 timestamp=2026-06-01T19:58:00.794Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 396 functions, 17 protocol rules
|
|
6
|
-
const immune_reporter_1 = require("./immune-reporter");
|
|
7
|
-
const ledger_registry_1 = require("./ledger-registry");
|
|
8
|
-
function main() {
|
|
9
|
-
const fps = (0, immune_reporter_1.extractFingerprints)({});
|
|
10
|
-
const summary = (0, ledger_registry_1.verifyAllFingerprints)("defaultStr");
|
|
11
|
-
return summary;
|
|
12
|
-
}
|
|
13
|
-
main();
|
package/dist/verify-ledgers.js
DELETED
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.main = main;
|
|
4
|
-
// @progmune-generated session=sess_1780343460763_6iyf4 timestamp=2026-06-01T19:51:02.054Z ruleHash=9dec68bc2995e92a
|
|
5
|
-
// Generated with IR constraint: 386 functions, 17 protocol rules
|
|
6
|
-
const ledger_registry_1 = require("./ledger-registry");
|
|
7
|
-
function main() {
|
|
8
|
-
const summary = (0, ledger_registry_1.verifyAllFingerprints)("defaultStr");
|
|
9
|
-
return summary;
|
|
10
|
-
}
|
|
11
|
-
main();
|
|
@@ -1,77 +0,0 @@
|
|
|
1
|
-
/* Progmune Runtime v2.2 Whitepaper — Clean Academic Style */
|
|
2
|
-
body {
|
|
3
|
-
font-family: 'Times New Roman', Times, 'Songti SC', 'SimSun', serif;
|
|
4
|
-
font-size: 12pt;
|
|
5
|
-
line-height: 1.8;
|
|
6
|
-
color: #000;
|
|
7
|
-
max-width: 780px;
|
|
8
|
-
margin: 0 auto;
|
|
9
|
-
padding: 2.5rem 2rem;
|
|
10
|
-
}
|
|
11
|
-
|
|
12
|
-
/* ── Headings ── */
|
|
13
|
-
h1 { font-size: 1.8rem; text-align: center; margin: 0 0 0.3rem; font-weight: bold; }
|
|
14
|
-
h2 { font-size: 1.3rem; margin: 2rem 0 0.8rem; border-bottom: 1px solid #000; padding-bottom: 0.2rem; }
|
|
15
|
-
h3 { font-size: 1.1rem; margin: 1.5rem 0 0.5rem; }
|
|
16
|
-
h4 { font-size: 1rem; margin: 1.2rem 0 0.4rem; }
|
|
17
|
-
|
|
18
|
-
/* ── Code ── */
|
|
19
|
-
code {
|
|
20
|
-
font-family: 'Courier New', Courier, monospace;
|
|
21
|
-
font-size: 0.9em;
|
|
22
|
-
background: #f5f5f5;
|
|
23
|
-
padding: 0.1em 0.3em;
|
|
24
|
-
}
|
|
25
|
-
pre {
|
|
26
|
-
font-family: 'Courier New', Courier, monospace;
|
|
27
|
-
font-size: 0.85em;
|
|
28
|
-
background: #f8f8f8;
|
|
29
|
-
border: 1px solid #ddd;
|
|
30
|
-
padding: 0.8rem 1rem;
|
|
31
|
-
overflow-x: auto;
|
|
32
|
-
line-height: 1.5;
|
|
33
|
-
}
|
|
34
|
-
pre code { background: none; padding: 0; border: none; }
|
|
35
|
-
|
|
36
|
-
/* ── Tables ── */
|
|
37
|
-
table {
|
|
38
|
-
width: 100%;
|
|
39
|
-
border-collapse: collapse;
|
|
40
|
-
margin: 1rem 0 1.5rem;
|
|
41
|
-
font-size: 0.95em;
|
|
42
|
-
}
|
|
43
|
-
thead { background: #333; color: #fff; }
|
|
44
|
-
th, td {
|
|
45
|
-
padding: 0.4rem 0.6rem;
|
|
46
|
-
text-align: left;
|
|
47
|
-
border: 1px solid #999;
|
|
48
|
-
}
|
|
49
|
-
|
|
50
|
-
/* ── Blockquote ── */
|
|
51
|
-
blockquote {
|
|
52
|
-
border-left: 3px solid #666;
|
|
53
|
-
margin: 0.8rem 0;
|
|
54
|
-
padding: 0.3rem 0.8rem;
|
|
55
|
-
background: #f9f9f9;
|
|
56
|
-
font-style: italic;
|
|
57
|
-
}
|
|
58
|
-
|
|
59
|
-
/* ── Horizontal rule ── */
|
|
60
|
-
hr { border: none; border-top: 1px solid #999; margin: 1.5rem 0; }
|
|
61
|
-
|
|
62
|
-
/* ── Lists ── */
|
|
63
|
-
ul, ol { padding-left: 1.5rem; }
|
|
64
|
-
li { margin: 0.2rem 0; }
|
|
65
|
-
|
|
66
|
-
/* ── Strong ── */
|
|
67
|
-
strong { color: #000; }
|
|
68
|
-
|
|
69
|
-
/* ── Print ── */
|
|
70
|
-
@media print {
|
|
71
|
-
body { font-size: 10.5pt; max-width: none; padding: 0.8rem; }
|
|
72
|
-
h1 { font-size: 1.5rem; }
|
|
73
|
-
h2 { font-size: 1.15rem; }
|
|
74
|
-
pre { font-size: 0.8em; white-space: pre-wrap; }
|
|
75
|
-
table { font-size: 0.85em; }
|
|
76
|
-
@page { margin: 2cm; }
|
|
77
|
-
}
|